ГОСТ РИСО 10303-508— 2009
1
0
0
0
0
NOT ((’AIC_NON_MANIFOLD_SURFACE.ADVANCED_FACE’ IN TYPEOF (fa))
OR
(SIZEOF (QUERY (vlp_fbnds <*QUERY (bnds <* fa.bounds |
’AIC_NON_MANIFOLD_SURFACE.VERTEX_LOOP’ IN TYPEOF (bnds.boond)) |
NOT (SIZEOF (rAIC_NON_MANIFOLD_SURFACE.CARTESIAN_POINT\
AIC_NON_MANIFOLD_SURFACE.DEGENERATE_PCURVE\
’AIC_NON_MANIFOLD_SURFACE.POINT_ON_CURVE’.
•AIC_NON_MANIFOLD_SURFACE.POINT_ON_SURFACET *TYPEOF
(vlpJbnds\vertexJoop.loop_vertex\vertex_point.vertex_geometry))
= ))) = )))) = ))) = ))) = ;
END_ENTITY;
(‘
Формальные утверждения
WR1 — элементы item в non_manifold_surface_shape_representation должны быть объектами
face_based_surface_model, mappedJtem или axis2_placement_3d.
П р и м е ч а н и е—Объектaxis2_placement_3dявляетсядопустимымобъектом
mapped_item.mapping_target. Чтобы добавить другой объект presentation в список элементов item
объекта non_manifold_surface_shape_representation (см. WR3 относительно допустимых объектов
mappedjtem), объект mappedJtem.mapping_source.mapping_origin может быть любым объектом, который
геометрически определен в geometric_representation_context объекта mapped_representation. Если данный
объект является объектом axis2_placement_3d. то оператор, отображающий объект mapped_representation в
объект non_manifold_surface_shape_representation. соответствует матрице преобразования, в которой разре
шены только поступательные перемещения и вращения. Если объект cartesian_transformation_operator_3d
используется в качестве объекта mapping_origin. то допускаются масштабирование и зеркалирование.
WR2 — покрайнеймере,один изэлементовitem объекта non_manifold_surface_shape_representation
должен быть либо объектом face_basod_surface_model, либо объектом mappedjtem.
WR3 — еслиобъектnon_manifold_surface_shape_representationсодержитобъект
mappedjtem. то объект mapped_representation из mapping_source должен быть объектом
non_manifold_surface_shape_representation. Такой объект shape_representation должен содержать,
покрайней мере, один объект face_based_surface_model.
WR4 — объект face должен быть реализован как объект face_surface. его подтип advanced_face
либо какобъект orientedJace.
WR5— всебазовые геометрические объекты, на которые ссылаются объекты surface посредством
объекта faco_surface. должны присутствовать в деревессылок объекта advancedJace либо бытьдопу
стимымиобъектами curve иsurface.
Объект basissurface изoffset_surfaceдолжен быть объектом elementary_surface. b_spline_surface,
offset_surface. swopt_surface или surface_replica.
Объект parent_surface из surface_replica должен быть объектомelementary_surface,
b_spline_surface, offset_surface. swept_surface или surface_replica.
Объект swept_curve из swept_surfaco должен быть объектом line, conic, peurve. surface_curve,
offset_curve_3d. b_spline_curve. polyline или curve_replica.
Атрибут selfJntersectдля объектов b_spline_surface иoffset_surface должен иметь значение FALSE
илиUNKNOWN.
П р и м е ч а н и е — Объект surface проверяется функцией nmsf_surface_check на соответствие данным
ограничениям.
WR6 — все базовые геометрические объекты, на которые имеются ссылки через объект
orientedJace.face_element. должны присутствовать в дереве ссылок объекта advancedJace либо яв
лятьсядопустимымиобъектами curve и surface.
Объект basis surface изoffset_surfaceдолжен быть объектом elementary_surface. b_spline_surface,
offset_surface. swept_surface либо surface_replica.
Объект parent_surfaco из surface_replica должен быть объектом elementary_surface.
b_spline_surface. offset_surface. swept_surface либо surface_replica.
Объект swept_curve из swept_surface должен быть объектом line, conic, peurve. surfaco_curve,
offset_curve_3d. b_spline_curve. polyline либо curve_replica.
9