ГОСТ Р ИСО 18629-12—2010
(subactivity make-chassis make_gt350)
{subactivity make-interior make_gt350)
(subactivity make-dnve make_gt350)
(subactivity make-trim make_gt350)
(subactivity make-engine make_gt350)
(subactivity final-assembly make_gt350)
(forall (?occ)
(<=> (occurrence_of ?occ make_gt350)
(exists (?occ1 ?occ2 ?occ3 ?occ4 ?occ5 ?occ6)
(and (occurrence_of ?occ1 make chassis)
(occurrence_of ?occ2 makejnterior)
(occurrence_of ?occ3 make_drive)
(occurrence_of ?occ4 make_trim)
(occurrence_of ?occ5 make_engine)
(occurrence_of ?occ6 final_assembly>
(subactivity_occurrence ?occ1 ?occ)
(subactivity_occunence ?occ2 ?occ)
(subactivity_occurreoce ?occ3 ?occ)
(subactivity_occurrence ?occ4 ?occ)
(subactivity_occurrence ?occ5 ?occ)
(subactivity_occurrence ?occ6 ?occ)
(forall (?s1 ?s2 ?s3 ?s4 ?s5 ?s6)
(implies (and (leaf_occ ?s1 ?occ1)
(leaf_occ ?s2 ?ooc2)
(leaf_occ ?s3 ?occ3)
(leaf_occ ?s4 ?occ4)
(leaf_occ ?s5 ?occ5)
(rool_occ ?s6 ?occ6))
(min_precedes ?s1 ?s6 make_gt350)
(min_precedes ?s2 ?s6 make_gt350) (min
precedes ?s3 ?s6 make_gt350)
(min_precedes ?s4 ?s6 make_gt350)
(min_precedes ?s5 ?s6 make_gt350)))))>)
Каждая абстрактная деятепьность. указанная выше, может быть детализирована, однако в настоящем
примере данная детализация не рассматривается.
На основе представления в терминах процесса IDEF3 (1) для абстрактных деятельностей на разных этапах
производственного процесса приведен ряд примеров описания процесса с использованием внешнего ядра PSL.
представленного в настоящем стандарте.
С.2 Абстрактная деятельность make-engine
Двигатель 350-Engine собирают из компонентов, изготовленных разными отделениями компании CMW. Схе
ма процесса производства изображена на рисунке С.2. Деталь состоит из блока двигателя, жгута и проводки. Сборку
двигателя 350-Engine выполняют на сборочной площадке А004. На сборку одного изделия требуется 5 мин.
Рисунок С.2 — Процесс изготовления двигателя 350-Engine
28