可修复人机储备系统算子的本征值问题

讨论了可修复人机储备系统算子的本征值问题,讨论了系统算子非零本征值的存在性,并且系统算子一个本征值对应一个本征向量.     

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

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

具有周期修复的机器人系统指数稳定性分析

研究具有周期修复函数的机器人与其连带的安全装置构成的系统的可靠性.运用泛函分析的方法,特别是Banach空间上的线性算子半群C_0理论,证明了系统的适定性,并通过分析系统本质谱和经过扰动后半群的本质谱半径的变化,给出解的有限展开式。并进一步证明,0是系统的严格占优本征值,系统的非零本征值至多有两个,从而表明系统解以指数形式收敛.     

具有可修储备部件的人-机系统解的特征值分析

针对一种具有两个运行部件和一个储备部件,考虑系统通常故障的发生,且系统故障修复时间服从一般分布的人-机系统模型,对系统的本征值做了进一步分析,并通过具体实例论证了系统非零本征值的存在性,证明了系统本征值与本征向量的一一对应关系.     

有两种修复方法的复杂可修复系统解的渐近稳定性

讨论了两种修复方法的系统解的渐近稳定性.证明了系统在Banach空间中生成正压缩c0半群,系统的非负稳定解恰是系统算子0本征值对应的本征向量,系统算子的谱点均位于复平面的左半平面且在虚轴上除0外无谱.     

具有边界控制的线性Timoshenko型系统的指数稳定性

研究多孔弹性材料在实际应用中的稳定性问题.多孔物体的动力学行为由线性Timoshenko型方程描述,这样的系统一般只是渐近稳定但不指数稳定,假定系统在一端简单支撑,另一端自由,在自由端对系统施加边界反馈控制,讨论闭环系统的适定性和指数稳定性.首先,证明了由闭环系统决定的算子A是预解紧的耗散算子、生成C0压缩半群,从而得到了系统的适定性.进一步通过对系统算子A的本征值的渐近值估计,得到算子谱分布在一个带域,相互分离的,模充分大的本征值都是A的简单本征值.通过引入一个辅助算子A0,利用算子A0的谱性质以及算子A与A0之间的关系,得到了A的广义本征向量的完整性以及Riesz基性质.最后利用Riesz基性质和谱分布得到闭环系统的指数稳定性.     

可修复系统解的渐近稳定性及最优检测时间

应用C0半群理论,证明了服从一般分布的可修复系统的唯一非负时间依赖解的存在性,并指出该解恰是系统算子的0本征值对应的规范化后的本征向量.然后基于系统静态可用度,给出了系统检测时间和系统静态可用度之间的关系表达式,并分析了系统最优检测时间的存在性.     

运输网络模型在Hilbert空间中的解展开

针对一个具体的实际问题-双向边的三角形运输网路模型,研究系统动态解的结构.首先,对这一类交通运输网络模型的系统算子进行谱分析,给出系统算子本征值和本征向量的表达式.其次,指出尽管其系统算子的本征向量在状态空间中不完整,但当时间t大于某一时刻时,系统解仍可按照其本征向量完全展开.     

可修复人机储备系统解的渐近稳定性及可靠性分析

讨论了可修复人机储备系统解的渐近稳定性及可靠性分析.证明了系统算子在Banach空间中生成正压缩C0半群,系统的非负稳定解恰是系统算子0本征值对应的本征向量,系统算子的谱点均位于复平面的左半平面且在虚轴上除0外无谱.此外,证明了系统解在特例情况下的可靠性,即瞬态可靠度大于等于其牢固可靠度.     

一类冷贮备可修系统的指数稳定性

研究了修理工可延误休假的冷贮备可修系统.通过选取空间及定义算子,将模型方程转化成Banach空间中抽象的Cauchy问题,运用预解正算子和C_0半群理论证明了系统动态解的存在唯一性,并通过分析系统算子的谱分布,得出系统算子的严格占优本征值及近似本征值,进而得到系统的指数稳定性.     

一类带修理工休假可修系统解的存在唯一性及正则性分析

