ГОСТ Р И С 010303-59—2012
Рисунке 22 — Самопересекающаяся кривая
EXPRESS-спецификация:
•)
ENTITY selfjntersecting__curve
SUBTYPE OF(self_intersecting_geometry);
SELF\shape_data_quality_criterion.assessment_specification:
shape_data_quality_assessment_by_logical_tGst;
arc_lengtfi_separation_factor: REAL;
interference_tolerance;length_measure;
WHERE
WR1; validate_measured_data_type(SELF,
’SHAPE_DATA_QUALITYJNSPECTION_RESULT_SCHEMA.BOOLEAN_VALUE’):
W R2;validateJnspected_elements_type(SELF,
fGEOMETRY_SCHEMA.CURVE’]);
WR3: validate_!ocations_of_extreme_value_type(SELF.
pGEOMETRY_SCHEMA.POINT_ON_CURVE’,
•GEOMETRY_SCHEMA.POINT_ON_CURVEl);
W R4; validate_accuracy_types(SELF,
rMEASURE_SCHEMA.LENGTH_MEASUREl);
END_ENTITY;
(*
Определения атрибутов
SELF\shape_data_quality_criterion.assessmont_spocification — объект shape_ data_quality_
assessment_by_logical_test. который задает проверку наличия пересечения, что соответствует значению
TRUE’, или его отсутствия;
arc_length_soparation_factor — фактор, который используется для умножения на значение атрибута
interference_tolerance для того, чтобы определить, является ли длинадуги кривой между точками доста
точной;
interference_tolerance — допуск, используемый при проверке совпадения точек.
Формальные положения
WR1;Атрибут represontative_measured_value объекта shape_data_quality_inspection_criterion_
report, атрибут measured_value объекта shape_data_quality_lnspectionJnstance_report_item и атри
буты measured_value всех объектов extrom ejnstanco. на которые ссылается объект instance_roport_
item_ with_extremo_instances. во всех экземплярах, связанных с настоящим объектом, должны иметь
значение типа boolean_value (булево значение).
WR2; Все объекты, играющие роль атрибута inspected_elemonts во всех экземплярах объекта
shape_data_quality_inspection_instance_report_item. связанных с настоящим объектом, должны быть
объектами типа curve.
64