angle_tolerance - допуск, используемый при проверке параллельности направлений двух векторов;
curvature_ratio_tolerance - допуск, используемый при проверке равенства двух значений кривизны;
distance_tolerance - допуск, используемый при проверке совпадения двух точек;
flat_curvature_radius_tolerance - значение допуска для проверки плоскостности формы.
Примечание - Если значение радиуса кривизны больше, чем значение атрибутаflat_curvature_radius_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, связанных с настоящим объектом, должны быть объектами типа rectangular_composite_surface.
WR3: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть объектами типаrectangular_composite_surface_transition_locator. Это значит, что код перехода обозначенного лоскута неверен относительно базовых геометрических объектов этого и последующего лоскутов в данном направлении. Если обозначенный лоскут является последним лоскутом составной поверхности, представленной объектом rectangular_composite_surface в данном направлении, то код перехода будет неверным по отношению к базовым геометрическим объектам последнего и первого лоскутов в данном направлении.
WR4: Настоящий объект не должен быть связан посредством объектовshape_data_quality_criterion_and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_quality_inspection_result, соответствующий настоящему объекту также не должен быть связан посредством объектаshape_inspection_result_accuracy_association с какими-либо элементами данных, задающими точность.
7.4.24 Объект erroneous_topology_and_geometry_relationship
Объект erroneous_topology_and_geometry_relationship - это подтип объектаerroneous_data и супертип критериев для математического выявления неверных отношений между геометрическими и топологическими объектами.
EXPRESS-спецификация:
| *) |
| ENTITY erroneous_topology_and_geometry_relationship |
| ABSTRACT SUPERTYPE OF (ONEOF_ |
| inconsistent_edge_and_curve_directions, |
| inconsistent_face_and_surface_normals, |
| inconsistent_face_and_closed_shell_normals, |
| intersecting_loops_in_face, |
| wrongly_placed_loop)) |
| SUBTYPE OF(erroneous_data); |
| END_ENTITY; |
| (* |
7.4.25 Объект inconsistent_edge_and_curve_directions
Объект inconsistent_edge_and_curve_directions, связанный с реберной кривой, представленной объектом edge_curve, представляет утверждение, что направление ребра, представленного объектом edge, и его геометрической кривой не согласовано с информацией о направлении. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо выполнить проверку применения информации о направлении объектаedge_curve. Настоящий критерий не должен применяться в тех случаях, когда объектedge_curve полностью определяет контур или когда вершины, играющие роль атрибутовedge_start и edge_end, совпадают друг с другом в пределах допуска, заданного атрибутомdistance_tolerance (допуск расстояния).
Примечания
1 Чтобы сравнить направление ребра и направление лежащей под ним геометрической кривой, для настоящего объекта требуются вычисления значений параметра ближайшей к начальной вершине ребра точки на кривой и параметра ближайшей к конечной вершине ребра точки на кривой. Если значение параметра у начальной вершины больше значения параметра у конечной вершины, а значение атрибута same_sense равно 'TRUE' (истина) и наоборот при значении атрибута 'FALSE' (ложь), то объект edge_curve будет считаться несогласованным с настоящим критерием.
2 На рисунке 6 показано, что топологическое направление ребра не согласовано с направлением геометрической кривой. Если значение атрибута same_sense объектаedge_curve равно 'TRUE' (истина), то объект будет обнаружен с помощью настоящего критерия.
 | |
| 341 × 74 пикс. Открыть в новом окне | |
Рисунок 6 - Несогласованные направления ребра и кривой
EXPRESS-спецификация:
| *) |
| ENTITY inconsistent_edge_and_curve_directions |
| SUBTYPE OF(erroneous_topology_and_geometry_relationship); |
| 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.EDGE_CURVE']); |
| 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, который задает проверку, является ли информация о направлении ребра несогласованной с направлением геометрической кривой или согласованной.
Формальные положения
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_curve.
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.26 Объект inconsistent_face_and_surface_normals
Объект inconsistent_face_and_surface_normals, связанный с поверхностной гранью, представленной объектом face_surface, представляет утверждение, что топологическая нормаль грани и геометрическая нормаль поверхности, на которой лежит грань, не согласованы с информацией об ориентации грани. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо проверить согласованность нормали к грани, определенной по внешнему контуру ребер, представленному объектом edge_loop, с нормалью к поверхности. Нормаль грани и нормаль к поверхности должны быть согласованы во всех точках границ поверхности. Данный критерий не должен применяться к грани, образуемой только вершинным контуром, представленным объектом vertex_loop.
Примечание - На рисунке 7 пунктирной линией показана поверхность, на которой лежит поверхностная грань, представленная объектом face_surface, а сплошными линиями со стрелками показан контур ребер поверхностной грани, представленный объектом edge_loop. В данном случае нормаль поверхности, на которой лежит грань, и топологическая нормаль поверхностной грани, представленной объектом face_surface, имеют противоположные направления. Если атрибут same_sense объекта face_surface имеет значение 'TRUE' (истина), то данный объект будет определен как нарушающий настоящий критерий.
 | |
| 435 × 236 пикс. Открыть в новом окне | |
Рисунок 7 - Несогласованные нормали поверхности и грани
EXPRESS-спецификация:
| *) |
| ENTITY inconsistent_face_and_surface_normals |
| SUBTYPE OF(erroneous_topology_and_geometry_relationship); |
| 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.FACE_SURFACE']); |
| 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, который задает проверку, являются ли топологическая нормаль грани и геометрическая нормаль поверхности, на которой лежит грань, согласованными с информацией об ориентации грани или не согласованными.
Формальные положения
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, связанных с настоящим объектом, должны быть объектами типа face_surface.
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.27 Объект inconsistent_face_and_closed_shell_normals
Объект inconsistent_face_and_closed_shell_normals представляет утверждение, что нормаль замкнутой оболочки, представленной объектом closed_shell, не согласована с нормалями входящих в оболочку граней. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо, чтобы для каждой входящей в оболочку грани была выполнена проверка, направлена ли нормаль грани от конечной области замкнутой оболочки, представленной объектом closed_shell, к бесконечной области.
Примечание - Если грань представлена объектом типа oriented_face (ориентированная грань), то при определении направления нормали грани учитывается ее ориентация.
EXPRESS-спецификация:
| *) |
| ENTITY inconsistent_face_and_closed_shell_normals |
| SUBTYPE OF(erroneous_topology_and_geometry_relationship); |
| 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.FACE_SURFACE']); |
| WR3 : validate_locations_of_extreme_value_type(SELF, |
| []); |
| WR4 : validate_accuracy_types(SELF, |
| []); |
| END_ENTITY; |
| (* |
Определение атрибута