Reliability model of organization management chain of South-to-North Water Diversion Project during construction period

In order to analyze the indispensability of the organization management chain of the South-to-North Water Diversion Project （SNWDP）, two basic forms （series connection state and mixed state of both series connection and parallel connection） of the organization management chain can be abstracted. The indispensability of each form has been studied and is described in this paper. Through analysis of the reliability of the two basic forms, reliability models of the organization management chain in the series connection state and the mixed state of both series connection and parallel connection have been set up.

Bayesian zero-failure reliability modeling and assessment method for multiple numerical control(NC) machine tools

A new problem that classical statistical methods are incapable of solving is reliability modeling and assessment when multiple numerical control machine tools(NCMTs) reveal zero failures after a reliability test. Thus, the zero-failure data form and corresponding Bayesian model are developed to solve the zero-failure problem of NCMTs, for which no previous suitable statistical model has been developed. An expert-judgment process that incorporates prior information is presented to solve the difficulty in obtaining reliable prior distributions of Weibull parameters. The equations for the posterior distribution of the parameter vector and the Markov chain Monte Carlo(MCMC) algorithm are derived to solve the difficulty of calculating high-dimensional integration and to obtain parameter estimators. The proposed method is applied to a real case; a corresponding programming code and trick are developed to implement an MCMC simulation in Win BUGS, and a mean time between failures(MTBF) of 1057.9 h is obtained. Given its ability to combine expert judgment, prior information, and data, the proposed reliability modeling and assessment method under the zero failure of NCMTs is validated.

Quantitative Metal Magnetic Memory Reliability Modeling for Welded Joints

Metal magnetic memory（MMM） testing has been widely used to detect welded joints. However, load levels, environmental magnetic field, and measurement noises make the MMM data dispersive and bring difficulty to quantitative evaluation. In order to promote the development of quantitative MMM reliability assessment, a new MMM model is presented for welded joints. Steel Q235 welded specimens are tested along the longitudinal and horizontal lines by TSC-2M-8 instrument in the tensile fatigue experiments. The X-ray testing is carried out synchronously to verify the MMM results. It is found that MMM testing can detect the hidden crack earlier than X-ray testing. Moreover, the MMM gradient vector sum K_（vs） is sensitive to the damage degree, especially at early and hidden damage stages. Considering the dispersion of MMM data, the K_（vs） statistical law is investigated, which shows that K_（vs） obeys Gaussian distribution. So K_（vs） is the suitable MMM parameter to establish reliability model of welded joints. At last, the original quantitative MMM reliability model is first presented based on the improved stress strength interference theory. It is shown that the reliability degree R gradually decreases with the decreasing of the residual life ratio T, and the maximal error between prediction reliability degree R_1 and verification reliability degree R_2 is 9.15%. This presented method provides a novel tool of reliability testing and evaluating in practical engineering for welded joints.

SOFTWARE RELIABILITY MODEL FOR COMPONENT INTERACTION MODE

With the rapid progress of component technology,the software development methodology of gathering a large number of components for designing complex software systems has matured.But,how to assess the application reliability accurately with the information of system architecture and the components reliabilities together has become a knotty problem.In this paper,the defects in formal description of software architecture and the limitations in existed model assumptions are both analyzed.Moreover,a new software reliability model called Component Interaction Mode(CIM) is proposed.With this model,the problem for existed component-based software reliability analysis models that cannot deal with the cases of component interaction with non-failure independent and non-random control transition is resolved.At last,the practice examples are presented to illustrate the effectiveness of this model.

Quasi-Bayesian software reliability model with small samples

In traditional Bayesian software reliability models, it was assume that all probabilities are precise. In practical applications the parameters of the probability distributions are often under uncertainty due to strong dependence on subjective information of experts＇ judgments on sparse statistical data. In this paper, a quasi-Bayesian software reliability model using interval-valued probabilities to clearly quantify experts＇ prior beliefs on possible intervals of the parameters of the probability distributions is presented. The model integrates experts＇ judgments with statistical data to obtain more convincible assessments of software reliability with small samples. For some actual data sets, the presented model yields better predictions than the Jelinski-Moranda （JM） model using maximum likelihood （ML）.

