|
Автоматика и телемеханика, 1997, выпуск 4, страницы 213–226
(Mi at2556)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Техническая диагностика
Генерация исчерпывающего теста для автоматов с конечной памятью. I
Г. П. Аксенова, В. Ф. Халчев Институт проблем управления РАН, г. Москва
Аннотация:
Рассматриваются структурные автоматы с конечной памятью (АКП), частным случаем которых являются $B$-схемы. Для АКП и $B$-схемы определено понятие исчерпывающего теста (ИТ). В части I работы для $B$-схемы с $n$ входами предложена структура генератора ее исчерпывающего теста (ГИТ), обеспечивающего ИТ длиной, близкой к $2^n$. В части II ГИТ построен для АКП общего вида.
Поступила в редакцию: 01.11.1995
Образец цитирования:
Г. П. Аксенова, В. Ф. Халчев, “Генерация исчерпывающего теста для автоматов с конечной памятью. I”, Автомат. и телемех., 1997, № 4, 213–226; Autom. Remote Control, 58:4 (1997), 695–704
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at2556 https://www.mathnet.ru/rus/at/y1997/i4/p213
|
Статистика просмотров: |
Страница аннотации: | 201 | PDF полного текста: | 79 | Первая страница: | 2 |
|