WR2: Атрибут representative_measured_value объектаshape_data_quality_inspection_criterion_report и атрибут measured_value объектаshape_data_quality_inspection_instance_report_item во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа length_measure (мера длины).
WR3: Объекты, играющие роль атрибута inspected_elements во всех экземплярах объектаshape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть двумя экземплярами объекта типа curve.
WR4: Объект shape_data_quality_inspection_instance_report_item, связанный с настоящим объектом, не должен быть объектом типаinstance_report_item_with_extreme_instances.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа length_measure (мера длины).
7.4.73 Объект multiply_defined_surfaces
Объект multiply_defined_surfaces представляет утверждение, что две поверхности полностью перекрывают друг друга. Две поверхности полностью перекрывают друг друга, если значение наибольшего расстояния между поверхностями меньше заданного предельного значения. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо вычислить расстояние Хаусдорфа между двумя поверхностями, чтобы при оценке можно было проверить, меньше ли это расстояние, чем заданное предельное значение.
EXPRESS-спецификация:
| *) |
| ENTITY multiply_defined_surfaces |
| SUBTYPE OF(multiply_defined_geometry); |
| SELF\shape_data_quality_criterion.assessment_specification: |
| shape_data_quality_assessment_by_numerical_test; |
| WHERE |
| WR1 : ('SHAPE_DATA_QUALITY_CRITERIA_SCHEMA.'+ |
| 'SHAPE_DATA_QUALITY_UPPER_VALUE_LIMIT' |
| IN TYPEOF(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)) AND |
| ('MEASURE_SCHEMA.LENGTH_MEASURE' |
| IN value_limit_type(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)); |
| WR2 : validate_measured_data_type(SELF, |
| 'MEASURE_SCHEMA.LENGTH_MEASURE'); |
| WR3 : validate_inspected_elements_type(SELF, |
| ['GEOMETRY_SCHEMA.SURFACE','GEOMETRY_SCHEMA.SURFACE']); |
| WR4 : validate_locations_of_extreme_value_type(SELF, |
| []); |
| WR5 : validate_accuracy_types(SELF, |
| ['MEASURE_SCHEMA.LENGTH_MEASURE']); |
| END_ENTITY; |
| (* |
Определение атрибута
SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_numerical_test, который задает сравнение значения измеренного расстояния с заданным предельным значением.
Формальные положения
WR1: Атрибут threshold объекта, играющего роль атрибута assessment_specificationнастоящего объекта, должен в качестве значения иметь объект типаshape_data_quality_upper_value_limit, атрибут value_component которого должен быть экземпляром данных типа length_measure (мера длины).
WR2: Атрибут representative_measured_value объектаshape_data_quality_inspection_criterion_report и атрибут measured_value объектаshape_data_quality_inspection_instance_report_item во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа length_measure (мера длины).
WR3: Объекты, играющие роль атрибута inspected_elements во всех экземплярах объектаshape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть двумя экземплярами объекта типа surface.
WR4: Объект shape_data_quality_inspection_instance_report_item, связанный с настоящим объектом, не должен быть объектом типаinstance_report_item_with_extreme_instances.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа length_measure (мера длины).
7.4.74 Объект overlapping_geometry
Объект overlapping_geometry является таким подтипом объекта inapt_geometry, который является супертипом для критериев, используемых для обнаружения частично перекрывающихся геометрических объектов.
EXPRESS-спецификация:
| *) |
| ENTITY overlapping_geometry |
| ABSTRACT SUPERTYPE OF (ONEOF( |
| partly_overlapping_curves, partly_overlapping_surfaces)) |
| SUBTYPE OF(inapt_geometry); |
| END_ENTITY; |
| (* |
7.4.75 Объект partly_overlapping_curves
Объект partly_overlapping_curves представляет утверждение, что две кривые частично перекрываются. Две кривые частично перекрываются, если каждая из кривых содержит связанное дугами множество точек. При этом каждая точка множества, принадлежащего одной кривой, находится от другой кривой на расстоянии, не превышающем значение атрибутаinterference_tolerance. Для каждой из кривых должна вычисляться длина дуги перекрывающегося участка, и требуется, чтобы большая из длин была больше или равна нижней границе заданного предельного значения, а также была больше длины дуги, меньшей из двух проверяемых кривых.
Примечание - На рисунке 32 обозначена длина перекрывающегося участка, a обозначено предельное значение длины. Поскольку , то этот случай должен обнаруживаться с помощью настоящего критерия. На рисунке 33 показан случай, когда кривая, более короткая, чем предельное значение, полностью прилегает к другой кривой на расстоянии, не превышающем значение атрибута interference_tolerance. Поскольку длина перекрывающегося участка равна длине дуги более короткой кривой, то этот случай также должен обнаруживаться с помощью настоящего критерия.
 | |
| 322 × 94 пикс. Открыть в новом окне | |
Рисунок 32 - Две кривые, у которых длина перекрывающегося участка больше предельного значения
 | |
| 245 × 65 пикс. Открыть в новом окне | |
Рисунок 33 - Короткая кривая, лежащая на другой кривой
EXPRESS-спецификация:
| *) |
| ENTITY partly_overlapping_curves |
| SUBTYPE OF(overlapping_geometry); |
| SELF\shape_data_quality_criterion.assessment_specification : |
| shape_data_quality_assessment_by_numerical_test; |
| interference_tolerance : length_measure; |
| WHERE |
| WR1 : ('SHAPE_DATA_QUALITY_CRITERIA_SCHEMA.' + |
| 'SHAPE_DATA_QUALITY_LOWER_VALUE_LIMIT' |
| IN TYPEOF(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)) |
| AND ('MEASURE_SCHEMA.LENGTH_MEASURE' |
| IN value_limit_type(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)); |
| WR2 : validate_measured_data_type(SELF, |
| 'MEASURE_SCHEMA.LENGTH_MEASURE'); |
| WR3 : validate_inspected_elements_type(SELF, |
| ['GEOMETRY_SCHEMA.CURVE','GEOMETRY_SCHEMA.CURVE']); |
| WR4 : validate_locations_of_extreme_value_type(SELF, |
| ['GEOMETRY_SCHEMA.TRIMMED_CURVE', |
| 'GEOMETRY_SCHEMA.TRIMMED_CURVE']); |
| WR5 : validate_accuracy_types(SELF, |
| ['MEASURE_SCHEMA.LENGTH_MEASURE']); |
| END_ENTITY; |
| (* |
Определения атрибутов
SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_numerical_test, который задает сравнение значения измеренной длины дуги с заданным предельным значением;
interference_tolerance - допуск, используемый для проверки, являются ли две точки на кривых совпадающими или не являются.
Формальные положения
WR1: Атрибут threshold объекта, играющего роль атрибута assessment_specificationнастоящего объекта, должен в качестве значения иметь объект типаshape_data_quality_lower_value_limit, атрибут value_component которого должен быть экземпляром данных типа length_measure (мера длины).
WR2: Атрибут representative_measured_value объектаshape_data_quality_inspection_criterion_report, атрибут measured_value объектаshape_data_quality_inspection_instance_report_item и атрибуты measured_value всех объектов extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа length_measure (мера длины).
WR3: Объекты, играющие роль атрибута inspected_elements во всех экземплярах объектаshape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть двумя экземплярами объекта типа curve.
WR4: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть двумя объектами типа trimmed_curve. Подразумевается, что это два совпадающих участка кривых.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа length_measure (мера длины).
7.4.76 Объект partly_overlapping_surfaces
Объект partly_overlapping_surfaces представляет утверждение, что две поверхности частично перекрываются. Две поверхности частично перекрываются, если каждая из поверхностей содержит связанное дугами множество точек. При этом каждая точка множества, принадлежащего одной поверхности, находится от другой поверхности на расстоянии, не превышающем значение атрибута interference_tolerance. Для каждой из поверхностей должна вычисляться площадь перекрывающегося участка, и требуется, чтобы большая из площадей была больше или равна нижней границе заданного предельного значения и площади, меньшей из двух проверяемых поверхностей.
EXPRESS-спецификация:
| *) |
| ENTITY partly_overlapping_surfaces |
| SUBTYPE OF(overlapping_geometry); |
| SELF\shape_data_quality_criterion.assessment_specification: |
| shape_data_quality_assessment_by_numerical_test; |
| interference_tolerance: length_measure; |
| WHERE |
| WR1 : ('SHAPE_DATA_QUALITY_CRITERIA_SCHEMA.'+ |
| 'SHAPE_DATA_QUALITY_LOWER_VALUE_LIMIT' |
| IN TYPEOF(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)) |
| AND ('MEASURE_SCHEMA.AREA_MEASURE' |
| IN value_limit_type(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)); |
| WR2 : validate_measured_data_type(SELF, |
| 'MEASURE_SCHEMA.AREA_MEASURE'); |
| WR3 : validate_inspected_elements_type(SELF, |
| ['GEOMETRY_SCHEMA.SURFACE','GEOMETRY_SCHEMA.SURFACE']); |
| WR4 : validate_locations_of_extreme_value_type(SELF, |
| ['GEOMETRY_SCHEMA.CURVE_BOUNDED_SURFACE', |
| 'GEOMETRY_SCHEMA.CURVE_BOUNDED_SURFACE']); |
| WR5 : validate_accuracy_types(SELF, |
| ['MEASURE_SCHEMA.AREA_MEASURE']); |
| END_ENTITY; |
| (* |
Определения атрибутов
SELR\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_numerical_test, который задает сравнение значения измеренной площади с заданным предельным значением;
interference_tolerance - допуск, используемый для проверки, являются ли две точки на поверхностях совпадающими или не являются.
Формальные положения
WR1: Атрибут threshold объекта, играющего роль атрибута assessment_specificationнастоящего объекта, должен в качестве значения иметь объект типаshape_data_quality_lower_value_limit, атрибут value_component которого должен быть экземпляром данных типа area_measure (мера площади).
WR2: Атрибут representative_measured_value объектаshape_data_quality_inspection_criterion_report, атрибут measured_value объектаshape_data_quality_inspection_instance_report_item и атрибуты measured_value всех объектов extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа area_measure (мера площади).
WR3: Объекты, играющие роль атрибута inspected_elements во всех экземплярах объектаshape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть двумя экземплярами объекта типа surface.
WR4: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть двумя объектами типа curve_bounded_surface. Подразумевается, что это два совпадающих участка поверхностей.