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.35 Объект inapt_data
Объект inapt_data - это такой подтип объекта shape_data_quality_criterion, который является супертипом для критериев, обнаруживающих данные, использование которых может вызывать проблемы с точки зрения предметных областей. Подтипы настоящего объекта делятся на inapt_topology, inapt_geometry, inapt_topology_and_geometry_relationship иinapt_manifold_solid_brep.
Примечание - Несоответствующие данные не являются математически неверными данными. В некоторых ситуациях эти данные могут быть приемлемыми, а в других - вызвать серьезные проблемы. Появление некоторых несоответствующих данных может быть вызвано различиями численной точности представления формы в CAD-системах или различиями в выполняемой разными CAD-системами обработке формы. Пользователи должны выбирать эти критерии и связанные с ними предельные значения в соответствии со своими требованиями к качеству данных о форме.
EXPRESS-спецификация:
| *) |
| ENTITY inapt data |
| ABSTRACT SUPERTYPE OF (ONEOF( |
| inapt_topology, |
| inapt_geometry, |
| inapt_topology_and_geometry_relationship, |
| inapt_manifold_solid_brep)) |
| SUBTYPE OF(shape_data_quality_criterion); |
| END_ENTITY; |
| (* |
7.4.36 Объект inapt_topology
Объект inapt_topology является таким подтипом объекта inapt_data, который является супертипом для критериев, используемых для обнаружения топологически несоответствующих данных о форме.
EXPRESS-спецификация:
| *) |
| ENTITY inapt_topology |
| ABSTRACT SUPERTYPE OF (ONEOF( |
| free_edge, non_manifold_at_edge, |
| non_manifold_at_vertex, |
| over_used_vertex)) |
| SUBTYPE OF(inapt_data); |
| END_ENTITY; |
| (* |
7.4.37 Объект non_manifold_at_vertex
Объект non_manifold_at_vertex представляет утверждение, что проверяемый связный набор граней, представленный объектом connected_face_set, содержит одну или более вершин, в которой грани соединяются в не-манифолд ситуации. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо выполнить определенные процессы. Во-первых, должен быть создан список объектов face, представляющих грани, соединяемые с проверяемой вершиной, представленной объектом vertex. Затем из списка выбирается некоторый объект face, и помечаются те входящие в него ребра, представленные объектами edge, которые используют проверяемую вершину. Выбирается следующий объектface, представляющий грань, которая содержит уже помеченные объекты edge, представляющие ребра. После того как в этой грани помечаются все другие объекты edge, представляющие ребра, соединенные с проверяемой вершиной, процесс продолжается, и подобным образом происходит поиск следующей грани, содержащей уже помеченные ребра. Если по завершении процесса в списке объектов face, представляющих грани, еще осталась грань, у которой соединенные с проверяемой вершиной ребра остались не помечены, то эта грань является не-манифолд у вершины, представленной объектом vertex.
Примечания
1 Настоящая проверка не обнаруживает выполнение критерия non_manifold_at_vertex для тех вершин, которые связаны с выполненным критерием non_manifold_at_edge. Следовательно, настоящий критерий всегда должен проверяться совместно с критериемnon_manifold_at_edge.
2 На рисунке 17 показан типичный случай, который должен обнаруживаться посредством настоящего критерия.
 | |
| 253 × 253 пикс. Открыть в новом окне | |
Рисунок 17 - Не-манифолд вершина
EXPRESS-спецификация:
| *) |
| ENTITY non_manifold_at_vertex |
| 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.VERTEX_POINT']); |
| WR4 : validate_accuracy_types(SELF, |
| []); |
| 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, должны быть объектами типа vertex_point. Это означает, что одна или более из смежных с вершиной граней, представленных объектом face, является не-манифолд.
WR4: Настоящий объект не должен быть связан посредством объектовshape_data_quality_criterion_and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_quality_inspection_result, соответствующий настоящему объекту, также не должен быть связан посредством объектаshape_inspection_result_accuracy_association с какими-либо элементами данных, задающими точность.
7.4.38 Объект non_manifold_at_edge
Объект non_manifold_at_edge представляет утверждение, что связный набор граней, представленный объектом connected_face_set, содержит одно или более ребер, соединенных в не-манифолд ситуации.
Примечания
1 Этот случай может быть ошибочным, а может и не быть, в зависимости от типа проверяемого связного набора граней. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо, чтобы для каждого из ребер, представленных объектами edge, связанных с представленными объектами face гранями, входящими в проверяемый связный набор граней, представленный объектом connected_face_set, было выполнено измерение, определяющее ссылается ли на это ребро три или более граней.
2 На рисунке 18 показан типичный случай, который должен обнаруживаться посредством настоящего критерия.
 | |
| 118 × 176 пикс. Открыть в новом окне | |
Рисунок 18 - Не-манифолд ребро
EXPRESS-спецификация:
| *) |
| ENTITY non_manifold_at_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, |
| []); |
| END_ENTITY; |
| (* |
Определение атрибута
SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_logical_test, который задает проверку, содержит ли связный набор граней, представленный объектом connected_face_set, одно или более ребер, на которые ссылаются три или более граней, представленных объектами face, что соответствует значению '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 с какими-либо элементами данных, задающими точность.
7.4.39 Объект over_used_vertex
Объект over_used_vertex представляет утверждение, что с вершиной, представленной объектом vertex, соединено слишком много ребер, представленных объектами edge. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо, чтобы для каждой вершины, представленной объектом vertex, было подсчитано число соединенных с вершиной ребер, представленных объектами edge, и полученное значение было сравнено с предельным значением, заданным для оценки.
EXPRESS-спецификация:
| *) |
| ENTITY over_used_vertex |
| SUBTYPE OF(inapt_topology); |
| 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.COUNT_MEASURE' |
| IN value_limit_type(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)); |
| WR2: validate_measured_data_type(SELF, |
| 'MEASURE_SCHEMA.COUNT_MEASURE'); |
| WR3: validate_inspected_elements_type(SELF, |
| ['TOPOLOGY_SCHEMA.VERTEX_POINT']); |
| WR4: validate_locations_of_extreme_value_type(SELF, |
| []); |
| WR5 : validate_accuracy_types(SELF, |
| []); |
| END_ENTITY; |
| (* |
Определение атрибута
SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_numerical_test, который задает проверку максимального значения с заданным предельным значением.
Формальные положения