Accession Number:
AD0750266
Title:
Fault Detection in Sequential Machines.
Descriptive Note:
Technical rept.,
Corporate Author:
NAVAL UNDERWATER SYSTEMS CENTER NEWPORT R I
Personal Author(s):
Report Date:
1972-09-14
Pagination or Media Count:
176.0
Abstract:
Sequences and techniques useful in the design of checking experiments are examined. Necessary and sufficient conditions are formulated for a machine to possess distinguishing and synchronizing sequences. Characterizing sequences are examined in detail and a previous bound is reduced by 50 percent to obtain the least upper bound on their total length. Better use is made of the strong connectedness of tested machines to achieve a 50 percent reduction over previous bounds on the length of transfer sequences. Both the reduced bounds on characterizing and on transfer sequences are used to derive a bound smaller than those published on the length of checking for a machine possessing a simple IO sequence and a valid homing sequence. Both resettable and non-resettable machines are examined to determine the effect of the reset feature upon the length of checking experiments. Author
Descriptors:
Subject Categories:
- Computer Hardware
- Manufacturing and Industrial Engineering and Control of Production Systems