Введение
1. Анализ методов построения и способов применения интерактивных графических средств в автоматизированных системах управления технологическими процессами и производствами (АСУТП и П) 10
1.1 Анализ существующих подходов к построению пользовательского интерфейса в АСУТП 10
1.2. Анализ существующих инструментальных средств для создания графического интерфейса АСУТП и АСГШ1 13
1.3. Методы ввода, редактирования и поддержки ограничений целостности 19
1.4. Методы логического вывода ограничений целостности 28
1.4.1 Внешнее представление и реализация методов вывода ограничений в различных системах 29
1.4.2 Методы вывода ограничений целостности 35
1.5. Методы удовлетворения ограничений целостности 41
1.5.1 Постановка задачи. Представление ограничений 41
1.5.2 Анализ методов удовлетворения ограничений 43
1.5.2.1 Численный алгебраический подход 44
1.5.2.2 Символьный алгебраический метод 45
1.5.2.3 Логический вывод 45
1.5.2.4 Метод кластеризации 45
1.5.2.5 Локальное распространение 46
1.6 Выводы по первой главе 49
2. Разработка модели системы с выводом геометрических ограничений целостности 51
2.1 Требования к графическому редактору, использующему вьгаод ограничений целостности 51
2.2 Деталировка задач 55
2.3 Структура графического редактора с выводом геометрических ограничений целостности 56
2.4 Построение системы логического вывода ограничений целостности 61
2.4.1 Прямая и обратная цепочка рассуждений 61
2.4.2 Синтаксис продукционных правил 61
2.4.3 Рабочая память 64
2.4.4 Алгоритм Rete, использующий операции реляционной алгебры 66
2.4.5 Алгоритм работы интерпретатора 74
2.4.6 Разрешение конфликтов 75
2.5 Модуль удовлетворения ограничений целостности 78
2.6 Выводы по второй главе 81
3. Реализация графического редактора с выводом ограничений целостности 82
3.1 Представление реализации графического редактора в обозначениях языка UML 82
3.2 Динамика работы графического редактора с выводом ограничений целостности 88
3.3 Статическое представление графической системы с выводом ограничений целостности 91
3.3.1 Концептуальная схема базы графических данных с выводом ограничений целостности 91
3.3.2 Основные алгоритмы 96
3.3.2.1. Алгоритм вывода ограничений 96
3.3.2.2 Алгоритм удовлетворения ограничений 99
3.4 Пользовательский интерфейс графической системы с выводом ограничений
целостности 102
3.4.1 Основные принципы и функциональные возможности графической системы с выводом ограничений целостности 102
3.4.2 Логика диалога работы графической системы с выводом ограничений 104
3.5 Выводы по третьей главе 108
4. Экспериментальные исследования графического представления элементов машиностроения на компьютерной модели 109
4.1 Особенности применения редактора с выводом ограничений целостности 109
4.2 Применение графического редактора для разработок в области машиностроения 111
4.3. Применение редактора для проектирования кинематических схем 116
4.4 Анализ эффективности системы с выводом ограничений целостности 120
4.4.1 Эффективность алгоритма удовлетворения ограничений 120
4.4.2 Эффективность алгоритма вывода ограничений 121
4.5 Выводы по четвертой главе 122
Основные результаты и выводы 123
Литература 124
