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

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

Курганская Ольга Викторовна

МЕТОДИКА И СРЕДСТВА ИНТЕЛЛЕКТНОГО КОНТРОЛЯ И ПРЕОБРАЗОВАНИЯ ДАННЫХ ДЛЯ ВЫЧИСЛИТЕЛЬНОГО ЭКСПЕРИМЕНТА В ИССЛЕДОВАНИЯХ ЭНЕРГЕТИКИ

Специальность 05.13.01 - Системный анализ, управление и обработка информации (промышленность)

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

2 4 МАЙ 2012

Иркутск-2012

\

005044769

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

Работа выполнена в Федеральном государственном бюджета учреждении науки Институт систем энергетики имГл.А. Мелентьева *ЖЭМ Сибирского отделения Российской академии наук.

доктор технических наук, профессор Массель Людмила Васильевна

Аршинский Леонид Вадимович -

доктор технических наук, доцент ФГБОУ ВПО «Иркутский государственный университет путей сообщения» (ИрГУПС), заведующий кафедрой «Информационные системы» Такайшвили Людмила Николаевна -кандидат технических наук, ФГБУН Институт систем энергетики им. Л.А. Мелентьева Сибирского отделения Российской академии наук (ИСЭМ СО РАН), старший научный сотрудник, отдел «Региональных проблем энергетики»

ФГБОУ ВПО «Национальный исследовательский Томский политехнический университет»

заселанаиТТ,п ДИССертаЦИИ С0СТ0ИТСЯ 07 июня 2012 г. в 10.00 часов на 218 0П4П, ""Г ДОет°Рских и кандидатских диссертаций Д

2ШЮ4.01 при ФГБОУ ВПО «Иркутский государственный университет путей сообщения» по адресу 664074, Россия, г. Иркутск, ул. Чернь^щевского^Л 5/а™

С диссертацией можно ознакомиться в библиотеке ФГБОУ ВПО «Иокутский государственный университет путей сообщения». . «"ркутскии

Автореферат разослан 02 мая 2012 г.

У™Те„и7ТпЙ'РаТ В ЛВУХ ЭКЗеМПЛЯрЭХ' завеРенные '^Рбовой печатью Й™4 01'. " "аПраВЛЯТЬ ° адРес Диссертационного совета

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

Ученый секретарь совета по защите докторских и кандидатских диссертаций, д.т.н., профессор

И. И. Тихий

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

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

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

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

Исследованиями в области проведения и автоматизации вычислительного эксперимента в различных сферах занимались A.A. Самарский, М.М. Горбунов-Посадов, В.И. Легоиысов и др. В исследованиях энергетики вопросами организации вычислительного эксперимента занимались Л.А. Меленть-ев, A.A. Макаров, Л.Д. Криворуцкий, И.А. Шер, Л.В. Массель и др.

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

^Энергетическая безопасность. Термины и определения/ отв.рея. Н.И. Воропай. - М,ИАЦ Энергия, 2005, 60 с.

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

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

В области системного анализа автор опирается на результаты исследований, полученные С. Л. Оптнером, С. Янгом, Ф.И. Передовым ФП Тарасенко, В.Н. Волковой, В.П. Голубковым и др. В области дедуктивного синтеза программ - на результаты, полученные А.П. Ершовым, С.С Лавровым, СЛ. Васильевым и др. в СССР и России, а также на результаты, полученные 3. Манна, Р. Уолдингером, Ч. Ченем, Р. Ли и др. за рубежом.

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

Идея дедуктивного синтеза программ заключается в построении программы в ходе формального логического вывода теоремы её существования2 в некотором формальном исчислении. Применительно к задаче преобразования данных для вычислительного эксперимента в исследованиях проблем ЭБ это означает представление процесса преобразования или контроля данных в виде логической формулы (теоремы), называемой декларативным представлением. В ходе формального логического вывода декларативного представления автоматически синтезируется про1рамма, преобразующая (контролирующая) данные в соответствии с заданными требованиями. Такой подход позволяет решать задачу контроля и преобразования данных в ходе вычислительного эксперимента в исследованиях ЭБ автоматически, без привлечения специалиста-программиста.

Объектом исследования является информационная технология проведения вычислительного эксперимента в исследованиях энергетики на примере исследований проблем ЭБ России и её регионов.

=лГГрлТЧаеТ ВШ0ДИМУЮ (Д0КаЗУеМУЮ) ФорМ^ формального „счисления (СМ. напр. ьршов Ю.Л., Палютаи Е.А. Математическая логика. - М.: Наука, 1979. - 320 с.)

