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

Введение

Глава 1. Вопросы расширяемости программной системы при ее сопровождении

1.1. Роль сопровождения в жизненном цикле программной системы

1.2. Документирование как средство поддержки обучения при сопровождении программной системы

1.2.1. Структурированный текст

1.2.2. Гипертекстовая система

1.2.3. Структурные аналитические технологии

1.2.4. CASE-технологии

1.3. Динамика развития: программной системы с точки зрения расширяемости

1.3.1. Обеспечение расширяемости с помощью штатных средств

1.3.1.1. Размножение окрестностей

1.3.1.2. Подпрограммы

1.3.1.3. Оператор выбора

1.3.1.4. Превращение в комментарий

1.3.2. Модульный способ организации программы

1.3.2.1. В ариантное гнездо

1.3.2.2. Модуляризация

1.3.2.3. Конфигурационные ориентиры

1.3.2.4. Каркасный подход

1.3.2.5. Проблема безопасности при повторном использовании модуля

Основные результаты

Глава 2. Интеллектуальное сопровождение

2.1. Принципы развития программной системы

2.2. Динамика развития математической модели на примере модели транспортных потоков программной системы «АэроВАТ»

2.2.1. Математическая модель как объект развития

2.2.2. Основные руководящие принципы, используемые при проектировании формальной модели транспортных потоков

2.2.3. Натурные наблюдения транспортных потоков

2.2.4. Результаты предварительного анализа экспериментальных данных

2.2.5. Формализованное описание транспортных потоков на уровне средних значений

2.2.6. Формализованное описание транспортных потоков на уровне вероятностных распределений

2.2.6.1. Общие замечания

2.2.6.2. Конкретизация вероятностей

2.2.7. Дальнейшее развитие математической модели транспортных потоков

2.3. Принципы построения, динамично развиваемой программной системы

2.4. Понятие интеллектуального сопровождения

2.5. Применение экспертной системы для интеллектуального сопровождения

2.6. Определение универсальной алгебры

Основные результаты

Глава 3. Представление знаний в интеллектуальной сопровождающей системе

3.1. Структура интеллектуальной сопровождающей системы

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

3.3. Определение отношений на семантических сетях предметной области интеллектуальной сопровождающей системы

3.4. Определение операций над семантическими сетями предметной области интеллектуальной сопровождающей системы

Основные результаты

Глава 4. Сопровождение с использованием интеллектуальной сопровождающей системы;

4.1. Лингвистический процессор

4.1.1. Структурная схема лингвистического процессора

4.1.2. Анализ входного текста

4.1.2.1. Морфологический анализ

4.1.2.2. Синтаксический анализ

4.1.2.3. Семантический анализ

4.1.3. Синтез выходного текста

4.2. Механизм логического вывода

4.3. Модель пользователя

4.4. Модель действий пользователя

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

Основные результаты

Глава 5. Программная реализация подсистемы автоматизированного интеллектуального сопровождения программной системы «АэроВАТ»

5.1. Определение основных задач решаемых программным пакетом

5.2. Архитектура прототипа интеллектуальной сопровождающей системы

5.3. Технические и программные средства для создания и функционирования прототипа интеллектуальной сопровождающей системы

5.4. Построение базы знаний прототипа интеллектуальной сопровождающей системы

5.5. Принципы функционирования прототипа интеллектуальной сопровождающей системы

5.6. Предложения по развитию идеи интеллектуального сопровождения

Основные результаты

Актуальность проблемы. Проблеме создания программных систем, имеющих длительный жизненный цикл, в настоящее время уделяется пристальное внимание. Создание программной системы такого рода невозможно без учета стадии сопровождения, поскольку практический интерес представляют только те программные системы, которые активно развиваются.

Сопровождение программной системы — достаточно сложная задача для каждого производителя. Это одна из наиболее трудоемких составляющих проекта. Изменения в технологии, связь и быстро развивающаяся и изменяющаяся деловая среда создали спрос на программное обеспечение, которое может развиваться параллельно с изменяющимися запросами рынка.

