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

РГё

Емельянов Игорь Викторович

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

Специальность 05.14.02 - Электрические станции (электрическая часть), сети, электроэнергетические системы и управление ими

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

Новосибирск- 2000

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

)

Работа выполнена в Новосибирском государственном техническом университете.

Научный руководитель - доктор технических наук, профессор Фишов А.Г.

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

доктор технических наук, профессор Секретарей Ю.А. кандидат технических наук, Беленький А.И.

Ведущая организация - Сибирский научно-исследовательский

институт энергетики (ОАО "СибНИИЭ")

Защита диссертации состоится 26 декабря 2000 г. в 15-00 часов на заседании диссертационного совета К 063.34.05 в Новосибирском государственном техническом университете по адресу: 630092, Новосибирск, пр. К.Маркса, 20.

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

Учёный секретарь диссертационного совета к.т.н., доцент

Глазырин В.Е.

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

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

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

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

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

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

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

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

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

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

- описание интеллектуальной деятельности оперативно диспетчерского персонала по анализу и перекоммутации электрических сетей и её структуризация для последующего моделирования;

- наполнение содержанием и моделирование каждого процесса в отдельности применительно к заданной предметной области;

- формализация анализа КС, с представлением его результатов (анализа) в требуемых профессиональных формах;

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

- разработка базы знаний (БЗ) ЭкС на основе формального представления знаний, обусловленного предложенным в работе подходом;

- реализация ЭкС на персональном компьютере (РС) с разработкой графического интерфейса, базы данных и базы знаний.

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

В работе применены методы теории графов, множеств, формальной математической и символьной логики (исчисление предикатов первого порядка, дерево ветвлений).

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

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

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

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

4. Разработаны оригинальные методы и вычислительные процедуры структурного анализа коммутационного состояния электрических сетей: 1) топологического эквивалентирования для проверки критерия /!-/, 2) волново-

го метода для определения шунтирующих маршрутов, и 3) проверки связности сети.

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

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

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

Применение таких систем в технологии ОГ1 освободит диспетчера от рутинной работы и сократит количество допускаемых ошибок.

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

Реализация результатов. Разработанные в диссертации методы и алгоритмы легли в основу программного комплекса автоматизированного рабочего места (АРМ) "Коммутационное состояние и переключения в электрической сети", внедрённого по договору с ЦДС ОАО "Новосибирскэнерго". В его состав входит: 1) объектно-ориентированные БД и БЗ, 2) редакторы БД и БЗ с графическим интерфейсом, визуализирующим содержание БЗ и БД, и инспектора КС объектов, их связей, 3) модули анализа КС, выработки бланков, 4) интерпретатор заданий на переключения.

Апробация работы. Основные результаты работы представлялись, докладывались и обсуждались на научных семинарах кафедры автоматизированных электроэнергетических систем НГТУ, на совещаниях ОАО "Новосибирскэнерго", на международных конференциях "КОЯиБ' 99" и "КОШ^' 2000".

Публикации. По теме диссертационной работы опубликованы 3 печатных работы.

Объём и структура работы. Диссертационная работа изложена на 130 страницах основного текста, иллюстрируется 67 рисунками, содержит 5 таблиц и состоит из введения, пяти глав, заключения, списка литературы из 133 наименований на 11 страницах, а также документов, подтверждающих апробацию и внедрение результатов работы.

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

1. Формализация логики оперативных переключений в электрических сетях. Современное состояние и направления развития

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

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

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

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

Перечисленные недостатки во многом связаны с тем, что, как правило, решается частная задача (формирования бланков ОП) и не рассматривается полный технологический цикл, в который входят: 1) анализ КС, 2) синтез рапорта, 3) принятие решения с выдачей задания, 4) синтез последовательности действий и 5) представление результатов в технологических формах отчётности (например, бланках).

2. Экспертная система по переключениям в электрических сетях на основе моделирования интеллектуальных процессов

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

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

Признаком классификации ИП, вовлечённых в деятельность оперативно-диспетчерского персонала, является доля логической составляющей (логическая строгость операций) при переходе от уровня к уровню:

- простые процессы, реализуемые в виде элементарных операций;

- конвергентно-дивергентные, результат, которых основывается на совокупности простых;

- понятийно-интерпретационные;

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

Абстрагирование V