Предметом исследования являются процессы преобразования и контроля данных в ходе вычислительного эксперимента в исследованиях энерге-

тики.

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

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

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

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

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

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

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

специалиста-программиста.

Научную новизну составляют и на защиту выносятся:

' Термин «интеллектный» обозначает подход, позволяющий достичь некоторого сходства с интеллектом, демонстрируемым человеком (см. напр. Васильев С.Н. „ др. Интеллектное управление динамическими системами. - М.: Физматлит, 2000. - 352 с.)

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

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

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

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

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

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

3. Основные элементы технологии интеллектного преобразования данных в ходе проведения вычислительного эксперимента в исследованиях проблем ЭБ России и её регионов, отличающейся от существующей применением средств интеллектного контроля и преобразования Данных.

Практическая значимость полученных результатов. Результаты исследования применяются в исследованиях энергетической безопасности России и её регионов, проводимых в ИСЭМ СО РАН, в частности, в рамках двухуровневой интеллектуальной технологии исследований ЭБ.

Результаты работы применены также при выполнении-• проекта СО РАН № 4.3.1.3 «Разработка методических основ и интеллектуальных компонентов ИТ-инфраструктуры системных исследований в энергетике» в рамках приоритетной программы исследований СО РАН № 4.3.1. «Информационные и вычислительные технологии в задачах поддержки принятия решений» (2007-2009). проекта СО РАН №1У.31.2.13 «Методические основы н инструментальные средства интеллектуальной поддержки исследований в энергетике» в рамках приоритетной программы исследований СО РАН № 1У.31.2.

«Новые ГИС и Веб-технологии, включая методы искусственного интеллекта, для поддержки междисциплинарных научных исследований сложных природных, технических и социальных систем с учетом их

взаимодействия» (2010-2012); . проекта №2.29 «Интеллектуальные информационные технологии для исследования проблемы энергетической безопасности» по гранту Программы Президиума РАН №2 «Интеллектуальные информационные технологии, математическое моделирование, системный анализ и

автоматизация» (2009-2010); . проектов по грантам РФФИ №07-07-00265а и РГНФ №07-02-12112в (2007-2009), грантам РФФИ №08-07-00172 (2008-2010), №10-07-00264

(2010-2012)', №11-07-00192 (2011-2012).

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

преобразования и контроля данных.

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

Апробация работы. Результаты работы докладывались и обсуждались на конференциях, научных семинарах и заседаниях: XIII, XIV XV и XVI Байкальских Всероссийских конференциях «Информационные технологии в науке и управлении» (Иркутск, 2008, 2009, 2010, 2011 гг.); ХП Международной конференции «Computer Science and Informational technologies» (Санкт-Петербург, 2010 г.); Российско-монгольской конференции молодых ученых (Иркутск - Ханх, 2011 г.); XI Всероссийской конференции молодых ученых по математическому моделированию и информационным технологиям (Иркутск, 2010 г.); XL и XLI конференциях-конкурсах научной молодежи Института систем энергетики им. Л.А. Мелентьева СО РАН (Иркутск 2010-2011 гг.), на заседаниях секции «Прикладная математика и информатика» Ученого совета ИСЭМ СО РАН, семинарах отдела «Живучести и безопасности систем энергетики» ИСЭМ СО РАН.

Личный вклад. Все положения, составляющие научную новизну и

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

Структура и объем диссертации. Диссертация состоит из введения, трёх глав, заключения, библиографии и трёх приложений. Общий объём диссертации - 146 страниц. Библиография включает 95 наименовании.

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

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

В первой главе автором выполняется системный анализ вычислительного эксперимента в исследованиях проблем ЭБ.

Рассматривается концепция исследования ТЭК России и её регионов с позиций энергетической безопасности и взаимосвязь решаемых при этом задач . Анализируются технологии исследований ЭБ России и её регионов, проводимые при этом вычислительные эксперименты и средства автоматизации вычислительных экспериментов. В частности, рассматриваются технология исследования энергетической безопасности России и её регионов, основанная на последовательном применении экономико-математических моделей ТЭК и отдельных отраслей5, а также технология интеллектуальной поддержки принятия решений в исследованиях ЭБ6.

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

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

1. Многовариантный характер проводимых исследований. Расчеты для исследований проблем энергетической безопасности выполняются для различных вариантов параметров математической модели.

2. Многоуровневый характер проводимых исследований. Комплексные расчеты для исследований проблем ЭБ проводятся с применением различных математических моделей разных уровней агрегирования.

