A number of strategies have been proposed for state-based class testing. An important proposal was made by Chow [5] and adapted by Binder [3]: It consists in deriving test sequences covering all round-trip paths in a finite state machine (FSMs). Based on a number of (rather strong) assumptions, and for traditional FSMs, it can be demonstrated that all operation and transfer errors in the implem...

The quality of surface mount technology (SMT) product solder joint was key factor for SMT products. In this paper, for chip components, a fuzzy fault diagnosis principle of SMT products was analyzed. And the total framework of fault diagnosis system was built based on solder joint shape theory. Geometrical shape parameters which reflected chip components solder joint quality were analyzed and d...

Abstract— An important aspect of network management is fault management, i.e., determining, locating, isolating, and correcting faults in the network. We study modeling of communication network protocols, and their fault detection, fault identification and fault location in the discrete event systems diagnosis framework. Our approach provides a systematic way of performing fault diagnosis in ne...

Static nMOS and static CMOS circuits -show SOme serious problems for fBult modeling and testing. In this paper we point out, that most of these problems are avoided by using dynamic nHOS Qr dynamic CMOS ci rcuits. Stuck-open faults in this ca8e do not result in sequential behaviour. A iogical fault model i8 presented, wh e r e a fault of a l ogic gate will cause either a faulty co.binational fu...

The fundamental frequencies and mode shapes of steel and carbon fiber–reinforced plastic (CFRP) cylindrical shells with steel inserts were investigated using finite element analysis and modal testing. The free-free boundary condition was tested with modal testing using the roving hammer method and verified by finite element analysis using ABAQUS. The results show good agreement between the test...

study on the seismic behavior of piled rafts and pile groups while the same amount of construction material and excavation is used in their construction, are the main objective of this research. the process where the raft interaction with soil can affect the seismic response and stress distribution is also discussed in the current study. by means, abaqus software was applied for the finite elem...

a comparison between design codes i.e. aci and aisc-lrfd in evaluation of flexural strength of concrete filled steel tubular columns (cfts) is examined. for this purpose an analytical study on the response of cfts under axial-flexural loading is carried using three-dimensional finite elements with elasto-plastic model for concrete with cracking and crushing capability and elastoplastic kinemati...

background: a comprehensive database, comprising geometry and properties of human teeth, is needed for dentistry education and dental research. the aim of this study was to create a three-dimensional model of human teeth to improve the dental e-learning and dental research.   methods: in this study, a cross-section picture of the three-dimensional model of the teeth was used. ct-scan images wer...

introduction: mandibular first molar is the most important tooth with complicated morphology. in finite element (fe) studies, investigators usually prefer to model anterior teeth with a simple and single straight root; it makes the results deviate from the actual case. the most complicated and time-consuming step in fe studies is modeling of the desired tooth, thus this study was performed to e...

in this paper, numerical simulation of frp composite cylinder tubes progressive crushing processes is conducted using ls-dyna. details on the numerical modeling strategy are given and discussed. it is found that triggers introduced in the numerical simulation can effectively model the bevel trigger at the end of the tubular specimens. it is also found that two-layer finite element model based o...