ГОСТ Р ИСО 10303-46-2002
EXPRESS-спеиификаиня
*)
ENTITY approximation_tolerance_parameter;
tolerances: SET |l:2| OF tolerancc_parameter_select;
WHERE
WR1 : (H11NDEX(SELF.tolerances) = I)
XOR
(TYPEOF(SELF.toleranees |l|) <> TYPEOF(SELF.tolerances |2|) ));
END ENTITY;
(*
Определение атрибута
tolerances —набор допусков, используемых при аппроксимации кривых и поверхностей. Кри
вые и поверхности аппроксимируют на основе однородных операций (шагов), заданных в парамет
рическом пространстве. Соответствующие длины измеряют в единицах параметрического простран
ства.
Формальное утверждение
WR! — при наличии в наборе допусков двух элементов последние должны быть разного типа.
6.12 Определения объектов схемы вида представления: сокрытие и видимость
6.12.1 О б ъ е к т o c c l u s i o n_p r e c e d e п с е
Объектом occlusinn_precedence является отношение между двумя объектами, один из которых
может закрывать или заменять другой. Данное отношение устанавливают, когда один из объектов
скрывает или заменяет другой при их перекрытии в представлении.
Данное отношение япляется транзитивным. Если объект А закрывает объект В. а объект В
закрывает объект С, тогда объект Л также закрывает объект С.
Данное отношение применяют только для двух объектов, входящих в одно отображение.
П р и м е ч а н и е —Если два таких объекта перекрываются и нс связаны отношением осс1usion_precedcnce,
трудно
представить,
какой из объектов является «верхним» в данной реализации.
EXPRESS-cneiiHdHiKamiH
4)
ENTITY occlusion precedence;
higher precedence
lower_precedence
occlusion_context
; hiding_or_blanking_select;
: hiding or_blanking_select;
: representation;
WHERE
WR1 : acyclic_occlusion precedence (SELF, |SELF.lower_precedence|);
END_ENT1TY:
<*
Определения атрибутов
higher_precedence —объект, который может заменять или скрывать объект lower_preeedence:
lower precedence —объект, который может быть заменен или скрыт объектом higherpreeedenee:
occlusion_context —объект representation, в котором содержится данное представление.
Формальное утверждение
WR1 — объект occlusion_precedence не должен входить в «дерево* объектов hlding_or_-
blanking_select, «корнем» которого является «лист дерева» самих объектов.
6.12.2 О б ъ е к т i n v i s i b i l i t y
Объектinvisibility определяет, что набор (коллекция) из одного или нескольких объектов stylcd_-
iterns, элементы, заданные уровню посредством объекта presentation_style_assignment, или элемен ты
объекта presentation_reprcsentation не должны входить в представление.
EXPRESS-cneiuKhuKaiiHM
4)
ENTITY invisibility;
invisible items : SET |1:?J OF invisible item;
END ENTITY;
<*
92