Разработан формальный аппарат описания циклограмм в интервальной темпоральной логике. Показано его применение для моделирования и верификации циклограммных моделей (ЦМ) на корректность. Описано применение продукционной базы знаний ЦМ и инструментария по формированию алгоритмов выдачи дискретных управляющих воздействий для повышения качества проведения испытаний.

Ключевые слова: база знаний, метод верификации, правила вывода, темпоральная логика, формальный аппарат, циклограммная модель

Статья из Автоматизация в промышленности №9/2011

Последний вышедший номер

Читайте в номере:

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

Современный электронный журнал диспетчера как эффективное средство управления промышленным предприятием

Обеспечение надежности воздушных линий электропередачи при плавке гололеда мобильными установками

Глобальные процессы, меняющие ландшафт киберугроз в 2025 г.

Адрес редакции: 117997, Москва, Профсоюзная ул., д. 65, оф. 360
Телефон: (926) 212-60-97.
E-mail: info@avtprom.ru или avtprom@ipu.ru