'Системные исследования « энергетике: Ретроспектива научных направлений СЭИ-ИСЭМ / отв оед Н И Воропай. - Новосибирск: Наука, 2010.-686 с.

'Энергетическая безопасность России / В.В. Бушуев, Н.И. Воропай, A.M. Мастепанов, Ю.К. Шафраник и др - Новосибирск: Наука. Сибирская издательская фирма РАН, 1998. - 302 с.

'Массель Л.В. Применение онтологического, когнитивного и событийного моделирования для анализа развития и последствий чрезвычайных ситуаций в энергетике / Проблемы безопасности и чрезвычайных ситуаций, №2, 2010.-с. 34-43.

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

4. Для вычислительного эксперимента используются внешние решатели и

средства содержательной интерпретации. 5 Многократное использование в рамках вычислительного эксперимента одних и тех же данных в разных целях (например, для расчета на различных моделях, для содержательной интерпретации с помощью разных средств).

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

Для решения задачи преобразования данных для вычислительного эксперимента в исследованиях ЭБ с учетом приведенных особенностей, автором предлагается использовать метод дедуктивного синтеза программ. В данном исследовании задача дедуктивного синтеза программ решена с применением исчисления позитивно-образованных формул (ПОФ) -

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

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

2 Вычислительный эксперимент в исследованиях ЭБ осуществляется с ' применением внешних решателей, содержательная интерпретация

результатов вычислительного эксперимента в исследованиях ЭБ осуществляется с помощью внешних программных средств.

3 В рамках вычислительного эксперимента выделяются три типа процессов ' преобразования данных: процесс преобразования данных в файлы задан-

л системами. - М : Физматлит, 2000. - 352 с.

' Васильев С.Н. и др. Интсллсктнос управление динамическими с

9

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

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

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

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

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

1 Extensible Markup Language (XML). URL: http://www.w3.org/XML/ (дата обращения 25.10.2011).

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

эксперимента в исследованиях проблем ЭБ.

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

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

Таблица 1. Атомы декларативных представлений процессов

^^«^пптааииа и 1ГПИТППЛЯ ЛУННЫХ

Атом Назначение

Vd(x,y) элемент XML-доку мента x предшествует элементу у, х и v - смежные по вертикали элементы.

Н(х,у) элемент XML-документа х предшествует элементу у, х и v - смежные горизонтали элементы.

Vp(y,x) элемент XML-документа у следует за элементом х, х и у -смежные по вертикали.

Q(x,y) задан шаблон преобразования элемента XML-документа х в элемент у.

Z{x) для элемента XML-документа х не задано никаких преобразований.

Wd(x,y) элемент схемы XML-документа х предшествует элементу у и х, у - смежные по вертикали элементы.

Wp(y,x) элемент схемы XML-документа у следует за элементом х и х,у- смежные по вертикали элементы.

VH(x,y) элемент схемы XML-документа х предшествует элементу v их у - смежные по горизонтали элементы.

Pix), R(x), V(x) элемент XML-документа х может быть обработан, находится в обработке, успешно обработан.

Для определения отношений смежности между элементами XML-документов используются элементы стандартного интерфейса DOM (Document Object Model)9.

Разработаны два вида декларативных представлений - для процессов контроля и для процессов преобразования данных в ходе вычислительного эксперимента в исследованиях ЭБ. Декларативное представление F(Sd,D) процесса контроля соответствия XML-документа D его схеме называется теоремой достоверности. Теорема достоверности имеет следующую структуру:

((Л,5,)Л(Лу^))->(50->К(0)),

где

• формулы S, задают требования к отношениям смежности элементов контролируемого документа, представленные в виде схемы S0, и строятся в процессе её обхода;

• формулы D задают правила обработки элементов XML-документа D и строятся в процессе обхода этого документа,

• формула В0 =№)лЮ), где формула ND задает связи между элементами документа D, а атомы P(a), V(a) задают состояние корневого элемента а документа D. Формула Ва строится в процессе обхода документа D.

Декларативное представление G(Sd,Sm,D,T) процесса преобразования XML-документа D со схемой в документ, удовлетворяющий условиям, заданным в схеме SM, называется теоремой синтеза. Структура теоремы синтеза G(Sd,Su,D,T) аналогична структуре теоремы достоверности. Принципиальное отличие заключается в том, что с элементами теоремы синтеза связаны нелогические элементы - элементы сценария преобразования данных Т. Элементы сценария представляют собой подпрограммы, которые обеспечивают преобразования данных, содержащихся в документе D, в файл, удовлетворяющий требованиям, заданным в SM.

