Зображення обкладинки

Application of predicate logic for failure detection in SCADA systems

We consider the task of failure detection and localization. It is based on the analysis of the information flow state change in the system. We suggest a structural and logical model to describe SCADA of any topology. It is possible to form diagnostic features of independent failure detection. They a...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Штучний інтелект
Дата:	2017
Автори:	Alekseyev, M., Udovyk, I., Syrotkina, O.
Формат:	Стаття
Мова:	Англійська
Опубліковано:	Інститут проблем штучного інтелекту МОН України та НАН України 2017
Теми:	Прикладні інтелектуальні технології та системи
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/162349
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Application of predicate logic for failure detection in SCADA systems / M. Alekseyev, I. Udovyk, O. Syrotkina // Штучний інтелект. — 2017. — № 3-4. — С. 150-157. — Бібліогр.: 5 назв. — англ.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Application of predicate logic for failure detection in SCADA systems
за авторством: M. Alekseyev, та інші
Опубліковано: (2017)

Machine Learning approach for malware detection using executable files features extraction
за авторством: Voranau, A.A., та інші
Опубліковано: (2018)

Application of neural networks in the classification of medical images textures
за авторством: Dzierżak, R., та інші
Опубліковано: (2018)

Artificial intelligence methods in diagnostics of coal-biomass blends co-combustion in pulverised coal burners
за авторством: Smolarz, A., та інші
Опубліковано: (2017)

Intelligent Web Facility To Enhance Yield,Resilience And Sustainability Ukrainian And USA Farms
за авторством: Kuc, R., та інші
Опубліковано: (2016)

Моніторинг пацієнтів з використанням методів нечіткої логіки і машинного навчання
за авторством: Хорозов, О.А.
Опубліковано: (2017)

Застосування технології штучного інтелекту в управлінні виконавчими рухами механізмів з паралельною структурою
за авторством: Ковалевський, С.В., та інші
Опубліковано: (2017)

Роботизированный метрополитен щелевого типа "Кротовые норы"
за авторством: Шуть, В.Н.
Опубліковано: (2017)

Застосування методів компютерного зору для виявлення займання у приміщення
за авторством: Терещенко, В.М., та інші
Опубліковано: (2017)

Інфологічне моделювання інформаційної системи контролю витрат ресурсів
за авторством: Золотухіна, О.А.
Опубліковано: (2017)

Моделювання підсистеми інтелектуального інструктора для комп’ютерного тренажера по навчанню сольфеджіо
за авторством: Селіванова, А.В., та інші
Опубліковано: (2017)

Оптимізація наборів даних при оцінюванні вартості об’єктів ринку нерухомості
за авторством: Щерба, А.О.
Опубліковано: (2017)

Алгоритм формування відповіді чат-бота
за авторством: Пукач, П.Я., та інші
Опубліковано: (2017)

Determination of biomass co-combustion process state based on flame image series analysis
за авторством: Kotyra, A., та інші
Опубліковано: (2017)

Применение технологии blockchain для повышения защищенности процесса проведения медицинского страхования
за авторством: Чернега, К.С., та інші
Опубліковано: (2017)

Концепція реконфігурованого виробництва на базі мобільних інтелектуальних технологічних машин
за авторством: Ковалевський, С.В., та інші
Опубліковано: (2017)

О применении подводных роботов для экспедиционных задач мониторинга ледников континентального шельфа Восточной Антарктиды
за авторством: Писаренко, В.Г., та інші
Опубліковано: (2017)

Моделювання динамічних процесів в задачах штучного інтелекту
за авторством: Гаркуша, Н.І.
Опубліковано: (2017)

Математична модель і метод рішення узагальненої задачі Діріхле теплообміну тіла, яке обертається
за авторством: Бердник, М.Г.
Опубліковано: (2017)

Система керування комплексом електрофільтрації та деструкції газових викидів з елементами штучного інтелекту
за авторством: Богуславський, Л.З., та інші
Опубліковано: (2017)

Синтез виконавчих ланок мобільних інтелектуальних машин
за авторством: Ковалевська, О.С.
Опубліковано: (2018)

Представление моментной схемы конечных элементов для расчёта напряжённо-деформированного состояния конструкций из эластомерных материалов в инструментальных системах
за авторством: Гоменюк, С.И., та інші
Опубліковано: (2015)

Оценка влияния факторов на принятие решения ЛПР во многоуровневых эргатических системах с помощью нечеткого классификатора
за авторством: Передерий, В.И., та інші
Опубліковано: (2016)

Математичне моделювання просторової узагальненої крайової задачі Неймана теплообміну циліндра, який обертається
за авторством: Бердник, М.Г.
Опубліковано: (2015)

Usage of artificial neural networks in the energy sector
за авторством: Lazarenko, D.V.
Опубліковано: (2016)

Підтримка прийняття рішень для диспетчера служб швидкого реагування за допомогою формалізованої моделі задачі класифікації надзвичайних ситуацій
за авторством: Тітова, В.Ю.
Опубліковано: (2015)

Сверточные нейронные сети в задачах мониторинга состояния сельскохозяйственной растительности по данным аэрофотосъемки
за авторством: Ганченко, В.В., та інші
Опубліковано: (2018)

Онтологія та контекст при розв’язанні прикладних задач прийняття рішень
за авторством: Чаплінський, Ю.П., та інші
Опубліковано: (2016)

Інформаційна технологія діагностики онкологічних захворювань молочної залози на засадах нечіткої логіки
за авторством: Тітова, А.Ю.
Опубліковано: (2016)

Кіберфізичні технології моніторингу стану кардіологічних пацієнтів в системі телемедицини
за авторством: Стрихалюк, Б.М., та інші
Опубліковано: (2016)

Нейромережне керування мобільними верстатами з паралельною структурою
за авторством: Ковалевський, С.В., та інші
Опубліковано: (2016)

Comparative analysis of non-relational and relational databases
за авторством: Bui, D.B., та інші
Опубліковано: (2016)

Нечітке логічне виведення на основі теорії питальників
за авторством: Шушура, О.М.
Опубліковано: (2018)

Альтернативный метро транспорт на базе мобильных роботов
за авторством: Шуть, В.Н., та інші
Опубліковано: (2016)

Система виявлення інформації у текстових повідомленнях користувачів
за авторством: Марголін, О.Г.
Опубліковано: (2016)

Інтелектуальні засоби поквартального оцінювання економічної ефективності й цільової структури експорту у 2017–2018 рр. на прикладі Київщини
за авторством: Кнопов, П.С., та інші
Опубліковано: (2018)

Особенности разработки искусственной нейронной сети гибридной экспертной системы
за авторством: Коновалов, С.Н., та інші
Опубліковано: (2018)

ГИС-модель территориальной системы на основе размытых топологических пространств
за авторством: Шерстюк, В.Г., та інші
Опубліковано: (2016)

Метод машинного навчання для ідентифікації парафрази
за авторством: Марченко, О.О., та інші
Опубліковано: (2016)

Модель імуносенсора з використанням різницевих рівнянь на гексагональній решітці
за авторством: Сверстюк, А.С.
Опубліковано: (2018)