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, связанных с настоящим объектом, должны быть объектами типа vertex_point.
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.40 Объект free_edge
Объект free_edge представляет утверждение, что связный набор граней, представленный объектом connected_face_set, содержит одно или более ребер, на которые существует только одна ссылка из грани.
Примечания
1 Если объект connected_face_set является объектом closed_shell, то нарушение этого критерия означает, что форма ошибочна. Следовательно, такой случай должен обнаруживаться с помощью критерия, представленного объектом open_closed_shell, который является подтипом объекта erroneous_topology.
2 С помощью этого критерия обнаруживаются открытые оболочки, которые по замыслу должны быть замкнутыми твердыми телами. Часто такие оболочки появляются в результате ошибок при трансляции замкнутых твердых тел. С помощью критерия open_closed_shell не могут быть обнаружены оболочки, представленные объектом, не являющимся объектом closed_shell.
3 Если настоящую проверку выполнить для открытой оболочки, представляющей лист, не имеющий толщины, будут обнаружены ребра, представляющие внешнюю границу листа и ребра, представляющих внутренние отверстия. Такие ребра не являются несоответствующими.
Согласно требованию к измерению, соответствующему настоящему объекту, необходимо, чтобы было выполнено измерение всех ребер, представленных объектами edge, относящимися к представленным объектами face граням связного набора граней, представленного объектом connected_face_set, для того чтобы установить, что на ребро, представленное объектом edge, есть только одна ссылка из грани, представленной объектомface.
EXPRESS-спецификация:
| *) |
| ENTITY free_edge |
| SUBTYPE OF(inapt_topology); |
| SELF\shape_data_quality_criterion.assessment_specification: |
| shape_data_quality_assessment_by_logical_test; |
| WHERE |
| WR1 : validate_measured_data_type(SELF, |
| 'SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.BOOLEAN_VALUE'); |
| WR2 : validate_inspected_elements_type(SELF, |
| ['TOPOLOGY_SCHEMA.CONNECTED_FACE_SET']); |
| WR3 : validate_locations_of_extreme_value_type(SELF, |
| ['TOPOLOGY_SCHEMA.EDGE_CURVE']); |
| WR4 : validate_accuracy_types(SELF, |
| []); |
| WR5 : SIZEOF(QUERY(sdqr <* bag_to_set(USEDIN(SELF, |
| 'PRODUCT_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| 'DATA_QUALITY_INSPECTION_RESULT+ |
| 'CRITERION_INSPECTED'))! |
| ('SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| 'SHAPE_DATA_QUALITY_INSPECTION_RESULT' |
| IN TYPEOF(sdqr))AND |
| (SIZEOF(QUERY(sdqiir <* bag_to_set(USEDIN(sdqr, |
| 'PRODUCT_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| 'DATA_QUALITY_INSPECTION_REPORT'+ |
| 'INSPECTION_RESULT'))| |
| ('SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| 'SHAPE_DATA_QUALITY_INSPECTION_INSTANCE_REPORT' |
| IN TYPEOF(sdqiir)) AND |
| (SIZEOF(QUERY(sdqiri <*sdq uninspected_instances| |
| ('TOPOLOGY_SCHEMA.CLOSED_SHELL' |
| IN TYPEOF(sdqiri.inspected_elements[1])))) = 0) |
| )) = 0) |
| )) = 0; |
| END_ENTITY; |
| (* |
Определение атрибута
SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_logical_test, который задает проверку, содержит ли связный набор граней, представленный объектом connected_face_set, одно или более ребер, на которые существует только одна ссылка из граней, что соответствует значению 'TRUE' (истина), или не содержит.
Формальные положения
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, связанных с настоящим объектом, должны быть объектами типа connected_face_set.
WR3: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть объектами типа edge_curve. Это означает, что реберная кривая, представленная объектом edge_curve, связана только с одной гранью, представленной объектом face.
WR4: Настоящий объект не должен быть связан посредством объектовshape_data_quality_criterion_and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_quality_inspection_result, соответствующий настоящему объекту, также не должен быть связан посредством объектаshape_inspection_result_accuracy_association с какими-либо элементами данных, задающими точность.
WR5: Все объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта shape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, не должны быть объектами типа closed_shell.
7.4.41 Объект inapt_geometry
Объект inapt_geometry является таким подтипом объекта inapt_data, который является супертипом для критериев, используемых для обнаружения геометрически несоответствующих данных о форме.
EXPRESS-спецификация:
| *) |
| ENTITY inapt_geometry |
| ABSTRACT SUPERTYPE OF (ONEOF( |
| nearly_degenerate_geometry, |
| discontinuous_geometry, |
| self_intersecting_geometry, |
| geometry_with_local_near_degeneracy, |
| overlapping_geometry, |
| multiply_defined_geometry, |
| geometry_with_local_irregularity, |
| overcomplex_geometry)) |
| SUBTYPE OF(inapt_data); |
| END_ENTITY; |
| (* |
7.4.42 Объект discontinuous_geometry
Объект discontinuous_geometry является таким подтипом объекта inapt_geometry, который является супертипом для критериев, используемых для обнаружения геометрических данных, имеющих разрывы.
EXPRESS-спецификация:
| *) |
| ENTITY discontinuous_geometry |
| ABSTRACT SUPERTYPE OF (ONEOF( |
| g1_discontinuous_curve, g2_discontinuous_curve, |
| g1_discontinuous_surface, g2_discontinuous_surface)) |
| SUBTYPE OF(inapt_geometry); |
| END_ENTITY; |
| (* |
7.4.43 Объект g1_discontinuous_curve
Объект g1_discontinuous_curve представляет утверждение, что b-сплайновая кривая, представленная объектом b_spline_curve, включает некоторые внутренние точки, в которых нарушена непрерывность . Согласно требованию к измерению, соответствующему настоящему объекту, необходимо, чтобы было выполнено измерение, включающее вычисление наибольшего угла между двумя касательными векторами в выбранных внутренних узловых точках b-сплайновой кривой, представленной объектом b_spline_curve, где один из векторов приходит в проверяемую точку, а другой выходит из точки. Полученный угол должен при оценке сравниваться с заданным предельным значением. Достаточно выполнять эту проверку только в тех точках, где кратность узла больше или равна степени b-сплайновой кривой, представленной объектом b_spline_curve.
Примечание - На рисунке 19 показана точка на кривой, в которой пересекаются векторы касательных, изображенные пунктирной и сплошной линиями. Если угол между пунктирной линией и сплошной линией больше, чем заданное предельное значение, то кривая должна быть обнаружена с помощью этого критерия.
 | |
| 318 × 214 пикс. Открыть в новом окне | |
Рисунок 19 - Кривая, имеющая разрыв
EXPRESS-спецификация:
| *) |
| ENTITY g1_discontinuous_curve |
| SUBTYPE OF(discontinuous_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.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.B_SPLINE_CURVE']); |
| 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_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_curve.
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.44 Объект g1_discontinuous_surface
Объект g1_discontinuous_surface представляет утверждение, что b-сплайновая поверхность, представленная объектом b_spline_surface, включает некоторые внутренние точки, в которых нарушена непрерывность . Согласно требованию к измерению, соответствующему настоящему объекту, необходимо, чтобы было выполнено измерение, включающее вычисление наибольшего угла между двумя векторами касательных к изопараметрическим линиям в выбранных внутренних узловых точках, где один из векторов приходит в проверяемую точку, а другой выходит из точки. Полученный угол должен при оценке сравниваться с заданным предельным значением. Эта проверка должна выполняться как в направлении параметра , так и в направлении параметра . Достаточно выполнять эту проверку только в тех точках, в которых кратность узла больше или равна степени b-сплайновой поверхности.
EXPRESS-спецификация:
| *) |
| ENTITY g1_discontinuous_surface |
| SUBTYPE OF(discontinuous_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' |
| 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 : validate_measured_data_type(SELF, |
| 'MEASURE_SCHEMA.PLANE_ANGLE_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.PLANE_ANGLE_MEASURE']); |
| END_ENTITY; |
| (* |
Определение атрибута