Автором разработан алгоритм применения декларативных представлении (рис. 1). Применение декларативных представлений заключается в их преобразовании к виду ПОФ и автоматическом синтезе сценариев преобразования данных на основе вывода полученной ПОФ. Вывод ПОФ представляет собой ее многократное преобразование по правилу со. Исходя из осо-

IадТшш г0bject Mode' <D0M>- Level 1 Specification. URL: http://Www.w3.or^R/>998/REC-DOM-Level->-19981001/(дата обращения 25.02.2011)

(

Начало

1 Корректировка исходных данных для построения ДП

Построение декларативного представления (ДП) —

Преобразование ДП к виду ПОФ

Вывод ДП в исчислении ПОФ и синтез сценария

Преобразование Формирование

данных в ходе протокола

исполнения сценария^] ошибок

Конец ^

Рис. 1. Алгоритм применения декларативных представлений

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

Рассмотрим декларативное представление процесса контроля данных. Введем понятия достоверности и структурной достоверности документа относительно некоторой схемы. Документ £> называется достоверным относительно схемы 5, если он удовлетворяет следующим условиям:

1. Тип любого его элемента совпадает с типом одного из элементов схемы 5.

2. Для любой пары элементов документа £> отношения смежно-

сти совпадают с отношениями смежности соответствующей пары элементов схемы 5.

3. Содержимое любого элемента документа Д доставляет истинное значение контрольному соотношению, заданному для элемента данного типа.

В случае если документ удовлетворяет только условиям 1-2, будем называть документ структурно достоверным относительно схемы 5.

Рассмотрим алгоритм построения теоремы достоверности Я^-О). Алгоритм состоит из трех этапов. На первом этапе в процессе обхода схемы документа 5 строятся формулы 5,. С элементами формул связываются нелогические элементы - команды запуска контролирующих подпрограмм. На втором этапе в ходе обработки документа В строятся формулы Вг На

» Бутаков М И. и яр. Контроль диалога объектных программ на основе „озитивно-образованных формул // ВопросТсовременной науки и практики. Университет им. В.И. Вернадского, 2010, № 4-6(29). -С. 106-115.

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

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

и ^

ности

Утверждение 1. Теорема Р^О) выводима в исчислении ПОФ тогда

и только тогда, когда документ й структурно достоверен относительно схемы Л.

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

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

Алгоритм построения теоремы синтеза ^¿„.ЦГ) состоит из трех этапов. Первые два этапа аналогичны первым этапам построения теоремы достоверности. На третьем этапе при обходе документа О строится формула т. Ее подформулы описывают связи между элементами преобразуемого документа и строятся в ходе разбора вариантов отношений смежности между ними. С элементами формулы ю связываются команды запуска

преобразующих подпрограмм. Полное формальное описание алгоритма приведено в тексте диссертации.

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

Утверждение 2. Если теорема синтеза Д Т) выводима в ис-

числении ПОФ и отображение, задаваемое элементами Г, сюръективно и

функционально (однозначно), то выходной ХМЬ-файл структурно достоверен относительно схемы .

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

Рассмотрим преобразование форматированного текстового файла математической модели в ХМЬ-файл. Оно осуществляется в ходе лексического анализа текстового файла на основе регулярных выражений". Шаблоны регулярных выражений связываются с элементами схемы ХМЬ-представления текстового документа. В результате обхода такой схемы в прямом порядке

654Г"" ДЖ" К°МПИЛЯТ0РЫ' ПР"НЦИПЫ- ™*™»п,м, инструменты. - М, Издательство

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

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

Этап I. Подготовка преобразований данных в ходе вычислительного

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

шаблоны регулярных выражений.

Этап II. Сбор и контроль исходных данных в прототип, и формирование файла математической модели. Декларативные представления, применяемые на этом этапе, включают: схему прототипа математической модели, прототип, схему математической модели и правила преобразования прототипа в модель.

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

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

В третьей главе предлагается базовый состав компонентов программного обеспечения для интеллектного преобразования данных в ходе вычислительного эксперимента при исследованиях ЭБ и основные элементы технологии интеллектного преобразования данных в ходе проведения

вычислительного эксперимента.

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

№

2.

Компонент

Таблица 2. Базовый состав компонентов ПО для контроля и преобразования данных на основе обработки декларативных представлений.

Компонент обзора и редактирования ХМЬ-документов

Назначение компонента

3.

Компонент логического вывода, синтеза и исполнения сценариев

Компонент форматно-управляемого разбора текстовых файлов

