автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.12, диссертация на тему:Разработка и исследование системы поддержки моделей функционирования в интеллектуальных ...

РГ6 од

~ 7 'Dû Г~CAifrtT-гштегглimn пяяишт&лп

шдая дзггдагсгшгого nnroroew-ara

Ha npina? pjrtntiSCf

TfETîi1' Дзязгад ЛьгошТ

гдэгюопи и исащов/ипш систя подятка юузяй!

вШаОШ1Г(ЛШГ:5! О ШГГЕЛЖШТМШЮГ AF7I

Сязцйосыюсты 03.13 Л Z - свете*?! ахтпзэтязмст прс?яптг!р0ггпгг!

Лпторяфзрот л^сспрттсш па ссйсиапгэ jrwrtt стягшпгг ппл/ядатэ тэдзотзспгх гптл

С. - Петербург - 1593

lï'i'-am г.'шаддапз n Пшз7ЯТ7Г<? npc".*/:'"-: r -r^ir'n ГШ

Evymnñ py-rîono^rro..iff д.т.п., Солоагчягч» В.Д.

(Итпкшлыюо сплтотшта :

до эт. тгшь паук, ст. пс.-;ч. сотр. С"-:''Ггоп И.Я. ксзд. тэт. паук» Ддерзггсз ñ.í!.

Вэдутя оргглсгавцая: Сш;кт-Г!''т!.'рбургсшгй ntcraryr шфз^глтют п

ПОТО*'ЯТПГФШП1 РоссП;*г!й'1 üajtt

2<ппта сссгоптсп fPfj? ^^ira пасзд^ггл сггеия

соьота К 0S3.2I.ai Сттт-ПотерОургссо 1 госудзрстсзгпгзЛ rwrrr-tn

ппропоспчзского лпяйсростгс ira ho o¿p£cy¡

490000, C.'fTerepknpr. / £ //обегая ш , ¿-У,

О дпссаргацдаЗ твио озшжо*иш-сл а бпблготок<> госудпрстсоттсЗ пхпдекни nppoitoe-rnocnoro ггрт^рсстргэквз

âsTopcfspaT рззоаппп „ _ -^î^ g

ЗДепиЙ согфгдхпрь епттшгязпропотюго соеэтп

K.T.K., ДОН» ШМ->ЧШ(М VüClVIbPrr-i

Актуальность и|л>ал»мц. Ц^долл футса^котпт^г>г.глп {тптаилгтемоскии дйн«тоскя®, T»j*A>-.'u гял1*)аэроляиттосгояа ¡ясютм» йсел-1£оппгш пшфшнмо-дофирюрлмнного состоянал п др.) подпится cfsssrj w¡r»ro-тпсхонзшм и вошшм классом ждояоИ, pmpatfttrtamfttatx it пржтшсггп сияют пользоватоляш1м:пещ!плиста*га п игсгхчэстро^.'пнг.

Пользователь-сипцпилист пря рлпоняз оадпч уодплнрог-ттл я сцэп-rm бэзоппсиости, плпшфопшшл доводочшд п вксплувтгаипотт воито-îe3, прооктггровшшл систпи контроля а дяпгно<шгка, шд'».гироппяая я управлэппя отказоустойчивостью долгая работать в гофэгиишзонпсЗ сродо овтспэтгоиропшшого рабочего шстл (AFM). искпзяоптс^а которого являются модели функционирования (МФ}, база двяшх (F4), sîiq-пэрпшя системы (X), рконошчосклэ шдолп, сродства гранка а др.

Basara правильно организовать взагазодойсгвйэ № а ЭС. 11рз рэзрэ-бот!<о ЭС всходят из набора фактов п оггарпрукзтх с ranci правая п создают соотвэтствуидай инструментарий для ввода п родаягярозшсгл правая я реализации механизма вывода. Однако cnrct псслэдовяяая ira f.îS пороздагтг новыо знания-факта (ЗЭ). Особо® злпчгмто для принятая ровоний vistes? ЭФ, получеюшо прл ишшошш п обработка результатов цолонппрввлешшх последоватолыгастой рясчотов (IIP).

Поп тему задача обеспечения опорптипного подсо<*дтн?1гш! лгбсЭ пользовательской Ш> к интеллектуальноиу АРЫ (НАШ), избирательного изменения входных я отбора ршсодншс ппрештров тодоля, шполгонпя цолонэпрввлвшшх ПР ни ют до ля с цольп получения повыл 3® п га представления, удобного для принятия рсЕзнлЗ, является актуальней.

Настоящая работа посвяпчно исследования п разработка îîсссго nporpaf,много средство (ПС J - си с те ги етддврякп Î33> в MAJS1 в шггглю-строоюш для решения слоюшх прикладных задач. Г1рт этем еггзотся d виду католическая - (проведение ПР на Ш), интеллектуальная (использование БЗ и ЭС), лингвистическая (язык обзеиия пользователя е 2i:'J) п программная подцерккя (избавление от кодирования).

Работа вшголнона в Институте проблей мвзпзю водопад РАН d соответствии с Программами РАЯ "Повышение надоетосга cuerea Чодовэп-Ипзпшп-Среда" п "Пробломы управления а автошнпзаюш".

Продает исследования. Предметом исследования яаяяотса задачи, модели я их взаимосвязь в системе юттодтескоЭ, шгвдгзктуалькой, лингвистической в программной поддорвкн И® в ЙАШ в йзашюсгроайкя, обвспочиввщоВ решение слокннх прикладных задач (Ш) m ослопа оп-•шшзпцяп, статистического моделирования а опрэдалапал пвторзапва допустшшх значений параметров с использование»! БЗ п SC.

Метода исследования. Для проведения псслздошшш а рэавзгисш постшиганных в porto гл звдрч использоваязсь осеош теорззз сястса аз-

гшзтгвгровшш&го проектирования, теория вкслэртшх систем, дача» шаЕггачосзше в логахо-рэроятлостные кодели, катода дкадоговог Бз&шда&ствая. статистического ютделарошняя 8 оптимизации.

Наушая новизна. Обоснована целесообразность разработка воио Ш для методической, штеллэктуально8. лингвистической в програшв соддвршш Щ в Ё&Ш при решении СЗ ва основа аптшшацяа, статист некого шдедировадая в построения интервала допусткшх значен гаршатров. Офораулированы определения - условия существования р шшя <23 ва Ш о вшользованием ЭО в проведением целенаправленных 1 два получения новых ЭФ; разработана в создана коншктшза дезъхгптжная модель систем подпершей Ш>. Прэдлоаены: способ акта кого манипулирования Ш> в методика принятия решений по вязуальм графэтэскша в .табличный образам Эй>. Разработаны функциональная структурная схеш организации взаимосвязей компонентов система: шдулвй ПР, файлов, экранных форм, БД и БЗ.

Практическая ценность. Разработана в русско- и англоязычно: исполнении система поддержки поделай функционирования (СШ), возводящая пользователь-специалисту :

подсоединять модель, избирательно указывать нзшняешэ параметра во входном в наблюдаемые в выходном файлах модели, запускать ПЗ (моделирование катодом Ионте-Карло, планирование многофакторнш вксперимэнтов» построение моделей чувствительности, вычисление ковариационной и корреляционной матриц, определение вероятностей па-ршатрачвеквх отказов, построение гистограша, построение сечешй для критериев) и представлять нх результата для принятия решений:

решать СЗ определения геометрических рашхеров объекта, составления- программы доводочных и эксплуатационных испытаний, проектирования карт контроля а диагностирования, моделирования в оценки безопасности в отказоустойчивости.

Офорцуляроваш рекомендации по вшшчешш СШ в состав созданию в создаваемых интеллектуальных АРИ в САПР в машиностроении, разработке наравтевных докушнтов и дальнейшему развитию свстемы.

Внедрение работы. Система методической, интеллектуальное, линг-шствческоа а программной воддершш Ш> внедрена в составе АРУ да планирования и проведения доводочных испытаний технических систем I АО "АвтоВАЗ", "КамАЗ*, "Коломенский тепловозостроительный завод" с используется в учебной процессе Санкт-Петербургской государственно! тшдемта а эрокосшче ского приборостроения.

Апробация работе. Результаты работы докладывались на Всесоюзно! научно-технической коифэрэнцин "Интеллектуальные системы в машшо-строениш" (Самара,ишь 1991) в-на 2 Санкт-Петербургской мэвдународ-

во9 комЭДрокцля "Рогионлльивя информатика"(С.-П^троур' .ипди

Публикации. Наюримм лпссррттдап ояуЛггясрпим г ш»т стгт.яя а шаля в отчоти по 3 пкадаютюскзв! я 4 хо?догспсрш«1 НИР.

Структура работ». Работа состоят пя гглдигяя, тр^х гллп, зп;<-*?>-чшгая, списка пспользавпииой лптлрятур» кл 70 нпикгчпт'.'мткЯ. ОЗейЗ обьом работы 122 ласта; работа содорзстт Э5 ужртоп я ?.

Содпржпнно работа.

Во рслдони'.! обоснована пктуплкность работы, яадоагмш о* сспогтла полоетния, перечислены достигнуто научные п гфаггпгзспсгп р^.чу-ьтпта в приведено краткое содержание разделов работа.

В ПОРВОЙ ГЛОПД И/ПОЛНОН ПЯаДИЗ ЙССЛЭД0ВЯГСЙ5 ПО разработка а аспользованив .»»долой в САПР, кТи п ЭС.

В роботах Д.Потъе, Ы.Уайта, В.Н.Понсапропз, А.А.Лисята образз-отся внимание на необходимость наглядного прэдсггл&ттд результатов моделирования обгянта в гиде таблиц я графиков» а тагск* соответствия создавэомих даделирутоих систем ( Ш ) таздународгш?-» стандарту,

В работах Г.С. Поспелова п Т.Ерена обосяоЕМсеется необходимость использования ЭС в НС. Сбсуядзотся дап способа сочетания пакетов прикладтхх прогрпга (УПШ) с ЭС. При перпш ПШ состппнсй часты) входят в ЭС; при второй ЭС содержатся я ПГП1. В порвем случив с^пщни ЭС вклвчагт: выбор модели из набора ииопзоссл; идентгфтсщпв; упрлплл-пно; симаольнув обработку; япформашнятув поддеряку. Во втором ЗС содержит средства моделирования как инструмента пранлтия репенаЯ.

Для автоматизация разработки моделей,кап альторпптяЕЦ СТО о АР.1, используются структурно-лоппосккИ (Я.А. Сонной,Р.П.Солывшев, Е.Д. Солоешгцов) и ресурашй (В.А.Влттих.В.А.Шбатов) подходу. Прз перге.*! группируют параметры г,«доли по их пеподьзовшпт, задают лзпгчоскехз таблицами схему объекта, типы процессов и пх взайтсвязоО, попользуют типовое описание тормо динаммче паи п дгатдтчвеказ процессов а типовые »годули. При втором рассматривает раалггашо погшзатода иоделп-руояого объекта взаимосвязанно п описывают систему как целое. Взаиую роль играют понятия "ресурс" п "спрос". Объект даделированля представляют как сроду преобразования п распределения» которая етдолиру-ется с помощью сети, узлгши которой является функциональные шдуля, а связями - потоки ресурсов п спроса, передача которых »аду фушася-оналышми кодулями осуяествляется порцняма. ПрогрЕ:~лшо сродства для создания ПШ1 различного назначения (работы Н.Б, Локша, А.Б. Одуло а Д.Е. Розвнберга) позволяет оснааать прикладные програгзг! диалоге» а подсказкаш, передавать в них значения параметров, гшгэрзровать фор-

m 1шдачй ив^ораад&г, Роль связуказго здэдш тщу ряадачшш про-гр&ммгшг ягрзат котттор. Прикладные програ?еш долзаш пмять оотссто-ешув структуру ивода/швода. Нспшгьоовянип иэнш позволяет одаратю-по управлять ПР в ражах задания. Создана скотома г правок (help) i шходошж форматов в шдо таблиц и графиков.

В гастеш кодалировешя для прошшгетгости HASOO? ( Г.Иэкулвк, Дя.Кокрзи), предназначенной для 1Ш PG-совдастимих пошьют©ров е Вриманяэда! по рабочей вдето швяшзрш - пользователем, дааяог организован с пошгзыо окон к ?.:огаз; предпочтение отдапс» использования сувоствущпх моделей; имеется графический интерфейс общего нааначо-шя; автоматически осуществляется генерация отчетов; создшш пралт-1Ш9 для пользователя внходныа вкрагаше Форш, содержащие обучащяз инструкция п подсказки. В качество язш:с дяя написания мониторе, организации интерфейса с пользователем, создшш л ЭС в справок исподь-вовап Пролог. Это сделано для удобства рябого с правилами. Графический интерфейс написан на Си. Для выполнения расчетов использован Фортран, в качестве сродства (моделирования выбран я?т Csw.au. Обученпо пользователя обязательно. Выбирая кодель для расчетов из набора шэщахся, пользователь косет получить консультацию у ЭС, возводящей операровать знакомима ому теряша'.ш ез области производства.

В внтеддектуаяьыш: ARJ в машиностроении, создаваем« в ИШош РАН на основе работ Я.А.Гельфаидбейна, Б.В. Грека, Дй. Кокрэнв, Г. Ызку-лэка, Я.Я.Осиса, И.А.Рябйнина, Е.Д.Соло:шзнцава, Р.Стивенса, для обеспечения безопасности слоишх технических систем на стадиях еизноь-пого цикла (APU для: шдолироваяия и оценки безопасности; планирования доводочных и эксплуатационных испнтсшгЯ; проектирования систол контроля в диагностики; управления отказоустойчивостью и безопасностью) нукно реаать о использованием Ш задачи: прогнозирования параметрических отказов, оцешш тесноты связи типа "влияет" пакду пара-кетраии гра^-шделя объекта контролл и диагностировании; определения упрввлящих и корректирующих воздействия и оценки коэффициентов (обратило задачи); визуализации моделирования состояний и функционирования и принятая ревэний. Технологии втих АРМ гг-стоит m последовательности процедур, состоящих яз 100 операций. Пргморно Г'З операций связана с построение« информационной модели или гргф-*г>дрлл. 1/3 - с принятием решений и 1/3 - с выполнением расчетов нл

Наряду с перечисленными достоинствами рассмотрения мпгя ПО н информацЕонншс технологий, отиатнм их недостатки:

ив виделоны типы ПР, наиболее часто проводник* пильжжа голяки на ЦФ в САПР, ДП1 и ЭС; '

задачи штоднчоскоЗ, шггеддоктуааьвой.дшп'гастич^ммгой я програа-

ИЯОЗ ПОЛЯРрйКй !JÏ> В 0ЛШ\А1У Я 30 рляпгтся J4*tfi ш

пмпгдайг.ттш с Щ я Fil я <5«з oprîiS пп îmrwn'? потг

структура гунп-дмяогв лпля^т^я язлеетэ г^еттой, тго vpvfifM следования стандарт** пюдп/гаюдп ггрэ nnuncaitra nporp-^i xt ижсз-лмюго обучает пол 1- ? о п нт*1 -t" ft птвмлястя бо,чызтягтгя гозд/и obîx ПС;

J!DE03i-50Tnf0 ОДНОПр'"',,Ч!НО СТаЯ'.'КЙРЯТЬ Ttncs'ansto Гmnjyniz mpT^T-роа a аз взакшсиязи: отсутствует удэб иыо ср^/лгтгя лиг го

ntttxiногтя входных поре^тшх; нельзя пспагхгогяп. ПС кля ддл псслэд-опалЕй ив tiS.TBK я для аЗроЗотта рэзультяттп г?йтурт/г

ггопярспоктяпт^ 1*з-зв слэеиостя сясг«ку ппгсадптетятята рл"рэ<4зткя 1Я> H средств Ш1ПОЛН"Ш1Я НЗ hex ЦрдеПЗЛрлПЛЗИШХ ПР.

Ha осяовшгая провод»югого яна-ткзо сл°.'лг? ?-тад с тобгорзгктя разработки нового ПС - сястрмч пэддярдая Щ в «яггадэтктуал* mà АГЗ»

оформулфоизни цель п эплггл! иссярдоппшм.

ц?ль. работа: яссл<»дорпть п рззрзботзгь спстеиу для м^тодг^?-СКОЙ, пнтоллоктуэльнса, >та1ГЕЯСПППСКОЯ и nporpotwîoa годдпрзэт t*>-Д9Л«Й фу!тЩ!ОНЩХ>ВШП!Я s СИГОЛЛОКТуаЛЫПП АП1 с ц?д1р сктярлсро î/s-!тпуд1трорзнкя пмп для Полунину! ггошл знагай-ф^гсгов я р^сстр^гая coDîfosnocTGa паяьэовптоля-атоцпялпста jvsoTb ' на стядпя прсэггпфопз-впя слоишо пршишддао эздачя с псполуг^пэндаи 8яау?ртап тестом. Осношщо задзчп работ»:

сформулировать определения и услоеяя суцдсшзгшшя р? го тля csrctt-wix ириклдднчх задач на с использовсгаеы ЗС л проездит?"?! trvr направленных ПР для получения поетх злштЯ-фонтов;

разработать конгкттаию-дязгиттипнуэ отдать cncTfrai псдд«рх?а 1Я>, ПОЭРОЛЯЕЧУВ ртезть ЗЯДП'П} исследования и построятся сясге?-! ппд-доряся ьядэлэй в тггвллоктуалът/х ARi;

разработать способ активного ишгапудпровоисл Ш>, мклетакейгй в прясоодтшнлп модалп. из^ярятсльиеа зодзлшд оо п^тимемд вход-'п п паблвдзяю« виходоп я запуска ПР для получения истх з;!шша-фактсс;

разработать татодпкп принятая роеогтЭ по Елзуалыкп rpnjrпостета з тобличним образпя знаний-фактов;

разрпбототь функциональную п С7руктурнув cncTfltii, спррда-

ляизло взога.юевязь нс^я ое коотанянтов; - .

разработать СП?! иа програ^кных ерэдетвзд Пролог п to для ЭКУ ira PO в ерздо КЗ-DOS и опроборать ее но М533ПЮстрсйггал№1Х предприятиях;

разработать рдко^ндсют по шшэтршга СШ а состав создгсятая а соэдппйотзк гаггаллоктуплыпи АП1 я САПР а езЕзтострозния.

Во птороЭ .глава Езлоаог?а взтодака пострсэкзя cxtcmi г^тодагчос-кой, кптоллэктуальной, лтшгпж'ткччскоЭ п прогршдаоЯ поддвргзш Ш о

Ö

юггв&кктуододо ДШ в юштоотроаюю,

Прогркдгз - шдядь фуикцяошфовмшя, ш-ишаяся у згальзояоголя, Iii.;, лрлважо, мослт бить нрпдстаялена в виде:

Г « У { У, G. и. Z, 0 ) , (I)

где: У - кноднио (KonTpc.TOpyf>i.2iö) парадатри: Т - плгойрсячоскае шш> даффоропюпльнцо урлниокнп; V - входные параметры от »вш1 алэма-нтов шк среди; G - геометрические pnnwopu объекта; U - управления, вадаизие росли функционирования; 2 - коррекция, обеспочявввдвв качество Функционирования^' - плохо опроделошше копЭДици^иты «одолз.

В соответствии с (I) введены следуадяе классификационные признаки -тагов расчэтов иа Ш на стадии проектирования :

1) парЕкатр* y,V,U,2,C,G п гас текуцке сночения; '

2) средние или номинальные значения параметров Hy,7,u,c,c,g;

3) дисперсии параметров Dy,v,u,s,c,g;

4) интервалы допустимых пначоний параметров Ey,v,u,r.,c,g.

Наиболее чисто используемыми прикладными расчотпми являются:

1. Даторгашнрованноо моделирование. Заданы №r,u,c,c,g. Найти Ну.

2. Определение размеров объекта. Заданы L'v,u,e,c или функции от V, U, Е, с. Вычисляются Hg при Ц0ЛОВОЙ фуНКЦЕП f (У) -> ГД£.

3. Идентификация объекта (модоли) о задачах управления и доводочных испытаний. Заданы Hv.u.c.g и Kyl, где yl - расчипшо значения. Измерены в результате эксперимента Ку2 и Гу2. Оцениваются Ыс и De, г до С - коаффициенти модели, при целевой функции f (YI.Y2.C) -> nln.

4. Определение управляших воздойстпий п задача?: проектирования састои управления и программ доводочных испытаний. Заданы UvJ,E,c,g и HylJ, где: YI - заданные значения, J - ресим испытаний. Вычисляются UJ Ви при целевой функции i( Нj.yj.uj ) -> min.

Б. Опроделмшо корроктирущих воздействий в задачах проектирования программ доводочных испытаний. Заданы üy, Ву, Hz. Тробуотся определить Bz соответствующий Ву и выделить на атом интервале дпекрзт-шю значения Z, например по два слова и справа от Ms, чтобы использовать их для коррэкции при выходе параметров У за Ву.

6. Прикладные звдочи на основа статистического моделирования (например, оценка вероятностей поршетрических откгг.'нп). Заданы üv,u,r.,c,g п Dr.u.z.c.g. Вычисляится Цу и Dy.

7. Прикладные задачи па основе определения интервалов допустимы* значений параметров (например, задачи проектирования корт контроля в диагностики, «тегам управления отказоустойчивостью и безопасностью). Заданы Mvk,c,g,ult,2 в Втк п Bult, где к - режим работы объекта.

Кз рассмотренных тшюв расчетов на Ш на стадии проектирования выделим слодунцао СХХ21ПЭ задача, которые чещо всего и" рпваются

строгая мптямяглчогпп'я »птОЯГЗП7, )п |«гзт с'нп-. р^'с-^п? лем-гпогдеалястоу с пг;»~п] л ПС:

1) обрэтгшо пздячд гсггяикззют для гзрмптрор С, И, 2, 0 щгл аадашшх У;

2) ПрНКЛЯДНЫП ЗЗД37И ЯП ОПЛОГП СТ.ТПГСТ1П9СКГГ0 МЗДРДЙрОРЯНЯЯ с оценкой ДИСЛСрСИЯ (ГГ.17ИСТ7К) Ру ЩЯ ЛПДПТПШХ СТПТЯСТККЯ*

Я гачислояпом, НЗПрлтф, РЯрОЯТНОСТРЙ ОТКПЗСР ГУТО-

дол п их керроллцлпппй матриц»;

3) пряклпдяыо зпдзчг по спюго определения кютрг-ллз дптустг«« аяпчоииЯ Ву щгл залппних интервалах допустим гх зизтпекй Рт.ч.г.с.б е построапяон лсгпко-пнзжтгн'сисЯ яля лэтасо-штобрагласяой обгокта (У*1,ослп значонпч пряиад#?шгг Ру а У-Ю в протетноя елучм).

Ебодэно понятно слог^гЯ прикладной задя'ст <СЗ) нз г.»:\г.?ла "(I), характоризутеойся пппелнтолышмн трудностями, пообходдаостьв прз-шзиокип авристичоскях уятодов.пзгоокогзгостыз приять рлтпгзт<? по р?-пультатпм одщвгшого расчета, я гидол»?нн слоены« прахиднн»? ?.»дгл? на ослоео опти.!7г.зцк:: статнспгчэского »»делярзразтл' (СЗги) ?.

построения гаггорвелеп догтузгптх гнэчепкЗ У-пзра».*?трса СЗ рэшпотся с пякаьв ЭС с 35 я ЗП. '

Опродолонио I. Реа-эпксм СЗ яз МЭ с ттгягодю 30 нззорсм тгту» ло-слодопатольнозть доЯог&гсй (ГШ) пользователя, в р?зул17это которой ВСЯ ОГО тробопшгия к ГГрО«К71ГруОУСМу оСмкту будут удгвг?трор?км.

Спрэдс-логзтэ 2. Технзлоггой регсготя (ТР) СЗ нз с ггзгкянз ЭС назовем ГШ, осущостзляаишс нз оггтопоята базы гизгатЯ ЕЗ:

ТГзс = ПД { №>, СЗ, БЗ ). (?)

Если результатом ТГзс' будет ресатга СЗ, то буд^я гогорать об Э?.-разроаимостп рассматрлгазмэй СЗ: Рсз » ТРэс'.

Опрэдолотта 3. Назовем набор полним по отпегенпв к ТР, родя он позволяет построить ргпгкао ссютватстгухгцэй СЗ я добаплонсо нового ЗФ на припадет к измэиапгав росетея.

Опродолонпо 4. Казовом непротиворечив»!! набор ЗП полним по отго-шзшго к ТР, осли он позволяат построить реватго данной СЗ, а добап-лзнпо нового правила нп привэдот к изотнпгдв регенпя.

Утворядозшо I. Кета СЗ рпзропатуа, то для ссотвотстаут^ой ТР гу-по стаут: полный ппбор ЗФ, полниА набор ЗП л ПР на Ш (ПРггф), ггазго-ЛЯЩПЯ ДОПОЛНЯТЬ ИПбор ЗФ ДО ПОЛНОГО.

Утвпрядоняо 2. Число рпзлнчних ПРкф конечно.

Утпарадонпв 3. На осногэ полного набора знштй-фаптов г.согда «окно построить полшП набор оигитй-пртшл.

База знашй ЭС состоит из зиотгЯ-правил а пяшпШ-фштгоп:

РЗ » ( ЗП, З-ЗМ . (3)

Ití

Баз утора обзностя иогхго предполагать, что 11Д однозначно опре-дедапа ЯП, ЭФ и ПР. Тогда:

Feo - { К2, КЗ, ВП, ПР) (4)

Теорошз. Кола СЗ шкеет ресюишо, то она SO-paapetowa.

Доказй-едьство. Возьмем некоторая набор знаний-фактов 321. пост» pomi па его основе непротиворечивый набор знаивй-прввил 31II. Полу чел ' БЗ для 30 па основа ЭТО п ЭИ. Такт образом будет" получена некоторая ТРЗ. Выбором некоторую последовательность расчетов Ilftafil и будем с ее пошщью получать новые знания-факты, пополняя исходную БЗ. В результате придем к новому набору ЗФ2. Если окажется, что решения, полученные с помощью ЗФ1 и ЗФ2 совпадают, то ЭФ1 полон, следовательно, пекшая ТР построена в ЭС-решение СЗ найдено. В противном случае выберем ПРьфЗ и с ее шшои>ю будем пополнять ЭФ2 и т.д.

Поскольку Рсз существует, то продолжая этот процесс, за конечное" число шагов (утверадение 2) достигнем полноты набора 'ЗФ. lia ого основе (утверждение 3) всегда «охаю построить полный набор ЗП. Тем самым ТР, обеспечиваадая решение ГО, построена, в следовательно (определения 2 и 3), построена и искомая ЭС, т.о. ЭС-рэшетш СЗ.

Следствие I. Для решения СЗо на № достаточно иметь полный набор ЗБо, набор ЗФо и ПРо, позволяющую дополнить ОФо до полного.

Следствие 2. Для решения СЗсм но Ш достаточно иметь SIlDc - ЗП для оценки статистик плохо определенных коэффициентов De и ПРВу -ПР (моделирование методом Ионте-Нарло) на модели для оценки статистик Dy, позволяющую построить полный набор. ЭФ.

Следствие 3. Для решения СЗпи па Ш достаточно иметь ЗПВт.и - ЗП для оцвшш интервалов допустимых значений Bv.u параметров V.U модели и ПРВу - ПР (например, планирование многофокторннх екезгаримонтов) на шдели для определения интервалов допустимых значений Ву, позволяющую построить полный набор ЭФ.

Объединим эта три следствия и запишем общую логическую функции возможности решения СЗ на УФ в матричной форме с учетом, что ЗФ и ЗП могут быть представлены либо в виде продукционных правил "если-то", либо в виде графических образов:

ш> C3U ЭФШ snull IIPu

33X12 anu2¡

таг 3&zl anzi IIPÍ",

ЗФй2 31Ш|

СЗс ЭФс1 ЗПс2| ПРс

ЭФс1 ЗПс2|

т СЗсм DC ЗШЗс Dy lIPDy

ш СЗЯШ Bv,u впвт,и • Ву ШЧЗу

H

где вяокеитн n правой чьсги внрпюшия-кятргаи прягамзот зитенял О аля I.onioaojmo между оло:а<нтп?/я п строк« "И",и weajyr стрск.г»ет"5*ХМ'4,

Эта {юдоль 01ТриД'Ш!0Т кпк rMWZUOCK! ¡'х'^омпя рЛГШГПТЯХ с.л1к,г:>л задач, гшс п компоненты (ЛГ'1 я иозет яспользопаться для: Е>ссл>дгтпияд л построения СНЫ; опенки слсшюстп, технического уровня я нядояности систогя!; вычисления индивиду альта я групповых посоггзствП р.скчютп-топ при их взаимосвязи "И" и "ИЛИ".

ПрОДЛОЕОН способ АКТИВНОГО ГШОШуЛ5фОВШГЛЯ Ю При poS'MÍKTJ СО.

Он вллючвот в собя: присоединение избирательное» эпдчние en кз~ шняоных входов и наблюлпемых выходов, запуск IIP для получения новых ЭФ, просмотр результатов п принято peromrfî. Этому способу соответствует слодущая схема взаимодействия прогрга,«!, файлов и окрагашх форм (ОФ) при проведония любой П? на Ш> {рас. I). WS выполнена в стандартной фор,« в виде нсполияокхзго РГЮ, входного 1Ю и выходного OUTO файлов и находится под управлением г-клагтеря UPRI, который взаимодействует с програмчгает UPR2..... UFPJî для каждой ПР. Задание на подсооднпонио .УФ, выполнение нуяной ПР, взбира-тельное изменение взодов и избирательное отслошпшпто выходов осуществляется при заполнении ЭФ IK2, 0UT2.IN3, ШГЗ,... По шу>д-,?шшн данным задания формируется файл задания. INI и создается копия файла 1Ш с нуашш изменениями. После выполнения на модели ГШ одного расчета ira последовательности, указанной в задания IUI, выбираются нуяные параметры из файла OUTO, указанные в файле INI, и передастся в файл OUTI. Результаты всех расчетов последовательности накапливаются в файлах 0UTS2, 0UTS3.....обрабатываются автономно исполняемыми программами UPR2, —, UPRN и выводятся, на дисплей черта соответствующие ЭФ для принятия ревений.

Такой способ мв штудирования УФ делает но завлекши! все исполняемые прогренаш - файлы PRO, UI'RI.....tfFRN, нобор которых штат

расширяться, а та!Ш) входдао я выходные файлы ПЮ, IM, IK2,..,

Ш1; ОШЧ, 0UT2,..,0UTH; OUTSÎ, 0UTS2.....OUTSî), которые кояно

просматривать а редактировать по меро необходимости. Более того, иотат быть сколько угодно программ UPR2, UPR3. ... для ПР. Однако в силу типовости принятой схемы выполнения расчетов последние будут включать болызоо число инвариантных кодулой, осупоствляеещх передачу информации кеаду файлами INO.INI ,01ГГО,0иТ1 и т.д. В "качество методической поддержи СШ выброкы ПР на „моделирование Мснто-Карло с указалием случайных партгетров п их характеристик во входном файле и вычислением матонатических ожиданий а дисперсий отмеченных ппрвчетров выходного файла;

Планирование миогофпкторных вксперяшигов с указанием варьируо-

Рйс. 1. Прщщипзальяая схеиа взаимодействия программ, входных к

выходных файлов прл выполнении последовательности расчетов

Ввод —

Вывод

Экранные формы -1—

Справка -подсказка

¡П

§ I

л

* О | г

I - ;_г----г" т:"""г; нл

База данных

^----- * ~ 1----- — — ~ -----^ А -----г-

Работа со входными перемешлаш I» — 1 Создание выходных форм

1 \

Выполнение типов расчетов Обработка результатов

I

Рис. 2. Схеш прэобразования информации в СТО!

шх параметров lî-j imnw. » . п* уровней n o/wwm1'?» ко?Ф£ает-овтов линейных ypaiïiii'Hi'fS лsn оттч'юшя« finp'n.'tyjy.-îi mviwiro <î«îl£ft;

построение мллчл<'й чуг.-сттктлл! mer» с упмпятш глр «ïpycrax параметров во в*одаюм ФчЯло. их мала пр?р««икЯ я

ВИКОНТОВ ЧУГ'СТГ'ПТОЛЬН.ТП! Л-"« Г'Ибр/ИПтх iWf':^"rpCP J1lWZ,WO фпЙЛ.Ч построение сечений лпя ni>aTnjnï"a с рт'ш«*«« г-ipîripyr-^ut nnpn-КОТрОЙ ВО ВХОДНОМ (УлЛло, их предельных гцгпчсггкЛ Я РЭСТрООШГИ» иолинейю« футашй и градов для указанны* пгрсм^трсв.

По результатам ¡»¡о.^лмрошнгня гитодо*» >.?ои?>'-îOtpjso продусггатреиэ:

ПОСТрОЙНКО Корролишшшоа П КОВЛРЛЛЦИЭШЮЯ матриц ДЛЯ КЯбргШШХ пл-

рвштроа выходного ФлПлп; опрг>дп,г"н«г> вероятностей отказов - выхода аа допустимые значения избранных параметров пмходзпго (|айда - п предлолдомиш нормальности распределения ; построение гнстогрг»?з рЯСПр<ШЛОНШ1 ДЛЯ НЗбрЛШШХ ПЛрЯВДТрОВ ВЫХОДНОГО фяйДЛ.

В сга обеспечивается такае обработка дмпшх вкспериянгга: формировало матрицу шшнирелзшгя тгогофгьчгорнза оксперяконтов, зтю-сенио результатов експоргемнтов в текстовый файл, вычислоюю фацвентов лило fana уравнений-регрессий; занесение стати стпч^сгсгх данных в текстовый файл, вычяслогае персах четырех статистзчоскях моментов распре деления, корроллщтошей п ковяряашгзшгсЗ кятрзц, вероятностей отказов п построение гистогрпзтл растре;;'? "о кий.

Сформулированы требования к лингвистической подд»р2ке DM. В частности, она долина позволять самому пользователь-специалисту: подсоединять к системе своп прогртзгы - шдодя обгоктой; избирательно указывать изченяокыо параметр:« на моде и Нйбгйля-oîîho параметры ( результаты ) на выходе ьзодеда;

запускать нуюше последовательности { типы ) расчогой; запускать на дополнительную) обработку результаты расчетов и выводить их на акрян в удобной табличной плл графической фор".*?; сохранять результаты исследований на модолн; обрабатывать но только результата расчетов, по и внлязпгоеге результаты экспериментальных исследований; принимать рогаония на Э3>.

