|
Avtomatika i Telemekhanika, 1980, Issue 1, Pages 122–130
(Mi at6837)
|
|
|
|
Technical Diagnostics
An analytical method for design of distinguishing sequences for discrete devices having a memory
Yu. A. Skobtsov, D. V. Speranskii Donetsk
Abstract:
An analytical method for construction of the minimal input sequence distinguishing two binary automata is proposed. This method is applied to construction of an input sequence detecting a specified fault in a synchronous sequential circuit. In constructing this input sequence Boolean differential calculus is used.
Received: 19.06.1978
Citation:
Yu. A. Skobtsov, D. V. Speranskii, “An analytical method for design of distinguishing sequences for discrete devices having a memory”, Avtomat. i Telemekh., 1980, no. 1, 122–130; Autom. Remote Control, 41:1 (1980), 97–104
Linking options:
https://www.mathnet.ru/eng/at6837 https://www.mathnet.ru/eng/at/y1980/i1/p122
|
Statistics & downloads: |
Abstract page: | 178 | Full-text PDF : | 61 |
|