EXPRESS-спецификация:
| *) |
| ENTITY overcomplex_topology_and_geometry_relationship |
| ABSTRACT SUPERTYPE OF (ONEOF( |
| unused_patches, |
| edge_with_excessive_segments, |
| face_surface_with_excessive_patches_in_one_direction)) |
| SUBTYPE OF(inapt_topology_and_geometry_relationship); |
| END_ENTITY; |
| (* |
7.4.103 Объект edge_with_excessive_segments
Объект edge_with_excessive_segments представляет утверждение, что геометрическая форма реберной кривой, представленной объектом edge_curve, содержит избыточное число сегментов. Этот критерий применим только в том случае, если ребро лежит на b-сплайновой кривой, представленной объектом b_spline_curve. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо вычислить ограниченный участок кривой, на которой лежит ребро, обрезанный начальной и конечной вершинами. Затем должно быть подсчитано число сегментов, попавших в этот участок.
EXPRESS-спецификация:
| *) |
| ENTITY edge_with_excessive_segments |
| SUBTYPE OF(overcomplex_topology_and_geometry_relationship); |
| 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, |
| ['TOPOLOGY_SCHEMA.EDGE_CURVE']); |
| 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 которого должен быть экземпляром данных типа 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, связанных с настоящим объектом, должны быть объектами типа edge_curve.
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.104 Объект face_surface_with_excessive_patches_in_one_direction
Объект face_surface_with_excessive_patches_in_one_direction представляет утверждение, что геометрическая форма поверхностной грани, представленной объектомface_surface, содержит избыточное число лоскутов на используемом участке базовой поверхности. Настоящий критерий применим только в случае b-сплайновой базовой поверхности, представленной объектом b_spline_surface. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо сначала получить часть поверхности, на которой лежит грань, путем обрезки ее габаритной рамкой, охватывающей границы поверхностной грани в параметрическом пространстве, после чего должен быть выполнен подсчет числа лоскутов обрезанной поверхности для параметров и . Большее из двух чисел должно быть взято при оценке наибольшего числа лоскутов, а также для сравнения с заданным предельным значением.
EXPRESS-спецификация:
| *) |
| ENTITY face_surface_with_excessive_patches_in_one_direction |
| SUBTYPE OF(overcomplex_topology_and_geometry_relationship); |
| 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, |
| ['TOPOLOGY_SCHEMA.FACE_SURFACE']); |
| 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 которого должен быть экземпляром данных типа 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, связанных с настоящим объектом, должны быть объектами типа face_surface.
Примечание - Требуется, чтобы поверхность, на которой лежит поверхностная грань, представленная объектом face_surface, была b-сплайновой поверхностью, представленной объектом b_spline_surface.
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.105 Объект unused_patches
Объект unused_patches представляет утверждение, что границами представленной объектом face_surface поверхностной грани охватывается только небольшой участок геометрической формы грани. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо вычислить габаритную рамку внешней границы грани в параметрическом пространстве поверхности и провести сравнение этой рамки с диапазоном параметров геометрической формы поверхности. После этого при оценке должны подсчитываться строки и столбцы лоскутов, находящихся за пределами габаритной рамки, и результаты подсчета должны сравниваться с заданным предельным значением.
EXPRESS-спецификация:
| *) |
| ENTITY unused_patches |
| SUBTYPE OF(overcomplex_topology_and_geometry_relationship); |
| 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, |
| ['TOPOLOGY_SCHEMA.FACE_SURFACE']); |
| WR4 : validate_locations_of_extreme_value_type(SELF, |
| ['SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| 'B_SPLINE_SURFACE_STRIP']); |
| 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 которого должен быть экземпляром данных типа count_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, во всех экземплярах, связанных с настоящим объектом, должны иметь значение типа count_measure (счетная мера).
WR3: Объекты, играющие роль атрибута inspected_elements во всех экземплярах объектаshape_data_quality_inspection_instance_report_item, связанных с настоящим объектом, должны быть объектами типа face_surface.
Примечание - Поверхность, на которой лежит поверхностная грань, представленная объектом face_surface, должна быть b-сплайновой поверхностью, представленной объектомb_spline_surface.
WR4: Во всех объектах instance_report_item_with_extreme_instances, связанных с настоящим объектом, во всех объектах типа extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, объекты, на которые ссылается атрибутlocations_of_extreme_value, должны быть объектами типа b_spline_surface_strip. Это означает, что данный участок поверхности не включен в действующую часть поверхностной грани, представленной объектом face_surface.
WR5: Настоящий объект не должен быть связан посредством объектовshape_data_quality_criterion_and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_quality_inspection_result, соответствующий настоящему объекту, также не должен быть связан посредством объектаshape_inspection_result_accuracy_association с какими-либо элементами данных, задающими точность.
7.4.106 Объект non_smooth_geometry_transition_across_edge
Объект non_smooth_geometry_transition_across_edge является таким подтипом объектаinapt_topology_and_geometry_relationship, который является супертипом для критериев, используемых для обнаружения двух типов несглаженных переходов геометрической формы через ребро.
EXPRESS-спецификаиия:
| *) |
| ENTITY non_smooth_geometry_transition_across_edge |
| ABSTRACT SUPERTYPE OF (ONEOF( |
| g1_discontinuity_between_adjacent_faces, |
| g2_discontinuity_between_adjacent_faces)) |
| SUBTYPE OF(inapt_topology_and_geometry_relationship); |
| END_ENTITY; |
| (* |
7.4.107 Объект g1_discontinuity_between_adjacent_faces
Объект g1_discontinuity_between_adjacent_faces представляет утверждение, что поверхности, на которых лежат смежные грани, совместно использующие представленное объектом edge ребро, имеют разрыв (не являются непрерывными по ).
Примечание - Это критерий, применяемый к выбранному набору граней в особых случаях.
Согласно требованию к измерению, соответствующему настоящему объекту, необходимо выбрать точки на тех представленных объектами edge_curve реберных кривых, которые имеют смежные грани, входящие в представленный объектом connected_face_set связный набор граней, а также вычислить для этих точек ближайшие точки на связанных с ребром поверхностных гранях, представленных объектами face_surface, и построить в этих двух ближайших точках векторы нормали к поверхностям. Если грань представлена объектомoriented_face, то должна учитываться ее ориентация. Для оценки среди всех точек реберной кривой, представленной объектом edge_curve, измеряется наибольший угол между векторами нормали, и значение этого наибольшего угла сравнивается с заданным предельным значением.
Примечание - На рисуке 40 показано измерение угла между векторами нормали смежных поверхностных граней, представленных объектами face_surface.
 | |
| 436 × 296 пикс. Открыть в новом окне | |