ГОСТ Р ИСО 10303-59—2012
Формальные положения
WR1:Атрибут reprosentative_moasured_value объекта shape_data_quality_inspection_criterion_
report, атрибут measured_value объекта shapo_data_qualityjnspoction_instance_report_itom и
атрибуты measured_vaiuo всехобъектов oxtremejnstance. на которые ссылается объект instance_roport_
item_with_extrome_instances, во всех экземплярах, связанных с настоящим объектом, должны иметь
значение типа boolean_value (булево значение).
WR2: Все объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта
shape_data_quality_inspoction_instance_report_item, связанных с настоящим объектом, должны быть
объектами типа brep_with_voids.
WR3: Во всех объектах instanco_report_itom_with_extromo_instances, связанных с настоящим
объектом, во всех объектах типа oxtremejnstance. на которые ссылается объект instance_reportJtem_
with_extremeJnstances. объекты, на которые ссылается атрибут locations_of_extrome_value. должны
быть объектами типа orionted_closed_shell. Этоозначает, что ориентированная замкнутая оболочка, пред
ставленная объектом oriented_closed_shell. неправильно размещена.
WR4: Настоящий объект недолжен бытьсвязан посредством объектов shape_data_quality_criterion_
and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_
qualityJnspection_rosult. соответствующий настоящему объекту, также не должен быть связан посред
ством объекта shapeJnspection_rosult_accuracy_association с какими-либо элементами данных, задаю
щими точность.
7.4.33 Объект wrongly_orientod_void
Объект wrongly_orionted_void представляет утверждение, что оболочка, представляющая пустоту,
имеет неверную ориентацию Согласно требованию к измерению, соответствующему настоящему объекту,
необходима проверка, направлена ли нормаль к пустоте вовне, что соответствует результату проверки
’TRUE’ (истина), или не направлена. Для пустоты, имеющей правильную ориентацию, результат оценки
всегда имеет значение ’FALSE’ (ложь).
EXPRESS-спецификация:
•)
ENTITY wrongly_oriented_void
SUBTYPE OF(erroneous_manifold_solid_brep),
SELF\shape_data_quality_criterion.assessment_specification:
shape_data_quality_assessment_byJogicalJest;
WHERE
W R1:validate_measured_dataJype (SELF.
’SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.BOOLEAN_VALUE’):
W R2:validateJnspected_elementsjype(SELF,
fGEOMETRIC_MODEL_SCHEMA.BREP_WITH_VOIDS]),
WR3: validateJocations_of_extreme_valueJype(SELF.
rTOPOLOGY_SCHEMA.ORIENTED_CLOSED_SHELLD;
WR4 : validate_accuracy_types (SELF. 0);
END_ENTITY;
Г
Определение атрибута
SELRshapo_data_quality_criterion.assessment_spocification — объект shape_data_quality_
assessment_by_logical_test, который задает проверку, является ли ориентация пустоты неверной. В слу
чае неверной ориентации пустоты результат проверки критерия будет иметьзначение ’TRUE’ (истина).
Формальные положения
WR1:Атрибут representative_measurod_valuo объекта shape_data_qualityJnspoction_criterion_
report, атрибут measured_value объекта shape_data_qualityjnspoctionjnstanco_reportjtem и атри
буты measured_value всех объектов oxtrem ejnstance. на которые ссылается объект instance_roport_
item_with_extremejnstances, во всех экземплярах, связанных с настоящим объектом, должны иметь
значение типа boolean_value (булево значение).
WR2: Все объекты, играющие роль атрибута inspectod_elemonts во всех экземплярах объекта
shapo_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть
объектами типа brep_with_voids.
49