ГОСТ Р ИСО 18629-14—2011
(implies (and (occurrence_of ?осс assembte_hamess)
(requires assemble_hamess ?r)
(pnor (resource_point ?r ?q> ?occ))
(bolds (resource_point ?r ?q) ?occ)))
Данное представление формализует процесс, изображенный на рисунке B.S.
Процесс assemble_harness требует привлечения одного ресурса — жгута. Поскольку этот ресурс использует
ся в этом процессе и не расходуется, то обьем ресурса (определенный функцией resource_point) не изменяется при
любом элементе процесса assemble_hamess.
Рисунок В.5 — Блок-схема процесса изготовления жгута проводки (8]
В.2.3 Изготовление жгутов проводки
Комплект жгутов проводки для изделия GT-350 изготовляют в виде подсборки двигателя этого изделия, что
предусматривает работы кабельной мастерской.
Рисунок В.6 — Блок-схема процесса изготовления проводов для изделия GT-350 (8J
Далее приведено PSL-представление. основанное на внешнем ядре для некоторых операций и производ
ственной информации на этапе изготовления проводов.
(subactivity extrude make_harness_wire)
(subactivity twist make_hamess_wire)
(subactivity jacket make_harness_wire)
(primitive extrude)
(primitive twist)
(primitive jacket)
(forall (?occ)
(<s>
(occurrence_of ?occ make_harness_wire)
(exists (?occ1 ?occ2 ?occ3)
(and (occurrence_of ?occ1 extrude)
(occurrence_of ?occ2 twist)
(occurrence_of ?occ3 jacket)
(min^precedes ?occ1 ?occ2 make_harness_wire)
(min_precedes ?occ2 ?occ3 make_barness_wire))))
17