авторефераты диссертаций БЕСПЛАТНАЯ  БИБЛИОТЕКА

АВТОРЕФЕРАТЫ КАНДИДАТСКИХ, ДОКТОРСКИХ ДИССЕРТАЦИЙ

<< ГЛАВНАЯ
АГРОИНЖЕНЕРИЯ
АСТРОНОМИЯ
БЕЗОПАСНОСТЬ
БИОЛОГИЯ
ЗЕМЛЯ
ИНФОРМАТИКА
ИСКУССТВОВЕДЕНИЕ
ИСТОРИЯ
КУЛЬТУРОЛОГИЯ
МАШИНОСТРОЕНИЕ
МЕДИЦИНА
МЕТАЛЛУРГИЯ
МЕХАНИКА
ПЕДАГОГИКА
ПОЛИТИКА
ПРИБОРОСТРОЕНИЕ
ПРОДОВОЛЬСТВИЕ
ПСИХОЛОГИЯ
РАДИОТЕХНИКА
СЕЛЬСКОЕ ХОЗЯЙСТВО
СОЦИОЛОГИЯ
СТРОИТЕЛЬСТВО
ТЕХНИЧЕСКИЕ НАУКИ
ТРАНСПОРТ
ФАРМАЦЕВТИКА
ФИЗИКА
ФИЗИОЛОГИЯ
ФИЛОЛОГИЯ
ФИЛОСОФИЯ
ХИМИЯ
ЭКОНОМИКА
ЭЛЕКТРОТЕХНИКА
ЭНЕРГЕТИКА
ЮРИСПРУДЕНЦИЯ
ЯЗЫКОЗНАНИЕ
РАЗНОЕ
КОНТАКТЫ

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

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

Зуенко Александр Анатольевич

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

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

Специальность:

05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и

компьютерных сетей

АВТОРЕФЕРАТ

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

Санкт-Петербург 2009

Работа выполнена в Учреждении Российской академии наук Институте информатики и математического моделирования технологических процессов Кольского научного центра РАН

Научный руководитель:

доктор технических наук, профессор Фридман Александр Яковлевич

Официальные оппоненты:

доктор технических наук, профессор Охтилев Михаил Юрьевич кандидат технических наук, доцент Бржезовский Александр Викторович

Ведущая организация:

Институт автоматики и процессов управления ДВО РАН.

Защита состоится « 15 » октября 2009 г. в 11:00 часов на заседании диссертационного совета Д002.199.01 Санкт-Петербургского института информатики и автоматизации РАН по адресу:

199178, Санкт-Петербург, 14-я линия, д.

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

Автореферат разослан «» 2009 г.

Учёный секретарь диссертационного совета Ронжин Андрей Леонидович

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

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

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

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

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

Многие недостатки существующих систем моделирования можно преодолеть путем создания семантического интерфейса, существенно дополняющего стандартные функции СУБД средствами анализа незапланированных запросов и контроля корректности модели на уровне БД. Предлагается уточнять запрос до стадии его исполнения, основываясь на упомянутых ограничениях и пользовательских правилах оптимизации запроса. Это составляет главное отличие предлагаемого подхода от методов семантической обработки данных, типичных для документальных поисковых систем Semantic Web, где пространство поиска, наоборот, расширяется посредством логического вывода, что вызывает необходимость участия пользователя в окончательном выборе интересующей его информации.

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

Однако на данные моделирования целесообразно накладывать ограничения, отличные от ограничений целостности реляционных СУБД, в которых семантическая составляющая развита слабо. Такие ограничения часто можно представить в виде логических формул. "Расширенные" или семантические модели (например, ER, RM/T), которые используют в качестве базовой реляционную модель, также не позволяют работать со структурами, типичными для баз знаний (логические формулы, продукции). В диссертационной работе предлагается использовать семантические модели данных для декларативного представления концептуальной схемы реляционной БД, что облегчает ее проектирование и автоматическую генерацию. Такое представление БД позволяет естественным образом накладывать ограничения на сложно структурированные данные. Дополнив семантическую модель подобными ограничениями, а также пользовательскими правилами оптимизации запроса, необходимо разработать формальную основу для программно-алгоритмической реализации процедур анализа БД и незапланированных запросов.



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

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

Для достижения этой цели решены перечисленные ниже Задачи исследования 1. Анализ существующих средств хранения и семантической обработки данных в современных информационных системах.