Основная задача — это создание открытой программной системы. Открытость программной системы обеспечивает способность к свободному добавлению новых и удалению старых программных конструкций. На сегодняшний день методам и подходам к построению открытой программной системы посвящено большое количество научных трудов и публикаций. Наибольший вклад в их разработку внесли Н.Вирт, Т.Хоар, Б.Мейер, Ж.Жезекель, Д.Парнас, Э.Дейкстра, Г.Майерс, Д.Воас, Р.Гласс, Д.Тейлор, П.Бассетт, Д.Аустераут, М.Грисс, Р.Соли, Д.Валдо, М.М.Горбунов-Посадов и другие.

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

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

В настоящее время кроме традиционных способов и методов сопровождения, которые реализовываются разработчиками программных систем (обучение организовано с помощью консультирования и документирования, развитие - выпуском новых версий и выполнением индивидуальных заявок на разработку), намечается тенденция к замене их некоторыми интеллектуальными средствами. Например, компания Microsoft в своей последней версии программного пакета Microsoft Office 2000 функцию консультирования организовала в виде диалога с «Помощником», который в ответ на поставленный пользователем вопрос выдает перечень ссылок на справочную систему. Выбор ссылок осуществляется с помощью определения ключевых слов, которые встречаются в предложении. За этим усматривается попытка замены витринного представления справочной информации, при котором пользователь вынужден самостоятельно искать необходимые сведения, перемещаясь по системе ссылок, организацией диалога, который является более естественным для человека.

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

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

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

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

Целью работы является разработка и исследование методов построения автоматизированных интеллектуальных сопровождающих систем. Для достижения поставленной цели в работе решаются следующие задачи:

• определение круга проблем, связанных с развитием программных систем в процессе их сопровождения;

• разработка принципов построения, динамически развивающейся программной системы;

• определение задач решаемых системой, предназначенной для автоматизированного сопровождения программных продуктов;

• разработка и обоснование структурной схемы автоматизированной интеллектуальной сопровождающей системы;

• описание механизмов работы структурных элементов автоматизированной интеллектуальной сопровождающей системы;

• разработка проектных решений по программной реализации компонентов интеллектуальной сопровождающей системы.

Методы исследования. Исследования осуществлялись на основе теории алгоритмических алгебр, теории множеств, теории вероятностей, математической статистики, методов математического моделирования, методов структурного и объектно-ориентированного программирования.

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

На основе нового подхода разработаны:

• принципы построения динамично развиваемой программной системы;

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

• концепция интеллектуального сопровождения;

• структурная схема интеллектуальной сопровождающей системы, основанная на исследованиях в области искусственного интеллекта;

• методика построения модели сопровождаемого программного продукта как предметной области интеллектуальной сопровождающей системы на основе семантической сети;

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

• предложен механизм накопления и обмена знаниями между интеллектуальными сопровождающими системами, проходящими эксплуатацию в разных организациях.

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

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

Основные результаты, выносимые на защиту.

1. Понятие программного обеспечения с проблемным сопровождением.

2. Принципы построения динамично развиваемой программной системы.

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

4. Методика построения экспертной системы, предназначенной для сопровождения программных продуктов.

5. Формализм для представления модели предметной области сопровождающей экспертной системы.

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

Структура диссертационной работы. Диссертация состоит из введения, пяти глав, заключения, списка литературы и приложения.

Основные результаты работы состоят в следующем.

1. Произведено исследование современного состояния проблемы сопровождения программных систем. Выделены случаи, при которых, сопровождение носит проблемный характер. Рассмотрен вопрос расширяемости программной системы в контексте ее сопровождения. Описаны основные методы решения проблемы безболезненного расширения программной системы, их достоинства и недостатки. Определены конфигурационные ориентиры при построении расширяемой программной системы.

