SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_logical_test, задающий проверку, является ли нормаль замкнутой оболочки, представленной объектом closed_shell, не согласованной с нормалями граней или согласованной.
Формальные положения
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: Объект 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.28 Объект intersecting_loops_in_face
Объект intersecting_loops_in_face представляет утверждение, что границы грани, представленной объектом face, пересекают друг друга. Согласно требованию к измерению, соответствующему данному объекту, необходимо выявить случаи, когда какая-либо пара границ грани, представленных объектом face, пересекают друг друга. Если расстояние от точки на одной границе до точки на другой границе меньше, чем значение атрибутаinterference_tolerance, то такой случай должен быть распознан как пересечение.
Примечание - На рисунке 8 показан случай, когда внутренний контур пересекает внешний контур. На рисунке 9 показан случай, когда внутренний контур касается внешнего контура в пределах допуска, заданного атрибутом interference_tolerance. Оба случая должны распознаваться с помощью настоящего критерия.
Рисунок 8 - Внутренний контур, пересекающий внешний контур
 | |
| 162 × 118 пикс. Открыть в новом окне | |
Рисунок 9 - Внутренний контур, расстояние до которого от внешнего контура меньше допуска
EXPRESS-спецификация:
| *) |
| ENTITY intersecting_loops_in_face |
| SUBTYPE OF(erroneous_topology_and_geometry_relationship); |
| SELF\shape_data_quality_criterion.assessment_specification : |
| shape_data_quality_assessment_by_logical_test; |
| interference_tolerance : length_measure; |
| WHERE |
| WR1 : validate_measured_data_type(SELF, |
| 'SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.BOOLEAN_VALUE'); |
| WR2: validate_inspected_elements_type(SELF, |
| ['TOPOLOGY_SCHEMA.FACE']); |
| WR3 : validate_locations_of_extreme_value_type(SELF, |
| ['SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| 'POINT_ON_EDGE_CURVE', |
| 'SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| 'POINT_ON_EDGE_CURVE']); |
| WR4 : validate_accuracy_types(SELF, |
| ['MEASURE_SCHEMA.LENGTH_MEASURE']); |
| END_ENTITY; |
| (* |
Определения атрибутов
SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_logical_test, задающий проверку, существуют ли какие-либо пересечения границ или не существуют;
interference_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, связанных с настоящим объектом, должны быть объектами типа face.
WR3: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть двумя объектами типа point_on_edge_curve (точка на реберной кривой), которые расположены на расстоянии, не превышающем значение атрибута interference_tolerance, при этом объекты edge_curve, играющие роль атрибутовbasis_edge_curve объектов типа point_on_edge_curve, должны входить в разные контуры ребер, представленные объектами edge_loop, рассматриваемой грани, представленной объектом face.
WR4: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа length_measure (мера длины).
7.4.29 Объект wrongly_placed_loop
Объект wrongly_placed_loop представляет утверждение, что входящие в грань контуры ребер, представленные объектами edge_loop, расположены геометрически неверно. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо произвести измерения с целью обнаружения двух случаев, первый случай - когда внутренний контур расположен за внешним контуром, и второй - когда внутренний контур расположен внутри другого внутреннего контура.
Примечание - На рисунках 10 и 12 показаны типичные случаи, которые должны обнаруживаться настоящим критерием. На рисунке 11 показан случай, когда внутренний контур, расположенный за внешним контуром, касается внешнего контура. Этот случай должен обнаруживаться с помощью настоящего критерия, а также с помощью критерияintersecting_loops_in_face.
 | |
| 205 × 136 пикс. Открыть в новом окне | |
Рисунок 10 - Внутренний контур, расположенный за внешним контуром
 | |
| 206 × 129 пикс. Открыть в новом окне | |
Рисунок 11 - Внутренний контур, касающийся внешнего контура с внешней стороны
 | |
| 240 × 122 пикс. Открыть в новом окне | |
Рисунок 12 - Внутренний контур внутри другого внутреннего контура
EXPRESS-спецификация:
| *) |
| ENTITY wrongly_placed_loop |
| 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']); |
| WR3 : validate_locations_of_extreme_value_type(SELF, |
| ['TOPOLOGY_SCHEMA.FACE_BOUND']); |
| WR4 : validate_accuracy_types(SELF, |
| ['MEASURE_SCHEMA.LENGTH_MEASURE']); |
| 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, связанных с настоящим объектом, должны быть объектами типа face.
WR3: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть двумя объектами face_bound, представляющими границы граней, расположение которых неверно.
WR4: Если для данного измерения задана точность, то значение атрибута range должно быть значением типа length_measure (мера длины).
7.4.30 Объект erroneous_manifold_solid_brep
Объект erroneous_manifold_solid_brep - это такой подтип объекта erroneous_data, который является супертипом критериев для обнаружения математически неверных манифолд-твердых тел с граничным представлением, представленных объектами manifold_solid_brep.
EXPRESS-спецификация:
| *) |
| ENTITY erroneous_manifold_solid_brep |
| ABSTRACT SUPERTYPE OF (ONEOF( |
| intersecting_shells_in_solid, |
| wrongly_placed_void, |
| wrongly_oriented_void, |
| solid_with_wrong_number_of_voids)) |
| SUBTYPE OF(erroneous_data); |
| END_ENTITY; |
| (* |
7.4.31 Объект intersecting_shells_in_solid
Объект intersecting_shells_in_solid представляет утверждение, что существует одно или более пересечений между замкнутыми оболочками, представленными объектамиclosed_shells, входящими в граничное твердое тело с пустотами, представленное объектомbrep_with_voids. Согласно требованию к измерению, соответствующему настоящему объекту, необходима проверка наличия пересечений входящих в граничное твердое тело с пустотами пар замкнутых оболочек, представленных объектами closed_shell. Если расстояние между точкой на одной оболочке и точкой на другой оболочке меньше, чем значение атрибутаinterference_tolerance, то такой случай должен распознаваться как пересечение.
Примечание - На рисунке 13 показан случай, когда пустота пересекает внешнюю замкнутую оболочку. Это типичный случай, который обнаруживается в соответствии с данным критерием.
 | |
| 141 × 105 пикс. Открыть в новом окне | |
Рисунок 13 - Пустота, пересекающая внешнюю оболочку