Определения атрибутов
SELF\shape_data_quality_criterion.assessment_specification - объект, который задает проверку существования пересечения, что соответствует значению '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, связанных с настоящим объектом, должны быть объектами типа 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.95 Объект geometric_gap_in_topology
Объект geometric_gap_in_topology является таким подтипом объектаinapt_topology_and_geometry_relationship, который является супертипом для критериев, используемых для обнаружения различных видов зазоров между геометрическими и топологическими объектами.
EXPRESS-спецификация:
| *) |
| ENTITY geometric_gap_in_topology |
| ABSTRACT SUPERTYPE OF (ONEOF( |
| gap_between_adjacent_edges_in_loop, |
| gap_between_vertex_and_base_surface, |
| gap_between_vertex_and_edge, |
| gap_between_edge_and_base_surface, |
| gap_between_pcurves_related_to_an_edge, |
| gap_between_faces_related_to_an_edge)) |
| SUBTYPE OF(inapt_topology_and_geometry_relationship); |
| END_ENTITY; |
| (* |
7.4.96 Объект gap_between_vertex_and_edge
Объект gap_between_vertex_and_edge представляет утверждение, что геометрически вершинная точка, представленная объектом vertex_point, не лежит на связанной с ней реберной кривой, представленной объектом edge_curve, в пределах заданного предельного значения. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо вычислить расстояние между геометрической формой вершинной точки, представленной объектом vertex_point, и геометрической формой реберной кривой, представленной объектом edge_curve.
EXPRESS-спецификация:
| *) |
| ENTITY gap_between_vertex_and_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.EDGE_CURVE']); |
| WR4 : validate_locations_of_extreme_value_type(SELF, |
| [TOPOLOGY_SCHEMA.VERTEX_POINT', |
| '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, который задает сравнение значения измеренного зазора между геометрическими формами вершинной точки, представленной объектом vertex_point, и реберной кривой, представленной объектом edge_curve, с заданным предельным значением.
Формальные положения
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, связанных с настоящим объектом, должны быть объектами типа edge_curve.
WR4: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть соответственно объектами типа vertex_point и point_on_edge_curve.
Примечание - Точка на реберной кривой, представленная объектом point_on_edge_curve, - это ближайшая от вершинной точки, представленной объектом vertex_point, точка реберной кривой, представленной объектом edge_curve.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа length_measure (мера длины).
7.4.97 Объект gap_between_vertex_and_base_surface
Объект gap_between_vertex_and_base_surface представляет утверждение, что вершинная точка, представленная объектом vertex_point, "геометрически" не лежит на поверхности, на которой лежит поверхностная грань, представленная объектом face_surface, в пределах заданного предельного значения. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо вычислить расстояние между геометрической формой вершинной точки, представленной объектом vertex_point, и геометрической формой поверхности, на которой лежит поверхностная грань, представленная объектом face_surface. Поиск ближайшей точки поверхности не ограничивается поиском только среди точек, лежащих на используемом участке поверхности, ограниченном контурами.
EXPRESS-спецификация:
| *) |
| ENTITY gap_between_vertex_and_basesur_face |
| 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, |
| [TOPOLOGY_SCHEMA.VERTEX_POINT', |
| '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, который задает сравнение значения измеренного зазора между вершинной точкой, представленной объектом vertex_point, и поверхностью, на которой лежит грань, с заданным предельным значением.
Формальные положения
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, должны быть соответственно объектами типа vertex_point и point_on_face_surface.
Примечание - Точка на поверхностной грани, представленная объектомpoint_on_face_surface, - это ближайшая от вершинной точки, представленной объектомvertex_point, точка на поверхностной грани, представленной объектом face_surface.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа length_measure (мера длины).
7.4.98 Объект gap_between_adjacent_edges_in_loop
Объект gap_between_adjacent_edges_in_loop представляет утверждение, что в контуре ребер, представленном объектом edge_loop, между смежными ориентированными ребрами, представленными объектами oriented_edge, существует геометрический зазор, превышающий заданное предельное значение. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо вычислить для каждого входящего в контур ребер ориентированного ребра точку на кривой, соответствующей начальной вершине ребра, и соответствующей той же вершине точку на кривой, на которой лежит предшествующее ориентированное ребро. После этого вычисляется расстояние между этими двумя точками, которое при оценке может сравниваться с заданным предельным значением.
EXPRESS-спецификация:
| *) |
| ENTITY gap_between_adjacent_edges_in_loop |
| 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.EDGE_LOOP']); |
| WR4 : validate_locations_of_extreme_value_type(SELF, |
| ['TOPOLOGY_SCHEMA.ORIENTED_EDGE']); |
| WR5 : validate_accuracy_types(SELF, |
| ['MEASURE_SCHEMA.LENGTH_MEASURE']); |
| END_ENTITY; |
| (* |
Определение атрибута
SEL\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_numerical_test, который задает сравнение значения измеренного зазора между двумя смежными ориентированными ребрами, представленными объектами oriented_edge, с заданным предельным значением.
Формальные положения
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, связанных с настоящим объектом, должны быть объектами типа edge_loop.
WR4: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть объектами типа oriented_edge. Это означает, что начальная точка ориентированного ребра, представленного объектом oriented_edge, имеет зазор с конечной точкой предшествующего ориентированного ребра, представленного объектомoriented_edge.