2. Предложены принципы построения программной системы для ее динамичного развития. Отмечено, что для этого все элементы программной системы, включая и математическую модель предметной области, должны строиться на единых принципах безболезненного развития.

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

4. Разработана архитектура автоматизированной интеллектуальной сопровождающей системы. Новая система обеспечивает переход от «витринного» способа обучения работы с программным продуктом к консультационному, реализует автоматизированное развитие программного продукта с помощью активного интеллектуального компонента.

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

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

7. Выявлены основные трудности, связанные с построением интеллектуальной сопровождающей системы. Создан прототип интеллектуальной сопровождающей системы. Определены способы и формы приобретения знаний для интеллектуального сопровождения. Высказаны предложения по дальнейшему развитию идеи интеллектуального сопровождения.

Заключение

Выполненная диссертационная работа включает исследования, направленные на разработку математического и программного обеспечения для проектирования автоматизированных интеллектуальных сопровождающих систем.

1. Адельсон-Вельский Г.М., Кузнецов О.П. Дискретная математика для инженера. М.: Энергоатомиздат, 1988. - 480 с.

2. Александров В.В., Булкин Г.А., Поляков А.О. Автоматизированная обработка информации на языке предикатов. М.: Наука, 1982.

3. Аллен Дж.Ф., Перро Р. Выявление коммуникативного намерения, содержащегося в высказывании//Новое в зарубежной лингвистике. М.: Прогресс, 1986. - вып. 17. - с 322-362.

4. Андреев А. М., Березкин Д. В., Брик А. В., Смирнов Ю. М. Об одном способе построения синтаксического анализатора текстов на естественном языке // Изв. вузов. Приборостроение, 1997. Т. 40, №5.

5. Арушанян О.Б. Автоматизация конструирования библиотек программ-М.:Изд-во Моск. Ун-та, 1988.-248 с.

6. Асаи К, Ватада Д., Иваи С. Прикладные нечеткие системы: пер. с япон. -М.: Мир, 1993. 386 с.

7. Белов В.В., Киселев А.В. Автоматизированное сопровождение программной системы АэроВАТ. // 36-я научно-техническая конференция. Тез. докл. Рязань: РГРТА, 2000.

8. Ю.Белов В.В., Киселев А.В. Применение экспертной системы для сопровождения программных систем // Межвузовский сборник научных трудов

9. Математическое и программное обеспечение вычислительных систем». Рязань: РГРТА, 2000.

10. Н.Белов В.В., Киселев А.В. Проблемы развития программной системы. // Межвузовский сборник научных трудов «Математическое и программное обеспечение вычислительных систем». Рязань: РГРТА, 2000.

11. Бойко В.В., Савинков В.М. Проектирование баз данных информационных систем. -М.: Финансы и статистика, 1989. -351 с.

12. В.Л.Эпштейн. Введение в гипертекст и гипертекстовые системы. http://www.ipu.rssi.ru/publ/epstn.htm

13. Вагин В.Н. Параллельная дедукция на семантических сетях// Изв. АН СССР. Техн. Кибернетика. 1986. №5. с. 51 - 61.

14. Вагин В.Н., Кикнадзе В.Г. Дедуктивный вывод на семантических сетях в системе принятия решений// Изв. АН СССР. Техн. Кибернетика. 1984. №5.-с. 128- 134.

15. Ващенко Н.Д. Формирование понятий в семантических се-тях//Кибернетика. 1983. №2.

16. Вейшедл P.M. Представление знаний и обработка естественных язы-ков//ТИИЭР. 1986. Т.74. №7.

17. Вертгеймер М. Продуктивное мышление. М.: Прогресс, 1987. 335 с.

18. Воинов В.А., Гаврилова Т.А. Инженерия знаний и психосемантика: об одном подходе к выявлению глубинных знаний// Техническая кибернетика 1994. №5. с. 5 - 13.

