|
Дискретный анализ и исследование операций, сер. 1, 2001, том 8, выпуск 3, страницы 46–72
(Mi da225)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Об условных тестах для контроля сетей автоматов
В. Н. Носков Институт математики им. С. Л. Соболева СО РАН
Аннотация:
Рассматривается представление конечного автомата схемой в базисе, состоящем из сильно связных конечных автоматов Мили. Предлагается метод преобразования любой части произвольной схемы в подсхему, для которой возможна диагностика с помощью условных тестов с хорошей локализацией возникающих неисправностей из широкого класса. Описаны тестовые последовательности и получены оценки их длин. Даны верхние оценки сложности преобразованных схем. Ил. 5, табл. 1, библиогр. 6.
Статья поступила: 11.04.2001
Образец цитирования:
В. Н. Носков, “Об условных тестах для контроля сетей автоматов”, Дискретн. анализ и исслед. опер., сер. 1, 8:3 (2001), 46–72
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/da225 https://www.mathnet.ru/rus/da/v8/s1/i3/p46
|
Статистика просмотров: |
Страница аннотации: | 316 | PDF полного текста: | 88 | Список литературы: | 1 |
|