Обзор и редактирование ХМЬ-документов, схем ХМЬ-документов и элементов сценариев преобразования данных. Построение декларативных представлений процессов преобразования данных.

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

Компонент запуска внешних программных средств

Компонент управления вычислительным экспериментом

Лексический анализ текстового файла построенным регулярным выражением, формирование результирующего ХМЬ-файла.

Запуск внешних программных средств (решателя или средств содержательной интерпретации)

Запуск перечисленных выше компонентов. Отслеживание состояния вычислительного эксперимента.

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

Схема взаимодействия разработанных базовых компонентов и внешних программных средств приведена на рис. 2.

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

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

Файл конфигурации

г---| i "

1 'М-► СИ]

CZZ3

Компонент обзора и Компонент управления редактирования XML- вычислительным документов экспериментом

Компонент логического

вывода, синтеза и исполнения сценариев

Компонент форматно-управляемого разбора Компонент запуска внешних текстоаЬ|х файпов программных средств

Рис 2. Схема взаимодействия базовых компонентов

Разработанный методический подход применен при формировании базового варианта экономико-математической модели для исследований направлений развития ТЭК с позиций ЭБ в формате 1р решателя 1р_8о1уе. Пример применения подтверждает пригодность предложенного методического подхода для решения задач преобразования данных в ходе вычислительного эксперимента в исследованиях ЭБ.

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

В приложениях к диссертации представлены ХМЬ-схема экономико-математической модели для исследований направлений развития ТЭК с позиций ЭБ, разработанная для применения предложенного методического подхода, и файл в формате решателя, полученный в ходе рассмотрения примера применения, а также акт о внедрении результатов работы.

Таблица 3. Основные элементы технологии иптеллектного преобразования данных в ходе вычислительного

----эксперимента и Iicrwinmmi,iv ЧЕ

JVs I ехнологнческий элемент Инструментальные средства поддержки Результат

1. Задание исходных данных для проведения вычислительного эксперимента Компонент обзора и редактирования ХМЬ-файлов Структура XML-прототипа, структура математической модели

2. Преобразование данных из источника данных в ХМЬ-прототип Компонент логического вывода, синтеза и исполнения сценариев XML-прототип с исходными данными.

3. Контроль ХМЬ-прототипа Компонент логического вывода, синтеза и исполнения сценариев Протокол контроля XML-прототип с исходными данными

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

5. Расчет математической модели Решатель Файл с результатами расчета в текстовом формате решателя

6. Преобразование результатов расчета в ХМ1,-формат Компонент форматно-управляемого разбора текстовых данных Файл с результатами расчета в формате XML.

1. Преобразование результатов расчета в ХМЬ-формате в ХМЬ-прототип Компонент логического вывода, синтеза и исполнения сценариев XML-прототип с результатами расчета

8. Контроль ХМЬ-прототипа с результатами расчета Компонент логического вывода, синтеза и исполнения сценариев Протокол контроля XML-прототип с результатами расчета

У. Преобразование данных из ХМЬ-прототипа в файл формата средства содержательной интерпретации Компонент логического вывода, синтеза и исполнения сценариев Файл с результатами расчета в формате средства содержательной интерпретации

10. Содержательная интерпретация результатов расчета Средство содержательной интерпретации

ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ

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

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

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

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

. Методика интеллектного преобразования и контроля данных на основе декларативных представлений процессов преобразования данных в ходе вычислительного эксперимента в исследованиях ЭБ.

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

4 Определены основные элементы технологии интеллектного преобразования данных в ходе проведения вычислительного эксперимента в исследованиях ЭБ России и её регионов, основанные на применении средств интеллектного преобразования и контроля данных.

Результаты исследования применяются в исследованиях ЭБ России и её регионов, в частности, в рамках двухуровневой интеллектуальной технологии исследований, проводимых в ИСЭМ СО РАН.

Результаты диссертационной работы также применены при выполнении двух базовых проектов СО РАН, проекта по гранту программы Президиума РАН и пяти проектов по грантам РФФИ и РГНФ.

ОСНОВНЫЕ ПУБЛИКАЦИИ ПО ТЕМЕ ДИССЕРТАЦИИ12

1. Бутаков М.И., Курганская О.В. Решение учебных задач трансляции на основе позитивно-образованных формул. - Системы управления и информационные технологии, №3.1(33). - Воронеж: Изд-во «Научная книга», 2008-с. 124-128. ^

2. Массель Л.В., Курганская О.В. Автоматизация вычислительного эксперимента на основе логических моделей - Вестник Иркутского государственного технического университета, №2(49). - Иркутск-

