WR1: Атрибут threshold объекта, играющего роль атрибута assessment_specificationнастоящего объекта, должен в качестве значения иметь объект типаshape_data_quality_upper_value_limit, атрибут value_component которого должен быть элементом данных типа volume_measure (мера объема).
WR2: Атрибут representative_measured_value объектаshape_data_quality_inspection_criterion_report и атрибут measured_value объектаshape_data_quality_inspection_instance_report_item во всех экземплярах, связанных с настоящим объектом, должны быть элементом данных типа volume_measure (мера объема).
WR3: Объекты, играющие роль атрибута inspected_elements в экземплярах объектаshape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть объектами типа manifold_solid_brep.
WR4: Объект shape_data_quality_inspection_instance_report_item, связанный с настоящим объектом, не должен быть объектом типаinstance_report_item_with_extreme_instances, поскольку указание в отчете о проверке выходящих за пределы значений не имеет смысла.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа volume_measure (мера объема).
7.4.121 Объект entirely_narrow_solid
Объект entirely_narrow_solid представляет утверждение, что ширина граничного манифолд твердого тела, представленного объектом manifold_solid_brep, бесконечно мала на всем протяжении. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо для достаточного числа выбранных точек внутри твердого тела вычислить расстояние до граничных оболочек. Если хотя бы для одной точки это расстояние превышает половину допуска расстояния, то граничное манифолд твердое тело, представленное объектомmanifold_solid_brep, не является узким.
Примечание - На рисунке 44 показано измерение настоящего критерия. При измерении рассматривается сфера, диаметр которой равен значению атрибута width_tolerance, а центр располагается в некоторой точке внутри граничного манифолд твердого тела, представленного объектом manifold_solid_brep, и проверяется отсутствие пересечений сферы с границей твердого тела. Если найдена одна такая внутренняя точка, то проверка прекращается.
 | |
