Наукова періодика України | Системні технології | ||
Иващенко В. П. О необходимых и достаточных условиях 2-проверяемости одновыходных функциональных элементов относительно кратных константных неисправностей на входах и выходе / В. П. Иващенко, А. И. Тимошкин // Системні технології. - 2015. - Вип. 3. - С. 34-39. - Режим доступу: http://nbuv.gov.ua/UJRN/st_2015_3_7 Рассмотрена проблема существования проверяющего теста длины 2 для асинхронных конечных детерминированных автоматов в отношении константных неисправностей на их внутренних и внешних полюсах. Проблема рассматривается в отношении асинхронных автоматов Мура. Получены необходимые и достаточные условия существования проверяющего теста длины 2 для асинхронных автоматов Мура относительно одиночных константных неисправностей на их внутренних и внешних полюсах.Освещена проблема существования проверяющего теста длины 2 для функциональных элементов в отношении константных неисправностей их входов и выходов. Проблема рассматривается в отношении одновыходных функциональных элементов. Получены необходимые и достаточные условия существоания проверяющего теста длины 2 для одновыходных функциональных элементов относительно кратных константных неисправностей на их входах и выходе. Цитованість авторів публікації: Бібліографічний опис для цитування: Иващенко В. П. О необходимых и достаточных условиях 2-проверяемости одновыходных функциональных элементов относительно кратных константных неисправностей на входах и выходе / В. П. Иващенко, А. И. Тимошкин // Системні технології. - 2015. - Вип. 3. - С. 34-39. - Режим доступу: http://nbuv.gov.ua/UJRN/st_2015_3_7.Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |