EXPRESS-спецификация:
| *) |
| ENTITY intersecting_shells_in_solid |
| SUBTYPE OF(erroneous_manifold_solid_brep); |
| 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, |
| ['GEOMETRIC_MODEL_SCHEMA.BREP_WITH_VOIDS']); |
| WR3 : validate_locations_of_extreme_value_type(SELF, |
| ['GEOMETRY_SCHEMA.SURFACE_CURVE']); |
| WR4 : validate_accuracy_types(SELF, |
| []); |
| END_ENTITY; |
| (* |
Определения атрибутов
SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_logical_test, который задает проверку, существуют ли какие-либо пересечения оболочек, что соответствует результату 'TRUE' (истина), или не существуют;
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, связанных с настоящим объектом, должны быть объектами типа brep_with_voids.
WR3: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть объектами типа surface_curve, которые представляют пересечение между оболочками твердого тела.
WR4: Настоящий объект не должен быть связан посредством объектовshape_data_quality_criterion_and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_quality_inspection_result, соответствующий настоящему объекту, также не должен быть связан посредством объектаshape_inspection_result_accuracy_association с какими-либо элементами данных, задающими точность.
7.4.32 Объект wrongly_placed_void
Объект wrongly_placed_void представляет утверждение, что пустота неправильно расположена относительно других оболочек твердого тела. Согласно требованию к измерению, соответствующему настоящему объекту, необходима проверка расположения пустоты: за внешней оболочкой твердого тела или внутри другой пустоты.
Примечания
1 Пустоты, пересекающиеся с внешней оболочкой, и пустоты, пересекающиеся между собой, должны обнаруживаться с помощью критерия intersecting_shells_in_solid.
2 На рисунках 14-16 показаны случаи, которые должны обнаруживаться с помощью настоящего критерия. Случай, показанный на рисунке 15, должен обнаруживаться с помощью настоящего критерия, а также с помощью критерия intersecting_shells_in_solid.
 | |
| 190 × 127 пикс. Открыть в новом окне | |
Рисунок 14 - Пустота, расположенная за внешней оболочкой
 | |
| 126 × 139 пикс. Открыть в новом окне | |
Рисунок 15 - Пустота, расположенная за внешней оболочкой и касающаяся ее
 | |
| 176 × 176 пикс. Открыть в новом окне | |
Рисунок 16 - Пустота, расположенная внутри другой пустоты
EXPRESS-спецификация:
| *) |
| ENTITY wrongly_placed_void |
| SUBTYPE OF(erroneous_manifold_solid_brep); |
| 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, |
| ['GEOMETRIC_MODEL_SCHEMA.BREP_WITH_VOIDS']); |
| WR3 : validate_locations_of_extreme_value_type(SELF, |
| ['TOPOLOGY_SCHEMA.ORIENTED_CLOSED_SHELL']); |
| 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, связанных с настоящим объектом, должны быть объектами типа brep_with_voids.
WR3: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть объектами типа oriented_closed_shell. Это означает, что ориентированная замкнутая оболочка, представленная объектомoriented_closed_shell, неправильно размещена.
WR4: Настоящий объект не должен быть связан посредством объектовshape_data_quality_criterion_and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_quality_inspection_result, соответствующий настоящему объекту, также не должен быть связан посредством объектаshape_inspection_result_accuracy_association с какими-либо элементами данных, задающими точность.
7.4.33 Объект wrongly_oriented_void
Объект wrongly_oriented_void представляет утверждение, что оболочка, представляющая пустоту, имеет неверную ориентацию Согласно требованию к измерению, соответствующему настоящему объекту, необходима проверка, направлена ли нормаль к пустоте вовне, что соответствует результату проверки 'TRUE' (истина), или не направлена. Для пустоты, имеющей правильную ориентацию, результат оценки всегда имеет значение 'FALSE' (ложь).
EXPRESS-спецификация:
| *) |
| ENTITY wrongly_oriented_void |
| SUBTYPE OF(erroneous_manifold_solid_brep); |
| 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, |
| ['GEOMETRIC_MODEL_SCHEMA.BREP_WITH_VOIDS']); |
| WR3 : validate_locations_of_extreme_value_type(SELF, |
| ['TOPOLOGY_SCHEMA.ORIENTED_CLOSED_SHELL']); |
| 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, связанных с настоящим объектом, должны быть объектами типа brep_with_voids.
WR3: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть объектами типа oriented_closed_shell. Это означает, что ориентированная замкнутая оболочка, представленная объектомoriented_closed_shell, является одной из пустот проверяемого твердого тела, представленного объектом brep_with_voids, и ориентация оболочки имеет значение 'TRUE' (истина).
WR4: Настоящий объект не должен быть связан посредством объектовshape_data_quality_criterion_and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_quality_inspection_result, соответствующий настоящему объекту, также не должен быть связан посредством объектаshape_inspection_result_accuracy_association с какими-либо элементами данных, задающими точность.
7.4.34 Объект solid_with_wrong_number_of_voids
Объект solid_with_wrong_number_of_voids представляет утверждение, что число пустот, заданное экземпляром объекта brep_with_voids, не соответствует действительно существующему числу пустот. Настоящий объект должен распознавать два случая. В первом - по крайней мере одну пустоту, не связанную дугами. Данный случай нарушает определение в ИСО 10303-42 неформального положения IP8 для объекта closed_shell. Во втором - реальную пустоту, представленную несколькими объектами closed_shell.
EXPRESS-спецификация:
| *) |
| ENTITY solid_with_wrong_number_of_voids |
| SUBTYPE OF(erroneous_manifold_solid_brep); |
| 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, |
| ['GEOMETRIC_MODEL_SCHEMA.BREP_WITH_VOIDS']); |
| 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, задающий проверку, является ли число пустот, заданное экземпляром объекта brep_with_voids, несогласованным с действительно существующим числом пустот, что соответствует результату '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, связанных с настоящим объектом, должны быть объектами типа brep_with_voids.