Analysis of Human Reliability Model in Manned Vehicle

A typical man-machine-environment system is composed of astronaut, vehicle and space environment in the course of manned spaceflight. In this paper, the important role played by man and the factors on his capability in vehicle system have been described, and a stress-strength human reliability model is also put forward. In the end, it must be systematically considered to raise the astronaut's reliability.

Reliability Modelling and Analysis of Satellite Propulsion System Based on Reliability Block Diagram and Extended Object-Oriented Petri Net

Modern satellite propulsion systems are generally designed to fulfill multiphase-missions.Traditional reliability modelling methods have problems of inadequate depict capacity considering complex systems such as satellite propulsion system.An extended object-oriented Petri net(EOOPN)method was proposed to facilitate the reliability modelling of satellite propulsion system in the paper.The proposed method was specified for modelling of phased mission system,and it could be implemented by generating combination of Petri net(PN)principles and object-oriented(OO)programming.The effectiveness of the proposed method was demonstrated through the reliability modelling of a satellite propulsion system with EOOPN.The major advantage of the proposed method is that the dimension of net model can be reduced significantly,and phased mission system at system,phase,or component levels can be respectively depicted.Furthermore,the state-space explosion problem is solved by the proposed EOOPN model efficiently.

Reliability Model for Key Devices with Compound Preventive Warranty

With the warranty requirements of key and important devices,the compound preventive warranty policy was introduced.For the effectiveness of compound preventive maintenance, the maintenance mode of periodic replacement with functional checks was adopted, its failure risk analysis was carried on, and the warranty reliability model was established. On the basis of above research,a numerical example was given to illustrate the engineering application and generality of the warranty reliability model.

Incorporating S-shaped testing-effort functions into NHPP software reliability model with imperfect debugging

Testing-effort（TE） and imperfect debugging（ID） in the reliability modeling process may further improve the fitting and prediction results of software reliability growth models（SRGMs）. For describing the S-shaped varying trend of TE increasing rate more accurately, first, two S-shaped testing-effort functions（TEFs）, i.e.,delayed S-shaped TEF（DS-TEF） and inflected S-shaped TEF（IS-TEF）, are proposed. Then these two TEFs are incorporated into various types（exponential-type, delayed S-shaped and inflected S-shaped） of non-homogeneous Poisson process（NHPP）SRGMs with two forms of ID respectively for obtaining a series of new NHPP SRGMs which consider S-shaped TEFs as well as ID. Finally these new SRGMs and several comparison NHPP SRGMs are applied into four real failure data-sets respectively for investigating the fitting and prediction power of these new SRGMs.The experimental results show that：（i） the proposed IS-TEF is more suitable and flexible for describing the consumption of TE than the previous TEFs;（ii） incorporating TEFs into the inflected S-shaped NHPP SRGM may be more effective and appropriate compared with the exponential-type and the delayed S-shaped NHPP SRGMs;（iii） the inflected S-shaped NHPP SRGM considering both IS-TEF and ID yields the most accurate fitting and prediction results than the other comparison NHPP SRGMs.

Web software reliability modeling with random impulsive shocks

As the web-server based business is rapidly developed and popularized, how to evaluate and improve the reliability of web-servers has been extremely important. Although a large num- ber of software reliability growth models （SRGMs）, including those combined with multiple change-points （CPs）, have been available, these conventional SRGMs cannot be directly applied to web soft- ware reliability analysis because of the complex web operational profile. To characterize the web operational profile precisely, it should be realized that the workload of a web server is normally non-homogeneous and often observed with the pattern of random impulsive shocks. A web software reliability model with random im- pulsive shocks and its statistical analysis method are developed. In the proposed model, the web server workload is characterized by a geometric Brownian motion process. Based on a real data set from IIS server logs of ICRMS website （www.icrms.cn）, the proposed model is demonstrated to be powerful for estimating impulsive shocks and web software reliability.

Singularity of Some Software Reliability Models and Parameter Estimation Method

According to the principle, “The failure data is the basis of software reliability analysis”, we built a software reliability expert system (SRES) by adopting the artificial intelligence technology. By reasoning out the conclusion from the fitting results of failure data of a software project, the SRES can recommend users “the most suitable model” as a software reliability measurement model. We believe that the SRES can overcome the inconsistency in applications of software reliability models well. We report investigation results of singularity and parameter estimation methods of experimental models in SRES.

Singularity of Software Reliability Models LVLM and LVQM

According to the principle, “The failure data is the basis of software reliabilityanalysis”, we built a software reliability expert system (SRES) by adopting the artificialtechnology. By reasoning out the conclusion from the fitting results of failure data of asoftware project, the SRES can recommend users “the most suitable model” as a softwarereliability measurement model. We believe that the SRES can overcome the inconsistency inapplications of software reliability models well. We report investigation results of singularity and parameter estimation methods of models, LVLM and LVQM.

Discrete Stress-strength Interference Model of Reliability Analysis under Multi-operating Conditions

The conventional stress-strength interference（SSI） model is a basic model for reliability analysis of mechanical components. In this model, the component reliability is defined as the probability of the strength being larger than the stress, where the component stress is generally represented by a single random variable（RV）. But for a component under multi-operating conditions, its reliability can not be calculated directly by using the SSI model. The problem arises from that the stress on a component under multi-operating conditions can not be described by a single RV properly. Current research concerning the SSI model mainly focuses on the calculation of the static or dynamic reliability of the component under single operation condition. To evaluate the component reliability under multi-operating conditions, this paper uses multiple discrete RVs based on the actual stress range of the component firstly. These discrete RVs have identical possible values and different corresponding probability value, which are used to represent the multi-operating conditions of the component. Then the component reliability under each operating condition is calculated, respectively, by employing the discrete SSI model and the universal generating function technique, and from this the discrete SSI model under multi-operating conditions is proposed. Finally the proposed model is applied to evaluate the reliability of a transmission component of the decelerator installed in an aeroengine. The reliability of this component during taking-off, cruising and landing phases of an aircraft are calculated, respectively. With this model, a basic method for reliability analysis of the component under complex load condition is provided, and the application range of the conventional SSI model is extended.

A Reliability Allocation Method of CNC Lathes Based on Copula Failure Correlation Model

The current research of reliability allocation of CNC lathes always treat CNC lathes as independent series systems. However, CNC lathes are complex systems in the actual situation. Failure correlation is rarely considered when reliabil?ity allocation is conducted. In this paper, drawbacks of reliability model based on failure independence assumption are illustrated, after which, reliability model of CNC lathes considering failure correlation of subsystems is established based on Copula theory, which is an improvement of traditional reliability model of series systems. As the failure time of CNC lathes often obeys Weibull or exponential distribution, Gumbel Copula is selected to build correlation model. After that, a reliability allocation method considering failure correlation is analyzed based on the model established before. Reliability goal is set first and then failure rates are allocated to subsystems according to the allocation vector through solving the correlation model. Reliability allocation is conducted for t = 1. A real case of a CNC lathe and a numerical case are presented together to illustrate the advantages of the reliability model established consider?ing failure correlation and the corresponding allocation method. It shows that the model accords to facts and real working condition more, and failure rates allocated to all the subsystems are increased to some extent. This research proposes a reliability allocation method which takes failure correlation among subsystems of CNC lathes into consid?eration, and costs for design and manufacture could be decreased.

Binary Logic State Transition Oriented Formal General Reliability Model

