Введение к работе
Актуальность проблоі/н. Разработка экспертнш: систем (9С) являот-
сл одной из наиболее пэрспйгстизкых новых информэдюктя технологии. Стремление довести уровень ко'ах-тепткости SC до урсггп еєдугліх гкс-пергов требует создания Саз знаний (13), содер,тз.~;х ллопто тизячи правил (или других элекзнтоп знаний). Это, в своя очередь, педгг к технологкчзским прсблзизм создания боль;;п:;: гл-го:;о>сачзствеш;ііх ЕЗ. Прі:;слзді:о:"і програумист. еоздаїгуії исполняемую па SE'J <ор>.у представления зиашгЛ эксперта, дшезп получить правильную, и?дедіуз, зо>-фэотнз.чую по' разлггяь?! критериям и депсо сспрсдс^дае.'.'ун 13 20.
Чзщз всего в качестве основного средства роалнзаи":і таких 13 применяются продукционное система, з тс: ч::сде, с реллцн-'-ппь'гл язы-то'-!! нрограммнровачил. Следует отг'зггггь, что обгеїсги в програмках на тагах языках и операцій пал этгд-д! сбіен.тага спк-л-зззгся, гаг. правило, в терминах, кз поззодяа~ліх прикладному програ^с-сту кепосг редственно оцзіппзать 'E-vze указанию "арз::тер::ст:::сі .чачзствз полученных БЗ. йг/ і:єсбход:?.:іі спецг-алкнг! сродства ги кзі^реігул.
Разработка їсзтодоз и средств к~экерепня програм-.', паллсанних кз алгсртмічееких йгг.Ы: прсгрсллірзЕачкя, гуподн-тэтся у"л более-20-ти л?т, Такте срєдсїїез дурно сх-дгісслсателіккч пзкпонентои развитых технологи?! пазрсіст;-! cpcrpr." гтсго о^?спач8")?л ЄЕ:<. ПодоОшн j-.'отоди и средства для счстеи-рзхтз:Ьзисто ярогра^грозання с непроцедурны::;! ягілсгіа типа Реляп з хлтгрптурз ::с упс!г:^а.'Л'оя. Тої не кепее использование подобных; средств для создания больших БЗ тре-бует тзорзтичзсгаЯ прор.мбог.'з: Ъгпроооз та::-г?к::-;і копфлвонтных систем декларативних продугаши, рзглгдзусгсг» р.з.г.т.^'гоннюл программа»::! (РП). и праютчесиД прсвзр;з! прэягогзттг: гітодсз. >%ло.тдпннз обстоятельства опредедлоі' астуаль!тсо?ь дт'"с^ртг.'*догп:оЯ работы.
Цель и задачи і:ссдздова:гпг Недъи ді'ссзргатаскноп работ:; являет ся разработка ьгэтодоз л средств галзрзггл ?П п репзнпе задач создания визскокауествеккья БЗ ЕС с :;czo;3>coTW.iKtt полученных кегодов и средств.
Для достилзнкз селі д;:осертац;;о:п:оЗ работы предполагалось решпь следукядке паучно-техгшческта задач":
-. сформулировать оС~;Л еэдход j: определению объектов измерения т.
разработать t/зтодц реадкзацхі средств измерения РП;
исследовать возможность использования результатов псі.кренші -'Л для их оптимизации;
разработать кйу».>д ерзвш.-ния мекду собой языков пг.лгра».ад:р; га-
4' пня ко их применимости для решения определении* классов задач;
разработать средства измерения РП - измерительный процессор
я&ика реляционен) программирования Реляп - и оценить затраты на
реализацию и использозание Функций измерении;
исследовать с помощью разработанных средств реальные БЭ ЭС с
цздью выявления недостатков самих БЗ и средств их создания.
Матоды исследований. Для рекения указанных задач использовались элементы теории формальных языков и грамматик, элементы теории множеств, элементы теории графов, метода системного программирования.
Научная новизна. Новые научные ревультаты, полученные г работе, состоят в следушем.
і. Предложен универсальный подход к определению объектов измерения программ на произвольных языках программирования. Этот подход обеспечивает базис для конструирования.средств измерения программ.
-
Предложены новые методы реализации средств измерения программ. Специфицированы функции и'-данные таких средств, базирующиеся на концепции абстрактного типа данных.
-
Поставлена задача оптимизации РП, основанной на измерении потоков данных. Предлодены решения этой задачи, выполняемые как на этапе трансляции, так и при выполнении РП.
-
Предложен метод сравнения'между собой языков программирования различных классов, учитывающий реальну» практику использования этих языков.
Практическая ценность/ Практическая ценность диссертационной работы заключается в ело дующем.
-
Предложенные методы реализации развитых средств измерения программ доведены до инженерной практики и могут использоваться при создании измерительных языковых процессоров.'
-
Исследован процесс развития обычного языкового процессора, в измерительный. Оценены трудозатраты на это развитие. Определены затраты ресурсов ЭВМ на намерения РП.
-
Разработанные при выполнении работы средства измерения РП, написанных на языке Реляп, использованы для исследования реальных БЗ SO. Эти средства продемонстирсвали высокую эффективность: иссле-лоьанка пезьелило вьст-ть значительное число дефектов БЗ.
-
Выполнено сравнение ислольгования реляционного языца програм-мированил Реляп и обобщенного универсального алгоритмического языка для реализации F& SO, подтвердившее явно выраженную целесообразность использования первого из них для этих целей.
Г>. Кссяопованы реальные S3 &\ Ььивл<мш деф.-кты этих IX? и
средств in разработки.
Реализация и внедрение регудьтатоз работ». Представленный з ;а-боте цикл исследований по ызтодаи и средствам измерения РП 6tu ь^:-яолнен в рамках каучко-исследоЕате.5Ьсіск тем Института автоматній! и процессов упразгевкя ДВЭ РЛй
- "Исследование принципов конструирования, причинения к реализа
ции ПробгеККО-ОрКЗНТЯрОЕЕЯНИХ ЯЗЬЛКЗП ПрСДОТаВЛвНИЯ 8И8НЙИ" К
гос. регистрации S1055371;
- "Исследование технологически принципов создания, обучеккя и
сопроведдеиия экспертных скстея кач составной части іатематическогс
обеспечения перспективній 3BST, И гос. регистрации 01Є80107744.
В указанных НИР -втер принятая участие в качестве кспояиителя и ответственного исполнителя.
Система измерения средств реляционного прегр-ниироваякя СИСРЕП внедрена в отделе экспертных систем Института атоматаки и процессов управленій ДЕО РАН как составная часть технолога создания БЗ БС. Штеркзли работы используются в учэфюм процессе Дальневосточного государственного унисерсстета в спецкурсах, а техгз при zisiczni-tttrt курсовых и дкплсігла: работ.
Апробашгл работы. Результати работы Сьии представлены :;а:
Шждуї'ародлоЯ корфзрзяцкгг "Oopendcbility cf Artificial Intelligent Systess (DAISY_S1)" в 1S31 r. (г.Вїгз);
Всесоюзной Konjepenmni "Методы тразгелацки я конструирования яреграш" в 1984 т. (Г.Шзосн&грс.":};
Всесоюзной гколз-совесалки *Цроолеш проектирования зкепертпих систем" в 1S88 г. (г.йхкЕа);
Всесоюзной научно-технической пмояз "Еэзнэ информационные технологии в системотехнике" в 1283 г. (г.Одесса);
Всесоюзной конференции "Методы трансляция и конструирошшя програші" в 1088 г. (г. НзвоиаЗгрск);
Всесоюзной пколе-сеїяпарз йо проблдіям рзезхрябеея средств программирования и гстода* оценки траксязтероз в 198 г. (г. Фруизе):
Всесогоной научно-практической конференции "Гибридшх» интеллектуальные системы" в 1991 г. (п. Терскол);'
III Всесоюзном семинаре "Качество програ*,агного обеспв'»иия" в 1991 г. (п.Дагомыс);
региональной секгагаре "Мгтоды повышения качества программно) \о обеспечения" в 1990 г. (г.Влідивосток);
конференции кгалздих ученых Института автоматики я niou'.v.wi' Управления ЛЮ РАН в 1985 г.;
- научных семинарах отдала' экспертных систем института автоматики к процессоз управления ДБО РАН б' 198-1-1992 гг.
Публикации но работе. Do теме диссертации опубликовано 18 печатних работ.
Структура и объем диссертация. Диссертационная работа включает введение, сзсть глав, заключений, список литературы 83 наименований и пять прилеганий. Основная часть работы положена на 143 страницах машинописного текста Работа содзржит 19 рисунков и 22 таблицы.