2. Разработка декларативного способа представления схемы БД, ограничений на данные моделирования, а также пользовательских правил оптимизации запросов в виде специализированной базы знаний.

3. Разработка процедуры автоматической синхронизации открытой модели предметной области и базы данных системы моделирования с возможностью дополнительного контроля модели на уровне БД.

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

5. Автоматизация процедур семантического анализа незапланированных запросов.

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

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

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

2. Контекстно-ориентированный подход к отбору ограничений, актуальных для исследуемой модели предметной области.

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

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

Научная новизна 1. Разработана модель базы знаний, специализированная для анализа незапланированных запросов. Она отличается от "расширенных" моделей данных (ER, RM/T) тем, что позволяет задавать правила семантической оптимизации и учитывать, помимо ограничений ссылочной целостности, дополнительные ограничения, представимые в виде логических формул над элементарными одно- и двуместными предикатами без кванторов.

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

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

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

Научная новизна работы подтверждена включением ее результатов в исследования по Программе фундаментальных научных исследований Отделения нанотехнологий и информационных технологий РАН (проект 2.3) и Программе № 3 Президиума РАН (проект № 4.3 "Интеллектуальные базы данных").

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

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

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

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

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

1. Cистема моделирования региональной энергетики, созданная в рамках хоздоговоров с ЦЭС ОАО «Колэнерго».

2. Информационная система моделирования и прогнозирования безопасности на опасном объекте (хвостохранилище) АНОФ-2, созданная при выполнении хоздоговора с ОАО "Апатит".

3. Система баз данных, способствующая оперативной диагностике состояния горного массива рудника "Карнасурт" и разработанная в рамках хоздоговора с Горным институтом КНЦ РАН.

4. Учебные курсы «Представление знаний в информационных системах», «Теория принятия решений» в Кольском филиале Петрозаводского государственного университета.

В основу диссертационной работы положены результаты, полученные автором в ходе исследований по планам научно-исследовательских работ Института информатики и математического моделирования Кольского научного центра РАН в период 2006-2009 гг.:

«Ситуационный синтез стратегий устойчивого развития региональных промышленных комплексов с учетом техногенно-природных рисков», гос.рег. № 01.20.06 03210, «Модели и методы координации решений по управлению региональным промышленно-природным комплексом» гос.рег. № 01.2.00 951211.

Апробация работы Основные результаты и положения диссертационной работы докладывались и обсуждались на пятой и седьмой Всероссийской школе-семинаре "Прикладные проблемы управления макросистемами" (Апатиты, 2004 г. и 2008 г.), второй и третьей Всероссийской научной конференции "Теория и практика системной динамики" (Апатиты, 2007 г. и 2009 г.), одиннадцатой национальной конференции по искусственному интеллекту с международным участием КИИ-2008 (Дубна, 2008 г.), четвертой школе молодых ученых «Сбалансированное природопользование» (Апатиты, 2007 г.), девятнадцатой конференции молодых ученых, посвященной памяти члена-корреспондента, профессора К.О. Кратца «Геология и геоэкология:





исследования молодых» (Апатиты, 2008 г.).

Публикации По теме диссертации опубликовано 14 печатных работ (из них 4 – в списке ВАК).

Структура и объём работы Диссертация состоит из введения, четырех глав, заключения, списка литературы ( наименования). Общий объем – 156 печатных страниц, в том числе 15 рисунков, 11 таблиц и приложение.

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

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

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

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

В связи с постоянно растущим объемом информации ее семантическая обработка в настоящее время является актуальной проблемой как в документальных (ЧТО-системы в терминологии Д.А. Поспелова), так и в фактографических (КАКОЙ-системы по Д.А. Поспелову) информационных системах. Для ее решения в документальных системах используется поиск информации по заранее сформированным базам данных, включающим миллионы страниц тематически отобранных материалов. Для преодоления своего основного недостатка – низкой релевантности поиска (высокого уровня шума) – современные поисковые машины в рамках направления Semantic Web используют интеллектуальные интерфейсы пользователя, основанные на формализованном представлении знаний о предметной области (онтологии предметных областей на основе стандарта OWL). При семантической обработке в пользовательском запросе выделяются понятия онтологии некоторой предметной области, затем они расширяются посредством логического вывода, формируя релевантное окружение терминологии запроса, на основании которого система и осуществляет поиск документов.

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

