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

• Автор: Степанов, Михаил Федорович
• Шифр специальности: 05.13.01, 05.13.18
• Научная степень: Докторская
• Год защиты: 2003
• Место защиты: Саратов
• Количество страниц: 536 с. : ил.

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ

1. СОСТОЯНИЕ ПРОБЛЕМЫ И ЗАДАЧИ ДИССЕРТАЦИИ.

1.1. Проектирование систем автоматического управления и его автоматизация

1.2. Задачи теории автоматического управления и автоматизация их

решения

1.3. Подходы к автоматизации решения задач

1.4. Требования к системам автоматизации решения задач теории автоматического управления.

1.5. Задачи диссертации

1.6. Концепция автоматического решения формализованных задач

теории автоматического управления.

Заключение к главе 1.
ЧАСТЬ 1. АВТОМАТИЧЕСКОЕ РЕШЕНИЕ ИЗВЕСТНЫХ ЗАДАЧ ТЕОРИИ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ.
2. ДРЕШАТЕЛИ ФОРМАЛИЗОВАННЫХ ЗАДАЧ ТЕОРИИ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ .
2.1. Концепция и возможности САС САУ с Дрсшателем.
2.2. Структура и режимы работы САС САУ с Дрсшателем.
2.3. Модель множества формализованных задач теории
автоматического управления.
2.4. Методика построения модели множества формализованных задач теории автоматического управления.
2.5. Модель множества формализованных задач синтеза многомерных систем автоматического управления.
2.6. Семейство языков представления планов решения задач теории
автоматического управления ИНСТРУМЕНТ
Заключение к главе 2.
3. СРЕДСТВА АВТОМАТИЧЕСКОГО РЕШЕНИЯ ИЗВЕСТНЫХ ЗАДАЧ ТЕОРИИ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ
3.1. Система автоматического решения задач синтеза систем автоматического управления ГАММА1М
3.2. Система автоматического решения задач синтеза систем автоматического управления ИНСТРУМЕНТ3
3.3. Система автоматического синтеза систем автоматического
управления ИНСТРУМЕНТ3 i .
Заключение к главе 3
ЧАСТЬ 2. АВТОМАТИЧЕСКОЕ РЕШЕНИЕ ИНТЕЛЛЕКТУАЛЬНЫХ ЗАДАЧ ТЕОРИИ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ.
4. ИРЕШАТЕЛИ ФОРМАЛИЗОВАННЫХ ЗАДАЧ ТЕОРИИ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ
4.1. Концепция и возможности САС САУ с Ирешатслем формализованных задач ТАУ.
4.2. Структура системы анализа и синтеза САУ с Ирешателем формализованных задач ТАУ.
4.3. Функционирование САС САУ с Ирешатслсм
4.4. Многоуровневая модель множества формализованных задач
теории автоматического управления.
4.5. Методика построения многоуровневой модели множества формализованных задач ТАУ.
4.6. Многоуровневая аксиоматическая теория автоматических решений формализованных задач ТАУ.
4.7. Методика построения многоуровневой аксиоматической теории автоматических решений формализованных задач ТАУ
4.8. Особенности планирования решения задач проектирования систем автоматического управления
4.9. Исследование многоуровневой аксиоматической теории автоматических
решений формализованных задач ТАУ
4 Пример построения плана решения задачи.
Заключение к главе 4.
5. ИСКУССТВЕННЫЕ НЕЙРОННЫЕ СЕТИ ДЛЯ ПЛАНИРОВАНИЯ РЕШЕНИЯ ЗАДАЧ ТЕОРИИ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ
5.1. О возможности реализации Ирешателя с помощью искусственных нейронных сетей
5.2. Структура планирующей искусственной нейронной сети
5.3. Исследование свойств планирующей искусственной нейронной сети
5.4. Пример решения задачи с использованием планирующей искусственной нейронной сети.
5.5. Особенности построения решающей подсистемы Ирсшателя задач теории автоматического управления на основе планирующих искусственных нейронных сетей
5.6. Особенности использования планирующих искусственных
нейронных сетей в системах автоматизации проектирования САУ
Заключение к главе 5.
6. СРЕДСТВА АВТОМАТИЧЕСКОГО РЕШЕНИЯ ИНТЕЛЛЕКТУАЛЬНЫХ ЗАДАЧ ТЕОРИИ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ
6.1. Система автоматического решения интеллектуальных задач
теории автоматического управления ЕИрешатсль .
6.2. Система автоматического синтеза систем автоматического
управления ИНСТРУМЕНТЗмИ.
Заключение к главе 6.
ЧАСТЬ 3. ИНТЕЛЛЕКТУАЛЬНЫЕ САМООРГАНИЗУЮЩИЕСЯ СИСТЕМЫ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ.
7. ИНТЕЛЛЕКТУАЛЬНЫЕ САМООРГАНИЗУЮЩИЕСЯ СИСТЕМЫ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ.
7.1. Концепция интеллектуальных самоорганизующихся систем управления.
7.2. Структура интеллектуальной самоорганизующейся системы управления.
7.3. Вычислитель управляющего воздействия интеллектуальной самоорганизующейся системы автоматического управления
7.4. Интеллектуальная система синтеза закона управления интеллектуальной
самоорганизующейся системы автоматического управления
Заключение к главе 7.
8. МОДЕЛИРОВАНИЕ ИНТЕЛЛЕКТУАЛЬНЫХ САМООРГАНИЗУЮЩИХСЯ СИСТЕМ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ.
8.1. Моделирование естественноинтеллектуальных систем автоматического управления.
8.2. Моделирование интеллектуальных самоорганизующихся систем
автоматического управления.
Заключение к главе 8.
ЗАКЛЮЧЕНИЕ.
СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ


С другой стороны, достижения автоматизации доказательства теорем принадлежат сфере . Однако системы автоматизации проектирования функционируют в интерактивном режиме. Следовательно, они должны решать задачи в режиме реального времени. В связи с этим необходимо существенно повысить быстродействие систем автоматического доказательства теорем, что достигается применением средств параллельной обработки информации, среди которых наиболее перспективны искусственные нейронные сети ИНС. Но традиционные применения ИНС не включают в себя задачи планирования действий, за исключением ставшей уже классической задачи коммивояжера 0, которая была решена сведением к задаче оптимизации. Поэтому необходимо использование планирующих искусственных нейронных сетей 9, объединяющих в себе мощность систем автоматического доказательства теорем и эффективность средств параллельной обработки информации. В работе 0 Е. И.Ефимов при построении теории интеллектуальных решателей уделил . Однако проработка предложенной схемы достаточна для того, чтобы можно было воспользоваться ею для построения прикладной теории автоматического решения формализованных задач ТАУ. ТАУ должна представлять собой систему управления пакетом прикладных программ, реализующих элементарные проектные операции процедур решения задач ТАУ. ТАУ на решающую и исполнительную подсистемы в соответствии с рекомендациями 0 преследует цели разделения процесса решения задачи на этап планирования и этап получения результата решения задачи. САС САУ программный комплекс. Поэтому элементарные проектные операции ЭПО , операционное определение простых понятий ТА У, не сводимых к более простым понятиям ТАУ целесообразно задавать процедурально программными модулями на традиционном языке программирования. Это соответствует принципу модульности программирования, создает предпосылки расширения возможностей САС САУ за счет подключения новых операций и обеспечивает независимость их разработки, что подтверждается опытом создания существующих САС САУ. Процедуры решения задач ТАУ представляют собой описания методов решения задач, как последовательностей выполнения ЭПО. Эти процедуры создаются пользователем САС САУ категории исследователь специалистом в ТАУ. Поэтому средства их представления в САС САУ должны обеспечить пользователю возможность использования профессиональной терминологии и освободить его от необходимости организации интерфейса по данным между программными модулями, реализующими ЭПО. Поэтому язык представления планов решения задач ТАУ должен быть процедуральным проблемноориентированным языком ППОЯ высокого уровня, что подтверждается приведенным обзором рекомендации 0 и выполненный обзор показывают, что лишь в многоуровневых системах представления знаний наиболее эффективно решается проблема поиска решений задач. Основное преимущество многоуровневых систем состоит в удачном сочетании детальных и обобщенных знаний. Приведенный выше анализ показывает, что автоматизация решения задач теории автоматического управления является ключом к решению проблемы автоматизации проектирования систем автоматического управления. В последнее время большой интерес проявляется к интеллектуальным системам управления. Такие системы должны управлять заданным, возможно изменяющимся объектом в изменяющемся же окружающем мире, применяя для этого методы, которые можно назвать интеллектуальными. Применительно к системам управления изменение поведения осуществляется посредством изменения закона управления. Таким образом, интеллектуальная СЛУ должна обладать средствами синтеза закона управления. Однако современные САПР САУ столь громоздки, что их использование непосредственно в составе системы управления оказывается невозможным и не только изза ограниченных вычислительных ресурсов бортовых компьютеров. Тем не менее, потребности практики вынуждают искать пути решения этой проблемы. ТАУ см. ТАУ см. ТАУ в виде модели множества формализованных задач ТАУ см. ТАУ в виде аксиоматической теории автоматических решений формализованных задач ТАУ см. ТАУ см. Определение плана решения задачи осуществляется двумя способами.