考虑一类修理工可多重延误休假的n部件串联可修复系统解的存在唯一性及正则性问题.通过将系统模型方程转化为一组算子积分方程,利用不动点理论讨论该系统局部解的存在唯一性问题,再由一致先验估计和连续延拓讨论系统整体解的存在唯一性问题,继而分析解的正则性问题.为解决复杂可修复系统解的存在唯一性及正则性提供了可行性方法,并且方法同样适用于排队论系统和其他类似系统.     

AN EXPONENTIAL STABILITY PROBLEM ON THE SMALL DELAY LINEAR SYSTEM

1IntroductionLetXbea'Banachspace,andB(X)betheBanachspaceofcontinuouslinearoperatorsfromXintoX.LetT(t)bea(CO)selltigroup,andletAbeitsinfinitesilllalgenerator.WedenotethedomainandtherangeofAbyD(A)andR(A).LetBbelongtoB(X).FOrthelinearsystem:andthedelaylinearsystem:wherer>0,((.)EC([--.,o],x)={fif:[--r,oj~X,fiscontinuous},r(t)EC[o,.)'05r(t)5r.Weconsidertileexponentialstabilityequivalencebetweellthesolutionof(1)and(2),whichllleans:ifthereexistM,a>0,sllththatIIS(f)II5Me--"'(f20),whereS(…     

一类具有优化调整状态的供应链系统解的适定性和正则性

主要研究了一类具有优化调整状态的供应链系统解的适定性及正则性问题,利用不动点定理证明了解的局部存在唯一性,用一致先验估计及等高延拓得到了解的整体存在唯一性,最后讨论了依赖模型初值的解的连续性,并且给出解的C~1连续性.     

在常规故障条件下具有易损坏储备部件可修复系统的指数稳定性

研究了在常规故障条件下具有易损坏储备部件可修复系统.运用Banach空间上的线性算子半群理论,通过分析系统本质谱界经过扰动后的变化,表明在一定的条件下,系统动态解以指数形式收敛于系统的稳态解.     

一类三次Kolmogorov捕食者-食饵种群差分系统正周期解的存在性

研究了一类三次Kolmogorov捕食者-食饵种群差分系统正周期解的存在性,利用重合度理论中的连续性定理建立了存在正周期解的充分性依据,推广并改进了文献中的相关结果.     

考虑n中连续取k失效准则的树状系统可靠性求解方法

树状网络系统在管道运输,网络通信中较为常见,对其进行可靠性评估对系统设计及优化具有重要意义。针对树状冗余系统,在n中连续取k失效准则下,通过有限马尔可夫嵌入法并对其进行变形,研究了树状系统可靠性求解方法。本文对树状系统建模加以定义,提出了基于层数参数,层-节点向量,父-子节点矩阵三元参数的树状系统表示方法,研究了变形有限马尔可夫嵌入法的树状系统n中连续取k失效准则下的可靠性求解方法,给出了三个数值算例应用并分析了算法的运算复杂度。最后,本文对比讨论了基于概率母函数法的树状系统在n中连续取k准则下系统可靠性求解方法的研究,得出结论本文算法针对树状冗余系统n中连续取k失效准则下系统可靠性求解应用范围更广,求解效率较高。     

离散Leslie捕食与被捕食系统周期解的稳定性

该文讨论了一类离散Leslie捕食与被捕食系统,获得了该系统的持久性,当系统为周期系统时,得到了它的周期解的存在性,并且在某些条件下,该周期解是全局稳定的.     

含参数线性方程组解的判别方法注记

当线性方程组中含有未知参数时,线性方程组解的情况往往需要进行讨论.本文给出了在非齐次线性方程组系数矩阵中含有未知参数且系数行列式等于零的情况下,判定对应参数值下方程组的解是无解还是有无穷多解的两个判定定理.和以前的方法比较,本文提出的讨论方法更直接.     

Nonresonance and Global Existence of Nonlinear Elastic Wave Equations with External Forces

This paper establishes the global existence of classical solution to the system of homogeneous,isotropic hyperelasticity with time-independent external force,provided that the nonlinear term obeys a ty...     

非线性年龄结构种群的平衡解

讨论一类总数依赖非线性年龄结构种群模型的动力特性，给出了系统的一个等价问题，并讨论了系统的平衡解和非平衡解，得到了平衡解和非平衡解存在的充要条件。