Интеллектуальная поддерика СПН осуществлена п вздз принятия ревоний по графическим и табличным образам ЗЭ, полученных о результате выполнения ГГГ. Продлояенн два способа принятия ргпянай: I ) ив осиово продукционных правил "Есяа-То" ; 2) на основе грнфтческих образен.

Правила являются на лучшим способам принятия росетгй, так как при болызоЗ цепочке ответов "да" и "нот" по каэдхчу признаку-параметру специалист терпит логику рлесувуганай, несмотря на наличие в

Ii

SB Чзшгапгл! huivjna" и h>xr;.oi:i$Qru укодгь m окрина .щспмв mrn-чосчсия Kipasnmiß. Bora« и|птг»вкят0лтш у прюткчаюаг (кчясш&эчаци дял пггЕШюрэ ГАШпсп xrjniiiiiîs;« рстани!: ризуаяью lío понятным гу-4',:-чыжя oöpasKJ и простей тейд-дщгл. Отв»т m rpraJsiKy вг&яшяпт отбэу во больно та ело лраш'л, то о с 71, uni; би сшртыврот прппг.лг:., В атом случвэ о явкоа вцдз отсутствует 30 в ов ойодочка.

Исходя кз пвэдонпшг пэлзссобразгаи ПГ на пргшяты сдадщзш-шоклшшэ форуу продставлэюш 5Э и coocoöti пр:шяткя рппонвй :

