Отсюда можно скачать отчет в формате PDF (670 Kb) - Кафедра ...

Содержание5Введение .........................................................71. Классификация задач, решаемых с использованием автоматногоподхода .........................................................141.1. Системы логического управления.............................161.1.1. Реализация на программируемых логических контроллерах ...161.1.2. Моделирование контроллера в однозадачных операционныхсистемах ........................................................181.1.3. Моделирование контроллера в многозадачных операционныхсистемах ........................................................191.2. "Реактивные" (событийные) системы..........................222. Автоматы .....................................................262.1. Нотация схемы связей.......................................272.2. Нотация графов переходов...................................302.3. Нотация схемы взаимодействия автоматов.....................362.4. Модель автомата............................................382.4.1. Запуск автомата .........................................382.4.2. Входные воздействия и переходы ..........................392.4.3. Выходные воздействия ....................................402.4.4. Вложенные автоматы ......................................403. Создание программного обеспечения событийных систем ..........433.1. Предлагаемая технология....................................433.1.1. Изучение предметной области .............................443.1.2. Проектирование ..........................................443.1.3. Реализация ..............................................453.1.4. Отладка и сертификация ..................................503.1.5. Документирование ........................................524. Практическое применение предлагаемой технологии ..............534.1. Сравнение традиционного подхода с предлагаемым.............534.2. Подсистема управления печатью..............................644.2.1. Автомат контроля режима печати ..........................664.2.2. Автомат буферизации предварительного просмотра ..........694.2.3. Автомат вывода на печать ................................734.2.4. Системозависимая часть модуля печати ....................764.2.5. Системозависимая часть менеджера печати .................814.2.6. Протоколы функционирования модуля печати ................854.3. Система управления судовым дизель-генератором..............87