Математическая модель объекта контроля в терминах элементарных контрольных проверок

Под элементарной контрольной проверкой понимают проверку, в результате которой устанавливается факт того, что система выполняет какую-то функцию или группу функций, либо факт, что система выполняет процесс с параметрами или группу процессов параметров, либо система обладает каким-либо свойством.

Для каждой проверки необходимо придумать своё воздействие.

Если запускается функциональный контроль, то идеальная модель отображает наиболее правильные результаты. В том случае, если в системе производится функциональный или тестовый контроль, то в результате тестовой проверки мы получает R_tj. Только при тестовом контроле, результаты контроля сравниваются в отношении равенства.

R_tj должно соответствовать эталонному значению Y_tj для j = 1..m. суть решения – результаты R не противоречат наиболее вероятным результатам Y.

Используют различные решающие правила. Главное требование к ним – это правило должно давать достоверный результат. В большинстве случаев для получения достоверного результата используют методы многомерного стробирования. Эти методы мы будем рассматривать в дальнейшем, но примером такого метода является метод минимизации средних квадратичных отклонений. В определённых проверках какие-то реакции системы могут не фиксироваться или быть индифферентными по отношению к проверке, то мы ставим yyy.

Принципы организации проверки альтернативных состояний объекта контроля

Состояния попарно альтернативные, если нахождение системы в состоянии e_a полностью исключает нахождение системы в состоянии e_b или наоборот. Вся система диагностики или обнаружения неисправности строится на проверках пар альтернатив. Обычно проверяют альтернативу:

ü исправности и неисправности,

ü неисправен, но работоспособен или неисправен и неработоспособен

ü если объект исправен, но неработоспособен, то проверяют выполняются все функции или не все.

ü если объект неисправен, но работоспособен, то проверяют выполняются все параметры или не все.