ГОСТ Р ИСО 10303-59—2012
EXPRESS-спецификация:
•)
ENTITY inapt_manifold_solid_brep
ABSTRACT SUPERTYPE OF (ONEOF(
partly_overtapping_solids.
small_volume_solid,
multi ply_defined_solids,
entirely_narrow_solid.
solid_with_excessive_number_of_vojds))
SUBTYPE OF(inapt_data):
END_ENTITY.
(*
7.4.120 Объект small_volume_solid
Объект small_volume_solid представляет утверждение, что объем граничного мамифолд твердого
тела, представленного объектом manifold_solid_brep. слишком мал. Согласно требованию к измерению,
соответствующему настоящему объекту, необходимо вычислить объем твердого тела. Полученное значе
ние объема должно сравниваться с заданным предельным значением. В случае наличия твердого тела с
пустотами, представленного объектом brop_with_voids. из объема внешней оболочки вычитается объем
пустот.
EXPRESS-спецификация:
’)
ENTITY small_volume_solid
SUBTYPE OF(inapt_manifold_solid_brep);
SELF\shape_data_quality_critenon.assessment_specification:
shape_data_quality_assessment_by_numerical_test;
WHERE
WR1 :(■SHAPE_DATA_QUALITY_CRITERIA_SCHE^^A.,+
•SHAPE_DATA_QUALITY_UPPER_VALUE_LIMir
INTYPEOF(SELF\shape_data_quality_criterion.
assessment_specification.threshold))
AND(’MEASURE_SCHEMA.VOLUME_MEASURE’
INvalue_limit_type(SELF\shape_data_quality_criterion.
assessment_specification.threshold)):
WR2; validate_measured_data_type(SELF.
•MEASURE_SCHEMA.VOLUME_MEASURE’);
W R3:validate_inspected_elements_type(SELF.
fGEOMETRIC_MODEL_SCHEMA.MANIFOLD_SOLID_BREP]);
W R4:validate_locations_of_extreme_value_type(SELF.
D):
W R5: validate_accuracy_types(SELF,
rMEASURE_SCHEMA.VOLUME_MEASURE1);
END_ENTITY;
Г
Определение атрибута
SELF\shape_data_quality_criterion.assessment_specification — объект shape_data_quality_asses-
sment_by_numerical_test. который задаетсравнение значения измеренного объема с заданным предель
ным значением.
Формальные положения
WR1:Атрибут threshold объекта, играющего роль атрибута assessmont_specification настоящего
объекта, должен в качестве значения иметь объект типа shape_data_quality_upper_valuoJim it. атрибут
value_component которогодолжен быть элементом данных типа volume_moasure (мера объема).
WR2: Атрибут reprosentative_moasured_value объекта shape_data_quality_inspoction_criterion_
report и атрибут measured_value объекта shape_data_quality_inspection_instance_report_item во всех
экземплярах, связанных с настоящим объектом, должны быть элементом данных типа volume_measure
(мера объема).
132