автореферат диссертации по документальной информации, 05.25.05, диссертация на тему:Методы и средства представления данных и знаний в автоматизированных информационных системах



Академия наук Украины Институт кибернетики имени В. М. Глушкова

На правах рукописи

ГУБЕНКО Марина Васильевна

УДК 681.325.67

МЕТОДЫ И СРЕДСТВА ПРЕДСТАВЛЕНИЯ ДАННЫХ И ЗНАНИЙ В АВТОМАТИЗИРОВАННЫХ ИНФОРМАЦИОННЫХ СИСТЕМАХ

05.25.05 — информационные системы и процессы

Автореферат диссертации на соискание ученой степени кандидата технических наук

Киев 1992

Работа выполнена в Институте кибернетики имени В. М. Глу-

шкова Академии наук Украины.

Научный руководитель: доктор технических наук, профессор

ЗАЙЦЕВ Н. Г.

Официальные оппоненты: доктор технических наук, профессор

ВИННИЦКИЙ В. П.,

кандидат физико-математических наук КУШНИРОВ В. А.

Ведущая организация: Киевский институт автоматики.

Защита состоится «-> —-— 19 г. в-

часов на заседании специализированного совета К 016.45.05 при Институте кибернетики имени В. М. Глушкова АН Украины по адресу:

252207 Киев 207, проспект Академика Глушкова, 40.

С диссертацией можно ознакомиться в научно-техническом архиве института.

Автореферат разослан «-> - 19 года.

Ученый секретарь специализированного совета РЕВЕНКО В. Л.

ОЗДЯ ХАРАКТЕРИСТИКА РАБОТИ

Дктгаяьвосуь пробло»н« Еисгрое рвзвехке внчпслотельиой гехаяка п сродсгв ипфоркмяэадаа speSyci принципиально повшс иогаологий проекгироэалнд и оргспззацна Елгор:;тг:ичеег:ого, к;-фэршщпопааго я програикшп-о обостпогия. Парокоа вкадратто пзрсонал&шх компьютеров ярвяолрэдсжш искдрченлэ иа коmj-пакацкоЕпого акта "чояовок-ЗЕ'Л" повредит» - программного гвтаоаога. !

Порспвнгизпка направление:! в разрзс'огяз информационны! когпологиЗ долзео сгагь покогвюм я^рк^гонинх «ехяологаЛ, гилвчасцпх лингвистическое обевадчзнао, гоаволгдащео представлять знания, алгоритмы a диалоги с полвзовагелан срадсуааыя ворцпрованаого подиаогосзва национального языка. При эгои необходим налачзв оредсав уикфзцйрэванпого представления •заааий я алгоритмов, ко г opa з кнвврмазтпо я ггйдориимирогаио по мдопяшэ я гонврохяоиу шэдгоияльпому пзику, что г.родполагасг повхпепва гпгедл?ягуал*ностя авгоаамзирэваийшс андораар^ояншс cec28u ( АЙС ). ' '

В азкх joro глее бояьауэ ?начг>:ост* приобретают задачи разработка формализмов првдетавдевкп зпсякй я икфоригщаопвнх . ыодолей предметных областей, чеа а обусловливается актуальвоевь данной работа,'

Прэдмет, даль и задача исследования. Прадмеюп коолздовация являются процессы разработка информационной модели предцетной облаетл, иегоды и формализмы гкооозлогячеокого аспекта эгюс процессов а объективные предпосылки их реализации на ЭВ.Ч. Цель рабогн заключается в разработка и обоснования иегодов и орадотв формирования описании првдметках областей в форио текстовой

информационной кодели, имвщей заданный урозеиь семантической выразигслыосги в отобранав^ай различные пользовательские цезн при кнфориационнон кодеякрованин. В соответствия с тадой постановкой вопроса б диссертационное работе поставлены сладупдао эадачи:

- исследование с описаний различив аеиду сиогеыоА авоаай ' с информационно!^ подвиг) предметной области, нродставлешшх в Еягеллектуальпых информационных oacisuax;

- определение ыасга информационной кодела продымиой об-лаотд в компьютерной моделировании проблемой области, а такго ыоделаруюсдае возионности SBIS ъ аспекте .реадосции ипфориациоя-еого обеспечения?

- разработка исходов выгода Едфор^ационпой модели нред-иотЕоа облает со эловляцятвоиу 2 ал росу полмоаателя соогвзтсг-венго его информационный потребностям;

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

Научная новизна заключается в следующем:

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