Понятийно -11 нтер п рста! {ионные у

Конвергентно -ливер! ентные < > / •V

Простые процессы о/

Рис. I. Структура интеллектуальных процессов

Структура ИП в целом при задании направления движения снизу вверх или сверху вниз представляет собой анализ и синтез соответственно.

Для моделирования ИП в рамках ЭкС предложено рассматривать объекты предметной области (в частности, технологии оперативных переключений) в виде многоуровневых структур, в которой информация представлена по принципу логического перехода от общего к частному, от более существенного к менее существенному (от понятийно-смысловых уровней к элементарным) [рис.2).

Тогда, например, простой процесс сравнения двух объектов (КС, бланков ОП, режимов и т.д.) производится в два этапа (рис.2).

Этап 1. Определение всех уровней объектов.

Восстановление элементарных материальных уровней - г/,, элементарных идеальных уровней - с,, с2; функциональных уровней - Ьх, Ь2; уровней смыслов - а,, а2.

Этап 2. По уровневое простое сравнение.

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

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

- выявить отличия от нормальной схемы (простое сравнение на элементарных уровнях (рис.2));

- перейти от элементарной схемы к агрегированной;

- определить функции и смыслы текущего КС сети (обобщение, классификация) (точки 2, 5);

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

Получив полное представление о состоянии ЭС, диспетчер может дать задание на изменения состояния - т.е. перейти к синтезу последовательности переключений, представленного правой частью контура.

ОБЪЕКТ!

ОБЪЕКТ2

Рис.2. Представление процесса сравнения

Восприятие ситуацш на смысловом уровне

Решения Рапорт

Формулировка смыслов обобщённой форме, удобной для восприятие ситуации диспетчером

Смыслы

Обобщение классификация

Формулирование заданий на смысловом уровне

интерпретация

Функции

сравнение

Агрегирование Объекты срав"е'ше Ь

Выполнены

Макрооперации

Восприятие задания, выполнение задания на элементарном уровне

ИСПОЛНИТЕЛЬ

Рис.3. Контур анализа и синтеза

3. Формализация анализа коммутационного состояния электрической сети

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

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

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

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

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

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

(7)Главна!функция выполняется? ©Связна ли система 1 (Т) Все ли углы инцидентны ушам питания Проводилась ли проверка при АВР 1

^ л" части проверены на инци-

лентность у злей питания 1 Выполняется ли критерий N-11

(2> © Все ли части проверены по

критерию N-1

Рис.4. Дерево функционально-структурного анализа

Выделено четыре смысловых и три функциональных (на основе ТА выполнения функций) инварианта КС сети, для представления его как объекта с уровневой структурой.

Смыслы'.

1. Передача потока по "нормальной схеме

2. Передача потока по вынужденной схеме (отклонение от нормальной).

3. Не передача потока к нагрузкам.

4. Погашение части сети (снятие напряжения).

Функции:

1. Передача потока энергии ко всем потребителям с требуемым уровнем надёжности (по критерию п-1).

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

3. Не передача потока (из работы выведены элементы без резервирования).

Наполнение содержанием каждого уровня объекта сети, включает процессы сравнения (нормального КС и текущего), агрегирования (схемы сети), классификации (отнесение к классу КС), композиции (составление рапорта) (рис.3).

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

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

РАПОРТ

Уровень Содержание

а Класс состояния и общая характеристика схемы коммутации

Ь Функциональные характеристики коммутационного состояния

с Слисок выявленных отличий текущей коммутационной схемы от нормальной схемы коммутации

(1 Слисок элементов и состояние элементов

Рис.5. Уровневое представление информации о коммутационном состоянии сети в рапорте

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

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

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

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

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

смысловой уровень

смысловой уровень /

Полть напряжение

Псрсвссгн в аитомлтнчеекпи _

резерв

Перемет и 'с" на интимно "ог"

Вывеет» »и автоматическою ре терла |

Перенести точкч к о тура

Вывести в рехрв

Т

Ныяесги й ремонт

Замкнупь {контур (обьокпить) I ши„и

{К01Пур| шины |

Впесги я сибо|у

Рис. 6. Классификация заданий на переключения в первичных цепях

Ввести резерв Снять нагрузку Снять напряжение -

Ввод в

работу *

Вывести резерв

Нагрузить Подать напряжение

Заземлить -- -- Сиять заземление

Вывод в ремонт

Рис. 7. Последовательность действий заданий Вывода в ремонт /Ввода в работу для первичной цепи

Каждой группе заданий в ПЦ может быть поставлена в соответствие своя последовательность действий во ВтЦ в обобщённой форме (макрооперации). Так, например, для сети уровня РУ заданию на Вывод в ремонт/Ввод в работу соответствует следующая последовательность макроопераций смыслового уровня (рис.8).

Ввод в работу

Ввод запретов срабатывания РЗиА

Вывод запретов срабатывания РЗи.4

Разбор токов, и операт. цепей резевпого маршрута Перевод РЗиА с обходного маршрута на основной

Подготовка ток. и операт. цепей резевпого маршрута

ПереводРЗиА с основного маршрута на резервный

/

Вывод запретов ЛПВ

Ввод запретов АПВ

Разбор операт. цепей РЗиА.. основного маршрута

Сбор оперативных цепей РЗиА основного маршрута

Вывод в ремонт

Рис.8. Последовательность действий во вторичных цепях для задания Вывод в ремонт/Ввод в работу

Наполнение содержанием всех уровней объекта БЛАНК (синтез бланка ОП) с организацией задействованных при этом ИП представлен правой частью контура анализа-синтеза (рис.3).

Синтез последовательности действий бланка включает следующие про-

- интерпретация задания на ОП;

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

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

- импликация действий в ПЦ с действиями во ВтЦ и проверочными действиями.

цессы:

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

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

Большинство из них базируется на оперировании со множествами и графами (рис.9)

В рамках экспертного подхода разработаны и программно реализованы следующие алгоритмы процедур, вошедших в БЗ ЭкС:

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

2. Агрегирование {рис. 10).

3. Интерпретация с процедурами: интерпретации сети, интерпретации заданий на переключения, интерпретации коммутационного состояния (рис.11).

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

с.

Рис.9. Интерпретация сети в виде множеств

Б(У, Е) - граф сети;

V - множество узлов сети;

Е - множество связей сети;

С, - множество отделившихся частей;

О € V - множество изолированных узлов;

О £ К - множество узлов источников.

Ячейка

2, 3,4 - фаничные узлы 1 - особый узел Рис. 10. Постановка задачи агрегирования

Ячейка Особь.» [гмни'

411

2,3

РЬ

2 ' Р2 |

нач.

-'- {3} Поиск особых утов

/67 Добавление особого ума б множ ество /Л/ : 1 {О} Поиск граничных узлов

/ТУ*-5/ Добавление особого узла в расширяющееся

_ _ множество узлов

{£} Поис^ связей с узлом 5 ,

• 5.е£. | 1

- Е1 е {£} проверка принад-ти к уже пройденному Нет пути

- 5, IIоиск второго узла связи Е 1

|

- 5, е {У }л е {С} Проверка не находили ли его уже и

не является ли он граничным

* ¿.-»(г/ I

► 1Е1 I

Блок поиска связей с узлами

Рис. II. Алгоритм интерпретации уровня сети - ячейка

вывести в ремонт

Р'(1 продольный ши шунтовой?)

И/ЮЛПьныЬ

Р^(Имеется ли резерв?)

1. Ввести резерв

2. Снять нагрузку

.?. Снять напряжение Р'(Шунтовой в виде Нагр., Генер.?)

4. Создать видимый разрыв

5. Заземлить

6. Оформить место работы

( КОП. )

Рис.12. Алгоритм процедуры определения последовательности действий для задания Вывод в ремонт выключателя

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

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

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

Разработанные в диссертации методы и алгоритмы легли в основу программного комплекса автоматизированного рабочего места (АРМ) "Коммутационное состояние и переключения в электрической сети".

В его состав входят:

1) объектно-ориентированные БД и БЗ,

2) редакторы БД и БЗ с графическим интерфейсом, визуализирующим содержание БЗ и БД, и инспектора коммутационного состояния

объектов, их связей,

3) модули анализа коммутационного состояния, выработки бланков,

4) интерпретатор заданнй на переключения.

ЗАКЛЮЧЕНИЕ

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

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

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

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

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

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

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

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

5. В рамках экспертного подхода разработаны и программно реализованы следующие алгоритмы:

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

2. Агрегирования.

3. Интерпретации с процедурами: интерпретации сети для её выделения в качестве объекта, интерпретации заданий на переключения, интерпретации коммутационного состояния.

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

6. Разработанные в диссертации методы и алгоритмы легли в основу программного комплекса автоматизированного рабочего места (АРМ) "Коммутационное состояние и переключения в электрической сети".

В его состав входят: 1) объектно-ориентированные БД й БЗ,

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

3) модули анализа коммутационного состояния, выработки бланков,

4) интерпретатор заданий на переключения.

