WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа area_measure (мера площади).
7.4.77 Объект overcomplex_geometry
Объект overcomplex_geometry является таким подтипом объекта inapt_geometry, который является супертипом для критериев, используемых для обнаружения чрезмерно сложных геометрических данных.
EXPRESS-спецификация:
| *) |
| ENTITY overcomplex_geometry |
| ABSTRACT SUPERTYPE OF (ONEOF( |
| excessively_high_degree_curve, |
| excessively_high_degree_surface, |
| surface_with_excessive_patches_in_one_direction |
| curve_with_excessive_seg merits, |
| high_degree_linear_curve, |
| high_degree_planar_surface, |
| high_degree_conic, |
| high_degree_axi_symmetric_surface)) |
| SUBTYPE OF(inapt_geometry); |
| END_ENTITY; |
| (* |
7.4.78 Объект excessively_highdegree_curve
Объект excessively_high_degree_curve представляет утверждение, что b-сплайновая кривая, представленная объектом b_spline_curve, имеет слишком высокую степень. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо установить процедуры проверки степени кривой и ее сравнения с заданным предельным значением.
EXPRESS-спецификация:
| *) |
| ENTITY excessively_high_degree_curve |
| SUBTYPE OF(overcomplex_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_LOWER_VALUE_LIMIT' |
| IN TYPEOF(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)) |
| AND ('MEASURE_SCHEMA.COUNT_MEASURE' |
| IN value_limit_type(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)); |
| WR2 : validate_measured_data_type(SELF, |
| 'MEASURE_SCHEMA.COUNT_MEASURE'); |
| WR3 : validate_inspected_elements_type(SELF, |
| ['GEOMETRY_SCHEMA.B_SPLINE_CURVE']); |
| WR4 : validate_locations_of_extreme_value_type(SELF, |
| []); |
| WR5 : validate_accuracy_types(SELF, |
| []); |
| END_ENTITY; |
| (* |
Определение атрибута
SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_numerical_test, который задает сравнение значения полученной степени с заданным предельным значением.
Формальные положения
WR1: Атрибут threshold объекта, играющего роль атрибута assessment_specificationнастоящего объекта, должен в качестве значения иметь объект типаshape_data_quality_lower_value_limit, атрибут value_component которого должен быть экземпляром данных типа count_measure (счетная мера).
WR2: Атрибут representative_measured_value объектаshape_data_quality_inspection_criterion_report и атрибут measured_value объектаshape_data_quality_inspection_instance_report_item во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа count_measure (счетная мера).
WR3: Все объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта shape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть объектами типа b_spline_curve.
WR4: Объект shape_data_quality_inspection_instance_report_item, связанный с настоящим объектом, не должен быть объектом типаinstance_report_item_with_extreme_instances.
WR5: Настоящий объект не должен быть связан посредством объектовshape_data_quality_criterion_and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_quality_inspection_result, соответствующий настоящему объекту, также не должен быть связан посредством объектаshape_inspection_result_accuracy_association с какими-либо элементами данных, задающими точность.
7.4.79 Объект excessively_high_degree_surface
Объект excessively_high_degree_surface представляет утверждение, что b-сплайновая поверхность, представленная объектом b_spline_surface, имеет слишком высокую степень. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо установить процедуры проверки степени поверхности и ее сравнения с заданным предельным значением.
EXPRESS-спецификация:
| *) |
| ENTITY excessively_high_degree_surface |
| SUBTYPE OF(overcomplex_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_LOWER_VALUE_LIMIT' |
| IN TYPEOF(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)) |
| AND ('MEASURE_SCHEMA.COUNT_MEASURE' |
| IN value_limit_type(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)); |
| WR2 : validate_measured_data_type(SELF, |
| 'MEASURE_SCHEMA.COUNT_MEASURE'); |
| WR3 : validate_inspected_elements_type(SELF, |
| ['GEOMETRY_SCHEMA.B_SPLINE_SURFACE']); |
| WR4 : validate_locations_of_extreme_value_type(SELF, |
| []); |
| WR5 : validate_accuracy_types(SELF, |
| []); |
| END_ENTITY; |
| (* |
Определение атрибута
SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_numerical_test, который задает сравнение значения полученной степени с заданным предельным значением.
Формальные положения
WR1: Атрибут threshold объекта, играющего роль атрибута assessment_specificationнастоящего объекта, должен в качестве значения иметь объект типаshape_data_quality_lower_value_limit, атрибут value_component которого должен быть экземпляром данных типа count_measure (счетная мера).
WR2: Атрибут representative_measured_value объектаshape_data_quality_inspection_criterion_report и атрибут measured_value объектаshape_data_quality_inspection_instance_report_item во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа count_measure (счетная мера).
WR2: Все объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта shape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть объектами типа b_spline_surface.
WR3: Объект shape_data_quality_inspection_instance_report_item, связанный с настоящим объектом, не должен быть объектом типаinstance_report_item_with_extreme_instances.
WR4: Настоящий объект не должен быть связан посредством объектовshape_data_quality_criterion_and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_quality_inspection_result, соответствующий настоящему объекту, также не должен быть связан посредством объектаshape_inspection_result_accuracy_association с какими-либо элементами данных, задающими точность.
7.4.80 Объект curve_with_excessive_segmerits
Объект curve_with_excessive_segments представляет утверждение, что b-сплайновая кривая, представленная объектом b_spline_curve, или составная кривая, представленная объектом composite_curve, имеет слишком много сегментов. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо вычислить число сегментов. Для b-сплайновой кривой, представленной объектом b_spline_curve, число сегментов вычисляется исходя из числа управляющих точек и степени кривой по следующей формуле:
(число сегментов) = SIZEOF (control_points_list) - (degree).
Для составной кривой, представленной объектом composite_curve, число сегментов равно значению атрибута n_segments.
EXPRESS-спецификация:
| *) |
| ENTITY curve_with_excessive_segments |
| SUBTYPE OF(overcomplex_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_LOWER_VALUE_LIMIT' |
| IN TYPEOF(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)) |
| AND ('MEASURE_SCHEMA.COUNT_MEASURE' |
| IN value_limit_type(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)); |
| WR2 : validate_measured_data_type(SELF, |
| 'MEASURE_SCHEMA.COUNT_MEASURE'); |
| WR3 : validate_inspected_elements_type(SELF, |
| ['SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| 'B_SPLINE_OR_COMPOSITE_CURVE_SELECT']); |
| WR4 : validate_locations_of_extreme_value_type(SELF, |
| []); |
| WR5 : validate_accuracy_types(SELF, |
| []); |
| END_ENTITY; |
| (* |
Определение атрибута
SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_numerical_test, задающий проверку соответствия числа сегментов заданному предельному значению.
Формальные положения
WR1: Атрибут threshold объекта, играющего роль атрибута assessment_specificationнастоящего объекта, должен в качестве значения иметь объект типаshape_data_quality_lower_value_limit, атрибут value_component которого должен быть экземпляром данных типа count_measure (счетная мера).
WR2: Атрибут representative_measured_value объектаshape_data_quality_inspection_criterion_report и атрибут measured_value объектаshape_data_quality_inspection_instance_report_item во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа count_measure (счетная мера).
WR3: Все объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта shape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть экземплярами данных типа b_spline_or_composite_curve_select.
WR4: Объект shape_data_quality_inspection_instance_report_item, связанный с настоящим объектом, не должен быть объектом типаinstance_report_item_with_extreme_instances.
WR4: Настоящий объект не должен быть связан посредством объектовshape_data_quality_criterion_and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_quality_inspection_result, соответствующий настоящему объекту, также не должен быть связан посредством объектаshape_inspection_result_accuracy_association с какими-либо элементами данных, задающими точность.
7.4.81 Объект surface_with_excessive_patches_in_one_direction
Объект surface_with_excessive_patches_in_one_direction представляет утверждение, что b-сплайновая поверхность, представленная объектом b_spline_surface, или прямоугольная составная поверхность, представленная объектом rectangular_composite_surface, имеет слишком много лоскутов или для параметра , или для параметра . Согласно требованию к измерению, соответствующему настоящему объекту, необходимо вычислить наибольшее число лоскутов. Для b-сплайновой поверхности, представленной объектом b_spline_surface, наибольшее число лоскутов вычисляется по следующей формуле:
(наибольшее количество для или ) = max[(u_upper - u_degree), (v_upper - v_degree)].
Для прямоугольной составной поверхности, представленной объектомrectangular_composite_surface, наибольшее число лоскутов - это большее из значений атрибутов n_u и n_v.
EXPRESS-спецификация:
| *) |
| ENTITY surface_with_excessive_patches_in_one_direction |
| SUBTYPE OF(overcomplex_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_LOWER_VALUE_LIMIT' |
| IN TYPEOF(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)) |
| AND ('MEASURE_SCHEMA.COUNT_MEASURE' |
| IN value_limit_type(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)); |
| WR2 : validate_measured_data_type(SELF, |
| 'MEASURE_SCHEMA.COUNT_MEASURE'); |
| WR3 : validate_inspected_elements_type(SELF, |
| ['SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| B_SPLINE_OR_RECTANGULAR_COMPOSITE_SURFACE_SELECT]); |
| WR4 : validate_locations_of_extreme_value_type(SELF, |
| []); |
| WR5 : validate_accuracy_types(SELF, |
| []); |
| END_ENTITY; |
| (* |