This paper discusses the important role of fault grouping in a parallel 32-bit fault simulator such as PROOFS. Three algorithms are presented which dynamically order the fault list during fault simulation to determine how the faults get grouped together. The dynamic fault grouping algorithms were incorporated into PROOFS and tested on benchmark circuits. The algorithms showed a marked reduction...

the zagros fold- thrust belt as a part of alpine- himalayan orogenic belt, is one of the most active continental collision zones on the earth, which extends from the tarus mountains in south eastern turkey to the minab fault in the east of the strait of hormoz in southern iran. structurally, its formation is related to the continuing convergent movement between the arabian plate to the southwes...

Most robot controllers today employ a single processor architecture As robot control requirements become more complex these serial controllers have di culty providing the desired response time Additionally with robots being used in environments that are hazardous or inaccessible to humans fault tolerant robotic systems are particularly desirable A uniprocessor control architecture cannot o er t...

The paper deals with mesh-connected massively parallel systems aaected by failures. The complexity of a local diagnostic procedure, based on new deenitions of the local k-diagnosability and the r-fault-tolerance, is analysed. It depends on distances between individual fault clusters and on fault cluster diameters. In particular cases the minimum distance between fault clusters can be enlarged o...

Image logs of 13 wells in the Rag Sefid Anticline show two systems of fractures developed under two deformation phase in the Dezful Embayment. This deformation phases are folding resulted from Zagros NE contraction and reactivation of the basement fault rotated the fold axial trace within the Hendijan-Izeh fault zone. Folding phase comprises four sets of fractures, which include axial and cross...

Fault simulation constitutes an indispensable tool in ensuring the correctness and quality of manufactured digital designs. Traditional uniprocessor based algorithms for fault simulation have been observed to be agonizingly slow for today's large and complex digital designs. More recently, a few researchers introduce an approach, as evident in the literature, wherein the fault set is partitione...

Fault diagnosis of composite asynchronous sequential machines with parallel composition is addressed in this paper. An adversarial input can infiltrate one of two submachines comprising the composite asynchronous machine, causing an unauthorized state transition. The objective is to characterize the condition under which the controller can diagnose any fault occurrence. Two control configuratio...

This paper describes software fault tolerance techniques to mitigate SEU faults in the Raw architecture, which is a single-chip parallel tiled computing architecture. The fault tolerance techniques we use are efficient Checkpointing and Rollback of processor state, Break-pointing, Selective Replication of code and Selective Duplication of tiles. Our fault tolerance techniques can be fully imple...