Методика и средства интеллектного контроля и преобразования данных для вычислительного эксперимента в исследованиях энергетики тема диссертации и автореферата по ВАК РФ 05.13.01, кандидат технических наук Курганская, Ольга Викторовна

• Курганская, Ольга Викторовна
• кандидат технических наук
• 2012

Оглавление диссертации кандидат технических наук Курганская, Ольга Викторовна

ВВЕДЕНИЕ.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Введение диссертации (часть автореферата) на тему «Методика и средства интеллектного контроля и преобразования данных для вычислительного эксперимента в исследованиях энергетики»

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

Актуальность и значимость выполненной работы определяется в первую очередь актуальностью и значимостью проблем ЭБ России и её регионов. ЭБ рассматривается как составляющая национальной безопасности, в частности, как состояние защищенности граждан, общества, государства и экономики от угроз дефицита в обеспечении их обоснованных потребностей топливно-энергетическими ресурсами приемлемого качества в различных условиях [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 наименований.

Заключение диссертации по теме «Системный анализ, управление и обработка информации (по отраслям)», Курганская, Ольга Викторовна

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

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

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

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

1 [родемонстрировапо применение разработанных декларативных представлений на примере формирования базового варианта экономикоматематической модели для исследований направлений развития ТЭК с позиций ЭБ.

ЗАКЛЮЧЕНИЕ

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

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

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

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

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

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

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

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

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

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

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

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

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

Список литературы диссертационного исследования кандидат технических наук Курганская, Ольга Викторовна, 2012 год

1. Аифилатов B.C., Емельянов A.A., Кукушкин A.A. Системный анализ в управлении-М.: Финансы и статистика, 2003,-368с.

2. Ахо А., Сети Р., Ульман Дж. Компиляторы. Принципы, технологии, инструменты. Издательство Вильяме, 2003. - 654 с.

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

4. Бутаков М.И., Курганская О.В. Лексический анализ: обучение моделированию и программированию. Информационные технологии моделирования и управления, №2(45). - Воронеж: издательство «Научная книга», 2008.-е. 128-135

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

6. Бутаков М.И., Курганский В.И. Об одной модели трансляции на основе позитивно-образованной формулы. Информационные технологии моделирования и управления. 2007. Вып. 6(40). - С.663-671.

7. Буч Г., Рамбо Д., Джекобсон А. Язык UML. Руководство пользователя«:) Пер. с англ. М.:ДМК, 2000. - 432 с.

8. Ю.Васильев С.Н. и др. Интеллектное управление динамическими системами.- М.: Физматлит, 2000. 352 с

9. П.Васильев С.Н. Методы и программные средства синтеза математических теорем / С.Н. Васильев. //Инструментальные системы и моделирование. -Новосибирск: Наука.Сиб.отд-ние,1988. -С. 4-27.

10. Васильев C.IT. О логических средствах системы планирования вычислений «ПАСАД» / С.Н. Васильев и др.. // Алгоритмы. Автоматизация программирования (Сборник научных трудов). Вып.66. - Ташкент: АН Уз.ССР, 1988. - С.97-112.

11. Вилле К. Представляем С# / К. Вилле. М.:ДМК Пресс, 2001. - 192 с.

12. Волкова В.Н., Денисов A.A. Основы теории систем и системного анализа.- СПб: Изд-во СПбГТУ, 1997.

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

14. Дональд Кнут Искусство программирования, том 1. Основные алгоритмы = The Art of Computer Programming, vol.1. Fundamental Algorithms — 3-е изд. — M.: «Вильяме», 2006. 646 с.

15. Еделев A.B., Бересиева H.M. Система анализа графов развития ТЭК при исследовании развития энергетики России с позиций энергетической безопасности // Программные продукты и системы. Тверь, 2008 - №2, с. 76-78.

16. Ершов А.П. Научные основы доказательного программирования: Научи. Сообщ / А.П. Ершов. // Вести. АН СССР, 1984, №10. С. 9-19.

17. Ершов Ю.Л., Палютин Е.А. Математическая логика. М.: Наука, 1979. -320 с.

18. Интеграция информационных технологий в системных исследованиях энергетики / Л.В. Массель, Е.А. Болдырев, А.Ю. Горнов и др.; под ред. I I.И. Вороная. Новосибирск: Наука, 2003. - 320 с.

19. К. Чарнецки, У. Айзенекер. Порождающее программирование. Методы, инструменты, применение. СПб.: Издательство «Питер Принт», 2005 -731 с.

20. Калянов Г.Н. CASE. Структурный системный анализ (автоматизация и применение). М., "Лори", 1996. 242 с.

21. Канжелев С.Ю. Автоматическая генерация автоматного кода / С.Ю. Кан-желев, A.A. Шалыто. Информационно-управляющие системы.2006.№6. - С.35-42.

22. Концептуальное программирование. Тыугу Э. X. М.: Наука. Главная редакция физико-математической литературы, 1984.— 256 с.

23. Криворуцкий Л.Д. Имитационная система для исследований развития топливно-энергетического комплекса. Новосибирск: Наука, 1983.

24. Криворуцкий Л.Д., Массель Л.В. Информационная технология исследований развития энергетики Новосибирск: Наука, 1995.- 160 с

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

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

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

28. Ларионов A.A. и др. Программная система КВАНТ/4 для автоматического доказательства теорем / A.A. Ларионов, И.Н. Терехин, Е.А. Черкашин, A.B. Давыдов // 'Груды ИМЭИ ИТУ. Математика и информатика: сб. науч. тр. Иркутск: Изд-во ИТУ, 2011. - С.77-86.

29. Макаров A.A., Вигдорчик А.Г. Топливно-энергетический комплекс.-М.: Наука, 1979.-279 с.

30. Макаров A.A., Кононов Ю.Д., Криворуцкий Л.Д. и др. Модели развития энергетики и согласование их решений. Иркутск: СЭИ СО АН СССР, 1984.-198 с.

31. Массель А.Г. Методологический подход к организации интеллектуальной поддержки исследований проблемы энергетической безопасности / Информационные технологии. №9. - 2010. - С. 32-36.

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

33. Мелентьев Л.А. Системные исследования в энергетике, изд. 2-е, доп. и перер. / Л.А. Мелентьев // М.: Наука, 1983. 456 с.

34. Молчанов АЛО. Системное программное обеспечение: Учебник для вузов / А. Ю. Молчанов. СПб.: Питер, 2006. - 395с.

35. Надежность систем энергетики и их оборудования/Под общей редакцией Ю.Н.Руденко: В 4-х т. Т.1: Справочник по общим моделям анализа и синтеза надежности систем энергетики/ под ред. Ю.Н.Руденко. М.: Энерго-атомиздат, 1994. - 480 с.

36. Новорусский В.В. Конечноавтоматные системы управления (принципы построения и анализ поведения). Новосибирск: Наука, 1982. - 269 с.

37. Новорусский В.В. Конечноавтоматные модели в решении задач диагностики, прогнозирования и управления для систем и объектов энергетики / Дисс. на соискание степени докт. техн. наук, 1995. Иркутск . - 304 с.

38. Опарин Г.А. К теории планирования вычислительного процесса в пакетах прикладных программ / Г.А. Опарин. В. кн.: Пакеты прикладных программ. Методы и разработки. Новосибирск: Наука, 1981.-е. 5-20.

39. Перегудов Ф.И., Тарасенко Ф.П. Введение в системный анализ: Учебное пособие. М.: Высшая школа, 1989.127

40. Рихтер Дж., Программирование на платформе Microsoft .Net Framework: Пер. с англ. / Дж. Рихтер. 2-е изд., исир. - М.: Издательско-торговый дом "Русская Редакция", 2003 - 512 с.

41. Самарский А.А. Математическое моделирование и вычислительный эксперимент // Вестник АН СССР. — 1979. — № 5. — С. 38-49.

42. Сендеров С.М. Модельно-индикативный подход к оценке уровня энергетической безопасности страны при различных вариантах развития энергетики // Известия PAIT. Энергетика. 2005. - №4. - С. 3-9

43. Сендеров С.М., Еделев А.В. Методика определения "узких" мест в работе единой системы газоснабжения и выбор путей преодоления чрезвычайных ситуаций с газоснабжением потребителей. Известия РАН. Энергетика, 2002, № 4, С. 57-62.

44. Силич М.П. Системная технология: объектно-ориентированный подход: монография. Томск: Томск, гос. ун-т систем управления и радиоэлектроники, 2002. - 224 с.

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

46. Системы поддержки принятия решений для исследования и управления энергетикой / ШТ. Антонова, И.Н. Бобырева, IT.B. Бычкова и др. / Под ред. А.П. Меренкова. Новосибирск: Наука. Сиб. предприятие РАН, 1997.- 162 с.

47. Спицнадель В.Н. Основы системного анализа. Учебное пособие. СПб: Изд-во «Бизнес-пресса», 2000. - 136 с.

48. Стерлинг JL, Шапиро Э. Искусство программирования на языке Пролог: Пер. с англ. М: Мир, 1990. - 240 с.

49. Стюарт Рассел. Искусственный интеллект. Современный подход, 2-е изд.: Пер. с англ. / Рассел Стюарт, Норвиг Питер. М.:Издательский дом «Вильяме», 2007. - 1408 с.

50. Тарасенко Ф.П. Прикладной системный анализ (Наука и искусство решения проблем): Учебник. Томск: изд-во Том. ун-та, 2004.-186с.

51. Taxa, Хемди А. Введение в исследование операций, 7-е издание.: Пер. с англ. — М.: Издательский дом "Вильяме", 2005. —912 с.

52. Теоретические основы системных исследований в энергетике / А.З. Гамм, А.А. Макаров, Б.Г. Санеев и др. Новосибирск: Наука, 1986 - 331 с.

53. Тидуэлл Д. XSLT, 2-е изд. Пер. с англ. - СПб.: Символ-Плюс, 2010. -960 с.

54. Федорова, Е. В. Моделирование межрегионального энергообмена с помощью программы MESSAGE / Е. В. Федорова, Т. Г. Зорина // Ядерная энергетика. 2004. - №4.

55. Фридл Дж. Регулярные выражения. — СПб.: «Питер», 2001. — 352 с.

56. Хагггер Д., Рафтер Д. и др. XML. Базовый курс = Beginning XML — M.: Вильяме, 2009. — 1344 с.

57. Холзнер С. XML. Энциклопедия, 2-е изд. СПб: Питер, 2004. - 1001 с.

58. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем М.: Наука, 1983. - 360 с.

59. Шумский A.A., Шелупанов A.A. Основы системного анализа: учебное пособие. Томск: ТМЦДО, 2005. 225 с.

60. Энергетическая безопасность России: проблемы и пути решения / Н.И. Ыяткова и др.; отв.ред. Н.И. Воропай, М.Б. Чельцов; Рос. акад. наук, Сиб. Отд-ние, Ин-т систем энергетики им Л.А. Мелентьева. Новосибирск: Изд-во СО РАН, 2011. - 198 с.

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

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

63. ETA-MACRO: A user's guide электронный ресурс. -Режим доступа: http://adsabs.harvard.edu/abs/1981STIN.8128582М дата обращения: 25.02.2011)

64. Extensible Markup Language (XML) 1.0 (Fifth Edition) // W3C Recommendation. URL: http://www.w3.org/TR/xml/ (дата обращения: 25.02.2011)

65. Extensible Markup Language (XML) 1.1 (Second Edition) // W3C Recommendation. Электронный ресурс. режим доступа: http://www.w3.org/standards/xml/core (дата обращения: 25.02.2011)130

66. ISO/IEC 19757 DSDL. Document Schema Definition Languages. Электронный ресурс. - режим доступа: http://dsdl.org/ (дата обращения: 25.02.2011)

67. Manna, Z., Fundamental of Deductive Program Synthesis / Z. Manna, R. Waldinger. // IEEE Transaction on Software Engineering, Vol. 18(8), 1992, pp. 674-704.

68. MINOS 5.5. StanfordBusinessSoftware, Inc.Электронный ресурс. режим доступа: http://www.sbsi-sol-optimize.com/asp/solproductsminosdesc.htm (дата обращения 14.10.2011).

69. The National Energy Modeling System: An Overview 2003 электронный ресурс. Режим доступа: http://www.eia.doe.gov/oiaf/aeo/overview/index.html (дата обращения: 25.02.2011).

70. Tyugu Е., Algorithms and Architectures of Artificial Intelligence / E. Tyugu. IOS Press, 2007-p. 171.

71. Vassilyev S.N. Intelligent control via new efficient logics / S.N. Vassilyev и др.. // Proc. of the 17th IF AC World Congress. Seoul (Korea), 2008. pp. 13713-13718.

72. XDR Reference. // Microsoft Library, электронный ресурс. Режим доступа: http://msdn.microsoft.com/en-us/library/ms256154.aspx (дата обращения: 25.02.2011).

73. XML Schema Part 0: Primer Second Edition // W3C Recommendation, электронный ресурс. -Режим доступа: http://www.w3.org/standards/xml/corc (дата обращения: 25.02.2011).