Методы поиска информации, на которых базируется Semantic Web, непосредственно не применимы в фактографических системах, поскольку здесь необходимо гарантировать точность результатов запросов. Для хранения данных в фактографических системах, как правило, применяются "классические" реляционные СУБД, к достоинствам которых относятся, прежде всего, поддержка корректных модификаций данных за счет механизма ссылочной целостности и возможность выполнения незапланированных (ad hoc) запросов. Однако семантическая составляющая реляционных СУБД развита слабо, что привело к появлению семантического моделирования и созданию объектно-ориентированных систем. Применение объектного подхода для организации хранения данных (объектные, объектно-реляционные, постреляционные СУБД) является предметом критики, поскольку негативно влияет на возможность выполнения незапланированных запросов, а в некоторых системах и на поддержку целостности информации.

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

Наиболее популярны расширенные модели ER и RM/T. ER-модель, по сути, представляет собой неформальное дополнение реляционной модели и получила широкое распространение за счет использования диаграммной техники. С помощью диаграмм можно декларативно задавать ограничения ссылочной целостности. Механизм реализации расширений в RM/T, напротив, низкоуровневый: вводятся формальные объекты (например, графовые отношения), правила целостности и операторы. Это делает модель более мощной и гибкой, но вместе с тем более сложной и ориентированной, в первую очередь, на программистов, а не на пользователей.

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

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

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

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

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

На основе вышеизложенного, к семантическому интерфейсу БД, предназначенному для преодоления перечисленных недостатков систем моделирования слабо формализованных предметных областей, предъявляются следующие требования:

1. Возможность декларативно представлять схему БД, чтобы гибко настраиваться на ограничения модели предметной области.

2. Возможность оперативно анализировать ограничения, актуальные для исследуемой модели.

3. Поддержка на уровне БД корректных модификаций редактируемой модели предметной области в процессе ее эксплуатации.

4. Поддержка незапланированных запросов к БД и обеспечение их соответствия пользовательским ограничениям.

Для удовлетворения перечисленных требований принято решение разработать семантический интерфейс в виде надстройки над реляционными СУБД, дополнив расширенные модели данных средствами для работы с логическими формулами и пользовательскими правилами оптимизации запросов.

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

БЗ семантического интерфейса состоит из следующих частей: 1) семантическая модель данных;

2) ограничения на данные;

3) пользовательские правила преобразования (оптимизации) запроса с целью сопоставления с ограничениями.

Разработанная семантическая модель данных является модификацией ER-модели, ее отношения дополнительно типизированы и для новых типов введены правила целостности. Она предназначена для описания концептуальной схемы базы данных, где хранится информация с иерархической структурой. Такую структуру имеют, в частности, данные моделирования для обеспечения возможности их версификации. Модель содержит следующие абстракции: классы объектов, свойства, иерархические отношения "часть-целое", ассоциативные отношения и т.д.

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

Многосортная алгебра A = (s A )sS,(f A )f F состоит из семейства множеств-носителей sA (сортов) и семейства частичных функций f A:

f A : s1A s2A … snA1 snA, n 0.

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

С каждым сортом si S свяжем счетное множество Xs переменных и определим множество термов TR и функцию type: TRS следующим образом:

– всякая переменная x Xs есть терм, причем type(x) = s;

– всякий 0-арный функциональный символ (константа) f F со схемой отображения f: s есть терм, причем type(f) = s;

– если f F имеет схему отображения f : s1s2 и t1, t2 – термы, у которых type(t1) = s1, type(t2) = s2, то f(t1, t2) – терм, type(f(t1, t2)) = s2.

Определение 1. Назовем фактом упорядоченный список вида (f, t1, t2), где f F, f: s1s2, ti TR (TR – множество допустимых термов), type (ti) = si (i = 1,2), или список вида (type, t, s), где t TR, s S, type(t) = s.

В этих обозначениях ситуацией d назовем конечную конъюнкцию фактов. В дальнейшем через D будем обозначать множество возможных ситуаций.

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

Обозначим через var(d) множество имен переменных, входящих в ситуацию d, а через T(d) ::= {type(x)|x var(d)} – множество типов переменных, входящих в факты ситуации d.

Введем также понятие подстановки:

::= {t1 / v1, t2 / v2,..., tm / vm}, где ti – термы, vi – переменная, type(ti) = type(vi), i = 1, m.

Запись d означает результат одновременной замены всех вхождений переменной vi в d на соответствующий терм ti. По умолчанию, термы ti будем полагать константами.

