ГОСТ Р ИСО 10303-502—2006
NOT (SIZEOF (QUERY (vloop <* QUERY (wsb <*
ws \wire_shell.wire_shell_extent |
(,AIC_SHELL_BASED_WIREFRAME.VERTEX_LOOP’ IN TYPEOF (wsb))) |
NOT (valid_wireframe_vertex_point (vloop\ vertexjoop.
loop_vertex\ vertex_point.vertex_geometry))
)) = 0)
)) =
0
)
)) =
0
;
WR10: SIZEOF (QUERY(sbwm <* QUERY (it<* SELF.items |
(’AIC_SHELL_BASED_WIREFRAME.SHELL_BASED_WIREFRAME_MODEL’
IN TYPEOF (it))) |
NOT (SIZEOF (QUERY (vs <* QUERY (sb <*
sbwm\ shell_based_wireframe_model.sbwm_boundary |
(’AIC_SHELL BASED_WIREFRAME.VERTEX_SHELL’ IN TYPEOF (sb))) |
NOT CAIC_SHELL_BASED_WIREFRAME.VERTEX_POINr IN
TYPEOF
(vs
\
vG rtex_shell.vertex_shell_extent.loop_vertex))
))=
0
)
)) =
0
;
WR11: SIZEOF (QUERY (sbwm <* QUERY (it<* SELF.items |
(’AIC_SHELL_BASED_WIREFRAME.SHELL_BASED_WIREFRAME_MODEL’
IN TYPEOF (it))) |
NOT (SIZEOF (QUERY (vs <* QUERY (sb <*
sbwm\ shell_based_wireframe_model.sbwm_boundary |
(’AIC_SHELL_BASED_WIREFRAME.VERTEX_SHELL’ INTYPEOF (sb))) |
NOT(valid_wireframe_vertex_point (vs \ vertex_shell.
vertex_shell_extent.loop_vertex\vertex_point.
vertex_geometry))
)) =
0
)
)) =
0
:
WR12: SIZEOF (QUERY(mi <* QUERY (it <* SELF.items |
(’AIC_SHELL_BASED_WIREFRAME.MAPPEDJTEW IN TYPEOF (it))) |
NOT CAIC_SHELL_BASED_WIREFRAME.’+
,SHELL_BASED_WIREFRAME_SHAPE_REPRESENTATION,IN
TYPEOF (mi \ mapped_item.mapping_source.mapped_representation)
))) = 0:
WR13: SELF.context_of_items\geometric_representation_context.
coordinate_space_dimension =3;
END_ENTITY;
Формальныеутверждения
WR1 — элементами items вобъекте shell_based_wireframe_shape_representation должны быть
shell_based_wireframe_model, mappedJtom или axis2_placement_3d.
WR2 — по крайней мере один из элементов items в объекте shell_based_wireframe_-
shape_representation должен бытьлибо shell_based_wireframe_model, либо mapped_item.
WR3 — все ребра (объекты edge), образующие замкнутую цепь (объект odgejoop) в
shell_based_wireframe_model.должны иметьтип edge_curve.
WR4 — каждый объект polyline, который лежит в основе объекта edge в shell_based_-
wireframe_model,должен бытьопределен более чемдвумя различными точками (объектами point).
WR5 — объект edge_geometry, который лежит в основе объекта edge для edge_based_-
wireframe_model, должен иметь типы line, conic, b_spline_curve. offset_curve_3d. polyline или
curve_replica, акривые, имеющиебазу, заданнуюдругимикривыми, представляются такимжеобразом.
Для объектов offset_curve_3d или curve_replica кривая, указанная как базовая (объект basis_curve),
должна быть одногоиз вышеупомянутыхтипов.
WR6 — каждая вершина (объект vertex), определенная какначальная или конечная вершина для
ребра (объектedge) в shell_based_wireframe_model.должна иметьтип vertex_point.
WR7 — объект vertox_geometry. который лежит в основе вершин, определяющих границы ребер
(объектов edge) в замкнутой цепи (объект edgejoop)для shell_based_wireframe_model.должен быть
6