Методы синтеза и анализа проходимых автоматов в управлении технологическими процессами

• Автор: Рзун, Ирина Геннадьевна
• Шифр специальности: 05.13.01
• Научная степень: Кандидатская
• Год защиты: 2005
• Место защиты: Саратов
• Количество страниц: 113 с. : ил.

СОДЕРЖАНИЕ
Введение.

Глава I. Конечный детерминированный автомат и классификация подавтоматов.

Проходимые автоматы

Глава II. Проходимые и частичные проходимые подавтоматы, верхние и нижние

границы состояний

Глава III. Операции объединения и пересечения проходимых и частичных

проходимых подавтоматов

Глава IV. Приложение проходимых и частичных проходимых подавтоматов

Заключение

Список литературы

Повтор состояний в процессах вычислений, когда предполагается, что в состоянии представлены все составляющие в рассматриваемые моменты времени данные, средства вычислений, человеческое звено и т. Если учитывать затраты ресурсов, то повтор состояний невозможен, так как между состояниями обязательно будет изменения энергетических и других ресурсов. Теоремой 2. Проходимые автоматы являются собственным подклассом класса всех автоматов. Поэтому возможность выделения в конечном детерминированном автомате проходимого подавтомата представляет интерес. Возможность представления проходимого автомата как композиции частичного проходимого подавтомата и нижней границы состояний определяет потребность к выделению в произвольном автомате частичного проходимого подавтомата. Существенным оказывается разрыв контуров в автомате. Теорема 2. Мура для автомата. Глава завершается замечанием о построении всех проходимых подавтоматов заданного автомата. Основные результаты, характеризующие свойства операций объединения и пересечения в классах проходимых и частичных проходимых подавтоматов представлены в третьей главе диссертации. В теореме 3. В примере 3. В теоремах 3. Теорема 3. В теореме 3. В теореме 3. В теоремах 3. Разделены два случая границы подавтоматов содержатся в границе автомата и границы подавтоматов выделяются в автомате произвольно. Понятия частичного проходимого и проходимого подавтоматов определены на основе свойств диаграммы Мура. В теореме 3. В теореме 3. Рассмотрен пример таблица 3. Глава 3 завершается методом построения множества всех подмножеств состояний автомата, которые являются нижними границами состояний проходимых подавтоматов.