Nội dung được dịch bởi AI, chỉ mang tính chất tham khảo
Các bài kiểm tra phát hiện lỗi đơn cho các mạch của các phần tử chức năng
Tóm tắt
Các mạch của các phần tử chức năng trong các cơ sở hoàn chỉnh hữu hạn tùy ý được xem xét. Khả năng thực hiện bất kỳ hàm Boolean nào của n biến bởi một mạch không dư thừa cho phép các bài kiểm tra phát hiện lỗi đơn có độ dài tuyến tính theo n cho các lỗi không đổi được thiết lập.
Từ khóa
#mạch #phần tử chức năng #hàm Boolean #phát hiện lỗi #lỗi đơn #kiểm tra lỗiTài liệu tham khảo
O. B. Lupanov, Asymptotic Estimates of Complexity of Control Systems (Moscow State Univ., Moscow, 1984) [in Russian].
I. A. Chegis and S. V. Yablonskii, “Logical Methods of Control of Work of Electric Schemes,” Trudy Matem. Inst. Akad. Nauk SSSR 51, 270 (1958).
S. V. Yablonskii, “Some Problems on Fail-Safety and Checking of Control Systems,” in Matem. Voprosy Kibern. Vol. 1 (Nauka, Fizmatlit, Moscow, 1988), pp. 5–25.
N. P. Red’kin, Fail-Safety and Diagnostics of Circuits (Moscow State Univ., Moscow, 1992) [in Russian].
S. V. Yablonskii, Introduction to Discrete Mathematics (Nauka, Moscow, 1986; Mir, Moscow, 1989) [in Russian].
S. S. Kolyada, “Unit Checking Output Tests under Constant Faults for Functional Elements,” Vestn. Mosk. Univ. Matem. Mekhan., No. 6, 47 (2011).
S. M. Reddy, “Easily Testable Realization for Logic Functions,” IEEE Trans. Comput., No. 1, 124 (1972).
D. S. Romanov, “A Method for Synthesis of Easily-Testable Circuits in Some Basis Admitting Single Fault Detection Tests of Constant Length,” Vestn. Mosk. Univ. Matem. Mekhan., No. 2, 24 (2012).
N. P. Red’kin, “Complete Checking Tests for Circuits of Functional Elements,” in Mathematical Problems of Cybernetice, Issue 2 (Nauka, Moscow, 1989), pp. 192–222.