Книга посвящена некоторым вопросам контроля и преобразования дискретных автоматов применительно к задачам технической диагностики. Рассматриваются контрольные и распознающие эксперименты с автоматами, автоматы без потери информации, различные преобразования автоматов для улучшения их диагностических свойств, приведены оценки эффективности алгоритмов анализа автоматов, исследованы возможности декомпозиции автоматов при решении задач контроля и диагноза.
ОГЛАВЛЕНИЕ
ПРЕДИСЛОВИЕ
ВВЕДЕНИЕ
Глава 1. КОНТРОЛЬ И РАСПОЗНАВАНИЕ АВТОМАТА С ПОМОЩЬЮ ИДЕНТИФИКАТОРОВ СОСТОЯНИЙ
1.1. Идентификаторы состояний автомата
1.2. Анализ вход-выходных последовательностей
1.3. Нахождение идентификаторов состояний автомата по порожденным им вход-выходным последовательностям
1.4. Контрольные эксперименты с автоматом
1.5. Эксперименты по распознаванию автоматов
Глава 2. КОНТРОЛЬ АВТОМАТОВ И ОБХОДЫ ГРАФОВ
2.1. Контроль функции выходов инициального автомата с использованием простого безусловного эксперимента
2.2. Нижняя и верхняя оценки длины кратчайших обходов и характеристических слов
2.3. Контроль функции выходов неинициального автомата с использованием простого безусловного эксперимента
2.4. Контроль функции выходов инициального автомата с использованием кратного безусловного эксперимента
2.5. Контроль автомата как специальный обход графа
Глава 3. АВТОМАТЫ БЕЗ ПОТЕРИ ИНФОРМАЦИИ
3.1. Автоматы существенно без потери информации
3.2. Автоматы существенно без потери информации конечного порядка
3.3. Автоматы k - существенно без потери информации
Глава 4. ПРЕОБРАЗОВАНИЯ АВТОМАТОВ
4.1. Преобразование автомата добавлением входных сигналов
4.2. Преобразования автоматов в БПИ-автоматы на регулярных множествах слов
Глава 5. ЭФФЕКТИВНОСТЬ АЛГОРИТМОВ АНАЛИЗА АВТОМАТОВ
5.1. Метод нахождения кратчайшего пути на графе
5.2. Алгоритмы анализа структурных автоматов
5.3. Определение объема вычислений и памяти при реализации алгоритмов анализа автоматов
Глава 6. ДЕКОМПОЗИЦИЯ АВТОМАТОВ ПРИ РЕШЕНИИ ЗАДАЧ КОНТРОЛЯ И ДИАГНОЗА
6.1. Построение распознающих тестов для параллельного и последовательного соединения
6.2. Построение распознающих тестов для соединения с обратной связью
6.3. Декомпозиция моделей логических устройств с памятью при решении задач диагноза и контроля
ЛИТЕРАТУРА
Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Встречи по договоренности исключаются.
)
отличное;
В продаже с 13.03.2022
