具有等待时间的复杂可修复系统的指数稳定性

研究了具有等待时间的复杂可修复系统的指数稳定性.利用泛函分析的方法将模型方程组转化成抽象的Cauchy问题,运用强连续算子半群理论证明了系统动态非负解的指数稳定性.     

非线性脉冲时滞泛函微分系统的非振动性

目的讨论线性时滞泛函微分系统在非线性脉冲的扰动.方法利用比较原理的方法.结果与结论得到了泛函微分系统与在非线性脉冲扰动下系统的解之间的关系.     

非线性脉冲时滞泛函微分系统的渐近性

利用比较原理与序列极限的方法讨论了线性时滞泛函微分系统在非线性脉冲下的扰动,研究了非线性脉冲时滞泛函微分系统解的渐近性.得到了线性时滞泛函微分系统在非线性脉冲扰动下系统的所有解都渐近吸引的充分性条件.     

非线性脉冲时滞泛函微分系统的非振动性

目的 讨论线性时滞泛函微分系统在非线性脉冲下的扰动。方法 利用比较原理的方法。结果与结论 得到了泛函微分系统与在非线性脉冲扰动下系统的解之间的关系。     

非线性脉冲时滞泛函微分系统的渐近性

利用比较原理与序列极限的方法讨论了线性时滞泛函微分系统在非线性脉冲下的扰动，研究了非线性脉冲时滞泛函微分系统解的渐近性．得到了线性时滞泛函微分系统在非线性脉冲扰动下系统的所有解都渐近吸引的充分性条件．     

非线性离散共振Schrdinger系统的非平凡解

利用变分方法研究了非线性离散共振Schrdinger系统非平凡解的存在性.首先将该系统转化为矩阵形式,给出了它所对应的能量泛函,于是该系统的解等价于能量泛函的临界点.同时,利用矩阵张量积的特征值性质得到了该系统所对应的线性特征值系统的全部特征值,从而得到了系统共振现象的数学描述.进一步,当系统在零点或无穷远点发生共振时,在一定的假设条件下,通过临界群的计算,结合Morse理论,证明了此系统至少存在一个非平凡解.     

一类具有阶段结构的非自治捕食者—食饵系统的研究

通过利用微分方程定性理论,证明一类具有阶段结构的非自治食饵-捕食者模型解的系统,在适当条件下是持久的.针对模型的周期系统,利用泛函分析的Brouwer不动点定理和构造Lyapunov泛函的方法,证明该系统正周期解存在且全局渐近稳定的充分条件;对更具普遍意义的概周期现象,得到了概周期正解存在且全局渐近稳定的充分条件.     

多物种互助系统的周期解的存在性

利用Ｈｏｒｎ不动点定理得到一类多变量变系数,具无限时滞的泛函微分方程所确定的互助系统周期解存在的充分条件。     

一类次线性脉冲时滞微分系统的渐近性

在线性时滞微分系统的基础上,利用极限与积分的方法,讨论了次线性多时滞泛函微分系统在线性脉冲下的扰动,研究了线性脉冲时滞微分系统解的渐近性,得到了次线性多时滞泛函微分系统在线性脉冲扰动下系统的所有解都渐近吸引的充分性条件．     

含一般时延的高阶泛函微分方程的周期解

研究了一类含有"一般"时延的高阶泛函微分方程的周期解问题,将原方程化为等价的泛函微分方程,并利用该等价泛函微分方程的特征方程,得到了原方程具有周期解的充分必要条件,即其等价方程的特征方程具有不为零的纯虚根。     

可修系统可靠性模型研究

近年来,可修系统逐渐成为可靠性理论的研究热点。很多学者从不同方面对可靠性理论中可修系统进行了研究。文章主要介绍了可修系统建模的一般方法及常用求解方法,同时介绍了可修系统模型分类、研究现状以及发展方向。     

输油管道泵站加压系统安全风险分析

