ГОСТ Р И С 010303-59—2012
WR3: Объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта
shape_data_quality_inspection_instance_report_item. связанных с настоящим объектом, должны быть
двумя объектами типа manifold_solid_brop.
WR4: Объект shape_data_qualityJnspection_instance_report_item. связанный с настоящим объек
том. недолжен быть объектом типа instance_report_item_with_extromojnstances. поскольку указание в
отчете о проверке выходящих за пределы значений не имеет смысла.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно
быть значением типа longth_measure (мера длины).
7.4.123 Объект partly_overlapping_solids
Объект partly_ovorlapping_solids представляет утверждение, чтодва манифолд твердых тела с гра
ничным представлением, представленные объектами manifold_solid_brop. частично перекрываются. Два
твердых тела частично перекрываются, если каждое из твердых тел содержит связанноедугами множе
ство точек на граничных гранях. При этом каждая точка множества, принадлежащего одному твердому
телу, находится от границы другого твердого тела на расстоянии, не превышающем значения атрибута
interforonce_tolerance. Для каждого из твердых тел должна вычисляться площадь перекрывающегося
участка, и требуется, чтобы большая из площадей была больше или равна нижней границе заданного
предельного значения и площади поверхности меньшего издвух проверяемых твердых тел.
EXPRESS-cneundiHKauHfl:
•)
ENTITY partly_over1apping_solids
SUBTYPE OF(inapt_manifokJ_sohd_brep):
SELF\shape_data_quality_criterion.assessment_specification:
shape_data_quality_assessment_by_numerical_test;
interference_tolerance:length_measure;
WHERE
WR1: (’SHAPE_DATA_QUALITY_CRITERIA_SCHEMA.’ +
•SHAPE_DATA_QUALITY_LOWER_VALUE_LIMIT
INTYPEOF(SELRshape_data_quality_criterion.
assessment_specification.threshold))
AND (’MEASURE_SCHEMA.AREA_MEASURE’
INvalueJimit_type(SELF\shape_data_quality_criterion.
assessment_specification.threshold));
WR2: validate_measured_data_type(SELF.
•WEASURE_SCHEMA.AREA_MEASURE’);
W R3:validatejnspected elements type(SELF,
pGEOMETRIC_MODEL_SCHEMA.MANIFOLD_SOLID_BREP’.
*GEOMETRIC_MODEL_SCHEMA.MANIFOLD_SOLID_BREP’]);
W R4.validate_locations_of_extreme_value_type(SELF.
[rOPOLOGY_SCHEMA.SUBFACE\TOPOLOGY_SCHEMA.SUBFACE’]);
W R5: validate_accuracy_types(SELF,
rMEASURE_SCHEMA.AREA_MEASURE’]);
END_ENTITY;
(*
Определение атрибута
SELRshape_data_quality_criterion.assossment_specification — объект shape_data_quality_
assessmont_by_numerical_test. который задает сравнение значения измеренной площади с заданным
предельным значением.
Формальные положения
WR1:Атрибут threshold объекта, играющего роль атрибута assessment_specification настоящего
объекта, должен в качестве значения иметь объект типа shape_data_quality_lower_value_limit. атрибут
value_component которогодолжен быть экземпляром данных типа aroa_moasure (мера площади).
WR2: Атрибут representativo_measured_value объекта shape_data_quality_inspoction_criterion_
report, атрибут measured_value объекта shape_data_quality_inspection_instance_reportJtem и атри
буты measured_value всех объектов extremeJnstance. на которые ссылается объект instance_report_
itom_with_extremeJnstancos. во всех экземплярах, связанных с настоящим объектом, должны иметь
значение типа area_measure (мера площади).
135