Предложен способ, позволяющий формализовать правила вычисления значений функций логического дополнения (ФЛД) в системе функционального контроля (СФК) по равновесному коду "1 из 4". При этом исключается процедура подбора значений ФЛД и обеспечивается свойство полной самопроверяемости структуры, т.е. гарантированно тестируются все элементы сложения по модулю два в блоке логического дополнения и тестер. Установлено число способов доопределения ФЛД в СФК по коду "1 из 4" при дополнении только трех рабочих функций, а также минимально необходимое для обеспечения свойства полной самопроверяемости множество рабочих векторов.

 Наукова періодика України 

---

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"