Разработка формального аппарата для описания циклограммных моделей проведения испытаний и выполнения верификации моделей на корректность

Вергер А.Е., Перванюк А.С.

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

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

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

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

Возможности струйных пневматических систем для управления робототехническими устройствами

Автоматизированное управление процессом доменной плавки по дутьевым параметрам

Автоматизация обработки результатов натурных испытаний пожарной ствольной техники на основе распознавания изображений

Вопросы организации процесса верификации программного обеспечения АСУТП АЭС

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