Simultaneous fault detection and control for switched systems with actuator faults

This paper is concerned with the fault detection and control problem for discrete-time switched systems. The actuator faults, especially ‘outage cases’, are considered. The detector/controller is designed simultaneously such that the closed-loop system switches under an average dwell time, and when a fault is detected, an alarm is generated and then the controller is switched to allow the norm of the states of the subsystem to increase within the acceptable limits. Thus, a switching strategy which combines average dwell time switching with event-driven switching is proposed. Under this switching strategy, the attention is focused on designing the detector/controller such that estimation errors between residual signals and faults are minimised for the fulfillment of fault detection objectives; simultaneously, the closed-loop system becomes asymptotically stable for the fulfillment of control objectives. A two-step procedure is adopted to obtain the solutions through satisfying a set of linear matrix inequalities. An example comprising of three cases is considered. Through these cases, it is demonstrated that the fault detection and control for switched systems using a two-stage switching strategy and asynchronous switching are feasible.     

Optimal number of minimal repairs with cumulative repair cost limit for a two-unit system with failure rate interactions

A discrete replacement model is presented that includes a cumulative repair cost limit for a two-unit system with failure rate interactions between the units. We assume a failure in unit 1 causes the failure rate in unit 2 to increase, whereas a failure in unit 2 causes a failure in unit 1, resulting in a total system failure. If unit 1 fails and the cumulative repair cost till to this failure is less than a limit L, then unit 1 is repaired. If there is a failure in unit 1 and the cumulative repair cost exceeds L or the number of failures equals n, the entire system is preventively replaced. The system is also replaced at a total failure, and such replacement cost is higher than the preventive replacement cost. The long-term expected cost per unit time is derived using the expected costs as the optimality criterion. The minimum-cost policy is derived, and existence and uniqueness are proved.     

1553B通信协议的可依赖性讨论

1553B是飞机电传系统的通信协议,由于硬件上抗干扰仅考虑了系统内部自生的干扰,实际环境要严重得多;因为只按奇偶位作校验,所以错字漏检的概率比较大;由于回传状态字内容不全面,在漏检错字时会发生假冒错;由于指令字出错不易纠正,最好情况下靠2次重传,丢帧可能性大.漏检错帧和丢帧多会使多重冗余的表决机制失效,也会使网络管理类指令失效,成为潜伏的故障.通过定量分析,确定了一些情况下的失效率,例如假定取CAN,Profesafe同样的误码率ber=0.01时,除去最大值/最小值再取均值时的4冗余系统因错字漏检引起的每小时失效可达2×10-1次.     

Communication-efficient and crash-quiescent Omega with unknown membership

The failure detector class Omega (Ω) provides an eventual leader election functionality, i.e., eventually all correct processes permanently trust the same correct process. An algorithm is communication-efficient if the number of links that carry messages forever is bounded by n, being n the number of processes in the system. It has been defined that an algorithm is crash-quiescent if it eventually stops sending messages to crashed processes. In this regard, it has been recently shown the impossibility of implementing Ω crash quiescently without a majority of correct processes. We say that the membership is unknown if each process pi only knows its own identity and the number of processes in the system (that is, i and n), but pi does not know the identity of the rest of processes of the system. There is a type of link (denoted by ADD link) in which a bounded (but unknown) number of consecutive messages can be delayed or lost.In this work we present the first implementation (to our knowledge) of Ω in partially synchronous systems with ADD links and with unknown membership. Furthermore, it is the first implementation of Ω that combines two very interesting properties: communication-efficiency and crash-quiescence when the majority of processes are correct. Finally, we also obtain with the same algorithm a failure detector () such that every correct process eventually and permanently outputs the set of all correct processes.     

On the estimation of adequate test set size using fault failure rates

Test set size in terms of the number of test cases is an important consideration when testing software systems. Using too few test cases might result in poor fault detection and using too many might be very expensive and suffer from redundancy. We define the failure rate of a program as the fraction of test cases in an available test pool that result in execution failure on that program. This paper investigates the relationship between failure rates and the number of test cases required to detect the faults. Our experiments based on 11 sets of C programs suggest that an accurate estimation of failure rates of potential fault(s) in a program can provide a reliable estimate of adequate test set size with respect to fault detection and should therefore be one of the factors kept in mind during test set construction. Furthermore, the model proposed herein is fairly robust to incorrect estimations in failure rates and can still provide good predictive quality. Experiments are also performed to observe the relationship between multiple faults present in the same program using the concept of a failure rate. When predicting the effectiveness against a program with multiple faults, results indicate that not knowing the number of faults in the program is not a significant concern, as the predictive quality is typically not affected adversely.     

安徽电网变压器油中溶解气体在线监测管理系统的设计与实现

随着电网规模不断增大,电力系统的安全稳定问题趋于更加复杂,为保证电网稳定运行,对变压器工作状态的监视与管理提出了更高要求.该文针对安徽电网目前对变压器监视的实际情况,设计一套针对变压器油中溶解的气体含量进行监测、分析的管理系统,从而及时发现变压器存在或潜在的故障,确保电网的安全稳定运行.     

一种被用于网络管理的性能分析模型和实现

为了提高网络的可靠性以及当今高速通信网络的管理水平,提出了一种用于网络管理的性能及可信度分析模型.该模型能够实时地计算和预测网络的各个性能参数（例如,带宽、吞吐量和延时等）的可靠性（performance-reliability）、可用性（performance-availability）和该网络的平均无故障时间（mean time to failure,简称MTTF）等.由于此模型求真解十分复杂,对于高可靠性网络的管理,给出了该模型的近似模型及其实现.     

软件可靠性的验证与无故障考核

分析了软件可靠性考核的时机 ,提出了软件可靠性的验证试验方法 ,研究了基于经典方法和Bayes方法的无故障运行考核方法。     

QM-Y系半导体气敏传感器的失效分析

通过对气体传感器的可靠性试验,得到了元件失效的主要类型,对失效元件从微观和宏观进行了分析,找到了一些引起元件失效的主要原因,对元件的实际应用和批量生产有着极其重要的价值。