There were various conventional modeling techniques with varied semantics for system reliability assessment, such as fault trees(FT), Markov process(MP), and Petri nets. However, it is strenuous to construct and to maintain models utilizing these formalisms throughout the life cycle of system under development. This paper proposes a unified formal modeling language to build a general reliability model. The method eliminates the gap between the actual system and reliability model and shows details of the system clearly. Furthermore,the model could be transformed into FT and MP through specific rules defined by a formal language to assess system-level reliability.

A Reliability Model for Integrated Energy System Considering Multi-energy Correlation

An integrated energy system (IES) is a regional energy system incorporating distributed multi-energy systems to serve various energy demands such as electricity, heating, cooling, and gas. The reliability analysis plays a key role in guaranteeing the safety and adequacy of an IES. This paper aims to build a capacity reliability model of an IES. The multi-energy correlation in the IES can generate the dependent capacity outage states, which is the distinguished reliability feature of an IES from a generation system. To address this issue, this paper presents a novel analytical method to model the dependent multi-energy capacity outage states and their joint outage probabilities of an IES for its reliability assessment. To model the dependent multi-energy capacity outage states, a new multi-dimensional matrix method is presented in the capacity outage probability table (COPT) model of the generation system. Furthermore, a customized multi-dimensional discrete convolution algorithm is proposed to compute the reliability model, and the adequacy indices are calculated in an accurate and efficient way. Case studies demonstrate the correctness and efficiency of the proposed method. The capacity value of multi-energy conversion facilities is also quantified by the proposed method.

Physics of Failure(PoF)-Based Reliability and Performance Integrating Modeling Method and Software for Electromechanical Product

Electromechanical product's reliability is affected by uncertainty as well as performance degeneration during its life cycle.The present reliability and performance integrating modeling methods have obvious deficiencies in long period reliability analysis and assessment when applied to such system.A novel integrating modeling method based on physics of failure(PoF)and a simulation algorithm that considers uncertainty and degeneration are proposed in this paper to compute maintenance free operation period or maintenance free operation period survivability which is used to assess long period reliability of system.Furthermore,the concept design of this kind of software based on the above theory is also introduced.A case study of servo valve demonstrates the feasibility of the method and usability of the software in this research.

Estimation of Reliability for Stress-Strength Cascade Model

The study endeavors to provide statistical inference for a (1 + 1) cascade system for exponential distribution under joint effect of stress-strength attenuation factors. Estimators of reliability function are obtained using Maximum Likelihood Estimator (MLE) and Uniformly Minimum Variance Unbiased Estimator (UMVUE) of the parameters. Asymptotic distribution of the parameters is also obtained. Comparison between estimators is made using data obtained through simulation experiment.

Discrete Software Reliability Growth Modeling for Errors of Different Severity Incorporating Change-point Concept

Several software reliability growth models （SRGM） have been developed to monitor the reliability growth during the testing phase of software development. In most of the existing research available in the literatures, it is considered that a similar testing effort is required on each debugging effort. However, in practice, different types of faults may require different amounts of testing efforts for their detection and removal. Consequently, faults are classified into three categories on the basis of severity： simple, hard and complex. This categorization may be extended to r type of faults on the basis of severity. Although some existing research in the literatures has incorporated this concept that fault removal rate （FRR） is different for different types of faults, they assume that the FRR remains constant during the overall testing period. On the contrary, it has been observed that as testing progresses, FRR changes due to changing testing strategy, skill, environment and personnel resources. In this paper, a general discrete SRGM is proposed for errors of different severity in software systems using the change-point concept. Then, the models are formulated for two particular environments. The models were validated on two real-life data sets. The results show better fit and wider applicability of the proposed models as to different types of failure datasets.

STOCHASTIC OBJECT-ORIENTED PETRI NETS (SOPNS) AND ITS APPLICATION IN MODELING OF MANUFACTURING SYSTEM RELIABILITY

Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transition of the SOPNs of a production resources can be used to model its reliability, while the SOPN of a production resource can describe its performance with reliability considered. The SOPN model of a case production system is built to illustrate the relationship between the system's performances and the failures of individual production resources.