|
Автоматика и телемеханика, 1997, выпуск 5, страницы 142–152
(Mi at2575)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Техническая диагностика
Генерация исчерпывающего теста для автоматов с конечной памятью. II
Г. П. Аксенова, В. Ф. Халчев Институт проблем управления РАН, г. Москва
Аннотация:
В работе рассматриваются структурные автоматы с конечной памятью, для которых определены понятия комбинационного эквивалента и исчерпывающего теста (ИТ). Предложена структура генератора ИТ на основе генератора псевдослучайной последовательности. Дан алгоритм минимизирования длины ИТ.
Поступила в редакцию: 01.11.1995
Образец цитирования:
Г. П. Аксенова, В. Ф. Халчев, “Генерация исчерпывающего теста для автоматов с конечной памятью. II”, Автомат. и телемех., 1997, № 5, 142–152; Autom. Remote Control, 58:5 (1997), 829–837
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at2575 https://www.mathnet.ru/rus/at/y1997/i5/p142
|
Статистика просмотров: |
Страница аннотации: | 140 | PDF полного текста: | 73 | Первая страница: | 2 |
|