1) грсфтчешшо образы: глстогрогсш рзслродолпння У-пароетгров; ф/шщнп рэспрэдзлэгаш У-лара:;отро1> с пцдолокейм области п шгасло-mieîi взроятноста ияодо параметров за допусти?-ио анпчошш; сочошш критериев; rpiil.ii: затрат-потерь по Y,U,Ze...- парткатрш;

2) твбхкци: коЕф^ишонтов вО, al, о2, ... лшюсризоваиих тда-дэй для U, Ъ - паршотров; корреляционная матрица У-гтрш,:отров, по' которой пршЕ&гозтся равкншо о шборэ таких Z-коррэкций, чтобы при .устранении отказов одгшх У-парамотроа пэ возникали откази других Y-пара;:отров; тсблкца порсого. второго, тротього и четвертого кояэн-yob распрэдэлошш У-иарглэтрэп, по которой г.'огшо щишять роазнио о вдборз тепа фуикцпл рпепродзлония У - ппралготров.

Рвссштрэп иржор выбора управляющих воздействий U пря разработке проглажу доводочшх ncnuTaimS с использованном правил и графачосгсих образов, показиваздаП прошущзство последнего.

11а'.шояопты информационной технологии CIU опродзлеш порто cou: IIíT « (БД, КЗ, PRO, ira, 01ÍT0, UPRi, im, Oirri, SOI, ЭЗШ, S-ïi(Ilîi), ЗФ(ОТТ1), 0ÜTSl;0Urii,0UT2i,. «. ; 3a>(0UTIi).9ü(0lJT21),..), (8) где: UPiti - прогрпггла <схе-фа$1л) для i—il ПР; ЭЖ31 - ЭЭ для захвата ®;IHI,0üTi - файлы с избирательно заданными иходдшш и избирательно пвбладвоиыии выходным! паракатрь%и Щ>;ЭФ(ЗШ), ЭФ(ОШЧ) - ЭФ ддя избирательного пзиэпеиия входных и выбора иаблвдаеыых Битовая па- ■ р&мэтров Ш; OÜTS1 - файлу с выбранными иарадетроми вводного фа&да Ш>, гонорлруоныо и рэзультаго выполнения всех процедур 1-й ПР; OUTIi, 0UT21,... - файлы дашшх дли обработки результатов i-fî ПР; ЭХ (0UTI1), 35(ШГ21) - Э2> для иродставлошш результатов выполнения 1-й ПР в удобной для принятия росоняй форет; 3G1 - ЭО {евгиентяро-вашшэ знания) для принятия раионий по 1-й IIP.

Обосновано прншшшша двух ра:иигчюгх пзшеов прогртлтравшшя -Ся и Пролога, toöop Г^юлого обусловлон поличном в ном мощных срадсте роботы с БД и ВО, а такго оначятольння omiTow в его Еспользоватш и ИТШАШ Pâli. Пзшс Сп лучко поддорияваот гр»^поскп2 onoptoSo п прокодоино вр^фг~дхичос<ш£ 1-;:1чпслотШ и хорошо стикуотся с Прологи^ rip*í использовгиаа vypöo-спстои фпр-а Borland.

:• Iñ

Ядро упрчилнн^Я щхи'рш-тщ ин (рас.2) езстяпялст ср^дствл диалога, подсооданитя I» пользователя п паредл-га дтппд t^nxy про-гргг~.к>П-мо!П1торо:.» на Прологе а прогргкмкп па Са. Передача гпгфрпя-шгл стяду исполнлемияи модуля*® осупостпллотсл чррзз фг?Ял о псталь-

ПОВШИЮМ СОГДВСОПШШЛ ВХОДНЫХ И ВЫХОДНЫХ фор?1ЛГ0Э.

Процедуры ввода/вывода включены в гояовиоЗ модуль каэдоЭ всполняеиоа nporpa'siu для уыеньпонпя нагрузки на степ. Однако спа-ршщя ввода / вывода низнего уровня, свлз ajean с передачей дагапа Пролог-Си п Сп-Пролог, оформлены в виде отдельных процедур из-за частого обработал к ним. Для опорацкЭ поиска нптпяеьаа опячонаЛ п строке, кодификация этой строга!, а такта разделения плодной строка на числовые дашмо п комментарий введены отдельные подпрогршга.

Для вычисления Ну и Dy, 3-го я 4-го ляямптоп, ковярзвцяоийгса я корреляцяогаой иатриц, вероятностей отказов я построения гпстогрпыа распределения пзброшшх параметров шиодного фаПля пользовэтодьскоЗ дадели текло предусмотрены отдельгао подпрогражы.

Разработаны простая для запоминания шмшзнпчоская схема присвоения шеи системным файлам СГР1 и слодуггао требования п создшга справочно-пнфоруацксннсЯ систег?! { help ) СПУ: доступность в лззбоЗ момент сеанса; краткость, но ясность; гпсгглря9?~*ость о тсы часта для пояснений па иностранном лзнко.

В третьоЯ главе описывается реализация nporpc?~tnoro обэспечоная СПУ и приводятся технические паргстетры сястегз.

Система поддержи гтадплой построена в соответствия с прззтппа?гз структурного программировать (ряс.З). Для придания cncTtif.*e стабаль-носта максимальный уровень ялоаештстп модуле Я но просыпает 4. Из-за многократного пспользорпния одних я тех п> модулой о разима типах ПР п при обработке их результатов введена библиотека процедур dopss.llb.

Разработана схема генерации СШ. Модули па Сп п Прологе транслируются п компонуются раздельно. Трансляция a коглтонсшса Пролог-прогрmat осуществляется в среде Borland Turbo Prolog 2.0 с использованием пакета Prolog Toolbox. Полученный еяе-файл выполняет функции монитора СП?.!. Трансляция и компоновка Ся-програ^п осуществляется п среде Borland Turbo С 2.0. Полученные прл. otcü ехе-файш соответствуют следупям племчнтпч главного tíaira: Еоделировяше *гетодом Конто-Карло, планирование гпгогофзктормх оксперимеитов, nocTpoeirae моделей чувствительности, ганислокпо ковариационной п корреляционной мчтрпп, еччислснкп впроятностей отказов, разовый расчет, обработка результптоп планирования натургах пкслэрпмзптоп, статистическая обработка г>»!п»>р^кл)гтплыых датой.

