ГОСТ Р И С 010303-59—2012
WR3: Во всех объектах instance_report_item_with_extremo_instances. связанных с настоящим
объектом, во всех объектах типа oxtromojnstance. на которые ссылается объект instance_report_item_
with_extreme„instances, объекты, на которые ссылается атрибут locations_of_oxtreme_value. должны
быть объектами типа orionted_closod_shell. Этоозначает, что ориентированная замкнутая оболочка, пред
ставленная объектом oriontod_closed_shell, является одной из пустот проверяемого твердого тела, пред
ставленного объектом brep_with_voids. и ориентация оболочки имеет значение TRUE’ (истина).
WR4: Настоящий объект не должен быть связан посредством объектов shape_data_quality_
criterion_and_accuracy„association мис какими элементамиданных, задающими точность. Объект shape_
data_quality_inspoction_result соответствующий настоящему объекту, также не должен быть связан пос
редством объекта shapeJnspoctlon_result_accuracy_association с какими-либо элементами данных, за
дающими точность.
7.4.34 Объект solid_with_wrong_numbor_of_voids
Объект solid_with_wrong_number„of_voids представляет утверждение, что число пустот, заданное
экземпляром объекта brep_with_voids. не соответствует действительно существующему числу пустот.
Настоящий объектдолжен распознавать два случая. В первом — по крайней мере одну пустоту, не связан ную
дугами. Данный случай нарушает определение в ИСО 10303-42 неформального положения IP8 для
объекта closed_sheil. Во втором — реальную пустоту, представленную несколькими объектами closed_sholl.
EXPRESS-специФикация:
•)
ENTITYso!id„with„wrong_number„of_voids
SUBTYPE OF(error>eous_manifold„solid_brep),
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’):
W R2:validate_inspected_elements_type(SELF,
rGEOMETRIC„WODEL_SCHEMA.BREP_WITH_VOIDSl);
W R3:validate„locations„of_extreme„value_type(SELF.n):
W R4: validate„accuracy types(SELF.fl);
END_ENTITY;
(*
Определение атрибута
SELRshape_data_quality„criterion.assossmont_specification — объект shape_data_quality_
assessment_by_logical_test, задающий проверку, является ли число пустот, заданноеэкземпляром объекта
brep_with„voids. несогласованным с действительно существующим числом пустот, что соответствует
результату TRUE’ (истина), или не является.
Формальные положения
WR1:Атрибут representative_measured_value объекта shape_data_quality„inspection_criterion„
report, атрибут measured_value объекта shape_data_qualityJnspection_instance_report_item и атри
буты measurod_value всех объектов extreme„instance, на которые ссылается объект instance_report„
item_with_extremo„instances. во всех экземплярах, связанных с настоящим объектом, должны иметь
значение типа boolean_value (булево значение).
WR2: Все объекты, играющие роль атрибута inspoctod_olements во всех экземплярах объекта
shapo_data_quality_inspection„instance_report_item. связанных с настоящим объектом, должны быть
объектами типа brep_with„voids.
WR3: Объект shapo_data_quality_inspection„lnstance_report_item. соответствующий настояще
му объекту, недолжен быть объектом типа instance_roport_item„with_extreme_instances. поскольку ука
зание в отчете о проверке выходящих за пределы значений не имеет смысла.
WR4: Настоящий объект недолжен быть связан посредством объектов shape_data_ quality_criterion_
and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data„
quality_inspection_result. соответствующий настоящему объекту, также не должен быть связан посред
ством объекта shape_inspection_result_accuracy_association с какими-либо элементами данных, задаю
щими точность.
50