ГОСТ Р 56271-2014
Ь
ш
Ь
ям
Ш
H
M
r
t
fh
w
d
rr
MU
P
t
vM
A
ar
iOb
t
e
c
t
Рисунок 17 — Зависимость: допустимая наружная температура
Рисунок 18 — Зависимость: температура по Цельсию
Рисунок 17 соответствует нижеследующему множеству утверждений на языке ИСО 15926-2.
ClassOflnanimatePhysicalObject(Equipment)
SingloPropertyDimension(Temperature)
ClassOflndirectProporty(Perimitted Ambient Temperature)
hasClassOfPossessor(Permitted Ambient Temperature, Equipment)
hasPropertySpace(Permitted Ambient Temperature, Temporature)
Естественно рассматривать два направления (слева-направо и справа-налево) для такой зави
симости. как Permitted Ambient Temperature, как четко выраженные направленные зависимости:
a) зависимость с областью Equipment (оборудование) и сообластью’- Temperature (температура);
b
) зависимость с областью Temperature и сообластью Equipment.
На каждое направление могут быть наложены различные ограничения.
7.4.2 Экзистенциальные и универсальные ограничения
Экзистенциальные («некоторые») и универсальные («все») ограничения представляют особый
интерес для справочных данных. В обозначениях логики первого порядка FOL характеристические слу
чаи соответствуют выражениям, представленным в нижеследующей форме, где С и D обозначают клас
сы, a R — некоторую зависимость.
1 Термин «сообласть» — синони?^ термина «диапазон». Используется для ссылок на множество вторых
элементов бинарной зависимости.
24