7.4.65 Объект zero_surface_normal
Объект zero_surface_normal представляет утверждение, что на поверхности существует одна или более точек, в которых касательные к изопараметрическим кривым в направлении параметров и параллельны в пределах допуска. Поверхности такого рода могут вызвать значительные трудности при геометрических вычислениях, поскольку в такой точке величина вектора нормали бесконечно мала. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо выполнить измерение, включающее вычисление во всех точках поверхности углов между касательными к изопараметрическим кривым в направлении параметров и , и найти случаи, когда в пределах заданного допуска угол близок к 0° или 180°.
Примечание - На рисунке 28 показан случай, когда угол между векторами и близок к 180°, а на рисунке 29 показан случай, когда угол между векторами и близок к 0°. Оба случая должны распознаваться с помощью настоящего критерия.
 | |
| 122 × 115 пикс. Открыть в новом окне | |
Рисунок 28 - Угол между векторами и составляет 180°
 | |
| 180 × 144 пикс. Открыть в новом окне | |
Рисунок 29 - Угол между векторами и составляет 0°
EXPRESS-спецификация:
| *) |
| ENTITY zero_surface_normal |
| SUBTYPE OF(geometry_with_local_irregularity); |
| 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.PLANE_ANGLE_MEASURE' |
| IN value_limit_type(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)); |
| WR2 : validate_measured_data_type(SELF, |
| 'MEASURE_SCHEMA.PLANE_ANGLE_MEASURE'); |
| WR3 : validate_inspected_elements_type(SELF, |
| ['GEOMETRY_SCHEMA.SURFACE']); |
| WR4 : validate_locations_of_extreme_value_type(SELF, |
| ['GEOMETRY_SCHEMA.POINT_ON_SURFACE']); |
| WR5 : validate_accuracy_types(SELF, |
| ['MEASURE_SCHEMA.PLANE_ANGLE_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 которого должен быть элементом данных типа plane_angle_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, во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа plane_angle_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, должны быть объектами типа point_on_surface.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа plane_angle_measure (мера плоского угла).
7.4.66 Объект abrupt_change_of_surface_normal
Объект abrupt_change_of_surface_normal представляет утверждение, что поверхность, представленная объектом surface, содержит участок, на котором при переходе между близкими точками наблюдается скачкообразное изменение нормали. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо выполнить измерение, включающее вычисление скалярного произведения векторов нормалей в близлежащих точках поверхности. Если найдена пара точек, для которых значение скалярного произведения отрицательно, то это является доказательством резкого изменения формы поверхности в этом месте. Если значение вектора нормали или любого из касательных векторов меньше допуска, то вектор нормали должен быть игнорирован.
Примечание - На рисунке 30 показан типичный случай, обнаруживаемый посредством данного критерия.
 | |
| 238 × 211 пикс. Открыть в новом окне | |
Рисунок 30 - Скачкообразное изменение нормали поверхности
EXPRESS-спецификация:
| *) |
| ENTITY abrupt_change_of_surface_normal |
| SUBTYPE OF(geometry_with_local_irregularity); |
| SELF\shape_data_quality_criterion.assessment_specification: |
| shape_data_quality_assessment_by_logical_test; |
| small_vector_tolerance : length_measure; |
| test_point_distance_tolerance : lengthjmeasure; |
| WHERE |
| WR1 : validate_measured_data_type(SELF, |
| 'SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.BOOLEAN_VALUE'); |
| WR2 : validate_inspected_elements_type(SELF, |
| ['GEOMETRY_SCHEMA.SURFACE']); |
| WR3 : validate_locations_of_extreme_value_type(SELF, |
| ['GEOMETRY_SCHEMA.POINT_ON_SURFACE', |
| 'GEOMETRY_SCHEMA.POINT_ON_SURFACE']); |
| WR4 : validate_accuracy_types(SELF, |
| []); |
| END_ENTITY; |
| (* |
Определения атрибутов
SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_logical_test, который представляет обоснование того, что критерий удовлетворен или не удовлетворен посредством знака скалярного произведения векторов нормали в двух близлежащих точках поверхности;
small_vector_tolerance - экземпляр данных типа length_measure. Если значение какой-либо производной в рассматриваемых точках поверхности по параметру или по параметру меньше значения, представленного объектом small_vector_tolerance, то вектор нормали должен быть игнорирован;
nearby_factor - расстояние, используемое для определения, являются ли точки близлежащими. Пара точек рассматривается как предмет проверки, если расстояние между этими точками меньше данной величины.
Формальные положения
WR1: Атрибут 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, во всех экземплярах, соответствующих настоящему объекту, должны иметь значение типа boolean_value (булево значение).
WR2: Все объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта shape_data_quality_inspection_instance_report_item, соответствующих настоящему объекту, должны быть объектами типа surface.
WR3: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть двумя объектами типа point_on_surface.
WR4: Настоящий объект не должен быть связан посредством объектовshape_data_quality_criterion_and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_quality_inspection_result, соответствующий настоящему объекту, также не должен быть связан посредством объектаshape_inspection_result_accuracy_association с какими-либо элементами данных, задающими точность.
7.4.67 Объект extreme_patch_width_variation
Объект extreme_patch_width_variation представляет утверждение, что интервалы узлов b-сплайновой поверхности, представленной объектом b_spline_surface, имеют ширину, которая не уравновешена и значительно изменяется. Такое устройство поверхности неприемлемо и может привести к ошибкам при таких действиях, как изменение поверхности, проецирование на поверхность точки или кривой. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо выполнить вычисление относительной длины границ лоскутов для двух смежных лоскутов при возможных комбинациях параметрических направлений и сравнение при оценке с заданным предельным значением.
Примечание - На рисунке 31 пунктирными линиями показаны кривые, входящие в границы лоскутов, а сплошными линиями - кривые, образующие естественную границу поверхности. и - это одна пара длины граничных кривых лоскутов, отношения которых должны вычисляться при измерении настоящего критерия.
 | |
| 413 × 144 пикс. Открыть в новом окне | |
Рисунок 31 - Чрезмерное различие ширины лоскута
EXPRESS-спецификация:
| *) |
| ENTITY extreme_patch_width_variation |
| SUBTYPE OF(geometry_with_local_irregularity); |
| 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.RATIO_MEASURE' |
| IN value_limit_type(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)); |
| WR2 : validate_measured_data_type(SELF, |
| 'MEASURE_SCHEMA.RATIO_MEASURE'); |
| WR3 : validate_inspected_elements_type(SELF, |
| ['GEOMETRY_SCHEMA.B_SPLINE_SURFACE']); |
| WR4 : validate_locations_of_extreme_value_type(SELF, |
| ['SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| 'B_SPLINE_SURFACE_KNOT_LOCATOR']); |
| 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_lower_value_limit, атрибут value_component которого должен быть экземпляром данных типа ratio_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, во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа ratio_measure (мера отношения).
WR3: Все объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта shape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть объектами типа b_spline_surface.
WR4: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть объектами типа b_spline_surface_knot_locator.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа length_measure (мера длины).
7.4.68 Объект multiply_defined_geometry
Объект multiply_defined_geometry является таким подтипом объекта inapt_geometry, который является супертипом для критериев, используемых для обнаружения многократно определенных геометрических данных.