Подстановку a ::= {x1 / y1, x2 / y2,..., xm / ym}, где xi, yi (i = 1, m ) – переменные, назовем алфавитным вариантом. Для каждого алфавитного варианта определена обратная подстановка: a-1 = {y1 / x1, y2 / x2,..., ym / xm}.

Две ситуации d и d' назовем эквивалентными (d = d'), если найдется алфавитный вариант a такой, что: d d'a и d' da-1.

Определение 2. Ограничением на данные моделирования назовем пару decl, expr, в которой decl – ситуация, называемая декларацией переменных (переменные соответствуют классам концептуальной схемы БД и их атрибутам), expr – логическое выражение над элементарными одно- и двуместными предикатами, где переменные – атрибуты классов, присутствующие в декларации.

Определение 3. Системой ограничений назовем конечное множество пар CОND = {decl, expr}.

Контекстно-ориентированный подход к управлению знаниями служит для систематизации ограничений и их активации по мере необходимости. Основными контекстами являются контексты приложения, запроса и БД. Каждый из них, в свою очередь, подразделяется на абстрактный и прикладной контексты. Абстрактный контекст каждого из этих объектов, участвующих в обработке данных моделирования, соответствует интенсионалу этого объекта.

Прикладной контекст объекта позволяет описать некоторое множество его экземпляров. Так, абстрактный контекст БД задает ограничения, которые свойственны всем моделям данного класса (ранее содержались в процедурах проверки модели), а прикладной контекст БД – это ограничения, специфичные для конкретной предметной области (ранее в системах моделирования не учитывались).

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

В результате решается задача синхронизации открытой модели предметной области и БД системы моделирования, что позволяет легко находить требуемые экземпляры классов объектов, а при необходимости – осуществлять проверку их соответствия ограничениям.

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

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

Имя_структуры[условия_фильтрации]{.Имя_структуры[условия фильтрации]}0[.Имя_атрибута] (1) Данное адресуется как свойство некоторой структуры (или как сама структура), которая занимает определенное место в общей иерархии включения (уровни иерархии в запросе разделены символом «.»). Элементарные условия фильтрации можно разделить на следующие виды:

1. Одноместные предикаты.

2. Двуместные предикаты (,, =, ), где переменные – атрибуты уровня.

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

4. Переход к вложенному запросу по не регламентированным концептуальной схемой связям.

Таким образом, предложен способ декларативного представления схемы БД и пользовательских ограничений. Он обеспечивает возможности проектирования реляционной БД на языке семантической модели данных, автоматической генерации БД, проверки корректности данных, а также обращения к данным в терминах концептуальной схемы. Для систематизации ограничений используется контекстно-ориентированный подход, который применяется при проверке корректности данных моделирования.

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

Суть разработанного метода семантического анализа незапланированных запросов заключается в том, чтобы совместно рассматривать контексты, детализирующие дополнительные (по отношению к стандартным для СУБД) ограничения на пространство поиска запроса.

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

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

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

Для осуществления оптимизации запрос необходимо разложить в набор конъюнктивных запросов так, чтобы совокупность результатов их исполнения была идентична результату исходного запроса. Любой конъюнктивный путевой запрос вида (1) может быть записан в форме ограничения decl, expr. Это следует из графового представления предлагаемых конъюнктивных путевых запросов. Вершины графа соответствуют уровням запроса и атрибутам уровней, а ребра – связям между ними. Причем, часть ребер сопоставляется отношениям концептуальной схемы БД или их дополнениям, а другая часть описывает не регламентированные схемой связи, формируемые с помощью таких операторов запроса, как «», «», «=», «». Кроме того, вершинам, соотнесенным с атрибутами, назначаются конкретные значения из областей их определения. Факты вида (type, t, s) из ситуации decl описывают вершины графа запроса, а факты вида (f, t1, t2), содержащиеся в decl, – регламентированные ребра этого графа. В логическом выражении expr содержатся факты о конкретных значениях атрибутов, а также о незапланированных отношениях, возникающих на атрибутах. В фактах для обозначения регламентированных ребер и вершин графа запроса используются специальные константы.

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

Определим сначала элементарные операции преобразования ситуации, к которым относятся добавление фактов и переобозначение термов. Для фиксированного d' D:

а) операция добавления: A[d']: DD A[d'](d) = d d';

