Повышение достоверности информации в автоматизированных системах управления подстанциями постоянного и переменного тока

• Автор: Горелик, Татьяна Григорьевна
• Шифр специальности: 05.14.02
• Научная степень: Кандидатская
• Год защиты: 2000
• Место защиты: Санкт-Петербург
• Количество страниц: 147 с. : ил.

Введение
Глава 1. Анализ и обоснование базовых алгоритмов повышения достоверности информации в автоматизированных системах управления технологическими процессами
1.1. Постановка задачи
1.2. Описание и сравнение существующих методов оценивания состояния
1.2.1 Метод максимального правдоподобия
1.2.2 Метод наименьших квадратов
1.3. Сравнительный анализ методов выявления неисправных каналов
1.3.1. Методы, использующие априорные сведения о распределении
ошибок
1.3.2. Методы, использующие неквадратичные критерии
1.3.3. Методы, использующие топологические свойства уравнений
установившегося режима
1.4. Алгоритмы и методы построения информационных систем оценки ситуаций и принятия решений
1.4.1. Основные принципы построения экспертных систем
1.4.2. Описание базовых понятий математической логики
1.4.3. Правила типа "если-то" для представления знаний
1.5. Выводы
Глава 2. Разработка и исследование методов повышения достоверности информации для подстанций переменного и передач и вставок постоянного тока на базе алгоритмов оценивания состояния
2.1. Выбор состава вектора независимых переменных и вектора измеренных значений с учетом топологии схемы подстанций переменного и постоянного тока
2.2. Методы повышения быстродействия, устойчивости и сходимости алгоритма оценивания
2.3. Метод наименьших квадратов для вставок
постоянного тока
2.3.1. Описание объекта. Схема замещения и уравнения установившегося режима вставки постоянного тока
2.3.2. Построение математической модели для программы оценивания состояния вставки постоянного тока
2.3.3. Построение матрицы Якоби
2.4 Метод наименьших квадратов для передач постоянного тока
2.4.1 Описание объекта. Схема замещения и уравнения установившегося режима передачи постоянного тока
2.4.2 Построение математической модели для программы оценивания состояния передачи постоянного тока
2.4.3. Построение матрицы Якоби
2.5. Методы повышения быстродействия, устойчивости и сходимости работы алгоритма оценивания ВПТ и ППТ
2.6. Выводы
Глава 3. Разработка оптимальных методов обработки информации в АСУ ТП передач и подстанций постоянного и переменного тока
3.1. Диагностика измерительной системы
3.1.1. Особенности применения методов выявления неисправных каналов для подстанций постоянного и переменного тока
3.1.2. Обобщенная методика выявления неисправных каналов для подстанций постоянного и переменного тока. *
3.2. Дорасчет неизмеряемых параметров
3.2.1. Постановка задачи
3.2.2. Сравнительный анализ и обоснование методов дорасчета неизмеряемых параметров
3.2.2.1. Прямой дорасчет
3.2.2.2. Дорасчет с усреднением
3.2.2.3.Дорасчет по результатам оценивания состояния
3.2.3. Применение "составных" формул для дорасчета неизмеряемых параметров
3.3. Разработка алгоритмов работы в АСУ ТП электрических станций и подстанций информационной системы оценки ситуаций и принятия решений
3.3.1. Алгоритм вычисления логических условий
3.3.2. Архитектура построения информационной системы оценки ситуаций и принятия решений АСУ ТП энергообъекта на базе экспертной системы
3.3.3. Применение системы оценки ситуаций и принятия решений для АСУ ТП подстанций постоянного и переменного тока
3.4. Выводы
Глава 4. Программная реализация методов и алгоритмов повышения достоверности информации на
Выборгской преобразовательной подстанции в рамках АСУ ТП «ВЕНЕЦ»
4.1. Программа оценивания состояния Выборгской преобразовательной подстанции
4.2. Программа диагностики и выявления неисправных каналов для ВПК
4.3. Дорасчет неизмеряемых параметров установившегося режима

Для создания оболочки, при помощи которой можно проиллюстрировать основные идеи и методы в области экспертных систем, можно придерживаться следующего плана:
• Выбрать формальный аппарат для представления знаний.
• Разработать механизм логического вывода, соответствующий этому формализму.
• Добавить средства взаимодействия с пользователем.
• Обеспечить возможность работы в условиях неопределенности.
1.4.2. Описание базовых понятий математической логики.
Теория логического анализа основана на применении средств алгебры логики к задачам принятия решений в сложных проблемных ситуациях, возникающих в системах [40-43].
Базовыми понятиями математической логики являются высказывание, предикат, логические функции (операции), логический базис и логические законы.
Под высказыванием понимается определенное суждение, имеющее одно из двух значений истинности: «истинно» - «ложно», «да» - «нет», «1» - «0». Предикат - выражение имеющее форму высказывания, но включающее в себя переменные некоторых подмножеств. При замене переменных на значения предикат превращается в высказывание. Из одного или нескольких предикатов или высказываний можно образовывать новые предикаты или высказывания с помощью логических правил (операторов, функций).
Кроме логических функций, в логике предикатов есть еще операции квантирования - кванторы. Это специальные операции, которые служат для выражения общности суждений и позволяют говорить о целом классе объектов. Из элементарных функций алгебры логики формируют последовательности действий, которые отображают процессы в системе от входа до выхода. Такие последовательности называются логическими алгоритмами. Существует много