Введение к работе
Область исследования и актуальность
Эффективность САПР существенным образом зависит от технологии и инструментария, обеспечипакядих формирование, представление, систематизацию и использование оперативкой проектной документации проекта II(t), фиксирующей процесс' и текущее состояние проектирования. В разработках такого обеспечения, получившего название систем сопровождения документации (ССД), учитываются не только регламентирующие стандарты документации (ГОСТ 2.103-68,2.102-68, 2.701-84 и т.д.), но и конструктивный выход на коммуникативную, управляющую, эвристическую, обучающую и другие функции оперативной документации. Конструктивное представление и использование многофункциональности текущей документации - принципиальный источник повышения эффективности САПР.
Для современного этапа развития ССД характерно внедрение новых информационных технологий (на основе гипермедиа сред, экспертных систем и т.п.), включающих интеллектуальные действия с документацией, в составе которых особо важно взаимодействие проектировщика с текстовой составляющей документации ТЩі).
От эффективности такого взаимодействия не может не зависеть эффективность САПР. В диссертационной работе для повышения эффективности проектирования предлагается включить в состав взаимодействия проектировщика с ТП(0 процедуры экспериментального исследования текстовых единиц Ti(t) и оперативного использования результатов исследований, что приводит к практически полезным эффектам по большинству функций проектной документации.
Цель исследования.
Целью работы является исследование включений в техноло
гию проектирования действий D|3((T|(t),t) типа
"экспериментальное исследование текстовой едини
цы", конструктивная поддержка которых повышает эффективность
проектирования за счет использования оперативно построенного
множества предикатных моделей { T"(t) } проектных документов
{ T((t) }, согласованных с логикой принятия проектных решений.
Задача исследования:
Исследовать процессы оперативного документирования работы проектировщика в САПР, включающие конструктивные меха-
низмы рациональной экспериментальной обработки текстовой составляющей проектной документации TII(t).
Для реализации поставленной задачи необходимо решить следующие подзадачи:
1. Разработка и исследование предикатной, подели T"(t)
документа T((t), эффективной в экспериментах с T|(t), проводимой по
образцу обработки текстов программ многопроходными трансляторами
в программировании.
-
Разработка и исследование конструктивной методики ин-формационно-линг'вистическох'О эксперимента с текстами TtCO и T*(t), в основу которой положено ранжирование множества понятий {Nj} и множества предложений-предикатов {1111^(0}.
-
Разработка архитектуры, структуры и набора функциональных средств, обеспечивающих рациональное включение в процессы оперативного документирования проектных решений действий типа "информационно-лингвистический эксперимент".
Методы исследования
Для решения поставленных задач применялся содержательно-эволюционный подход, методы математического моделирования, методы экспериментальных исследований, информационного моделирования с использованием ЭВМ, реляционной алгебры, логического программирования.
Аппарат исследований
Теория формальных грамматик, сетевые и автоматные модели, элементы теорий графов и теории алгоритмов.
Научная новизна
1. Предложена и исследована предикатная модель T(t) оперативного проектного документа Ть в которой для представления и использования иерархических отношений между понятиями N и предикатами текста Tt применяется ранжирование, учитывающее текущее состояние системы понятий S(N,t) проекта II(t) и логику текста Ті, что позволяет повысить степень адекватности Ті принимаемому проектному решению.
2. Предложена и исследована методика информацион-яо-лингвиеркческого экспериментирования с проектным документом Ті, обеспечивающая построение его предикатной модели T*(t) и ее рациональное использование в коммуникативных, управ-
ляющих, эвристических и обучающих целях.
Достоверность
Теоретическая достоверность полученных результатов подтверждается структуризацией и связыванием основных положений диссертации по схеме "теории содержательно - эволюционного типа", а также использованием достоверных знаний из области прикладной информатики, прикладной лингвистики и формальной логики.
Экспериментальные подтверждения достоверности получены при разработке инструментальных систем, названных "ЛИНА" и "ДОРА", и применении их для обработки проектной документации реальных проектных решений.
Практическая ценность
Разработана система инструментальных средств, обеспечивающих информационно-лингвистическое экспериментирование с текстами оперативных проектных документов в процессе принятия проектных решений, что повышает качество и степень адекватности документации, открывает для конструктивных применений еще одно средство управления проектироваїшем, увеличивает "коэффициент полезного действия" проектировщика (поддержка процесса коммуникации на интеллектуальном уровне, источник эвристик к т.д.).
В результате работы созданы инструментальные системы "ЛИНА" и "ДОРА", которые дополняют современные СУБД интеллектуальной компонентой, способной поддерживать концептуальный этап проектирования и накапливать проектную информацию в виде предикатных представлений проектных решений, принятых по ходу встраивания в базу данных проекта.
На защиту выносятся:
1. Модель предикатного представления документации проекта
в компьютерной среде, учитывающая динамику процесса предикации
в актах принятия проектных решений.
2. Методика, информапионно - лингвистического
эксперимента с использованием ранжирования понятий и предика
тов, включение которой в технологию проектирования повышает
эффективность работы проектировщика.
3. Архитектура., структура и функциональный состав ияот~
рум&нталышх ор&датв формирования предикатных представле
ний текстов Тп(0 и их использование в коммуникативной, управляю
щей, эвристической и обучающей целях.
Апробация рабогы
Диссертационная работа, отдельные ее положения и результаты докладывались и обсуждались на Поволжских региональных научно-практических конференциях "Системы искусственного интеллекта и экспертные системы" (Ульяновск, 1992), "Экспертные и обучающие системы"(Ульяновск, 1992), Российской научно-технической конференции "Интерактивные системы"(Ульяновск, 1993), на международной научно-технической конференции "Новые информационные технологии и системы" (Пенза, 1994), на научно-технических конференциях Ульяновского Государственного Технического Универ-ситета(1993-199б).
Разработки инструментальных средств представлялись на выставке "Интеллектуальные и информационные системы" в Ульяновске (1995).
Публикация результатов работы
По теме диссертации оігубликовано 11 работ.
Структура работы
Диссертационная работа состоит из введения, четырех разделов, заключения, списка литературы и приложений.