修理工可单重休假的带有一个冷贮备部件的Gaver并联系统的时间依赖解的渐进行为

研究修理工可单重休假的带有一个冷贮备部件的Gaver并联系统的时间依赖解.运用C₀-半群理论与算子理论研究该模型相应算子的谱的特征,获得了该系统的时间依赖解强收敛于该系统的稳态解.     

M/G/1重试排队系统的渐近稳定性

用算子半群理论研究了带有重试排队的M/G/1系统.通过解算子方程和预解方程,证明了0是系统算子的本征值,且为虚轴上唯一的谱点.从而得出了当时间趋于无穷时系统时间依赖解收敛于稳态解的结论.     

节能刮板沉降箱式除尘可修复系统的稳定性分析

运用可靠性理论研究节能刮板沉降箱式除尘可修复系统的稳定性问题.首先利用补充变量的方法建立了系统的数学模型,其次通过对系统算子的谱分析和C_0半群理论,得到此系统存在唯一的时间依赖解.并且当时间趋于无穷时,该时间依赖解收敛于其稳态解.     

附有不可靠服务台和无等待能力的M/G/1/1排队模型时间依赖解的渐近性分析[英文]

本文研究附有不可靠服务台和无等待能力的M/G/1/1排队模型时间依赖解的渐近行为.首先利用强连续算子半群理论证明此排队系统模型正时间依赖解的存在唯一性.然后通过研究该模型相应主算子的谱,分别得到0是其主算子及其共轭算子的几何重数为1的特征值与虚轴上除了0外其他所有点都属于该模型主算子的豫解集.最后将上述结果结合在一起推出该模型的时间依赖解强收敛于其稳态解.     

一类具有优化调整状态的供应链系统的稳定性分析

主要研究一类具有优化调整状态的供应链系统解的适定性问题,利用C_0-半群理论和谱分析的方法,得到了此系统存在惟一的时间依赖解,并且当时间趋于无穷时,该时间依赖解收敛于其稳态解,而其稳态解恰好是系统算子的0本征值对应的本征向量.     

寿命为爱尔兰分布的可修闭路排队模型时间依赖解的渐近性质

利用C_0-半群理论研究寿命为爱尔兰分布的可修闭路排队系统.首先利用泛函分析中的Hille-Yosida定理,Phillips定理和Fattorini定理证明此排队系统模型正时间依赖解的存在唯一性.然后通过研究该模型相应主算子的谱的特征,分别得到虚轴上除了0外其他所有点都属于该模型主算子的豫解集与0是其主算子及其共轭算子的几何重数为1的特征值.最后将上述结果结合在一起推出该模型的时间依赖解强收敛于其稳态解.     

一个供应链系统可靠性模型时间依赖解的渐近行为

本文研究一个供应链系统可靠性模型的时间依赖解.利用C0-半群理论研究该模型相应算子的谱的特征,获得了该系统模型时间依赖解的渐近行为,推广了文献[8]中的结果.     

工作休假和休假中止的M/M/1排队系统时间依赖解的渐进性质

研究工作休假和休假中止的M/M/1排队系统时间依赖解的渐近性质.通过研究该模型主算子的共轭算子的豫解集得到在虚轴上除了0点外其它所有点都属于该主算子的豫解集,并得到0是主算子及其共轭算子几何重数为1的特征值,由此推出当时刻t趋向于无穷时模型的时间依赖解收敛于其稳态解.     

M/M~B/1排队模型的时间依赖解的存在唯一性

应用线性算子的积分半群理论证明 M/MB/1排队模型的时间依赖解的存在唯一性 ,其次推出 M/M/1排队模型的时间依赖解的存在唯一性 .     

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

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

具有热储备的可修复平行系统在由常规错误引起失效下的渐进稳定性

讨论了具有热储备和两个独立相同部件的平行系统在由常规错误引起失效下的渐进稳定性.首先,利用Banach空间的Volttera算子方程得到了非负动态解的存在唯一性;然后,利用强连续线性算子半群理论证明了系统正的动态解的存在唯一性,而由于初始值不在定义域内,故得到的是mild解.但在t＞0时系统古典解存在唯一,所以此时mild解即为古典解.最后,利用线性算子半群稳定性的结果,证明了该动态解在范数意义下收敛到稳态解,进而得到了系统的渐进稳定性.     

常规故障和定期维修的冗余系统的指数稳定性

利用C_0-半群理论证明了具有常规故障和定期维修的冗余系统非负解的存在唯一性,并研究了相应算子的谱特征,通过分析本质谱界经过紧扰动后的变化,得到系统动态解以指数形式收敛于稳态解.     

一类具有可修故障和不可修故障的两部件并联可修系统的适定性问题

主要用强连续半群理论,研究了一类具有可修故障和不可修故障的两部件并联系统非负时间依赖解的存在惟一性问题.     

具有两个状态的修复系统的指数稳定性

利用C0-半群理论证明了具有两个状态的可修复系统非负解的存在唯一性,并研究了相应算子的谱特征,通过分析本质谱界经过扰动后的变化,得到系统动态解以指数形式收敛于稳态解.     

一个供应链系统的可靠性模型的适定性分析

供应链系统是一个复杂的动态系统,许多影响因素的存在,使得供应链系统具有强烈的随机性,从而直接影响供应链系统的可靠性,我们通过分析供应链系统的状态之间的转移关系,引入增补变量法,用偏微分方程组建立了供应链系统的可靠性模型,并对该模型系统解的存在唯一性进行了讨论和证明.     

具有一种故障类型的二相关单元冗余系统的指数稳定性

利用C_0-半群理论证明了具有一种故障类型的二相关单元冗余系统非负解的存在惟一性,并研究了相应算子的谱特征,通过分析本质谱界经过紧扰动后的变化,得到了系统动态解以指数形式收敛于稳态解.最后,给出几个数值模拟的例子用来说明本文的意义所在.     

Dynamic behaviors of the periodic predator–prey model with modified Leslie-Gower Holling-type II schemes and impulsive effect

In this paper, a predator–prey system which based on a modified version of the Leslie–Gower scheme and Holling-type II scheme with impulsive effect are investigated, where all the parameters of the system are time-dependent periodic functions. By using Floquet theory of linear periodic impulsive equation, some conditions for the linear stability of trivial periodic solution and semi-trivial periodic solutions are obtained. It is proved that the system can be permanent if all the trivial and semi-trivial periodic solutions are linearly unstable. We use standard bifurcation theory to show the existence of nontrivial periodic solutions which arise near the semi-trivial periodic solution. As an application, we also examine some special case of the system to confirm our main results.     

一类二阶线性时变系统的稳定性

本文讨论了一类二阶线性时变系统在临界情况下的稳定性，给出了保证该系统零解稳定的充分条件，这一结果将拓宽控制论中二维线性时变控制系统的研究范围。