2. Продяовец унифицированный подход к обязательному компоненту информационны* технологий - базам данных о знаний, реализуемых-средствами ЭВМ, основанные на формализме алгебраической системы.

3. Разработаны методы представления основного составляющего компонента при выводе информационной модели - класснфица-

ровзапя - з текстовых $ораах лингвистического обеспечения, стяи-чавцагосп ох езвэстеых педозерипиироваязюстъд- формализма чрэд -схавлеаяя классификации от синтаксических орздетв лингвистического обеояечсяйя п, пая сдодстзао этого, потенциальная расяяря*?-нэсть последикх.

ПрзстпддоЕзй цепкость я реализация работы ошиапаэтся в разработке иетодоз и сродсзэ, практически пр:гцэ::яг:шх прл понструироипппз азформациоивсй цоделя в айтокатизнрэгапишс анфораацкоюшх систзиа* длп различного тяпа прэдаетзих областей; унифйцирувзри логпчэануэ сгрукгуру внгода вафоркациойпой ыо-долп} облзгчавпдо: ез интерпретацию в аерчпнах лродистшах областей, ускоряющих гроестировааяв сомой ;шфор::ац'лошгой иоде.та.

Результата дивовргадиоввой ргботы внедрены в Научио-псоле-довательокоа шстигуте саогэа управления ( г.Тула ) в состава разработки "Пр;:::ципц а средотга построения вффвктявяих метем упраадвкгя-бапкана данных"» вкяолвшгой з ссотзеготвдя с коста-повденкоа ГШ СССР сифр 0.60.2а»0^.05 и хоздоговорами й 34 л Кз г 39-05. Крона того, результаты работ знодрени в Научно-исследозательскоа институте автоиаткзкроваиных скатеи планирования и управления э строительства Госстроя УССР в состава докуиентацин по научно-исследовательской работе, внполаензой по заказу Госстроп УССР й 132.91-91 от 01.10.91.

Результаты использовались при выполнении теш "Разработать и представить в ГКНТ справочник терминов и толковый словарь по технологии програикироваккя прикладных задач в АСУ а на ВЦ", вшюлаекной по постановлении ГКНТ СССР й 478 / 248.

Апробация работы. Основные результаты работы докладывались на семинаре Научного совета АН УССР по проблема "Кибернетика", на научно-практической конференции "дроблены развития

ограсли народного хозяйства "Наука и научное обслуживание0 в свете ранений ХШ1 съезда КПСС« /шфр НП 86-152/ (г.Киев, 1986 г.)» па иевозраслеБои семннаре Актуальные проблемы проектирования систенотехкачаокого, шфориацпоаиого в программного обеспечения АСШП ( г.Минск, 1233 г. ), па Всесоюзной научно-технической школе "Огшт разработка и перспективы унификация ЙБК с' аппаратурой КШК да автокагизацаи научных вкспарамзаэоз, испытания новой техники и управления технологическими процессами" ( г.Суздаль, 1985 г. ).

Публикации. По геио диссертации опубликованы тра печатных работа, две из.них без соавторов.

Структура и объем работы. Диссертаций состой? ка введения, грех глав, прилоаеикя и описка использованной литературы из 200 наименований. обгон работы 162 страницы ваианописного

текста, цлластраровааного 8 рисунками, 5 таблицами.

СОДЕРЖАНИЕ РАБОТЫ

Во введении обоснована актуальность диссертационной работи. Рассмотрен процесс конструирования информационной коделв предиет-ной области в целой и указало на необходимость отделения вопросов систематизации знаний о? вопросов собственно информационного моделирования предкегной области.

Учтено, что особенности компьютерной реализации информационных кодэлей обусловливаются и особенностями ЭВИ как формальной системы, в спецификой ее технического устройства, что делает целесообразным отдельное изучение особенностей информационного иоделироцания, унификации средств его проведения, и особенностей вычислительных иашии как отдельной предиетиой области, а разработка на этой основе унифицированных средств г.редстаьлгрлр

зпапнй и информационных моделей с учетом моделирувздах еозной-посгей ЭВМ.

Сформирована постановка задачи к целя диссертационной работа. Проводопа обдал харашерампка работа.

В порвой гладз призедзин оспошшо прияцнп«! п кетодологи-ческио подходы, па которше построена диссертационная работа;

исследозаггы осковшз прцпцкгсталышо отлэтга зпашЛ о? шторма*

