Синхронизирующие последовательности в конечных детерминированных автоматах

Вантажиться...
Ескіз

Дата

ORCID

DOI

Науковий ступінь

Рівень дисертації

Шифр та назва спеціальності

Рада захисту

Установа захисту

Науковий керівник/консультант

Члени комітету

Назва журналу

Номер ISSN

Назва тому

Видавець

НТУ "ХПИ"

Анотація

Проведено аналіз властивостей синхронізуючих послідовностей та методів їх синтезу по автоматним діаграмам об'єктів діагностування. Визначені необхідні і достатні умови існування в автоматі однорідній синхронізуючій послідовності. Знайдені верхні межі довжини однорідних і неоднорідних синхронізуючих послідовностей.
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.

Колекції

Підтвердження

Рецензія

Додано до

Згадується в