ГОСТ Р ИСО 10303-514—2007
Формальные утверждения
WR1 — атрибут itemsсупертипаrepresentationдолжен содержать только объекты
manifold_solid_brep, mappedjtem и axis2_placement_3d; объект faceted_brep исключен из множес
тва объектов в items, так какон мог бы иметьтип facoted_brep итип manifold_solid_brep
WR2 — покрайнеймереодним изэлементовв items долженбытьобъектmanifold_solid_brep или
объект mapped_items (см. также WR6).
WR3 — у каждого объекта manifold_solid_brep в items все грани должны быть объектами
advanced_faco. Это гарантирует выполнение следующих условий:
- каждый объект face являетсяобъектом face_surface;
- каждый объект face_surface имеет свою геометрию, заданную объектами elementary_surface,
swept_surfaco или b_spline_surface;
- все объекты edge, используемые для определения границ объекта face, должны ссылаться на
объект edge_curve;
- каждая кривая, используемаядля определения геометрии граней и их границ, должна бытьлибо
conic, либо line, либо polyline, либо b_spline_curve,
- ребра, используемыедля определенияграницобъектаface,должны бытьограничены вершина
ми типа vertex_point;
- никакая замкнутая цепь, используемая для определения объекта face_bound. не должна при
надлежать к ориентированному подтипу.
П р и м е ч а н и е — Вызов функции msb_ahells в WR3 корректен, так как несмотря на то. что обобщенным
типом аргумента Tnsb’ является representationJtem . оператором QUERY для ‘meb- был выбран тип m
anlfold_solldJ>rep
WR4 — для каждого объекта manifold_solid_brop в items атрибут внешней оболочки не должен
принадлежатьк ориентированному подтипу.
WR5 — есливitems имеетсяобъект brep_with_voids. токаждаяоболочка изнабораvoids должна
бытьобъектом oriented_closed_shell со значением ориентации FALSE.
WR6 — если в items имеется объект mappedjtem включен, то объект mapped_representation
атрибута mapping_source долженбыть объектом advancedJ>rep_shape_represontation.
П р и м е ч а н и е — Еслиобъектcarteslan_transformatlon_operator_3dвключенкакобъект
mapped Jtem .mapplng_target с объектом axis2_placement_3d. соответствующим начальной системе координат
как объект mapped_representation.m applng_origln, то результирующий объект m appedjtem является преобра
зованной копией объекта advancedJ>rep_shape_representatlon. Точное определение преобразования, включая
перемещение, вращение, масштабирование и. еспи необходимо, зеркальное отражение, дается оператором пре
образования.
EXPRESS-спецификация
*)
END_SCHEMA; - конец схемы AIC_ADVANCED_BREP
Г
6