ГОСТ Р И С 010303-59—2012
расстояния между кривыми меньше заданного предельного значения. Согласно требованию к измерению,
соответствующему настоящему объекту, необходимо вычислить расстояние Хаусдорфа между двумя кри
выми. чтобы при оценке можно было проверить, меньше ли это расстояние, чем заданное предельное
значение.
EXPRESS-специФикация:
*)
ENTITY multiply_defined_curves
SUBTYPE OF(multiply_defined_geometry);
SELF\shape_data_quality_criterion.assessmentspecification:
shape_data_quality_assessment_by_numehcal_test:
WHERE
WR1. fSHAPE_DATA QUALITY_CRITERIA_SCHEMA.’ +
■SHAPE_DATA_QUALITY_UPPER_VALUE_LIMir
INTYPEOF{SELF\shape_data_quality_criterion.
assessment_specification.threshold))
AND (’MEASURE_SCHEMA.LENGTH_MEASURE’
IN valueJimit_type(SELF\shape_data_quality_criterion.
assessment_specificatjon.threshold));
W R2:validate_measured_data_type(SELF,
MEASURE_SCHEMA.LENGTH_MEASURE):
W R3:validate_inspected_elements_type(SELF,
fGEOMETRY_SCHEMA.CURVE7GEOMETRY_SCHEMA.CURVE’]),
WR4: validate_k>cations_of_extreme_value_type(SELF.
0
);
W R5: va!idate_accuracy_types(SELF,
rMEASURE_SCHEMA.LENGTH_MEASUREl);
END_ENTITY;
(*
Определение атрибута
SELRshape_data_quality_criterion.assessment_specification — объект shape_data_quality_
assessment_by_numerical_test. который задает сравнение значения измеренного расстояния с предель
ным значением.
Формальные положения
WR1:Атрибут threshold объекта, играющего роль атрибута assessmont_specification настоящего
объекта, должен в качестве значения иметь объект типа shapo_data_quality_uppor_valueJim it. атрибут
value_componont которогодолжен быть экземпляром данных типа length_measuro (мера длины).
WR2: Атрибут ropresentativo_measured_valuo объекта shape_data_quality_inspoction_criterion_
report и атрибут moasured_value объекта shape_data_quality„inspection_instance_report_item во всех
экземплярах, связанных с настоящим объектом, должны иметь значение типа longth_measure (мера
длины).
WR3: Объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта shape_
data_quality_inspection_instance_report_itom. связанных с настоящим объектом, должны быть двумя
экземплярами объекта типа curve.
WR4: Объект shape_data_quality_inspection_instance_report_itom. связанный с настоящим объек
том. недолжен быть объектом типа instance_report_item_with_extreme_instances.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно
быть значением типа length_measuro (мера длины).
7.4.73 Объект multiply_defined_surfaces
Объект multiply_defined_surfaces представляет утверждение, чтодве поверхности полностью пере
крывают друг друга. Две поверхности полностью перекрывают друг друга, если значение наибольшего
расстояния между поверхностями меньше заданного предельного значения. Согласно требованию к изме
рению. соответствующему настоящемуобъекту, необходимо вычислить расстояние Хаусдорфа междудвумя
поверхностями, чтобы при оценке можно было проверить, меньше ли это расстояние, чем заданное пре
дельное значение.
88