Основное содержание диссертации изложено в следующих работах:

1. Емельянов И.В., Петрищев А.В. Формализация анализа коммутационного состояния высоковольтных электрических сетей для его автоматизации. Сборник научных трудов НГТУ. - № 3, 1999. С.98-103.

2. Gorevoi D.V., Emelyanov I.V., Petrishev A.V. Formalization of the analysis of switching condition of high-voltage electrical networks for it's automation. Third Russian-Korean International Symposium On Science and Technology KORUS'99, 22-24 June 1999, Russia, Novosibirsk, Novosibirsk State Technical University.

3. Gorevoy D.V., Emelyanov I.V., Petrishev A.V. Modeling of intellectual processes in expert system of the analysis and switching of an electrical network. KORUS2000. Fourth Russian-Korean International Symposium On Science and Technology KORUS'2000,26-30 June 2000, Korea, Ulsan, University of Ulsan.

СОКРАЩЕНИЯ.

ВВЕДЕНИЕ.

ГЛАВА 1. ФОРМАЛИЗАЦИЯ ЛОГИКИ ОПЕРАТИВНЫХ ПЕРЕКЛЮЧЕНИЙ В ЭЛЕКТРИЧЕСКИХ СЕТЯХ. СОВРЕМЕННОЕ СОСТОЯНИЕ И НАПРАВЛЕНИЯ РАЗВИТИЯ.

1.1. Задача формализации логики оперативных переключений.

1.2. Обзор результатов и анализ существующих методов.

Выводы.

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

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

2.2. Содержание и модели процессов.

2.2.1. Сравнение.

2.2.2. Обобщение.

2.2.3. Импликация.

2.2.4. Отрицание.

2.2.5. Классификация.

2.2.6. Агрегирование.

2.2.7. Композиция.

2.2.8. Определение.

2.2.9. Интерпретация.

2.3.Организация процессов в контуре анализа и синтеза схемы коммутации электрической сети.

Выводы.

ГЛАВА 3. ФОРМАЛИЗАЦИЯ АНАЛИЗА КОММУТАЦИОННОГО

СОСТОЯНИЯ ЭЛЕКТРИЧЕСКОЙ СЕТИ.

3.1. Задача анализа коммутационного состояния.

3.2. Основные понятия анализа коммутационного состояния.

3.3. Классы и смысловое содержание состояний сети.

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

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

Выводы.

ГЛАВА 4. ФОРМАЛИЗАЦИЯ ЛОГИКИ ПОСЛЕДОВАТЕЛЬНОСТИ ДЕЙСТВИЙ В ПЕРВИЧНЫХ И ВТОРИЧНЫХ ЦЕПЯХ.

4.1. Задача определения действий по перекоммутации электрической се

4.2. Смысловая интерпретация заданий на переключения.

4.3. Обобщённые логические модели релейной защиты и автоматики.

4.4. Формализация логической основы переключений в первичных и вторичных цепях.

4.5. Формализация синтеза последовательности действий.

Выводы.

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

НОСТИ ПЕРЕКЛЮЧЕНИЙ.

5.1. Процедуры.

5.2. База знаний.

5.3. Диалог экспертной системы (интерпретатор).

5.4. Интеграция экспертной и информационной подсистем.

5.5. Тестирования и примеры использования.

Выводы.

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

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

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

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

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

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

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

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

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

- описание интеллектуальной деятельности оперативно диспетчерского персонала по анализу и перекоммутации электрических сетей и её структуризация для последующего моделирования;

- наполнение содержанием и моделирование каждого процесса в отдельности применительно к заданной предметной области;

- формализация анализа КС, с представлением его результатов (анализа) в требуемых профессиональных формах;

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

- разработка базы знаний (БЗ) ЭкС на основе формального представления знаний, обусловленного предложенным в работе подходом;

- реализация ЭкС на персональном компьютере (РС) с разработкой графического интерфейса, базы данных и базы знаний.

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

В работе применены методы теории графов, множеств, формальной математической и символьной логики (исчисление предикатов первого порядка, дерево ветвлений).

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

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

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

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

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

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

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

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

Применение таких систем в технологии ОП освободит диспетчера от рутинной работы и сократит количество допускаемых ошибок.

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

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

Выводы

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

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

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

4. Согласованность, корректность и завершённость анализа процессов и данных, задействованных в предметной области технолога оперативных переключений, могут быть достигнуты с помощь современных инструментальных средств создания информационных систем (информационной модели предметной области) - САЗЕ-средств.

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

ЗАКЛЮЧЕНИЕ

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

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

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

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

4. Реализация экспертного подхода с использованием предложенной структуры взаимодействующих интеллектуальных процессов и объектов предметной области технологии оперативных переключений и анализа коммутационного состояния сети и осуществляется следующим образом: а) процесс анализа коммутационного состояния сети - это восхождение от частных знаний о нём к обобщённым, устанавливающий и объясняющий причинно-следственную связь содержания более высоких уровней объекта КС через содержание более низких. б) синтез объекта БЛАНК - это последовательное наполнение его содержанием при переходе от смыслового уровня к элементарному, позволяющего формировать последовательности смыслов и действий для сетей разного иерархического уровня или произвольных границ (Яч, РУ, ПС, ЭС).

5. В рамках экспертного подхода разработаны и программно реализованы следующие алгоритмы:

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

2. Агрегирования.

3. Интерпретации с процедурами: интерпретации сети, интерпретации заданий на переключения, интерпретации коммутационного состояния.

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

6. Разработанные в диссертации методы и алгоритмы легли в основу программного комплекса автоматизированного рабочего места (АРМ) "Коммутационное состояние и переключения в электрической сети".

В его состав входят:

1) объектно-ориентированные БД и БЗ,

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

3) модули анализа коммутационного состояния, выработки бланков,

4) интерпретатор заданий на переключения.

1. Филатов A.A. Переключения в электрических распределительных устройствах. М.: Энергия, 1985.

2. Мандрыкин С.А., Филатов A.A. Эксплуатация и ремонт электообо-рудования станций и сетей. М.: Энергоатомиздат, 1983.

3. Самойлов В.Д., Березников В.П., Писаренко А.П., Сметана С.И. Автоматизация построения тренажёров и обучающих систем. Киев: Науко-ва Думка, 1989.

4. Орнов В.Г., Рабинович М. А. Задачи оперативного и автоматизированного управления энергосистемами. М.: Энергоатомиздат, 1988.

5. Орнов В.Г., Любарский Ю.Я. Диалоговые системы в диспетчерском управлении энергообъектами. М.: Энергоатомиздат, 1987. - 151 с.

6. Орнов В.Г., Забегалов В.А., Семёнов В.А. Автоматизированные системы диспетчерского управления в энергосистемах. М.: Энергоатомиздат, 1984. - 264 с.

7. Любарский Ю.Я. Интеллектуальные информационные системы. -М.: Наука, 1990.-227 с.

8. Любарский Ю.Я., Кемельмахер Г.И. Применение мини-ЭВМ в диспетчерском управлении энергообъединениями. М.: ВИПКэнерго, 1984. -66 с.

9. Березников В.П. Организация вычислительного процесса при автоматизированном построении диалога в системе обучения операторов энергопредприятий: Автореф. Диссертации АН УССР. Киев, 1988. - 20 с.

10. Купершмидт Ю.Я., Любарский Ю.Я. и др. Автоматизированное составление бланков переключений энергообъектов. Электрические станции, 1984, №9, С.8-12.

11. Купершмидт Ю.Я., Любарский Ю.Я., Ориов В.Г. Принципы построения универсального программируемого тренажёра оперативных переключений. Электрические станции, 1982, №11, С.48-52.

12. Семёнов В.А., Орнов В.Г. Тренажёры для диспетчерского персонала энергообъединений. Информэнего. Энегетика и электрофикация. Сер.6. Средства и системы управления в энергетике. Обзорная информация, 1984, вып. 1, 42 с.

13. А.Брукинг, П.Джонс, Ф.Кокс и др. Экспертные системы. Принципы работы и примеры.Под ред. Ричарда Форсайта. Кибернетика. М.: "Радио и связь", 1987. - 224 с.

14. М.Стефик, Я.Эйкинс, Р.Балзер и др. Организация экспертных систем. Кибернетический сборник, вып. 22. М.: Мир, 1985, С. 170-221.

15. Ивашко В.Г., Финн В.К. Экспертные системы и некоторые проблемы их интеллектуализации. В сб. Семиотика и информатика, вып.27. М. : ВИНИТИ, 1986, С.25-61.

16. Алексеева З.Я., Стефанюк В.А. Экспертные системы состояние и перспективы//Известия АН СССР. Техническая кибернетика. - 1984, №, С.152-167.

17. Экспертные системы: состояние перспективы. Сб.науч.тр./АН СССР, Ин-т проблем передачи информации; Отв. Ред. Д.А. Поспелов. М.: Наука, 1989.- 152 с.

18. Экспертные системы для персональных компьютеров: Методы, средства реализации: справ. пособие/В.С. Крисевич и др. Минск: Выэйш. шк., 1990.- 197 с.

19. Макаровский С.Н., Машинский C.B. Примемнение ЭВМ для составления бланков оперативных переключений. Электрические станции, 1979, №10, С.55-58.

20. Лебедев В.И., Роеман Л.В. Автоматизация процесса принятия диспетчерских решений. Труды института Энергосетьпроект, 1974, вып.4, С.159-166.

21. Любарский Ю.Я., Левнуш М.А. Интеллектуальная систем МИ-МИР н базе ЭВМ СМ-4//Средство управления в энергетике. Вып. 3. М.: Информэнерго, 1980. -С.1-4.

22. Брябин В.М., Любарский Ю.Я., Микули Л.И. и др. Диалоговые ис-темы с АСУ. Под. ред. Д.А. Поспелова. М.: Энергоатомиздат, 1983. - 206 с.

23. Денисов В.И., Полетаева И.А., Хабаров В.И. Экспертная система для анализа многофакторных объектов. Новосибирск, НГТУ, 1992. - 127 с.

24. Инструкция по производству переключений в энергосистеме. -Новосбирск, Новосибирскэнерго, 1994.

25. Четвериков В.Н., Ревунков Г.И, Самохвалов Э.Н. Базы банки данных. М.: Высшая школа, 1987. - 248 с.

26. Семёнов В.А. Автоматизированные системы диспетчерского управления. (Итоги науки и техники/Гос. ком. СССР по н. и т., АН СССР, ВИНИТИ, Сер. "Энергетические системы и их автоматизация"; т. 3).

27. Фишов А. Г. Структурная адаптация электроэнергетических систем к режимам. Диссертация на соискание учёной степени д. т. н., Новосибирск, 1992.-256 с.

28. Управление электроэнергетическими системам/Редколлегия: В.А. Строев (гл. ред.) и др. М.: Издательство МЭИ, 1992. - 148 с. - (Труды МЭИ/Вып. 649).

29. Управление электроэнергетическими системам: Перевод докладов Международной конференции по большим электрическим систе-мам/СИГРЭ 86/Составитель В.В. Семёнов.; Под. ред. Ю.Н. Руденко. -М.: Энергоатомиздат, 1988. - 100 с. - (Энергетика за рубежом).

30. Правила устройства электроустановок. —М.: Энергоатомиздат, 1987.-648 с.

31. Правила технической эксплуатации электрических станций и сетей. М.: Энергоатомиздат, 1989. - 287 с.

32. ПТЭ электроустановок потребителей и ПТБ при эксплуатации электроустановок потребителей. М.: Энергоатомиздат, 1990 - 656 с.

33. ПТБ при эксплуатации энергоустановок. М.: Энергоатомиздат, 1987- 144 с.

34. Типовая инструкция по производству переключений в электрических распределительных устройствах электрических станций и подстанций.-М., 1978.-70 с.

35. Белецкий О.В., Лезнов С.И., Филатов A.A. Обслуживание электрических подстанций. М.: Энергоатомиздат, 1985 - 413 с.

36. Рлейная защита и автоматика электрических систем: Сб. научных трудов/Рижский политех, ин-т; Редкол.: JI.A. Орехов (отв. ред) и др.. -Рига: РПИ, 1991.- 184 с.

37. Алексеев B.C., Варганов Г.П, Панфилов Б.И, Розенблюм Р.З. Реле защиты. М.: "Энергия", 1976.-464 с.

38. Андреев В.А. Релейная защита и автоматика систем электроснабжения: Учебник для вузов по спец. "Электроснабжение". 3-е изд., пере-раб. и доп. - М.: Высш. шк., 1991. - 494 с.

39. Поспелов Д.А. Ситуационное управление теория и практика. М.: Наука, 1986.-284 с.

40. Поспелов Д.А. Логико-лингвистическое моделирование в системах управленя. М.: Энергоатомиздат, 1981 - 231 с.

41. Поспелов Д.А. Професионально и проблемно-ориентированные интеллектуальные системы. Вопросы философии, 1979, №2, С.57-59.

42. Кузин Л.Т. О системах искусственного интеллекта. Вопросы философии, 1979, №2, С.60-63.

43. Линдсей П., Норман Д. Переработка информации у человека. М.: Мир, 1974.-550 с.

44. Хант Э. Искусственный интеллект. М.: Мир, 1978. - 558 с.

45. Попов Э.В., Фридман Г.Р. Алгоритмические основы интеллектуальных роботов и искусственного интеллекта. М.: Наука, 1976. — 456 с.

46. Уинстон П. Искусственный интеллект. М.: Мир, 1980. - 519 с.

47. Кузнецов И.П. Принципы построения систем, формирующих осмысленные вопросы. В кн.: Исследование систем. Хабаровск: ХабКНИИ, 1973, вып. 3,С.36-120.

48. Ловицкий В.А. Принципы построения систем формирования понятий в системах искусственного интеллекта. Харьков: ХПИ, 1980. - 103 с.

49. Клещёв A.C. Реляционный язык как рограммное средство для искусственного интеллекта. Препринт №26, ИАПУ ДВНЦ АН СССР, Владивосток, 1980.

50. Башлыков A.A., Вагинов В.Н. Принципы организации дедуктивных процессов в системах принятия решений//Семиотические модели при принятии решений. М.: ВИНИТИ, 1979, С.66-69.

51. Башлыков A.A. Программная реализация методов теории искусственного интеллекта в АСУ ТП//Опыт создания и внедрения АСУ. М.: ЦНИИКА, 1981, С.221-222.

52. Бенерджи Р. Теория решения задач (подход к созданию искусственного интеллекта). Пер. с англ. С.П. Чеботарёва/ Под ред. Ю.В. Букина. -М.: Мир, 1972.

53. Ефимов Е.И. Решатели интеллектуальных задач. — М.: Наука, 1982. 320 с.

54. Донских O.A. К истокам языка. Новосибирск: Наука, 1988.

55. Попов Э.В. Общение с ЭВМ на естественном языке. М.: Наука, 1982.-360 с.

56. Тихомиров O.K. Структура мыслительной деятельности человекаМ.: МГУ, 1969.-304 с.

57. Шапиро С.И. Мышление человека и переработка информации ЭВМ. М.: Советское Радио, 1980. - 288 с.

58. Юсупов И.Ю. Автоматизированные системы принятия решений. -М.: Наука, 1983.-88 с.

59. Клыов Ю.И., Поспелоа Д.А. Создание модели внешнего машинного мира в памяти вычислительной машины. В сб. "Проблемы эвристики". Изд-во "Высшая школа", 1969, С.33-43.

60. Амосов Н.М. Искусственный разум. Изд-во "Наукова думка", Киев, 1969.-154 с.

61. Кольцов М.М. Обобщение как функция мозга. Из-во Наука, 1967.

62. Хант Э. Моделирование процесса формирования понятий на вычислительной машине. М.: Мир, 1970. - 301 с.

63. Попов Э.В. Искусственный интеллект: Справочник. М.: Радио и связь, 1990.-456 с.

64. Ефимов Е.И. Обоснование тезисов, основанное на знаниях. М.: ВЦ АН СССР, 1990.-36 с.

65. Тихомиров O.K. Психологические исследования интеллектуальной деятельности: Сб. докладов семин. МГУ, 1979. 232 с.

66. Амосов Н.М. Нерокомпьютеры и нтллектуальные работы. Киев: 1991. -269 с.

67. Поспелов Г.С. Искусственный интеллект основа новой информационной технологии/ АН СССР. - М.: Наука, 1988. - 279 с.

68. Поспелов Г.С. Системный анализ и искусственный интеллект. М, 1980.

