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

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)

Results of application of modular artificial neural networks for intelligent data analysis (data mining) and forecasting processes in the field of ecology and environment protection
за авторством: Trokhymchuk, R.M.
Опубліковано: (2016)

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

Segmentation algorithms of biomedical images: development and quantitative evaluation
за авторством: Berezsky, O., та інші
Опубліковано: (2016)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Інтелектуальна система автоматизованої мікроскопії аналізу гістологічних та цитологічних зображень
за авторством: Березький, О.М., та інші
Опубліковано: (2017)

Експертне оцінювання "розумності міста" із застосуванням нечіткої логіки
за авторством: Табачишин, Д.Р., та інші
Опубліковано: (2017)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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