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

• Автор: Емельянов, Игорь Викторович
• Шифр специальности: 05.14.02
• Научная степень: Кандидатская
• Год защиты: 2000
• Место защиты: Новосибирск
• Количество страниц: 162 с. : ил.

СОКРАЩЕНИЯ. ВВЕДЕНИЕ. ГЛАВА 1. ФОРМАЛИЗАЦИЯ ЛОГИКИ ОПЕРАТИВНЫХ ПЕРЕКЛЮЧЕНИЙ В ЭЛЕКТРИЧЕСКИХ СЕТЯХ. СОВРЕМЕННОЕ СОСТОЯНИЕ И НАПРАВЛЕНИЯ РАЗВИТИЯ. Задача формализации логики оперативных переключений. Обзор результатов и анализ существующих методов. Выводы. ГЛАВА 2. ЭКСПЕРТНАЯ СИСТЕМА ПО ПЕРЕКЛЮЧЕНИЯМ В ЭЛЕКТРИЧЕСКИХ СЕТЯХ НА ОСНОВЕ МОДЕЛИРОВНИЯ ИНТЕЛЛЕКТУАЛЬНЫХ ПРОЦЕССОВ. Содержание и модели процессов. Сравнение. Обобщение. Отрицание. Классификация. Агрегирование. Определение. Интерпретация. Организация процессов в контуре анализа и синтеза схемы коммутации электрической сети. Выводы. ГЛАВА 3. ФОРМАЛИЗАЦИЯ АНАЛИЗА КОММУТАЦИОННОГО СОСТОЯНИЯ ЭЛЕКТРИЧЕСКОЙ СЕТИ. Задача анализа коммутационного состояния. Основные понятия анализа коммутационного состояния. Классы и смысловое содержание состояний сети. Построение дерева анализа на основе функционального подхода. Выводы. ГЛАВА 4. Выводы. Определив константы, функциональные и предикатные символы, можно построить логические формулы, описывающие данную область.


Этот способ используется в тех случаях, когда предметные знания возникают из эмпирических ассоциаций, накопленных за годы работы по решению задач в данной области. Правила выражаются в виде утверждений типа ЕСЛИ, ТО. В экспертных системах, основанных на правилах, предметные знания представляются набором правил, которые проверяются на группе фактов или знаний о текущей ситуации. Когда часть правила ЕСЛИ удовлетворяет фактам, то действие, указанное в части ТО, выполняется. Интерпретатор правил сопоставляет части правила ЕСЛИ с фактами и выполняет то правило, часть ЕСЛИ которою согласуется с фактами. ТО существует также ситуация I. Процесс сопоставления с фактами частей ЕСЛИ правил может порождать то, что называется цепочкой выводов, которая может быть предъявлена пользователю, что помогает понять, как система достигает своих заключений. Создание новых и расширение современных систем искусственного интеллекта требует комплексного подхода к использованию рассмотренных способов представления знаний с объединением их в рамках одной системы. Семантическая сеть, как наиболее простая и понятная для иользователянепрограммиста реализация представления знаний, представлена в работах 5, 7, , , , , , 5, 6, 9, 0. В этих моделях Мсетях автоматах вершине 1рафа СС соответствует значение уровня возбуждения узла сети Х,, который может менять в диапазоне хтп . СС. Работа модели сводится к распространению возбуждений в узлах сети
где номер узла п количество узлов номер такта работы модели к константа, определяющая инерционность изменения возбуждения узлов модели. Принятие решения ответ осуществляется выбором наиболее возбужднных узлов.