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

• Автор: Калентьев, Анатолий Алексеевич
• Шифр специальности: 05.13.12
• Научная степень: Докторская
• Год защиты: 1998
• Место защиты: Самара
• Количество страниц: 246 с. : ил.

1. ПОСТАНОВКА ПРОБЛЕМЫ

1.1 Схема функционирования системы

1.2 Интерпретация функционального базиса

1.3 Стандартная схема базиса и ее реализации

1.4 Определение целевой задачи

1.5 Постановка задачи асинхронного управления.

2. РАЗРАБОТКА МАТЕМАТИЧЕСКОЙ МОДЕЛИ ПОВЕДЕНИЯ СИСТЕМЫ.

2.1 Функциональное исчисление.

2.2 Семантика термального описания целевой задачи.

2.3 Неформальная интерпретация термального описания целевой задачи

2.4 Исследование термального описания целевой задачи

2.4.1 Построение функции выполнимости
2.4.2 Параметризация терма в логическом пространстве.
2.4.3 Построение временной последовательности для одного варианта
2.4.4 Приведение терма к единой временной оси
2.5 Определение протокола выполнения терма
3. РАЗРАБОТКА ФУНКЦИИ АСИНХРОННОГО УПРАВЛЕНИЯ.
3.1 Построение функции управления.
3.2 Построение множества управлений.
3.3 Последовательное управление.
3.4 Термальное управление.
3.5 Управление функциональной залачей.
3.5.1 Интерпретация на временной оси.
3.5.2 Интерпретация в логическом пространстве
3.5.3 Интерпретация в информационном пространстве
3.5.4 Общая схема управления.
3.6 Управление термом вида ТТ, СН .
3.6.1 Интерпретация на временной оси.
3.6.2 Интерпретация в логическом пространстве
3.6.3 Интерпретация в информационном пространстве
3.6.4 Общая схема управлен ия
3.7 Управление термом вида ТТ СК Т
3.7.1 Интерпретация на временной оси.
3.7.2 Интерпретация в логическом пространстве
3.7.3 Интерпретация в информационном пространстве
3.7.4 Общая схема управления.
3.8 Управление термом вида ТТ .
3.8.1 Интерпретация на временной оси.
3.8.2 Интерпретация в логическом пространстве
3.8.3 Интерпретация в информационном пространстве
3.8.4 Общая схема управления .
3.9 Управление динамическим термом.
3.9.1 Интерпретация на временной оси.
3.9.2 Интерпретация в логическом пространстве
3.9.3 Интерпретация в информационном пространстве
3.9.4 Общая схема управления.
3. Построение функции управления составным термом.5
4 РАЗРАБОТКА АЛГОРИТМОВ АСИНХРОННОГО УПРАВЛЕНИЯ.
4.1 Неймановская модель языков программирования.
4.2 Базовые команды внутреннего языка описания алгоритмов асинхронного управления
4.3 Последовательный метод построения асинхронного алгоритма
4.3.1 Формирование текста алгоритма управления.
4.4 Термальный метод построения асинхронного алгоритма
4.4.1 Алгоритмизация функции управления функциональным элементом
4.4.2 Алгоритмизация функции управления термом вида
ТФС1Ф
4.4.3 Алгоритмизация функции управления термом вида ТФ, СК Ф.
4.4.4 Алгоритмизация функции управления термом вида
Т Ф, Фу
4.4.5 Алгоритмизация функции управления динамическим термом
4.4.6 Алгоритмизация функции управления составным термом.
5 ЗАДАЧА ПРИВЕДЕНИЯ КОСМИЧЕСКОГО АППАРАТА
В ОРИЕНТИРОВАННОЕ ПОЛОЖЕНИЕ.
5.1 Основные положения
5.2 Термальное описание асинхронного алгоритма
5.3 Множество условий и допустимых вариантов целевой задачи.
5.4 Стандартная схема целевой задачи
5.5 Функция управления целевой задачей
5.6 Текст асинхронного алгоритма. Последовательный метод
5.7 Временная диаграмма алгоритма управления
5.8 Текст асинхронного алгоритма. Термальный метод
6 ТЕХНОЛОГИЯ АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ АЛГОРИТМОВ АСИНХРОННОГО УПРАВЛЕНИЯ
6.1 Задача проектирования алгоритмов асинхронного управления
6.2 Задача автоматизированного проектирования алгоритмов асинхронного управления
6.3 Технология автоматизированного проектирования.
6.3.1 Классы проекта.
6.3.2 Технологические операции.
6.3.3 Технологическая цепочка
ЗАКЛЮЧЕНИЕ.
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ


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