Синхронизирующие последовательности в конечных детерминированных автоматах
Вантажиться...
Дата
2008
Автори
ORCID
DOI
Науковий ступінь
Рівень дисертації
Шифр та назва спеціальності
Рада захисту
Установа захисту
Науковий керівник
Члени комітету
Видавець
НТУ "ХПИ"
Анотація
Проведено аналіз властивостей синхронізуючих послідовностей та методів їх синтезу по автоматним діаграмам об'єктів діагностування. Визначені необхідні і достатні умови існування в автоматі однорідній синхронізуючій послідовності. Знайдені верхні межі довжини однорідних і неоднорідних синхронізуючих послідовностей.
The problem of testing sequential machines consist of deriving an input sequences for the machine which takes it though all possible states. The properties of a synchronizing sequence which will always take the machine to a specified final state are analyzed and invisteged.
The problem of testing sequential machines consist of deriving an input sequences for the machine which takes it though all possible states. The properties of a synchronizing sequence which will always take the machine to a specified final state are analyzed and invisteged.
Опис
Ключові слова
автоматные диаграммы, диагностирование, субмикронные электронные технологии, интегральные схемы
Бібліографічний опис
Бережная М. А. Синхронизирующие последовательности в конечных детерминированных автоматах / М. А. Бережная // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Автоматика и приборостроение. – Харьков : НТУ "ХПИ", 2008. – № 57. – С. 8-16.