циоацой кодчля предстой сбяасх.г к от саотеиц швода гоэтго знания; опродолепц пршщипишшшо гсзыояаосм ):оропдош:я информационной ипдея::.

Порвнч претципцадыша кологепиеи, яа которой построена данная диссертацксшгая работа, является рассиотрзяие информацпон-лой иодвла г:ан рзэульгага здвода по олредэдоиаьш догячвсн::к правилам и в соогватотапи с ш;$ораацкошшка потробностдан яа пекоюром-фориалазке сисгекатпзиромнного гиапип. 3 иастовдое зремя основное итеыацие рззрабогчпкоз ипюллектуальннк кн^орма-цноппыя с::стеи акцентировано ла проблзио втаэдз, г.е. на проблема сродс?з дедуяткваих логических сасге« для ыоделнровааил рвпачял задач и процедура даткеяяя цели в продштпк областях, а г о пвлпотсп, пссскненко, одеоЯ из цозераяжче проблей ъ атоИ области. Проблема соетх знаний, ;-х соогава а гносеологической • структура, а ггжзо цотодологчя коаструлрозания но ах оопозс анфориацйоииой недели коаярегных прздиетиых областей яозаслуконио отодвинута на второй плац псолвдовапкй,. Даяо з литературе по проблематике интеллектуалышх информационных систем знания тер-иииологпчесвя отохдестхшштся с пягориацпонло!; нодвльо предметной области ала с собственно працосоои додуктявпого вывода.

Поскольку по законам знакового моделирования задачи содержательной обработки знаний и информационной модели перефориулк-

ь

рувтсп в задачи конструирования и соотвзтсвущей обработки определенного синтаксиса ( формально выраяенной регулярности ) знаковой структуры, то основной акцепт в практической реализации . автоматизированных информационных скоте« представления и использования знаний смещен в сторону раз работки регулярной структуры, примененной для знакового фиксирования знаний и информационной модели { сеть, иерархия, реляционная структура ) и алгебры оперирования ею.

Вторим приаципиалышн полонейвеи, на' котором построена данная работа, является рассиогрзвна вычислительной машины как дву-единства: формальной системы и технического устройства, основной функцией которого является моделирование текстовой обработки. Т.е. ЭВМ рассматривается как исполнительный механизм, формальный образом иодэлируюгдай простейте виды знаковой деятельности. Именно в этом двуединстве происходит компьютерное моделирование информационной модели. С одной стороны, она служ..! основой для разработки алгоритма соответствуввй задачи проблемной области, а с другой, вследствие конструктввиого реаевия архитектура ЭВМ как технического устройства появляется необходимость в информационней ноддераке этого алгоритм, что вследствие единого моделирующего устройства (ЭВМ) находит свое решение о формализме алгоритмической системы.

В этой ке главе рассмотрены основные формы существования знаний, имеющие явно выракеннуп эксплицитное«, а такко отмечена их безденотатность и универсальность по отношению к конкретный предметным областям» Кроив того, в этой главе проведен анализ существувадах методов и подходов к проектированию информационных систем, основанных на представлении и испльзовании знаний, что позволило обосновать новизну и актуальность разработанного в

диссертации подхода, поэволшоцэго разграничивать обобщенные знания и информационную ыодэль предиешоЯ области.

Во второй главе рассмотрены объективннэ предпосылки вывода информационной модели предметной области, заключающиеся в дефинитной сущности номинации объектов, а такие методологические приемы, которые'основаны на применении потенциально эксплицитной дефиниции, состоящей из экстенсионального и интенсионального иоменов, текстуальная аналитичность которой вытекает кг дискретности знаковой конструкции, позволявшей вычленять к эксплицировать составляющие ее единицы с помочью операций подстановки обозначения. Взаимосвязанное^ понятийного пространства конкретной информационной модели обусловливается актуализацией соответст-.вувздх предметной области логических связей меаду понятпями, включенными в номинативную конструкцию, а параметризация и установление конкретных значений параметров происходят в диалоговой реяямо с пользователем. Объектов исслодования и разработки стал механизм эксплицирования номинативных конструкций.

Исходная номинативная конструкция; названная в работе информационный запросом, состоит из интсноиокального и экстенсионального аоиеиов и киоет следующий вид;

( / ) ИЗ = И" х В3 , где - номер информационного запроса; Ни - интенсиональный

