ГОСТ Р ИСО 18629-44 - 2011
UotpМитям
-I
✓
\
K u iu iN iim i ь
/
жгута
\
*
М И Ш » Ч 1Я И »
- U__________
_
^ 1
_
1
__________
И 1гаг«*.дои.
npo>»«« K tTU
C’Otfua
x r r u
Рисунок В.4- Процесс изготовления жгута изделия GT-350 [4]
Ниже дано представление некоторых действий и соответствующих
технологических данных на языке программирования PSL-Outercore:
(resource_path make_harness)
(pro_precedes make_harness_wire assemble_harness make_harness)
(subactivity make_harness_wire make_harness)
(subactivity assemble_harness make_harness)
(primitiveassemble_harness)
(forall (?r)
(implies (harness ?r)
(wearable ?r make_harness)))
(forall (?occ)
(implies (occurrence_of ?occ make_harness)
(exists (?occ1 ?occ2 ?occ3 ?r)
(and (occurrence_of ?occ1 make_harness_wire)
(harness ?r)
(requires make_harness_wire ?r)
(occurrence_of ?occ2 assemble_harness)
(requires assemble_harness ?r)
(leaf_occ ?occ3 ?occ1)
(min_precedes ?occ3 ?occ2 make_harness)))))
(forall (?occ ?r ?q)
(implies (and (occurrence_of ?occ assemble_harness)
(requires assemble_harness ?r)
(prior (resource_point ?r ?q) ?occ))
(holds (resource_point ?r ?q) ?occ)))
48