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 которого должен быть экземпляром данных типа 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, связанных с настоящим объектом, должны быть объектами типа b_spline_surface.
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: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа plane_angle_measure (мера плоского угла).
7.4.45 Объект g2_discontinuous_curve
Объект g2_discontinuous_curve представляет утверждение, что b-сплайновая кривая, представленная объектом b_spline_curve, включает некоторые внутренние точки, в которых нарушена непрерывность . Согласно требованию к измерению, соответствующему настоящему объекту, необходимо, чтобы была вычислена наибольшая разность между значениями радиуса кривизны и между направлениями центра кривизны в выбранных внутренних точках вдоль кривой. Разность направлений кривизны должна сравниваться с предельным значением плоского угла, заданным атрибутом assessment_specification. Предположим, что и - сравниваемые значения радиусов кривизны. Относительное изменение радиуса кривизны определяется как . Для проверки непрерывности значения радиуса кривизны это значение сравнивается с предельным значением, заданным атрибутом assessment_specification_2. Достаточно выполнять эту проверку только в тех точках, в которых значение кратности узла больше, чем значение степени кривой минус 2.
Примечание - На рисунке 20 показан случай, когда направления кривизны совпадают, а значения радиусов различаются. На рисунке 21 показан случай, когда значения радиусов кривизны равны, но направления различаются. Оба случая должны распознаваться с помощью настоящего критерия.
 | |
| 372 × 152 пикс. Открыть в новом окне | |
Рисунок 20 - Разрыв вследствие различных значений радиусов кривизны
 | |
