Зарегистрирована программа ЭВМ "Правила встраивания схемы защиты в модель Smart Grid на языке Prolog"
20.05.2021 02:13
Получено свидетельство № 2021617561 о государственной регистрации программы. Набор правил предназначен для автоматизированной верификации и модификации Smart Grid представленной в виде набора фактов на языке Prolog. Встраивание системы защиты происходит перед каждым автоматическим выключателем. Программа выполнена в рамках Стипендии Президента РФ в 2021-2023 гг. для молодых ученых и аспирантов, осуществляющих перспективные научные исследования и разработки по приоритетным направлениям модернизации российской экономики, № СП-2511.2021.5
Авторы : Войнов Артём Сергеевич, Сенокосов Илья Владимирович