69. Поспелов Д.А. Логические методы анализа и синтеза схем. М.: Энергия, 1974.

70. Модели мира. Под ред. Д.А. Поспелова, 1997. 240 с.

71. Вайнович М.Н., Полякова М.П. Механизм мышления и моделирование его работы в реальном времени//Интеллектуальные процессы и их моделирование: Сб. науч. трудов АН СССР. Отв. редактор A.B. Чернав-ский. М.: Наука, 1987, С.208-229.

72. Поспелов Д.А., Пушкин В.Н. Мышление и автоматы. М.П. М.: Сов. Радио, 1972, 224 с.

73. Башлыков A.A. Проектирование систем принятия решений в энер-гетие. М.: Энергоатомиздат, 1986. - 120 с.

74. Золотов Е.В., Кузнецов И.П. Расширяющиеся системы активного диалога. М.: Наука, 1982. - 317 с.

75. Алёшина H.A., Анисимов A.M., Быстров П.И. и др. Логика и компьютеры. М.: Наука, 1990. - 240 с.

76. Веников В.А., Суханов O.A. Кибернетические модели электрических систем. М.: Энергоатомиздат, 1982. - 328 с.

77. Губарев В.В. Информатика в рисунках и таблицах./Фрагменты системного путеводителя по концептуальным основам. Новосибирск: Изд-во НГТУ, 1999. - 152 с.

78. Новейший философский словарь./Сост. A.A. Грицанов. Мн.: Изд. В.М. Скакун, 1998. - 896 с.

79. Математический энциклопедический словарь. Под ред. Ю.В Про-хорового. М.: "Энциклопедия", 1988. - 847 с.

80. Краткая философская энциклопедия. Под ред. Е.Ф. Губского. М.: "Прогрес" - "Энциклопедия", 1994. - 576 с.

81. Философский словарь. Под ред. И.Т. Фролова. М.: Политиздат, 1991.- 560 с.

82. Лорьер Ж.-Л. Системы искусственного интеллекта: Пер. с франц. -М.: Мир, 1990.- 568 с.

83. Стёпин B.C., Фолов И.Т., Лекторский В.А. Научные революции в динамике культуры. Минск: Университет, 1987.

84. Стёпин B.C., Грохов В.Г., Розов М.А. Философия науки и техники. http://www.philosophy.ru/, Глава 8.

85. Логический словарь справочник. Кондаков Н.И. - М.: Наука, 1976.- 720 с.86. http://www.chat.ru/~alglib/; http://www.caravan.ru/~alexch/graphs/

86. Пономаренко И.С., Дитчина О.В. Автоматизированное формирование бланков переключений в задачах АСДУ распределительных сетей. Электрические станции, 1998, №2, С.63-71.

87. Любарский Ю.Я. Автоматизация анализа ситуации в диспетчерских системах. Электрические станции, 1978, №11, С. 13-17.

88. Ковалёв Г.Ф., Лебедева Л.М. Области использования и пределы применимости критерия N-1 при формировании структуры и выборе параметров элементов ЭЭС. Иркутск, 1999. - 68 с.

89. Дубовой В. Г. Моделирование переключений в электроустановках. Электричество, 1996, №11, С.2-9.

90. Любарский Ю.Я. Интеллектуальные информационные системы для автоматизации деятельности и тренажа оперативного персонал в энергосистемах. Электрические станции, 1994, №9, С.40-49.

91. Ровенко A.C. Тренажёр на базе ПЭВМ эффективное средство для подготовки оперативного персонала энергопредприятия. - Энергетик, 1996, №6.

92. Башлыков A.A., Еремеев А.П. Экспертные системы подготовки и принятия решений в энергетике. М.: Изд-во МЭИ, 1994. - 214 с.

93. Типовая инструкция по переключениям в электроустановках. М.: СПО Союзтехэнерго, 1985.

94. Jun Zhu, David L. Object-Oriented Development of Software Systems for Power Systems Simulations. IEEE Transactions on Power Systems, vol. 12, No.2, May 1997. S.1002-1007.

95. Krost G., Ju K., Spanel U., Salek K., Müller С. Expertensysteme im Netzbetrieb: Realisierte Entwicklungen in Duisburg; nächster Aufsatz in diesem Heft.

96. Krost G. Expertensysteme im Netzbetrieb: Randbedingungen -Besonderheiten Erwartungen - Grenzen; unmittelbar davor.

97. Marathe H., Liu C.-C., Ma T.-K. A relation-checking algorithm for maintenance of rule-based Systems. Electrical Power & Energy Systems, Vol. 12 No. 4 October 1990.

98. RumpeLD., Venkata S.S., Pandji K., Liu C.-C., Nagdy N.M. Real-time database for power Systems using language oriented data structure. IEEE Transactions on power Systems, Vol.5, 1990, No.3, S.993-1000.

99. Zhang Z.Z., Hope G.S., Malik O.P. A Knowledge Based Approach to Optimise Switching in Substations. IEEE Transactions, on Power Delivery, Vol.5, No.l, 1990, S.103-109.

