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, связанных с настоящим объектом, должны быть объектами типа face_surface.
WR4: Объект shape_data_quality_inspection_instance_report_item, связанный с настоящим объектом, не должен быть объектом типаinstance_report_item_with_extreme_instances.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа length_measure (мера длины).
7.4.116 Объект topology_related_to_overlapping_geometry
Объект topology_related_to_overlapping_geometry является таким подтипом объектаinapt_topology_and_geometry_relationship, который является супертипом для критериев, используемых для обнаружения топологических объектов, у которых лежащие под ними геометрические объекты частично перекрываются.
EXPRESS-спецификация:
*) |
ENTITY topology_related_to_overlapping_geometry |
ABSTRACT |
SUPERTYPE OF (ONEOF( |
partly_overlapping_faces,partly_overlapping_edges)) |
SUBTYPE OF(inapt_topology_and_geometry_relationship); |
END_ENTITY; |
(* |
7.4.117 Объект partly_overlapping_edges
Объект partly_overlapping_edges представляет утверждение, что две реберные кривые, представленные объектами edge_curve, частично перекрываются. Две представленные объектами edge_curve реберные кривые частично перекрываются, если каждая из реберных кривых содержит связанное дугами множество точек. При этом каждая точка множества, принадлежащего одной реберной кривой, находится от другой реберной кривой на расстоянии, не превышающем значения атрибута interference_tolerance. Для каждой из реберных кривых должна вычисляться длина дуги перекрывающегося участка, и требуется, чтобы большая из длин была больше или равна нижней границе заданного предельного значения и длине меньшей из дуг.
EXPRESS-спецификация:
*) |
ENTITY partly_overlapping_edges |
SUBTYPE OF(topology_related_to_overlapping_geometry); |
SELF\shape_data_quality_criterion.assessment_specification : |
shape_data_quality_assessment_by_numerical_test; |
interference_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.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, |
['TOPOLOGY_SCHEMA.SUBEDGE','TOPOLOGY_SCHEMA.SUBEDGE']); |
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, который задает сравнение измеренной длины дуги с заданным предельным значением;
interference_tolerance - допуск, используемый для проверки, являются ли две точки на ребрах совпадающими или не являются.
Формальные положения
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 и атрибуты 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, должны быть объектами типа subedge.
Примечание - Эти два подребра, представленные объектами subedge, являются той частью проверявшихся реберных кривых, представленных объектами edge_curve, в которой расстояния от всех точек одной реберной кривой до другой реберной кривой меньше, чем значение атрибута interference_tolerance.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа length_measure (мера длины).
7.4.118 Объект partly_overlapping_faces
Объект partly_overlapping_faces представляет утверждение, что две поверхностные грани, представленные объектами face_surface, частично перекрываются. Две поверхностные грани частично перекрываются, если каждая из поверхностных граней содержит связанное дугами множество точек. При этом каждая точка множества, принадлежащего одной поверхностной грани, находится от другой поверхностной грани на расстоянии, не превышающем значения атрибута interference_tolerance. Для каждой из поверхностных граней должна вычисляться площадь перекрывающегося участка, и требуется, чтобы большая из площадей была больше или равна нижней границе заданного предельного значения и площади, меньшей из двух проверяемых поверхностей.
EXPRESS-спецификация:
*) |
ENTITY partly_overlapping_faces |
SUBTYPE OF(topology_related_to_overlapping_geometry); |
SELF\shape_data_quality_criterion.assessment_specification : |
shape_data_quality_assessment_by_numerical_test; |
interference_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.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', |
'TOPOLOGY_SCHEMA.FACE_SURFACE']); |
WR4 : validate_locations_of_extreme_value_type(SELF, |
['TOPOLOGY_SCHEMA.SUBFACE','TOPOLOGY_SCHEMA.SUBFACE']); |
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, который задает сравнение значения измеренной площади с заданным предельным значением;
interference_tolerance - допуск, используемый при проверке точек на совпадение.
Формальные положения
WR1: Атрибут threshold объекта, играющего роль атрибута assessment_specificationнастоящего объекта, должен в качестве значения иметь объект типаshape_data_quality_lower_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 и атрибуты measured_value всех объектов extreme_instance, на которые ссылается объектinstance_report_item_with_extreme_instances, во всех экземплярах, связанных с настоящим объектом, должны быть элементом данных типа area_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, должны быть объектами типа subface.
Примечание - Эти две подграни, представленные объектами subface, являются той частью проверявшихся поверхностных граней, представленных объектами face_surface, в которой расстояния от всех точек одной поверхностной грани до другой поверхностной грани меньше, чем значение атрибута interference_tolerance.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно быть значением типа area_measure (мера площади).
7.4.119 Объект inapt_manifold_solid_brep
Объект inapt_manifold_solid_brep является таким подтипом объекта inapt_data, который является супертипом для критериев, используемых для обнаружения некоторых типов несоответствующих геометрических моделей.
EXPRESS-спецификация:
*) |
ENTITY inapt_manifold_solid_brep |
ABSTRACT SUPERTYPE OF (ONEOF( |
partly_overlapping_solids, |
small_volume_solid, |
multiply_defined_solids, |
entirely_narrow_solid, |
solid_with_excessive_number_of_voids)) |
SUBTYPE OF(inapt_data); |
END_ENTITY; |
(* |
7.4.120 Объект small_volume_solid
Объект small_volume_solid представляет утверждение, что объем граничного манифолд твердого тела, представленного объектом manifold_solid_brep, слишком мал. Согласно требованию к измерению, соответствующему настоящему объекту, необходимо вычислить объем твердого тела. Полученное значение объема должно сравниваться с заданным предельным значением. В случае наличия твердого тела с пустотами, представленного объектом brep_with_voids, из объема внешней оболочки вычитается объем пустот.
EXPRESS-спецификация:
*) |
ENTITY small_volume_solid |
SUBTYPE OF(inapt_manifold_solid_brep); |
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.VOLUME_MEASURE' |
IN value_limit_type(SELF\shape_data_quality_criterion. |
assessment_specification.threshold)); |
WR2 : validate_measured_data_type(SELF, |
'MEASURE_SCHEMA.VOLUME_MEASURE'); |
WR3 : validate_inspected_elements_type(SELF, |
['GEOMETRIC_MODEL_SCHEMA.MANIFOLD_SOLID_BREP']); |
WR4 : validate_locations_of_extreme_value_type(SELF, |
[]); |
WR5 : validate_accuracy_types(SELF, |
['MEASURE_SCHEMA.VOLUME_MEASURE']); |
END_ENTITY; |
(* |
Определение атрибута
SELF\shape_data_quality_criterion.assessment_specification - объектshape_data_quality_assessment_by_numerical_test, который задает сравнение значения измеренного объема с заданным предельным значением.
Формальные положения