Исследование подсистемы ведения графической документации в АСТПП машиностроения с поддержкой геометрических ограничений целостности

• Автор: Митин, Александр Александрович
• Шифр специальности: 05.13.06
• Научная степень: Кандидатская
• Год защиты: 2004
• Место защиты: Орел
• Количество страниц: 134 с. : ил.

1. Анализ методов построения и способов применения интерактивных графических средств в автоматизированных системах управления технологическими процессами и производствами (АСУТП и П)
1.1 Анализ существующих подходов к построению пользовательского интерфейса в АСУТП и П
1.2. Анализ существующих инструментальных средств для создания графического интерфейса АСУТП и АСТ1111
1.3. Методы ввода, редактирования и поддержки ограничений целостности
1.4. Методы логического вывода ограничений целостности
1.4.1 Внешнее представление и реализация методов вывода ограничений в различных системах
1.4.2 Методы вывода ограничений целостности
1.5. Методы удовлетворения ограничений целостности
1.5.1 Постановка задачи. Представление ограничений
1.5.2 Анализ методов удовлетворения ограничений
1.5.2.1 Численный алгебраический подход
1.5.2.2 Символьный алгебраический метод
1.5.2.3 Логический вывод
1.5.2.4 Метод кластеризации
1.5.2.5 Локальное распространение
1.6 Выводы по первой главе
2. Разработка модели системы с выводом геометрических ограничений целостности
2.1 Требования к графическому редактору, использующему вывод ограничений целостности
2.2 Деталировка задач
2.3 Структура графического редактора с выводом геометрических ограничений целостности
2.4 Построение системы логического вывода ограничений целостности
2.4.1 Прямая и обратная цепочка рассуждений
2.4.2 Синтаксис продукционных правил
2.4.3 Рабочая память
2.4.4 Алгоритм Rete, использующий операции реляционной алгебры
2.4.5 Алгоритм работы интерпретатора
2.4.6 Разрешение конфликтов
2.5 Модуль удовлетворения ограничений целостности
2.6 Выводы по второй главе

3. Реализация графического редактора с выводом ограничений целостности
3.1 Представление реализации графического редактора в обозначениях языка ЦМЬ
3.2 Динамика работы графического редактора с выводом ограничений целостности
3.3 Статическое представление графической системы с выводом ограничений целостности
3.3.1 Концептуальная схема базы графических данных с выводом ограничений целостности
3.3.2 Основные алгоритмы
3.3.2.1 Алгоритм вывода ограничений
3.3.2.2 Алгоритм удовлетворения ограничений
3.4 Пользовательский интерфейс графической системы с выводом ограничений целостности
3.4.1 Основные принципы и функциональные возможности графической системы с выводом ограничений целостности
3.4.2 Логика диалога работы графической системы с выводом ограничений
3.5 Выводы по третьей главе
4. Экспериментальные исследования графического представления элементов машиностроения на компьютерной модели
4.1 Особенности применения редактора с выводом ограничений целостности
4.2 Применение графического редактора для разработок в области машиностроения
4.3. Применение редактора для проектирования кинематических схем
4.4 Анализ эффективности системы с выводом ограничений целостности
4.4.1 Эффективность алгоритма удовлетворения ограничений
4.4.2 Эффективность алгоритма вывода ограничений
4.5 Выводы по четвертой главе
Основные результаты и выводы
Литература

В последнее время появилось большое количество программных систем, служащих для создания графического пользовательского интерфейса в АСУТП и АСТПП, возрос интерес к методам их создания. Успех подобных систем во многом определяется графическим интерфейсом пользователя - компонентами, обеспечивающими взаимодействие пользователя с системой. Пользователь, как правило, не обладает специализированными знаниями, связанными с управлением сложными вычислительными системами. Поэтому в современных пользовательских интерфейсах (ПИ) применяются различные методы, позволяющие пользователю упростить процесс взаимодействия с системой. Среди этих методов - метод, основанный на метафоре модели мира /43/, прямое манипулирование объектами, вывод геометрических ограничений и т.д. Пользователь должен иметь возможность быстро изучать принципы работы с системой и наиболее эффективно решать свои прикладные задачи.
Исследования в области графического пользовательского интерфейса позволили выявить следующее:
1) Объекты современного графического пользовательского интерфейса должны сохранять геометрические соотношения.
2) Эти соотношения должны обслуживаться пользовательским интерфейсом вместе с графическими объектами в БД как ограничения целостности.
3) Проблема задания геометрических соотношений - ограничений целостности в пользовательских интерфейсах до конца не решена.
4) Существуют попытки логически выводить ограничения целостности из действий пользователя.
Компонента ПИ графической системы, которая обеспечивает моделирование геометрических форм и возможность их визуализации и изменения, называется графическим редактором. Одним из современных методов достижения
7) Графическая система с выводом геометрических ограничений должна иметь средства настройки в соответствии с требованиями предметной области.