ГОСТ Р ИСО 10303-59—2012
W R3: validate_inspected_elements_type(SELF,
[TOPOLOGY_SCHEMA.EDGE_CURVE\
TOPOLOGY_SCHEMA.EDGE_CURVE*]):
W R4:validateJocations_of_extrGme_va!ue_type(SELF.
0
);
W R5: validate_accuracy_types(SELF,
rMEASURE_SCHEMA.LENGTH_MEASUREl);
END_ENTITY.
г
Определение атрибута
SELF\shapo_data_quality_criterion.assessmont_specification — объект shape_data_quality_
assessment_by_numerical_test. который задает сравнение значения измеренного расстояния с заданным
предельным значением.
Формальные положения
WR1:Атрибут threshold объекта, играющего роль атрибута assessmont_specification настоящего
объекта, должен в качестве значения иметь объект типа shape_data_quality_upper_value_limit. атрибут
value_componont которогодолжен быть экземпляром данных типа length_mcasure (мера длины).
WR2: Атрибут representatlve_measurod_value объекта shapo_data_quality_inspoction_criterion_
report и атрибут measured_value объекта shape_data_quality_inspection_instance_roport_item во всех
экземплярах, связанных с настоящим объектом, должны иметь значение типа length_measure (мера
длины).
WR3: Оба объекта, играющие роль атрибута inspected_elements во всех экземплярах объекта
shape_data_quality_inspection_instance_report_item. связанных с настоящим объектом, должны быть
объектами типа edge_curvo.
WR4: Объект shape_data_qualityjnspection_instance_reportjtom. связанный с настоящим объек
том. недолжен быть объектом типа instanco_report_ltem_with_extreme_instances.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно
быть значением типа length_moasure (мера длины).
7.4.115 Объект multiply_defined_faces
Объект multiply_defined_faces представляет утверждение, чтодве поверхностные грани, представ
ленные объектами faco_surfaco. полностью перекрываются. Согласно требованию к измерению, соответ
ствующему настоящему объекту, необходимо вычислить расстояние Хаусдорфа между двумя поверхнос
тными гранями для того, чтобы определить, не превышает ли результат заданное предельное значение.
EXPRESS-спецификация:
•)
ENTITY multiply_defmed_faces
SUBTYPE OF(topology_related_to_multiply_defined_geometry):
SELF\shape_data_quality_criterion.assessment_specification:
shape_data_quality_assessment_by_numerical_test,
WHERE
WR1 :(’SHAPE_DATA_QUALITY_CRITERIA_SCHEMA.’ +
•SHAPE_DATA_QUALITY_UPPER_VALUE_LIMIT
INTYPEOF(SELF\shape_data_quality_criterion.
assessment_specification.threshold))
AND (’MEASURE_SCHEMA.LENGTH_MEASURE’
INvalue_limit_type(SELF\shape_data_quality_criterion.
assessment_specification.threshold));
WR2; validate_measured_data_type(SELF,
•MEASURE_SCHEMA.LENGTH_MEASURE’);
W R3: validate_inspected_elements_type(SELF,
rrOPOLOGY_SCHEMA.FACE_SURFACE\
TOPOLOGY_SCHEMA.FACE_SURFACE’));
WR4: validate_locations_of_extreme_value_type(SELF.
П):
128