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

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

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

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

Специальность 05.13.18 — Математическое моделирование, численные методы и комплексы программ

АВТОРЕФЕРАТ

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

004606Э£Ь

Иркутск-2010

004606526

Работа выполнена в Институте систем энергетики им. Л.А. Мелентьева Сибирского отделения Российской академии наук (ИСЭМ СО РАН)

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

Людмила Васильевна Массель

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

Галина Сергеевна Курганская

кандидат технических наук Людмила Юрьевна Чудинова

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

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

Защита состоится «02» июля 2010 г. в 13-30 ч. на заседании диссертационного совета Д 003.017.01 при Институте систем энергетики им. Л.А. Мелентьева СО РАН по адресу: 664033, Иркутск-33, ул. Лермонтова, 130.

Отзывы на автореферат в двух экземплярах, заверенные печатью организации, просим направлять на имя ученого секретаря диссертационного совета Д 003.017.01 по адресу: 664033, Иркутск, ул. Лермонтова, 130.

С диссертацией можно ознакомиться в библиотеке Института систем энергетики им. Л.А. Мелентьева СО РАН.

Автореферат разослан «01» июня 2010 г.

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

А.М. Клер

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

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

Методологические основы исследований ЭБ заложены в работах Н.И. Воропая, С.М. Клименко, Л.Д. Криворуцкого, Г.Б. Славина, С.М. Сендерова, Н.И. Пятковой, М.Б. Чельцова и др.

Теоретические основы теории алгебраических сетей разрабатывались в работах С.К. Клшш, К.А. Петри, А.И Мальцева и др. Вопросы событийного

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

/ \ V1 !

к

моделирования на основе одной из разновидностей алгебраических сетей -.Готег-сстей, разрабатываются Л.Н. Столяровым и его учениками.

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

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

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

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

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

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

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

4. Разработать методику событийного моделирования на основе 1отег-сетей в исследованиях проблемы энергетической безопасности и проиллюстрировать ее на примере моделирования компенсации последствий чрезвычайной ситуации на Саяно-Шушенской ГЭС.

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

6. Разработать методику формирования стратегии вычислительного эксперимента (ВЭ) в исследованиях проблемы ЭБ с использованием событийного моделирования на основе .Готег-сетей.

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

Новизну составляют и на защиту выносятся следующие положения:

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

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

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

• алгоритм перехода от событийных карт к формализованному представлению событийной модели на основе логических уравнений для 1отег-сетей;

• методику событийного моделирования в исследованиях проблемы энергетической безопасности, основанную на применении аппарата Мпег-сетей;

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

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

Практическая значимость. С использованием предложенного методического подхода реализованы программные инструментальные средства поддержки событийного моделирования в исследованиях энергетической безопасности. Разработанные методики, алгоритмы и инструментальные средства применены в исследованиях проблемы энергетической безопасности и при выполнении проекта № 4.3.1.3 «Разработка методических основ и интеллектуальных компонентов ИТ-инфраструктуры системных исследований в энергетике» в рамках приоритетной программы исследований СО РАН №

4.3.1. «Информационные и вычислительные технологии в задачах поддержки принятия решений».

Кроме того, результаты диссертационной работы внедрены при выполнении проектов по грантам: РФФИ № 07-07-00265а и РГНФ № 07-02-12112b (2007-2009гг.), РФФИ № 08-07-00172 (2008-2010), гранту Программы Президиума РАН №2 «Интеллектуальные информационные технологии, математическое моделирование, системный анализ и автоматизация» № 2.29 и используются при выполнении проекта по гранту РФФИ № 10-07-00264 (20102012).

Апробация работы. Результаты работы докладывались на международной конференции «Computer Science and Information Technologies», Крит (Греция), 2009 г.; международных конференциях «Информационные технологии в науке, социологии, экономике и бизнесе», Украина, 2008,2010 гг.; международной конференции «Интеллектуальные системы принятия решений и проблемы вычислительного интеллекта», Евпатория, 2010 г.; Байкальских Всероссийских конференциях «Информационные и математические технологии в науке и управлении», г. Иркутск, 2007-2009 гг.; на конференциях молодых ученых ИСЭМ СО РАН, г. Иркутск, 2007-2010 гг., а также на семинарах и заседаниях секций Ученого совета ИСЭМ СО РАН.

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

Публикации. По теме диссертационной работы опубликовано 14 работ, в т.ч. 4 из них - в реферируемых журналах, рекомендованных ВАК РФ по специальности [1-4].

Объем и структура работы. Диссертация состоит из введения, трех глав, заключения, списка литературы из 93 наименований, включает 5 таблиц и 42 рисунка, Объем работы 123 страницы.

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

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

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

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

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

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

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

2 ПК ИНТЭК-М реализован сотрудником лаборатории информационных технологий ИСЭМ СО РАН Д.А. Фартышевым, под руководством Л.В. Массель.

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

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

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

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

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

Для формального описания событийных моделей в данной работе предложено использовать аппарат 1отег-сетей (Ж), являющийся расширением сетей Петри, отличающимся введением специального вида пусковых и флаговых функций, формируемых из произвольных булевых функций. Всякую алгебраическую сеть (АХ) можно в общем виде представить как некоторую .Готег-сеть (Л4!) - сеть, имеющую два типа вершин (процессы и позиции) и связи между ними. Применение аппарата Ж даёт возможность описать эту сеть не только в виде графического представления, наглядного и удобного для исследователя, но и описать логику работы сети с помощью системы пусковых и флаговых функций.

