ГОСТ Р И С 010303-59—2012
WR3: Объекты, играющие роль атрибута inspected_eloments в экземплярах объекта shape_data_
qualityJnspection_instance_report_itom. связанных с настоящим объектом, должны быть двумя объек
тами типа manifold_solid_brop
WR4: Во всех объектах lnstance_report_item_with_extremo_instances, связанных с настоящим
объектом, во всех объектах типа extremejnstance. на которые ссылается объект instance_report_item_
with_extreme_instances. объекты, на которые ссылается атрибут locations_of_extremo_value, должны
бытьдвумя объектами subface.
WR5: Если для данного измерения задана точность, то значение атрибута value_componentдолжно
быть значением типа area_moasure (мера площади).
7.4.124 Объект solid_with_excessive_number_of_voids
Объект solid_with_excessive_number_of_voids представляетутверждение, что твердое тело имеет
одну или более пустот. Согласно требованию к измерению, соответствующему настоящему объекту, необ
ходим подсчет числа пустот в граничном манифолд твердом теле, представленном объектом manifold_
solid_brep. Результаты подсчета сравниваются с заданным предельным значением.
П р и м е ч а н и е — Настоящий критерий предназначен для обнаружения пустот, которые непреднамерен
но создаются в процессе конструирования.
EXPRESS-специФикация:
*)
ENTITY solid_with_excessive_number_of_voids
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.’ +
’SHAPEJ}ATA_QUALITY_LOWER_VALUE_LIMIT’
INTYPEOF(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)):
W R2:validate_measured_data_type(SELF,
’MEASURE_SCHEMA.COUNT_MEASURE‘);
W R3:validateJnspected_elements_type(SELF,
rGEOMETRIC_MODEL_SCHEMA.MANIFOLD_SOLID_BREPn):
W R4;validate_locations_of_extreme_value_type(SELF.
П);
W R5: validate_accuracy_types(SELF,
D);
END_ENTITY;
(*
Определение атрибута
SELRshapo_data_quality_criterion.assossment_speclfication — объект shape_data_quality_
assessment_by_numerical_test. который задает сравнение числа пустот с заданным предельным значе
нием.
Формальные положения
WR1:Атрибут threshold объекта, играющего роль атрибута assessment_specification настоящего
объекта, должен в качестве значения иметь объект типа shapo_data_qualityJowor_valuo_limit. атрибут
value_componont которогодолжен быть экземпляром данных типа count_measure (счетная мера).
WR2: Атрибут reprosentative_measured_value объекта shape_data_quality_inspection_criterion_
report и атрибут moasured_value объекта shape_data_quality_inspoction_instance_report_item во всех
экземплярах, связанных с настоящим объектом, должны иметь значение типа count_measure (счетная
мера).
WR3: Объекты, играющие роль атрибута inspected_elements в экземплярах объекта shape_data_
quality_inspoction_instance_reportjtom. связанныхс настоящим объектом, должны быть объектами типа
manifold_solid_brep.
136