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

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

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

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

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

Метод адаптивного программирования роботизированного технологического комплекса на основе данных, получаемых от систем технического зрения

Программно-технический комплекс промышленного 3D сканирования

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

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