一类可修复计算机系统的稳定性和可靠性

研究一类可修复计算机系统模型,利用常微分方程的稳定性理论,证明了系统的稳定性.同时,在假定故障率和修复率均为常数的前提下,讨论了系统的可靠性.     

可修复人机系统解的渐进稳定性分析

研究可修复人机系统解的稳定性问题,运用泛函分析等数学方法,列出积分—微分方程,研究系统算子的谱点分布及特征值,并求解系统算子的共轭算子,最终得证该系统解的渐进稳定性.     

两不同部件并行可修系统的可靠性分析

提出了带有一个普通修理工和一个熟练修理工，由两个不同型部件组成的并行可修系统的一种模型。在部件寿命服从指数分布，修理时间和容忍时间的均服从任意分布的条件下，利用马尔可夫－更新过程，对该模型的可靠性进行了分析。     

基于软硬件特性的可修复计算机系统半稳定性

本文利用增补变量的方法建立了一个由硬件和软件串联组成的计算机系统数学模型;在该系统非负弱解存在的基础上,利用常微分方程理论,进一步讨论该系统解的半稳定性。     

两个不同部件并联可修系统的可靠性分析

本文研究了两个不同部件，一个修理工组成的并联系统，在两个部件均不能“修复如新”的情形下，利用几何过程和补充变量法求出了该系统的一些可靠性指标。     

故障影响可忽略的两部件并联系统研究

对于典型的两部件并联马尔可夫可修系统进行了改进,主要是假设：当系统中某个部件发生故障,并且部件的这一故障可在一个足够短的时间内修复,那么可以认为这个部件的故障对整个系统的运行没有影响。这样的假设使得模型更符合于维修理论的某些实际问题。新的模型不能再用马尔可夫过程来描述,如何给出其可靠性指标就成为一个值得研究的问题。本文运用随机过程与概率论的方法,在新的假设下研究了两部件并联可修系统,建立了新的模型,得到了新模型的若干可靠性指标。     

具有两种故障状态的M/G/1可修排队系统

人们已对可修的M G 1排队系统做了大量的研究工作 ,但大多只研究了具有一种故障状态的可修排队系统 而笔者研究了具有两种故障状态 (正常和异常 )的M G 1可修排队系统 其中正常故障状态是由于服务台的寿命终止而引起系统失效 ,其修理时间为正常故障修理时间 ;异常故障状态是由于服务员操作失误等其他原因而造成系统失效 其修理时间为异常故障修理时间 假定服务台的寿命具有负指数分布 ,修理时间和服务时间均为一般分布 文中使用的补充变量法可求出一些排队指标和可靠性指标     

具预警状态的两相同部件并联冗余可修复系统可靠度研究

研究了具有预警状态的两相同部件并联冗余可修复系统的可靠度.可修复系统的可靠度是指系统在规定条件下和时间内完成规定功能的概率.利用泛函分析理论及c₀半群理论将原系统的偏微分、积分方程组转化成Banach空间中抽象的Cauchy问题,得到系统的瞬态可靠度和稳态可用度;并证明了该系统具有可靠性和零状态可控性.最后利用Maple软件模拟出系统瞬态可靠度和稳态可用度相应的图形.结果表明:数值模拟和数值计算所得的结论和上述理论证明的结果是一致的,从而可以为两相同部件并联等一类可修复系统的最优控制研究提供参考依据.     

可修复系统故障数据分析模型与方法研究

根据随机过程与统计假设理论,在分析可昨系统故障数据特点的基础上,阐述了可修复系统故障数据的可靠性分析模型,并根据现有检验分析方法,提出了集趋势检验、拟合性检验,有效性检验和指数性检验于一体的综合检验方法,用于对故障数据分析模型进行检验与判别,同时给出了检验程序框图,进行了实例分析。     

两个不同型部件并行可修系统的模型及可靠性分析

作者在本文中提出了两个不同型部件并行可修系统的一种模型，该模型带有一个普通修理工和一个熟练修理工。部件寿命服从指数分布，修理工修理时间和容忍时间的分布为任意分布。然后，利用马尔柯夫更新过程理论，推导出了该模型的可靠性指标和增益函数，最后就其特殊情形进行了具体推导分析。     

