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(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)
Differentiated Services (DiffServ) networks categorize routers into edge routers and core routers. In core routers, one of the technological challenges is how to implement differentiated bandwidth allocation and TCP protection together with low complexity. We present an Active Queue Management (AQM) scheme called CHOKeW. A method is borrowed from a previous(More)
Reliability and data retention of Solid-State Storage have multiple facets which should be traded off carefully. This paper presents a framework of reliability quantification deployed in Fusion-io ® , allowing us to design Fusion-io ® products more competitively regarding reliability by trading off various reliability aspects. It discloses a comprehensive(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)
— 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)(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)