Полная версия
Использование элементов искусственного интеллекта: компьютерная поддержка оперативных решений в интеллектуальных электрических сетях
Александр Хренников, Юрий Любарский
Использование элементов искусственного интеллекта: компьютерная поддержка оперативных решений в интеллектуальных электрических сетях
2-е издание (добавлены главы 7, 8, 9)
ПРЕДИСЛОВИЕ
В учебном пособии под интеллектуальными электрическими сетями понимаются такие электросети, для управления которыми используются программные средства, основанные на методах искусственного интеллекта (ИИ). Рассматривается, в основном, управление «через человека» – диспетчерское управление. Интеллектуальные программы при таком подходе обеспечивают компьютерную поддержку диспетчерских решений. Это ни в коей мере не исключает других возможных применений ИИ в электросетях, но эти возможности остаются за рамками данного пособия.
Для «интеллектуальных» электрических сетей рассмотрены основанные на методах ИИ программные средства, выполняющие новые функции и повышающие уровень компьютерной поддержки диспетчерских решений.
Учитывая, что одна из целей построения интеллектуальных сетей – обеспечение восстановления после аварий, основное внимание в книге уделяется проблемам диагностики нештатных ситуаций, интеллектуальному мониторингу состояний электрических сетей, планированию послеаварийного восстановления электроснабжения. Подробно рассмотрен новый вид программного тренажера для диспетчеров электрических сетей – тренажер анализа нештатных ситуаций.
В рамках использования ИИ рассмотрена многоагентная структура интеллектуальной автоматизированной структуры диспетчерского управления.
Рассмотрена также задача анализа аварий и возможность формирования (на основе данных оперативно-информационного комплекса) оперативной справки об аварии в энергосистеме.
Рассмотрена организация расследований технологических нарушений и аварий на подстанциях (с примерами протоколов расследования).
Вводится понятие «объемного» принятия решений, отражающее участие в принятии решений групп специалистов, обладающих различными компетенциями. При этом используется концепция экспертной системы с «доской объявлений».
Для облегчения преобразования эксплуатационного опыта технологов в формализмы естественно-языковой экспертной системы рассмотрена возможность применения концепции экстремального программирования.
Для определенности при изложении в данном пособии предполагается применение экспертной системы (оболочки) МИМИР, так как эта система имеет ряд успешных применений в электроэнергетических задачах.
Изложение в книге сопровождается множеством примеров в форме протоколов работы реальных интеллектуальных систем.
Учебное пособие предназначено для студентов магистратуры электроэнергетических специальностей, обучающихся по направлению «Электроэнергетика и электротехника» и магистрантов направления «Электроэнергетика и электротехника», профили «Электроэнергетические системы и сети» при изучении дисциплины «Информационно-измерительные системы», специалистов технических оперативных служб предприятий энергетических систем, электрических и распределительных сетей и электрических станций, филиалов ПАО «Россети», ПАО «ФСК ЕЭС», слушателей курсов повышения квалификации, а также студентов электроэнергетических специальностей. служб предприятий электрических и распределительных сетей и электрических станций, слушателей курсов повышения квалификации электроэнергетического профиля. Севастопольского госуниверситета и ряду других специализаций. Пособие соответствует также специализациям «Активно-адаптивные системы электроснабжения» СПбПУ Петра Великого 2.13.04.02 Интеллектуальные системы энергоснабжения.
Глава 1. ПРОГРАММНЫЕ СРЕДСТВА ДЛЯ ПОДДЕРЖКИ ДИСПЕТЧЕРСКИХ РЕШЕНИЙ
Однажды много лет назад Декарт, взглянув через зарешеченное окно на росший во дворе дуб, понял, что с помощью оконной решетки можно задать числами положения частей дуба: ствола, ветвей, листьев, – оцифровать дуб! Уменьшая размер ячеек решетки, можно получить оцифровки дуба, содержащие все больше и больше деталей. Декарт воскликнул: «Эврика!» и создал прямоугольную декартову систему координат. Это был момент величайшего значения в математизации физики и начало цифровизации. Любой материальный объект мог быть закодирован с помощью декартовых координат. Описание движения этого объекта могло быть представлено в виде функциональных преобразований декартовых координат. Можно сказать, что был создан числовой образ физического пространства. Сегодняшняя цифровизация началась именно с этого события.
1.1.ПРОБЛЕМЫ РАЗРАБОТКИ СОВРЕМЕННЫХ ИНФОРМАЦИОННЫХ СИСТЕМ ЭНЕРГЕТИЧЕСКОГО ПРИМЕНЕНИЯ
ПОСТАНОВКА ЗАДАЧИ
Важной задачей модернизации систем компьютерной поддержки оперативных энергетических задач является автоматизация функций технологического управления в энергосистемах. Разработки в этой области часто оказываются весьма трудоемкими и не всегда успешными. Результаты работы существенно зависят от правильного анализа источников знаний и от выбора методов реализации. Здесь конкурируют «традиционные» программные методы и методы, основанные на идеях искусственного интеллекта. При этом далеко не всегда «интеллектуальные» методы оказываются предпочтительными – иногда их применение может привести к излишнему усложнению разрабатываемой системы. С другой стороны, «традиционные» методы могут затруднить разработку продуктов, приемлемых для использования технологами – «эксплуатационниками». Поэтому важно на раннем этапе разработки для конкретной задачи правильно выбрать метод реализации, оценить целесообразность «ставки» на интеллектуальный метод [3,38].
ИСТОЧНИКИ ЗНАНИЙ
Приступая к разработке автоматизированной системы для новой технологической задачи, необходимо определить источники знаний (ИЗ) об этой задаче. Среди множества возможных ИЗ наибольший интерес для разработчика представляют:
– эксплуатационный опыт ЭО,
– техническое задание ТЗ на разработку,
– эксплуатационные инструкции ЭИ,
ЭО – опыт эксплуатационного персонала, постоянно «в уме» решающего задачу, которую нужно автоматизировать. К сожалению, это часто невербальный (не зафиксированный в текстах) опыт. Его преобразование в словесную форму – очень трудоемкий процесс.
Выбор ТЗ в качестве основного источника был бы идеальным, но, к сожалению, в таких документах часто нет необходимой полноты информации, содержатся противоречия.
Наконец, ЭИ (технологические инструкции, указания и т.п.) – регламентированные документы являются, безусловно, достоверным источником знаний, но как правило, источником существенно неполным, фрагментарным: регламентированные инструкции обычно охватывают только некоторые (пусть и важнейшие) эксплуатационные операции, состояния и пр., в то время, как для разработки системы требуется «полный спектр» таких знаний. Пробелы в ЭИ разработчику системы приходится заполнять «здравым смыслом», то есть тем же эксплуатационным опытом. Поэтому следует признать опыт эксплуатационного персонала основным источником знаний для разрабатываемой системы [1-9].
1.2.ТЕХНОЛОГИЧЕСКИЕ РАССУЖДЕНИЯ КАК ПРЕДМЕТ КАК ПРЕДМЕТ МОДЕЛИРОВАНИЯ
Для представления эксплуатационного опыта в разрабатываемой системе следует решить две задачи:
– выбрать формализм для представления ЭО,
– преобразовать невербальный опыт в рамки выбранного формализма.
При выборе формализма необходимо стремиться к максимальной его близости к «человеческим» представлениям. Этому требованию отвечает использование формализма рассуждения, понимаемого как ряд мыслей, суждений, умозаключений на какую-нибудь тему, изложенных в логически последовательной форме. Далее, полагаем, что эта цепочка суждений представляется в виде последовательности модулей-вопросов, каждый из которых состоит из:
– текста вопроса,
– анализа ответа.
Близость такого формализма к человеческим суждениям достигается тем, что вопросы формулируются на естественном языке человека.
Приведем примеры вопросов, используемых в некоторых реализованных системах.
(а) Система оперативного рассмотрения ремонтных заявок:
Заявки разрешенные, оборудование ЛЭП, сечения, оборудование уровень 500?
Запрашиваются разрешенные заявки на линии, которые входят в сечения, содержащие оборудование уровня 500 кВ.
(б) Система анализа нештатных ситуаций в электрических сетях:
(б1) оборудование шина объект *75, узлы, выключатели вкл.?
Запрашивается оборудование вида «шина», принадлежащее энергетическому объекту с номером *75, такое, что эти шины через электрические узлы связаны с выключателями, находящимися во включенном положении.
(б2) оборудование, узлы, выключатели, узлы, выключатели изменение?
Запрашивается оборудование, которое через электрические узлы присоединено к выключателям, которые, в свою очередь, через узлы присоединены к выключателям, положение которых изменилось.
В практических системах для решения задач одного вопроса, даже весьма сложного, оказывается недостаточно – в рассуждение входит множество иерархически организованных вопросов. Так, при распознавании ситуации «дальнего» резервирования [1] система сначала определяет «погашенные» шины подстанций и отключившиеся линии, затем – срабатывание защит на подстанции с погашенными шинами и на смежных присоединениях. Учитываются ступени сработавших защит линий. На подстанции, где имелось повреждение, вызвавшее ситуацию дальнего резервирования, защита работает первой ступенью, а на смежных подстанциях – более старшими ступенями.
В системах, основанных на технологических рассуждениях, моделируются формализмы рассуждений. Для этого вопросы автоматически преобразуются в SQL-форму Базы данных, выстраиваются цепочки модулей-запросов. Результатом является модель, называемая программой-рассуждением ПР. В практических информационных системах может быть несколько ПР, а количество вопросов в каждой ПР может достигать сотен. Таким образом, при реализации системы требуется
– преобразовать эксплуатационный опыт в формализмы рассуждений,
– преобразовать эти формализмы в множество программ-рассуждений [9-14].
1.3. СПЕЦИАЛИЗАЦИЯ РАЗРАБОТЧИКОВ
Рассмотрим вопрос формирования коллектива разработчиков информационной системы. При «традиционном» методе разработки требуется коллектив квалифицированных программистов, учет технологического содержания осуществляется на основе ТЗ.
При интеллектуальном методе разработки для создания формализмов рассуждений обязательно требуется привлечь к работе компетентного в решении данной задачи представителя эксплуатационного персонала. К сожалению, обычно таких специалистов немого, они очень загружены своими текущими делами, время, которое они могут уделить разработчикам системы весьма дефицитно. Поэтому при разработке интеллектуальных систем появляется новый «персонаж» – специалист по знаниям СЗ. Интересно сравнить требуемую квалификацию СЗ с квалификацией традиционного программиста. Оказывается, что специалист по знаниям вовсе не должен владеть программированием, да и тонкости технологии – не его область. Специалист по знаниям должен знать, как устроены интеллектуальные системы, должен уметь содействовать эксперту-технологу в формализации его невербального опыта. В простых случаях можно надеяться, что эксперт сможет выполнить формализацию самостоятельно – ведь язык для формализации интуитивно понятен технологу. К сожалению, это редко бывает. Чтобы ускорить процесс формализации, можно применить схему «эксперт-посредник», при которой технолог общается с посредником (не знающим детали интеллектуального программирования, но сведущим в технологии), а посредник затем общается с СЗ, «растолковывая» ему технологические вопросы. Общение «Эксперт-технолог Посредник» занимает меньше времени, чем общение «Эксперт-технологСЗ», и хотя возникает «лишний» этап «ПосредникСЗ», экономия дефицитного времени технолога «окупает» эти затраты. Описанные выше взаимодействия разработчиков иллюстрирует рис.1.
При сравнении различных типов взаимодействия разработчиков нужно учитывать сложность внесения коррекций в уже разработанную систему. При вариантах Б и В такие коррекции даются относительно легко – требуется несколько изменить формализмы рассуждений: исключить некоторые рассуждения, ввести новые рассуждения, внести исправления в некоторые рассуждения, например, изменив тексты вопросов. Для варианта А коррекция значительно сложнее – придется исправлять обычные программы практически без участия экспертов-технологов.
1.4.ХАРАКТЕРИСТИКИ РАССУЖДЕНИЙ И ЦЕЛЕСООБРАЗНОСТЬ ПРИМЕНЕНИЯ МЕТОДОВ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА
Для принятия решения о выборе варианта разработки системы целесообразно на раннем этапе оценить сложность представления опыта эксплуатации в виде рассуждений. Введем некоторые общие характеристики системы, рассуждений, которую предстоит разработать:
а) глубина – количество последовательных уровней рассуждений,
б) разветвленность – количество ветвей в цепочках рассуждений,
в)структурная сложность – количество программ-рассуждений ПР необходимое для реализации системы.
Если представить систему рассуждений в виде графов, то, соответственно, речь идет об иерархических уровнях, количестве ветвей и количестве (условно несвязанных) графов. В наиболее простом случае а=1, б=1, в=1 получим систему где требуемая информация и условия ее поиска содержатся в Базе данных и может быть сразу найдена. Конечно, при таких условиях использовать интеллектуальные методы нецелесообразно.
Сложный случай рассмотрен в главе 4 – для распознавания ситуации дальнего резервирования потребуется более двух уровней графа рассуждений, общее количество графов больше одного (если считать операции со ступенями защит отдельным графом). Для решения таких задач использовать интеллектуальные методы целесообразно.
1.5.ПРИМЕРЫ РЕАЛИЗАЦИИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ
Рассмотрим некоторые примеры реализации интеллектуальных систем, при разработке которых использовались изложенные выше методы.
1.Экспертная система ЭСОРЗ для оперативной режимной проработки ремонтных заявок на оборудование энергосистем [3.4] .Разработана ВНИИЭ с участием ЦДУ ЕЭС, внедрена в службе режимов ЦДУ. Просматривая нерассмотренные заявки, система выявляет множество ограничений, которые должны быть наложены на режим, причем выявляются ограничения, налагаемые как на время заявки, так и на время возможных коротких замыканий при коммутации выключателей. Определяются возможные противоречия с ранее разрешенными заявками. Результат – рекомендуемые решения по заявкам с множеством необходимых для разрешения заявки ограничений.
Реализация ЭСОРЗ потребовала сложных и разветвленных моделей рассуждений: рассуждения относительно заявок, относительно режимных ограничений, топологического анализа электрических схем для определения оборудования, отключаемого при коротких замыканиях.
Метод разработки ЭСОРЗ предполагал использование эксперта-посредника (вариант В). Этот вариант разработки оправдал себя: чрезвычайно загруженный текущей работой эксперт-технолог (оперативный работник службы электрических режимов) за минимальное время консультировал посредника, который затем уже за достаточно длительное время растолковывал инженеру по знаниям технологические сложности задачи.
2.Экспертая система ЭСПЛАН [9] для оперативного планирования ремонтов оборудования. Основное отличие от ЭСОРЗ – автоматическое перемещение плановых сроков ремонтов оборудования, так, чтобы при наложении ремонтов во времени не возникали противоречия. Таким образом, в этой системе время становится «активным участником» рассуждения.
3. Экспертная система ЛОК [5.6] для планирования поиска повреждений в распределительных электрических сетях, включая определение оптимальных траекторий движения ремонтных бригад. Сложность системы рассуждений для этой системы определяется необходимостью проводить не только топологический анализ электрических схем, но и выполнять геоинформационный анализ для траекторий.
4. Тренажер ТРАНС для анализа нештатных ситуаций в электрических сетях [7,8]. Эта система должна не только анализировать электрические схемы, но проводить достаточно сложные рассуждения относительно устройств релейной защиты и автоматики. Реализация в системе тренажерных функций требует отдельных рассуждений (см. главу 4).
1.6.ИНТЕЛЛЕКТУАЛЬНАЯ ИНФОРМАЦИОННАЯ СИСТЕМА МИМИР
Приведем определения из Википедии:
Интеллектуальная информационная система (ИИС) – комплекс программных, лингвистических и логико-математических средств для реализации основной задачи – осуществления поддержки деятельности человека и поиска информации.
Экспе́ртная систе́ма (ЭС, англ. expert system) – компьютерная система, способная частично заменить специалиста-эксперта в разрешении проблемной ситуации.
Рис. 2 Структура экспертной системы.
На рис. 2. показана самая общая структура экспертной системы.
База данных может быть представлена как:
– база знаний,
–хранилище данных.
Разработанная в Научно-исследовательском институте электроэнергетики интеллектуальная система МИМИР (Малая Информационная Модель Интеллектуальных Решений) [3] использует для построения Базы знаний формализм семантических сетей (система МИМИРявляется оригинальной и не имеет зарубежных аналогов). Семантическая (смысловая) сеть – это граф, вершинами которого являются понятия из предметной области той или иной технологической системы, а дугами – связи между понятиями.
Семантическая сеть должна быть структурирована – в ней нужно выделить семантические группы понятий. В одну семантическую группу объединяются «однородные» понятия – такие понятия, которые в графе семантической сети не связываются друг с другом непосредственно, а только через другие группы. В каждой семантической группе выделяется:
– технологическое наименование группы,
– множество понятий – элементов группы.
Например, для электрической сети может быть введена семантическая группа «энергетические объекты» (объекты) с элементами в виде множества электрических станций и подстанций определенной электросети. Чтобы при решении различных задач различать генерирующие объекты (станции) и подстанции, следует ввести группу «вид_объекта» с элементами: станция и подстанция.
Создавая Базу знаний, инженер по знаниям определяет словарь системы, в который входит множество технологических наименований соответствующих понятий.
На основе этого Словаря строится ограниченный естественный язык ОЕЯ (технологическая лексика, упрощенная русская грамматика), который может использоваться
– для взаимодействия пользователей с ИИС,
– для осуществления логических выводов.
1.7.РАЗРАБОТКА БАЗ ЗНАНИЙ ДЛЯ ИИС МИМИР
Разработка Баз знаний для технологических систем облегчается тем, что в каждой предметной области имеется устоявшаяся классификация понятий. Необходимо «вытащить» информацию из опыта технолога (работа инженера по знаниям).
На рис. 3 показан пример структуры семантической сети для задач диспетчерского управления в электросетях.
Рис.3 Топологическая модель первичной сети для задач диспетчерского управления.
С помощью ограниченного естественного языка может быть организовано взаимодействие пользователей с интеллектуальной системой. Это взаимодействие основано на естественно-языковых вопросах.
Определим простой естественно-языковый вопрос как фразу структурно состоящую из:
– вопросной области ВО;
– множества условий вопроса УВ.
Вопросная область ВО задает то, что нужно определить, отвечая на вопрос. Примем, что в качестве ВО может использоваться имя одной из семантических групп.
В качестве условий вопроса УВ могут использоваться:
– Семантические группы,
– элементы семантических групп,
– множества элементов одной семантической группы.
То есть ответить на вопрос означает найти из множества элементов группы ВО, таких, которые связаны с группами и элементами групп, заданными УВ.
Для определения ответа на вопрос интеллектуальная система
–Анализирует вопрос, выделяя ВО и множество УВ,
– по семантической сети определяет, какие элементы группы ВО имеют связи с УВ.
В простейшем случае ответ на вопрос есть список элементов группы ВО, имеющих связи с УВ. Для пользователя ответ есть вербализация этого списка (заголовок списка – имя группы ВО, тело списка – технологические наименования релевантных УВ элементам группы ВО).
Этот тип вопроса назовем определительным. Допускаются составные вопросы. В них часть условий выражаются придаточными конструкциями (типа «который»). При этом допускаются вложения придаточных вопросов друг в друга. Придаточные вопросы и вложенные конструкции отделяются запятой.
Пример:
Вопрос
объекты подстанции, трансформаторы, узлы, выключатели отключенные?
В этом вопросе запрашивается множество энергообъектов вида «подстанции», таких, которые имеют элементы оборудования вида «трансформатор», которые через электрические узлы связаны с коммутационными аппаратами вида «выключатель», находящимися с отключенном подожении.
Придаточные вопросы организуются при анализе так, что ответы на них автоматически используются, как дополнительное условие «внешнего» вопроса.
С помощью вопросов в ИИС может осуществляться взаимодействие с пользователями для осуществления следующих целей:
– поиска информации в ИИС,
– контроля заполнения Базы знаний,
– простейшей коррекции содержимого Базы знаний.
В современных ИИС взаимодействие с пользователями часто целесообразно организовать не с помощью диалога на основе текстов, а с помощью соответствующих изображений («картинок»), на которых пользователь указывает те или иные элементы изображения. С помощью предварительного структурирования таких «картинок» и их описания с помощью семантических сетей, такая форма диалога может быть сведена к лингвистической форме. Рассмотрение этой проблемы выходит за рамки данной работы.
1.8. ВОПРОСНОЕ ПРОГРАММИРОВАНИЕ
Вопросы на ограниченном естественном языке могут использоваться не только во «внешнем» диалоге, но и быть операторами программ, решающих технологические задачи.
Этот «сократический» (по имени древнегреческого философа Сократа) метод решения задач можно назвать «вопросным программированием». Тексты вопросов записываются в программы, вводятся обозначения для номеров элементов групп (звездочки *) и множеств элементов из одной группы (знак доллара $). Определяются массивы данных для хранения ответов на вопросы («линейки»), вводятся операторы для действий с линейками (в основном – логические операции). В результате получается полноценный язык программирования. Особенность этого языка – его операторы записываются на естественном технологическом языке. Поэтому писать программы на этом языке могут (после небольшой практики) не профессиональные программисты, а технологи данной предметной области (в частности – специалисты по диспетчерскому управлению). В некоторых работах этот язык программирования называется языком МИМИР.
Программы, написанные на языке МИМИР и работающие в составе ИИС, называются программами-рассуждениями. Они являются моделями рассуждений специалистов технологов, решающих соответствующие задачи.
1.9.СПЕЦИАЛИЗИРОВАННЫЙ ЛОГИЧЕСКИЙ ВЫВОД В ПРОГРАММАХ РАССУЖДЕНИЯХ
Возвращаясь к общей структуре экспертной системы, изображенной на рис. 2 обратим внимание на важный блок этой структуры – машину логического вывода. Именно этот модуль позволяет экспертной системе осуществлять логические выводы и, тем самым, решать необходимые задачи. В распространенных экспертных системах, основанных на правилах, предполагается универсальный логический вывод, не зависящий от технологических приложений. Тем или иным образом при универсальном выводе сопоставляются заданные правила. По мнению авторов данной работы именно такой подход приводит зачастую к малой эффективности разработки реальных, промышленных экспертных систем. Пока количество заданных правил относительно невелико (100-200), универсальный логический вывод действует, при большем количестве правил (как это бывает в реальных системах) – возникают серьезные трудности.
