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

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

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

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

离散时间下串联可修系统的状态转移模型

针对离散时间下由n个不同部件组成的串联可修系统,假定系统中任一部件的故障率和修复率都为正的常数,本文建立了基于故障率和修复率的系统状态转移模型.然后,在此基础上推导出系统可靠度、系统首次故障前平均时间和瞬时可用度等可靠性指标.最后,给出一组算例来说明该模型.     

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

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

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

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

一族离散孤子方程及其可积耦合系统

引入一族离散的谱问题,导出离散的孤子方程族,并研究其相应的离散Hamiltoni—an系统。进而,通过引入扩大的代数系统,我们构建了离散孤子方程族的扩展可积模型。     

离散事件系统的可纠错性研究

故障诊断及纠错是离散事件系统研究热点之一,主要研究在控制器实施控制的情况下,如何对离散事件系统的故障实行纠错,使系统运行在可接受状态范围内.通过对可纠错状态的形式化,提出了一种基于系统状态圈的纠错方法,给出了构造纠错控制器的算法.在探讨多次状态转移时故障事件规律发生的基础上,给出了系统的最小可纠错状态集的具体计算方法,提出了在最小状态集下离散事件系统控制器的构造方法,并给出了一种控制器实施控制的方案.     

基于FTS的混合系统的一种建模方法

混合系统是一种离散和连续构件融合在一起的反应系统,通常以微分方程为连续模型,以离散事件系统或自动机为离散模型,本文扩充公平转换系统ＦＴＳ,提出混合系统的一种新的计算模型－混合转换系统ＨＴＳ。     

具有预警功能的可修复人机储备系统模型的半离散化

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

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

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