一类冷贮备可修系统的指数稳定性

研究了修理工可延误休假的冷贮备可修系统.通过选取空间及定义算子,将模型方程转化成Banach空间中抽象的Cauchy问题,运用预解正算子和C_0半群理论证明了系统动态解的存在唯一性,并通过分析系统算子的谱分布,得出系统算子的严格占优本征值及近似本征值,进而得到系统的指数稳定性.     

机器人及其安全系统的可靠性分析

是以机器人及其安全系统所构成的一个可修复系统作为研究对象,运用泛函分析方法并结合C_0半群理论,证明了严格占优本征值在本系统的存在性并且是系统严格占优本征值,进一步证明了在一定条件下,系统的动态解以指数化形式收敛于系统的稳态解.     

可修复系统解的渐近稳定性及最优检测时间

应用C0半群理论,证明了服从一般分布的可修复系统的唯一非负时间依赖解的存在性,并指出该解恰是系统算子的0本征值对应的规范化后的本征向量.然后基于系统静态可用度,给出了系统检测时间和系统静态可用度之间的关系表达式,并分析了系统最优检测时间的存在性.     

两相同部件温贮备可修的人机系统解的性质分析

本文首先用强连续算子半群理论证明了两相同部件温贮备可修的人机系统动态非负解的存在唯一性 ,然后证明了 0是系统主算子的本征值 ,并得到 0本征值对应的本征向量是正的 ,从而系统存在稳态正解 .     

两相同部件冷贮备可修系统解的定性分析

用强连续算子半群理论给出了两相同部件冷贮备可修系统动态非负解的唯一性证明，并证明了0是系统主算子的本征值，给出了0本征值对应的本征向量。     

关于开或闭模型的指数稳定性

讨论了系统解的渐进稳定性和指数稳定性,证明了系统在Banach空间中生成正的C_0-半群以及系统算子0本征值的存在性,系统算子的谱点均为于复平面的左半平面且在虚轴上除0外无谱,并通过分析系统本质谱界经过扰动后的变化,进一步表明在一定条件下,系统的动态解以指数形式收敛于系统的稳态解.     

一类串联可修复系统指数稳定性

运用泛函分析的方法和线性算子半群理论,证明了严格占优本征值的存在性,并通过分析系统本质谱界经过扰动后的变化,进一步表明在一定的条件下,系统的动态解的指数形式收敛于系统的稳态解.     

具有热储备可修复平行系统本征值问题

针对具有热储备可修复平行系统模型,得出了一个本征值对应一个本征元的结论并证了除0本征值外还存在另外非零实本征值.     

一类具有储备部件的可修复人机系统的指数稳定性

研究了具有储备部件的可修复人机系统.运用Banach空间上的线性算子半群理论,证明了严格占优本征值的存在性,并通过分析系统本质谱界经过扰动后的变化,进一步表明在一定的条件下,系统动态解以指数形式收敛于系统的稳态解.     

两不同部件并联可修复系统指数稳定性分析

研究两不同部件并联可修复系统,运用泛函分析的方法,特别是Banach空间上的线性算子半群理论,证明了严格占优本征值的存在性,并通过分析系统本质谱界经过扰动后的变化,进一步表明在一定的条件下,系统的动态解以指数形式收敛于系统的稳态解.     

软件再生系统解的渐近稳定性分析

用补充变量的方法建立了各状态之间转移概率服从一般分布的软件再生系统的数学模型 .并用泛函分析中的 C0 半群理论对系统算子的谱点分布情况作了研究 ,证明了系统算子的谱点均位于复平面左半平面且在虚轴上除 0点外均为系统算子的正则点 ,作为线性算子半群稳定性的一个直接结果 ,得出了软件再生系统解的渐近稳定性     

可修复人机系统的指数稳定性

研究了两相同部件温储备可修的人机系统,运用C_0半群的相关理论,对系统主算子的谱界进行估值.估算系统的算子产生的半群的增长界,然后运用了共尾的概念及相关的理论,得到了系统算子A+B的谱界与系统算子产生的半群的增长界相同.进而运用相关代数知识证得,0为系统算子的简单本征值,并分析了系统算子的谱分布,得到系统的指数稳定性.并研究了系统算子预解式的特性.对任意给定的δ0,γ=a+bi,-μ+δa_1≤a≤a_2,得到lim|b|→∞‖R(γ;A+B)‖=0.进而得到在~sRγ≥a_1的右半平面内相应于系统算子A+B的谱点由有限个本征值组成.     

The well-posedness and stability of a repairable standby human–machine system

In this paper, the solution of a standby human–machine system is investigated. By using the method of functional analysis, especially, the linear operator theory and the C₀ semigroup theory on Banach space, we prove the well-posedness and the existence of a positive solution of the system. And under some appropriate hypotheses, we study the asymptotic stability of solution of the system.     

Rotenberg模型中迁移半群的本质谱

在Lp（1（≤）p＜＋∞）空间中,本文运用半群理论研究了Rotenberg模型中具光滑边界条件的迁移半群的本质谱.采用半群方法和比较算子等方法,证明了对任意的t＞0,s＞0,算子[UH（t）-U0（t）]U0（s）[UH（t）-U0（t）]在Lp（1＜p＜＋∞）在空间中紧和在L1空间弱紧,得到迁移半群VH（t）与V0（t）有相同的本质谱型.     

具有热储备的并行可修复系统指数稳定性分析

应用泛函分析的方法讨论了有两个相同部件和一个热储备的并行可修复系统的指数稳定性.我们通过分析系统算子生成C0半群的本质谱增长阶,证明了该半群是拟紧的.此外,该半群还是不可约的.于是作为半群拟紧性和不可约性的直接结果,得到了系统的时间依赖解指数收敛到其静态解,并且该静态解即为系统算子简单特征值0对应的正的特征向量.     

具有预防性维修策略的可修复系统的指数稳定性

利用算子半群理论研究了具有预防性维修策略的可修复系统,通过分析系统算子的谱分布,以及系统算子生成C0半群{T(t)}的本质谱增长阶,证明了C0半群{T(t)}是拟紧半群.同时也证明了该半群还是不可约的.进而得到了可修复可用度的指数稳定性.     

一类时滞方程的谱与解展开

该文研究一类时滞方程解的展开问题. 研究的模型来自于实际高精密切割过程中具有时间延迟的机床振动问题. 对此模型,借助于泛函分析方法,将其写成抽象发展方程. 对系统确定的算子给出了较细致的谱分析,得到本征值的渐近表达式.同时证明相应的本征向量不能构成状态空间基, 但给出方程解的展开式.     

一类多服务排队系统正解的存在性与渐进稳定性

运用算子半群理论讨论了一类多服务排队系统正解的存在唯一性,并证明了所得的半群为Markov半群.另外,进一步得到了系统的稳态解是渐进稳定的.     

两同型部件温贮备可修系统解的指数渐近稳定性

运用强连续半群理论研究两同型部件温贮备可修系统解的指数渐近性质,首先证明系统所生成的C0半群T(t)是拟紧的.其次证明0是对应于系统的主算子及其共轭算子的几何重数和代数重数为1的特征值,推出在右半平面和虚轴上除0以外其他所有点都属于该算子的豫解集,由此推出该系统的时间依赖解当时刻趋向于无穷时强收敛于系统的稳态解.