Математическая модель объекта контроля

Формальное построение элементарных проверок и формальное построение алгоритмов контроля требует наличие описание поведения объекта контроля в исправном состояние, неисправном работоспособным состоянием, неисправном не работоспособном состояние. Если у нас нет формального описания поведение объекта – контролировать его практически не возможно.

Математическая модель объекта контроля – это формальное описание поведение объекта контроля – в исправном…. Может быть задано с помощью формул, таблиц, графиков, графов. Может быть словесное задание с частичной формализации.

Различают 2 вида моделей:

• Явные – предполагает, что с помощью формул, таблиц, графиков или графов, задано поведение объектов контроля в исправных… если мы работаем с явной математической моделью, то войдя в модель наблюдённое поведение объекта, мы можем установить класс состояний или состояние объекта.

• Не явные – только задаётся поведение объекта в исправном состояние. Не явная модель должна иметь аппарат оценки поведение системы в работоспособных и не исправных состояниях. Должны сопровождаться правилами или алгоритмами, получение описаний для всех желаемых работоспособных и не исправных состояний сообразно с глубиной контроля φ.

Математическая модель контроля должна описывать все с учётом глубины φ.

Объект контроля чаще всего задаётся в виде абстрактной математической модели – это модель представляет из себя картеж (специальной построение элементов в которых смысл и значение определяется зависит от занимаемо места), причём 4 местный.

Y(t)=<,X(t), Z(t)> - картеж

Z – внутренние состояние объекта контроля

X_t ={Xi(t)}, i=1,e

Y= {Yi(t)}, j=1,m

Z = {Z_R(t)}, R=1,n

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