URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Богомолов А.М., Грунский И.С., Сперанский Д.В. Контроль и преобразования дискретных автоматов
Id: 116332
 

Контроль и преобразования дискретных автоматов

1975. 174 с. Твердый переплет. Букинист. Состояние: 4+. .
Обращаем Ваше внимание, что книги с пометкой "Предварительный заказ!" невозможно купить сразу. Если такие книги содержатся в Вашем заказе, их цена и стоимость доставки не учитываются в общей стоимости заказа. В течение 1-3 дней по электронной почте или СМС мы уточним наличие этих книг или отсутствие возможности их приобретения и сообщим окончательную стоимость заказа.

 Аннотация

Книга посвящена некоторым вопросам контроля и преобразования дискретных автоматов применительно к задачам технической диагностики.

Рассматриваются контрольные и распознающие эксперименты с автоматами, автоматы без потери информации, различные преобразования автоматов для улучшения их диагностических свойств, приведены оценки эффективности алгоритмов анализа автоматов, исследованы возможности декомпозиции автоматов при решении задач контроля и диагноза.

Рассчитана на специалистов в области теории автоматов, вычислительной техники и технической диагностики, будет полезна также студентам и аспирантам соответствующих специальностей.


 Оглавление

ПРЕДИСЛОВИЕ

ВВЕДЕНИЕ

Глава 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. Декомпозиция моделей логических устройств с памятью при решении задач диагноза и контроля

ЛИТЕРАТУРА

 
© URSS 2016.

Информация о Продавце