TY JOUR TI КОНЕЧНЫЕ АВТОМАТЫ С САМОКОНТРОЛЕМ НА ОСНОВЕ ВЗВЕШЕННЫХ КОДОВ С СУММИРОВАНИЕМ И СВОЙСТВ САМОКВАЗИДВОЙСТВЕННЫХ БУЛЕВЫХ ФУНКЦИЙ KW самопроверяемое дискретное устройство; самопроверяемый конечный автомат; схема встроенного контроля; взвешенный код с суммированием; самодвойственная булева функция; самоквазидвойственная булева функция; логическая коррекция сигналов в самоквазидвойственные; контроль вычислений по двум диагностическим признакам JO Автоматика на транспорте AU Ефанов, Д.В. PY 2025 IS 11 PB ФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I"