可修系统中半马氏过程的稳态分布

众所周知,可修系统是可靠性理论中讨论的一类非常重要的系统,也是可靠性数学主要研究对象之一,研究可修系统的主要数学工具是马氏理论.当构成系统各部件的寿命分布和故障后的修理时间分布,及其出现的有关分布均为指数分布时,只要适当的定义系统的状态,这样的系统总可以用马氏过程来描述.大部分学者为了方便,均是在马氏框架下研究问题的.但是在实践中经常遇到部件的寿命或修理时间分布不是指数分布的情形,这时可修系统所构成的随机过程是半马氏过程,用现有的马氏理论无法解决相关问题.目前,关于半马氏的理论研究的研究又很少,基于此,针对半马氏的随机模型给出了与马氏理论相平行的稳态分布的求解方法.     

一般δ-冲击模型及其最优更换策略

本文讨论了一种具有一般δ-冲击的可修系统，我们不仅给出了该系统的一些可靠性指标，如系统的可靠度，系统平均工作时间，系统工作时间的极限分布等，而且对该可修系统的分布性质也进行了研究．在Poisson冲击下，我们证明了该系统的寿命分布是NBU的．在该系统为”修复非新”时，我们利用几何过程考虑了以系统的故障次数N为更换策略，以长期运行单位时间内的期望费用为目标函数，通过目标函数最小化确定了最优更换策略．最后我们给出了一个数值例子．     

关于非齐次马氏信源的渐进均匀分割性

本文的目的是要研究非齐次马氏信源的渐进均分割性，首先应用鞅差收敛定理给出关于非齐次马氏信源二元函数一类平均的极限定理．作为推论，得到了对任意非齐次马氏信源均成立的几个极限定理和熵密度极限定理．最后给出一类非齐次马氏信源满足渐进均分割性的充分条件．     

一个强极限定理

设是可列非齐次马氏链，本文通过利用［１］中提出的在Ｗｉｅｎｅｒ概率空间的一种实现，而给出了一个对任意可列非齐次马氏链普遍成立的强极限定理。     

多状态马氏链的极限定理

本文首先对具有平稳转移概率的有限状态整值马氏链［Ｘｉ］的和Ｓｎ给出了它的概率母函数的一般表达式。利用这一结果，对于二状态马氏链，在很一般的条件下证明了Ｓｎ的分布收敛于几何型分布和复合泊松分布的卷积，较强意义下的收敛性也是被讨论的，对于多状态链，某些特殊情形的极限分布是被给出的。     

一类强极限定理

本文给出了一类对任意可列非齐次马氏链普遍成立的强极限定理。     

一类强极限定理

本给出了一类对任意可列非齐次马氏链普遍成立的强极限定理。     

一类新形式的强极限定理

本文给出了一类对任意可列非齐次马氏链普遍成立的新形式的强极限定理 .     

一类新形式的强极限定理

本给出了一类对任意可列非齐次马氏链普遍成立的新形式的强极限定理。     

可列非齐次马氏链的强极限性质

本文主要研究可列状态非齐次马氏链的强极限性质.文中在Cesaro收敛条件下证明了非齐次马氏链的N+1元函数的一系列强极限性质,推广了已有的关于二元随机变量函数的类似结果.最后,作为推论给出了齐次马氏链的N+1元函数的强极限定理.     

具有位相型修理的离散时间可修排队系统

本文研究了具有一般独立输入，位相型修理的离散时间可修排队系统，假定服务台对顾客的服务时间和服务台寿命服从几何分布，运用矩阵解析方法我们给出系统嵌入在到达时刻的稳态队长分布和等待时间分布，并证明这些分布均为离散位相型分布．我们也得到在广义服务时间内服务台发生故障次数的分布，证明它服从一个修正的几何分布．我们对离散时间可修排队与连续时间可修排队进行了比较，说明这两种排队系统在一些性能指标方面的区别之处．最后我们通过一些数值例子说明在这类系统中顾客的到达过程、服务时间和服务台的故障率之间的关系．     

离散时间单部件可修系统瞬时可用度的渐近稳定性

针对离散时间下修理有延迟的单部件可修系统,研究了有限时间约束下的系统瞬时可用度模型.证明了该系统瞬时可用度的渐近稳定性,并得到了系统稳态可用度的表达式.结果表明系统瞬时可用度的稳定性对离散时间系统和连续时间系统具有一致性,进一步说明了离散时间下瞬时可用度模型的有效性,同时也加强了研究有限时间段内系统瞬时可用度波动的理论基础.     

具有单重休假和修复不如新的两部件并联系统

为了解决由"修复非新"部件组成的具有休假的可修型系统,运用几何过程理论、补充变量法和拉普拉斯变换工具,研究了由两个不同型部件和一个修理工组成的可修型并联系统.假设两个部件的工作寿命和修理时间均服从不同的指数分布,修理工可休假,对部件1的修理是几何修理而对部件2的修理则是修复如新,得到了系统的可用度、可靠度和系统首次故障前平均时间等可靠性指标.成果具有一定的理论和实际意义.     

Reduced order observer design for discrete-time nonlinear systems

This work is a geometric study of reduced order observer design for discrete-time nonlinear systems. Our reduced order observer design is applicable for Lyapunov stable discrete-time nonlinear systems with a linear output equation and is a generalization of Luenberger’s reduced order observer design for linear systems. We establish the error convergence for the reduced order estimator for discrete-time nonlinear systems using the center manifold theory for maps. We illustrate our reduced order observer construction for discrete-time nonlinear systems with an example.     

General observers for discrete-time nonlinear systems

This paper is a geometric study of finding general exponential observers for discrete-time nonlinear systems. Using center manifold theory for maps, we derive necessary and sufficient conditions for general exponential observers for Lyapunov stable discrete-time nonlinear systems. As an application of our characterization of general exponential observers, we give a construction procedure for identity exponential observers for discrete-time nonlinear systems.     

Observer design for discrete-time nonlinear systems

This paper is a geometric study of the observer design for discrete-time nonlinear systems. First, we obtain necessary and sufficient conditions for local exponential observers for Lyaupnov stable discrete-time nonlinear systems. We also show that the definition of local exponential observers can be considerably weakened for neutrally stable discrete-time nonlinear systems. As an application of our local observer design, we consider a class of discrete-time nonlinear systems with an input generator (exosystem) and show that for this class of nonlinear systems, under some stability assumptions, the existence of local exponential observers in the presence of inputs implies and is implied by the existence of local exponential observers in the absence of inputs.     

基于几何过程和位相分布休假的两部件并联可修系统的可靠性分析

主要以两不同型部件组成的并联可修系统为研究对象.在系统对失效相位存在记忆的基础上,考虑了修理工可单重休假且休假时间服从位相(PH)分布.每个工作部件均有可能因受到两种不同类型的故障而失效,且均"修复非新".在假定部件的工作时间,修理时间分别服从PH分布的几何过程和负指数分布的条件下,利用马尔可夫过程和矩阵分析的方法,对可修系统进行了可靠性分析,并给出了相应可靠性指标的数值算例.     

Geometric/G/1离散时间可修排队系统

研究服务台可修的Geomertric/G/1离散时间排队系统.在这个系统中,服务台寿命服从几何分布,修理时间服从一般分布.我们求出了服务台首次故障前时间的母函数和服务台首次故障前平均时间(MTTFF).     

A novel repair model for imperfect maintenance

^** Email: shaomin.wu{at}reading.ac.uk Commonly used repair rate models for repairable systems in thereliability literature are renewal processes, generalised renewalprocesses or non-homogeneous Poisson processes. In additionto these models, geometric processes (GP) are studied occasionally.The GP, however, can only model systems with monotonously changing(increasing, decreasing or constant) failure intensities. Thispaper deals with the reliability modelling of failure processesfor repairable systems where the failure intensity shows a bathtub-typenon-monotonic behaviour. A new stochastic process, i.e. an extendedPoisson process, is introduced in this paper. Reliability indicesare presented, and the parameters of the new process are estimated.Experimental results on a data set demonstrate the validityof the new process.     

有两种故障状态的两部件串联系统的预防维修策略

本文研究的是由两个部件串联组成且有两种故障状态的系统的预防维修策略, 当系统的工作时间达到T时进行预防维修, 预防维修使部件恢复到上一次故障维修后的状态。每个部件发生故障都有两种状态, 可维修和不可维修。当部件的故障为可维修故障时, 修理工对其进行故障维修, 且每次故障维修后的工作时间形成随机递减的几何过程, 每次故障后的维修时间形成随机递增的几何过程。当部件发生N次可维修故障或一次不可维修故障时进行更换。以部件进行预防维修的间隔和更换前的可维修故障次数N组成的二维策略(T, N) 为策略, 利用更新过程和几何过程理论求出了系统经长期运行单位时间内期望费用的表达式, 并给出了具体例子和数值分析。