b) операция переобозначения термов RW[T]: DD RW[T](d) = dT, где T = (t1 / e1,t1 / e2), причем t1, e1, e2 – имена термов (все константы или все переменные), терм t1 назовем замещающим, а термы e1, e2 – замещаемыми.

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

Определим множество программ R преобразования ситуаций следующим образом. Во первых, будем считать элементами R программы A[d'], RW[T] при любых d' D и T, во вторых, если две программы r1, r2 R, то программа (r1;

r2), определенная посредством равенства (r1;

r2)(d) ::= r2(r1(d)) d D, также есть элемент R.

Определение 4. Продукцией назовем пару q, r, в которой q – ситуация, называемая условием применимости продукции, r – программа (r R), называемая действием. Системой продукций назовем конечное множество кортежей Pr = {q, r}.

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

В полученной вышеописанным способом системе продукций Pr, каждая продукция соответствует либо правилу доопределения запроса, либо правилу «склейки». Факты, входящие как в условия применимости (часть decl), так и в программы, содержат переменные, поскольку продукции предназначены для задания схем правил, а не отдельных правил.

Теперь рассмотрим организацию логического вывода на базе такой системы продукций.

Будем говорить, что d2 непосредственно выводима из d1 посредством продукции pr = q, r, (d1 pr d2), если найдется такая подстановка, что d1 df q (df – фрагмент, затрагиваемый программой r, а d2 = r(df) (d1 \ df)).

Если d0 * dk (dk – ситуация, получающаяся из d0 в результате применения последовательности продукций) и pr, (dk pr d' d' = dk), то dk – результирующая ситуация для d0.

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

Пусть задано исходное состояние d0 и система продукций Pr = {pri = qi, ri}, i = 1, n, n 0. Назовем Pr корректной на d0, если не существует бесконечной последовательности применимых к d0 продукций, и для любых двух результирующих ситуаций d' и d", выводимых из d0, выполнено d' = d".

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

Правила «склейки» описывают всевозможные пары эквивалентных вершин графа запроса и способ их отождествления. Каждое правило сводится к выполнению операции переобозначения термов с исключением повторяющихся фактов. Если в запросе имеются два различных обозначения одной и той же константы (вершины графа запроса), то подстановка формируется таким образом, чтобы замещающий терм c3 {c1, c2} подстановки T = (c3 / c1, с3 / c2) имел наименьший индекс из индексов замещаемых термов c1 и c2.

Обозначим E(q) множество фактов Fe = {fact1e, fact2e} вида (type, t, s) из условия применимости q некоторого правила «склейки», которые соответствуют отождествляемым вершинам в графе запроса.

Теорема. Пусть Pr = {pri} – система продукций, такая, что каждая продукция qi, ri соответствует либо правилу «склейки» вершин, либо правилу доопределения запроса. Если для любой пары продукций pr1, pr2, где pr1 – правило доопределения или правило «склейки», а pr2 – правило «склейки», выполняется соотношение fact1e q1 fact2e q1 (fact1e, fact2e E(q2a), a – допустимый алфавитный вариант), то система продукций Pr корректна.

После проведения оптимизации конъюнктивного запроса производится проверка логических формул, получающихся в результате «склейки» вершин. Если выявляются противоречия в условиях фильтрации запроса, то он признается структурно некорректным. В случае положительного исхода описанных проверок, происходит семантический анализ запроса с точки зрения контекстов. Для запроса Q=declQ, exprQ формируется система активированных ограничений CONDact = {decli, expri}. Очевидно, что для каждого ограничения condi=decli, expri может быть несколько допустимых подстановок – {i}. Конкретизированные ограничения (полученные в результате применения всех допустимых постановок ко всем активированным ограничениям) образуют систему CОND ={decli, expri}, i=1…k.

Определение 5. Конъюнктивный путевой запрос является некорректным с точки зрения конкретизированных контекстных ограничений, если:

exprQ expr1 … exprk=false. (2) В противном случае конъюнктивный путевой запрос признается корректным.

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

Пусть A = {A1,A2,…,An} – множество атрибутов (например, атрибутов классов концептуальной схемы данных), называемых простыми, а С = {A1,A2,…,An,A1A2,A1A3,…} – множество, состоящее из простых атрибутов и их всевозможных попарных декартовых произведений (сложных атрибутов). Тогда в качестве гибкого универсума следует рассматривать булеан (множество всех подмножеств) множества С – B(С) = {Qi}.

АУК задается следующим образом:

= {RKi[Qi]},,, +Attr, -Attr, Пр, Attr,, где: RKi[Qi] – некоторый АУК-объект (условный С-кортеж или условная С-система);

Qi – схема отношения, представляющая собой некоторое множество атрибутов классов и их попарных декартовых произведений;

– операция объединения АУК-объектов;

– операция пересечения АУК-объектов;

+Attr, -Attr – операции добавления и элиминации атрибутов;

Attr – операция перестановки атрибутов;

Пр – операция взятия проекции;

– операция наполнения АУК-объектов.

Элементарные условные С-кортежи соответствуют логическим формулам, не содержащим связки по «или» между двуместными предикатами. Условные С-системы учитывают такие связки. В именах АУК-объектов RK[M] явно указывается множество сложных атрибутов – K. В описании компонент сложных атрибутов используются лишь имена бинарных отношений, а конкретные множества значений формируются в результате операции наполнения, при реализации которой анализируется возможность одновременно сформировать все бинарные отношения, описанные в элементарном кортеже. Пересечение и объединение АУК-объектов регулируется разработанными таблицами, регламентирующими способ получения результирующих компонент на основе компонент исходных АУК-объектов.

Пусть СDK1[D1],...,CDKn[Dn] – набор условных С-систем, соответствующих конкретизированным ограничениям, а QF[B] – запрос. Тогда на языке АУК условие (2) выглядит следующим образом:

ResX[Y] =, где ResX[Y] = QF[B]СDK1[D1]…СDKn[Dn].

Таким образом, в работе решена задача обеспечения соответствия результатов незапланированных путевых запросов ограничениям на данные моделирования.

Предложенный во 2 и 3 главах подход к организации семантического интерфейса БД систем моделирования реализуется с помощью следующих этапов:

1. Формирование концептуальной схемы БД, ограничений на данные, пользовательских правил оптимизации запросов.

2. Генерация БД на основе концептуальной схемы и проверка ее корректности.

3. Конструирование незапланированного путевого запроса.

4. Оптимизация запроса.

5. Сопоставление запроса с ограничениями на данные моделирования. В результате этого этапа выявляются все некорректности запроса.

6. Трансляция корректного запроса в конструкции языка SQL.

7. Исполнение запроса средствами реляционной СУБД.

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

Семантический интерфейс реализован в виде COM-сервера, который обеспечивает доступ к БД средствами путевых запросов, проверяет их корректность и выполняет трансляцию запросов на язык SQL (см. рис.1).

Запросы Пользователи Эксперты Редактор метаданных Ограничения пользователя Путевые Клиентские запросы База знаний приложения Концепт. схема БД Семантический интерфейс Путевые Ограничения Синтаксический анализ запроса запросы (контексты) Логический вывод Правила (оптимизация запроса) оптимизации Семантический анализ запроса SQL запросы База данных системы моделирования СУБД Рис.1. Архитектура семантического интерфейса Разработанные COM-интерфейсы используются при построении клиентских приложений (модулей системы моделирования). Основным клиентским приложением является редактор метаданных, функционирующий в двух основных режимах: 1) формирования ограничений модели предметной области;