19. Вольфенгаген В.Э., Яцук В.Я. Алгебра на фреймах для манипулирования знаниями// Изв. АН СССР. Техн. Кибернетика. 1984. №5. с. 4 - 14.

20. Вопросы кибернетики: Логика рассуждений и моделирование/ под ред. Поспелова Д.А. М.: Научный Совет по комплексной проблеме «Кибернетика» АН СССР, 1983.- 171 с.

21. Гаврилова Т.А., Зудилова Е.В. Концептуальное проектирование интерфейсов для систем приобретения знаний// Техническая кибернетика- 1994. №2. с. 3 11.

22. Гарольд Э.Р. JavaBeans. -М.: Лори, 1999. 332 с.

23. Гладкий А.В., Мельчук И.А. Грамматика деревьев I и II. К построению Д-грамматик русского языка. информационные вопросы семантики, лингвистики и автоматического перевода, 1974, вып. 4.

24. Гласс Р., Нуазо Р. Сопровождение программного обеспечения. М.: Мир 1983.

25. Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра. Языки. Программирование. Институт кибернетики АН УССР. Киев: Наук. Думка, -1989.-376с.

26. Гречко В.О., Капитонова Ю.В., Погребинский С.Б. Инструментальный комплекс сетевых семантических баз данных и знаний// Управляющие системы и машины 1993. №3. - с. 68 - 76.

27. Грибомон П., Луи Ж., Тей А., и др. Логический подход к искусственному интеллекту: от классической логики к логическому программированию: Пер. с франц.- М.: Мир, 1990 432 с.

28. Гуревич Н. Освой самостоятельно Visual С-ь+5. Полное руководство для самостоятельного обучения. М.: Бином, 1998. 624 с.

29. Дейкстра Э. Дисциплина программирования. М: Мир, 1978. 274 с.

30. Дранг Д., Левин Р., Эделсон Б. Практическое введение в технологию искусственного интеллекта и экспертных систем с иллюстрациями на Бейсике: Пер. с англ.- М.: Финансы и статистика, 1991.- 239 с.

31. Заде Л. Понятие лингвистической переменной и его применение к принятию приближенных решений/ пер. с англ. Ринго Н.И. -М.: Мир, 1976. 168 с.

32. Змитрович А.И. Интеллектуальные информационные системы. Минск: ТетраСистемс, 1997. 368 с.

33. Интеллектуальные системы автоматизированного проектирования БИС и СБИС / В.А. Мищенко, JI.M. Городецкий, Л.И. Гурский и др.; Под ред. В.А. Мищенко. М.: Радио и связь, 1988.

34. Искандеров Ю.М. Использование семантических графов для построения информационной модели предметной области// Региональная информатика 96: тез. докл. 5-ой С.Петербург, междунар. конф. - С.Петербург: 1996.-с. 51.

35. Искусственный интеллект: В 3 кн. Кн. 1. Системы общения и экспертные системы: Справочник/Под ред. Попова Э.В.- М.: Радио и связь, 1990.- 464 с.

36. Искусственный интеллект: В 3 кн. Кн. 2. Модели и методы: Справочник/Под ред. Поспелова Д.А. М. :Радио и связь, 1990 304 с.

37. Искусственный интеллект: В 3 кн. Кн. 3. Программные и аппаратные средства: Справочник/ Под ред. Захарова В.Н., Хорошевского В.Ф.- М.: Радио и связь, 1990.-368 с.

38. Каширин И.Ю., Коричнев Л.П. Формальное исследование интеллектуальных программных систем. М.: Радио и связь, 1997. -160с.

39. Киселев А.В. Электронная карта города Рязани (РЭКАР). Рязань, 2000. Зарегистрировано в Реестре программ для ЭВМ г. Москва 20.04.2000. РОСПАТЕНТ №2000610315.

40. Кузин Л.Т. Основы кибернетики: В 2-х т. Т. 2. Основы кибернетических моделей. М.: Энергия, 1979. - 584 с.

