|
This article is cited in 5 scientific papers (total in 5 papers)
Short Tests of Closures for Contact Circuits
K. A. Popkov Keldysh Institute of Applied Mathematics of Russian Academy of Sciences, Moscow
Abstract:
The problem of representing Boolean functions by two-pole contact circuits that are irredundant and admit short fault detection or diagnostic tests of closures of at most $k$ contacts for a given positive integer $k$ is considered. The following assertions are proved: for almost every Boolean function of $n$ variables, the minimal length of a fault detection (diagnostic) test is equal to $2$ (does not exceed $2k+2$, respectively).
Keywords:
contact circuit, contact closure, fault detection test, diagnostic test.
Received: 10.03.2019 Revised: 23.07.2019
Citation:
K. A. Popkov, “Short Tests of Closures for Contact Circuits”, Mat. Zametki, 107:4 (2020), 591–603; Math. Notes, 107:4 (2020), 653–662
Linking options:
https://www.mathnet.ru/eng/mzm12374https://doi.org/10.4213/mzm12374 https://www.mathnet.ru/eng/mzm/v107/i4/p591
|
Statistics & downloads: |
Abstract page: | 263 | Full-text PDF : | 52 | References: | 31 | First page: | 3 |
|