两相同部件冷贮备可修系统半离散化的研究

利用半离散的方法将两相同部件冷贮备可修系统中的μ(x)进行离散,得到两个偏微分方程,进一步利用算子半群的理论证明离散后的解是收敛于原方程的解.     

两同型部件温贮备可修系统半离散化的研究

利用半离散的方法对两同型部件温贮备可修系统中的函数μ(x)进行离散,得到两个离散的方程,再利用算子半群的理论证明离散后方程的解收敛于原方程的解.     

具有四个状态的系统解的半离散化

针对具有四个状态系统所建立的模型的修复率μi(x)(i=2,3)用初等阶梯函数进行逼近,给出了系统的半离散化模型,为进一步数值计算打下理论基础.     

关于人口发展方程半离散算法的研究

利用半离散的方法将人口发展方程的边界条件进行离散,离散后得到两个相应的偏微分方程模型,然后利用算子半群的理论证明了离散后的解都逼近原方程的解,从而证明这种半离散方法是可行的.     

具有热储备的可修复平行系统解的半离散化

针对具有热储备的可修复平行系统模型中修复率U(X)用初等阶梯函数进行逼近,给出了系统的半离散化模型,进一步为数值计算打下了理论基础.     

森林发展系统的一个非线性半离散模型

本文建立了森林发展系统的一类非线性林龄面积结构的半离散模型 ,并讨论了半离散系统解的存在唯一性 ,给出了线性半离散系统稳定的一些充分条件     

非线性半离散森林系统的可控性

讨论森林发展系统的一类非线性林龄面积结构的半离散模型,利用矩阵的秩判据证明了森林半离散系统的可控性.     

非线性半离散森林系统的稳定性

讨论森林发展系统的一类非线性林龄面积结构的半离散模型 ,给出了非线性半离散系统稳定的一些充分条件 .     

具有内部构造安全保障体系的冗余机器系统的解的半离散化分析

对具有内部构造安全保障体系的冗余机器系统中的修复率μ(x)用初等阶梯函数方法进行逼近,并给出了系统的半离散化模型,为进一步数值计算打下基础.     

具有易损坏储备部件复杂可修系统解的半离散化

讨论了易损坏部件对系统的影响,且故障系统的修复时间是任意分布的.并对修复率μi(x)用初等阶梯函数进行逼近,给出了系统的半离散化模型,为进一步的数值计算打下基础.     

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

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

The Existence and Uniqueness of Solutions of a Class of Evolution Equations

In this paper, a class of evolution equations which have special boundary conditions is discussed. The spectrum properties of an operator which is associated with this class of equations arc provided, and the existence and uniqueness of solutions of this class of equations is proved by the theory of pertu rbation of C_0-semigroups. In the last part of this paper, a condition which ensures the solutions to be non-negative is given. Some results of the time-independent population systems in [1-5] are our examples.     

变系数Euler-Bernoulli梁振动发展系统的存在性

讨论变系数Euler-Bernoulli梁振动系统{uu(x,t) η(t)uxxxx(x,t)=0,0＜x＜1,0≤t≤T u(0,t)=ux(0,t)=0,0≤t≤t -uxxx(1,t) muu(1,t)=-αu1(1,t) βuxxx(1,t),0≤t≤T uxt(1,t) =-γuxx(1,t),0≤t≤t u(x,0)=u1(x),u1(x,0),0≤x≤1证明了该系统产生一个发展系统．     

非线性森林发展系统的渐近性

本讨论他一类非线性森林发展系统,利用临界增生率要概念和算子的实特征值,讨论了系统解的渐近性质。     

一类可靠性模型的其它特征值

研究由一个可靠机器,一个不可靠机器与一个无穷容量的缓冲库构成的系统主算子在左半复平面中的特征值,证明对一切θ∈（0,1）,（2（λη_1μη_2）~（1/2）-λη_1-μη_2）θ都是该主算子的几何重数为1的一个特征值.     

一类可靠性模型的适定性

研究由一个可靠机器，一个不可靠机器和一个缓冲库构成的生产线．首先对应于此系统的数学模型化为抽象Cauchy问题，然后运用C0-半群理论证明此模型存在唯一的非负解。