ГОСТ Р ИСО 18629-14—2011
Далее приведено PSL-представление. основанное на внешнем ядре для некоторых операций и производ
ственной информации на этапе изготовления двигателя.
(subactivity make_block make_engine)
(subactivity make-harness make_engme)
(subactivity make-wires make_engine)
(subactivity assembte_engme make_engine)
(and (requires make_engme ?r1)
(forall (?r)
(implies <engme_block ?r)
(resource ?r)))
(forall (?r)
(implies (harness ?r)
(resource ?r))
(forall <?r ?s)
(implies (wire ?r)
(exists (?i)
(prior (resource_set ?l ?r) ?s)))
(forall (?occ)
(implies (occurrence_of ?occ make_englne)
(exists (?occ1 ?occ2 ?occ3 ?occ4 ?r1 ?r2 ?r3 ?i)
(and (occurrence_of ?occ
1
make_block)
(occurrence_of ?occ2 make_harness>
(occurrence_of ?occ3 make_wires)
(occurrence_of ?occ4 assemble_engine)
(subactivity_occurrence ?occ1 ?occ)
(subactivlty_occurrence ?occ2 ?occ)
(subactivlty_occurrence ?occ3 ?occ)
(subactivity_occurrence ?occ4 ?occ)
(requires make_engme ?r1)
(englne_block ?r1)
(= (demand ?occt ?r1) 1)
(requires make_englne ?r2)
(= (demand ?occ2 ?r2) 1)
(harness ?r2)
(requires make_englne ?r3)
(prior (resource_set ?i ?r3) ?occ3)
(prior (resource_point ?r3 5) ?occ3))»)
Это представление формализует процесс, изображенный на рисунке В.2.
Процесс make_engme требует привлечения трех ресурсов: блока цилиндров, жгутов, комплекта проводов и
гибкого производственного модуля. В частности, любой элемент процесса make_engme требует наличия одного
блока цилиндров, одного жгута и комплекта проводов. Перед этим элементом должен быть в наличии комплект из
трех проводов, который составляет комплект ресурсов.
В.2.1 Абстрактная операция «Изготовление блока цилиндров»
Блок цилиндров изделия GT-350 изготовляют в виде подсборки двигателя этого изделия, что предусматрива
ет работы литейного производства и цеха механообработки (см. рисунок 8.3).
Рисунок В.З— Блок-схема процесса изготовления блока
цилиндров изделия GT-350 (10]
15