Введение
ГЛАВА 1. Современные технологии автоматизации решения геоинформационные задач при проектировании магистральных газопроводов 15
1.1. Геоинформационные задачи, решаемые при проектировании магистральных газопроводов 15
1.2. Жизненный цикл программного комплекса 17
1.2.1. Каскадная модель жизненного цикла 18
1.2.2. Спиральная модель жизненного цикла 20
1.3. Технологии обработки данных 21
1.4. Технологии автоматизации проектирования программных комплексов 24
1.4.1. Информационная статическая модель объекта 26
1.4.2. Аналоговая модель дискретной динамической системы. 27
1.4.3. Алгоритмическая модель вычислений 29
1.5. Выводы 33
ГЛАВА 2. Математическое моделирование вычислительного процесса 36
2.1. Функциональное описание прикладной задачи 36
2.2. Архитектура вычислительного комплекса 44
2.3. Информационно-алгоритмическая модель функционального процессора 45
2.4. Алгебра вычислительных процессов 50
2.5. Сетевая модель вычислительного процесса как графическое изображение уравнений алгебры 52
2.5.1. Алгоритмическая сетевая модель вычислительного прогресса 53
2.5.2. Ролевая сетевая модель вычислительного процесса 54
2.6. Управление как выбор пути в сетевой модели 57
2.7. Способы управления, алгоритмы управления 59
2.7.1. Автоматическое управление вычислительным процессом59
2.7.2. Директивное управление вычислительным процессом 61
2.7.3. Интерактивное управление вычислительным процессомб2
2.8. Формализмы граф-моделей 64
2.8.1. Формализм информационно-алгоритмической модели функционального процессора 66
2.8.2. Формализм ролевой сетевой модели вычислительного процесса 67
2.9. Контроль совместимости данных при использовании сетевой модели вычислительного процесса 67
2.9.1. Контроль на этапе моделирования 68
2.9.2. Контроль на этапе выполнения 73
2.10. Технология автоматизированного конструирования пк автоматизации инженерных расчетов в проектировании 74
2.10.1. Проектирование прикладных программных комплексов на базе граф-моделей 75
2.10.2. Конструирование прикладных программных комплексов на ~ базе граф-моделей 79
2.10.3. Инструментальные средства поддержки технологии. 80
2.10.4. Использование инструментальных средств для создания граф-моделей и их интерпретации 81
ГЛАВА 3. Информационное и алгоритмическое обеспечение конструктора программ 84
3.1. Архитектура системы поддержки граф-моделей 85
3.1.1. Информационно-алгоритмическая модель редактора шаблонов 87
3.1.2. Информационно-алгоритмическая модель редактора граф-
моделей 88
3.2. Представление граф-моделей в базе данных системы поддержки граф-моделей 89
3.2.1. Представление шаблона граф-модели в базе данных системы поддержки граф-моделей 93
3.2.2. Представление экземпляра граф-модели в базе данных системы поддержки граф-моделей 96
3.3. Информационно-алгоритмическая модель интерпретатора конструктора прикладных программ 99
3.4. Сетевая модель вычислительного процесса интерпретации сетевых моделей вычислительного процесса 101
3.5. Концепция сетевого использования конструктора прикладных программ 103
3.5.1. Архитектура сетевого варианта конструктора прикладных программ 103
3.5.2. Преимущества и недостатки 105
3.6. Концепция использования граф-моделей для организации параллельных вычислений 106
ГЛАВА 4. Экспериментальная проверка технологии проектирования 109
4.1. Использование граф-моделей при создании прикладных геоинформационных справочных систем 109
4.2. Система автоматизированного вычисления характеристик местности прохождения трассы магистральных газопроводов по данным электронной карты 1 15
Заключение 118
Список литературы
