WR4: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_withextreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть объектами типа oriented_edge. Это означает, что ориентированное ребро, представленное объектом oriented_edge, и предшествующее ориентированное ребро образуют крутой угол.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа plane_angle_measure (мера плоского угла).
7.4.111 Объект steep_angle_between_adjacent_faces
Объект steep_angle_between_adjacent_faces представляет утверждение, что вдоль реберной кривой, представленной объектом edge_curve, смежные грани, представленные объектами face, образуют крутой угол. Согласно требованию к измерению, соответствующему настоящему объекту, для всех точек представленной объектом edge_curve реберной кривой в ближайших точках геометрической формы, представленных объектами face_surface смежных поверхностных граней, на обеих поверхностях строятся векторы нормали. Если грань представлена объектом oriented_face, то должна учитываться ее ориентация. Затем при оценке для всех точек кривой должен измеряться наибольший угол между векторами нормалей и сравниваться с заданным предельным значением.
Примечание - На рисунке 43 показан типичный случай, который должен быть обнаружен посредством настоящего критерия. На этом рисунке сплошной линией показан вектор нормали к нижней поверхностной грани, представленной объектом face_surface, а пунктирной линией - вектор нормали верхней поверхностной грани, представленной другим объектом face_surface. Оба вектора нормали исходят из одной точки, соединяющей поверхностные грани реберной кривой, представленной объектом edge_curve.
480 × 127 пикс.   Открыть в новом окне |
Рисунок 43 - Крутой угол между гранями
EXPRESS-спецификация:
*) |
ENTITY steep_angle_between_adjacent_faces |
SUBTYPE OF(steep_geometry_transition_across_edge); |
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.PLANE_ANGLE_MEASURE' |
IN value_limit_type(SELF\shape_data_quality_criterion. |
assessment_specification.threshold)); |
WR2 : validate_measured_data_type(SELF, |
'MEASURE_SCHEMA.PLANE_ANGLE_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.PLANE_ANGLE_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 которого должен быть экземпляром данных типа plane_angle_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, во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа plane_angle_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. Точка, представленная этим объектом, указывает место, где угол между поверхностными гранями, представленными объектами face_surface, связанными с реберной кривой, представленной объектом edge_curve, является крутым.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа plane_angle_measure (мера плоского угла).
7.4.112 Объект topology_related_to_multiply_defined_geometry
Объект topology_related_to_multiply_defined_geometry является таким подтипом объектаinapt_topology_and_geometry_relationship, который является супертипом для критериев, используемых для обнаружения топологических объектов, у которых лежащие под ними геометрические объекты полностью перекрываются.
EXPRESS-спецификация:
*) |
ENTITY topology_related_to_multiply_defined_geometry |
ABSTRACT SUPERTYPE OF (ONEOF( |
multiply_defined_faces, |
multiply_defined_vertices, |
multiply_defined_edges)) |
SUBTYPE OF(inapt_topology_and_geometry_relationship); |
END_ENTITY; |
(* |
7.4.113 Объект multiply_defined_vertices
Объект multiply_defined_vertices представляет утверждение, что две вершинные точки, представленные объектами, перекрываются. Согласно требованию к измерению, соответствующему настоящему объекту, вычисляют расстояние между двумя вершинными точками.
EXPRESS-спецификация:
*) |
ENTITY multiply_defined_vertices |
SUBTYPE OF(topology_related_to_multiply_defined_geometry); |
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, |
['TOPOLOGY_SCHEMA.VERTEX_POINT', |
'TOPOLOGY_SCHEMA.VERTEX_POINT']); |
WR4 : validate_locations_of_extreme_value_type(SELF, |
[]); |
WR5 : validate_accuracy_types(SELF, |
[]); |
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 которого должен быть экземпляром данных типа 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, связанных с настоящим объектом, должны быть объектами типа vertex_point.
WR4: Связанный с настоящим объектом объектshape_data_quality_inspection_instance_report_item не должен быть объектом типаinstance_report_item_with_extreme_instances.
WR5: Настоящий объект не должен быть связан посредством объектовshape_data_quality_criterion_and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_quality_inspection_result, соответствующий настоящему объекту, также не должен быть связан посредством объектаshape_inspection_result_accuracy_association с какими-либо элементами данных, задающими точность.
7.4.114 Объект multiply_defined_edges
Объект multiply_defined_edges представляет утверждение, что две реберные кривые, представленные объектами edge_curve, полностью перекрываются. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо вычислить расстояние Хаусдорфа между двумя реберными кривыми для того, чтобы определить, не превышает ли результат заданное предельное значение.
EXPRESS-спецификация:
*) |
ENTITY multiply_defined_edges |
SUBTYPE OF(topology_related_to_multiply_defined_geometry); |
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, |
['TOPOLOGY_SCHEMA.EDGE_CURVE', |
'TOPOLOGY_SCHEMA.EDGE_CURVE']); |
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, связанных с настоящим объектом, должны быть объектами типа edge_curve.
WR4: Объект shape_data_quality_inspection_instance_report_item, связанный с настоящим объектом, не должен быть объектом типаinstance_report_item_with_extreme_instances.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа length_measure (мера длины).
7.4.115 Объект multiply_defined_faces
Объект multiply_defined_faces представляет утверждение, что две поверхностные грани, представленные объектами face_surface, полностью перекрываются. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо вычислить расстояние Хаусдорфа между двумя поверхностными гранями для того, чтобы определить, не превышает ли результат заданное предельное значение.
EXPRESS-спецификация:
*) |
ENTITY multiply_defined_faces |
SUBTYPE OF(topology_related_to_multiply_defined_geometry); |
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, |
['TOPOLOGY_SCHEMA.FACE_SURFACE', |
'TOPOLOGY_SCHEMA.FACE_SURFACE']); |
WR4 : validate_locations_of_extreme_value_type(SELF, |
[]); |
WR5 : validate_accuracy_types(SELF, |
['MEASURE_SCHEMA.LENGTH_MEASURE']); |
END_ENTITY; |
(* |
Определение атрибута