41. Кузнецов И.П. Семантические представления. М.: Наука, 1985.

42. Левин Д.Я. Инструментальный комплекс программирования на основе языков высокого уровня/Под ред. Ершова А.П.- М.: Наука, 1987.- 200 с.

43. Лозовский B.C., Семантические сети//Представление знаний в человеко-машинных и робототехнических системах. М.: ВИНИТИ, 1984. - А. - с. 84- 120.

44. М.М.Горбунов-Посадов. Расширяемые программы. М.: Полиптих,1999.

45. Маковский В.А., Похлебаев В.И. Базы знаний (экспертные системы). -М.: Издательство стандартов, 1993. 37 с.

46. Математический энциклопедический словарь./Гл.ред. Ю.В.Прохоров. —М.:Сов.энциклопедия, 1988. 847 с.

47. Мейер Б. Построение надежного объектно-ориентированного ПО. Введение в Контрактное Проектирование/Юткрытые Системы,- 1998.- №6.

48. Мельчук И. А. Опыт теории лингвистических моделей «Смысл-Текст». М.: Наука, 1974.

49. Нейлор К. Как построить свою экспертную систему: Пер. с англ.-М.: Энергоатомиздат, 1991.-286 с.

50. Нильсон Н. Принципы искусственного интеллекта: Пер. с англ. М.: Радио и связь, 1985. 372 с.

51. Осуга С. Обработка знаний./пер. с японского М: Мир,-1989.-293 с.

52. Осуга С., Саэки Ю. Приобретение знаний./пер. с японского М.: Мир, 1990.- 304 с.

53. Петрушин В.А. Интеллектуальные обучающие системы: Архитектура и методы реализации// Техническая кибернетика. 1993. №2. - с. 40 - 65.

54. Петрушин В.А., Экспертно-обучающие системы. Киев: Наук, думка, 1992.-196 с.

55. Плесневич Г.С. Концептуальные схемы и модели данных// Изв. АН СССР. Техн. Кибернетика. 1984. №5. с. 23 - 39.

56. Плесневич Г.С. Представление знаний в ассоциативных сетях// Изв. АН СССР. Техн. Кибернетика. 1982. №5. с. 6 - 22.

57. Попов Э.В. Общение с ЭВМ на естественном языке. М.: Наука 1982360 с.

58. Попов Э.В. Экспертные системы. Решение неформализованных задач в диалоге с ЭВМ М.: Наука, 1987.- 288 с.

59. Поспелов Г.С. Искусственный интеллект основа новой информационной технологии. М.: Наука, 1988. - 278 с.

60. Поспелов Г.С., Поспелов Д.А. Искусственный интеллект прикладные системы// Новое в жизни, науке и технике. (Серия Математика, кибернетика). 1985. - №9. -М.: Знание. МДНТП. - 48 с.

61. Поспелов Д.А. Логико-лингвистические модели в системах управления. М.: Энергатомиздат, 1981. 231 с.

62. Поспелов Д.А. Моделирование рассуждений. Опыт анализа мыслительных актов. М.: Радио и связь, 1989. 182 с.

63. Поспелов Д.А. Ситуационное управление: теория и практика.- М.: Наука.-Гл. ред. физ.-мат. лит., 1986.-288.

64. Представление знаний в человеко-машинных и робототехнических системах/Том А. Фундаментальные исследования в области представления знаний. (Отчет рабочей группы РГ-18 КНВВТ.) М.: ВИНИТИ, 1984. 290 с.

65. Представление знаний в человеко-машинных и робототехнических системах/ Том В. Инструментальные средства разработки систем, ориентированных на знания. (Отчет рабочей группы РГ-18 КНВВТ.) М.: ВИНИТИ, 1984. -288 с.

66. Представление знаний в человеко-машинных и робототехнических системах/ Том С. Прикладные человеко-машинные системы, ориентированные на знания. (Отчет рабочей группы РГ-19 КНВВТ.) М.: ВИНИТИ, 1984. 270 с.

