离散时间系统的最优预防性维修周期模型

针对预防性维修计划在可靠性工程中的重要性,该文对离散时间参数下的可修系统进行了研究.文中假定系统寿命、修复性维修和预防性维修的修复时间均遵从一般的离散分布,修复为完全修复,建立了考虑预防性维的系统瞬时可用度模型和平均可用度模型.在此基础上,建立了以平均可用度为指标的最优预防性维修周期模型.该文通过一组数值算例对该最优维护模型的有效性进行了验证说明.     

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

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

一类可修复计算机系统的数值计算

研究了一类可修复计算机系统模型.通过选取系统故障修复率作为离散对象,得到了系统的半离散化模型.在假设故障率和修复率均为常数的前提下,利用数值计算的方法得到了系统模型的数值解.     

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

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

具有软硬件可修复计算机系统的解的单调稳定性分析

在假定可修复计算机系统的故障修复率为常数和系统的失效率相等的前提下,运用数学分析的方法以及微分方程中常系数线性微分方程组的特征线法给出可修复计算机系统模型非负解的解析表达式,利用修复系统模型解的解析表达式给出了该修复系统模型稳态解的具体表达式,最后运用数学分析的方法给出了由硬件和软件组成的计算机可修复串联系统非负解的单调稳定性的证明。     

两种不同部件串联可修复系统的最优控制

针对修复时间服从任意分布的两种不同部件串联可修复系统的数学模型,借助Volterra算子方程证明了系统动态解的存在唯一性,在Banach空间中,用范数指标泛函作为衡量系统可控性的标准,研究了系统的最优控制问题．     

具有软硬件可修复计算机系统解的性质分析

研究的可修复计算机系统是由硬件和软件构成的,在假设硬件和软件修复如新的前提下,运用纯分析的方法,给出了由硬件和软件组成的计算机可修复串联系统动态非负强解的存在唯一性的证明。     

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

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

汽车发动机应用金属磨损自修复材料技术的研究

通过在汽车发动机的润滑系统中应用金属磨损自修复材料技术,研究自修复材料保护层的摩擦性能、显微硬度,在行车试验中研究自修复材料技术对发动机的动力性能、节油、尾气等综合性能指标,并在形成自修复材料保护层的性能下进行了无机油行驶的研究.实验证明自修复材料可对已磨损的零件表面进行不拆卸原位修复,自修复材料保护层具有超低的摩擦系数.     

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

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

可修复计算机系统算子的半群特征

研究一类可修复计算机系统模型,利用线性算子半群理论讨论系统算子的半群特征.结果表明,系统算子具有闭性、稠定性和耗散性.     

一类可修复计算机系统的适定性

研究了一类可修复计算机系统模型,并利用线性算子半群理论,得到了该系统解的适定性.     

N个不同部件并联可修系统可用度的分析

N个不同部件并联可修系统可用度分析十分复杂。在一定的条件下 ,本研究建立马尔可夫系统状态概率转移图及其方程 ,从而可对N个不同部件并联可修复系统进行瞬时可用度分析和稳态可用度分析。其分析结果同样适应N个相同部件并联可修系统可用度分析。     

四部件冗余可修复系统解的适定性

研究四部件冗余可修复系统,利用由该系统所决定的算子A＋B生成的Banahch空间中的正压缩C半群,给出了系统解的适定性证明。     

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

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

RAID的设备故障与系统可靠性

在讨论冗余磁盘阵列的故障容错机理的基础上，研究了设备故障对ＲＡＩＤ系统可靠性，其平均持续正常工作时间和系统在线修复设备故障容许的平均间隔时间的计算机结果表明，只要在一定的容许时间内替换或修复故障磁盘，系统可保持正常工作状态。     

具有易损坏储备部件可修复系统主算子谱特征分析

运用泛函分析中共轭空间的相关定理和相关理论以及算子半群中的相关理论,研究了在常规条件下具有易损坏储备部件可修复系统主算子所对应的特征向量的几何重数、代数重数的特征,进而描述了在常规条件下具有易损坏储备部件可修复系统主算子的谱特征。     

具有预警功能的四机器人安全系统数学模型构建

运用补充变量法和马尔科夫过程理论给出了可修复四机器人安全系统的数学模型.基于抽象柯西问题理论构建抽象柯西问题系统模型,运用半群理论解决此类系统解的适定性,在可修复机器人安全系统中引入预警功能.     

具有软硬件可修复计算机系统解的半离散化

为了解决利用数值计算研究具有软硬件可修复计算机串联系统模型的问题,利用半离散化逼近方法将一个抛物型偏微分方程化为矩阵常微分方程,且后者在许多问题上可以作为原问题的近似.将半离散算法应用到具有软硬件可修复计算机系统模型中,对系统中的修复率进行离散,得到了该系统的半离散化模型,运用泛函分析理论证明了半离散算法的收敛性,结果表明:离散后方程的解收敛于原方程的解,从而为该模型进一步的数值计算提供了理论基础.     

基于元胞自动机的可修复网络系统可靠性评估模型

为了实时有效评估可修复网络系统的可靠性,克服枚举法的状态空间爆炸问题和马尔科夫过程分析只针对一种系统结构的缺陷,提出了一种基于元胞自 动机的网络系统可靠性评估模型?该模型从节点的内在失效概率和网络结构角度,建立元胞自动机的邻域和状态转移函数,提出可修复网络系统演化模型;在离散演化周期内,利用元胞自动机的传播特性算法定期检测系统的瞬时可靠性,累积得到可修复网络系统的近似稳态可靠性?该模型结合解析法和模拟法优点,得到与时间相关的可修复系统稳态可靠性?该算法分别与状态枚举法?蒙特卡罗法进行仿真对比,仿真结果表明,该方法可准确描述可修复网络系统的稳态可靠性,该方法也适用于其他大规模可修复系统可靠性评估?