WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа length_measure (мера длины).
7.4.99 Объект gap_between_edge_and_base_surface
Объект gap_between_edge_and_base_surface представляет утверждение, что одна или более реберных кривых, представленных объектом edge_curve, ограничивающих поверхностную грань, представленную объектом face_surface, не лежат на поверхностной грани в пределах заданного предельного значения. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо вычислить наибольшее направленное расстояние Хаусдорфа от реберных кривых до поверхности, на которой лежит поверхностная грань, представленная объектом face_surface.
Примечание - На рисунке 37 пунктирными линиями показана поверхность, на которой лежит поверхностная грань, представленная объектом face_surface, а сплошными линиями показан представленный объектом edge_loop контур ребер поверхностной грани. Стрелками показаны точка на представленной объектом edge_curve реберной кривой и точка на базовой поверхности грани, расстояние между ними равно направленному расстоянию Хаусдорфа от реберной кривой до поверхности, на которой лежит грань. Если обнаружен дефект качества относительно настоящего критерия, то эти точки будут играть роль атрибутаlocations_of_extreme_value.
 | |
| 325 × 217 пикс. Открыть в новом окне | |
Рисунок 37 - Поверхностная грань с зазором между ее базовой поверхностью и граничным ребром
EXPRESS-спецификация:
| *) |
| ENTITY gap_between_edge_and_base_surface |
| SUBTYPE OF(geometric_gap_in_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.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, |
| [TOPOLOGY_SCHEMA.FACE_SURFACE']); |
| WR4 : 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_FACE_SURFACE']); |
| 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, который задает сравнение значения измеренного зазора между граничным ребром и базовой поверхностью, на которой лежит поверхностная грань, представленная объектом face_surface, с заданным предельным значением.
Формальные положения
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 и атрибуты measured_value всех объектов extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа length_measure (мера длины).
WR3: Объекты, играющие роль атрибута inspected_elements во всех экземплярах объектаshape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть объектами типа face_surface.
WR4: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть соответственно объектами типаpoint_on_edge_curve и point_on_face_surface.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа length_measure (мера длины).
7.4.100 Объект gap_between_faces_related_to_an_edge
Объект gap_between_faces_related_to_an_edge представляет утверждение, что результаты проецирования геометрической формы реберной кривой, представленной объектомedge_curve, на геометрическую форму связанных с этим ребром поверхностных граней, представленных объектами face_surface, не совпадают в пределах заданного допуска. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо, чтобы для всех ребер, связанных с гранями, входящими в представленный объектомconnected_face_set связный набор граней, было выполнено вычисление для каждой точки реберной кривой, представленной объектом edge_curve, двух ближайших точек на связанных с ребром поверхностных гранях, представленных объектами face_surface, а также измерение расстояния между этими двумя точками. В результате измерения для каждой реберной кривой должно быть получено значение наибольшего расстояния.
Примечание - На рисунке 38 реберная кривая 1 совместно используется поверхностными гранями 1 и 2. Внизу показано поперечное сечение реберной кривой, совместно используемой двумя поверхностными гранями. Маленький белый кружок - это точка на реберной кривой 1, а линии - это поверхности, на которых лежат поверхностные грани 1 и 2. Два маленьких черных кружка - это точки, полученные путем проецирования точки реберной кривой 1 на поверхности, на которых лежат поверхностные грани. Должно быть вычислено расстояние между этими двумя точками.
 | |
| 346 × 346 пикс. Открыть в новом окне | |
Рисунок 38 - Измерение зазора между гранями, связанными с ребром
EXPRESS-спецификация:
| *) |
| ENTITY gap_between_faces_related_to_an_edge |
| SUBTYPE OF(geometric_gap_in_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.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, |
| ['TOPOLOGY_SCHEMA.CONNECTED_FACE_SET']); |
| WR4 : validate_locations_of_extreme_value_type(SELF, |
| ['SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| 'POINT_ON_EDGE_CURVE']); |
| 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, который задает сравнение значения измеренного зазора между геометрическими формами поверхностных граней, представленных объектами face_surface, с заданным предельным значением.
Формальные положения
WR1: Атрибут threshold объекта, играющего роль атрибута assessment_specificationнастоящего объекта, должен в качестве значения иметь объект типаshape_data_quality_lower_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 и атрибуты measured_value всех объектов extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа length_measure (мера длины).
WR3: Объекты, играющие роль атрибута inspected_elements во всех экземплярах объектаshape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть объектами типа connected_face_set.
WR4: Во всех объектах 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, указывает место, где обнаружен наибольший зазор между связанными гранями.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа length_measure (мера длины).
7.4.101 Объект gap_between_pcurves_related_to_an_edge
Объект gap_between_pcurves_related_to_an_edge представляет утверждение, что две связанные с реберной кривой, представленной объектом edge_curve, параметрические кривые, представленные объектами pcurve, не совпадают в трехмерном пространстве. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо для всех ребер, относящихся к представленному объектом connected_face_set связному набору граней, вычислить расстояние Хаусдорфа между двумя кривыми, являющимися трехмерными образами представленных объектами pcurve параметрических кривых, связанных с реберной кривой, представленной объектом edge_curve.
Примечание - На рисунке 39 реберная кривая 1 совместно используется поверхностными гранями 1 и 2. Две пунктирные линии на этом рисунке показывают трехмерные образы представленных объектами pcurve параметрических кривых, связанных с реберной кривой 1. Для настоящего критерия должно быть измерено расстояние Хаусдорфа между этими кривыми.
 | |
| 317 × 232 пикс. Открыть в новом окне | |
Рисунок 39 - Измерение зазора между параметрическими кривыми, связанными с ребром
EXPRESS-спецификация:
| *) |
| ENTITY gap_between_pcurves_related_to_an_edge |
| SUBTYPE OF(geometric_gap_in_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.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, |
| ['TOPOLOGY_SCHEMA.CONNECTED_FACE_SET']); |
| WR4 : validate_locations_of_extreme_value_type(SELF, |
| ['GEOMETRY_SCHEMA.POINT_ON_SURFACE', |
| 'GEOMETRY_SCHEMA.POINT_ON_SURFACE']); |
| 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 и атрибуты measured_value всех объектов extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа length_measure (мера длины).
WR3: Объекты, играющие роль атрибута inspected_elements во всех экземплярах объектаshape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть объектами типа connected_face_set.
WR4: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, оба объекта, на которые ссылается атрибутlocations_of_extreme_value, должны быть объектами типа point_on_surface.
Примечание - Точка на реберной кривой, представленная объектом point_on_edge_curve, указывает место, где обнаружен наибольший зазор между связанными параметрическими кривыми, представленными объектами pcurve.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа length_measure (мера длины).
7.4.102 Объект overcomplex_topology_and_geometry_relationship
Объект overcomplex_topology_and_geometry_relationship является таким подтипом объекта inapt_topology_and_geometry_relationship, который является супертипом для критериев, используемых для обнаружения топологических данных, связанных с чрезмерно сложными геометрическими данными.