ГОСТ Р И С 010303-59—2012
EXPRESS-специФикация:
•)
ENTITY non_manifold_at_vertex
SUBTYPE OF(inapt_topok>gy):
SELF\shape_data_quality_criterion.assessment_specification:
shape_data_quality_assessment_by_logical_tGst;
WHERE
WR1: validate_measured_data_type(SELF,
•SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.BOOLEAN_VALUE‘);
W R2:validate_inspected_elements_type(SELF.
(TOPOLOGY_SCHEMA.CONNECTED_FACE_SETl);
WR3. validate_k>cations_of_extreme_value_type(SELF.
rrOPOLOGY_SCHEMA.VERTEX_POINT]);
W R4: validate accuracy_types(SELF,
П):
END_ENTITY:
(*
Определениеатрибута
SELRshape_data_quality_criterion.assossmont_specification — объект shape_data_quality_
assessment_by_logical_test. задающий проверку, содержит ли проверяемый связный набор граней, пред
ставленный объектом connected_face_sot, одну или более вершин, в которой грани соединяются в не-
манифолд ситуации, что соответствует результату TRUE’ (истина), или не содержит
Формальные положения
WR1:Атрибут representative_measured_value объекта shapo_data_quality_inspection_criterion_
report, атрибут measured_value объекта shape_data_quality_lnspectionJnstance_report_item и атри
буты measurod_value всех объектов extremeJnstanco. на которые ссылается объект instance_report_
item_with_extreme_instancos. во всех экземплярах, связанных с настоящим объектом, должны иметь
значение типа boolean_value (булево значение).
WR2: Все объекты, играющие роль атрибута inspectod_elements во всех экземплярах объекта
shapo_data_quality_inspection_instance_report_item. связанных с настоящим объектом, должны быть
объектами типа connected_face_set.
WR3: Во всех объектах lnstance_reportJtem_with_extreme_instances. связанных с настоящим
объектом, во всех объектах типа extremeJnstance, на которые ссылается объект instance_report_item_
with_extremeJnstancos. объекты, на которые ссылается атрибут locations_of_extreme_value, должны
быть объектами типа vertex_point. Это означает, что одна или более из смежных с вершиной граней,
представленныхобъектом face, является не-манифодд.
52