具有内部构造安全保障体系系统解的分析

论文摘要

冗余机器系统的可靠性分析是可靠性数学理论中所要研究的对象之一,所谓可靠性数学理论是指运用概率统计和运筹学等理论和方法对产品（单元或系统）的可靠性作定量的研究。它是可靠性理论的基础之一。有关这类问题,国内外上许多学者作出了大量研究,一般是运用补充变量的方法建立修复时间服从任意分布的可修复系统的数学模型,再运用Laplace等方法对系统的渐进稳定性给出证明,但对系统可靠性及系统特征值的相关问题没有很好的证明,本文主要研究这一问题。本文研究的系统为具有内部构造安全保障体系的冗余机器系统。由两个同样的机器并联工作和一个安全保障体系独立运行构成随机数学模型。当应用时,被修机器及安全保障体系都与新的一样,而在两台机器故障时,整个系统故障。本文先将系统转化为Banach空间下的Volterra算子方程,得到系统解的存在唯一性,经过泛函分析处理,采用算子半群方法确立一正压缩C0-半群,得出系统解存在且唯一,进而证明了该系统的稳定性,后又对系统对该系统的谱的特性进行了分析,知系统算子的谱点均位于复平面的左半平面,且虚轴上除了0点外无别的谱点.并通过一个具体实例来说明系统非零特征值是存在的,且特征值与特征向量是一一对应的,最后证明了该系统解的可靠性,即瞬态可靠性不小于牢固可靠性。

论文目录

• 摘要
• Abstract
• 第一章 绪论
• §1.1 研究目的和意义
• §1.2 研究现状
• §1.3 文章结构
• 第二章 系统的数学模型介绍
• §2.1 引言
• §2.2 模型解析
• §2.3 系统解的存在唯一性
• §2.3.1 方程的转化
• §2.3.2 系统（2.1）-（2.7）非负强解的存在唯一性证明
• 第三章 系统解稳定性
• §3.1 泛函分析处理
• §3.2 系统非负时间依赖解的存在唯一
• §3.3 可修复系统解的渐进稳定性
• 第四章 系统算子特征值的存在性
• §4.1 系统算子非零特征值的存在性
• §4.2 特征值与特征向量一一对应
• 第五章 系统可靠性分析及初步证明
• §5.1 方程的转化
• §5.2 单调性的证明
• §5.3 系统可靠性分析
• 参考文献
• 致谢