ISSN 0021-3454 (печатная версия)
ISSN 2500-0381 (онлайн версия)
Меню

8
Содержание
том 60 / АВГУСТ, 2017
СТАТЬЯ

DOI 10.17586/0021-3454-2017-60-5-404-411

УДК 681.518.5:004.052.32

ОРГАНИЗАЦИЯ СИСТЕМ ФУНКЦИОНАЛЬНОГО КОНТРОЛЯ С ОБЕСПЕЧЕНИЕМ ПОЛНОЙ САМОПРОВЕРЯЕМОСТИ СТРУКТУРЫ НА ОСНОВЕ МОДУЛЕЙ СЖАТИЯ ПАРАФАЗНЫХ СИГНАЛОВ

Сапожников В. В.
ПГУПС; профессор, кафедра автоматики и телемеханики на железных дорогах


Сапожников В. В.
ПГУПС; профессор, кафедра автоматики и телемеханики на железных дорогах


Ефанов Д. В.
ПГУПС; кафедра автоматики и телемеханики на железных дорогах


Аннотация. Предложена стандартная структура системы функционального контроля на основе метода логического дополнения. Установлены правила вычисления функций логического дополнения, позволяющие обеспечивать полную самопроверяемость структуры системы функционального контроля. Сформулированы условия, предъявляемые к контролируемому логическому устройству, выполнение которых гарантированно позволяет синтезировать полностью самопроверяемую систему функционального контроля.
Ключевые слова: система функционального контроля, логическое дополнение, полностью самопроверяемая структура, модуль сжатия парафазных сигналов

Список литературы:
  1. Сапожников В. В., Сапожников Вл. В., Дмитриев А. В., Морозов А. В., Гессель М. Организация функционального контроля комбинационных схем методом логического дополнения // Электронное моделирование. 2002. Т. 24, № 6. С. 51—66.
  2. Гессель М., Морозов А. В., Сапожников В. В., Сапожников Вл. В. Логическое дополнение – новый метод контроля комбинационных схем // Автоматика и телемеханика. 2003. № 1. С. 167—176.
  3. Гессель М., Морозов А. В., Сапожников В. В., Сапожников Вл. В. Контроль комбинационных схем методом логического дополнения // Автоматика и телемеханика. 2005. №8. С. 161—172.
  4. Piestrak S. J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes. Wrocław: Oficyna Wydawnicza Politechniki Wrocłavskiej, 1995. 111 p.
  5. Gorshe S. S., Bose B. A self-checking ALU design with efficient codes // Proc. of the 14th VLSI Test Symp., Princeton, NJ, USA, 1996. P. 157—161.
  6. Nicolaidis M., Zorian Y. On-line testing for VLSI – а compendium of approaches // J. of Electronic Testing: Theory and Applications. 1998. Iss. 12. P. 7—20.
  7. Das D., Touba N. A. Weight-based codes and their application to concurrent error detection of multilevel circuits // Proc. of the 17th IEEE VLSI Test Symp., Dana Point, CA, USA, Apr. 25—29, 1999. P. 370—376.
  8. Lala P. K. Principles of Modern Digital Design. New Jersey: John Wiley & Sons, 2007. 419 p.
  9. Сапожников В. В., Сапожников Вл. В., Ефанов Д. В. Применение кодов с суммированием при синтезе систем железнодорожной автоматики и телемеханики на программируемых логических интегральных схемах // Автоматика на транспорте. 2015. Т. 1, № 1. С. 84—107.
  10. Ефанов Д. В., Грошев Г. М., Маликов О. Б. Способы организации систем функционального диагностирования логических схем без памяти // Электротехника. 2016. № 5. С. 53—56.
  11. Согомонян Е. С., Слабаков Е. В. Самопроверяемые устройства и отказоустойчивые системы. М.: Радио и связь, 1989. 208 с.
  12. Goessel M., Saposhnikov Vl., Saposhnikov V., Dmitriev A. A new method for concurrent checking by use of a 1-outof-4 code // Proc. of the 6th IEEE Intern. On-line Testing Workshop, Palma de Mallorca, Spain, 3—5 July, 2000. P. 147—152.
  13. Saposhnikov V. V., Saposhnikov Vl. V., Morozov A., Osadtchi G., Gossel M. Design of totally self-checking combinational circuits by use of complementary circuits // Proc. of East-West Design & Test Workshop, Yalta, Ukraine, 2004. P. 83—87.
  14. Göessel M., Ocheretny V., Sogomonyan E., Marienfeld D. New Methods of Concurrent Checking. Dordrecht: Springer Science+Business Media B.V., 2008. 184 p.
  15. Das D. K., Roy S. S., Dmitriev A., Morozov A., Gössel M. Constraint don’t cares for optimizing designs for concurrent checking by 1-out-of-3 codes // Proc. of the 10th Intern. Workshops on Boolean Problems, Freiberg, Germany, Sept., 2012. P. 33—40.
  16. Efanov D., Sapozhnikov V., Sapozhnikov Vl. Methods of organization of totally self-checking concurrent error detection system on the basis of constant-weight „1-out-of-3“-code // Proc. of the 14th IEEE East-West Design & Test Symp. (EWDTS`2016), Yerevan, Armenia, Oct. 14—17, 2016. P. 117—125.
  17. Сапожников В. В., Сапожников Вл. В., Ефанов Д. В. Метод функционального контроля комбинационных логических устройств на основе кода „2 из 4“ // Изв. вузов. Приборостроение. 2016. Т. 59, № 7. С. 524—533. DOI 10.17586/0021-3454-2016-59-7-524-533.
  18. Sapozhnikov V., Sapozhnikov Vl., Efanov D. Concurrent error detection of combinational circuits by the method of boolean complement on the base of „2-out-of-4“ code // Proc. of the 14th IEEE East-West Design & Test Symp. (EWDTS`2016), Yerevan, Armenia, Oct. 14—17, 2016. P. 126—133.
  19. Пархоменко П. П., Согомонян Е. С. Основы технической диагностики (оптимизация алгоритмов диагностирования, аппаратурные средства). М.: Энергоиздат, 1981, 320 с.
  20. Goessel M., Graf S. Error Detection Circuits. London: McGraw-Hill, 1994. 261 p.
  21. Аксенова Г. П. Необходимые и достаточные условия построения полностью проверяемых схем свертки по модулю два // Автоматика и телемеханика. 1979. № 9. С. 126—135.