ГОСТ Р ИСО 10303-512—2008
NOT ( ( *AIC_FACETED_BREP.FACE_SURFACE ’ IN TYPEOF (fcs))AND
( ( ’AIC_FACETED_BREP.PLANE’ IN TYPEOF
(fcs\ face_surface.face_geometry )) AND
( ’AIC_FACETED_BREP.CARTESIAN_POINT IN TYPEOF (
fcs\face_surfaco.faco_geometry\
elementary_surface.position.location))))))
= 0 ) ) ) = 0 ) ) ) = 0;
WR4 : SIZEOF (QUERY (fbrep <* QUERY ( it <* items |
•AIC_FACETED_BREP.FACETED_BREP’ IN TYPEOF(it)) |
NOT (SIZEOF (QUERY (csh<* msb_shells (fbrep) |
NOT (SIZEOF (QUERY
NOT (SIZEOF (QUERY
(fcs<*
(bnds <*
csh\connectedJace_set.cfs faces|
fcs.bounds |
’AIC_FACETED_BREP.FACE_OUTER_BOUND’ IN TYPEOF(bnds)))
= 1 ) ) )= 0 ) ) ) = 0 ) ) ) = 0;
WR5 : SIZEOF (QUERY (msb <* QUERY (it <* items |
,AIC_FACETED_BREP.MANIFOLD_SOUD_BREP’ IN TYPEOF (it))|
■AIC_FACETED_BREP.ORIENTED_CLOSED_SHELL’ IN
TYPEOF (msb\manifold_solid_brep.outer)))= 0;
WR6 : SIZEOF (QUERY (brv<* QUERY (it <‘ items |
’AIC_FACETED_BREP.BREP_WITH_VOIDS’ IN TYPEOF(it)) |
NOT (SIZEOF (QUERY (csh <* brv\brep_with_voids.voids|
csh\oriented_closed_shell.orientation))=
0
))) =
0;
WR7 : SIZEOF (QUERY (mi <* QUERY (it <* items |
’AIC_FACETED_BREP.MAPPED_ITEM‘ IN TYPEOF (it))|
NOT ( ’AIC_FACETED_BREP.FACETED_BREP_SHAPE_REPRESENTATION‘ IN
TYPEOF(mi\mappedJtem.mapping_source.mapped_representation))))
=
0
;
END_ENTITY;
r
Формальные утверждения
WR1 — атрибут items супертипа representation должен содержать только объекты facetod_brep,
mappedjtem и axis2_placement_3d.
WR2 — по крайней море один из элементов атрибута items должен быть объектом faceted_brep
или mappedjtem (см. также WR7).
WR3 — у каждого объекта faceted_brep из items грани должны быть объектами face_surface. ас
социированная поверхность для каждой грани должна быть объектом plane икаждый объект plane дол
жен использовать объект carteslan_point для определения своего местоположения.
П р и м е ч а н и е — Вызов функции msb_shells в WR3 и в WR4 корректен, так как. несмотря на то. что обоб
щенным типом аргумента fbrep’ является representationJtem . оператором QUERY для fbrep’ был определен под тип
manl(old_solld_brep.
WR4 — явно заданная внешняя граница должна быть определена для каждого объекта face из
faceted_brep.
WR5 — для каждого объекта manifold_solid_brep из items атрибут outer не должен принадле
жать к ориентированному подтипу.
WR6 — если объект manifold_solid_brep является также объектом brep_with_void. то каждая
оболочка из множества voids должна быть объектом oriented_closed_shell со значением ориентации
FALSE.
WR7 — если в items присутствует объект mappedjtem. то объект mapped_representation атри
бута mapplng_sourco должен быть объектом faceted_brop_shape_representation.
П р и м е ч а н и е — Еслиобъектcarteslan_transformatlon_operator_3dвключенкакобъект
mappedJtem .m applng_target с атрибутом axls2_placement_3d. соответствующим начальной системе координат
как объект mapped_representation.mapptng_orlgin. то результирующий объект m appedjtem является преобра
зованной копией объекта (aceted_brep_shape_representatlon. Точное определение преобразования, включая пе-
5