具有人为故障的人-机系统的可靠性分析

介绍了一个具有人为故障的人-机系统的可修复模型,利用算子半群理论证明了新模型系统解的存在唯一性和指数型稳定性.另外,当故障率λ_0→∞时,系统的瞬态可用度逼近弱解系统瞬态可用度.即,新模型系统逼近原模型弱解系统.     

常规故障具预警功能的两相同部件并联冗余可修复系统

研究了常规故障具预警功能的两相同部件并联冗余可修复系统.通过选取状态空间和定义系统算子,将模型方程转化成为了抽象Cauchy问题.然后利用算子半群理论证明了系统解的存在唯一性与指数稳定性.另外,得到结论:当风险系数λc趋于无穷大时,这种系统逼近于一种具有mild解的模型系统.     

具有临界和非临界操作错误的人机系统的渐近稳定性

讨论具有临界和非临界操作错误的可修复人机系统．利用系统算子生成的Banach 空间中的正压缩C0半群的性质,证明了此系统的唯一非负时间依赖解恰是系统算子0本征值对应的规范化后的本征向量;同时通过对系统算子谱点分布情况的分析,证明了系统算子的谱点均位于复平面左半平面且在虚轴上除0点外无其它谱,作为线性算子半群稳定性的一个直接结果,得出了该可修人机系统的渐近稳定性．     

一类修复不如新的可修复系统的可靠性分析

用增补变量的方法建立了在人为错误下修复不如新的两相同部件并联可修复系统.通过选取空间和定义系统算子,将模型方程转化成为了抽象Cauchy问题.然后利用线性算子半群理论研究了系统解的存在唯一性和渐近稳定性,进一步对系统的可用度做了比较分析.     

两不同型部件并联可修系统的可靠性研究

研究了两不同型部件并联可修系统.通过选取空间和定义算子,将模型方程转化成了抽象Cauchy问题.利用预解正算子和C_0半群理论,证明了系统动态解的存在唯一性.通过分析系统算子的谱分布,得到系统的指数稳定性.在此基础上,用一个新的方法讨论了系统的一些重要的稳态指标.     

两不同型部件并联可修系统主算子的性质

研究了两不同型部件并联可修系统.通过选取空间及定义算子A和B,将模型方程转化成了Banach空间中的抽象Cauchy问题.通过分析系统主算子A的谱分布,求出A的谱上界.利用预解正算子及共尾理论,证明了A的谱上界和增长界相等.     

具有预防性维修策略的可修复系统的指数稳定性

利用算子半群理论研究了具有预防性维修策略的可修复系统,通过分析系统算子的谱分布,以及系统算子生成C0半群{T(t)}的本质谱增长阶,证明了C0半群{T(t)}是拟紧半群.同时也证明了该半群还是不可约的.进而得到了可修复可用度的指数稳定性.     

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

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

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

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

一族Liouville可积系及其3-Hamilton结构

构造了loop代数A↑～1的一个高阶子代数,设计了一个新的Lax对,利用屠格式获得了含8个位势的孤立子方程族;利用Gauteax导数直接验证了所得3个辛算子的线性组合仍为辛算子．因此该孤立族具有3-Hamilton结构,具有无穷多个对合的公共守恒密度,故Liouville可积．作为约化情形,得到了2个可积系,其中之一是著名的AKNS方程族．     

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

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

具有四类故障可修系统解的存在惟一性

研究了具有四类故障且有两个热备器 (Warm Standby)的可修系统模型 .首先对用微分——积分方程描述的模型转换为 6维空间的积分方程形式 ,运用泛函分析 Banach空间下的算子理论 ,证明了此系统非负解的存在惟一性     

基于软硬件特性可修计算机系统非负弱解存在唯一性

讨论由有软件和硬件构成的串联可修计算机系统,利用可修计算机系统算子生成的Banach空间中的正压缩c0-半群的性质及泛函分析的方法,证明该系统具有唯一非负时间依赖弱解.     

在常规故障下具有四个部件冗余系统解的最优控制

研究了具有常规故障的四个部件冗余可修复系统模型.将一组微分-积分方程描述的模型转化为六维空间的积分方程形式.运用算子理论,证明了此系统非负解的存在唯一性.并且研究了以范数为指标衡量控制标量为标准的最优控制问题.     

Stability analysis of a new kind n-unit series repairable system

In this paper, we deal with a new model of an n-unit series repairable system, in which a concept of a repairman with multiple-delayed vacation is introduced and the impact on the system reliability due to a replaceable facility is also considered. This paper is devoted to studying the unique existence and stability of the system solution. C₀-semigroup theory is used to prove the existence of a unique nonnegative time-dependent solution of the system. Then by analyzing the spectra distribution of the system operator, we prove that the dynamic solution of the system asymptotically converges to the nonnegative steady-state solution which is the eigenfunction corresponding to eigenvalue 0 of the system operator. Furthermore, we discuss the exponential stability of the system in a special case. Some reliability indices of the system are also studied and the optimal vacation time is analyzed at the end of the paper.     

故障时间任意分布的两部件可修复系统解的适定性分析

讨论了一个由两个部件并联组成的可修复冗余系统模型,修复后的故障系统恢复如新.在假设修复函数有界的条件下,给出了C_0-半群的生成元(系统算子)对应的柯西问题的解的适定性分析.     

Analysis of Formal and Analytic Solutions for Singularities of the Vector Fractional Differential Equations

In this article,we study on the existence of solution for a singularities of a system of nonlinear fractional differential equations (FDE).We construct a formal power series solution for our considering FDE and prove convergence of formal solutions under conditions.We use the Caputo fractional differential operator and the nonlinearity depends on the fractional derivative of an unknown function.     

第一类不适定算子方程的解的表示

该文在L2中讨论了第一类算子方程Au＝f当A-1无定义和A-1不是单值的情形下的不适定求解问题，给出了解存在的充要条件，当有解时，得到了形式解，多解时形式解就是最小范数解，并且得到了近似解表达式，给出了误差估计．