Изд-во Иркутского государственного университета, 2011 -с 8-14

3. Курганская О.В. Декларативные представления процессов преобразования данных „ ходе вычислительного эксперимента в исследованиях ЭБ. - Современные технологии. Системный анализ. Моделирование, №1(33). - Иркутск: ИрГУПС, 2012. - с 147-152

4. Бутаков М.И., Курганская О.В. Лексический анализ: обучение моделированию и программированию. - Информационные технологии

№2(45)" - *»«> <<НаУ1,пая

5. Курганская О.В. Порождение и контроль экономико-математических моделей топливно-энергетического комплекса России. - Системные исследования в энергетике/ Труды молодых ученых ИСЭМ СО РАН вып 40. - Иркутск: ИСЭМ СО РАН, 2010. - с. 311 - 315

6. Курганская О.В. «Организация и контроль исходных данных для решения задач порождения и контроля экономико-математических моделей ТЭК России». - Труды XV Байкальской Всероссийской конференции «Информационные и математические технологии в науке и управлении» Часть III. - Иркутск: ИСЭМ СО РАН, 2010.-е 115-120

7. Kurganskaya O.V. Generation and verifying of foel-energy complex mathematical models. - Proceedings of the 12th International Conference "Computer Science and Information Technologies", vol. 1, 2009. - Уфа: УГАТУ, 2010. -

8. Курганская О.В. Контроль достоверности XML-документов на основе логического вывода. -Винеровские чтения / Труды IV Веер оссийской конференции. - Иркутск: ИрГТУ, 2011. - с. 184-190.

9. Курганская О.В. Архитектура программного' обеспечения для автоматизации вычислительного эксперимента. - Информационные и математические технологии в науке и управлении / Труды XVI Всероссийской Байкальской конференции. - Иркутск: ИСЭМ СО РАН 2011.-е. 109-114. '

! Жирным шрифтом выделены статьи и, журналов, рекомендуемых ПАК дм опубликования

результатов диссертаций. 20

Отпечатано в ИСЭМ СО РАН 664033, г. Иркутск, ул. Лермонтова, 130. Заказ № 67. Тираж 120 экз.

61 12-5/2867

РОССИЙСКАЯ АКАДЕМИЯ НАУК СИБИРСКОЕ ОТДЕЛЕНИЕ ИНСТИТУТ СИСТЕМ ЭНЕРГЕТИКИ ИМ Л.А. МЕЛЕНТЬЕВА

УДК 004.821.004.89 На правахрукоп^ри

Курганская Ольга Викторовна

МЕТОДИКА И СРЕДСТВА ИНТЕЛЛЕКТНОГО КОНТРОЛЯ И ПРЕОБРАЗОВАНИЯ ДАННЫХ ДЛЯ ВЫЧИСЛИТЕЛЬНОГО ЭКСПЕРИМЕНТА В ИССЛЕДОВАНИЯХ ЭНЕРГЕТИКИ

Специальность 05.13.01 - Системный анализ, управление и обработка информации (промышленность)

ДИССЕРТАЦИЯ на соискание ученой степени кандидата технических наук

Иркутск-2012

ОГЛАВЛЕНИЕ

ВВЕДЕНИЕ..............................................................................................................3

ГЛАВА 1. СИСТЕМНЫЙ АНАЛИЗ ВЫЧИСЛИТЕЛЬНОГО

ЭКСПЕРИМЕНТА В ИССЛЕДОВАНИЯХ ЭБ.................................................13

1Л. Системный анализ и системные исследования энергетики.............13

1.2. Анализ технологий исследований проблем ЭБ России и её регионов

•......................................................................................................................21

1.3. Методические принципы интеллектного преобразования данных в ходе вычислительного эксперимента в исследованиях ЭБ на основе

применения декларативных представлений.............................................35

1.4. Методы и средства дедуктивного синтеза программ.......................44

1.5. Выводы по главе...................................................................................49

ГЛАВА 2. ДЕКЛАРАТИВНЫЕ ПРЕДСТАВЛЕНИЯ ПРОЦЕССОВ ПРЕОБРАЗОВАНИЯ И КОНТРОЛЯ ДАННЫХ В ХОДЕ ВЫЧИСЛИТЕЛЬНОГО ЭКСПЕРИМЕНТА В ИССЛЕДОВАНИЯХ ЭБ.......52

2.1. Структура декларативных представлений процессов преобразования и контроля данных и алгоритм их применения...........53

2.2. Контроль достоверности данных в ходе вычислительного эксперимента в исследованиях ЭБ.............................................................61

