ГОСТ Р ИСО 10303-513—2009
CALL cyllnder_sphere_shell; - используются значения по умолчанию
IMPORT (shell_object:= @cyspshell;):
END_CALL;
CALL cyllnder_sphere_shell; - переустанавливаются параметры размеров
IMPORT (hoilowl .= @cyspshell;); -- большая пустота
WITH (ore := 10; rad .* 12; ht :* SO;);
END_CALL;
CALL cyllnder_8phere_shell; - переустанавливаются параметры размеров
(сфера для сферической пустоты)
IMPORT (sph2 := (gaphere.
И ;* @orc;
I2 ;* @ rad;);
WITH (ore:■ -5;rad ;* 10,);
END_CALL;
voldl := onented_closed_shell(Void1\hollowl. FALSE);
top_pt:= cartesian_pomt ("top_pt\ (11.11. (11 + I2)]);
lop_v .= vertex_po»nt (4op_v\ top_pt);
vJoop ;= vertexJoop (“^loop’. top_v);
a_bound := face_outer_bound <’s_bound’. vjoop. TRUE );
sp_face :* face_surface (’sp_face’, |s_boundJ. sph2, TRUE );
sp_shell := closed_shell <,3p_shel!’, (sp_face));
void2 :* or»ented_closed_shell (Void2’. sp_shell. FALSE);
cy1sp_with_void :=
manifokJ_solld_brep Ccylsp_w_v’. shell_obJect) ||
brep_wlth_volds ((void 1));
cy1sp_with_void8 ;=
manifold_30lid_brep (’cylsp_w_v8’. shetl_object)||
brep_with_voids ((void1. void2J);
its_units := lengm_unit()Hsl_untt(’milli’,’metre’);
contextl :» geometric_representatlon_context.
(’context_1\ ’context_tor_cylap_with_void\ 3) ||
global_unit_assigned_context ( [its_umts]);
context2 := geometric_representatlon_context.
(’context_1’. ‘contextJor_cylsp_with_voids\ 3) ||
global_umt_asslgned_context ( (its_units));
ebsrl := elementary_brep_shape_representatwn
( ’ebsrr, (cylsp_wlth_voldj, contextl ).
ebsr2 ;= elementary_brep_shape_representatton
(’ebsr2’. (cy1sp_with_voids). context2);
END_REALI2ATlON.
END_TEST_CASE;
<*
E.3.2.4 Критерии решения постпроцессора
EB6 — оболочка пустоты не должна пересекаться с внешней оболочкой; оболочка пустоты должна полнос
тью находиться внутри внешней оболочки.
ЕВ7 — оболочки пустот не должны пересекаться с внешней оболочкой или друг с другом, каждая оболочка
пустоты должна полностью находиться внутри внешней оболочки, два объекта elementary_brep_shape_
representation ebsrl и ebar2 не должны быть пространственно связаны
ЕВ8 — перпендикуляры к оболочкам пустотдолжны быть направлены внутрь пустот.
21