WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа area_measure (мера площади).
7.4.57 Объект narrow_surface_patch
Объект narrow_surface_patch представляет утверждение, что b-сплайновая поверхность, представленная объектом b_spline_surface, имеет слишком узкий размер для одного узлового интервала. Лоскут поверхности является узким, если для любой точки лоскута существует точка на границе лоскута, расстояние до которой не превышает половины допуска расстояния. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо выполнить измерение, включающее вычисление вышеописанного расстояния для достаточного числа точек лоскута при вычислении, удовлетворяющем заданной точности.
EXPRESS-спецификация:
| *) |
| ENTITY narrow_surface_patch |
| SUBTYPE OF(geometry_with_local_near_degeneracy); |
| SELF\shape_data_quality_criterion.assessment_specification : |
| shape_data_quality_assessment_by_logical_test; |
| width_tolerance : length_measure; |
| WHERE |
| WR1 : validate_measured_data_type(SELF, |
| 'SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.BOOLEAN_VALUE'); |
| WR2 : validate_inspected_elements_type(SELF, |
| ['GEOMETRY_SCHEMA.B_SPLINE_SURFACE']); |
| WR3 : validate_locations_of_extreme_value_type(SELF, |
| ['SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| 'B_SPLINE_SURFACE_PATCH']); |
| WR4 : validate_accuracy_types(SELF, |
| ['MEASURE_SCHEMA.LENGTH_MEASURE']); |
| END_ENTITY; |
| (* |
Определения атрибутов
SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_logical_test, задающий проверку, существует ли некоторый лоскут, имеющий ширину менее заданного допуска, что соответствует значению 'TRUE' (истина), или не существует;
width_tolerance - значение допуска, используемое для оценки, является или не является лоскут узким.
Формальные положения
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, связанных с настоящим объектом, должны быть объектами типа b_spline_surface.
WR3: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть объектами типа b_spline_surface_patch.
WR4: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа length_measure (мера длины).
7.4.58 Объект indistinct_curve_knots
Объект indistinct_curve_knots представляет утверждение, что для b-сплайновой кривой с явно заданным вектором узлов, представленной объектом b_spline_curve_with_knots, есть участок, где значения смежных узлов слишком близки. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо выполнить измерение, включающее вычисление наименьшей разности значений смежных узлов b-сплайновой кривой с явно заданным вектором узлов, представленной объектом b_spline_curve_with_knots. Полученное значение должно при оценке сравниваться с заданным предельным значением.
EXPRESS-спецификация:
| *) |
| ENTITY indistinct_curve_knots |
| SUBTYPE OF(geometry_with_local_near_degeneracy); |
| 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.PARAMETER_VALUE' |
| IN value_limit_type(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)); |
| WR2 : validate_measured_data_type(SELF, |
| 'MEASURE_SCHEMA.PARAMETER_VALUE'); |
| WR3 : validate_inspected_elements_type(SELF, |
| ['GEOMETRY_SCHEMA.B_SPLINE_CURVE_WITH_KNOTS']); |
| WR4 : validate_locations_of_extreme_value_type(SELF, |
| ['SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'/+ |
| 'B_SPLINE_CURVE_KNOT_LOCATOR']); |
| 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_upper_value_limit, атрибут value_component которого должен быть экземпляром данных типа parameter_value (значение параметра).
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, во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа parameter_value (значение параметра).
WR3: Все объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта shape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть объектами типа b_spline_curve_with_knots.
WR4: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть объектами типа b_spline_curve_knot_locator.
WR5: Настоящий объект не должен быть связан посредством объектовshape_data_quality_criterion_and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_quality_inspection_result, соответствующий настоящему объекту, также не должен быть связан посредством объектаshape_inspection_result_accuracy_association с какими-либо элементами данных, задающими точность.
7.4.59 Объект indistinct_surface_knots
Объект indistinct_surface_knots представляет утверждение, что для b-сплайновой поверхности с явно заданным вектором узлов, представленной объектомb_spline_surface_with_knots, есть участок, где значения смежных узлов слишком близки. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо выполнить измерение, включающее вычисление наименьшей разности значений смежных узлов b-сплайновой поверхности для параметров и . Полученное значение должно при оценке сравниваться с заданным предельным значением.
EXPRESS-спецификация:
| *) |
| ENTITY indistinct_surface_knots |
| SUBTYPE OF(geometry_with_local_near_degeneracy); |
| 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.PARAMETER_VALUE' |
| IN value_limit_type(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)); |
| WR2 : validate_measured_data_type(SELF, |
| 'MEASURE_SCHEMA.PARAMETER_VALUE'); |
| WR3 : validate_inspected_elements_type(SELF, |
| ['GEOMETRY_SCHEMA.B_SPLINE_SURFACE_WITH_KNOTS']); |
| WR4 : validate_locations_of_extreme_value_type(SELF, |
| ['SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| 'B_SPLINE_SURFACE_KNOT_LOCATOR']); |
| 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_upper_value_limit, атрибут value_component которого должен быть экземпляром данных типа parameter_value (значение параметра).
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, во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа parameter_value (значение параметра).
WR3: Все объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта shape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть объектами типа b_spline_surface_with_knots.
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: Настоящий объект не должен быть связан посредством объектовshape_data_quality_criterion_and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_quality_inspection_result, соответствующий настоящему объекту, также не должен быть связан посредством объектаshape_inspection_result_accuracy_association с какими-либо элементами данных, задающими точность.
7.4.60 Объект curve_with_small_curvature_radius
Объект curve_with_small_curvature_radius представляет утверждение, что на кривой существует точка, в которой значение радиуса кривизны меньше заданного предельного значения. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо выполнить измерение, включающее вычисление наименьшего значения радиусов кривизны в достаточном числе точек кривой.
Примечание - На рисунке 25 показан типичный случай, который должен обнаруживаться с помощью настоящего критерия.
 | |
| 333 × 78 пикс. Открыть в новом окне | |
Рисунок 25 - Кривая с малым радиусом кривизны
EXPRESS-спецификация:
| *) |
| ENTITY curve_with_small_curvature_radius |
| SUBTYPE OF(geometry_with_local_near_degeneracy); |
| 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.CURVE']); |
| WR4 : validate_locations_of_extreme_value_type(SELF, |
| ['GEOMETRY_SCHEMA.POINT_ON_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, который задает проверку на сравнение измеренного радиуса кривизны с заданным предельным значением.
Формальные положения
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 и атрибуты measured_value всех объектов extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа length_measure (мера длины).
WR3: Все объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта shape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть объектами типа curve.