Правила встраивания схемы защиты в модель Smart Grid на языке Prolog
КИБЕРФИЗИЧЕСКИЕ СИСТЕМЫ СХЕМА ЗАЩИТЫ PROLOG SMART GRID
Набор правил предназначен для автоматизированной верификации и модификации Smart Grid представленной в виде набора фактов на языке Prolog. Встраивание системы защиты происходит перед каждым автоматическим выключателем.
Автоматизация процесса встраивания новых элементов схемы защиты позволит значительно ускорить скорость ввода в эксплуатацию обновленной версии Smart Grid.
Артём
Войнов
Сергеевич
Аспирант
Отсутствует
Отсутствует
AAZ-4958-2020
AAZ-4958-2020
949223
https://orcid.org/0000-0003-0714-056X
РОССИЯ
Александр
Гуляков
Дмитриевич
ректор
РОССИЯ
28.23.29
Программная реализация интеллектуальных систем
44.01.85
Автоматизация и автоматизированные системы
02.02.AC
AUTOMATION & CONTROL SYSTEMS
Артем
Войнов
Сергеевич
Разработка главного правила для генерирования схемы защиты на основании вспомогательных. Тестирование полученного набора правил
РОССИЯ
Илья
Сенокосов
Владимирович
Разработка правил генерации терминалов связи, элементов схем защиты и соединений. Консультирование по общему построению алгоритма встраивания элементов в модель
РОССИЯ
ФГБОУ ВО "ПГУ", ПЕНЗЕНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ, ФГБОУ ВО "ПЕНЗЕНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ"
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "ПЕНЗЕНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ"
1025801440620
АЛЕКСАНДР
ГУЛЯКОВ
ДМИТРИЕВИЧ
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения