ГОСТ Р ИСО 10303-518—2009
IN TYPEOF (psize.size.placement)))) =0))=0);
WR5: (•допустимые типы объектовcamera_model создаютдля всехобъектов
presentation_area их объекты presentation_view *)
SIZEOF (QUERY(pv <* QUERY (mil <* QUERY (it1 <* SELF.items |
’AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.MAPPEDJTEM’
INTYPEOF (it1)) |
•AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.PRESENTATION_VIEW
IN TYPEOF
(mi1\mapped_item.mapping_source.mapped_representation))|
(*поиск no всем объектам presentation_view объектов mappedJtem и
подтипа объекта mappedJtem - объектаcameraJmage_3d_with_scale:
последнийдолжен ссылаться на объектcamera_usage. которыйдолжен
иметь в качестве своего объекта mapping_origin объект
camera_model_d3. camera_model_d3_with_hlhsrили
camera_model_with_light_sources. *)
NOT (SIZEOF(QUERY(ci <* pv\mappedJtem.mapping_source.
mapped_representation.items |
(‘AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.’+
’CAMERA_IMAGE_3D_WITH_SCALE’ IN TYPEOF(ci))
AND
(SIZEOF([,AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.,+
CAMERA_MODEL_D3\
•AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.+
’CAMERA_MODEL_D3_WITH_HLHSR’,
’AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.+
’CAMERA_MODEL_WITH_LIGHT_SOURCES’] *TYPEOF
(ci\mappedJtem.mapping_source.mapping_origin))
=
1
))) =
0
))) =
0
;
END_ENTITY; (* mechanical_design_shaded_presentation_area *)
(*
Формальные утверждения
WR1 — элементами item объекта mechanical_design_shaded_presentation_area должны быть
только объекты axis2_placement или mappedjtem. В последнем случае объект mapped_
representation из ropresentation_map. тоестьобъект mapping_source данногообъекта mappedjtem,
должен бытьобъектом presentation_view.
WR2 — элементамиitemобъектаpresentation_viewдолжныбытьтолькообъекты
axis2_placement или mappedjtem. В последнем случае объект mappedjtem может иметь тип
camera_image_3d_with_scale собъектом mapped_representation изrepresentation_map.ToecTb объ
ектом mapping sourco данного объекта mappedjtem. являющимся объектом mechanical_design_
shaded_presentation_representation.Еслиобъектmappedjtem неявляется объектом
cameraJmageJJd_with_scale. то объект mapped_ropresentation из representation_map. тоесть объ
ектmapping_source данногообъектаmappedjtem.долженбытьдругимобъектом presentation_view.
П р и м е ч а н и е — Если при использовании настоящего стандарта 8 схему помимо объекта
camera_lmage_3d_wlth_scale включают другие подтипы объекта m appedjtem . то могут потребоваться дополни
тельные правила, чтобы исключить возможность реализации данных подтипов в presentation_vlew. Настоящий
стандарт не препятствует реализации подтипов объекта m appedjtem . которые не определены в настоящем стан
дарте.
WR3 — размеры прямоугольного объекта mechanical_design_shaded_presentation_area дол
жны быть заданы положительными значениями. То же самое относится и к объекту presentation_set. в
который заключена данная область.
WR4 — зона визуализации объекта mechanical_dosign_shaded_presontation_area должнабыть
определена в двумернойсистеме координат.
WR5 — объект mapping_origin из camera_usage. то есть объект mapping_source из
camera_image_3d_with_scale. в prosentation_view должен быть объектом camera_model_d3.
camera_model_d3_with_hlhsr или camera_modol_with_light_sources.
9