一类可修复人机系统的最优控制

利用范数指标泛函作为衡量控制变量的标准, 采用极小化序列, 解决了一类可修复人机系统解的最优控制问题, 得到了系统的最优控制元, 使系统的稳定性和利用效率得到较大提升.     

具有两种修复方法的可修复系统解研究

将半离散算法应用到具有两种修复方法的可修复系统模型中,在[0,x_0]上对其修复率进行离散,得到了该系统的半离散化模型.进一步利用泛函分析中算子半群理论将半离散后的偏微分方程转化为抽象Cauchy问题,即转化为矩阵常微分方程组;再根据Trotter逼近定理证明了矩阵常微分方程组的解收敛于原方程的解.最后在故障率和修复率均为常数的前提下,利用Matlab对该系统的稳定性和可靠性等进行了数值试验并得到了该模型的数值解,同时给出了相应的图形趋势.结果表明,对具有两种修复方法的可修复系统模型进行半离散化研究,既可以为利用计算机进一步进行数值计算打下理论基础,又有助于研究和分析系统的可靠性.     

无延时可修系统的可靠性分析与计算

针对无延时可修系统,在假设失效时间服从指数分布、而维修时间服从一般分布的前提下,利用补充变量法,建立了系统的可靠性模型,通过拉普拉斯变换,推导出了系统的瞬时可用度、瞬时故障频度、稳态可用度、稳态故障频度、平均开工时间、平均停工时间和平均周期等可靠性指标的解析表达式,并验证结论的正确性,纠正了某些参考文献的瑕疵或错误,推广了有关结果。     

具有预警功能的两不同部件并联可修复系统的半离散化

用初等阶梯函数逼近的方法给出了具有预警功能的两不同部件并联可修复系统的半离散化模型,并证明了两个简单性质.为进一步用Matlab进行数值分析提供了理论依据.     

有关闭原则的两部件串联可修系统的可靠性分析

本文提出了广义关闭原则,包括单向和双向关闭原则.在这一原则下,讨论了两部件串联可修系统.其中假定部件1的寿命服从Erlang 分布,其余为一般分布,利用补充变量的方法,我们得到系统的瞬态可用度和失效频度的Laplace 变换,以及稳态可用度和失效频度的表示,其结果不仅推广了文献[1]的工作,并从中得到文献[2]的全部结论.     

用马尔柯夫过程分析可修复系统的稳态可用度

主要论述如何利用马尔柯夫过程求解可修复系统的稳态可用度，并结合实例给出求解步骤。     

冷贮备可修复系统解的指数渐近稳定性

讨论了具有两同型部件的冷贮备可修复系统，首先证明系统算子可以生成正压缩C0半群T（t）；接着证明了T（t）是拟紧算子，且0是对应系统的主算子及其共轭算子的几何重数与代数重数为1的特征值．由此推出：该系统的时间依赖解，当时间趋向于无穷时，以指数形式收敛于系统的稳态解．     

离散事件系统的故障一次可修复性诊断

为了突破周期可修复性的局限性,提出一种新的可修复性定义及相关诊断方法.针对可修复状态为一次可达状态的情况,通过详细分析这类离散事件系统的特点,提出一次可修复性的形式化定义;然后,从不可区分串和可修复性诊断器角度,讨论一次可修复性的诊断方法和证明过程.实例结果表明:所提出的一次可修复性诊断方法能有效解决系统的诊断需求.     

离散时间下的单部件可修复系统的可靠性分析

针对当前工程领域中存在大量离散问题,提出了时间参数为离散的假设,然后对单部件可修系统进行了研究,利用更新过程的方法,建立了基于故障率和修复率的系统状态转移模型。在此基础上得到了系统可靠度、可用度、平均故障次数等可靠性指标。最后,该文给出一个数值仿真来说明上述模型的有效性。     

具有热储备部件的通常故障可修复系统解的存在唯一性

本文针对具有两个运行部件和一个热储备部件，故障修复时间服从一般分布的系统模型，利用Banach空间下的Volterra积分方程，运用初等方法证明了该系统非负解的存在唯一性。