Learn More
In this paper, a new algorithm based on Binary Decision Diagram (BDD) for the analysis of a system with multistate components is proposed. Each state of a multistate component is represented by a Boolean variable, and a multistate system is represented by a series of multistate fault trees. A Boolean algebra with restrictions on variables is used to address(More)
In this paper, a new algorithm based on Binary Decision Diagram (BDD) for reliability evaluation of Phased Mission System (PMS) is proposed. This algorithm uses phase algebra to deal with the dependence among the phases, and a new BDD operation is proposed to incorporate the phase algebra. Due to the nature of BDD, cancelation of common components among the(More)
BACKGROUND To investigate the effect of creatine and coenzyme Q10 (CoQ10) combination therapy on mild cognitive impairment (MCI) in Parkinson's disease (PD; PD-MCI) and its influences on plasma phospholipid (PL) levels in PD-MCI. METHODS The demographic data of 75 PD-MCI patients who enrolled in this collaborative PD study were collected. These patients(More)
We propose to use Markov regenerative process (MRGP) models to study the availability of Internet-based services perceived by a Web user, which capture the interactions between the service facility and the user. The necessity of the sophisticated MRGP modeling is evidenced by the comparisons with the corresponding continuous time Markov chain (CTMC) models,(More)
In this paper a new algorithm based on Binary Decision Diagrams (BDD) for dependability analysis of distributed computer systems (DCS) with imperfect coverage is proposed. Minimum file spanning trees (MFST) are generated and stored via BDD manipulation. By using the multistate concept, our algorithm can generate BDDs that can deal with imperfect coverage(More)
This paper studies the steady-state availability of systems with times to outages and recoveries that are generally distributed. Availability bounds are derived for systems with limited information about the distributions. Also investigated are the applicability of convenient exponential models in evaluating availability for systems that have two-sided(More)