Автоматное программирование, Поликарпова Н., Шалыто А., 2011

Автоматное программирование, Поликарпова Н., Шалыто А., 2011.

   Рассмотрены модели, методы и алгоритмы автоматизированного проектирования систем контроля и управления энергетическими объектами. Технология выполнения проектных процедур и операций иллюстрирована примерами их применения для разработки системы контроля технологических параметров и системы управления приводами регулирующих устройств.
Для студентов и аспирантов энергетических специальностей, а также специалистов в области теплоэнергетики и АСУТП.




Области применения автоматного подхода.
В соответствии с классификацией, введенной Д. Харелом [10], любую программную систему можно отнести к одному из следующих классов.

Трансформирующие системы осуществляют некоторое преобразование входных данных и после этого завершают свою работу В таких системах, как правило, входные данные полностью известны и доступны на момент запуска системы, а выходные — только после завершения ее работы. К трансформирующим системам относятся, например, архиваторы и компиляторы.

Интерактивные системы взаимодействуют с окружающей средой в режиме диалога (например, текстовый редактор). Характерной особенностью таких систем является то, что они могут контролировать скорость взаимодействия с окружающей средой — заставлять среду «ждать».

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

Читателю наверняка известно, что конечные автоматы в программировании традиционно применяются при создании компиляторов [И], которые относятся к классу трансформирующих систем. Автомат здесь понимается как некое вычислительное устройство, имеющее входную и выходную ленты. Перед началом работы на входной ленте записана строка, которую автомат далее посимвольно считывает и обрабатывает. В результате обработки автомат последовательно записывает некоторые символы на выходную ленту.

СОДЕРЖАНИЕ.
Предисловие.
Глава 1. Введение в автоматное программирование.
1.1. Области применения автоматного подхода.
1.2. Основные понятия.
1.3. Парадигма автоматного программирования.
1.4. Автоматные модели.
1.4.1. Абстрактные автоматы.
1.4.2. Структурные автоматы.
1.4.3. Автоматы в программировании.
Глава 2. Процедурное программирование с явным выделением состояний.
2.1. Проектирование.
2.1.1. Программные системы, управляемые одним автоматом.
2.1.2. Программные системы, управляемые взаимодействующими автоматами.
2.2. Спецификация.
2.2.1. Спецификация структуры.
2.2.2. Спецификация поведения.
2.2.3. Использование спецификаций.
2.2.4. Сравнение с методом Statemate.
2.3. Реализация.
2.3.1. Задачи логического управления.
2.3.2. Другие классы задач.
2.3.3. Инструментальные средства.
Глава 3. Объектно-ориентированное программирование с явным выделением состояний.
3.1. Проектирование.
3.2. Спецификация.
3.3. Реализация.
3.3.1. Шаблоны реализации автоматизированных классов
3.3.2. Инструментальное средство UniMod.
Глава 4. Автоматное программирование. Новые задачи.
4.1. Автоматы и алгоритмы дискретной математики.
4.2. Проверка правильности автоматных программ.
4.3. Автоматы и параллельные вычисления.
4.4. Автоматы и генетическое программирование.
4.4.1. Задача об «Умном муравье».
4.4.2. Методы генерации автоматов с большим числом входных переменных.
Заключение.
Список источников.
Алфавитный указатель.

Купить .





Теги: учебник по программированию :: программирование :: Поликарпова :: Шалыто