| 390 × 92 пикс. Открыть в новом окне | |
Рисунок 21 - Разрыв вследствие разных направлений радиусов кривизны
EXPRESS-спецификация:
| *) |
| ENTITY g2_discontinuous_curve |
| SUBTYPE OF(discontinuous_geometry); |
| SELF\shape_data_quality_criterion.assessment_specification : |
| shape_data_quality_assessment_by_numerical_test; |
| assessment_specification_2 : |
| shape_data_quality_assessment_by_numerical_test; |
| flat_curvature_radius_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.PLANE_ANGLE_MEASURE' |
| IN value_limit_type(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)); |
| WR2 : ('SHAPE_DATA_QUALITY_CRITERIA_SCHEMA.'+ |
| 'SHAPE_DATA_QUALITY_LOWER_VALUE_LIMIT' |
| IN TYPEOF(SELF.assessment_specification_2.threshold)) |
| AND ('MEASURE_SCHEMA.RATIO_MEASURE' |
| IN value_limit_type(SELF.assessment_specification_2.threshold)); |
| WR3 : validate_measured_data_type(SELF, |
| 'SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| 'PLANE_ANGLE_AND_RATIO_PAIR'); |
| WR4 : validate_inspected_elements_type(SELF, |
| ['GEOMETRY_SCHEMA.B_SPLINE_CURVE']); |
| WR5 : validate_locations_of_extreme_value_type(SELF, |
| ['SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| 'B_SPLINE_CURVE_KNOT_LOCATOR']); |
| WR6 : validate_accuracy_types(SELF, |
| []); |
| END_ENTITY; |
| (* |
Определения атрибутов
SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_numerical_test, который задает сравнение значения измеренного угла с заданным предельным значением;
assessment_specification_2 - объектshape_data_quality_assessment_by_numerical_test, который задает сравнение относительного изменения кривизны с заданным предельным значением;
flat_curvature_radius_tolerance - величина допуска для проверки плоскостности формы.
Примечание - Если значение радиуса кривизны больше, чем значение атрибутаflat_curvature_radius_tolerance, то значение кривизны не должно использоваться для проверки относительного изменения радиуса кривизны. Если значения двух радиусов кривизны больше этого значения, то следует считать, что два сегмента непрерывны по . Если одно из значений радиуса кривизны больше этого значения, а другое - меньше, то следует считать, что между сегментами существует разрыв по .
Формальные положения
WR1: Атрибут threshold объекта, играющего роль атрибута assessment_specificationнастоящего объекта, должен в качестве значения иметь объект типаshape_data_quality_lower_value_limit, атрибут value_component которого должен быть экземпляром данных типа plane_angle_measure (мера плоского угла).
WR2: Атрибут threshold объекта, играющего роль атрибута assessment_specification_2настоящего объекта, должен в качестве значения иметь объект типаshape_data_quality_lower_value_limit, атрибут value_component которого должен быть экземпляром данных типа ratio_measure (мера отношения).
WR3: Атрибут 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_and_ratio_pair (пара из меры плоского угла и меры отношения).
WR4: Все объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта shape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть объектами типа b_spline_curve.
WR5: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть объектами типа b_spline_curve_knot_locator. Эти объекты используются для указания позиций, в которых нарушена непрерывность значений кривизны главных векторов кривизны.
WR6: Настоящий объект не должен быть связан посредством объектовshape_data_quality_criterion_and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_quality_inspection_result, соответствующий настоящему объекту, также не должен быть связан посредством объектаshape_inspection_result_accuracy_association с какими-либо элементами данных, задающими точность.
7.4.46 Объект g2_discontinuous_surface
Объект g1_discontinuous_surface представляет утверждение, что b-сплайновая поверхность, представленная объектом b_spline_surface, включает некоторые внутренние точки, в которых нарушена непрерывность . Согласно требованию к измерению, соответствующему настоящему объекту, необходимо выполнить измерение, включающее вычисление наибольшей разности между значениями радиусов и кривизны и между направлениями главных векторов кривизны для изапарараметрических кривых в направлении поперек границы в выбранных внутренних узловых точках b-сплайновой поверхности, представленной объектом b_spline_surface. Разность направлений главных векторов кривизны должна сравниваться с предельным значением плоского угла, заданным атрибутомassessment_specification. Предположим, что и - сравниваемые значения главных радиусов кривизны. Относительное изменение радиуса кривизны определяется как . Для проверки непрерывности значения радиуса кривизны это значение сравнивается с предельным значением, заданным атрибутомassessment_specification_2. Достаточно выполнять эту проверку в точках, где значение кратности узлов больше, чем значение степени поверхности минус 2.
EXPRESS-спецификация:
| *) |
| ENTITY g2_discontinuous_surface |
| SUBTYPE OF(discontinuous_geometry); |
| SELF\shape_data_quality_criterion.assessment_specification : |
| shape_data_quality_assessment_by_numerical_test; |
| assessment_specification_2 : |
| shape_data_quality_assessment_by_numerical_test; |
| flat_curvature_radius_tolerance : length_measure; |
| WHERE |
| WR1 : ('SHAPE_DATA_QUALITY_CRITERIA_SCHEMA.' + |
| 'SHAPE_DATA_QUALITY_LOWER_VALUE_LIMIT' |
| INTYPEOF(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 : ('SHAPE_DATA_QUALITY_CRITERIA_SCHEMA.' + |
| 'SHAPE_DATA_QUALITY_LOWER_VALUE_LIMIT' |
| IN TYPEOF(SELF.assessment_specification 2.threshold)) |
| AND ('MEASURE_SCHEMA.RATIO_MEASURE' |
| IN value_limit_type(SELF.assessment_specification_2.threshold)); |
| WR3 : validate_measured_data_type(SELF, |
| 'SHAPE DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| 'PLANE_ANGLE_AND_RATIO_PAIR'); |
| WR4 : validate_inspected_elements_type(SELF, |
| ['GEOMETRY_SCHEMA.B_SPLINE_SURFACE']); |
| WR5: validate_locations_of_extreme_value_type(SELF, |
| ['SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| 'B_SPLINE_SURFACE_KNOT_LOCATOR']); |
| WR6 : validate_accuracy_types(SELF, |
| ['MEASURE_SCHEMA.RATIO_MEASURE']) |
| ; |
| END_ENTITY; |
| (* |
Определения атрибутов
SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_numerical_test, который задает сравнение значения измеренного угла с предельным значением;
assessment_specification_2 - объектshape_data_quality_assessment_by_numerical_test, который задает сравнение значения измеренного относительного изменения кривизны с заданным предельным значением;
flat_curvature_radius_tolerance - значение допуска для проверки плоскостности формы.
Примечание - Если значение радиуса кривизны больше, чем значение атрибутаflat_curvature_radius_tolerance, то значение кривизны не должно использоваться для проверки относительного изменения радиуса кривизны. Если значения двух радиусов кривизны больше этого значения, то следует считать, что два сегмента непрерывны по . Если значение одного из радиусов кривизны больше этого значения, а другое - меньше, то следует считать, что между сегментами существует разрыв по .
Формальные положения
WR1: Атрибут threshold объекта, играющего роль атрибута assessment_specificationнастоящего объекта, должен в качестве значения иметь объект типаshape_data_quality_lower_value_limit, атрибут value_component которого должен быть экземпляром данных типа plane_angle_measure (мера плоского угла).
WR2: Атрибут threshold объекта, играющего роль атрибута assessment_specification_2настоящего объекта, должен в качестве значения иметь объект типаshape_data_quality_lower_value_limit, атрибут value_component которого должен быть экземпляром данных типа ratio_measure (мера отношения).
WR3: Атрибут 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_and_ratio_pair (пара из меры плоского угла и меры отношения).
WR4: Все объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта shape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть объектами типа b_spline_surface.
WR5: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть объектами типа b_spline_curve_knot_locator. Эти объекты используются для указания мест, где существует или разрыв величины кривизны, или разрыв векторов кривизны, т.е. нарушена непрерывность .
WR6: Если для данного измерения задана точность, значение атрибута value_componentдолжно быть значением типа ratio_measure (мера отношения).
7.4.47 Объект self_intersecting_geometry
Объект self_intersecting_geometry является таким подтипом объекта inapt_geometry, который является супертипом для критериев, используемых для обнаружения геометрических данных, имеющих самопересечения.
EXPRESS-спецификация:
| *) |
| ENTITY self_intersecting_geometry |
| ABSTRACT SUPERTYPE OF (ONEOF( |
| self_intersecting_curve, self_intersecting_surface)) |
| SUBTYPE OF(inapt_geometry); |
| END_ENTITY; |
| (* |
7.4.48 Объект self_intersecting_curve
Объект self_intersecting_curve представляет утверждение, что в пределах области определения кривой существует самопересечение. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо выполнить измерение, обнаруживающее точки на кривой, значение расстояния между которыми не превышает значения атрибутаinterference_tolerance, а значение длины дуги кривой между ними больше, чем значение, получаемое в результате умножения значения атрибута interference_tolerance на значение атрибута arc_length_distance_factor. В случае замкнутой кривой пары точек, расстояние между которыми вдоль дуги кривой от начальной до конечной точки не превышает значения атрибута interference_tolerance, исключаются из проверки. Для выполняемой проверки замкнутой кривой считается кривая, у которой расстояние между начальной и конечной точками не превышает значения атрибута interference_tolerance.