共查询到16条相似文献,搜索用时 156 毫秒
1.
讨论由有软件和硬件构成的串联可修计算机系统,利用可修计算机系统算子生成的Banach空间中的正压缩c0-半群的性质及泛函分析的方法,证明该系统具有唯一非负时间依赖弱解. 相似文献
2.
具有多个临界和非临界错误的不完全转换的冷储备可修复系统解的存在和惟一性 总被引:3,自引:3,他引:0
研究了具有多个临界 (Critical)和非临界 (non-critical)错误 (errors)且系统故障后的修复时间服从任意分布的不完全转换的冷储备可修复系统 ,首先将系统转换为 N+M+2维 Banach空间下的 Volterra算子方程 ,得到了系统非负解存在且惟一 . 相似文献
3.
主要利用补充变量的方法建立了由硬件和软件串联组成的计算机系统数学模型,其中硬件修复如新;软件进行周期性维修,修复后寿命逐渐减小,经过一段时间后对其进行大修使之恢复如新.在假设硬件和软件的寿命服从指数分布,而修理时间服从一般分布的条件下,运用C_0-半群理论讨论了系统非负动态解的存在惟一性及渐近稳定性问题. 相似文献
4.
利用Banach空间的相关理论,讨论了一类可修复计算机系统稳态解的最优控制问题,并证明了最优控制元的存在性与唯一性.结果表明,计算机系统的稳态可用度在有限时间内总能到达其期望值. 相似文献
5.
一类两个相同部件并联可修系统解的存在性和唯一性 总被引:9,自引:2,他引:7
郭卫华 《数学的实践与认识》2002,32(4):632-634
本文用初等方法证明了一类两个相同部件并联可修系统非负解的存在性和唯一性 相似文献
6.
研究了具有常规故障的四个部件冗余可修复系统模型.将一组微分-积分方程描述的模型转化为六维空间的积分方程形式.运用算子理论,证明了此系统非负解的存在唯一性.并且研究了以范数为指标衡量控制标量为标准的最优控制问题. 相似文献
7.
8.
讨论了一个由两个部件并联组成的可修复冗余系统模型,修复后的故障系统恢复如新.在假设修复函数有界的条件下,给出了C_0-半群的生成元(系统算子)对应的柯西问题的解的适定性分析. 相似文献
9.
本文研究了高阶代数微分方程组(2)的亚纯解.应用亚纯函数的Nevanlinna理论,获得方程组的解或同为可允许的,或同为非可允许的,并在一种特殊情形下得到了相应的Malmquist型定理,在一般情形下Malmquist型定理不成立. 相似文献
10.
提出几类扩大的积分微分方程组,利用函数迭代法及变上限函数的求导法则,证明其可积性,得出相应的求解公式. 相似文献
11.
具有四类故障可修系统解的存在惟一性 总被引:3,自引:1,他引:2
研究了具有四类故障且有两个热备器 (Warm Standby)的可修系统模型 .首先对用微分——积分方程描述的模型转换为 6维空间的积分方程形式 ,运用泛函分析 Banach空间下的算子理论 ,证明了此系统非负解的存在惟一性 相似文献
12.
具有常规原因和人为错误的两个不同部件平行系统解的性质 总被引:1,自引:0,他引:1
讨论了一个由于常规原因和人为错误引起故障的两不同部件并行系统的模型,修复后的故障系统恢复正常.在假设修复率非常数的前提下,运用纯分析的方法给出了两不同部件并行系统解的性质,绕过了该系统解是否存在的问题. 相似文献
13.
考虑一类修理工可多重延误休假的n部件串联可修复系统解的存在唯一性及正则性问题.通过将系统模型方程转化为一组算子积分方程,利用不动点理论讨论该系统局部解的存在唯一性问题,再由一致先验估计和连续延拓讨论系统整体解的存在唯一性问题,继而分析解的正则性问题.为解决复杂可修复系统解的存在唯一性及正则性提供了可行性方法,并且方法同样适用于排队论系统和其他类似系统. 相似文献
14.
本文利用Banach压缩映像原理证明了在Lipschitz条件和线性增长条件下,一类具有依赖时间和状态延迟的随机微分方程解的存在唯一性. 相似文献
15.
两相同部件冷贮备可修系统解的定性分析 总被引:6,自引:1,他引:6
郭卫华 《应用泛函分析学报》2002,4(4):376-382
用强连续算子半群理论给出了两相同部件冷贮备可修系统动态非负解的唯一性证明,并证明了0是系统主算子的本征值,给出了0本征值对应的本征向量。 相似文献