ГОСТ Р ИСО 10303-59—2012
Рисунок 8 — Внутренний контур, пересекающий внешний контур
Рисунок 9 — Внутренний контур, расстояние до которого от внешнего контура меньше допуска
EXPRESS-специФикация:
*)
ENTITY intersecting_loops_in_face
SUBTYPE OF(erroneous_topology_and_geometry_relationship);
SELF\shape_data_quality_critenon.assessment_specification:
shape_data_quality_assessment_by_logical_test;
interference_tolerance:length_measure;
WHERE
WR1: validate_measured_data_type(SELF.
•SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.BOOLEAN_VALUE’);
W R2:validate_inspected_elements_type(SELF,
fTOPOLOGY_SCHEMA.FACE’]);
W R3:validateJocations_of_extreme_value_type(SELF.
fSHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA>
■POINT_ON_EDGE_CURVE‘,
’SHAPEJ)ATA_QUALITY_INSPECTlON_RESULT_SCHEMA>
,P0IN
t
J0N_EDGEJCURVE,J);
W R4: validate_accuracy_types(SELF,
fMEASURE_SCHEMA.LENGTH_MEASURE •));
END_ENTITY.
Г
Определения атрибутов
SELF\shape_data_quality_criterion.assossmont_specification — объект shapo_data_quality_
assessment_by_logical_test. задающий проверку, существуют ли какие-либо пересечения границ или не
существуют;
intorforence_tolcrance — допуск, используемый при проверке совпадения точек.
Формальные положения
WR1; Атрибут represontative_measured_valueo6beKTashapo_data_quality_inspection_criterion_
report, атрибут measurod_value объекта shapo_data_quality_lnspection_instance_report_itom и атри
буты measured_value всех объектов extreme_instanco. на которые ссылается объект instance_report_
item_with_extreme_instances, во всех экземплярах, связанных с настоящим объектом, должны иметь
значение типа boolean_value (булево значение).
WR2; Все объекты, играющие роль атрибута inspectod_elements во всех экземплярах объекта
shapo_data_quality_inspection_instance_report_item. связанных с настоящим объектом, должны быть
объектами типа face.
44