67. Принятие решений и анализ экспертной информации/ Вопросы кибернетики. -М: ВИНИТИ, 1989. -180 с.

68. Роджерсон Д. Основы СОМ. М.: Русская редакция, 1997. - 376 с.

69. Рубашкин В.Ш. Представление и анализ смысла в интеллектуальных информационных системах. М.: Наука, 1989.

70. Саати Т. Принятие решений. Метод анализа иерархий: пер. с англ. -М.: «Радио и связь», 1993. 320 с.

71. Сопатый П.С. Об эффективности структурной реализации операций над семантическими сетями// Изв. АН СССР. Техн. Кибернетика. 1983. №5. -с.128- 134.

72. Стенли Б. Липман. С++ для начинающих, т.1, т.2. М.: Рязань, Липецк: ГЭЛИОН, 1993. - 642 с.

73. Толковый словарь по искусственному интеллекту/ А. Н. Аверкин, М. Г. Гаазе-Рапопорт, Д. А. Поспелов. М.: Радио и связь, 1992. - 256 с.

74. Уинстон П. Искусственный интеллект/пер. с англ. В.Л. Стефанюка-М.: Мир, 1980.-519 с.

75. Уэно X., Кояма Т. Представление и использование знаний. М.: Мир 1989.-220 с.

76. Хант Э. Искусственный интеллект: Пер. с англ.- М.: Мир, 1978 558 с.

77. Цейтин Г.С. На пути к сборочному программирова-нию//Программирование.-1990. -N 1. с.78-92.

78. Чепайкин А.О. Использование нечеткой логики в описании предметной области// Вычислительные машины, комплексы и сети: Межвузовский сборник научных трудов. Рязань: РГРТА, 1998. С. 136 140.

79. Чепайкин А.О. Использование универсальной алгебры в экспертных системах основанных на семантических сетях// Математическое и программное обеспечение вычислительных систем: Межвузовский сборник научных трудов. М.: НИЦПрИС, 1998. С. 30 -37.

80. Чепайкин А.О. Использование формальной алгебры в экспертных системах// Моделирование и исследование сложных систем: докл. 2 Международной научно-технической конференции. М.: 1998. С. 299-303.

81. Чеппел Д. Технологии ActiveX и OLE. М.: Русская редакция, 1997. -320 с.

82. Экономическая информатика. Учебник для вузов. Под ред. д.э.н., проф. В.В.Евдокимова. СПб.: Питер. 1997 - 592 с.

83. Элти Дж., Кумбс М. Экспертные системы: концепции и примеры/пер. с английского Шитикова Б.И.- М.: Финансы и статистика,- 1987 191 с.

84. An Assessment of Space Shuttle Flight Software Development processes, -Committee for Review of Oversight Mechanisms for Space Shuttle Flight Software Development Processes, National Research Council, 1993.

85. Ariane 5: Flight 501 Failure, -http://www.eIRSn.esa.it/htdocs/tidc/press/Press96/press33.html.

86. Baumert L.D., Golomb S.W. Backtracking Programming//Journal of the ACM v.12,N 4.

87. Benett J., Engelmore R. Experience Using EMYCIN// Rule-Based Expert Systems, Reading. Addison-Wesley (Mass.), 1984.

88. Boehm , The High Cost of Software, Practical Strategies for Developing Large Software Systems, Addison-Wesley, 1975.

89. Carlson P.A. A Way of Incorporating User Feedback into Online Documentation. In E.Barret (Ed) // Text, ConText, and Hypertext. Writing with and for the Computers. MIT Press series in information systems, 1988.93-110 P. 1-29.

90. Fayad M.E., Schmidt D.C. Object-oriented application frameworks // Comm.ACM.-1997-V40,N 10 -P.32-38.

91. Jezequel J.-M., Meyer B. Put It in the Contract: The Lessons of Ariane, //Computer, Vol.30, No.2, January 1997, P. 129-130.

