Введение к работе
Актуальность диссертации состоит в том, что методы автоматизации построения МПМ не зависят от специфики моделируемых объектов и могут быть использованы в различных предметных областях для решения проектных и научных задач.
Автоматизация построения КПК требует решения с помощьи ЭЙЫ следувцих задач:
1)выбора необходимых для МПМ программ из некоторого их множества;
-
Определения последовательности использования программ в МПМ;
-
Организации информационной связи ыекду программами ЫПЫ.
Первая и вторая задачи возникли в связи со сложность!) исследуемых объектов, когда его компоненты исчисляется сотнями. Решение третьей задачи обеспечивает первый вариант построения МПМ.
Способы решения внес описанных задач рассматривается в работах по автоматизации программирования в рамках технологий структурного С работы Кинга Д., Кнута ?... Ильина В. Д., Фииера А', и др.), функционального (работы Нзкуса Дм.. Хендереина П., Хоара Ч. и др.) и логического (работы Миллера Д., Тейза А.. Хоггера К. и др.) программировании, а тайме в существующих системах автоматизации проектирования нТПЫ (система построения пакетов программ ПРИЗ, рассматриваемая в работах Кахро К.И. и Тыуг.у Э.Х.). Однако в рассматриваемых работах не учитывается связанные с построением и эксплуатацией МИМ объектов приблемы:
-использования независимо разработанных программ моделей компонентов объекта;
-модификации программ многопрограммной модели; ~
-использования и обработки знаний - разработчиков программ и пользователей МПМ.
Цель и задачи работы. Цель» диссертационной работ является разработка и исследование метода аптоматизации построения многопрограммных моделей слоіннх объектов.
Достименио ппстаиленнай цели обеспечивается ремением следуя-«их задач:
1 (Разработка структуры организации ШШ.
2)Выбор формального описания программы и теоретического аппарата решения задачи выбора программ для модели.
3 Разработка алгоритмов и правил взаимодействия елементов структуры КПП.
^Разработка структуры организации библиотеки программ.
5Разработка алгоритмов и правил выбора программ для КПП,
б Разработка алгоритмов и правил определения последовательности использования программ в КІМ.
? Разработка алгоритмов и правил организации информационной связи мемду программами КПИ.
В)Раэработка правил использования Ш для ревения проектных и научных задач.
9Реализация автоматизированной системи программного моделирования и-исследование результатов работы.
На замиту выносятся:
1).Структура организации Ш.
2).Формальное описание программы и аппарат его использования для ремения задачи выбора программ для молили. , 3).Метод автоматизации построения МПМ.
Методы исследования. В работе используется методология системного анализа, теория функциональных зависимостей, теория графов и моделирования.
Научная новизна. . І.ІІредлоіена структура организации КПИ.
2.Предложено формальное описание программ модели и аппарат его использования для их выбора.
З.Предломен метод автоматизации построения МПЇ.
Практическая ценность.
1. Предлокенный метол автоматизации построения многопрограммных моделей сломннх объектов не зависит от специфики предметной области'и моїет быть использован для ремения различных проектных и научных задач в лябых предметних областях.
. 4 -
-
С ішмоцью предложенного метода можно проектировать И создавать системы программного моделирования вне зависимости от язика программиронаниа, используемого дли составления програми модели.
-
В результате-использования предложенного метода можно проектировать и создавать системи программного моделирования, работавши в сети, объеднпянщой различные ішчні-.лиіилыши машини.
-
Предложенный метод позволяет снизить затрати па построение ИПИ без снижения эффективности сі: использования ни сравнений с ранее используемыми подходами сі: проектировании.
- 5. Использование предложенного метода повивает качество раз рабатываемоА ШШ за счет прямого участия в ее создании специа листов предметной области и расширенных возможностей пи ее отладке и тестировании.
Реализация результатов рано ги. Предложенный метод автоиагиза-
ции построения Ы1Ш сложных обьентов реализован в системо "автомати
зироигішюго исследовательского проектирования корабля . "Оценка",
которая используется при провидении проектных и научно-исследова
тельских работ в Военно-морской академии, о также в обучении слу
шателей по курсу, "Проектирование надводних кораблей". Результати
диссертационной работы использовались такмо. в хоздоговорных науч
но-исследовательских работ с научно -исследовательским институтом
им, П.11. Крылова (Санкт-Петербург). Внедрения подтверждаются соот-
детствютими актами. '
Апробация работ». Результаты диссертационной работы обсуждались на отраслевой конференции "Проблемные вопросы проектирования корабля" (Ленинград, 1380 г.), на межвузовской конференции ВНФ, на II Всесоюзной конференции "Искусственный интеллект 30" (Ыинск, 1990 г.), на международном симпозиуме "Визуальный анализ и интерфейс" (Новосибирск, 1 ИЗ і г.), па всесоюзном семинаре "Качество программного обеспечения" (Сочи. 1Я!)1 г. ), на заседаниях кздедры САПР СШ'Т'1 (Санкт-Петербург).
Публикации. Результати pafioiu опубликованы в ІІ раСпых.
Объем работы. - Диссертация состоит из введения, четырех глав, заключения, списка литературы из 67 наименований и грех приложений , Работа изложена на 151 страницах машинописного текста (без приложений) и включает 14 рисунков.
солмвшшг: Рішити.
Во введении обосновывается актуальность выбранной темы, определяются цели и задачи исследования, кратко излагается содеріание глав диссертации^-
В первой глаее дается описание системы исследовательского проектирования корабля (СИП), рассматриваемой в работе в качестве примера. Анализ задач, выполняемых этой системой, и методов, направленных на автоматизацию их решения, позволил сформулировать в п.1.1 функции, которые долмны осуществлять средства системы автоматизированного исследовательского проектирования корабля(ШПР) для выполнения научных и проектных задач. В связи со сложностью объектов, рассматриваемых в кораблестроении, показано, что модели этих объектов требуется рассматривать в виде совокупности моделей их компонентов. Каждая из моделей компонентов объекта содержит знания из самостоятельных разделав предметной области, характеризующих подсистемы корабля и решаемые кораблем задачи(энергетика, гидромеханика, живучесть, прочность, тактика военных действий и т.д.), и, вследствие этого, разрабатывается в виде отдельной программы независимо от других моделей.
Анализ традиционных методов программирования, используемых при создании первого варианта СЙИПР, и этапов жизненного цикла КПП, проведенный в п.1.2, показали, что затраты на разработку и эксплуатацию модели некоторого объекта СИП могут бить сниіенн не только благодаря средствам автоматизации программирования, но и за счет снижения затрат, требуемых для многовариантного моделирования, проводимого на этапе сопровождения КПК. Содержание жизненного цикла любого программного изделия определило необходимость решения в диссертации двух проблем, связанных с построением КПИ: проблемы ее структурной организации и проблемы выбора технологии ее разработки.
В п.1.3 проведен анализ форм организации КПК, учитываюжий возможность модификации ее программ на уровне минимальных затрат. Этот анализ показал необходимость использования двухуровневой структуры организации КПК, в которой ее программы находятся на втором уровне, а первый занимает ее управляющая программа.
Необходимость автоматизации построения Ш потребовала анализа традиционных технологий, связанных с автоматизацией программирования. В качестве таких технологий в работе рассматривается в п. і
- б -
1.4 элементы структурного(п.1.4.і). функционального(ті.1.4.2) и ло-гнческогоСп.1.4.3) программировании. Помимо традиционных технологий автоматизации программирования, в работе проанализирована система построении пакетов программ ПРИЗ (п.1.4.4). Использование для НПУ программ, разработанных специалистами смежных организаций, потребовало анализа технологии объектно-ориентированного программирования, проведенного в п.1.5. А необходимость использования знаний, пользователей МПИ при реиении проектных и научных задач, потребовала рассмотрения в п. 1.6 интеллектуальных технологий, нспользущих различные модели - представления знаний и способы их обработки, Анализ технологий программирования показал, что средства построения МПМ могут использовать лишь отдельные элементы рассматриваемых выше технологий, так как ни одна из них не рассматривает вопросы снижения затрат при ыноговариантном моделировании.
На основе анализа технологий разработки многопрограммных моделей и структурных форм их организации предложен в п.1.7 состав информационно-программного обеспечения системы автоматизации построения и эксплуатации ШШ. В основе структуры организации ИПМ предложена форма описания входных и выходных параметров программ, названная в диссертации фреймом, а такие предложены методики, обеспечивавшие автоматизации построения МПЫ и решение с помоцьв .нее проектных и научных задач."Элементы фрейма, сгруппированные по функциональному назначении.-названы слотами. Предложенная структура КПП, структура и содержание фреймов позволяют обеспечить:
.1 ^автоматизации построения МІШ за счет:
-возможности выбора любых параметров программ, благодаря использопанип для них во фрейме значений но уыплчанив;
-Унифицированного представления данных, необходимого для организации связи между программами ШШ;
-Жоммутации данных между програмками, осуществляемой » терминах предметной области.
-Согласования типов передаваемых данных между программами;
2 использование для МПЫ программ, разработанных независимо между собой, благодаря хранению параметров вне их прикладных программ:
3)повымйние качества разрабатываемой МИМ, благодаря доступности к любой информации о параметрах со программ, которая нсобхо-
_ 7 -
дима при отладки и тестировании модели.
4)сниіение затрат на разработку и эксплуатации ИПК не только за счет автоматизации ее построения, но и благодаря возможности простой модификации в ней программ.
Методики построения МПЫ направлены на решение следующих задач:
-адаптации программ для их использования в МПЫ;
-организации библиотек программ;
-выбор программ для МПМ;
-определение последовательности использования программ в МПК;
-организации информационной связи между программами:
-использование МПН для решения различных проектных и научных проблем предметной области.
Построение МПМ осуществляется но запросу пользователя, который представляет собой задание на вычисление с помощью модели функционального отношения меіду двумя множествами физических параметров исследуемого объекта. Благодаря автоматизации задач, свя- х занных с построением МПМ, в результате задания системе многопрограммного моделирования запроса пользователя программные средства систем» осуществляют выбор программ для МПМ, определяет последовательность использования программ и организуют информационную связь между програшмами МПМ.
В выводах по первой главе сформулированы задачи автоматизации многопрограммного моделирования, которые решается в последующих главах.
Во второй главе подробно рассматривается организация МПМ и формальное описание программ, необходимое для автоматизации их выбора. Многопрограммная модель представлена в виде совокупности программ, названных в диссертации базовыми моделями(БМ), управляющей программы (ШІ) и связывающего Фрейма (СФНп.2.1).
Управляющая программа . организует последовательность выполнения БМ.
В состав СМ входят: прикладная программа (ПП), входной (ВхФ) и выходной (ВыхФ) фрейм. Лля входного фрейма и выходного фрейма БМ могут использоваться файлы непротиворечивости (ВхФН и ВыхФН), описанные в п.2.4. Необходимость их использования связана с независимым характером разработки ВМ. Во входном и выходном файлах непротиворечивости задается диапазон допустимых значений парамет-
- 8 -ров БН D виде логического отноиения ЕСЛИ-ТО.
Входным (выходным) фреймом БЫ называется фрейм, содержащий слоты, характеризующие входные(выходные) данные ее прикладной программы. Такая организация БН отражает процесс ее функционирования и делает простым ее использование в МПИ. Входной и выходной Фреймы СИ предназначены для хранения информации, необходимой для организации информационной связи между ПН в НПИ и обеспечения участия специалиста предметной области в контроле за построением ЫПЫ и адаптации ее к изменяемым условиям. Слоты фреймов БК характеризуют параметры прикладной программы и содержат их значения^.2.2). Различают системные и пользовательские слоты входного и выходного фреймов БИ. Системные слоты характеризуют весь фрейм параметров БИ. В состав системных слотов входит тип фрейма дан-ных(входной или выходной), имя фрейма данных, имя БМ, указатель фрейма-сына, указатель фрейма-отца, служебный слот, признаковый слот. Служебный слот содержит имя автора фрейма данных, дату создания фрейма данных, дату последней модификации фрейма данных, количество пользовательских слотов. Признаковый слот определяет возможные действия при обработке входного или выходного фрейма БН. Он состоит из указателей, в зависимости от которых выполняются различные процедуры обработки фреймов. Все элементы признакового слота имеют два значения: . положительное и отрицательное. В состав .признакового слота входят следующие указатели: указатель вывода на экран, указатель проверки границ, указатель модификации, указатель связи, указатель вывода на'печать, указатель использования файла непротиворечивости.
Пользовательские слоты содержат информацию о каждом параметре БИ и состоят из следующих элементов(ЗПС): имени слота (ЗПС1), наименования (ЭПС2-), указателя наследования слота (ЭПСЗ). указателя модификации (ЭПС4), указателя допустимости границ (ЭПС5), указателя функционального типа параметра (ЗПС6), указателя скрытости слота (ЭПС7), указателя связности слота (ЭПСВ), типа параметра (ЭПСЭ), единицы измерения (ЗПСІ0), значения параметра (ЗІ1С11 ). граничных значения параметра (ЭПС12), значения модификации (ЭПС13), имени фрейма- передатчика (ЗПС14), имени плота фрейма передатчика (ЭПС і 5), индексного номера слота (ЗІІСПі), указателя положения на графике (ЭПС17). ЗПС12 содержит минимальное(шіп), максимальное значение (шах) и значение, характеризующее значение
- 9 -логической операции ME (по). Подобная структура пользовательского слота обеспечивает полнив информацию о параметрах БН, которая комет бить использована в процессе построения и эксплуатации МПМ.
В отличие от систем искусственного интеллекта, использующих Фреймы для представления знаний, фреймы БН не передают друг другу управление, а используются для информационной связи между БИ. Прикладная программа БН играет роль присоединенной процедуры мемду входным и выходным фреймами.
Связываний фрейм используется для организации снязи поїду БЫ и образуется как результат объединения их»Фреймов(п.2.3): СФ=ВхФС БН1 )уВыхФ( БИІ)v... ВхФ( 6U2 )«ВыхФ( БН2 )v... ВхФ( БНп )уВыхФ( БНп ). В многопрограммных операционных системах при параллельном использовании БИ связываний фрейм используется такіе для синхронизации выполнения БИ.
Так как запрос пользователя характеризует функциональное, отношение мемду параметрами предметной области, то ответом на него должна быть отношение, адекватное запросу и вычисленное с помощью одной или нескольких БИ. Поэтому для автоматизации выбора БИ в диссертации предложено использовать функциональные отношения иездч параметрами каждой из этих моделей(п.2.5). Функциональные отномс ния определяют факт наличия взаимосвязи между параметрами БИ, а зта информация при независимой разработке БН моает быть единственной.
Функциональные отношения рассматриваются в теории реляционных баз данных в работе Д.Иейера "Теория реляционных баз данных". Основные положения этой теории приводятся во второй главе. Использование функциональной зависимости ФЗ), характеризующей функциональное отношение, для описания программ било осуществлено ранее в работах Кановича( И.И. Канонич "Эффективные логические алгоритмы— анализа и синтеза зависимостей"), но при этом зависимости не применялись для решения проблемы планирования в пространстве задач. В системе построения пакетов программ ПРИЗ функциональные зависимости использовались для определения разрешимости пакета программ на основе аксиомы транзитивности Кахро И.И. и др. "Инструментальная система программирования ЕС ЭВМ (ПРИЗ)"). Однако этот подход не обладает полнотой для формального описания программ пакета. В диссертации предлокено использовать ФЗ имеете с аксиомами их вывода (аксиомы ймстронга). Полнота аксиом вывода ФЗ доказана в работе
\
- ІО -Д.Нейера. D основе теории ФЗ используетсяiее определение.
Определение. Отношение удовлетворяет функциональной зависимости (F-зависимости) Х->У, если из ti(X)=tl(X) следует ti(Y)=tJ(V) для всех і и J. где 1,J-порядковые покера кортеїей от-нонения.
В этом определении Волынки буквами латинского алфавита (X.Y) обозначаются подмномества атрибутов схемы R некоторого отношения г реляционной базы данных. Иношество значений некоторого мношестпа атрибутов X обозначается через tl(X), где tі С X ї -1-ый кортев отно-«ения г со схемой R.
В соответствии с определением ФЗ в п.2.5 сформулирована теорема, которая доказывает услопис их применимости для описания программы базовой модели.
Теорема. Если программа содермит в качестве входных параметров иношество X,' а в качестве выходных-шюшество Y, то ее мошно представить в виде функциональной зависимости Х->У.
Доказательство теоремы основано на свойство детерминированности -алгоритмов программ базовых моделей.
Анализ описания'программ с помощью ФЗ показывает, что использование единственной зависимости мешду входными и выходными параметрами программы базовой модели, например X1X2->Y1Y2,.при решении задачи выбора БИ мпшет привести не только к снишенип эффективности их поиска, но и к ошибочному выбору БИ. Это очевидно, если программу БК описывают функциональные зависимости: XI — >Y1 и X2->Y2. Общая зависимость программы (XIX2->Y1Y2) выводится из ФЗ XI->Y 1 и Х2оУ2 с помощью аксиом, рассматриваемых в теории реляционных бл;і данных. Для поиска Функциональных зависимостей, содермащих минимальное число параметров БИ t в рассматриваемом примере это: X1->Y1 и X2->Y2) в п.2.Б приведена соответствующая методика.
На основании этой методики строится блок-схема алгоритмо программы БИ, включавшая блоки-условия и блоки-вычиелкний, » составляются ФЗ, характеризуемое блоки-вычислений. Не рассматривается те ФЗ, которые отраіают Факт переопределения входных параметров БИ. С помощью полученных таким образом зависимостей строите! направленный граф. Построение начинается с зависимости, в правої части которой содермится имя выходного параметра программы, и про долмается после анализа атрибутов в левой части зависимости выбп ром новой зависимости, в правой части которой находится анализиру
- n -
емый атрибут. Атрибуты левой части ФЗ, которые соответствуй именам входных параметров, отмечаются и в дальнейшем в процессе построения не используются. Процесс построения ФЗ программы БМ заканчивается, когда все ФЗ, соответствуете блокаи-вычислений, исчерпаются или на графе будут отмечены все вериины. Получившаяся ФЗ программы 511 запоминается. Если в программе существует другой выходной параиетр, то весь процесс определения зависимостей повторяется. В итоге для программы БМ получим мнояеетво ФЗ.
В диссертации введено следующее обозначение ФЗ: первые симво
лы любого атрибута означают имя базовой модели; затем следует сим
вол 1(0), характеризующий принадлевность параметра входномуСвыход
ному) фрейму БМ; далее следует номер параметра во фрейме DM. Нап
ример, функциональные зависимости базовой модели NAME имеют вид:
НПНЕІ1ЫПМЕ12НПНЕТЗ-> NAHE01NAHE02. На основании обозначения ФЗ оп
ределяется принадлеаность ее некоторой ПИ из мноіества базовых мо
делей. . .
R выводах по главе выделены основные вопросы диссертации, рс-илемые во второй главе и связанные со структурой организации НПМ, формальным описанием БМ и методикой определения для БМ функциональных зависимостей.
В третьей главе описан метод автоматизации построения МПМ. В соответствии с этим методом, по запросу пользователя средства программного моделирования выбирают из библиотеки требуемые БМ и строят из них многопрограммную модель. В состав метода входят:
I)методика организации БМ, содерващая алгоритмы и правила взаимодействия но*ду структурными элементами базовой модели;
2)мптодика организации библиотеки базовых моделей;
3)мстодика выбора БМ;
4)иетодика определения последовательности использования БИ в МПМ;
5)методика организации информационной связи меяду БК.
0)мет»дика использования МПМ для решения проектных и научных задач предметной области.
В основе первой методики, описанной в п.3,1, используются правила организации взаимодействия' меяду элементами структуры БМ:
- )Входным(выходным) фреймом и входнымСвыходным) файлом непротиворечивости, в соответствии с которым определенные элементы пользовательского слота Страничные значения параметра) принимают
- ІЯ -значения из файла непротиворечивостиСп.3.1.1);
-)Входным(выходным) фреймом и прикладной программой(п.3.1.2), в соответствии с которым осуществляется ввод(вывод) значений параметров пользовательских слотов входного(выходного) фрейма в прикладную программу( из прикладной программы).
Так как разработка прикладной программы БМ моют вестись на любом из универсальных языков программирования, то организацию информационной связи мемду фреймами и прикладной программой ЕМ предлагается осуществлять с помощью программных процедур, реализующих правила взаимодействия мсіду этими элементами структуры БМ. Іестко зафиксированное местоположение вызовов процедур позволяет автоматизировать не только процесс составления прикладной программы БМ, используя для этого готовые средства, но и процесс модификации прикладных программ, разработанных в других организациях и используемых для построения МПМ.
В основе организации библиотеки СМ, описанной в п.3.2 используется справочник функциональных зависимостей, описывающих функциональные отношения "мемду параметрами предметной области. Этот справочник содеріит функциональные зависимости БМ и функциональные зависимости, характеризующие одинаковые параметры разных БМ. Справочник состоит из двух разделов. В первом разделе хранятся функциональные зависимости базовых моделей, а во втором мещбазовые зависимости, характеризующие одинаковые параметры предметной области, использиемые программами разных базовых моделей. Для обеспечения эффективного поиска БМ первый раздел справочника разбивается на подразделы, соответствующие отдельным элементам структуры предметной области. Функциональные зависимости справочника оформлены таким образом, что кащдый атрибут этих зависимостей однозначно определяет параметр некоторой базовой модели.
В п.3.3 описан алгоритм вывода ФЗ. содеріащей запрос пользователя, результатом которого являются совокупность базовых моделей. Исходными данными алгоритма является мноіество ФЗ из справочника зависимостей и запрос пользователя. Алгоритм использует вывод ФЗ, содеріащей запрос пользователя, на основе аксиом ймстронга. В процессе выполнения алгоритма могут использоваться различные критерии выбора зависимостей: минимальное или максимальное число параметров БМ, минимальное или максимальное число БМ. В результате выполнения алгоритма получаются символьные последовательности, со-
- 13 -Яерілцие пиона базовых моделей, который являются исходными данными алгоритма определения последовательности использования h"M.
Алгоритм определения последовательности использования базовых -моделей, описанный в п.3.4, входит и состав четвертой методики. С помощь» этого алгоритма вершинам направленного графа, соответствующим именам БМ, ставятся в соответствие метки, значения которых определяют порядок использовании БМ.
В п.3.5 описан пример выбора GH с помощью иписашшх вше методик, использующий базовые модели САИІІР корабля.
Ориону пятой методики, приведешґой в 3.0 гостаплшт правила организации информационной связи мевду СМ, ислользуаде термины предметной области, хранимые в определенном элементе (ЭПС2) каждого пользовательского слота входного и выходного фреймов ПМ и названные наименованием параметра, II случае совпадения наименований параметров разных БМ в соответствующие элементы пользовательских слотов (ЭПС16) фреймов этих моделей записывается индексный номер, которому, в свов очередь, соответствует отдельный пользовательский слот связывающего фрейма. Для организации слонной информационно"! связи меіду DM используится указатели наследования, определяющие направление передачи значений параметров БМ. Правила организации информационной связи мєїдц БМ оформлены в виде алгоритма, исходными данными которого является результаты выполнения алгоритми определения последовательности использования БМ. Алгоритм построен на основе эффективных методов поиска строки символов при существования множества предложений.
Алгоритмы, используемые в методиках построении МПМ, взаимосвязаны и реализуем» на ЭВМ.-
В и.3.7 описаны правила использования МПМ для ревения проект- них и научных задач. Эти правила построены на основе существования опцих задач, связанных г. проведением оценки влияния одних параметров МПМ на другипСп.3.7.1 ) и заменой ВМ при .многоварнантпом моделирование п.3.7.Я ).
А выводах но третьей главе выделены основные вопросы, связанные с описанием метода автоматизации построения МПМ и с описанием обчих правил решения с помощьв МПМ" проектных и научных задач.
В четвертой главе описана реализация программного обеспечения СИП корабля. В основе реализации системы используется системная программа, которая по запросу пользователя строит МПМ и обеспочи-
вает пользователи с помоев нее ремсние проектных и научных задач, В п. 4.1 описана физическая организация структурных элементов КПК В главе описаны команды четырехуровневого иерархического ыеип, осуществляйте: разработку и отладку ВИ: работу с библиотекой БМ; разработку и отладку НИИ; эксплуатация KflK; организацию локально? сети меіду мини-ЭВИ и персональным компьвтерои и программнус нод-деріку метода для этой сети. При организации фреймов НУ в виде файлов увеличивается время выполнения КПК, поэтому при эксплуатации модели предусмотрены программные средства ее преобразования о КПК с фреймами БК в виде общих областей памяти. Эти программные средства описаны в п.4.5. В п.4.О описаны примеры многопрограммных моделей САИЛР корабля, построенных с поморье предлоіенного в диссертации метода. Среди этих примеров рассмотрены: КПП корабля, состоящая из базовых моделей,, характеризуемых камдув подсистему корабля и представлявших собой совокупность расчетных формул;. КПК геометрического образа корабля, состоящая из базовых моделей, характеризующих отдельные элементы геометрического чертема корабля. Первая КПК используется для получения тактико-технических характеристик корабля, а вторая модель служит для анализа возможности размещения подсистем корабля, выбранных с помомьв первой модели.
В выводах отмечены ремаемме в четвертой главе задачи диссертации, связанные с практической реализацией метода автоматизации построения КПП и его исследованием.
В заплачений сформулированы основные результаты и выводи диссертационной работы.
В приложении 1 содермится пример прикладной программы, со блок-схема, фреймы и командный файл базовой модели, используемой в системе автоматизированного исследовательского проектирования,
В приложении 2 содержится пример использования программных
средств, повывавжих эффективность использования КПК, построенной с помоцьв предложенного в диссертации метода.
В приложении Л содержатся примеры многопрограммных моделсС CfMP.
