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

• Емельянов, Игорь Викторович
• кандидат технических наук
• 2000

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

СОКРАЩЕНИЯ.

ВВЕДЕНИЕ.

ГЛАВА 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) интерпретатор заданий на переключения.

Список литературы диссертационного исследования кандидат технических наук Емельянов, Игорь Викторович, 2000 год

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. Ю.М.от