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

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

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

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

k/N:G冗余表决系统的渐近稳定性

分析了带有修理设备和多重致命及非致命操作故障的k／N(G)冗余表决系统的渐近稳定性．用该系统算子生成的正定C-半群证明了系统非负时间依赖解的存在唯一性．同时通过对系统算子谱点分布的分析，证明了本征值0对应的本征向量恰好是系统的静态解，并且，0是虚轴上系统算子唯一的谱点，从而证明了系统的渐近稳定性．     

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

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

艾滋病防治资源投入的效果分析

基于GOALS模型的基本思想,建立了效果分析模型,并针对两种不同的资金分配方案,模拟了两种方案对2006—2010年某地艾滋病流行的影响,并对模拟结果进行了分析.     

K-强凸空间的一些性质

结合Banach空间的Drop性，利用K维体积给出了K—强凸空间的一个新的定义，同时也给出了K—强光滑空间定义的K维体积表示，然后利用单位圆的切片证明了K—强凸空间是自反空间，进而证明了K—强凸空间与K—强光滑空间是一对对偶空间．最后利用Drop性的切片描述证明了K—强凸空间具有Drop性．     

一类串联可修复系统的稳态解

本文讨论了一类具有两不同部件串联的可修复系统。利用系统算子生成的Banach空间中的正压缩C_o半群的性质,证明了系统的非负稳态解恰是系统算子的0本征值所对应的规范化后的本征向量；同时通过对系统算子谱点分布情况的分析,证明了系统算子的谱点均位于复平面左半平面且在虚轴上除0点外无其它谱,作为线性算子半群稳定性的—个直接结果,得出了该串联可修复系统的渐近稳定性。     

带有脉冲免疫和传染年龄的SIV传染病模型解的存在性

我们建立带有脉冲免疫和传染年龄的SIV传染病模型,这类传染病在潜伏期具有传染性,总人口规模依赖时间,并且传染类的康复率和传染年龄有关.我们证明此类模型解存在唯一.     

具有临界和非临界操作错误的人机系统的渐近稳定性

讨论具有临界和非临界操作错误的可修复人机系统．利用系统算子生成的Banach 空间中的正压缩C0半群的性质,证明了此系统的唯一非负时间依赖解恰是系统算子0本征值对应的规范化后的本征向量;同时通过对系统算子谱点分布情况的分析,证明了系统算子的谱点均位于复平面左半平面且在虚轴上除0点外无其它谱,作为线性算子半群稳定性的一个直接结果,得出了该可修人机系统的渐近稳定性．     

K-drop凸空间中的性质

为了阐明何为K 强光滑空间的对偶空间 ,本文定义了K drop凸空间并且讨论了该空间的一些性质。同时借助K 强光滑空间的一个等价定义 ,证明了K drop凸空间与K 强光滑空间是对偶空间。文章最后用单位圆的切片给出了K drop凸空间的一等价命题 ,进而建立了K drop凸空间与drop性之间的关系。