本文提出了复杂可修工程系统可靠性分析的网络树法．在此基础上,为了简化网络分析,应用可靠性单元法对偷油管道某输油泵站加压系统进行可靠性分析．并针对可修工程系统提出了以不可用度代替不可靠度风险分析方法．     

云存储系统中基于MSR码的局部性修复编码

为了提高分布式云存储系统的存储可靠性和故障节点修复效率,提出一种基于最小存储再生码的局部性修复编码方案. 具体地,构造适用于云存储的系统最小存储再生码,以此码为局部码构造局部性修复编码,确保最大距离可分性质和简单修复特性. 性能分析和仿真结果表明,该局部性修复编码方案可实现云存储系统中多个故障节点的快速修复,具有较低的修复局部性,相对于三副本复制方式和简单再生码,该局部性修复编码方案在存储开销和修复带宽开销方面的性能更优.     

一类可修复串联系统主算子的谱特征分析

运用泛函分析中共轭空间的相关定理和理论以及算子半群中的相关理论,研究了一类可修复串联系统主算子A＋E所对应的特征向量的几何重数、代数重数的特征,进而描述了一类可修复串联系统主算子A＋E的谱特征．     

基于Hadamard矩阵的最优局部修复码构造

现有的局部修复码大多能满足最小距离最优的边界条件,但是在满足最小距离最优情况下构造维度最优的局部修复码还比较困难。针对上述问题,提出一种基于Hadamard矩阵的最优局部修复码的构造方法,通过对Hadamard矩阵进行扩展,构造局部修复码的校验矩阵,进而通过此校验矩阵构造最优局部修复码。首先,基于Hadamard矩阵构造局部修复码的校验矩阵,通过校验矩阵构造的局部修复码的最小距离可以达到最优最小距离界,但是其维度没有达到最优维度边界条件;为进一步提高维度,将校验矩阵中的关联矩阵0和1元素互换得到新的关联矩阵,通过和新的关联矩阵级联进行扩展,构造的扩展局部修复码不仅可以达到最小距离最优,且能达到维度最优的边界条件。与现有局部修复码相比,该构造的局部修复码是最小距离和维度最优的局部修复码,且其码率也更逼近局部修复码最优码率的边界。     

带有止步和中途退出的修理工有休假的机器维修问题

从排队论角度研究了带止步和中途退出的修理工进行单重休假的机器维修问题。同时,系统中的台同型机器又构成了一个并联可修系统,文章也从可靠性角度计算出一些有关可靠性的指标。因此,本文利用矩阵解法从排队论角度计算了系统的稳态队长、平均队长;从可靠性角度计算了系统的稳态可用度和系统稳态故障频度。此外,通过数值计算,考察了系统的参数对系统稳态指标的影响。     

一个可修复的(m,N)系统解的存在唯一

应用泛函分析理论和半群理论,证明了一个可修复的(m,N)系统解的存在唯一.此结论发展了以往理论,为以后的研究奠定了一定的基础.     

一类可修串联系统非负弱解的存在唯一

讨论一类具有N个不同部件的可修复系统,利用系统算子生成的Banach空间中的正压缩c0-半群的性质及泛函分析的方法,证明该系统具有唯一非负时间依赖弱解.     

具有早期活化储备的可修复系统非负强解的存在唯一性

本文研究了具有早期活化储备的可修复系统模型,将模型中的微分-积分方程组转换为5维空间的积分方程形式,运用泛函分析中Voltera积分算子理论,得到系统非负强解的存在唯一性.     

多台数控机床最小维修的可靠性评估

为了解决数控（NC）机床最小维修的可靠性评估问题,提出了基于随机点过程的多台NC机床时间截尾的可靠性评估的可修系统方法,建立了故障时间的非齐次泊松过程（NHPP）模型.用Fisher信息矩阵（FIM）法给出了模型参数的点估计和区间估计,同时也给出了NC机床的累积平均无故障间隔时间（MTBF）和累积故障强度在截尾时间的点...