SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_logical_test, который задает проверку на наличие или отсутствие не связанных последовательных ребер, включенных в контур ребер, представленный объектом edge_loop. В случае наличия таких ребер результат проверки критерия будет иметь значение '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, связанных с настоящим объектом, должны быть объектами типа edge_loop.
WR3: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть объектами типа oriented_edge. Это означает, что значение атрибута edge_end данного объекта oriented_edge (ориентированное ребро) отличается от значения атрибута объекта oriented_edge, который появляется следующим в проверяемом объекте edge_loop (контур ребер).
WR4: Настоящий объект не должен быть связан посредством объектовshape_data_quality_criterion_and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_quality_inspection_result, соответствующий настоящему объекту, также не должен быть посредством объектаshape_inspection_result_accuracy_association связан с какими-либо элементами данных, задающими точность.
7.4.16 Объект open_closed_shell
Объект open_closed_shell представляет утверждение, что замкнутая оболочка, представленная объектом closed_shell, содержит одно или более ребер, представленных объектом edge, на которые существуют только одна ссылка из граней. Согласно требованиям к измерению, соответствующим данному объекту, необходимо, чтобы была проведена проверка, существует один объект либо один или более объектов типа edge (ребро), на которые грани ссылаются только один раз.
EXPRESS-спецификация:
| *) |
| ENTITY open_closed_shell |
| SUBTYPE OF(erroneous_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.CLOSED_SHELL']); |
| WR3 : validate_locations_of_extreme_value_type(SELF, |
| ['TOPOLOGY_SCHEMA.EDGE_CURVE']); |
| WR4 : validate_accuracy_types(SELF, |
| []); |
| END_ENTITY; |
| (* |
Определение атрибута
SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_logical_test, который задает проверку, существует одно или более ребер, представленных объектом edge, на которые имеется только одна ссылка из граней, что соответствует значению '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, связанных с настоящим объектом, должны быть объектами типа closed_shell.
WR3: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть объектами типа edge_curve.
WR4: Настоящий объект не должен быть связан посредством объектовshape_data_quality_criterion_and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_quality_inspection_result, соответствующий настоящему объекту, также не должен быть связан посредством объектаshape_inspection_result_accuracy_association с какими-либо элементами данных, задающими точность.
7.4.17 Объект inconsistent_adjacent_face_normals
Объект inconsistent_adjacent_face_normals представляет утверждение, что в незамкнутой оболочке, представленной объектом open_shell, или в замкнутой оболочке, представленной объектом closed_shell, две грани, представленные объектами face, которые совместно используют одно ребро, представленное объектом edge, имеют несогласованные нормали. Согласно требованию к измерению, соответствующему данному объекту, необходимо, чтобы была проведена проверка ориентации всех ребер, представленных объектами edge, относящихся к граням незамкнутой оболочки, представленной объектом open_shell, или замкнутой оболочки, представленной объектом closed_shell. Если две смежные грани используют общее ребро с одинаковой ориентацией, то топологические нормали граней имеют противоположные направления и, следовательно, нормали граней не согласованы.
Примечание - На рисунке 5 ребро, представленное объектом edge, совместно используется двумя представленными объектами face гранями, гранью 1 и гранью 2, с совпадающей ориентацией. Следовательно, топологические нормали двух граней имеют противоположные направления.
 | |
| 465 × 257 пикс. Открыть в новом окне | |
Рисунок 5 - Несогласованные топологические нормали смежных граней
EXPRESS-спецификация:
| *) |
| ENTITY inconsistent_adjacent_face_normals |
| SUBTYPE OF(erroneous_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, |
| ['SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| 'CLOSED_OR_OPEN_SHELL_SELECT']); |
| WR3 : validate_locations_of_extreme_value_type(SELF, |
| ['TOPOLOGY_SCHEMA.EDGE_CURVE']); |
| WR4 : validate_accuracy_types(SELF, |
| []); |
| END ENTITY; |
| (* |
Определение атрибута
SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_logical_test, который задает проверку, существуют или не существуют смежные грани, которые совместно используют ребро с одинаковой ориентацией. В случае наличия таких смежных граней результатом проверки будет значение '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, связанных с настоящим объектом, должны быть объектами типа closed_shell или open_shell.
WR3: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть объектами типа edge_curve. Это означает, что нормали граней, представленных объектами face, связанными с реберными кривыми, представленными объектами edge_curve, не согласованы.
WR4: Настоящий объект не должен быть связан посредством объектовshape_data_quality_criterion_and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_quality_inspection_result, соответствующий настоящему объекту, также не должен быть связан посредством объектаshape_inspection_result_accuracy_association с какими-либо элементами данных, задающими точность.
7.4.18 Объект disconnected_face_set
Объект disconnected_face_set представляет утверждение, что в связном наборе граней, представленном объектом connected_face_set, грани, представленные объектами face, не являются связанными дугами. Согласно требованию к измерению, соответствующему данному объекту, необходимо создание в связном наборе граней, представленном объектомconnected_face_set, групп граней, соединенных посредством общих ребер и общих вершин. Если для одного связного набора граней, представленного объектом connected_face_set, создаются две или более группы граней, то это означает наличие несвязности.
EXPRESS-спецификация:
| *) |
| ENTITY disconnected_face_set |
| SUBTYPE OF(erroneous_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, |
| []); |
| WR4 : validate_accuracy_types(SELF, |
| []); |
| END_ENTITY; |
| (* |
Определение атрибута
SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_logical_test, который задает проверку, являются ли грани, представленные объектами face, в связном наборе граней, представленном объектомconnected_face_set, связанными дугами. Если грани не являются связанными дугами, то результатом проверки будет значение 'TRUE' (истина).
Формальные положения
WR1: Атрибут representative_measured_value объектаshape_data_quality_inspection_criterion_report и атрибут measured_value объектаshape_data_quality_inspection_instance_report_item во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа boolean_value (булево значение).
WR2: Все объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта shape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть объектами типа connected_face_set.
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.19 Объект erroneous_geometry
Объект erroneous_geometry - это подтип объекта erroneous_data, являющийся супертипом критериев для обнаружения геометрически неверных данных.
EXPRESS-спецификация:
| *) |
| ENTITY erroneous_geometry |
| ABSTRACT SUPERTYPE OF (ONEOF( |
| inconsistent_curve_transition_code, |
| erroneous_b_spIine_curve_definition, |
| inconsistent_surface_transition_code, |
| erroneous_b_spline_surface_definition)) |
| SUBTYPE OF(erroneous_data); |
| END_ENTITY; |
| (* |
7.4.20 Объект erroneous_b_spline_curve_definition
Объект erroneous_b_spline_curve_definition (ошибочное определение b-сплайновой кривой) представляет утверждение, что для b-сплайновой кривой, представленной объектомb_spline_curve_with_knots, имеется несогласованное соотношение между степенью кривой, числом значений узлов, кратностью узлов и числом управляющих точек. Эти значения проверяет определенная в ИСО 10303-42 функция constraints_param_b_spline. При оценке настоящего объекта должно проверяться, возвращает ли функцияconstraints_param_b_spline, определение которой дано в ИСО 10303-42, пункт 4.6.22, значение 'FALSE' (ложь) или не возвращает.
Примечание - Настоящий критерий соответствует нарушению правила WR1 объектаb_spline_curve_with_knots, определение которого дано в ИСО 10303-42.
EXPRESS-спецификация: