ГОСТ Р ИС0 10303-509—2009
3
OR
(SIZEOF (QUERY (elp_fbnds <* QUERY (bnds <* fa.bounds |
’AIC_MANIFOLD_SURFACE.EDGE_LOOP’ INTYPEOF (bnds.bound)) |
NOT (SIZEOF (QUERY (oe <* elpjbnds’path.edgejist |
NOT ((SIZEOF (rAIC_MANIFOLD_SURFACE.CARTESIAN_POINr.
•AIC_MANIFOLD_SURFACE.DEGENERATE_PCURVE’.
•AIC_MANIFOLD_SURFACE.POINT_ON_CURVE,,
AIC_MANIFOLD_SURFACE.POINT_ON_SURFACET ‘ TYPEOF
(oe.edge_element.edge_start\vertex_point.vertex_geometry)) = 1)
AND
(SIZEOF (fAIC_MANIFOLD_SURFACE.CARTESIAN_POINT\
’AIC_MANIFOLD_SURFACE.DEGENERATE_PCURVE*,
’AIC_MANIFOLD_SURFACE.POINT_ON_CURVE’,
■AIC_MANIFOLD_SURFACE.POINT_ON_SURFACET *TYPEOF
(oe.edge_element.edge_end\vertex_poinLvertexj eometry)) = 1
))» = 0))) = 0)))) = 0))) = 0))) = 0;
WR13: SIZEOF (QUERY (sbsm <* QUERY (it <* SELF.items |
‘AIC_MANIFOLD_SURFACE.SHELL_BASED_SURFACE_MODEL’ IN TYPEOF (it)) |
NOT (SIZEOF (QUERY (cfs <*
sbsm\shell_based_surface_rr»odol.sbsm_boundary |
NOT (SIZEOF (QUERY (fa <* cfs\connected_face_set.cfs_faces |
NOT((’AIC_MANIFOLD_SURFACE.ADVANCED_FACE’ IN TYPEOF (fa))
OR
(SIZEOF (QUERY (vlp_fbnds <* QUERY (bnds <* fa.bounds |
•AIC_MANIFOLD_SURFACE.VERTEX_LOOP’ IN TYPEOF (bnds.bound)) |
NOT CAIC_MANIFOLD_SURFACE.VERTEX_POINT’ IN TYPEOF
(v1pJbnds\vertexJoop.loop_vertex))))= 0)))) =0)))
= 0))) = 0;
WR14: SIZEOF (QUERY (sbsm <* QUERY (it <* SELF.items |
’AIC_MANIFOLD_SURFACE.SHELL_BASED_SURFACE_MODEL’ IN TYPEOF (it)) |
NOT (SIZEOF (QUERY (cfs <*
sbsm\shell_based_surface_model.sbsm_boundary |
NOT (SIZEOF (QUERY (fa <* cfsVconnected_face_set.cfs_facos |
NOT((’AIC_MANIFOLD_SURFACE.ADVANCED_FACE’ IN TYPEOF (fa))
OR
(SIZEOF (QUERY (vlp_fbnds <* QUERY (bnds <* fa.bounds |
’AIC_MANIFOLD_SURFACE.VERTEX_LOOP’ IN TYPEOF (bnds.bound)) |
NOT (SIZEOF (rAIC_MANIFOLD_SURFACE.CARTESIAN_POINT.
•AIC_MANIFOLD_SURFACE.DEGENERATE_PCURVE\
■AIC_MANIFOLD_SURFACE.POINT_ON_CURVE’.
AIC_MANIFOLD_SURFACE.POINT_ON_SURFACET *TYPEOF
(v1p_fbnds\vertex_kx>p.loop_vertex\vertex_point.vertex_geometry))
=
1
))) =
0
)))) =
0
))) =
0
))) =
0
;
END_ENTTTY;
Г
Формальные утверждения
WR1 — элементы item в manifold_surface_shape_reprosentation должны быть объектами shell_ba-
sed_surface_model. m appedjtem или axis2_placement_3d.
П р и м е ч а н и е — Объект axis2_placement_3d является допустимым объектом mappedjtem.map-
ping_target. Чтобы добавить объект presentation в список элементов item обьекта manifold_surface_sha-
pe_representation (см. WR3 относительно допустимых объектов mappedjtem). объект mappedjtem.тар-
ping_source.mapping_origin может быть любым объектом, который геометрически определен в geomet-
ric_representation_context объекта mapped_representation. Если данный объект является объектом axis2_pla-
cement_3d, то оператор, отображающий объект mapped_representation в объект manifold_surface_sha-
pe_representation. соответствует матрице преобразования, в которой разрешены только поступательные пере
мещения и вращения. Если объект cartesian_transformation_operator_3d используется в качестве объекта тар-
ping_origin, то допускаются масштабирование и зеркалирование.
8