| *) |
| ENTITY high_degree_axi_symmetric_surface |
| SUBTYPE OF(overcomplex_geometry); |
| SELF\shape_data_quality_criterion.assessment_specification: |
| shape_data_quality_assessment_by_numerical_test; |
| approximation_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.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, |
| ['GEOMETRY_SCHEMA.B_SPLINE_SURFACE']); |
| 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, который задает сравнение полученной степени с заданным предельным значением;
approximation_tolerance - допуск, используемый при проверке, может ли геометрическая форма b-сплайновой поверхности, представленной объектом b_spline_surface, быть аппроксимирована осесимметричной поверхностью.
Формальные положения
WR1: Атрибут threshold объекта, играющего роль атрибута assessment_specificationнастоящего объекта, должен в качестве значения иметь объект типаshape_data_quality_lower_value_limit, атрибут value_component которого должен быть экземпляром данных типа count_measure (счетная мера).
WR2: Атрибут representative_measured_value объектаshape_data_quality_inspection_criterion_report и атрибут measured_value объектаshape_data_quality_inspection_instance_report_item во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа count_measure (счетная мера).
WR3: Все объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта shape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть объектами типа b_spline_surface.
WR4: Объект shape_data_quality_inspection_instance_report_item, связанный с настоящим объектом, не должен быть объектом типаinstance_report_item_with_extreme_instances.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа length_measure (мера длины).
7.4.86 Объект inapt_topology_and_geometry_relationship
Объект inapt_topology_and_geometry_relationship является таким подтипом объектаinapt_data, который является супертипом для критериев, используемых для обнаружения несоответствующих отношений между топологическими и геометрическими данными.
EXPRESS-спецификация:
| *) |
| ENTITY inapt_topology_and_geometry_relationship |
| ABSTRACT SUPERTYPE OF (ONEOF( |
| topology_related_to_nearly_degenerate_geometry, |
| geometric_gap_in_topology, |
| non_smooth_geometry_transition_across_edge, |
| topology_related_to_self_intersecting_geometry, |
| steep_geometry_transition_across_edge, |
| topology_related_to_overlapping_geometry, |
| topology_related_to_multiply_defined_geometry, |
| overcomplex_topology_and_geometry_relationship)) |
| SUBTYPE OF(inapt_data); |
| END_ENTITY; |
| (* |
7.4.87 Объект topology_related_to_nearly_degenerate_geometry
Объект topology_related_to_nearly_degenerate_geometry является таким подтипом объекта inapt_topology_and_geometry_relationship, который является супертипом для критериев, используемых для обнаружения топологических данных, связанных с различными видами геометрических данных, близких к вырождению.
EXPRESS-спецификация:
| *) |
| ENTITY topology_related_to_nearly_degenerate_geometry |
| ABSTRACT SUPERTYPE OF (ONEOF( |
| short_length_edge, |
| small_area_face, |
| entirely_narrow_face)) |
| SUBTYPE OF(inapt_topology_and_geometry_relationship); |
| END_ENTITY; |
| (* |
7.4.88 Объект short_length_edge
Объект short_length_edge представляет утверждение, что длина дуги реберной кривой, представленной объектом edge_curve, слишком коротка. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо вычислить длину дуги геометрической кривой между двумя точками, соответствующими начальной и конечной вершинам проверяемой реберной кривой, представленной объектом edge_curve.
EXPRESS-спецификация:
| *) |
| ENTITY short_length_edge |
| SUBTYPE OF(topology_related_to_nearly_degenerate_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']); |
| 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.89 Объект small_area_face
Объект small_area_face представляет утверждение, что площадь поверхностной грани, представленной объектом face_surface, слишком мала. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо вычислить площадь поверхностной грани, представленной объектом face_surface.
EXPRESS-спецификация:
| *) |
| ENTITY small_area_face |
| SUBTYPE OF(topology_related_to_nearly_degenerate_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.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, |
| ['TOPOLOGY_SCHEMA.FACE_SURFACE']); |
| WR4 : validate_locations_of_extreme_value_type(SELF, |
| []); |
| 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_upper_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 во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа area_measure (мера площади).
WR3: Все объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта shape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть объектами типа face_surface.
WR4: Объект shape_data_quality_inspection_instance_report_item, связанный с настоящим объектом, не должен быть объектом типаinstance_report_item_with_extreme_instances.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа area_measure (мера площади).
7.4.90 Объект entirely_narrow_face
Объект entirely_narrow_face представляет утверждение, что поверхностная грань, представленная объектом face_surface, слишком узкая. Поверхностная грань является слишком узкой, если для каждой точки поверхностной грани существует точка на границе грани, расстояние до которой не превышает половины предельного значения. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо вычислить для выбранных точек на поверхностной грани, представленной объектом face_surface, наименьшее расстояние до границы. Если вычисленное расстояние превышает половину допуска расстояния, заданного атрибутом width_tolerance, то поверхностная грань, представленная объектом face_surface, не является слишком узкой.
Примечание - На рисунке 34 показано измерение настоящего критерия. При измерении рассматривается сфера, диаметр которой задается значением атрибута width_tolerance, а центр размещается в некоторой точке поверхностной грани, представленной объектомface_surface, и проверяется отсутствие пересечения границы поверхностной грани со сферой. Если обнаруживается одна такая точка поверхностной грани, то проверка завершается.
 | |
| 311 × 184 пикс. Открыть в новом окне | |
Рисунок 34 - Измерение полностью узкой грани
EXPRESS-спецификация:
| *) |
| ENTITY entirely_narrow_face |
| SUBTYPE OF(topology_related_to_nearly_degenerate_geometry); |
| 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, |
| [TOPOLOGY_SCHEMA.FACE_SURFACE']); |
| WR3 : validate_locations_of_extreme_value_type(SELF, |
| []); |
| WR4 : validate_accuracy_types(SELF, |
| ['MEASURE_SCHEMA.LENGTH_MEASURE']); |
| END_ENTITY; |
| (* |
Определения атрибутов