This article describes the Boolean satis ability method for generating test patterns for single stuck at faults in combinational circuits This new method generates test patterns in two steps First it constructs a formula expressing the Boolean di erence between the unfaulted and faulted circuits Second it applies a Boolean satis ability algorithm to the resulting formula This approach di ers fr...

Though the lumbar disc syndrome is a costly and ubiquitous affliction, effective evaluation of the disease process has been confounded by major unaddressed methodological short falls. Prominent difficulties include: inattention to the clinical boundaries of the syndrome, neglected co-morbid disease processes, comparison of unequal treatment groups and premature clinical data extrapolation, inad...

Microstructural study of the C49-TiSi, to C54-TiSi, polymorphic transformation has been performed to elucidate microstructural evolution and possible mechanism of the phase transformation. It has been shown that the nucleation of the C54-TiSi, is heterogeneous, and preferentially takes place at triple grain junctions or grain boundaries. The interphase interfaces between C49 and C54 disilicides...

The detection of broken rotor bars in three-phase squirrel cage induction motors by means of current signature analysis is presented. In order to diagnose faults, a Neural Network approach is used. At first the data of different rotor faults are achieved. The effects of different rotor faults on current spectrum, in comparison with other fault conditions, are investigated via calculating Power ...

Impact of Induced Thermal Stresses during Circulation Tests in an Engineered Fractured Geothermal Reservoir: Example of the Soultz-sous-Forêts European Hot Fractured Rock Geothermal Project, Rhine Graben, France — The wider concept of hot fractured rock geothermal energy is put forward to overcome the natural limitations of classic geothermal fields. A suite of numerical modules based on a disc...

We have incorporated faults as plate margins into time-dependent mantle convection models by using a mixed Eulerian and Lagrangian finite element formulation. Plate margins in our models can migrate dynamically in response to variations in mantle buoyancy, and this enables us to study the dynamics of mantle and plates including changes in plate size. Convection models in a cylindrical geometry ...

The fault current development in a circuit breaker during a pole-to-ground fault is analyzed for a generic multiterminal HVDC system based on Voltage Source Converters. The paper aims to contribute to the current discussion of which requirements on breaking time and peak current HVDC circuit breakers need to fulfill in such networks either based on OHLs or cables. Therefore, the fault current i...

This article considers the use of magnetic pulses to inject transient faults into the calculations of a RISC micro-controller running the AES algorithm. A magnetic coil is used to generate the pulses. It induces computational faults without any physical contact with the device. The injected faults are proved to be constant (i.e. data independent) under certain experimental conditions. This beha...

The atomic arrangements of two types of InAs dislocation cores associated by a Z-shape faulted dipole are observed directly by aberration-corrected high-angle annular-dark-field imaging. Single unpaired columns of different atoms in a matrix of dumbbells are clearly resolved, with observable variations of bonding lengths due to excess Coulomb force from bare ions at the dislocation core. The co...

The evolution of shear rupture fronts in laboratory earthquakes is analysed with the corresponding functional networks, constructed over acoustic emission friction-patterns. We show that the mesoscopic characteristics of functional networks carry the characteristic time for each phase of the rupture evolution. The classified rupture fronts in network states–obtained from a saw-cut fault and nat...