ГОСТ Р ИСО 10303-59—2012
W R2:validate_measured_data_type(SELF,
•MEASURE_SCHEMA.LENGTH_MEASURE‘);
W R3:validateJnspected_elements_type(SELF.
[TOPOLOGY_SCHEMAVERTEX_POINT,
TOPOLOGY_SCHEMA.VERTEX_POINT]):
W R4:validateJocations_of_
0
xtreme_value_type(SELF.
D);
W R5: validate_accuracy_types(SELF,
D):
END_ENTITY;
r
Определение атрибута
SELF\shapo_data_quality_critorion.assessment_specification объект shape_data_quality_
assossment_by_numerical_test. который задает сравнение значения измеренного расстояния с заданным
предельным значением.
Формальные положения
WR1:Атрибут threshold объекта, играющего роль атрибута assessmont_specification настоящего
объекта, должен в качестве значения иметь объект типа shape_data_quality_lower_value_limit, атрибут
value_component которогодолжен быть экземпляром данных типа longth_measure (мера длины).
WR2: Атрибут representative_measured_value объекта shape_data_quality_inspection_criterion_
report и атрибут measured_value объекта shape_data_quality_inspection_instance_report_item во всех
экземплярах, связанных с настоящим объектом, должны иметь значение типа length_moasure (мера
длины).
WR3: Оба объекта, играющие роль атрибута inspected_elemonts во всех экземплярах объекта
shapo_data_quality_inspection_instance_reportJtem, связанных с настоящим объектом, должны быть
объектами типа vertex_point.
WR4: Связанный с настоящим объектом объект shape_data_qualityJnspection_instance_reportJtom
недолжен быть объектом типа instance_report_item_with_extrome_instances.
WR5: Настоящий объект недолжен быть связан посредством объектов shape_data_quality_criterion_
and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_
quality_inspection_result, соответствующий настоящему объекту, также не должен быть связан посред
ством объекта shape_inspection_result_accuracy_association с какими-либо элементами данных, задаю
щими точность.
7.4.114 Объект multiply_defined_edges
Объект multiply_dermod_edgos представляет утверждение, чтодве реберные кривые, представлен
ные объектами edge_curve. полностью перекрываются. Согласно требованию кизмерению, соответствую
щему настоящему объекту, необходимо вычислить расстояние Хаусдорфа между двумя реберными кри
выми для того, чтобы определить, не превышает ли результат заданное предельное значение.
EXPRESS-специФикация:
•)
ENTITY multiply_defined_edges
SUBTYPE OF(topology_related_to_multipty_defined_geometry);
SELF\shape_data_quality_criter»on.assossment_specification:
shape_data_quality_assessment_by_numerical_test;
WHERE
WR1: CSHAPE.DATA.QUALITY^RITERIA.SCHEMA.1+
’SHAPE_DATA_QUALITY_UPPER_VALUE_LIMIT
INTYPEOF(SELRshape_data_quality_criterion.
assessment_specification.threshold))
AND (’MEASURE_SCHEMA.LENGTH_MEASURE’
IN value_limit_type(SELF\shape_data_quality_criterion.
assessment_specification.threshold)):
W R2:validate_measured_data_type(SELF,
’MEASURE_SCHEMA.LENGTH_MEASURE‘);
127