2.3. Синтез сценариев преобразования данных в ходе вычислительного эксперимента в исследованиях ЭБ.............................................................73

2.4. Преобразование форматированных текстовых данных в ХМЕ-

д оку мент.......................................................................................................85

2.5. Методика интеллектного преобразования и контроля данных в ходе вычислительного эксперимента в исследованиях проблем ЭБ..............89

2.6. Выводы по главе...................................................................................94

ГЛАВА 3. ПРИМЕНЕНИЕ ДЕКЛАРАТИВНЫХ ПРЕДСТАВЛЕНИЙ ПРОЦЕССОВ ПРЕОБРАЗОВАНИЙ ДАННЫХ В ХОДЕ

ВЫЧИСЛИТЕЛЬНОГО ЭКСПЕРИМЕНТА В ИССЛЕДОВАНИЯХ ЭБ.......96

3.1. Основные элементы технологии интеллектного контроля и пребразования данных в ходе вычислительного эксперимента в

исследованиях проблем ЭБ.........................................................................96

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

3.3. Пример применения методики и декларативных представлений .110

3.4. Выводы по главе........................................................................ 118

ЗАКЛЮЧЕНИЕ............................................................................ ...........120

ЛИТЕРАТУРА...........................................................................................122

Приложение 1. Файл ХМЬ-схемы математической модели...........................133

Приложение 2. Файл математической модели в формате решателя............134

Приложение 3. Акт о внедрении.......................................................................146

ВВЕДЕНИЕ

Актуальность исследования. Управление топливно-энергетическим комплексом (ТЭК) страны в настоящее время невозможно без научного обоснования перспективных направлений развития ТЭК. Институт систем энергетики им Л.А. Мелентьева (ИСЭМ) СО РАН является одним из лидеров в области исследований энергетики. В ИСЭМ СО РАН выполняются различные исследования в области энергетики, в том числе исследования направлений развития ТЭК России, регионов и отдельных отраслевых систем энергетики с позиций энергетической безопасности (ЭБ).

Актуальность и значимость выполненной работы определяется в первую очередь актуальностью и значимостью проблем ЭБ России и её регионов. ЭБ рассматривается как составляющая национальной безопасности, в частности, как состояние защищенности граждан, общества, государства и экономики от угроз дефицита в обеспечении их обоснованных потребностей топливно-энергетическими ресурсами приемлемого качества в различных условиях [82]. Невозможность проведения натурных экспериментов в исследованиях ЭБ определяет главенствующую роль методов математического моделирования и вычислительного эксперимента в исследованиях проблем ЭБ.

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

вычислительных экспериментов на уровне технико-экономических моделей систем энергетики.

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

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

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

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

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

Исследованиями в области проведения и автоматизации вычислительного эксперимента в различных сферах занимались A.A. Самарский, М.М. Горбунов-Посадов, В.И. Легоньков и др. В исследованиях энергетики вопросами организации вычислительного эксперимента занимались JI.A. Меленть-ев, A.A. Макаров, Л.Д. Криворуцкий, И.А. Шер, Л.В. Массель и др. Исследованиями в области системного анализа занимались С. JI. Оптнер, С. Янг, Ф.И. Перегудов, Ф.П. Тарасенко, В.П. Волкова, В.П. Голубков и др. Существенный вклад в создание и развитие синтеза программ, а также планирования вычислений и действий в СССР и России внесли А.П. Ершов, С.С. Лавров, С.Н. Васильев и др. За рубежом вопросами дедуктивного синтеза программ занимались 3. Манна, Р. Уолдингер, Ч. Чень, Р. Ли и др.

1 Термин «теорема» здесь и далее обозначает выводимую (доказуемую) формулу формального исчисления (см. напр. [21])

2 Термин «интеллектный» обозначает подход, позволяющий достичь некоторого сходства с интеллектом, демонстрируемым человеком (см. напр. [10])

Объектом исследования является информационная технология проведения вычислительного эксперимента в исследованиях энергетики на примере исследований проблем ЭБ России и её регионов.

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

Цель диссертационной работы — разработка методического подхода и средств интеллектного преобразования и контроля данных для вычислительного эксперимента в исследованиях проблем ЭБ, являющихся важной составляющей поддержки принятия решений в области управления развитием ТЭК России и ее регионов.

Для достижения цели необходимо решить следующие задачи:

1. Выполнить анализ существующих подходов и средств поддержки вычислительного эксперимента в исследованиях ЭБ.

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

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

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

6

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

