В.В. Сапожников, д-р техн. наук,
Вл.В. Сапожников, д-р техн. наук, Д.В. Ефанов, канд. техн. наук
Петербургский государственный университет
путей сообщения Императора Александра I
(Российская Федерация, 190031, Санкт-Петербург, Московский пр-т, 9,
тел. (+7) 9117092164, (+7) (812) 4578579; e-mail:
АННОТАЦИЯ
Розглянуто особливості похибок, які з’являються в інформаційних векторах розділимих кодів. Сформовано класифікацію кодів, орієнтованих на 100%-не виявлення похибок визначеного типу. Проаналізовано розділимі коди, що виявляють будь-які симетричні похибки в інформаційних векторах. Визначено умови побудови кодів, що виявляють будь-які симетричні похибки, та наведено їх приклади.
КЛЮЧЕВЫЕ СЛОВА:
технічна діагностика дискретних систем, разділимий код, код Бергера, класифікація похибок в інформаційних векторах.
СПИСОК ЛИТЕРАТУРЫ
1. Nicolaidis M., Zorian Y. On-Line Testing for VLSI — A Compendium of Approaches // Journal of Electronic Testing: Theory and Applications. — 1998. — №12.— P. 7—20.
2. Mitra S., McCluskey E.J. Which Concurrent Error Detection Scheme to Сhoose? // Proc. of International Test Conference, 2000. USA, Atlantic City, NJ, 03-05 October 2000. — P. 985—994.
3. Дрозд А.В. Нетрадиционный взгляд на рабочее диагностирование вычислительных устройств // Проблемы управления. — 2008. — № 2. — С. 48—56.
4. McCluskey, E.J. Logic Design Principles:With Emphasis on Testable Semicustom Circuits.—New Jersey : Prentice Hall PTR, 1986. — 549 p.
5. Согомонян Е.С., Слабаков Е.В. Самопроверяемые устройства и отказоустойчивые системы. —М. : Радио и связь, 1989. — 208 с.
6. Pradhan D.K. Fault-Tolerant Computer System Design.—NY: PrenticeHall, 1996.—560 p.
7. Fujiwara E. Code Design for Dependable Systems: Theory and Practical Applications. — New Jersey: John Wiley & Sons, 2006. — 720 p.
8. Lala P.K. Principles of Modern Digital Design.—New Jersey: JohnWiley & Sons, 2007.— 419 p.
9. Сапожников В.В., Сапожников Вл.В. Самопроверяемые дискретные устройства. — СПб: Энергоатомиздат, 1992. —224 с.
10. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В., Черепанова М.Р. Модульные коды с суммированием в системах функционального контроля. I. Свойства обнаружения ошибок кодами в информационных векторах // Электрон. моделирование.—2016.— 38, №2. — С. 27—48.
11. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В., Черепанова М.Р. Модульные коды с суммированием в системах функционального контроля. II. Уменьшение структурной избыточности систем функционального контроля // Там же.—2016.—38, № 3.— С. 47—61.
12. Morosow A., Sapozhnikov V.V., Sapozhnikov Vl.V., Goessel M. Self-Checking Combinational Circuits with Unidirectionally Independent Outputs // VLSI Design.—1998.—Vol. 5, Issue 4. —P. 333—345.
13. Busaba F.Y., Lala P.K. Self-Checking Combinational Circuit Design for Single and UnidirectionalMultibit Errors // Journal of Electronic Testing: Theory and Applications.—1994.— Issue 1. —P. 19—28.
14. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В. Классификация ошибок в информационных векторах систематических кодов // Изв. вузов. Приборостроение, 2015.— 58, №5. —С. 333—343. DOI: 10.17586/0021-3454-2015-58-5-333-343.
15. Berger J.M. A Note on Error Detecting Codes for Asymmetric Channels // Information and Control. —1961. —Vol. 4, № 1. — P. 68—73.
16. Ефанов Д.В., Сапожников В.В., Сапожников Вл.В. Освойствах кода с суммированием в схемах функционального контроля // Автоматика и телемеханика.—2010.—№6.— С. 155—162.
17. Bose B., Lin D.J. Systematic Unidirectional Error-Detection Nodes // IEEE Trans. Comput. — 1985.— Vol. C-34, Nov. — P. 1026—1032.
18. Piestrak S.J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes.— Wrocaw: Oficyna Wydawnicza Politechniki Wrocavskiej, 1995. — 111 p.
19. Sapozhnikov V., Sapozhnikov V., Efanov D. Modular Sum Code in Building Testable Discrete Systems // Proc. of 13th IEEE East-West Design & Test Symposium (EWDTS`2015). Batumi, Georgia, September 26—29, 2015. — P. 181—187. DOI: 10.1109/EWDTS2015.7493133.
20. Dong H. Modified Berger Codes for Detection of Unidirectional Errors // IEEE Transaction on Computers. — Vol. C-33, June 1984. — P. 572—575.
21. Jha N.K., Vora M.B. A t-Unidirectional Errors-Detecting Systematic Code // Computers & Mathematics with Applications.— 1988. — Vol. 16, No. 9. — P. 705—714.
22. Parhami B. New Class of Unidirectional Error-Detection Codes // Proc. of IEEE International Conference on Computer Design: VLSI in Computers and Processors 14-16 Oct. 1991 (ICCD'9) — Cambridge, MA. — P. 574—577.
23. Das D., Touba N.A. Weight-Based Codes and Their Application to Concurrent Error Detection of Multilevel Circuits // Proc. of 17th IEEE Test Symposium. — USA, California, 1999.—P. 370—376.
24. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В., Никитин Д.А. Исследование свойств кодов с суммированием с одним взвешенным информационным разрядом в системах функционального контроля // Электрон. моделирование.—2015.—37,№1.— С. 25—48.
25. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В. Контроль комбинационных схем на основе кодов с суммированием с одним взвешенным информационным разрядом // Автоматика на транспорте. —2016. — 2, № 4. — С. 564—597.
26. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В., Дмитриев В.В. Новые структуры систем функционального контроля логических схем // Автоматика и телемеханика.— 2017. — № 2. — С. 127—143.
27. Блюдов А.А., Ефанов Д.В., Сапожников В.В., Сапожников Вл.В. Построение модифицированного кода Бергера с минимальным числом необнаруживаемых ошибок информационных разрядов // Электрон. моделирование.—2012.— 34, № 6.—С. 17—29.
28. Hamming R.W. Error Detecting and Correcting Codes // Bell System Technical Journal. — 1950.— 29 (2). —P. 147—160.
29. Гессель М., Морозов А.А., Сапожников В.В., Сапожников Вл.В. Исследование комбинационных самопроверяемых устройств с независимыми и монотонно независимыми
выходами // Автоматика и телемеханика. — 1997. — № 2. — С. 180—193.
САПОЖНИКОВ Валерий Владимирович, д-р техн. наук, профессор кафедры «Автоматика и телемеханика на железных дорогах» Петербургского государственного университета путей сообщения Императора Александра I. В 1963 г. окончил Ленинградский ин-т инженеров железнодорожного транспорта. Область научных исследований — надежностный синтез дискретных устройств, синтез безопасных систем, синтез самопроверяемых схем, техническая диагностика дискретных систем.
САПОЖНИКОВ Владимир Владимирович, д-р техн. наук, профессор кафедры «Автоматика и телемеханика на железных дорогах» Петербургского государственного университета путей сообщения Императора Александра I. В 1963 г. окончил Ленинградский ин-т инженеров железнодорожного транспорта. Область научных исследований — надежностный синтез дискретных устройств, синтез безопасных систем, синтез самопроверяемых схем, техническая диагностика дискретных систем.
ЕФАНОВ Дмитрий Викторович, канд. техн. наук, доцент кафедры «Автоматика и телемеханика на железных дорогах» Петербургского государственного университета путей сообщения Императора Александра I. В 2007 г. окончил Петербургский государственный университет путей сообщения. Область научных исследований—дискретная математика, надежность и техническая диагностика дискретных систем.