ГОСТ Р ИСО 10303-59—2012
Формальные положения
WR1:Атрибут represontative_measured_value объекта shape_data_quality_inspection_criterion_
report и атрибут measurod_valuo объекта shape_data_quality_inspection_instance_report_item во всех
экземплярах, связанных с настоящим объектом, должны иметь значение типа boolean_value (булево
значение).
WR2: Объекты, играющие роль атрибута inspected_olem ents в экземплярах объекта
shape_data_quality_inspection_instance_report_item. связанных с настоящим объектом, должны быть
объектами типа manifold_solid_brep.
WR3: Объект shape_data_quality_lnspection_instance_report_itom. связанный с настоящим объек
том. недолжен быть объектом типа instance_report_itom_with_extromejnstancos. поскольку указание в
отчете о проверке выходящих за пределы значений не имеет смысла.
WR4: Если для данного измерения задана точность, то значение атрибута value_componentдолжно
быть значением типа length_measure (мера длины).
7.4.122 Объект multiply_dcfmed_solids
Объект multiply_definod_solids представляет утверждение, что два манифолд твердых тела с гра
ничным представлением, представленные объектами manifold_solid_brep. полностью перекрываются.
Согласно требованию к измерению, соответствующему настоящему объекту, необходимо вычислить рас
стояние Хаусдорфа между двумя твердыми телами для того, чтобы определить, не является ли оно мень
ше заданного предельного значения.
EXPRESS-специФикация:
•)
ENTITY multiply_defined_solkls
SUBTYPE OF(inapt_manifold_solid_brep):
SELF\shape_data_quality_critehon.assessment_specification:
shape_data_quality_assessment_by_numerical_test;
WHERE
WR1. fSHAPE_DATA_QUALITY_CRITERIA_SCHEMA.’ +
■SHAPE_DATA_QUALITY_UPPER_VALUE_LIMIT
INTYPEOF{SELF\shape_data_quality_criterion.
assessment_specification.threshold))
AND (’MEASURE_SCHEMA.LENGTH_MEASURE‘
IN value_limit_type(SELF\shapo_data_quality_criterion.
assessment_specification.threshold)):
W R2:validate_measured_data_type(SELF,
’MEASURE_SCHEMA.LENGTH_MEASURE’);
W R3: validate_inspected_elements_type(SELF,
fGEOMETRIC_MODEL_SCHEMA.MANIFOLD_SOLID_BREP’.
,GEOMETRIC_MODEL_SCHEMA.MANIFOLD_SOLID_BREP’]);
WR4; validate_locations_of_extreme_value_type(SELF.
D);
W R5: validate_accuracy_types(SELF,
rMEASURE_SCHEMA.LENGTH_MEASUREl):
END_ENTITY:
r
Определение атрибута
SELRshapo_data_quality_criterion.assessment_speclfication — объект shape_data_quality_
assossment_by_numerical_tost, который задает сравнение измеренного расстояния с заданным предель
ным значением.
Формальные положения
WR1:Атрибут threshold объекта, играющего роль атрибута assessment_specification настоящего
объекта, должен в качестве значения иметь объект типа shape_data_quality_upper_valueJim it, атрибут
value_component которогодолжен быть экземпляром данных типа lcngth_measure (мера длины).
WR2: Атрибут representative_measured_value объекта shape_data_quality_inspection_criterion_
report и атрибут measured_value объекта shape_data_quality_inspection_instance_report_item во всех
экземплярах, связанных с настоящим объектом, должны быть элементом данных типа length_moasure
(мера длины).
134