ГОСТ Р ИСО 18629-42—2011
Рисунок В.2 — Процесс изготовления двигателя изделия GT-350
Ниже представлены некоторые действия и данные технологического процесса изготовления двигателя на
языке PSL (внешнее ядро):
(subactivity make_block make_engine)
(subactivity make-hamess make_engine)
(subactivity make-wires make_er>gine)
{subactivity assembie_engine make_engine)
(uniform make_engine)
(unrestricted make_engine)
(not (atomic make_engine))
(forall (?occ)
(iff (occurrence_of ?occ make_engine)
(exists (?occ1 ?occ2 ?occ3 ?occ4)
(and (occurrence_of ?occ1 make_block)
(occurrence_of ?occ2 make_harness)
(occurrence_of ?occ3 make_wires)
(occurrence_of ?occ4 assemble_engine)
(subactivity_occurrence ?occ1 ?occ)
(subactivity_occurrence ?occ2 ?occ)
(subactivity_occurrence ?occ3 ?occ)
(subactivity_occurrence ?occ4 ?occ)
(forall (?s1 ?s2 ?s3 ?s4)
(implies (and (leaf_occ ?s1 ?occ1)
(leaf_occ ?s2 ?occ
2
)
(leaf_occ ?s3 ?occ3)
(root_occ ?s4 ?occ4))
(and (min_precedes ?s1 ?s4 make_engine)
(min_precedes ?s2 ?s4 make_engine)
(min_precedes ?s3 ?s4 make_engine)))))
B.3 Действие «make_block» (изготовление блока)
Блок изделия GT-350 выполняется как агрегат для сборки двигателя изделия GT-350. Изготовление блока
требует выполнения всех технологических операций, начиная от литья заготовки и ее механической обработки
(см. рисунок В.З).
59