100. The use of expert Systems for power system restoration. CIGRE Task Force 38.06.04, CIGRE-Brochure No. 90, 1994.

101. Герхард Кроет. Специальные проблемы техники управления энергосистемами. Применение экспертных систем. Университет им. Г. Меркатора, Дуйсбург, ФРГ.

102. Дубовой В.Г. Совершенствование методов и средств автоматизации управления оперативными переключениями в электрических распределительных устройствах. Автореф. дис. канд. тех. наук. Екатеринбург, 1994.-24 с.

103. Башлыков A.A. Исследование языков определения и манипулирования знаниями семиотических моделей ситуационного управления технологическими процессами. Автореф. дис. канд. тех. наук. -М., 1979. 17 с.

104. Любарский Ю.Я., Надточий В.М., Рабинович P.C., Орнов В.Г., Портной М.Г. Экспертные системы для энергетики. Электричество, 1991, №1, С.1-6.

105. Любарский Ю.Я. Выразительные возможности языка диалога в автоматизированных системах управления. Техническая кибернетика, 1982, №5, С.154-165.

106. Уотермен Д. Руководство по экспертным системам. Пер. с англ. -М.: Мир, 1989.-388 с.

107. Уэнго X., Кояма Т. Представление и использование знаний. Пер. с япон. М.: Мир, 1989. - 280 с.

108. Любарский Ю.Я. Представление знаний об объекте управления в диспетчерских информационных системах. Программирование, 1978, №1, С.41-51.

109. Дьяконов А.Ф, Любарский Ю.Я., Моржов Ю.И и др. Интеллектуальные информационные системы в управлении эксплуатацией энергетического комплекса. Электрические станции, 1994, №2.

110. Сипачёва О.В. Разработка алгоритмов автоматизированного формирования последовательности оперативных переключений в РЭС. Авто-реф. дис. канд. тех. наук. М.: МЭИ, 1998. - 19 с.

111. Лескин A.A., Мальцев П.А, Спиридонов A.M. Сети Петри в моделировании при управлении. Л.: Наука, 1989.

112. Нильсон Н. Искусственный интеллект. Методы решений. М.: Мир, 1973.-270 с.

113. Маклаков C.B. BPwin и ERwin. CASE средства разработки информационных систем. - М.: ДИАЛОГ-МИФИ, 1999 - 256 с.

114. Щедровицкий Г.П. Избранные труды. М.: Шк. Культ. Полит., 1995.-800 с.

115. Исследование операций. Методологические основы и математические методы. Под ред. Дж.Моудера, С.Элмаграби. М.: Мир, 1981. Т. 1. 712 с.

116. Электрические системы. Математические задачи электроэнергетики: Под ред. В.А. Веникова. -М.: Высш. школа, 1981. 288 с.

117. Пелиьсе Рене. Энергетические системы. М.: Высш. школа, 1982.- 568 с.

118. Электрические системы, т. 2. Электрические сети. Под ред. В.А. Веникова. М.: Высш. школа, 1971. - 440 с.

119. Зайченко Ю.П. Исследование операций. Киев, 1979. - 392 с.

120. Майнагашев С.М., Попков В.К. Структурно-надёжные сети связи с групповыми каналами //Системное моделирование СМ-10. — Новосибирск, 1984. С. 45-60.

121. Басакер Р., Саати Т. Конечные графы и сети. М.: Наука, 1973.368 с.

122. Майника Э. Алгоритм оптимизации на сетях и графах. М.Ж Мир, 1984. - 323 с.

123. Нечепуренко М.И. Алгоритмы и программы решения на графовых сетях. Новосибирск, 1990. - 515 с.

124. Дудник Б.Я., Овчаренко В.Ф. Надёжность и живучесть систем связи. М.: Радиосвязь, 1984.- 216 с.

125. Баринова Г.Б., Белозёрская И.Л. Анализ и синтез сетей связи с с пользованием ЭВМ. -М.: Наука, 1971.- 323 с.

126. Кристофидес Н. Теория графов. Алгоритмический подход. 1978.- 432 с.

127. Фаронов B.B Delphi 4. Учебный курс. М.: "Нолодж", 1999. - 464с.159

128. Емельянов И.В., Петрищев А.В. Формализация анализа коммутационного состояния высоковольтных электрических сетей для его автоматизации. Сборник научных трудов НГТУ. № 3, 1999. С.98-103.

129. Гаврилова Т.А., Хорошевский В.Ф. Базы знаний интеллектуальных систем. Спб: Питер, 2000. - 384 с.

130. Адаменко А.Н., Ашеров А.Т., Бердников И.Л. Информационно-управляющие человеко-машинные системы. М, 1999.1611. Акт внедрениярезультатов диссертационной работы Емельянова И.В. в учебный процесс на факультете энергетики НГТУ

131. АРМ в качестве учебного тренажёра по анализу состояния и переключениям в электрических сетях;

132. Модели интеллектуальных процессов для выполнения на их основе исследовательских работ магистрантами и аспирантами факультета.1. Ю.М.от