Отношения, которые приведены на рис. 2–4, выделены жирным
шрифтом и увеличены. Если эти отношения считать макроотсчета-
ми, то их совокупность можно представить макросрезом
K
(Θ
t
) =
=
K
(
θ
1
t
, θ
2
t
) =
{
маленькое
(
θ
1
t
, θ
2
t
),
совпадающие
(
θ
1
t
, θ
2
t
),
сзади
(
θ
1
t
, θ
2
t
),
сзади
(
θ
1
t
, θ
2
t
)}. В общем случае отношения на макросрезе
K
(
θ
1
t
, θ
2
t
)
между макроотсчетами могут быть различными и описанными на
разных языках. Например, если все макроотсчеты данного макрос-
реза рассматривать как предикаты, которые истинны или ложны, то
отношение между ними может быть выражено формулами логики пре-
дикатов первого порядка. Так, если в момент времени
t
все предика-
ты
маленькое
(
θ
1
t
, θ
2
t
),
совпадающие
(
θ
1
t
, θ
2
t
),
сзади
(
θ
1
t
, θ
2
t
),
сзади
(
θ
1
t
, θ
2
t
,
)
истинны, то это означает истинность формулы
Φ(
θ
1
t
, θ
2
t
) =
малень
-
кое
(
θ
1
t
, θ
2
t
)
∧
совпадающие
(
θ
1
t
, θ
2
t
)
∧
сзади
(
θ
1
t
, θ
2
t
)
∧
сзади
(
θ
2
t
, θ
1
t
)
.
Отношения на макротрендах.
На рис. 5–7 показаны соответ-
ственно примеры отношений расстояния, ориентации и направления в
моменты времени
t, t
+Δ
t, t
+2Δ
t
(на интервале
[
t, t
+ 2Δ
t
]
). Объекты,
координаты центров масс, углы между осями на рисунках индексиро-
ваны соответствующими моментами времени. Качественные признаки
не индексированы, но те из них, которые имеют место на соответству-
ющем рисунке, выделены жирным. Используя введенные термины,
можем говорить, что рис. 5 представляет макротренд
Y
расстояние
[Θ
t
,
Θ
t
+2Δ
t
] =
=
h
маленькое
(Θ
t
)
,
среднее
(Θ
t
+Δ
t
)
,
большое
(Θ
t
+2Δ
t
)
i
,
где
Θ
t
=
{
θ
1
t
, θ
2
t
}
,
t
2
[
t, t
+ 2Δ
t
]
.
Рис. 5. Макротренд
Y
расстояние
[Θ
t
,
Θ
t
+2Δ
t
]
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2011. № 3 95
