Generation of an ordered sequence of test vectors for single state transition faults in large sequential machines

2002 ◽  
Author(s):  
S. Goswami ◽  
A. Chanda ◽  
D.R. Choudhury
Keyword(s):  
State Transition ◽  
Transition Faults ◽  
Sequential Machines ◽  
Single State ◽  
Test Vectors

scholarly journals Diagnosis of Active Systems with Abstract Observations and Compiled Knowledge

2021 ◽  
Author(s):  
Gianfranco Lamperti ◽  
Marina Zanella ◽  
Xiangfu Zhao
Keyword(s):  
State Transition ◽  
Discrete Event ◽  
Abductive Reasoning ◽  
State Transitions ◽  
Active System ◽  
Active Systems ◽  
Communicating Automata ◽  
Speed Up ◽  
Single State ◽  
Extended Notion

An active system (AS) is a discrete-event system (DES) with asynchronous behavior, which is represented by a network of components that are modeled as communicating automata. When being operated, an AS performs a trajectory within its behavior space, while generating a sequence of observations, namely a temporal observation. The model of the AS and a temporal observation are the two key ingredients of the diagnosis task, which aims to find out possible faulty behavior via abductive reasoning. Among other knowledge, such reasoning requires knowing what is observable and what is not. This essential distinction constitutes the observability of the AS. In the literature, the observability of a DES boils down to qualifying each state transition either as observable or unobservable, which contrasts with the way humans observe reality, typically by mapping a collection of observations to a single, abstract perception. Moreover, the occurrence of single state transitions is not necessarily what we can observe or what we want to observe for diagnosis purposes. This paper presents an extended notion of observability, where each observation is associated with a behavioral scenario rather than a single state transition, where a scenario is defined as a regular language on state transitions. To speed up the online diagnosis engine, specific diagnosis-oriented knowledge is compiled offline. Eventually, the diagnosis technique based on abstract observability is extended to cope with temporal uncertainty.

Addressing Defect Coverage through Generating Test Vectors for Transistor Defects

2009 ◽  
Vol E92-A (12) ◽  
pp. 3128-3135
Author(s):  
Yoshinobu HIGAMI ◽  
Kewal K. SALUJA ◽  
Hiroshi TAKAHASHI ◽  
Shin-ya KOBAYASHI ◽  
Yuzo TAKAMATSU
Keyword(s):  
Defect Coverage ◽  
Test Vectors

NADH in Solution: A Single State

2019 ◽  
Author(s):  
Joachim Hönes ◽  
Julia Wack ◽  
Katja Schmitz
Keyword(s):  
Aqueous Solution ◽  
Base Stacking ◽  
Spectroscopic Evidence ◽  
Single State

<div>Spectroscopic evidence is presented to show that NADH in aqueous solution does not exist as a folded/unfolded equilibrium but as a single state. The molecule is folded but without base stacking between dihydronicotinamide and adenine.<br></div>

Sign in / Sign up

Export Citation Format

Share Document