| 384 × 93 пикс. Открыть в новом окне | |
Рисунок 44 - Измерение полностью узкого твердого тела
EXPRESS-спецификация:
| *) |
| ENTITY entirely_narrow_solid |
| SUBTYPE OF(inapt_manifold_solid_brep); |
| SELF\shape_data_quality_criterion.assessment_specification : |
| shape_data_quality_assessment_by_logical_test; |
| width_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.MANIFOLD_SOLID_BREP']); |
| WR3 : validate_locations_of_extreme_value_type(SELF, |
| []); |
| 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' (истина), или не является;
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, связанных с настоящим объектом, должны быть объектами типа manifold_solid_brep.
WR3: Объект shape_data_quality_inspection_instance_report_item, связанный с настоящим объектом, не должен быть объектом типаinstance_report_item_with_extreme_instances, поскольку указание в отчете о проверке выходящих за пределы значений не имеет смысла.
WR4: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа length_measure (мера длины).
7.4.122 Объект multiply_defined_solids
Объект multiply_defined_solids представляет утверждение, что два манифолд твердых тела с граничным представлением, представленные объектами manifold_solid_brep, полностью перекрываются. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо вычислить расстояние Хаусдорфа между двумя твердыми телами для того, чтобы определить, не является ли оно меньше заданного предельного значения.
EXPRESS-спецификация:
| *) |
| ENTITY multiply_defined_solids |
| SUBTYPE OF(inapt_manifold_solid_brep); |
| SELF\shape_data_quality_criterion.assessment_specification : |
| shape_data_quality_assessment_by_numerical_test; |
| WHERE |
| WR1 : ('SHAPE_DATA_QUALITY_CRITERIA_SCHEMA.' + |
| 'SHAPE_DATA_QUALITY_UPPER_VALUE_LIMIT' |
| IN TYPEOF(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)) |
| AND ('MEASURE_SCHEMA.LENGTH_MEASURE' |
| IN value_limit_type(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)); |
| WR2 : validate_measured_data_type(SELF, |
| 'MEASURE_SCHEMA.LENGTH_MEASURE'); |
| WR3 : validate_inspected_elements_type(SELF, |
| ['GEOMETRIC_MODEL_SCHEMA.MANIFOLD_SOLID_BREP', |
| 'GEOMETRIC_MODEL_SCHEMA.MANIFOLD_SOLID_BREP']); |
| WR4 : validate_locations_of_extreme_value_type(SELF, |
| []); |
| WR5 : validate_accuracy_types(SELF, |
| ['MEASURE_SCHEMA.LENGTH_MEASURE']); |
| END_ENTITY; |
| (* |
Определение атрибута
SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_numerical_test, который задает сравнение измеренного расстояния с заданным предельным значением.
Формальные положения
WR1: Атрибут threshold объекта, играющего роль атрибута assessment_specificationнастоящего объекта, должен в качестве значения иметь объект типаshape_data_quality_upper_value_limit, атрибут value_component которого должен быть экземпляром данных типа length_measure (мера длины).
WR2: Атрибут representative_measured_value объектаshape_data_quality_inspection_criterion_report и атрибут measured_value объектаshape_data_quality_inspection_instance_report_item во всех экземплярах, связанных с настоящим объектом, должны быть элементом данных типа length_measure (мера длины).
WR3: Объекты, играющие роль атрибута inspected_elements во всех экземплярах объектаshape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть двумя объектами типа manifold_solid_brep.
WR4: Объект shape_data_quality_inspection_instance_report_item, связанный с настоящим объектом, не должен быть объектом типаinstance_report_item_with_extreme_instances, поскольку указание в отчете о проверке выходящих за пределы значений не имеет смысла.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа length_measure (мера длины).
7.4.123 Объект partly_overlapping_solids
Объект partly_overlapping_solids представляет утверждение, что два манифолд твердых тела с граничным представлением, представленные объектами manifold_solid_brep, частично перекрываются. Два твердых тела частично перекрываются, если каждое из твердых тел содержит связанное дугами множество точек на граничных гранях. При этом каждая точка множества, принадлежащего одному твердому телу, находится от границы другого твердого тела на расстоянии, не превышающем значения атрибута interference_tolerance. Для каждого из твердых тел должна вычисляться площадь перекрывающегося участка, и требуется, чтобы большая из площадей была больше или равна нижней границе заданного предельного значения и площади поверхности меньшего из двух проверяемых твердых тел.
EXPRESS-спецификация:
| *) |
| ENTITY partly_overlapping_solids |
| SUBTYPE OF(inapt_manifold_solid_brep); |
| SELF\shape_data_quality_criterion.assessment_specification : |
| shape_data_quality_assessment_by_numerical_test; |
| interference_tolerance : length_measure; |
| 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.AREA_MEASURE' |
| IN value_limit_type(SELF\shape_data_quality_criterion. |
| assessment_specification.threshold)); |
| WR2 : validate_measured_data_type(SELF, |
| 'MEASURE_SCHEMA.AREA_MEASURE'); |
| WR3 : validate_inspected_elements_type(SELF, |
| ['GEOMETRIC_MODEL_SCHEMA.MANIFOLD_SOLID_BREP', |
| 'GEOMETRIC_MODEL_SCHEMA.MANIFOLD_SOLID_BREP']); |
| WR4 : validate_locations_of_extreme_value_type(SELF, |
| ['TOPOLOGY_SCHEMA.SUBFACE','TOPOLOGY_SCHEMA.SUBFACE']); |
| WR5 : validate_accuracy_types(SELF, |
| ['MEASURE_SCHEMA.AREA_MEASURE']); |
| END_ENTITY; |
| (* |
Определение атрибута
SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_numerical_test, который задает сравнение значения измеренной площади с заданным предельным значением.
Формальные положения
WR1: Атрибут threshold объекта, играющего роль атрибута assessment_specificationнастоящего объекта, должен в качестве значения иметь объект типаshape_data_quality_lower_value_limit, атрибут value_component которого должен быть экземпляром данных типа area_measure (мера площади).
WR2: Атрибут 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, во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа area_measure (мера площади).
WR3: Объекты, играющие роль атрибута inspected_elements в экземплярах объектаshape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть двумя объектами типа manifold_solid_brep.
WR4: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть двумя объектами subface.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа area_measure (мера площади).
7.4.124 Объект solid_with_excessive_number_of_voids
Объект solid_with_excessive_number_of_voids представляет утверждение, что твердое тело имеет одну или более пустот. Согласно требованию к измерению, соответствующему настоящему объекту, необходим подсчет числа пустот в граничном манифолд твердом теле, представленном объектом manifold_solid_brep. Результаты подсчета сравниваются с заданным предельным значением.
Примечание - Настоящий критерий предназначен для обнаружения пустот, которые непреднамеренно создаются в процессе конструирования.
EXPRESS-спецификация:
| *) |
| ENTITY solid_with_excessive_number_of_voids |
| SUBTYPE OF(inapt_manifold_solid_brep); |
| 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, |
| ['GEOMETRIC_MODEL_SCHEMA.MANIFOLD_SOLID_BREP']); |
| WR4 : validate_locations_of_extreme_value type(SELF, |
| []); |
| WR5 : validate_accuracy_types(SELF, |
| []); |
| END_ENTITY; |
| (* |
Определение атрибута