scholarly journals Approximate Model-Based Diagnosis Using Greedy Stochastic Search

2010 ◽  
Vol 38 ◽  
pp. 371-413 ◽  
Author(s):  
A. Feldman ◽  
G. Provan ◽  
A. Van Gemund
Keyword(s):  
Failure Modes ◽  
Approximate Model ◽  
Stochastic Search ◽  
Abnormal Behavior ◽  
Fault Models ◽  
Multiple Fault ◽  
Deterministic Algorithms ◽  
Combinatorial Circuits ◽  
Weak Fault ◽  
Exact Bounds

We propose a StochAstic Fault diagnosis AlgoRIthm, called SAFARI, which trades off guarantees of computing minimal diagnoses for computational efficiency. We empirically demonstrate, using the 74XXX and ISCAS-85 suites of benchmark combinatorial circuits, that SAFARI achieves several orders-of-magnitude speedup over two well-known deterministic algorithms, CDA* and HA*, for multiple-fault diagnoses; further, SAFARI can compute a range of multiple-fault diagnoses that CDA* and HA* cannot. We also prove that SAFARI is optimal for a range of propositional fault models, such as the widely-used weak-fault models (models with ignorance of abnormal behavior). We discuss the optimality of SAFARI in a class of strong-fault circuit models with stuck-at failure modes. By modeling the algorithm itself as a Markov chain, we provide exact bounds on the minimality of the diagnosis computed. SAFARI also displays strong anytime behavior, and will return a diagnosis after any non-trivial inference time.

Multiple Fault Models for Timed FSMs

2006 ◽  
Author(s):  
Samrat S. Batth ◽  
M. Umit Uyar ◽  
Yu Wang ◽  
Mariusz A. Fecko
Keyword(s):  
Fault Models ◽  
Multiple Fault

scholarly journals Fault Diagnosis on Multiple Fault Models by Using Pass/Fail Information

2008 ◽  
Vol E91-D (3) ◽  
pp. 675-682 ◽  
Author(s):  
Y. TAKAMATSU ◽  
H. TAKAHASHI ◽  
Y. HIGAMI ◽  
T. AIKYO ◽  
K. YAMAZAKI
Keyword(s):  
Fault Diagnosis ◽  
Fault Models ◽  
Multiple Fault

Otoconia formation in the chick embryo

1983 ◽  
Vol 41 ◽  
pp. 572-573
Author(s):  
C.D. Fermin ◽  
M. Igarashi
Keyword(s):  
Chick Embryo ◽  
Inner Ear ◽  
Gallus Domesticus ◽  
The Body ◽  
Abnormal Behavior ◽  
Intensive Study ◽  
Basic Fuchsin ◽  
Gestational Period ◽  
Sensory Epithelia ◽  
Transmission Electron

Otoconia are microscopic geometric structures that cover the sensory epithelia of the utricle and saccule (gravitational receptors) of mammals, and the lagena macula of birds. The importance of otoconia for maintanance of the body balance is evidenced by the abnormal behavior of species with genetic defects of otolith. Although a few reports have dealt with otoconia formation, some basic questions remain unanswered. The chick embryo is desirable for studying otoconial formation because its inner ear structures are easily accessible, and its gestational period is short (21 days of incubation).The results described here are part of an intensive study intended to examine the morphogenesis of the otoconia in the chick embryo (Gallus- domesticus) inner ear. We used chick embryos from the 4th day of incubation until hatching, and examined the specimens with light (LM) and transmission electron microscopy (TEM). The embryos were decapitated, and fixed by immersion with 3% cold glutaraldehyde. The ears and their parts were dissected out under the microscope; no decalcification was used. For LM, the ears were embedded in JB-4 plastic, cut serially at 5 micra and stained with 0.2% toluidine blue and 0.1% basic fuchsin in 25% alcohol.

Scanning Electron Microscopy in Hybrid Microelectronics

1976 ◽  
Vol 34 ◽  
pp. 456-457
Author(s):  
S. Khadpe ◽  
R. Faryniak
Keyword(s):  
Integrated Circuits ◽  
Thick Film ◽  
Integrated Circuit ◽  
Failure Modes ◽  
Three Dimensional ◽  
Circuit Components ◽  
Hybrid Microcircuit ◽  
Electrical Connections ◽  
Scanning Electron

The Scanning Electron Microscope (SEM) is an important tool in Thick Film Hybrid Microcircuits Manufacturing because of its large depth of focus and three dimensional capability. This paper discusses some of the important areas in which the SEM is used to monitor process control and component failure modes during the various stages of manufacture of a typical hybrid microcircuit.Figure 1 shows a thick film hybrid microcircuit used in a Motorola Paging Receiver. The circuit consists of thick film resistors and conductors screened and fired on a ceramic (aluminum oxide) substrate. Two integrated circuit dice are bonded to the conductors by means of conductive epoxy and electrical connections from each integrated circuit to the substrate are made by ultrasonically bonding 1 mil aluminum wires from the die pads to appropriate conductor pads on the substrate. In addition to the integrated circuits and the resistors, the circuit includes seven chip capacitors soldered onto the substrate. Some of the important considerations involved in the selection and reliability aspects of the hybrid circuit components are: (a) the quality of the substrate; (b) the surface structure of the thick film conductors; (c) the metallization characteristics of the integrated circuit; and (d) the quality of the wire bond interconnections.

Sign in / Sign up

Export Citation Format

Share Document