2) конструирования и исполнения пользовательских запросов. В первом режиме эксперт строит концептуальную схему БД, детализирует ограничения на допустимые модели и специфичные ограничения для исследуемой предметной области, а также описывает правила семантической оптимизации запросов. В режиме конструирования и исполнения запросов происходит их предварительная обработка, управляемая процедурой логического вывода, а затем собственно семантический анализ на основе сопоставления с информацией из базы знаний. Конструктор запроса позволяет выделять интересующие ситуации концептуальной схемы, а также содержит редактор формул, с помощью которого задаются логические условия выборки. Редактор метаданных обеспечивает независимое от СУБД представление БД. Для взаимодействия с СУБД семантический интерфейс использует технологию ADO, поэтому имеется возможность настраиваться на различные СУБД. В качестве СУБД использовались PostgreSQL8.0 и Microsoft SQL Server.

Программную реализацию семантического интерфейса целесообразно рассматривать на трех уровнях: уровне исходного кода, уровне COM-интерфейсов и уровне кода клиентских компонентов. При разработке всех слоев (за исключением некоторых клиентских приложений) использовалась среда Borland C++ Builder.

Уровень исходного кода содержит базовую логику семантического интерфейса. Он представляет собой декларацию и дефиницию классов компонента на языке объектно ориентированного программирования C++. На этом уровне можно выделить следующие структурные и алгоритмические элементы: списки метаданных БД, транслятор запросов, список наборов данных, очередь транзакций, монитор транзакций. Кроме того, слой включает классы, реализующие объекты и операции АУК.

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