3 Индикативный анализ ЭБ — подход к оценке уровня ЭБ, разработанный в ИСЭМ СО РАН

под руководством д.т.н. Сендерова С.М.

Пусковая функция:

щ (*■+!) = ■ <р2(0 ■ Ш • рДО; Флаговые функции: ^(л-1):=0; (г+ 1)^=0;

Рис. 1. Графическое представление элемента 1отег-сети и его пусковая и флаговые функции.

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

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

в) е)

-еж

хсж

-ЧёГ)

СЕК

ЧёЗ

1.

Рис. 2. Базовые ]рафические элементы событийной карты. Событие е, вызывает сразу два (или более) параллельно реализуемых (т.н. независимых) событий е2 и ег (рис. 2.а). События ег и е2 являются

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

причем оба они

реализуются независимо друг от друга. Такая структура даёт только один сценарий:

(е2)

(еО--

(е3)

2. Событие е1 вызывает реализацию альтернативных взаимоисключающих событий е2 и е3 (рис. 2.6). В этом случае реализации события е, служит причиной либо для события е2, либо для события <?3, но не для обоих

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

(«0 =>(<*!) И (е,)=>(е3),

3. Событие е, вызывает реализацию альтернативных независимых событий ег и е3 (рис. 2.в). Такая структура отличается от предыдущей тем, что для событий е2 и е3 реализация не зависит друг от друга. В этом случае получаем три альтернативных сценария развития событий:

, (е,)=>(ег) и («,)=» (е,).

(еъ)

4. События е, и ег являются совместными причинами для реализации события е} (рис. 2.г). Событие е3 будет реализовано только после появления и события е, и события е2. Эта структура даёт лишь один сценарий:

('г)

5. События е1 и е2- взаимоисключающие причины для реализации события е3 (рис. 2.д). Этот элемент описывает следующую причинно-следственную связь: событие е3 реализуется при появлении либо события е,, либо события ег. В этом случае возможны два альтернативных сценария развития событий:

(еО=>(^) И (е2)=>(е3).

6. События е1 и е2- альтернативные, независимые причины для реализации события е3 (рис. 2.е). В отличие от предыдущего случая, события-причины е, и е2 вызывают реализацию е3 независимо друг от друга, что даёт три возможных сценария развития событий:

(<¡0

(ех)^>(е3), (ег)=>(е}) И =>е3.

(«г)

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

Автором разработан алгоритм перехода от событийной карты к формализованной событийной модели на основе 1о1пег-сетей. Алгоритм включает следующие шаги (рис. 3):

1. Каждому элементу множества событий сопоставляется элементарный Ж-элемент, с пусковыми и флаговыми функциями вида: у, ('+1) = ¥>м (') •¥>,('); й_,Г< + 1).-=0 ;(г>,« + 1):=1).

2. Из множества событий выбирается один элемент.

3. Среди остальных событий производится поиск «событий-причин» для этого события.

4. Выходные позиции процессов, связанных с найденными событиями, соединяются с входными позициями элемента Мпег-сети, для которого производился поиск.

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

6. Флаговые функции найденного элемента .Готег-сети также модифицируются соответствующим образом.

7. Пункты 3, 4, 5, б выполняются для каждого элемента множества событий модели.

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

Предлагаемая автором методика событийного моделирования

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

Предложенную методику можно детализировать, используя представление ее в виде последовательности основных функциональных процессов (нотация ГОЕРО). Декомпозиция первого уровня методики событийного моделирования показана на рис. 5.

Рис. 4. Общая схема методики событийного моделирования на основе .Ыпег-сетей в исследованиях проблемы ЭБ

Основные этапы методики событийного моделирования:

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

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

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

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

5. Построение событийной карты. Основной целью проведения этого этапа является визуальная фиксация результатов выполнения

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

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

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

Рис. 5. Декомпозиция первого уровня методики событийного моделирования в исследованиях проблемы ЭБ на основе 1отег-сетей в нотации ШЕЕО.

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

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

Шушенской ГЭС, которая является крупнейшей по мощности ГЭС в России. 17 августа 2009 года на станции произошла авария, которую, учитывая ее последствия для ТЭК и страны в целом, можно классифицировать как крупнейшую индустриальную техногенную катастрофу, или чрезвычайную ситуацию в энергетике.

В главе приведена построенная автором в соответствии с предложенной методикой событийная карта, отражающая возможные варианты компенсации последствий ЧСЭ (рис. 6). Рассматривались следующие мероприятия: дозагрузка (увеличение мощности) ТЭС, КЭС, АЭС и других ГЭС, импорт электроэнергии из других регионов России и из-за рубежа, увеличение собственного производства котельно-печного топлива (КПТ) и/или его импорт из других регионов.

Рис. 6. Событийная карта возможных вариантов компенсации последствий ЧС на Саяно-Шушенской ГЭС.

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

Пунктиром на рис. 6 выделен фрагмент событийной карты, для которого, с использованием предложенного автором алгоритма, получена 1отег-сеть, представленная на рис. 7.

Рис. 7. ,1отег-сеть для фрагмента событийной карты, представленной на рис. 6.

Распространение сигналов по такой сети подчиняется следующим логическим уравнениям:

Пусковые функции:

V, (г +1) = р, (0 ■ ¥>4 «)-<р5(0;

Уз(' + 1) = Ра( 0-^(0;

у4 С + 1) = (О-рДО; (/ + !) = ?>,(/)-?>, (г);

Флаговые функции:

¥>„(? + !) := 0; р, ((+1) := 1; <рг (< +1) := 1; р,(/ + 1) := 0; (у>4 ((+1) := 1) V (/ +1) := 1),

,р2(/ + 1):=0;1рз(Г + 1):=1;

%(? + !):= 0; <р6 (г + 1):=1;

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

1. Выбывшие энергетические мощности в результате ЧСЭ на Саяно-Шушенской ГЭС компенсируются за счет дозагрузки ГЭС и ТЭС региона, обеспечение возросших потребностей ТЭС в КПТ удовлетворяются за счет импорта КПТ из соседних регионов.

2. Выбывшие энергетические мощности в результате ЧСЭ на Саяно-Шушенской ГЭС компенсируются за счет дозагрузки ГЭС и ТЭС

региона, обеспечение возросших потребностей ТЭС в КПТ удовлетворяются за счет увеличения собственного производства КПТ в регионе.

3. Выбывшие энергетические мощности в результате ЧСЭ на Саяно-Шушенской ГЭС компенсируются за счет дозагрузки ГЭС и ТЭС региона, обеспечение возросших потребностей ТЭС в КПТ удовлетворяются за счет увеличения собственного производства КПТ в регионе и ввоза КПТ из соседних регионов.

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

Автором разработана методика интеграции событийного моделирования и индикативного анализа, которая включает следующие этапы:

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

2. Определение формул построения, или вычисления индикаторов ЭБ на основе первичных показателей (характеристик ТЭК).

3. Построение алгебраических сетей для расчета индикаторов ЭБ в соответствии с принятыми формулами.

4. Построение ]отег-сетей для алгебраических сетей, реализующих эти формулы.

5. Построение или выбор базовой событийной модели для анализа развития и компенсации последствий ЧС.

6. Определение влияния событий, описываемых в модели, на базовые показатели (характеристики) ТЭК (определение «точек» подключения алгебраических сетей (в виде Ж) для вычисления индикаторов ЭБ).

7. Построение расширенной событийной модели (выполнение в этих точках операций «склеивания» (операций Мпег-алгебры) для объединения Мпег-сети базовой событийной модели и Мпег-сетей алгебраических сетей, вычисляющих индикаторы ЭБ).

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

9. Переход к вычислительным экспериментам с использованием ПК ИНТЭК-М (учет результатов, полученных в результате применения данной методики, при формировании сценариев (вариантов), рассчитываемых с помощью ПК ИНТЭК-М).

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

Рис. 8. Общая схема методики интеграции событийного моделирования и индикативного анализа ЭБ.

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

1. Отношение величины суммарной располагаемой мощности электростанций к максимальной электрической нагрузке (/,').

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

Ш-

3. Возможности удовлетворения потребностей в котельно-печном топливе (КПТ) из собственных источников региона (доля собственных источников в балансе КПТ, %)(/]).

Значения индикаторов первого блока рассчитываются по формулам, которым можно сопоставить термы 7], Т2, Т}:

т ■ Iх - • Т ■ 71 - +Р3 ■ г • г1 -

"Л - V' -1! р ' ** ~ р ' г2 1

где - суммарная располагаемая мощность, Рг - максимальная электрическая нагрузка, Рг - пропускная способность межсистемных связей с соседними регионами, Р,\ - производство КПТ в регионе, Р5 - потребление КПТ в регионе.

В соответствии с выражениями Г,, Т2, Г, автором построена алгебраическая вычислительная сеть (рис. 9). Сеть определяется графом, белые вершины соответствуют термам, черные - переменным, которые входят в соответствующие термы.

Далее в главе для алгебраической вычислительной сети, показанной на рис. 9, приводится соответствующая ей 1отег-сеть.

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

позициями 1ошег-сетей для расчета индикаторов ЭБ, т.е. выполняется операция .Гошег-алгсбры «склеивание».

Рис. 10. Совместное использование событийной модели компенсации

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

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

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

• Для мониторинга уровня ЭБ посредством отслеживания изменений индикаторов ЭБ.

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

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

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

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

Для формализации стратегии ВЭ в работе предложено использовать событийное моделирование на основе 1отег-сетей. В качестве объекта моделирования в данном случае рассматривается процесс проведения ВЭ. Событиями модели являются корректировки (как единичные, так и групповые) экономико-математической модели ТЭК.

Автором разработана методика применения событийных моделей для формирования стратегии вычислительного эксперимента для исследований проблемы энергетической безопасности с использованием многоагентного ПК ИНТЭК-М, включающая следующие этапы:

1. Формулирование цели исследования и постановка задачи ВЭ. Эксперт в соответствии со своим заданием формулирует цель исследования и производит постановку задачи вычислительного эксперимента.

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

3. Построение событийной карты и получение Лтег-сети для неё. Этот этап выполняется в соответствии с разработанной автором методикой событийного моделирования на основе .Готег-сетей, описанной во второй главе.

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

5. Сопоставление событиям модели качественных (или количественных) изменений характеристик ТЭК. Каждому событию модели сопоставляются (либо из специальной базы, либо вручную) изменения показателей ТЭК.

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

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

8. Построение дерева вариантов экономико-математической модели ТЭК. Полученные в ходе выполнения предыдущих этапов результаты передаются в ПК ИНТЭК-М и на их основе формируется дерево расчетных вариантов модели экономико-математической модели ТЭК.

Далее в главе рассматриваются вопросы определения состава и инструментальных средств для поддержки событийного моделирования в исследованиях проблемы ЭБ и формулирования требований к ним.

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

Для создания, просмотра, редактирования и анализа событийных моделей автором разработана графическая среда событийного моделирования EventMap, включающая базовые графические элементы событийных карт и реализацию алгоритма перехода от событийной карты к формализованной событийной модели на основе Joiner-сетей. Графическая среда EventMap разработана на основе универсального ядра системы графического моделирования grModeling4, реализованном с помощью свободно распространяемого объектно-ориентированного языка программирования Java.

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

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

4 Универсальное ядро графического моделирования ^МсхЗеН^ разработано сотрудником лаборатории информационных технологий ИСЭМ СО РАН к.т.н. Копайгородским А.Н

Репозитарий

Хранилище файлов

Методика применения событийных моделей для формирования стратегии вычислительного I эксперимента

ЕуепМИа

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

иям

Численные исследования направлений развития ТЭК с

учётом требований ЭБ

Загрузка и извлечение/

разработанных событийных моделей

Методика интеграции событийного моделирования и индикативного анализа

Методика событийного моделирования на основе .Ыпег-сетей в исследованиях ЭБ

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

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

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

• Грант РФФИ №07-07-00265а «Создание связанных между собой интеллектуальных систем для решения комплексных проблем энергетики на основе применения аппарата алгебраических сетей» (2007-2009 гг.).

• Грант РГНФ № 07-02-12112в «Интеллектуальная распределенная информационная система для ситуационного анализа социально-экономических и эколого-зкономических проблем региона» (2007-2009 гг.).

• Грант РФФИ № 08-07-00172а «Интеллектуальная система для ситуационного анализа проблемы энергетической безопасности России» (2008-2010 гг.).

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

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

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

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

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

3. Выполнены аналитический обзор существующих сетевых парадигм и обоснование выбора .Готег-сетей как математического аппарата поддержки событийного моделирования.

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

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

• алгоритм перехода от событийных карт к формализованному представлению событийной модели на основе логических уравнений для 1отег-сетей;

• методику событийного моделирования в исследованиях проблемы энергетической безопасности, основанную на применении аппарата Мпсг-сстей;

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

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

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

7. Результаты работы применены при выполнении ряда научно-исследовательских проектов: в рамках приоритетной программы

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

Список публикаций по теме диссертации

1. Массель JI.B. Построение интеллектуальных систем для исследований энергетики на основе алгебраических сетей и онтологий: подход и реализация / Массель Л.В., Копайгородский А.Н., Аршинский B.JL // Вычислительные технологии, т. 13, -Спецвыпуск 1, - 2008. - С. 50-58.

2. Аршинский В.Л. Моделирование ситуаций с использованием когнитивных карт и Joiner-сетей / Аршинский В.Л., Фартышев Д. А. // Современные технологии. Системный анализ. Моделирование, - Спецвыпуск, - 2008. С. 148-151.

3. Аршинский B.J1. Применение когнитивного моделирования для ситуационного анализа проблемы энергетической безопасности / Аршинский В.Л., Массель А.Г. //. Современные технологии. Системный анализ. Моделирование, - Спецвыпуск. -2008.-С. 75-80.

4. Аршинский В.Л. Подход к построению программно-аналитического обеспечения ситуационного анализа / Аршинский B.JL, Фартышев Д.А., Черноусова Е.С. // Вычислительные технологии, т.13, ч. I, - 2008. - С. 157-163.

5. Massel L.V. Intellectual information technologies in energy security problem research. / Massel L.V., Arshinsky V.L., Fartyshev D.A. // Proceedings of the llth International Workshop on Computer Science and Information Technologies (CSIT'2009), - Vol.l., -2009.-P. 25-28.

6. Аршинский В.Л. Интеллектуальная информационная система для ситуационного анализа проблемы энергетической безопасности / Массель Л.В., Аршинский В.Л., Массель А.Г., Фартышев Д.А. // Информационные технологии в науке, социологии, экономике и бизнесе / Приложение к журналу «Открытое образование», - Ялта-Гурзуф, - 2008. - С. 45—48.

7. Аршинский В.Л. Использование когнитивных карт для построения Joiner-net моделей взаимодействия сложных процессов / Аршинский В.Л. // Труды XIII Байкальской Всероссийской конф. «Информационные и математические технологии в науке и управлении», Том 2. - Иркутск: ИСЭМ СО РАН, - 2008. - С. 241-247.

8. Аршинский В.Л. Применение алгебраических сетей для исследования проблемы энергетической безопасности / Аршинский В.Л. //_ Системные исследования в энергетике (Труды молодых ученых ИСЭМ СО РАН, вып. 38). - Иркутск: ИСЭМ СО РАН, - 2008. - С. 194-201.

9. Аршинский В.Л. Построение интеллектуальных систем для исследований энергетики на основе алгебраических сетей и онтологий / Массель Л.В., Аршинский В.Л. // Труды XII Байкальской Всероссийской конференции

«Информационные и математические технологии в науке и управлении»,-Иркутск: ИСЭМ СО РАН,-2007. - Ч.Ш. - С. 120-126.

Ю.Фартышсв Д. Л. Мультиагеитный программный комплекс для исследований проблемы энергетической безопасности / Фартшнев Д. А., Аршинский В.Л.,-Массель А.Г. // Труды XIV Байкальской Всероссийской конференции «Информационные и математические технологии в науке и управлении»,-Иркутск: ИСЭМ СО РАН, - 2009, - Ч.Ш.- С. 283-289.

11. Аршинский В.Л. 1ошсг-сети как инструмент управления взаимодействием агентов в мультиагентном программном комплексе / Аршинский В.Л. // Системные исследования в энергетике (Труды молодых ученых ИСЭМ СО РАН, вып. 39).-Иркутск: ИСЭМ СО РАН, -2009 - С. 147-151.

12. Аршинский В.Л. Событийное моделирование чрезвычайных ситуаций в энергетике / Аршинский В.Л. // Труды Международной конференции «Информационные технологии в науке, образовании, телекоммуникации и бизнесе», Гурзуф, - 2010. - С. 299-301.

13.Аршинский В.Л. Интеллектуальные информационные технологии поддержки принятия решений в исследованиях и обеспечении энергетической безопасности / Массель Л.В., Аршинский В.Л., Массель А.Г. // Труды Международной конференции «Интеллектуальные системы принятия решений и проблемы вычислительного интеллекта», - Евпатория, Херсон: ХНТУ, - 2010, - Т.1. - С. 192-196.

14. Аршинский В.Л. Методический подход к событийному моделированию в исследованиях энергетической безопасности / Аршинский В.Л. // Труды XV Байкальской Всероссийской конференции «Информационные и математические технологии в науке и управлении», ч. II, - 2010. - Иркутск: ИСЭМ СО РАН -- С. 120-129.

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

Введение.

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

1.1 Основные понятия проблемы энергетической безопасности.

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

1.3 Аналитический обзор алгебраических систем и сетей.

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

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

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

2.2 Событийное моделирование в исследованиях энергетической безопасности на основе Joiner-сетей.

2.2.1 Событийные карты и событийные модели.

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

2.2.3 Алгоритм перехода от графического представления событийной модели к ее формализованному представлению на основе Joiner-сетей.

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

2.3 Событийное моделирование компенсации последствий чрезвычайной ситуации на примере чрезвычайной ситуации на Саяно-Шушенской ГЭС.

2.3.1 Событийная карта вариантов компенсации последствий чрезвычайной ситуации на Саяно-Шушенской ГЭС.

2.3.2 Событийная модель вариантов компенсации последствий чрезвычайной ситуации на Саяно-Шушенской ГЭС и ее формальное описание в виде Joiner-сети.

2.4 Интеграция событийного моделирования и индикативного анализа на основе Joiner-сетей.

2.4.1 Алгебраическая сеть для расчета индикаторов энергетической безопасности.

2.4.2 Joiner-ceTb для построенной алгебраической вычислительной сети

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

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

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

3.1 Формирование стратегий вычислительного эксперимента в многоагентном программном комплексе ИНТЭК-М для исследований проблемы энергетической безопасности.

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

3.3 Инструментарий для поддержки событийного моделирования в исследованиях ЭБ.

3.3.1 Графическая среда событийного моделирования и реализация алгоритма перехода от графического представления событийной модели к ее формализованному представлению на основе Joiner-сетей.

3.3.2 Программная реализация Joiner-сетей.

3.3.3 Инструментальные средства для хранения и редактирования Joiner-сетей с использованием Репозитария ИТ-инфраструктуры исследований в энергетике.

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

3.5 Применение предложенного подхода в проектах по грантам РФФИ и РГНФ.

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

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

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

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

Теоретические основы теории алгебраических сетей разрабатывались в работах Клини С.К., Петри К.А., Мальцева А.И и др. Вопросы событийного моделирования на основе одной из разновидностей алгебраических сетей — Joiner-сетей, разрабатываются JT.H. Столяровым и его учениками.

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

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

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

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

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

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

3. Аналитический обзор существующих сетевых парадигм и обоснование выбора Joiner-сетей как математического аппарата поддержки событийного моделирования.

4. Разработка методики событийного моделирования на основе Joiner-сетей в исследованиях проблемы энергетической безопасности и иллюстрация ее на примере моделирования компенсации последствий чрезвычайной ситуации на Саяно-Шушенской ГЭС.

5. Разработка методики интеграции событийного моделирования и индикативного анализа уровня энергетической безопасности на основе Joiner-сетей.

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

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

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

Новизну составляют и на защиту выносятся следующие положения:

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

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

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

• алгоритм перехода от событийных карт к формализованному представлению событийной модели на основе логических уравнений для Joiner-сетей;

• методику событийного моделирования в исследованиях проблемы энергетической безопасности, основанную на применении аппарата Joiner-сетей;

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

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

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

Кроме того, результаты диссертационной работы внедрены при выполнении проектов по грантам: РФФИ № 07-07-00265а и РГНФ № 07-02-12112в (20072009гг.), РФФИ № 08-07-00172 (2008-2010), гранту Программы Президиума РАН №2 «Интеллектуальные информационные технологии, математическое моделирование, системный анализ и автоматизация» № 2.29 и используются при выполнении проекта по гранту РФФИ № 10-07-00264 (2010-2012).

Апробация работы. Результаты работы докладывались на международной конференции "Computer Science and Information Technologies", Крит (Греция), 2009 г.; международных конференциях «Информационные технологии в науке, социологии, экономике и бизнесе» (Украина), 2008, 2010 гг.; международной конференции «Интеллектуальные системы принятия решений и проблемы вычислительного интеллекта», Евпатория, 2010 г.; Байкальских Всероссийских конференциях «Информационные и математические технологии в науке и управлении», г. Иркутск, 2007-2009 гг.; на конференциях молодых ученых ИСЭМ СО РАН

2007-2010 гг.), а также на семинарах и заседаниях секций Ученого совета ИСЭМ СО РАН.

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

Публикации. По теме диссертационной работы опубликовано 14 работ, в том числе 4 из них — в реферируемых журналах, рекомендованных ВАК РФ по специальности.

Объем и структура работы. Диссертация состоит из введения, трех глав, заключения, списка литературы из 93 наименований, включает 5 таблиц и 42 рисунка. Объем работы 123 страницы.

3.6 Выводы по главе

Автором разработана методика применения событийных моделей для формирования стратегии вычислительного эксперимента для исследований проблемы энергетической безопасности с использованием многоагентного программного комплекса ИНТЭК-М. Для формализации стратегии ВЭ в работе предложено использовать событийное моделирование на основе Joiner-сетей.

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

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

Заключение

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

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

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

3. Выполнены аналитический обзор существующих сетевых парадигм и обоснование выбора Joiner-сетей как математического аппарата поддержки событийного моделирования.

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

5. Разработан алгоритм перехода от графического представления событийной модели к ее формализованному представлению на основе Joiner-сетей.

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

7. Выполнено событийное моделирование катастрофы на Саяно-Шушенской ГЭС с использованием предложенной методики.

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

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

1. ТЭК и экономика России: вчера - сегодня - завтра. Взгляд из 2007 года. -М: ГУ ИЭС, 2007-212 с.

2. О безопасности: Закон РФ от 5 марта 1992 г. N 2446-1 (с изменениями от 25 декабря 1992 г., 24 декабря 1993 г., 25 июля 2002 г., 7 марта 2005 г., 25 июля 2006 г., 2 марта 2007 г.) // Собрание законодательства РФ. 2003. - N 31. -С.1,3

3. Славин Г. Б. Энергетическая безопасность. Термины и определения: препринт / Славин Г. Б., Чельцов М. Б. // Иркутск: ИСЭМ СО РАНД 999. -31 с.

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

5. Надежность систем энергетики: достижения, проблемы, перспективы / Г. Ф., Ковалев, Е. В. Сеннова, М. Б. Чельцов и др.; под ред. Н. И. Воропая // Новосибирск: Наука. Сибирское предприятие РАН, 1999. - 434 с.

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

7. О защите населения и территорий от ЧС природного и техногенного характера. Федеральный закон от 21 декабря 1994 г. №68-ФЗ // Собрание законодательства РФ. -1994. №35. - Ст. 3648.

8. Воропай Н.И., Клименко С.М., Криворуцкий Л.Д. О сущности и основных проблемах энергетической безопасности России // Энергетика. — 1996. №3. -С. 38-50.

9. Арзамасцев Д.А., Елохин В.Р., Криворуцкий Л.Д. и др. / Имитационное моделирование развития систем энергетики // — Иркутск: СЭИ СО АН СССР, 1988.-196 с.

10. Руденко Е.М. Организация системы формирования индикативных оценок энергетической безопасности для регионов РФ / Системные исследования в энергетике // Иркутск: ИСЭМ СО РАН, 2009. - 223 с.

11. Надежность топливо- и энергоснабжения и живучесть систем энергетики регионов России / Под науч. ред. Н.И. Воропая, А.И. Татаркина. -Екатеринбург: Изд-во Урал, ун-та, 2003. 392 с.

12. Сендеров С.М. Методология и практика исследования проблемы энергетической безопасности России с выделением роли газовой отрасли. Автореферат диссертационной работы на соискание ученой степени доктора технических наук Иркутск: ИСЭМ СО РАН, 2008 — 43 с.

13. Новая энергетическая политика России / Под общей ред. Ю.К.Шафраника. -М.: Энергоатомиздат, 1995. — 512 с.

14. Воропай, Н. И. Энергетическая безопасность России (введение в проблему): препринт / Н. И. Воропай, С. М. Клименко, JI. Д. Криворуцкий, JI. В. Массель, и др. Иркутск: СЭИ СО РАН, 1997. - 57 с.

15. Беляев JI.C., Санеев Б.Г., Филиппов С.П. Системные исследования проблем энергетики; Под ред. ,Н.И. Воропая. — Новосибирск: Наука. Сибирская издательская фирма РАН, 2000. 558 с.

16. Бондаренко А.Н., Пяткова Н.И., Сендеров С.М. и др. Применение двухуровневой технологии исследований при решении проблем энергетической безопасности // Известия РАН. Энергетика. — 2000 — №6. -С. 31-39.

17. Веселов, Ф. В. Построение и использование моделей линейного программирования в задачах развития энергетики Электронный ресурс. / Ф. В Веселов, А. Е. Курилов, А. А. Хоршев. Режим доступа: www.eriras.ru/papers/2006/modelsep.pdf

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

19. The National Energy Modeling System: An Overview 2003 электронный ресурс. Режим доступа: http://www.eia.doe.gov/oiaCaeo/overview/index.html

20. Криворуцкий Л.Д., Санеев Б.Г., Ханаев В.А., Яськова Э.Н. Проект автоматизи-рованной системы решения задач оптимального планирования для ЭВМ БЭСМ-6 // Вопросы повышения эффективности БЭСМ-6. — Иркутск: СЭИ СО АН СССР, 1976. С. 177-181.

21. Шер И.А., Иващенко И.М., Массель JI.B., Шалагинов А.И. Проект автоматизи-рованной системы решения задач оптимального отраслевого планирования // Вопросы повышения эффективности БЭСМ-6. — Иркутск: СЭИ СО АН СССР, 1976.-С. 181-185.

22. Волошин Г.Н. Организация диалога в процессе исследований развития энерге-тики // Вопросы автоматизации исследований развития энергетики. — Иркутск: СЭИ СО АН СССР, 1983. С. 48-58.

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

24. Аршинский B.JL, Массель А.Г., Фартышев Д. А. Мультиагентный программный комплекс для исследований проблемы энергетической безопасности // Труды XIV Байкальской Всероссийской конференции

25. Информационные и математические технологии в науке и управлении», ч. III, 2009. Иркутск: ИСЭМ СО РАН. - С. 283-289.

26. Береснева Н.М. Решение проблемы анализа и отображения рациональных с позиций энергетической безопасности из множества вариантов развития ТЭК // Вестник ИрГТУ. Иркутск: ИрГТУ, 2006. - №2 (26) . - С.69-72.

27. Массель JI.B., Болдырев Е.А., Макагонова Н.Н., Копайгородский А.Н., Черноусов А.В. ИТ-инфраструктура научных исследований: методический подход и реализация // Вычислительные технологии, т.11, 2006. С.59-67.

28. Михаленко П. Язык онтологий в Web // Открытые системы. 2004 - №2. -С.35 -37.

29. Nirenburg S., Raskin V. Ontological Semantics. Cambridge, MA, 2004.

30. Guarino N. Formal Ontology and Information Systems. Formal Ontology and Information Systems //Proc. Of FOIS'98. Trento, Italy, 1998. - 6-8 June. - IOS Press, Amsterdam. — P. 3-15.

31. Uschold M. and Gruninger M. Ontologies: Principles, Methods and Applications // Knowledge Engineering Review. 1996. - Vol. 11 (2). - P. 93-136.

32. Ворожцова Т.Н., Макагонова H.H., Скрипкин C.K., Костюченко А.П. Применение онтологий для моделирования IT-инфраструктуры и описания систем энергетики // Вычислительные технологии. Том 13, Специальный выпуск 1.-2008.-С. 4-10.

33. Копайгородский А.Н., Массель JI.B. Разработка и интеграция основных компонентов информационной инфраструктуры научных исследований // Вестник ИрГТУ. -2006. № 2 (26), т.З.- С.23-29.

34. Массель JI.B. ИТ-инфраструктура научных исследований и открытая образовательная среда // Вестник ИрГТУ. 2005. — №4 - С. 9 -15.

35. Мальцев А.И. Алгебраические системы. — М.: Наука, 1970. — 392 с.

36. Тыугу Э.Х. Концептуальное программирование. — М.: Наука, 1984. — 256 с.

37. Xudong Не, John А. N. Lee. A methodology for Contructing Predicate Transition Net Specifications // Software Practice and Experience. - 1991. — V. 21, N 8. -P. 845-875.

38. Мендельсон Э. Введение в математическую логику—М.: Наука, 1971.-320 с.

39. Клини С.К. Введение в математику. — М.: ИЛ, 1957. — 526 с.

40. Клир Д. Абстрактное понятие системы как методологическое средство // Исследования по общей теории систем. М.: Прогресс, 1969.

41. Шалыто А.А. Алгоритмизация и программирование задач логического управления. СПб.: Наука, 1998. - С 628.

42. Шоломов Л. А. Основы теории дискретных логических и вычислительных устройств. // М.: Наука, 1980.

43. Минский М. Структура для представления знания // Психология машинного зрения. М.: Мир, 1978. - С. 249-338.

44. Карпов В.Г., Попырин JI.C., Самусев В.И., Эпелыптейн В.В. Автоматизация построения программ для расчета схем теплоэнергетических установок // Изв. АН СССР. Энергетика и транспорт. 1973. -№ 1.- С.129-137.

45. Petri С.А. Kommunication mit Automaten. — Schriften fur des Rheinich-Westfalischen Inst. Fur Instrumentalle Mathematik. Univ. Bonn. — Bonn, 1962.

46. Питерсон Дж. Теория сетей Петри и моделирование систем // М.: Мир, 1984.-264 с.

47. Universal Modelling Language (UML). Электронный ресурс. Режим доступа: http://www.uml.org

48. Business Process Modeling Notation. Электронный ресурс. — Режим доступа: http://www.omg.Org/spec/BPMN/l .2/

49. Хоар Ч. Взаимодействующие последовательные процессы. — М.: Мир, 1988. -М.: Мир.-264 с.

50. Котов В.Е. Сети Петри. // М.: Наука, 1984

51. Воевода А.А., Саркенов Д.О., Хассоунех В. Моделирование протоколов с учетом времени на цветных сетях Петри // Сб. науч. тр. НГТУ. —2004. № 3 (37).-С. 133-136.

52. Girault, С., Valk, R. Petri Nets for Systems Engineerings Guide to Modeling, Verification, andApplications, Springer-Verlag, 2002. — 607 p.

53. Новик K.B. Сеть автоматов для моделирования асинхронного взаимодействия процессов / Автореф. дисс. на соискание степени канд. физ.-мат. наук: 05.13.18. -М.: МФТИ, 2006.-22 с.

54. Столяров JI.H., Новик К.В. Joiner-сеть для моделирования взаимодействующих параллельных процессов // Моделирование процессовуправления: Сб. научных трудов / Моск. физ.-тех. ин-т. — М., 2004. С. 8197.

55. Столяров JI.H., Новик К.В. Реализация параллельных процессов с помощью сетей Joiner-net // Информационные и математические технологии: Сб. научных трудов / ИСЭМ СО РАН Иркутск, 2004. - С. 11-14.

56. Анисимов М.М. Управление событийными сетями // Труды XIV Байкальской Всероссийсий конференции «Информационные и математические технологии в науке и управлении», ч. 3. — Иркутск: ИСЭМ СО РАН, 2009. С. 238-240.

57. Норенков И.П., Кузьмик П.К. Информационная поддержка наукоемких изделий. CALS-технологии. М.: Изд-во МГТУ им. Баумана, 2002, -320 е.: ил. ISBN 5-7038-1962-8.

58. Филиппович А.Ю. Интеграция систем ситуационного, имитационного и экспертного моделирования. -М.: Изд-во "ООО Эликс+", 2003. 300 с.

59. Аршинский B.JI. Событийное моделирование чрезвычайных ситуаций в энергетике / Аршинский B.JI. // Труды Международной конференции «Информационные технологии в науке, образовании, телекоммуникации и бизнесе», Гурзуф, 2010. - С.299-301.

60. Аршинский B.JI., Массель А.Г. Применение когнитивного моделирования для ситуационного анализа проблемы энергетической безопасности. //

61. Современные технологии. Системный анализ. Моделирование. Иркутск: ИрГУПС, 2008. - Спецвыпуск. - С. 75-80.

62. Шеер А.В. Бизнес-процессы. Основные понятия. Теория. Методы / А.В. Шеер — Изд. 2-е, переработанное и дополненное. Пер. с англ. — М.: ОАО «Весть», ОАО «Метатехнология», 1999 — 154 с.

63. Методология функционального моделирования IDEF0: Руководящий документ. / ИПК Издательство стандартов, 2000.

64. Гришковец Е.В. Сибирь загнали в уголь Электронный ресурс. // Газета «Коммерсантъ» №155(4210) от 25.08.2009. Режим доступа: http://www.kommersant.ru/doc.aspx?DocsID=1225940

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

66. Массель JI.B. Создание распределенной вычислительной инфраструктуры исследований в энергетике / Массель JI.B., Подкаменный Д.В. // Вычислительные технологии, т.8, 2003 , с. 214-218.

67. Аршинский B.JL Подход к построению программно-аналитического обеспечения ситуационного анализа / Аршинский B.JL, Фартышев Д.А.,

68. Черноусова Е.С. // Вычислительные технологии, т.13, ч. I, 2008. — С. 157163.

69. Аршинский В.Л. Joiner-cera как инструмент управления взаимодействием агентов в мультиагентном программном комплексе. //Системные исследования в энергетике / Труды молодых ученых ИСЭМ СО РАН, вып. 39. Иркутск: ИСЭМ СО РАН, 2009.-е. 147-151.

70. Аршинский В. Л. Моделирование ситуаций с использованием когнитивных карт и Joiner-сетей / Аршинский В.Л., Фартышев Д.А. // Современные технологии. Системный анализ. Моделирование, Иркутск. ИрГУПС. —2008 Спецвыпуск, С. 148-151.

71. Axelrod Robert, Structure of decision. Princeton, New Jersey: Princeton University Press, 1976, - 404 c.

72. Аршинский В.Л. Применение алгебраических сетей для исследования проблемы энергетической безопасности // Материалы конференции молодых ученых ИСЭМ СО РАН, вып. 38. Иркутск: ИСЭМ СО РАН, 2008. - С.194-201.

73. Трахтенгерц Э. А. Компьютерная поддержка принятия решений: Научно-практическое издание. Серия «Информатизация России на пороге XXI века». М.: СИНТЕГ, 1998. 376 с.