92. Директор-научный руководительго центра информатикимеского моделирования макадёмии наук1. А.В. Жевняк2001 г.1. АКТ ВНЕДРЕНИЯрезультатов диссертационной работы на соискание ученой степени кандидата технических наук Киселева Андрея Вячеславовича

93. Заместитель директора РЦИММ РАН по научной работе1. Ъ А.В. Дубовиков» 0 ' 2001 г.1. УТВЕРЖДАЮ

94. Председатель комитета охраны окружающейгаюш?! и природных2000 г.•^Воронов1. АКТ ВНЕДРЕНИЯрезультатов диссертационной работы -на соискание ученой степени кандидата технических наук Киселева Андрея Вячеславовича

95. Эксплуатация программной системы показала ее работоспособность, высокие характеристики надежности и эффективности.

96. Заместитель председателя комитета1. РЭКАР.охраны окружающей среды и природных ресурсов г. Рязани1. А.В. Шилин2000 г.1. ZV

97. УТВЕРЖДАЮ» Заместитель начальника Рязанского•ной работе гожбыг ИяБ.Б. Казакэкономики2000 г.1. А к т внедрениярезультатов кандидатской диссертации Киселева Андрея Вячеславовича в учебном процессе в Рязанском институте права и экономики Минюста России

98. Начальник кафедры МиИТ, к.т.н., доцент, полковник внутренней службы1. РОССИЙСКАЯ ФЕДЕРАЦИЯ

99. РОССИЙСКОЕ АГЕНТСТВО ПО ПАТЕНТАМ II ТОВАРНЫМ ШАКЛМ (РОСПАТШ111. СВИДЕТЕЛЬСТВО

100. Об официальной регистрации программы для ЭВМ1. Хэ 2000610315t.i г i ■ -i -.|-м, г 1-р-, 'о p.-'i-j-./ ' г---"=--= L=r.i е-. " =.и ь.t- .j^.i i=:.-=i i и--.Ii.-:e-li:»i f.

101. J ■ =л-л I;: -t 1 J 7- 1 V'l . г . к:-;-л ;г>.т. rv -г ■> г:л-:-:17им i ■ т ; --к ьт-.г~ п:е'-. г j t:-= = . . г ■-.--.- f.j".icT:.ri-1 = S-J — r-t:' rLt:;=:-:-":;"!:.-:- urcrr'- 4^0 3

102. Электрон к^рта т^ролд Ртанк'' (F3 KA P)

103. Kttf-r/:^: M'^f^iti^Ht ! RU}лаМп? !RU}!.:■ -г.и^ Л . лч-:-";-Г! ИЛ О-" Г^ -Л -г) г.г. 20 'ASтля I0OU г.1. ВТ о PC К ПН .ж:1ЕМ1МИ1>1. РОССИЙСКАЯ ФЕДЕРАЦИЯ

104. РОССИЙСКОЕ AI ШIC1№ ПО ПАТЕНТАМ II ТОВАРНЫМ ЗНАКАМ (TOCnAtLHT)1. СВИДЕТЕЛЬСТВО

105. Об официальной регистрации программы xva ЭВМ1. ЛЬ 2000610316

106. Н:.-.i-.t=o"\-.-:-F-r 1".;=.= :-:.! .' v-.::: Фсг.с?-=.-.: 'С i^'-i-off Г :-f'ri.>E=. i--- 1 i ^ " '^-lo, M.ll "-"h .-.\-\i\x~ v.,. -. . - \ t-n.":: f1. .r=ir- .J -I V- -: ti i.- г-"- ■- fv ::::vt: p." i :i:in гг.игу^л--^: "-1 L ч

107. Kr. J-rP"=M 14 4. .1 = -,EU-.' VliV ; i :Г.ЛГ- ;.сn:-l-it i : \ I'lvcTp-^- программ .11-1 3E:S1. StfL i.Bo. 20 апреля