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

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

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

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

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

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

一类可修复计算机系统的数学模型

利用增补变量方法,将可修复计算机系统的状态转移过程转换成一个广义Markov过程,并在此基础上建立系统的数学模型.与此同时,根据系统分析的需要,将系统模型转换成为Banach空间上的抽象Cauchy问题.     

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

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

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

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

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

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

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

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

一种用于网络计算机系统的半集中计算模型

提出了一种用于网络计算机系统的半集中计算模型,在保留传统网络计算机系统的管理优势的同时,支持客户端分担更多的计算负载,并可提供无缝的用户体验。研究了该模型中的计算任务划分、输入合成与显示合成的策略,实现了一个基于半集中计算模型的视频播放器原型。实验表明它能够进行无缝的视频播放,并可以显著降低服务器端负载。     

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

本文通过数学模型中的微积分表示修复计算机系统和线性算子半群理论研究一类可修复计算机系统的适定性,希望对读者有所帮助。     

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

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

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

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

向量马氏过程方法在可修系统分析中的应用

为了分析一般可修系统的运行特征，第一作者在８０年代初提出了一种强有力的向量马氏过程方法．此文用一个没有再生点的可修系统为例详细说明了该法的步骤，并指出了研究一般可修系统逼近的重要性．文中还对经典可修系统的结果作了自纳，对新兴可修系统的概貌作了描述．     

单部件可修系统解的渐近稳定性

运用泛函分析的方法,通过分析系统主算子的谱特征,给出了单部件可修系统解的渐近稳定性证明。     

系统不确定性的数值计算方法

基于未确知理论，定义了系统不确定性的一个度量尺度——盲数方差。通过将系统“宽区间”范围的“强”不确定性离散化处理成“窄区间”范围的“弱”不确定性，给出了基于盲数的系统不确定性数值计算原理和方法。它是一种通用的数值计算方法，实际计算表明该方法的正确性和实用性。     

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

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