Уровень клиентских компонентов содержит набор невизуальных proxy-компонентов и объектных классов. Невизуальные proxy-компоненты перепредставляют COM-интерфейсы в виде классов на языке С++.

Предложенный метод семантического анализа запросов и реализующие его алгоритмы апробированы в следующих приложениях:

1. При реализации хозяйственных договоров со службами диспетчерского управления (СДУ) энергосистемы "Колэнерго" используется система моделирования региональной энергетики, разработанная в ИИММ КНЦ РАН при работе по договору «Создание информационно-аналитической справочной системы (ИАСС) на единой картографической основе для задач оперативного и перспективного управления ЦЭС ОАО "Колэнерго"».

2. При выполнении хозяйственного договора на опасном объекте (хвостохранилище) АНОФ-2 ОАО "Апатит" для моделирования и прогнозирования безопасности используется информационная система, созданная с участием ИИММ КНЦ РАН.

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

3. При проведении комплексного мониторинга вмещающего массива Ловозерского редкометального месторождения в рамках хоздоговора с Горным институтом КНЦ РАН «Оценка современного состояния рудника "Карнасурт" в условиях изменившегося геодинамического режима и его склонности к горно-тектоническим ударам»

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

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

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

Среднее время ввода (часы) 0 10 20 30 40 Количество ограничений Система ограничений Программирование Рис.2. Время настройки системы моделирования на ограничения предметной области Декларативное представление ограничений в виде специализированной системы позволяет ускорить проектирование инструментов контроля корректности, как показано на рис.2. Также интерфейс получает преимущества при развитии этих инструментов по сравнению с непосредственным программированием процедур проверки модели.

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

В таблице приводятся результаты сравнения производительности программных компонентов: a) реализованного изначально для анализа SQL-запросов и б) созданного затем на базе путевых запросов в рамках предложенного семантического интерфейса.

Таблица Длительность обработки запросов (в сотых долях секунды) SQL-запросы Путевые запросы Этап преобразования запроса 0,83 0, Этап семантического анализа 0,59 0, Этап трансляции - 0, Как видно из сопоставления результатов, предпочтительным является использование путевых запросов, поскольку они непосредственно отражают в своей структуре абстракции используемой модели данных, что облегчает процедуры их анализа.

Акты о внедрении приложены к диссертации.

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

В приложение вынесен синтаксис предложенного языка путевых запросов.

ЗАКЛЮЧЕНИЕ В диссертационной работе получены следующие основные результаты:

1. Разработана модель базы знаний, специализированная для анализа незапланированных запросов и содержащая семантическую модель данных, ограничения на данные, правила оптимизации запросов. Используемая семантическая модель данных является расширением ЕR модели, ее отношения дополнительно типизированы, для них определены правила ссылочной целостности. Концептуальная схема строится на основе семантической модели и описывает базу данных в виде классов объектов, организованных в иерархию включения и связанных ассоциативными отношениями. На отдельные отношения, а также на их наборы могут накладываться ограничения, представимые в виде логических формул над элементарными одно- и двуместными предикатами без кванторов. С целью устранения избыточности и выявления «скрытых ограничений» в запросе обеспечена возможность построения пользовательских правил его оптимизации. Формализация ограничений и правил оптимизации запросов осуществляется с помощью аппарата многосортных алгебр.

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

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

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

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

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

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

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

8. Результаты работы апробированы при решении следующих задач: моделирование и прогнозирование безопасности на опасном объекте (хвостохранилище) АНОФ-2 ОАО "Апатит";

оперативное и перспективное управление ЦЭС ОАО "Колэнерго";

оценка современного состояния рудника "Карнасурт" ООО "Ловозерский ГОК";

в учебных курсах Кольского филиала Петрозаводского государственного университета.

СПИСОК ПУБЛИКАЦИЙ ПО ТЕМЕ ДИССЕРТАЦИИ

В рецензируемых журналах из перечня ВАК 1. Бойков С.А., Фридман А.Я., Зуенко А.А., Соловьев А.В., Македонов Р.А., Зайцев А.В., Тарова Е.С. Программно-алгоритмическая организация системы ситуационного управления промышленно-природными комплексами // Труды ИСА РАН. Прикладные проблемы управления макросистемами. Том 8. – М.: Едиториал УРСС, 2004. – С.199-210.

