This paper presents an efficient approach based on OBDD for the reliability analysis of a multi-state system subject to imperfect fault-coverage with combinatorial performance requirements. Since there exist dependencies between combinatorial performance requirements, we apply the Multi-state Dependency Operation (MDO) of OBDD to deal with these dependencies in a multi-state system. In addition...

The problem of setting a confidence interval with fixed proportional accuracy for the mean of a normal distribution is considered. A sequential procedure is proposed; and asymptotic expansions for its average coverage probabilities and its expected sample size are obtained. The procedure is shown to have asymptotically minimal expected sample size, subject to a constraint on the error probabili...

The aim of this paper is to give a precise estimate on the tail probability of the visibility function in a germ-grain model: this function is defined as the length of the longest ray starting at the origin that does not intersect an obstacle in a Boolean model. We proceed in two or more dimensions using coverage techniques. Moreover, convergence results involving a type I extreme value distrib...

We discuss the design of a novel analog checker that monitors two duplicate signals and provides a digital error indication when their absolute difference is unacceptably large. The key feature of the proposed checker is that it establishes a test criterion that is dynamically adapted to the magnitude of its input signals, thus enhancing the accuracy of assessing their relative discrepancy. Con...

Fault diagnosis in the presence of noise and model errors is of fundamental importance. In the paper, the meaning of fault isolation performance is formalized by using the established notion of coverage and false coverage from the field of statistics. Then formal relations describing the relationship between fault isolation performance and the residual related design parameters are derived. For...

Projections show that the effects of climate change in Africa will not be uniform over the region. The region is extremely vulnerable to the impact of climate change because of poverty, a high pre-existing disease burden, fragmented health services and existing water and food insecurity. Despite the consensus that locally relevant information is necessary to inform policy and practice related t...

Adequate coverage is one of the main problems for distributed wireless sensor networks and The effectiveness of that highly depends on the sensor deployment scheme. Given a finite number of sensors, optimizing the sensor deployment will provide sufficient sensor coverage and save power of sensors for movement to target location to adequate coverage. In this paper, we apply fuzzy logic system to...

as social health is a condition-driven, dynamic and fluid concept, it seems necessary to construct and obtain a national and relevant concept of it for every society. providing an empirical back up for iran's concept of social health was the aim of the present study.this study is an ecologic study in which available data for 30 provinces of iran in 2007 were analyzed. in order to prove construc...

One of the fundamental issues in sensor networks is related to analyzing the coverage, or how well a network of sensors monitors the physical space for an intrusion. The coverage is a measure of the quality of service (QoS) of the sensor network and has been the subject of various studies. The concept of coverage was introduced by Gage in 1992, who studied it in relation to multi-robot systems....