П p О J о г

Средства дналоге

Basa 'i

дашшх

Экранные Форш

Избаратольвоо

задание M

заедав арло

Плакированса УЭ

Построензэ кодоли чувствительности

Разовый расчет

Построзшо гнстограиа

Обработка натурного акспертанта

I

Справки в подсказка

С в

Сродства шшол-нвния расчетов

Г

Просмотр результатов

Вероятности отказов

Сот- в Сог-- матрица

Модель чувствительности в иэ

Разовый расчет

№стогра®ш -

Избиратольнов заданно ШХ

1

Подсоединенно

модвлй

Запуск

типов

расчетов

I

Указание вк, ШХ

1

Обработка результатов

Шделпрованва Ыонте - Карло

Планирование МЭ

Поотроогшэ Сот- п Сог-матриц

Построение шдели чувствительности

Построение гистограмм

Разовый расчет

Вычисление вероятностей отказов

Обработка натурного аксперишита

Вычисление п} «¡знаков опасности

Рис. 3. Структурная схема С П U:

Cov и Сог - ковариационная ш корреляционная (матрицы),

МЭ - ивогофакторные вкспериментн,

ВХ, РНХ - входные в выходные переышпшо

infona.ini

"I— т

0-4-

L

I ■

inform, par

ffiodel.par т

«k

-о-

eodLinp • lAf

model.mes

model.exe

-Т" ч

-о-

ZZTZZ____

шда,вь пользователя

r-G

ЮСК1е1.Г88

-о I

т

Рис. 4. Прогршэда "Моделирование штодом Монто-Нпцло" (лсвив информационного обтт.

t-^-Jjnxi out.lni

Cössnsst по назначении для пакета СПИ тшштсд сл«яукда файлы: inform. Inf - коифягуршшл сзсттзи о txwnr запуска кмтосяятая,-шЭ програ?«н. Создается иелштороа па Продого иосхэ эпяаяганпя экранной форш а операции "Подсоедшонки модаля";

Inform, par - фзрмзтн для что га л файла lnfora.inf. Яааяотсл внутренним для системы СПУ ( сястеюоа ).

Файла распродалаш го грушша о запзссшста от шпгштешз ©уп~ гадай а основных свойств, вводеиы шгешшнеюшэ прятала ксастругтроаа-нлл ах пион, исследовано вромя задортш з звезспкосгн от «гпсда произведенных . пользоввтелом во вромя сеанса исправлений а объема БД.

Оппсаны по единой схека логнчоскзе я функцзоаадышо подула, а таюэ файлы СПИ. Разработали кнварзшгпша стдага, шспояьзуеето кэ-сполыашп подпрограммами, и оригинальные »гадудя для каждой програк:зз свстеьш. В основу шдслагая функций-шдулой п ододовтоз кэша пшэ-ла ш логическая п функциональная згааотутость.

КааднЗ исполняемый файл соответствует "чоргс^у потораЗ

подсоединен к главному «они. Условно говоря, каздиЗ езе-фз&з роаля-зуот макрокоманду внутреннего языка OTJ, хотя фактически ксгишзгз языка заданий састсш слугат эдеггонты t-cnra. "

Програил!, вводящие в СПУ, опнсаш по слздуЕззиу пяпяу: структурные схемы, отобранащгз перарххгчесяоэ строэнзе программы, связа казду в& еодулямз п йнфориаизонноз взакюдойстсгэ иеаду файлами сястекы, которые участвуют а работе nporpmsrj;

управлякщвя програша (головкой модуль); осла она выполняет ез свойственные тэдулям такого уровая функции, то это оговаривается; инвариантные водули, пртсутствуЕша такзэ а другт прогрг::.?.:пз; оригинальные модули;

инвариантные системные файлы, пспояьзуенна друпзля вэдуляка; оригинальные системные файлы данной программы. Оригинальные системные файлы гзогут быть сдодукззх тшоа:

а) файлы входных данных с рагашренпем Inf, порэдаваекно Дрогпг-ишнтороа в Си-програшу после заполнения подьэоватэдшз акрашай фор), соответствуггюх операции, реализуемой данной Сз-прогршаюй;

б) дополнительные входные файлы с расширением dat алзз tst;

в) файлы для чтения входной ЕЕфорлацдя в ©ореттэ Пролога о расширением par или аса;

г) файлы выходных дашшх с рассшрзшем Inf, поре даваемо Пролог-Монитору поело завершения выполнения Ся-прогрсгсз» для поелоду-щего просмотра а соответствушой 3®;

д) допатйгтелышо выходные файлы с раширэнпеи öat алз tat, ко-торга шгут быть предназначали дяп чтения ооютораи, и

соотватотвотно, предстпвлтш im трат выходными форшжи f.tw\ п|к>

CUOtp фб&Лв Е® ОбЯЭВТвЯвН ПО ОКОЗП8НШ СВ-1фОГр«даЕ1, If <Ж1 ШКХ'

прошотрзть со встроенном ро докторе СШ в текстос^м рока»,*

о) фаШа с расширенном тез яла txt, содершвдго Флейты душ бй шеи выходных диадах и предназначенные для того, чтоба ктип^спщрз шшша пользователя СШ шала воашявостъ одарптпвпо ыонпть фироз представления выходной информации. Часть втих файлов 'сдугдт Епблазпэ ш для создания выходных файлов, продназначенши для просмотра н ЗЭ ш) фаШш с расширением dat вяз txt, содapastare дополнительны! форматы для запаси выходных данных,в большинстве свсом служат стбло неда ддя создания выходных файлов, но предназначенных, дяя просмотр, в ЗФ Пролог-шнитора, но могут предназначаться й дея других цохзО;

в) другие файлы, например,для хранения протокола иодадзроЕШшя вэтодш Шнте-Нарло - model.гее, для хранения шаблонов вкроив upa пзображэшш гветограш - inform.bou и т.д.

В качестве примера приведена схема информационного обиона да программы "Иодедирование методом Монте-Карло" (рпп. 4).

В Пролог-мониторе меню организованы так, чтобы соотватстаоват] естественной последовательности действий пользователя. Оиораццц Ешкшшеше на более ранних стадиях,располоконы слоев в горизонтальной iíóни в сверху - в вертикальном. Главное кзив и «знв второй уровня организованы в порядке следования их вломантов слава направо или сверху вниз. В работе меню описаны по следуксузму плану: пзобра-вэнда кэню на дисплее; назначение алешнтов коню; указанно на нала-4150 аналога среда елокантов других меню и ЭФ; дейстгая пользователя, Экранные формы разрабатывались в порядке следования соответствующих элементов меню: слева направо и сверху вниз. IIoc.ro гсчарланш вломантов главного меню осуществляется переход к мои» второго уровня. Поскольку порядок операций в меню естественоп. то в начала сеанса называются входные формы, а в конце - выходные формн. ЭФ опнсаш по следующему плану: изображение на дисплее¡указанно на налнчио аналога среди уже созданных ЭФ; поля ввода и вывода; пюгоба сохранена» и удаления информации; действия пользователя.

Соадана система помощи для меню и ЭФ. Разработпннглт СПУ ориентп-рована на использование на IBM PC-совместимых ПК модели АТ-286 н ниве в среде MS-DOS. Система содержит 78 файлов, из них 9 - *.ехе, i занимает на диске объем 0.8 Мб. В свою очередь файлы *.схе (тип расчета) включают в ребя до 9 оригинальных и инвариантны! модулой. Головина модули на Са содержат средства взаимодействия с юдчкнешшш модулями, ввода и внес)да, обработки ошибок, а такжя рыя.чвп пользовательской программы-«одели а некоторые вычислительные процедуры.

Пол/чет датою о результатах ооитоИ еяаигуптпяя ПИ п.ч рз-1ШХ машшостроитблькых предприятиях (ДО "АптсПАЛ", АО "Н.^а:г?» ГГ 1-детольствувчм о высокой »Яфектювпостя системы я по^.-ъетсстпа еэ дальнейшего совервонствопшпя я развития.

в заключений отмечено. что в результата гзптоя:о?шого нссгл;:?:''?-ния расширены возможности псцпалиста роспть пэ слояте простак* вадачи опродолейИЯ размеров, разработка прогрел догслгпмх п эксплуатационных испытаний, прооктиронаипя корт контроля п диагностирований, модолирования я сценки безопасности й откаэоустсГлнБсста.

Основные результаты работа следушйо:

1. Обоснована нообходимость разработка нового врогретогого средства для Методической, интеллектуальной, лтнтастгчоской а щх)грп-шюй поддержки моделей фу? кцио/птровамия в шт> лл;> к ту плып'?. дга п ;'■>,-ввшбстрооннн» позоолянцэго ревать на стадия просптпрсазнпя сложа прикладные задачи на основе оптимизации, статистического иодеглрс&з-няя и определения интервалов допустимых значений парс? троп.

2. Офсрмудировшш определения в утверждения о супествованггл решения сложных прикладных задач на модели фу1ваЬо5иройЗ!гая с пспай»-вованием экспертных систем и проведением цолонппрапдашпх вательиостой расчетов ДЛЯ получения новых знаний-фактов.

3. Разработана ко1гьпютнвно-дизъюнктивная г» даль систол поддержки моделей функционирования, возводящая ропать задача ясследояэ— ния я разработки систем поддрржки моделей в внтпллеотузлыпп АЕ1.

4. Разработай способ активного манипулирования етдзльп Сушада-онирования, заюдачащиЯся в присоединения юделз, ггз^гтрзтолмгс: задании ее изменяемых входов и нпблвдоомых выходов я залус:;е псслэ-довательпостой расчетов для получения ясных знагггй-£п:стйя.

. Б. Разработаны методики принятия решений по пязуплывп грг4:пос~ ким я табличным образам знаний-фактов, полоетшше в основу создания' соответствущего интеллектуального обеспеченая СШ.

6. Разработшш футгкционалълая и структурная схоги спстг-з), поло-венные в основу создания системы и определяете взаимосвязь всех ее компонентов: Модели функционирования, модулей последовзтель-яостей расчетов, файлов, экранных форм, баз датшх н знаний.

7. Разрзботапа в русско- й. англоязычном пспадиетя из прогрп::-иных средствах Пролег и Си для ЭШ Ш1 РС в среде 13-1X33 спстемэ зоддержки моделей функционирования, позволящал споцпалпсту подсоединять модель, избирательно указывать изменяемые и набагдаег^.'е пор-метры, запускать послэдовательяости ряпотоп (мадолт!ропш-:по ?"о.чте-(ярло, планирование зксшримектов. построение шдодз чуЕствптодшь

ста, пгшсдашю корреляционной матрицы, определенна сзроятностэЗ дэразеттрэтеских отказов, построение гистограмм и сечешйЗ для критериев) п представлять 22 результаты для принятия роаегай!.

В. Проведена опытная эксплуатация СШ нэ рялэ маяппюстроптель-ш предприятий ( 10 АвтоВАЗ, АО КамАЗ и др.), показавшая ее высокую йффиктиыпсть в составе АРМ и САПР. Система вклЕчона в AFLt для прогнозирования, планирования и проведения доводочных испытаний слоеных техцичаских систем, применяется в учосном курсе Санкт-Петербургской государственной академии аэрокосмичэского приборостроения "Введение в интеллектуальные АРУ и ЭС".

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

Основные додовэния диссертации отрагавы в печатшх работах:

1. Саддянцев Е.Д., Повлзкнко А.В..Гпйзоронспстй АЛ!.. Черток Д.Л. Модели для интеллектуальных APJ в mbekhoстроениз. - Препринт 3S> Ш&Ш Ш СССР П 54. Л.: 1991. - 48 с.

2. Сагогэнцвв Е.Д., верток Д.Л., Консвев В.В. Сервисные средства воддертш моделей функционирования в интеллектуальных АРУ // В кн. трудов Все с. науч.-техн. конф.: "Интеллектуальные системы в ивзшо-СТроенпп" (Самара,30-34 ишя 39Э1), часть 3. - 05> ШАШ. - с.65-6В.

3. Согогзнцев Е.Д..Чертой Д.Л. Диалоговая система поддержки функциональных моделей //Программные продукты и системы, 1591, '.'4, с .1&-ZC.

4. Solo^hcntaev E.D., Chertok D.l. A methodologr ana an information. technology for rsodel-supportIng software // В препринта ШШАШ РАН Н 64 (на англ. яз.), СПб.,1932.- с.25-33.

5. Solozhentse? Х.В., Cfaertok D.I. РгоЫеа-oriented Intelligent cutoaated corks tat ions for leading specialists in machine-building// В сб.тр. кегд. ковф."Автоматизация, роботика и фзбршш будуцего-93", е.- Вэтэрбург, 17-20 мая 1993 г.