2. Зуенко А.А., Фридман А.Я. Управление контекстом при организации интеллектуализированного интерфейса БД в системах моделирования на основе концептуального подхода // Труды ИСА РАН. Прикладные проблемы управления макросистемами/ Под ред. Ю.С. Попкова, В.А. Путилова. Т. 39. – М.: Книжный дом «ЛИБРОКОМ», 2008. – C.128-141.

3. Зуенко А.А., Фридман А.Я. Метод семантического анализа нерегламентированных запросов в реляционной базе данных с иерархической структурой // Труды ИСА РАН.

Прикладные проблемы управления макросистемами/ Под ред. Ю.С. Попкова, В.А. Путилова. Т.

39. – М.: Книжный дом «ЛИБРОКОМ», 2008. – C.141-159.

4. Зуенко А.А., Фридман А.Я. Развитие алгебры кортежей для логического анализа баз данных с использованием двуместных предикатов // Известия РАН. Теория и системы управления. 2009. №2. – С.95-103.

В других изданиях 5. Македонов Р.А., Зуенко А.А. Описание программно-алгоритмической организации ситуационной системы моделирования // Информационные технологии в региональном развитии. – Апатиты: Изд-во КНЦ РАН, 2006. – Вып.VI. – С.48-51.

6. Зуенко А.А., Македонов Р.А. Логическая структура базы данных системы ситуационного моделирования // Информационные технологии в региональном развитии. – Апатиты: Изд-во КНЦ РАН, 2006. – Вып.VI. – С.52-55.

7. Зуенко А.А. Расширение концептуальной модели природно-технического комплекса на задачу хранения данных вычислительного эксперимента // II-ая Всероссийская научная конференция "Теория и практика системной динамики" (Апатиты, 3-6 апреля 2007 г.). Труды конференции. – Апатиты: Изд-во КНЦ РАН, 2007. – С.207-212.

8. Зуенко А.А. Формализация метаданных для хранилищ информации, поддерживающих открытую концептуальную модель // Информационные технологии в региональном развитии. – Апатиты: Изд-во КНЦ РАН, 2007. – Вып.VII. – С.82-86.

9. Зуенко А.А., Македонов Р.А. Программное обеспечение задач обогащения комплексного минерального сырья // Сборник материалов IV школы молодых ученых и специалистов «Сбалансированное природопользование» (6-8 ноября 2007 г.) – Апатиты: Изд-во КНЦ РАН, 2008. – С.248-254.

10. Зуенко А.А., Фридман А.Я. Логический вывод при семантическом анализе нерегламентированных путевых запросов. // Одиннадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2008 (28 сентября - 3 октября 2008 г., Дубна, Россия): Труды конференции. Т.1. – М.: ЛЕНАНД, 2008. – С.298-304.

11. Зуенко А.А., Фридман А.Я. Спецификация ограничений предметной области в системе концептуального моделирования (на примере региональной энергетики) // Информационные технологии в региональном развитии. – Апатиты: Изд-во КНЦ РАН, 2008. – Вып.VIII. – С.57 61.

12. Зуенко А.А., Македонов Р.А. Комплексное моделирование нормального функционирования и безопасности хвостохранилища АНОФ-II. // Геология и геоэкология:

исследования молодых. Материалы XIX конференции молодых ученых, посвященной памяти члена-корреспондента, профессора К.О. Кратца. (24-28 ноября 2008 г., г. Апатиты) – Апатиты:

Изд-во Кольского научного центра РАН. 2008 – С.126-128.

13. Зуенко А.А., Фридман А.Я. Контекстный подход в системах сопровождения открытых моделей предметной области // Искусственный интеллект и принятие решений. 2008. №3. С. 41 51.

14. Зуенко А.А., Фридман А.Я. Метод обеспечения стопроцентной точности путевых запросов к интеллектуальным базам данных // III-ая Всероссийская научная конференция «Теория и практика системной динамики» (Апатиты, 30 марта - 2 апреля 2009 г.). Труды конференции. – Апатиты: Изд-во КНЦ РАН, 2009. (в печати)

 

Похожие работы:





 
2013 www.netess.ru - «Бесплатная библиотека авторефератов кандидатских и докторских диссертаций»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.