SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_ assessment_by_logical_test, задающий проверку, является ли грань узкой во всех проверенных точках, что соответствует значению 'TRUE' (истина), или не является;
width_tolerance - значение допуска, используемое для проверки, является грань узкой или не является.
Формальные положения
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, связанных с настоящим объектом, должны быть объектами типа face_surface.
WR3: Объект shape_data_quality_inspection_instance_report_item, связанный с настоящим объектом, не должен быть объектом типаinstance_report_item_with_extreme_instances.
WR4: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа length_measure (мера длины).
7.4.91 Объект topology_related_to_self_intersecting_geometry
Объект topology_related_to_self_intersecting_geometry является таким подтипом объектаinapt_topology_and_geometry_relationship, который является супертипом для критериев, используемых для обнаружения топологических данных, связанных с самопересекающимися геометрическими объектами.
EXPRESS-спецификация:
| *) |
| ENTITY topology_related_to_self_intersecting_geometry |
| ABSTRACT SUPERTYPE OF (ONEOF( |
| self_intersecting_loop, |
| self_intersecting_shell, |
| intersecting_connected_face_sets)) |
| SUBTYPE OF(inapt_topology_and_geometry_relationship); |
| END_ENTITY; |
| (* |
7.4.92 Объект self_intersecting_loop
Объект self_intersecting_loop представляет утверждение, что контур ребер, представленный объектом edge_loop, является самопересекающимся. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо выполнить измерение, при котором должна обнаружиться точка на представленном объектом edge_loop контуре ребер, которая находится на расстоянии, не превышающем значения атрибутаinterference_tolerance, от другой точки того же контура ребер. При этом расстояние между этими точками по дуге, лежащей на контуре ребер, достаточно велико.
Примечание - На рисунке 35 показан случай, когда входящие в контур ребер, представленный объектом edge_loop, реберные кривые, представленные объектамиedge_curve, пересекают друг друга. На рисунке 36 показан случай, когда отсутствуют реберные кривые, представленные объектами edge_curve, пересекающие другие реберные кривые из того же контура ребер, но существуют некоторые реберные кривые, которые приближаются к другим реберным кривым на расстояние, не превышающее значения атрибутаinterference_tolernace*. С помощью настоящего критерия должны обнаруживаться оба случая.
_______________
* Текст документа соответствует оригиналу. - Примечание изготовителя базы данных.
Рисунок 35 - Ребро пересекает другое ребро контура ребер
 | |
| 328 × 67 пикс. Открыть в новом окне | |
Рисунок 36 - Контур ребер, имеющий область, более узкую, чем величина допуска
EXPRESS-спецификация:
| *) |
| ENTITY self_intersecting_loop |
| SUBTYPE OF(topology_related_to_self_intersecting_geometry); |
| SELF\shape_data_quality_criterion.assessment_specification: |
| shape_data_quality_assessment_by_logical_test; |
| arc_length_distance_factor : REAL; |
| 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.EDGE_LOOP']); |
| 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 - объект, который задает проверку существования пересечения, что соответствует значению 'TRUE' (истина), или отсутствия пересечения;
arc_length_separation_factor - вещественное число, используемое при обосновании самопересечения. Две совпадающие точки должны рассматриваться как точка самопересечения, если значение расстояния между точками, измеренное по дуге, принадлежащей контуру ребер, представленному объектом edge_loop, больше, чем значение, получаемое по следующей формуле: (interference_tolerance)·(arc_length_separation_factor);
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, связанных с настоящим объектом, должны быть объектами типа edge_loop.
WR3: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, оба объекта, на которые ссылается атрибутlocations_of_extreme_value, должны быть объектами типа point_on_edge_curve.
Примечание - Эти две точки на реберных кривых, представленные объектамиpoint_on_edge_curve, расположены друг от друга на расстоянии, не превышающем значения атрибута interference_tolerance, но соединяющая эти точки длина дуги реберного контура, представленного объектом edge_loop, достаточно велика.
WR4: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа length_measure (мера длины).
7.4.93 Объект self_intersecting_shell
Объект self_intersecting_shell представляет утверждение, что связный набор граней, представленный объектом connected_face_set, имеющий форму открытой или замкнутой оболочки, является самопересекающимся. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо выполнить измерение, при котором должны обнаружиться точки на представленном объектом connected_face_set связном наборе граней, которые находятся друг от друга на расстоянии, не превышающем значения атрибутаinterference_tolerance. При этом значение расстояния между точками, измеренное по дуге, принадлежащей связному набору граней, представленному объектом connected_face_set, больше, чем значение величины, получаемой умножением допуска на коэффициент, заданный атрибутом geodesic_separation_factor.
EXPRESS-спецификация:
| *) |
| ENTITY self_intersecting_shell |
| SUBTYPE OF(topology_related_to_self_intersecting_geometry); |
| SELF\shape_data_quality_criterion.assessment_specification: |
| shape_data_quality_assessment_by_logical_test; |
| geodesic_separation_factor : REAL; |
| 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.CONNECTED_FACE_SET']); |
| WR3 : validate_locations_of_extreme_value_type(SELF, |
| ['SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| 'POINT_ON_FACE_SURFACE', |
| 'SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| 'POINT_ON_FACE_SURFACE']); |
| WR4 : validate_accuracy_types(SELF, |
| ['MEASURE_SCHEMA.LENGTH_MEASURE']); |
| END_ENTITY; |
| (* |
Определения атрибутов
SELF\shape_data_quality_criterion.assessment_specification - объект, который задает проверку существования пересечения, что соответствует значению 'TRUE' (истина), или отсутствия пересечения;
geodesic_separation_factor - вещественное число, используемое при обосновании самопересечения. Две совпадающие точки должны рассматриваться как точка самопересечения, если значение расстояния между точками, измеренное по дуге, принадлежащей связному набору граней, представленному объектом connected_face_set, больше, чем значение величины, получаемой по следующей формуле: (interference_tolerance)·(geodesic_separation_factor);
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, связанных с настоящим объектом, должны быть объектами типа connected_face_set.
WR3: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, оба объекта, на которые ссылается атрибутlocations_of_extreme_value, должны быть объектами типа point_on_face_surface.
Примечание - Эти две точки на поверхностной грани, представленные объектамиpoint_on_face_surface, расположены друг от друга на расстоянии, не превышающем значения, заданного атрибутом interference_tolerance, и их поверхностные грани, представленные объектами face_surface, входят в связный набор граней, представленный объектом connected_face_set, но расстояние между точками, измеренное по дуге, принадлежащей связному набору граней, достаточно велико.
WR4: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа length_measure (мера длины).
7.4.94 Объект intersecting_connected_face_sets
Объект intersecting_connected_face_sets представляет утверждение, что два связных набора граней, представленных объектами connected_face_set, пересекают друг друга. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо выполнить измерение, при котором осуществляется поиск пересечения связных наборов граней. Если расстояние между точкой на одном связном наборе граней и точкой на втором связном наборе граней меньше значения, задаваемого атрибутом interference_tolerance, то эти связные наборы граней должны рассматриваться как пересекающиеся.
EXPRESS-спецификация:
| *) |
| ENTITY intersecting_connected_face_sets |
| SUBTYPE OF(topology_related_to_self_intersecting_geometry); |
| 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.CONNECTED_FACE_SET', |
| TOPOLOGY_SCHEMA.CONNECTED_FACE_SET']); |
| WR3 : validate_locations_of_extreme_value_type(SELF, |
| ['SHAPE DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| 'POINT_ON_FACE_SURFACE', |
| 'SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| 'POINT_ON_FACE_SURFACE']); |
| WR4 : validate_accuracy_types(SELF, |
| ['MEASURE_SCHEMA.LENGTH_MEASURE']); |
| END_ENTITY; |
| (* |