номен; Нэ - экстенсиональный ноцен; знак операции ( х ) соответствует в.плане выракония операции конкатенации знаковых конструкций двух ноиеков, а в плаке содеркания - операции пересечения значений текстовых конструкций. Экстенсиональный номен обозначает объект реферирования в предметной области, который является источников параметрической информации, соответствующей его экстенсиональной уникальности. Интенсиональная сторона информационного запроса рассматривает объект предметной области как элемент объема понятия, т.е. элемент класса.

В процессе эксплицирования интенсионального исыоаа конкретизируется объект реферирования. Критерием тождественности референции экстенсионального и интенсионального ноиенов является единичность денотата интенсионального воыена. Стратегия эксплицирования определяется специалистаии-предиетникаш в форые эксплицитного соответствия.

Поскольку формальной основой функционирования ЭВМ является алгоритмическая система, го функциональное назначение информационной ¡додели в ней нельзя рассматривать в отрыве от основного понятия этой формальной системы - алгоритма.- Вследствие абстрактного понимания алгоритма не акцентируется внимание на форме задания классов сбьектоЕ обработки, которые^ предполагаются априор*-но заданными и операционно доступными. В работе подчеркивается принципиальная необходимость вследствие массовости алгоритма существования системы обеспечения-алгоритма классами объектов обработки. Рассмотрение двух форы существования алгоритма - в форма технического устройства и знаковой позволяет дифференцировать компонент этого обеспечения: хранение, операционная доступность и адекватность свойств объектов хранения свойствам объектов обработки» С формальной-точки зрения для алгоритма существенны только два цоаеитаг доступность единиц обработки н соответствие их свойств свойствам, декларировавши для операндов. Выполнение этих формальных требований обеспечивается корректностью программирования, т,е„ корректностью композиции алгоритма, обеспечивавшего требуемый результат,, и алгоритма его информационной поддержки; В работе отмечено, •что указанные алгоритмы могут быть разнесены по разным функциональным иодуляы, как это происходит в случае применения баз данных и соответствующих им СУБД.

Наличие двух различных по своему функциональному назначению

алгоритмов - функционального и информационного и цнокества струк-. тури]ровашшх данных определенная недетермипированность этих ¡¡оппонентов друг от друга и специфика их технологической реализации на ЭВМ дапт основание рассматривать три алгебраические система о целью определения га свойств и формальных основ их композиции. При этом исходя из свойства массовости алгоритма основ!шо мновества, составляющие алгебру функционального к инфорцационлого алгоритмов, заданы интенсионально как эталоны классов, а вследствие принципа позиционной задаяности операндов ыпонество предикатоз этих систем является лустыи. Алгебраическая система, соответствующая структуре данных, является моделью. Основное цнояеетво в этой системе вследствие материальности объектов обработка задано экстенсионально. В следствие недегер-нинированностп структур данных от мнозества операций зто ¿шоаест-во является пустим.

Композиция этих трех систем обеспечивает формализацию.

ч .

функционирования ЭВМ. При этом допустимые варианты композиции:

1* х ¿2 о

2, А хАг 5

3. Л х А^ х к^ .

