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):

• Tylaska,Theodore T.

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:

• (*DIGITAL COMPUTERS
• *RELIABILITY(ELECTRONICS))
• (*LOGIC CIRCUITS
• MAINTENANCE)
• INPUT OUTPUT DEVICES
• MATHEMATICAL LOGIC
• FAILURE(ELECTRONICS)
• MATHEMATICAL MODELS
• INEQUALITIES
• THEOREMS

Subject Categories:

• Computer Hardware
• Manufacturing and Industrial Engineering and Control of Production Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE