ГОСТ Р И С 010303-59—2012
д ат
Рисунок 13 — Пустота, пересекающая внешнюю оболочку
EXPRESS-специсЬикация:
•)
ENTITY intersecting_shells_in_solid
SUBTYPE OF(erroneous_manifold_so!id_brep);
SELF\shape_data_quality_criterion.assessment_specification:
shape_data_quality_assessment_byJogicaljest;
interferenceJolerance:length_measure:
WHERE
WR1: validate_measured_data_type(SELF.
’SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.BOOLEAN_VALUE’).
W R2:validateJnspected_elementsJype(SELF,
[GEOMETRIC _MODEL_SCHEMA.BREP_WITH_VOIDS1);
WR3: validate_k>cations_of_extremo_valu
0
_type(SELF.
rGEOMETRY_SCHEMA.SURFACE_CURVEl):
W R4: validate_accuracy_types(SELF,
D):
END_ENTITY;
Г
Определения атрибутов
SELRshape_data_quality_criterion.assossment_specification — объект shape_data_quality_
assossment_by_logical_test. который задает проверку, существуют ли какие-либо пересечения оболочек,
что соответствует результату TRUE’ (истина), или не существуют;
intorforence_tolerance — допуск, используемый при проверке совпадения двух точек.
Формальные положения
WR1:Атрибут representative_measurod_value объекта shapo_data_quality_inspcction_criterion_
report, атрибут measured_value объекта shape_data_quality_lnspoctionjnstance_reportjtem и атри
буты measured_value всех объектов extrem ejnstance. на которые ссылается объект instance_report_
item_with_extreme_instances. во всех экземплярах, связанных с настоящим объектом, должны иметь
значение типа boolean_value (булево значение).
WR2: Все объекты, играющие роль атрибута inspectod_
0
lomonts во всех экземплярах объекта
shapo_data_quality_inspection_instance_report_item. связанных с настоящим объектом, должны быть
объектами типа brep_with_voids.
WR3: Во всех объектах instance_report_itom_with_extreme_instances. связанных с настоящим
объектом, во всех объектах типа extremejnstance, на которые ссылается объект instance_reportJtem_
with_extremeJnstanccs. объекты, на которые ссылается атрибут locations_of_extreme_value. должны
быть объектами типа surfaco_curve. которые представляют пересечение между оболочками твердого тела.
WR4; Настоящий объект недолжен бытьсвязан посредством объектов shape_data_quality_criterion_
and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_
qualityJnspectionjresult, соответствующий настоящему объекту, также не должен быть связан посред
ством объекта shapeJnspoction_rosult_accuracy_association с какими-либо элементами данных, задаю
щими точность.
7.4.32 Объект wrongly_placed_void
Объект wrongly_placed_void представляет утверждение, что пустота неправильно расположена
относительно других оболочек твердого тела. Согласно требованию к измерению, соответствующему на
стоящему объекту, необходима проверка расположения пустоты: за внешней оболочкой твердого тела или
внутри другой пустоты.
47