Первая композиция дает пространство допустимых операций над данными и их структурами. На основе этого формализма создаются абстрактные типы данных, методы объектного программирования, алгоритмы информационного обеспечения. Вторая композиция является (формализмом для вывода формулы полного алгоритма, объединяющего функциональный и информационный алгоритмы. Третья композиция является формальной оснозой модели функционирования вычислительной иашинц.

Условней корректности составления программы, наряду с дру- . гимн условиями, является требования:

1. Тождественности объемов области определения операндов и области задания потенциально обрабатываемых объектов:

ы Л м2 Ф о.

2. Неизбыточности и достаточности области задания объектов обработки: М / М2 =0.

3. Адекватности .отобракения области определения операндов и области задания объектов обработки: И .

Поскольку по своем.' функциональному назначении ЭВМ представляет исполнительное устройство, формальны:! образом моделирующее простейшие форыы знаковой деятельности, то с позиции цо-делирования баз знаний и описаний предметных областей вазша -аспектом является организация памяти ЭВМ как материального носителя знака. Специфика ЭВМ как моделирующего устройства во многой опроделпотсп линейной упорядоченностью пространства памяти, при котором злектронныь« устройством поддерживается только механизм линейной адресации. Т.е.едлнотвенно возыожноо структурное 01лош'енио - это линейный порядок. Для использования памяти ЭВМ как модели регулярности другого типа требуется определение класса регулярностей и методов и средств их адекватного отобракения в пространство линейного порядка. Класс регулярностей, с одной стороны, определяется иоделпрующими возможностями ЭВМ, а с другой стороны, его пригодностью для отобракения систем знаний и описаний предметных областей. Таким классом являются регулярные математические структуры, которые находят понимание у пользователя как средство систематизации результатов методологичес-, кого аналиаа предметных областей. При этом в регулярности структур и соответствующей алгебре их обработки находят свое решение и задачи упорядочивания и ориентации в таким образом организованных данных.

При знаковой моделировании важным показателем является вы-

бор соответствуащей структура. В работе основной формой представления структурированных данних является реляционная ( цатрично-табличная ) структура. Для алгоритмизации обработки этой форыы лредлозена методика, заюшчакщаяоя в интерпретации синтаксиса этой форма как носителя определенной семантической функции -идеографо-позиционного представления классификации.

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

Синтез информационной цодваи сводится к последовательности следующих наго в:

- распознание текстовых единиц эксплицирования ( иктен-синальное имя ) и текстовая единиц - идентификатора объекта предметной области ( экстенсиональное имя );

- установление вида эксплицирования: по классификационной схеме, по понятийной схеме, по структурной схеме или по функциональна схеме; V

. - выполнение текущего иага итерации эксплицирования;

- приведение текстовой единица - величины к размерной однородности и базовый единицей измерения;

- моделирование в форме текста информационной модели текущего уровня эксплицирования ( в той числе и результирующего ).

Распознавание текстовых единиц интенсионального и экстен- .

сионалького шоа производится лингвистический анализатором в результате синтаксической обработки текста. lia этом se этапе • производится унификация вербальных единиц в форме системных номеров и синтаксическая обработка в форме замены синонимических рядов доминантами. Лингвистическая предобработка позволяет сделать алгоритм эксплицирования инвариантам* во отноыешш к слепне му языку. Вид эксплицирования определяет набор метаданных для таблиц экспликации текстовых соответствий ( классификационной, структурной, понятийной, функциональной),-что даст еозмоедомь использовать один и тот ке алгоритм эксплицирования для этих структур. Эксплицирование осуществляется операцией подстановки обозначения. •

Поскольку основной формой представления структурированных данных ( в том числе и знаний ) является реляционная ( катрачно-табличная ) структура,'разработан алгоритм, позволяю^!! осуществлять взаимное преобразование разные тигюв таблиц, а такке определять гоадественность текстового наполнения таблиц. Текстовой материал, подлежащий размещении„в пространство иатрично-таблич-ной ф-ориы, монет быть представлен как последоваюльк сть (кортеи) классов,, представленных своими именами ( идентификаторами ) к объемом. В ыагрйчно-табличной форме с позиции разиецения текстовых единиц существенны:

- пространственная структура матрицы в двумеряей скстеке' координат; -

- идентификация двух классов элементов: нодлегацдах размещению в пространстве матрицы ( координационные элементы ) à идентифицирующих оси-указанной системы'координат ( идентификационные алемепЕы ). Взаимное преобразование разных типов таблиц основывается на сводимости их текстового, наполнения к исходному; кортеку классов. '■'..'•

Инструментальная реализация-рассмотренных'методов и средств

построения иифоркационной »одела прздиегной области на основа иет-ода эксплицирования является програмщш» птодукчсп. Структура ицструцентальной системы определяется ее фуцкцишл и вклвчаез? слэдуетдо основные части: экеплшсазор информационной модели предметной области и интерфейс с саотвшюй средоЯ ЭВМ*

Интерфейс с системной средой реализуется в своем простей-аеы варнааю в «¡сличает следуаащв коипо немы:

- загрузчик слрзврой эксплицитных текстовых соответствий;

- загрузчик лрограшш эксллпхатора;

; - инициализация работы зксшшкатора инфориациоакой подола;

- система вывода результирующего текста информационной нодели.

Для реализации указанных функций интерфейса приценялась СУБД ОСШ'ЕС ЭВМ, которая удовлетворяет всем требованиям, преда-язляеина к СУБД такого класса, л прздставляе? собой аакоаченнув самому программирования, иаевщуп в своей составе все необхр-дише средства обработки классов данных. Система ОСШ имеет развитые средства описания свойств данных ( в форме базы чета-дапннх ), Набор файлов, использованных при автоматизации эксплицирования, включает следующие компоненты?

I/ файлы объединенного описания эксплицитных текстовых соответствий для классификаций ( ШТС ), для структурных exea ( ТСТС ), для понятийных,exea ( ТПТС ), для функциональных соответствий ( Т 5ГС ){

2/ файл номенклатуры предметной области С ТСН );

3/ файл словника предиетной области ( TCÍ10 )•,

4/ файл единиц измерений и величин ( ГСЕЕ );

5/ файл информационной модели предметной области ( ТКШО );

б/ рабочие файлы. ;

Разрабомиа /гооцзд'ура *орийроран«я з ср-;ле С'ОлО КС у;:

базы данных, содержащей все перечисленные файлы. Составлена процедура реализации средствами 0С1.Ю алгоритма эксплицирования» . разработанного в данной работе. Комплекс процедур вклэчает процедуры декомпозиции и выбора, реализуемые оператором Т1'0 ( теоретике- множественная операция ) о различными модификациями, обеспечивавздош пересечение, объединение, разность и другие операции над классами данных.

Системное обеспечение построенной прикладной прогреыш эксплккааора рассматривается по схомэ: ввод в оперативку» память массивов данных и программы, инициирование работы программы, вывод полученного результирующего массива. Для макетирования перечисленных системных действий применялись стандартные средства ОСИО и операционной системы ОС ЕС ЭВМ. . •

ЗАКЛЮЧЕНИЕ

Ь диссертационной работе получены следующие осяовиые научные результаты: ■ *'

1. Исследована схема обработка информации (информационного моделирования) при описания предметной области, формальные преобразования текстов в которой мокко принять в качестве содержательной обработки информации. Раскрыта эксплицитная природа генерации информационной модели на основе структурированных знаний, соответствующая информационным потребностям пользователя. Обоснована инвариантность процесса генерации информационной модели

по отноаению к конкретным предметным областям.

2. Раскрыта природа информационного обеспечения как иеоб- ' ходимого и естественного компонента алгоритмической системы.

3. Выявлены моделирующие особенности ЭВМ в плане реализа-. дни информационной модели предметной области, заключающиеся в

двуадинстве ЭБ!1: как модели (¡¡ориальиой системы и моделирующего . технического устройства.

4. Определены лингвистические особенности формальных языков и языков программирования, а таете особенности функционирования знаковой системы в коммуникационном контуре „"человек - ЭВМ",

Основные практические результаты работы следующие.

1. Разработана схема эксплицирования письменных текстових информационных моделей предоэтяых областей, пригодная для практической реализации. Указанный алгоритм макетирован на основе инструментальных средств программирования СУБД ОСМО ЕС ЗВМ.

2. Методы и средства алгоритмизации процесса эксплицирования информационных коделей внедрены в ЦНШСУ < г.Тула ) в составе коыпяексной темы "Принципы и средства построения зффектизвых систем управления распределенными банками данных" для АСУ предприятиями группы иашиностроительншс отраслей промышленности, выполненной в соответствии с постановлением ГКНГ СССР, шифр

0.80.21.04-,03, а хоздоговорами й Н9-84 и Й №9-65, Долевой экономический эффект от внедрения, приходящийся на долю дайной работы, составил 28,8 тыс.рублей.

3. Методы и средства алгоритмизации, разработанные в диссертации, включены в состав научно-техияческой документации по теме, выполненной по заказу Госстроя УССР, й 132.91-91 от

01.10.91, в НШ1АСС Госстроя Украины.

4. Предловеиные ивтодц и принципы использовались при выполнении темы 'Разработать и представить в ГКНТ справочник терыинов а толковый словарь по технологии программирования прикладных задач в АСУ и на ВЦ", которая разрабатывалась в Институте кибернетики имени В.М.Глушкова АН УССР согласно постановлении ГКНТ ЗССР й 478-248.

Основные положения диссертации опубликованы в следуюцих работах: '

1. Губенко М.В. Формализация средств лингвистического обеспечения автоматизированных информационных систем Ц УСиМ.-1990. - fö 3. - С. 93 - 100.

2. Подкладнев В.Я., Губенко М.В. Модели данных СУБД для ПЭВМ // Программное обеспечение программно-технических комплексов для оисзеи автоматизированного проектирования объектов строительства. - Киев: НИИАСС Госстроя УССР, 1990. - С. 69 - 78.

3. Губенко М.В. Вопросы машанно-независииого языка рэио-ния научно-технических задач и машинно-ориентированного представления алгоритмов // Проблемы развития отрасли научного хозяйства "Наука т научное обслуживание" в свете решений ХШ1 съезда КПСС": Тез.докл. иауч.-лракг.конф.-- Киев: РДЭНТП, 1937. - С. 84-85. .