Разработка метода и средств поддержки процесса оптимизации алгоритмических спецификаций при инфологическом моделировании проектно-конструкторских задач при создании САПР машиностроительного назначения

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

СОДЕРЖАНИЕ
ВВЕДЕНИЕ
ГЛАВА 1. АНАЛИЗ СОСТОЯНИЯ ПРОБЛЕМЫ ОПТИМИЗАЦИИ МОДЕЛЬНЫХ ПРЕДСТАВЛЕНИЙ ПРИ СОЗДАНИИ САПР МАШИНОСТРОИТЕЛЬНОГО НАЗНАЧЕНИЯ
1.1 Анализ существующих подходов, используемых при создании САПР в машиностроении &
1.2 Анализ методов оптимизации, используемых при создании и эксплуатации прикладных автоматизированных систем
1.2.1 Общая характеристика методов
1.2.2. Методы оптимизации, используемые на этапе
анализа традиционного процесса решения задачи, подлежащей автоматизации
1.2.3. Методы оптимизации, используемые на этапе
концептуального описания
1.2.4. Методы оптимизации, используемые на этапе
планирования реализации
1.2.5. Методы оптимизации, используемые на этапе
реализации
1.2.6. Методы оптимизации, используемые на этапе
эксплуатации
1.3 Анализ проблем в МАИТ 42.
1.4 Выводы, цель и задачи исследования

24 25~

ГЛАВА 2. ОСНОВНЫЕ ПОЛОЖЕНИЯ ИНФОЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ ПРОЕКТНО-КОНСТРУКТОРСКИХ ЗАДАЧ ПРИ ПРОЕКТИРОВАНИИ САПР МАШИНОСТРОИТЕЛЬНОГО НАЗНАЧЕНИЯ
2.1 Характеристика инфологического представления проектно-конструкторских задач
2.2 Уточнение формального описания инфологической модели объектного уровня для проектно-конструкторской задачи
2.3. Уточнение формального описания инфологической модели конкретного уровня для реализации проектноконструкторской задачи
2.4. Уточнение формального описания взаимосвязей инфологических моделей объектного и конкретного уровней
2.5. Основы формального описания процесса синтеза инфологических представлений комплекса проектноконструкторских задач
2.6 Выводы
ГЛАВА 3. РАЗРАБОТКА МЕТОДА ОПТИМИЗАЦИИ АЛГОРИТМИЧЕСКИХ СПЕЦИФИКАЦИЙ ИНФОЛОГИЧЕСКОГО ПРЕДСТАВЛЕНИЯ ПРОЕКТНО-КОНСТРУКТОРСКИХ ЗАДАЧ
3.1 Система критериев оптимизации
3.2 Формальное описание минимизации обращений к инфологическим структурам на объектном уровне для проектно-конструкторских задач
3.3 Формальное описание минимизации обращений к инфологическим структурам на конкретном уровне для проектно-конструкторских задач
3.4 Выводы
ГЛАВА 4. РАЗРАБОТКА МЕТОДИКИ И ПРОГРАММНЫХ СРЕДСТВ ПОДДЕРЖКИ ОПТИМИЗАЦИИ АЛГОРИТМИЧЕСКИХ СПЕЦИФИКАЦИЙ ИНФОЛОГИЧЕСКОГО ПРЕДСТАВЛЕНИЯ ПРОЕКТНО-КОНСТРУКТОРСКИХ ЗАДАЧ
4.1 Общая характеристика методики оптимизации
алгоритмических спецификаций инфологического
представления проектно-конструкторских задач
4.2. Этап определения множества сложных предметных
доступов
4.3. Ранжирование сложных предметных доступов
4.4 Минимизация множества сложных предметных доступов
4.4.1 Определение множества простых доступов
4.4.2 Минимизации всех простых предметных доступов, входящих в сложный предметный доступ, с учетом структурного свойства сложного предметного доступа
4.5 Разработка программных средств поддержки оптимизации алгоритмических спецификаций
инфологического представления проектно-конструкторских задач
4.5.1 Общие положения
4.5.2 Структура и состав программно-технического комплекса
4.6 Выводы по результатам апробации методики ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ ПРИЛОЖЕНИЯ

8. Методы обновления данных.
8.1 Синхронизация доступа к данным. В централизованных системах БД очень распространено использование двухфазного протокола синхронизационных захватов объектов БД. В соответствии с этим протоколом объект БД автоматически захватывается транзакцией в соответствующем режиме при первом обращении, и все захваты данной транзакции освобождаются только при ее завершении. В случае возникновения конфликта по синхронизации транзакция блокируется, пока объект не будет освобожден. Следование этому протоколу может привести к возникновению синхронизационного тупика между двумя или более транзакциями. Задача СУБД - распознать появление тупика и разрушить его путем отката одной или нескольких транзакций. Распознавание тупиков сводится к обнаружению циклов в графе ожидания транзакций, что является трудоемкой задачей даже в централизованных СУБД. В распределенных системах решение этой задачи может потребовать неприемлемых накладных расходов (хотя поиски алгоритмов с допустимыми затратами продолжаются). Поэтому наиболее часто в распределенных системах применяются протоколы синхронизации, основанные на временных метках. Это направление само по себе очень широко, имеются разные варианты и даже комбинации с протоколом двухфазных захватов, но основной проблемой реализации является отсутствие в распределенной системе единого времени [71, 73]
8.2 Репликация данных. Основным накладным расходом при выполнении распределенного запроса является пересылка данных между узлами сети. Одним из способов сокращения этого накладного расхода является поддержание копий наиболее часто используемых данных в нескольких узлах сети с учетом порождаемых этим дополнительных накладных расходов по поддержанию согласованности копий при модификации данных. Другим основанием для поддержания копий является увеличение уровня доступности данных при выходе из