ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В УПРАВЛЕНИИ УДК 681.518.5:004.052.32 ПОСТРОЕНИЕ САМОПРОВЕРЯЕМЫХ СТРУКТУР СИСТЕМ ФУНКЦИОНАЛЬНОГО КОНТРОЛЯ НА ОСНОВЕ РАВНОВЕСНОГО КОДА «2 ИЗ 4» В.В. Сапожников, Вл. <...> , Д.В. Ефанов Рассмотрен метод логического дополнения для организации систем функционального контроля на основе равновесного кода «2 из 4» (2/4-кода). <...> Формализованы правила вычисления функций логического дополнения для преобразования любого вектора значений рабочих функций в системе функционального контроля до вектора 2/4-кода. <...> Сформулированы необходимые и достаточные условия, предъявляемые к контролируемому логическому устройству для обеспечения свойства полной самопроверяемости структуры системы функционального контроля. <...> Ключевые слова: система функционального контроля, логическое дополнение, код «2 из 4», полностью самопроверяемая структура, тестирование. <...> При этом объект диагностирования F(x) снабжается специализированной схемой контроля, позволяющей в процессе функционирования определять его техническое состояние без отключения выходов от управляемых объектов [4]. <...> 1 изображены структурные схемы систем функционального контроля логических устройств автоматики и вычислительной техники. <...> Первая из них реализована согласно классической структуре с использованием разделимых (m, k)-кодов (m и k — длины информационных и контрольных векторов соответственно) [5—8]. <...> Вектор значений рабочих функций отождествлен с информационным вектором (m, k)-кода. <...> Схема контроля содержит в своей структуре блок контрольной логики G(x), формирующий векторы значений контрольных функций, соответствующие контрольным векторам заранее выбранного (m, k)-кода, а также схему тестера TSC. <...> Тестер предназначен для установления факта соответствия информационПРОБЛЕМЫ УПРАВЛЕНИЯ ¹ 1 • 2017 ных и контрольных векторов друг другу. <...> Если соответствие нарушено, то тестер формирует контрольный непарафазный сигнал <00> или <11> [9]. <...> Характеристики системы функционального <...>