ГОСТ Р ИСО 10303-59—2012
Формальные положения
WR1:Атрибут reprosentative_moasured_value объекта shape_data_quality_inspection_criterion_
report, атрибут measured_valuo объекта shape_data_qualityJnspectionJnstance_reportJtem и атри
буты measured_valuo всех объектов extrem ejnstanco. на которые ссылается объект instance_report_
itom_with_extreme_lnstances. во всех экземплярах, связанных с настоящим объектом, должны быть
типа booloan_valuo (булево значение).
WR2: Все объекты, играющие роль атрибута inspected_elements во всех экземплярах объекта
shape_data_quality_inspection_instance_report_item. связанных с настоящим объектом, должны быть
объектами типа edgejoop.
WR3: Во всех объектах lnstance_report_ltem_with_extremo_instances, связанных с настоящим
объектом, во всехобъектах типа extremejnstance. на которые ссылается объект instance_report_ item_
with_extrome_instances. объекты, на которые ссылается атрибут locations_of_extreme_value, должны
быть объектами типа oriented_edge. Это означает, что значение атрибута edge_end данного объекта
oriented_edge (ориентированное ребро) отличается от значения атрибута объекта oriented_cdgo. который
появляется следующим в проверяемом объекте edgejoop (контур ребер).
WR4: Настоящий объект недолжен быть связан посредством объектов shapo_data_quality_ criterion_
and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_
qualityJnspection_result. соответствующий настоящему объекту, также не должен быть посредством
объекта shapeJnspection_result_accuracy_association связан с какими-либо элементами данных,
задающими точность.
7.4.16 Объект open_closed_sholl
Объект open_closed_shell представляетутверждение, чтозамкнутая оболочка, представленная объек
том closed_shell. содержит одно или более ребер, представленных объектом edge, на которые суще
ствуют только одна ссылка из граней. Согласно требованиям к измерению, соответствующим данному
объекту, необходимо, чтобы была проведена проверка, существуетодин объектлибоодин или более объектов
типа edge (ребро), на которые грани ссылаются только один раз.
EXPRESS-специФикация:
*)
ENTITY open_closed_shell
SUBTYPE OF(erroneousJopology):
SELF\shape_data_quality_cnterion.assossment_.specification:
shape_data_quality_assessment_byJogical_test;
WHERE
WR1: validate_measured_datajype(SELF,
’SHAPE_DATA_QUALITY INSPECTIO^RESULTJSCHEMA.BOOLEANJ/ALUE’),
W R2: validateJnspected_elementsJype(SELF,
[TOPOLOGY_SCHEMA.CLOSED_SHELLl);
W R3.validate_!ocations_of_extreme_valuejype(SELF.
[TTOPOLOGY_SCHEMA.EDGE_CURVE’]).
W R4: validate_accuracyJypes(SELF,
D);
END_ENTITY.
r
Определение атрибута
SELRshapo_data_quality_criterion.assossmont_speciflcation — объект shape_data_quality_
assessment_byJogicalJest, который задает проверку, существует одно или более ребер, представлен
ных объектом edge, на которые имеется только одна ссылка из граней, что соответствует значению TRUE’
(истина), или не существует.
Формальные положения
WR1:Атрибут represontativo_moasured_value объекта shape_data_ quality_ inspection_criterion_
report, атрибут measured_value объекта shape_data_quality_inspoctionJnstanco_roportJtem и атри
буты measured_value всех объектов extrem ejnstanco. на которые ссылается объект instance_report_
item_with_extremeJnstances, во всех экземплярах, связанных с настоящим объектом, должны иметь
значение типа boolean_value (булево значение).
31