Научную новизну составляют и на защиту выносятся:

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

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

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

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

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

3. Основные элементы технологии интеллектного преобразования данных в ходе проведения вычислительного эксперимента в исследованиях проблем ЭБ России и её регионов, отличающейся от существующей

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

Практическая значимость полученных результатов. Результаты исследования применяются в исследованиях энергетической безопасности России и её регионов, в частности, в рамках двухуровневой интеллектуальной технологии исследований, проводимых в ИСЭМ СО РАН.

Результаты работы применены также при выполнении:

• проекта СО РАН № 4.3.1.3 «Разработка методических основ и интеллектуальных компонентов ИТ-инфраструктуры системных исследований в энергетике» в рамках приоритетной программы исследований СО РАН № 4.3.1. «Информационные и вычислительные технологии в задачах поддержки принятия решений» (2007-2009);

• проекта СО РАН №1У.31.2.13 «Методические основы и инструментальные средства интеллектуальной поддержки исследований в энергетике» в рамках приоритетной программы исследований СО РАН № 1У.31.2. «Новые ГИС и Веб-технологии, включая методы искусственного интеллекта, для поддержки междисциплинарных научных исследований сложных природных, технических и социальных систем с учетом их взаимодействия» (2010-2012);

• проекта №2.29 «Интеллектуальные информационные технологии для исследования проблемы энергетической безопасности» по гранту Программы Президиума РАН №2 «Интеллектуальные информационные технологии, математическое моделирование, системный анализ и автоматизация» (2009-2010);

• проектов по грантам РФФИ №07-07-00265а и РГНФ №07-02-12112в (2007-2009), грантам РФФИ №08-07-00172 (2008-2010), №10-07-00264 (2010-2012), №11-07-00192 (2011-2012).

Достоверность и эффективность полученных результатов определяется достоверностью и эффективностью адекватно примененных современ-

8

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

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

Апробация работы. Результаты работы докладывались и обсуждались на конференциях, научных семинарах и заседаниях: XIII, XV и XVI Байкальских Всероссийских конференциях «Информационные технологии в науке и управлении» (Иркутск, 2008, 2010, 2011 гг.); XII Международной конференции «Computer Science and Informational technologies» (Уфа, 2010 г.); Российско-монгольской конференции молодых ученых (Иркутск - Ханх, 2011 г.); XI Всероссийской конференции молодых ученых по математическому моделированию и информационным технологиям (Иркутск, 2010 г.); XL и XLI конференциях-конкурсах научной молодежи Института систем энергетики им. Л.А. Мелентьева СО РАН (Иркутск, 2010-2011 гг.), на заседаниях секции «Прикладная математика и информатика» Ученого совета ИСЭМ СО РАН, семинарах отдела «Живучести и безопасности систем энергетики» ИСЭМ СО РАН.

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

Структура и объем диссертации. Диссертация состоит из введения, трёх глав, заключения, библиографии и четырех приложений. Общий объём диссертации - 144 страниц. Библиография включает 95 наименований.

В первой главе (параграф 1.1) приведены основные положения системного анализа и системных исследований энергетики. Информационные технологии и, в частности, технологии проведения вычислительного экспе-

римента являются важной составляющей системных исследований в энергетике [22].

В параграфе 1.2 проанализированы существующие технологии исследования проблем ЭБ. В частности, рассмотрены технология, основанная на последовательном применении экономико-математических моделей ТЭК и отдельных отраслей [59], а также технология интеллектуальной поддержки принятия решений в исследованиях ЭБ [42]. Проведение вычислительного эксперимента для исследования проблем ЭБ в соответствии с рассмотренными технологиями представляет собой систему взаимосвязанных процессов преобразования данных.

В параграфе 1.3 предложены методические принципы интеллектного преобразования данных в ходе вычислительного эксперимента в исследованиях ЭБ. Методические принципы базируются на идеях, высказанных A.A. Самарским и др. в [56], [17], а также применении методов дедуктивного синтеза программ, предложенных Манна, Уолдингером в [27], [65] и планировании вычислений, предложенном С.Н. Васильевым и др. [10-13], [93]. Идея автоматизации вычислительного эксперимента в исследованиях энергетики на основе применения конечноавтоматных моделей была впервые предложена в [50], [51].

В параграфе 1.4 рассматривается метод дедуктивного синтеза программ. Приводится общая схема решения задачи дедуктивного синтеза программ. Рассматриваются исчисление позитивно-образованных формул [1013] и особенности синтеза программ с применением позитивно-образованных формул.

Во второй главе диссертационной работы разработаны декларативные представ