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

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

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

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

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

Структуры данных информационных моделей систем диспетчеризации технологических процессов в условиях цифровизации

Параметрируемая многомассовая модель грузового автомобиля

Системы технологического моделирования: исторические примеры и отечественные реалии

Метод анализа соответствия для повышения эффективности бизнес-процессов

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