含同原因故障和一个冷储备部件的可修复系统主算子性质

研究了含同原因故障的由两个不同型的平行部件和一个冷储备部件所组成的系统.通过选取空间并定义算子,将系统模型转化成抽象Cauchy问题.运用C_0半群和预解正算子理论,验证了系统主算子A为稠定的预解正算子,计算出了A的谱界为一c,同时得出了算子A的共轭算子及其定义域,最终利用共尾理论证得算子A的谱界和增长界相等,即为-c.     

电站两辅助设备冷贮备系统主算子的性质

研究了由两个同型部件、一个转换开关和一个修理工组成的电站单元机组辅助设备的冷贮备系统.通过选取空间及定义算子,将模型方程转化成了Banach空间中的抽象Cauchy问题.通过分析系统主算子的谱分布,求出主算子的谱上界.利用预解正算子及共尾理论,证明了主算子的谱上界和增长界相等.     

具有预警功能的四类故障可修复系统主算子的性质

在具有四类故障可修复系统基础上增加一个预警功能,使其变为具有预警功能的可修复系统,运用泛函分析的方法及半群理论,通过分析系统主算子的谱特征,给出了主算子谱的性质和其共轭算子及定义域,并证明系统主算子是稠定的预解正算子.最后运用正算子及共尾等相关理论,证明系统主算子的增长界和谱上界都为0.     

两不同型部件并联可修系统主算子的性质

研究了两不同型部件并联可修系统.通过选取空间及定义算子A和B,将模型方程转化成了Banach空间中的抽象Cauchy问题.通过分析系统主算子A的谱分布,求出A的谱上界.利用预解正算子及共尾理论,证明了A的谱上界和增长界相等.     

具有冗余机器人安全系统算子的性质

研究了一个包含两个冗余机器人和一个安全装置的系统.运用泛函分析及C_0-半群理论,给出了系统算子是稠定的预解正算子的证明,得出了系统算子谱的性质和其共轭算子及定义域,并证明系统算子的增长界为0.最后运用预解正算子的相关理论,证明系统算子的谱上界也是0.     

L~1空间中L-R型迁移方程的解对边界参数的连续依赖性

在L~1空间研究种群细胞增生中一类具扰动项的积分边界条件的迁移方程.证明了迁移算子是预解正算子,得到了微分算子的共轭算子,并证明其定义域的正锥在共轭空间的正锥中共尾,得到迁移算子的增长界等于其谱界.最后利用主算子对边界参数的连续依赖证明了迁移方程的解对边界参数连续依赖.     

复合结构可修复系统口香糖算子的性质

研究了有15个部件串并联工作的多状态口香糖生产可修复系统.运用C_0半群的理论,证明了系统算子是稠定的预解正算子,得出了系统算子的共轭算子及其定义域,并证明了系统算子的增长界为0.最后运用了预解正算子中共尾的概念及相关理论,证明了系统算子的谱上界也是0.     

一类具有可修故障和不可修故障的两部件并联可修系统算子性质

研究了一类具有可修故障和不可修故障的两部件并联可修系统.运用C_0半群的理论,证明了系统算子是稠定的预解正算子,得出了系统算子的共轭算子及其定义域,并证明了系统算子的增长界为0.最后运用了预解正算子中共尾的概念及相关理论,证明了系统算子的谱上界也是0.     

附有选择性服务与无等待能力的M/G/1排队系统算子的性质

研究了附有选择性服务与无等待能力的M/G/1排队系统.运用C₀半群的理论,证明了系统算子是稠定的预解正算子,得出了系统算子的共轭算子及其定义域,并证明了系统算子的增长界为0.最后运用了预解正算子中共尾的概念及相关理论,证明了系统算子的谱上界也是0.     

修理工单重休假的Gnedenko系统算子性质

研究了一种Gnedenko系统,即由3个串联部件,一个温储备部件及一个修理工组成的系统,其中修理工可以单重休假.运用C₀半群的理论,证明了系统算子是稠定的预解正算子,得出了系统算子的共轭算子及其定义域,并证明了系统算子的增长界为0.最后运用了预解正算子中共尾的概念及相关理论,证明了系统算子的谱上界也是0.