Почему ищут ключ к решению проблемы, а не дверь с замочной скважиной, которую можно открыть этим ключом?

 

Связь с редакцией
Рассылка новостей

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

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

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

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

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

© ООО Издательский дом "ИнфоАвтоматизация", 2003-2021 гг.

Rambler`s Top100 Rambler`s Top100
Рейтинг@Mail.ru
РассылкиSubscribe.Ru
Автоматизация в
промышленности