description - текстовое описание, характеризующее объект shape_measurement_accuracy.
range - экземпляр типа данных shape_data_quality_value_limit_type_select, позволяющий задать диапазон значений или предельное значение для представления точности.
7.4.8 Объект shape_data_quality_value_range
Объект shape_data_quality_value_range представляет задание численного интервала. Данный объект имеет различные подтипы для задания предельных значений для критерия точности или других видов точностей, используемых для измерения.
EXPRESS-спецификация:
| *) |
| ENTITY shape_data_quality_value_range |
| SUBTYPE OF(compound_representation_item); |
| WHERE |
| WR1 : ('REPRESENTATION_SCHEMA.SET_REPRESENTATION_ITEM' |
| IN TYPEOF (SELF\compound_representation_item.item_element)) AND |
| ((SIZEOF(SELF\compound_representation_item.item_element) = 2) |
| AND((SIZEOF(QUERY(i1 <* |
| SELF\compound_representation_item.item_element | |
| ('QUALIFIED_MEASURE_SCHEMA.MEASURE_REPRESENTATION_ITEM'IN |
| TYPEOF(i1)))) = 2) |
| OR(SIZEOF(QUERY(i2<* |
| SELF\compound_representation_item.item_element | |
| ('REPRESENTATION_SCHEMA.VALUE_REPRESENTATION_ITEM' IN |
| TYPEOF(i2)))) = 2))); |
| WR2 : (SIZEOF(QUERY (i <* SELF\compound_representation_item.item_element| |
| (i.name = 'upper limit'))) = 1) |
| AND(SIZEOF(QUERY (i <* |
| SELF\compound_representation_item.item_element | |
| (i.name = 'lower limit'))) = 1); |
| WR3 : (SIZEOF(QUERY(i1 <* |
| SELF\compound_representation_item.item_element | |
| ('QUALIFIED_MEASURE_SCHEMA.MEASURE_REPRESENTATION_ITEM' |
| IN TYPEOF (i1)) AND |
| (SIZEOF (QUERY (i2<* |
| SELF\compound_representation_item.item_element | |
| ('QUALIFIED_MEASURE_SCHEMA.MEASURE_REPRESENTATION_ITEM' |
| IN TYPEOF (i2)) AND |
| (i1 :<> :i2) AND |
| (i1\measure_with_unit.unit_component :=: |
| i2\measure_with_unit.unit_component))) = 1))) = 2) |
| OR (SIZEOF(QUERY(i1 <* |
| SELF\compound_representation_item.item_element | |
| ('REPRESENTATION_SCHEMA.VALUE_REPRESENTATION_ITEM' |
| IN TYPEOF (i1)) AND |
| (SIZEOF (QUERY (i2<* |
| SELF\compound_representation_item.item_element | |
| ('REPRESENTATION_SCHEMA.VALUE_REPRESENTATION_ITEM' |
| IN TYPEOF(i2)) AND |
| (i1 :<> :i2) AND |
| (TYPEOF(i1\value_representation_item.value_component) = |
| TYPEOF(i2\value_representation_item.value_component))) |
| ) = 1))) = 2); |
| END_ENTITY; |
| (* |
Формальные положения
WR1: Атрибут item_element имеет тип set_representation_item и его мощность должна равняться 2. Оба эти элемента должны быть типа measure_representation_item или типаvalue_representation_item.
WR2: Атрибуты name объектов representation_items, на которые ссылается атрибутitem_element, должны иметь соответственно значения 'upper limit' (верхний предел) и 'lower limit' (нижний предел).
WR3: Если атрибут item_element ссылается на два объекта measure_representation_item, то значения атрибутов unit (единица измерения) соответствующих объектовmeasure_with_unit должны быть однородными. Если атрибут item_element ссылается на два объекта value_representation_item, то их типы должны быть однородными.
7.4.9 Объект shape_data_quality_value_limit
Объект shape_data_quality_value_limit представляет предельное значение, используемое в спецификации оценки.
EXPRESS-спецификация:
| *) |
| ENTITY shape_data_quality_value_limit |
| ABSTRACT SUPERTYPE OF (ONEOF( |
| shape_data_quality_upper_value_limit, |
| shape_data_quality_lower_value_limit)) |
| SUBTYPE OF( |
| measure_representation_item, |
| qualified_representation_item); |
| END_ENTITY; |
| (* |
7.4.10 Объект shape_data_quality_upper_value_limit
Объект shape_data_quality_upper_value_limit представляет верхнее предельное значение, используемое в спецификации оценки.
EXPRESS-спецификация:
| *) |
| ENTITY shape_data_quality_upper_value_limit |
| SUBTYPE OF(shape_data_quality_value_limit); |
| WHERE |
| WR1 : SELF\qualified_representation_item.qualifiers[1].name |
| = 'maximum'; |
| END_ENTITY; |
| (* |
Формальное положение
WR1: Наследуемый атрибут qualified_representation_item.qualifiers[1].name(наименование) должен иметь значение 'maximum' (наибольшее).
7.4.11 Объект shape_data_quality_lower_value_limit
Объект shape_data_quality_lower_value_limit представляет наименьший предел значения, используемого в спецификации оценки.
EXPRESS-спецификация:
| *) |
| ENTITY shape_data_quality_lower_value_limit |
| SUBTYPE OF(shape_data_quality_value_limit); |
| WHERE |
| WR1 : SELF\qualified_representation_item.qualifiers[1].name |
| = 'minimum'; |
| END_ENTITY; |
| (* |
Формальное положение
WR1: Наследуемый атрибут qualified_representation_item.qualifiers[1].name(наименование) должен иметь значение 'minimum' (наименьшее).
7.4.12 Объект shape_summary_request_with_representative_value
Объект shape_summary_request_with_representative_value используется для представления запроса на сводный отчет о проверке с типичным измеренным значением для рассматриваемого критерия. В качестве сводного отчета служит объектshape_data_quality_inspection_criterion_report, определенный в схемеshape_data_quality_inspection_result_schema.
EXPRESS-спецификация:
| *) |
| ENTITY shape_summary_request_with_representative_value |
| SUBTYPE OF(summary_report_request); |
| END_ENTITY; |
| (* |
7.4.13 Объект erroneous_data
Объект erroneous_data - это подтип объекта shape_data_quality_criterion, являющийся супертипом критериев для обнаружения математически неверных данных о форме. Настоящий объект является супертипом объектов erroneous_topology, erroneous_geometry,erroeous_topology_and_geometry_relationship и erroneous_manifold_solid_brep.
EXPRESS-спецификация:
| *) |
| ENTITY erroneous_data |
| ABSTRACT SUPERTYPE OF (ONEOF( |
| erroneous_topology, |
| erroneous_geometry, |
| erroneous_topology_and_geometry_relationship; |
| erroneous_manifold_solid_brep) |
| ) |
| SUBTYPE OF(shape_data_quality_criterion); |
| END_ENTITY; |
| (* |
7.4.14 Объект erroneous_topology
Объект erroneous_topology - такой подтип объекта erroneous_data, который является супертипом для критериев, используемых для обнаружения топологически неверных данных о форме.
EXPRESS-спецификация:
| *) |
| ENTITY erroneous_topology |
| ABSTRACT SUPERTYPE OF (ONEOF( |
| open_edge_loop, open_closed_shell, |
| inconsistent_adjacent_face_normals, disconnected_face_set)) |
| SUBTYPE OF(erroneous_data); |
| END_ENTITY; |
| (* |
7.4.15 Объект open_edge_loop
Объект open_edge_loop представляет утверждение, что вершины и представленные объектами oriented_edges ориентированные ребра, составляющие объект edge_loop (контур ребер), не образуют топологически замкнутый контур. Согласно требованиям к измерению, соответствующим данному объекту, необходимо, чтобы были исследованы все представленные объектами oriented_edges ориентированные ребра в представленном объектом edge_loopконтуре ребер и были обнаружены случаи, когда вершина, играющая роль атрибута edge_startобъекта oriented_edge, представляющего ориентированное ребро, отличается от вершины, играющей роль атрибута edge_end объекта oriented_edge, представляющего предшествующее ориентированное ребро. По тому же правилу такие же измерения должны выполняться для объекта oriented_edge, представляющего последнее ориентированное ребро, и объекта oriented_edge, представляющего первое ориентированное ребро. Необходимо уметь распознавать случай, когда контур ребер, представленный объектомedge_loop, состоит из единичного ребра, представленного объектом edge, а вершины, играющие роль атрибутов edge_start и edge_end, различаются.
Примечания
1 Данный критерий нарушает правило WR1 объекта edge_loop, определение которого дано в ИСО 10303-42.
2 На рисунке 3 показан случай, когда в контуре ребер, представленном объектом edge_loop, смежные реберные кривые, представленные объектами edge_curve, в месте, обозначенном пунктирной окружностью, не используют совместно одну вершину. На рисунке 4 показан случай, когда значение атрибута orientation (ориентация) объекта oriented_edge (ориентированное ребро) не согласовано с направлением контура ребер, представленного объектом edge_loop. Оба случая должны быть обнаружены при измерении данного критерия.
 | |
| 160 × 164 пикс. Открыть в новом окне | |
Рисунок 3 - Неполный контур ребер
 | |
| 260 × 208 пикс. Открыть в новом окне | |
Рисунок 4 - Неверное направление ориентированного ребра
EXPRESS-спецификация:
| *) |
| ENTITY open_edge_loop |
| SUBTYPE OF(erroneous_topology); |
| SELF\shape_data_quality_criterion.assessment_specification |
| :shape_data_quality_assessment_by_logical_test; |
| WHERE |
| WR1 : validate_measured_data_type(SELF, |
| 'SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.BOOLEAN_VALUE'); |
| WR2 : validate_inspected_elements_type(SELF, |
| ['TOPOLOGY_SCHEMA.EDGE_LOOP']); |
| WR3 : validate_locations_of_extreme_value_type(SELF, |
| ['TOPOLOGY_SCHEMA.ORIENTED_EDGE']); |
| WR4 : validate_accuracy_types(SELF, |
| []); |
| END_ENTITY; |
| (* |
Определение атрибута