具有多重严重故障和非严重故障和修复功能的系统的可靠性分析

该文研究一个具有多重严重故障和非严重故障和修复功能的系统的可靠性问题. 在泛函分析理论的框架下,将系统方程组写成一个 Banach 空间中的抽象初值问题,利用算子半群方法,研究了该系统的适定性、稳态解的存在性以及稳定性.表明: 在系统模型的假定下,所研究的系统是适定的,存在非负动态解和稳态解, 特别在范数意义下动态解收敛到稳态解.从而由系统稳态解得到的系统指标是可靠的.     

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

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

糖尿病人群发展状况预警建模研究

糖尿病发展迅速,已成为严重的公共健康问题,糖尿病能够诱发多种并发症,给社会和个人带来巨大的经济负担,该文通过建立数学预警模型来研究糖尿病的发展状况,在系统模型的假定下,证明了系统存在非负的动态解和稳态解,计算动态解得到了某一时间糖尿病人在不同阶段的概率,而稳态解可以研究时间充分大时糖尿病人在不同阶段的概率.目前,我国糖尿病患者接近一亿人,接近1.5亿人处于糖尿病前期,糖尿病发展形式非常严峻,控制血糖是控制糖尿病发展的关键,该文通过糖尿病不同阶段的血糖控制不同状态,得到的稳态解不仅验证了这一严峻形式,而且动态解对糖尿病未来发展起到预警作用,特别是在范数意义下动态解收敛到稳态解,从而由系统稳态解得到系统指标是可靠的.     

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

向量优化中有效点的存在性

分别在有pre-order的无线性结构的集合和拓扑空间中，给出了有效点的存在性。作为应用，讨论了向量优化问题中解的存在性。最后给出了紧、弱紧、锥紧、锥半紧、上序紧、下序紧、上序半紧、准上序半紧和准下序半紧等之间的关系。     

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

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

The Iterative Accelerative Method of Finite Element Approximation for the System $u=∑ u_j (\frac{∂ u}{∂ x_j})+f$

In this paper we use an iterative method to get an approximate solution $u^n$ and $\bar{u}^n$ which approximate the exact solution $u$ with the error estimates $\|u-u^n\|+ch\|u-u^n\|_1+\|u-\bar{u}^n\|_1\leq ch^{n+2}$.     

退化的抛物方程组解的全局存在及爆破

本文讨论了退化抛物方程组初边值问题解的性质 ,通过构造上、下解 ,证明了古典解的存在唯一性 ,利用特征函数以及最大值原理 ,得出了解全局存在以及爆破的若干条件 .     

线性齐次常微分方程(组)的λ-矩阵求解法

本文在文 [2 ]的基础上 ,应用λ-矩阵及微分算子性质给出了一种变系数齐次常微分线性方程 (组 )的λ-矩阵求解法 ,对文 [2 ]作出了更一般的推广 .     

三种群Lotka-Volterra周期系数混合模型的全局渐近稳定性

本文考虑周期系数的三种群 Lokta-Volterra模型 ,种群间既有捕食关系又有竞争关系 ,得到其正周期解的存在性及其全局渐近稳定性的条件 ,且举例说明条件的可行性     

薄层流中的一类三阶奇摄动边值问题的渐近分析

本文研究薄层流中出现的一类三阶奇摄动数学模型．本文不采用研究其渐近等价的二阶奇摄动微分方程的方法,而利用边界层函数法,直接讨论该数学模型的渐近解,并严格地证明了解的存在唯一性和其渐近解的一致有效性．本文的结果不仅去掉了以往方法所必须的位势条件,纠正了某个不适定的假设,而且推广了以往的结果．     

G恰当有效点集和G恰当有效解集的连通性

与多目标规划问题的G恰当有效解相应，引进了集合的G恰当有效点的概念，并互研究了G恰当有效点集和G恰当有效解集的连通性．利用所得的结果，还获得多目标规划问题的Pareto有效解集是连通的一个新的结论。