Основы САПР измерительных систем. Николаев С.В. - 43 стр.

UptoLike

ВУЗ: 

ТТИ ЮФУ | Таганрог

Составители: 

Рубрика: 

43
Определение 2. Будем называть морфизмом модели M
1
=〈X
1,
S
1,
Y
1
〉 на мо-
дель M
2
=〈X
2,
S
2,
Y
2
〉 соответствие
F
:
M
1
→M
2
, задаваемое тройкой частных
соответствий
F=〈F
X,
F
S,
F
Y
〉, где
F
X:
X
1
→X
2,
F
S:
S
1
a S
2,
F
Y:
Y
1
→Y
2.
►
Замечание 3. В общем случае Определение 1 не требует, чтобы соответ-
ствия F
X
и
F
Y
были отображениями, то есть имели бы не более одного образа
для каждого оригинала, хотя на практике в большинстве случаев F
X
и F
Y
яв-
ляются именно отображениями. В тех случаях, когда это не так, это будет
акцентироваться особо. Формально соответствия F
X
и F
Y
могут задаваться
как бинарные отношения на декартовых произведениях соответствующих
множеств F
X
⊆ X
1
×X
2;
F
Y
⊆ Y
1
×Y
2
.
Рассмотрим наиболее общий случай структуры морфизма моделей, кото-
рую он может иметь с точки зрения информационного содержания, то есть с
точностью до способа кодирования или изоморфизма базовых множеств и
отображений (Рис. 2.4).
И модель-оригинал M
1
и модель-образ M
2
морфизма F
:
M
1
→M
2
включают
в себя существенную
и
несущественную части. Деление на существенную и
несущественную части относительно и определяется целью, ради которой
определяется и реализуется тот или иной морфизм моделей. Существенная
часть в оригинале - это информация, которую желательно передать (перене-
сти, отобразить) в образ. Несущественная часть в оригинале - это те его осо-
бенности, которые могли бы отсутствовать, и являются
как бы "бесплатным
приложением" к существенной части. Некоторая часть как существенной, так
и несущественной части модели-оригинала в модель-образ не попадает и со-
ставляет
потери. Ту часть информации образа (существенную и несущест-
венную), которая переходит в образ, будем называть инвариантом морфиз-
ма. Кроме инварианта в образе имеется информация (как в существенной, так
и в несущественной частях), которой не было в оригинале. Эту часть инфор-
мационного содержания образа будем называть паразитной (или избыточ-
ной) информацией. Паразитная
информация в существенной части образа
является вредным фактором, с точки зрения близости соответствия моделей,
поскольку в модели-образе она неотличима от релевантной
1
части, которая
состоит из той доли существенной части информации модели-оригинала,
которая сохраняется (передается) морфизмом. Наличие паразитной информа-
ции в несущественной части образа негативного значения не имеет.
1
Релевантный - от англ. relevant - уместный, относящийся к делу.

Страницы