Содержание к диссертации
Введение
Глава I. Постановка задачи исследования и методика ее
решения. 8
I. Анализ развития средств автоматизации документирования.
2. Постановка задачи исследования. 20
3. Методика решения задачи исследования. 21
Глава 2. Исследование и разработка теоретических основ
построения.гибкой системы автоматизированного
выпуска проектной документации. 27
1. Исследование и построение математической модели
выходной документации. 27
2. Основной вход системы документирования (/?$- сеть). 36
3. Операция сокращения &$ - сети. 45
4. Операция построения элементарных форм. 55
5. Определение размеров и размещение элементарных
форм. 72
Глава 3. Разработка алгоритмов и программного обеспече
ния системы документирования. 79
I. Общее описание системы документирования. 79
2. Разработка алгоритмов и программного обеспечения
операции "Формирование /?5- сети". 84
3. Разработка алгоритмов и программного обеспечения
операции "Разметка". 94
4. Разработка алгоритмов и программного обеспече
ния операции "Сокращение". 100
Заключение J25
Литература -цг;
Приложения j3j
Список основных обозначений и сокращений.
3 - ступень /7: - і -тый терм В(X)- множество всех подмножеств множества X (булеанЛ ). P(Xi,'"fXj)- декартово произведение множеств Xi)t,. , Xj pit & - і -ая проекция й . pij& - проекпия В на А
/ І - ссылка на литературу. ГСАД - гибкая система автоматизированного документирования, - теоретико-множественная модель выходной документации.
Введение к работе
Одним из необходимых условий повышения эффективности общественного производства является резкое сокращение сроков проектирования и повышение качества проектно-сметной документации / I /.
Качественно выполненный проект - это не только обоснованные проектные решения, но и ориентированная на пользователя, исчерпы вающая и наглядная документация, удовлетворяющая требованиям ГОСТ.
Таким образом повышение эффективности и качества проектов немыслимо без повышения качества документального представления проекта. Особенно острой эта задача становится сегодня, когда объем документации быстро растет вслед за ростом сложности и масштаба проектируемых объектов. Возрастает значение оперативного и точного внесения изменений в документацию. В таких условиях невозможно обойтись без создания человеко-машинных систем, предназначенных для формирования проектов. Традиционные ручные методы изготовления документации уже не позволяют сократить сроки проектирования, так как эти методы очень трудоемки, а получаемая документация содержит много ошибок. Все это не позволяет обеспечить оперативность и высокое качество проектирования и разработок.
Еще большее значение приобретает обеспечение эффективности документирования в следующей пятилетке, когда начнется массовый переход на машинные носители и работу с АРМами.
Многолетние исследования и поиски в области автоматизации документирования, разнообразные научные и конструкторские решения в отдельных системах документирования, активное внимание специалистов из разных областей науки и техники, а также тот
- 5 -факт, что проблема автоматизации документирования в настоящий момент далека от своего удовлетворительного решения, указывает как на актуальность, так и на большую сложность этой проблемы.
В данной работе рассматривается один из аспектов проблемы, а именно процесс построения сложной и разнотипной документации при изменяющихся внешних условиях.
Цель работы состоит в исследовании и разработке теоретических и практических основ создания гибкой автоматизированной системы выпуска проектной документации.
В основе подхода, в рамках которого достигается поставленная цель, лежат принципы концептуального проектирования /79,80, 81 / , что позволяет рассматривать гибкую автоматизированную систему выпуска проектной документации как систему концептуального проектирования.
Для осуществления принятого подхода необходимо решить следующие задачи:
разработать формальную конструкцию для представления содержания проекта на входе в систему документирования,
определить понятие проектной документации, описывающее выход системы документирования,
исследовать и разработать логическую структуру процесса документирования, обладающего свойством настраиваемоети;
на основе полученной логической структуры разработать и реализовать основные алгоритмы гибкой системы автоматизированного выпуска проектной документации.
Научная значимость результатов диссертационной работы заключается в следующем:
- определена логическая структура процесса документирования
исходя из требования его контролируемости и перестраиваемости
на выпуск новых типов форм документов;
конкретизировано понятие документации, учитывающее прикладную область исследования и построена формальная модель, описывающая различные виды представления проектной документации;
на основе построенной модели документации проведена структуризация методов документирования и построены теоретико-множественные описания некоторых из них,
разработана формальная конструкция для представления содержания проекта, являющегося основным входом в процесс документирования. Построенная формальная конструкция может рассматриваться как операциональная семантическая сеть.
Практическая значимость исследований состоит в том, что:
разработана методика создания гибкой системы автоматизированного построения проектной документации,
определен круг задач, возникающих при технической реализации предложенной системы документирования, причем на примере разработанного пакета прикладных программ показана практическая реализуемость системы.
Методика и пакет прикладных программ применены при разработке документации для сложных систем. Кроме того предлагаемая система может быть использована в других областях, в частности как часть СУБД для построения выходных форм, при разработке документации при проектировании радиоэлектронной аппаратуры.
Основной текст данной работы состоит из введения, трех глав, заключения. Во внедрении приведена общая характеристика темы работы, в аннотированном виде изложено ее содержание по разделам, показана актуальность темы диссертационной работы, научная и практическая значимость.
В первой главе приведен обзор литературы, показывающий сов-
- 7 -ременное состояние проблемы автоматизированного документирования и логику развития ее решения. Кроме того, определены объект, предмет, цель и задача работы, сфорглулированы требования к разрабатываемой системе документирования, построена методика решения задачи работы.
Во второй главе конкретизировано понятие документации, исследована и построена формальная модель, описывающая широкий класс форм проектной документации. Кроме того разработана формальная конструкция для представления содержания проекта и построены теоретико-множественные модели для основных методов документирования.
В третьей главе обсуждаются вопросы реализации предложенной системы, изложены основные алгоритмы и описана программная реализация некоторых операций документирования.
В Приложениях приведены результаты разработки пакета прикладных программ., входные и выходные формы, примеры математических описаний сложных форм документов, акты, подтверждающие внедрение в н/я М5452, п/я A-343I , НЩИММАШ.
Общий экономический эффект составил более 70 тыс.руб.
