ГОСТ Р ИСО 18629-14—2011
Далее приведено PSL-представление, основанное на внешнем ядре для некоторых операций и производ
ственной информации на этапе изготовления блока цилиндров:
(subactivity produce_molded_metal make_block)
(subactivity machine_block make_block)
(pnmitive machlne_block)
(primitive produce_molded_metal)
(forall (?occ)
(implies (occurrence_of ?occ make_block)
(exists (?occ1 ?occ2 ?r1 ?r2)
(and (occurrence_of ?occ1 produce_mok3ed_metal)
(occurrence_of ?occ2 machme_block)
(piece_metal ?r1)
(requires produce_molded_metal ?r1)
<= (demand ?occ1 ?r1)2)
(block ?r2)
(requires macnlne_btock ?r2)
(a (demand ?occ2 ?r2) 1)
(mln_precedes ?occ1 ?ooc2 make_block)))>)
Данное представление формализует процесс, изображенный на рисунке В.З.
Процесс make_block требует привлечения двух ресурсов: металлической детали-заготовки и блока цилин
дров. В частности, любой элемент процесса make_block требует наличия одного блока цилиндров и двух металли
ческих деталей.
В.2.2 Абстрактная операция «Изготовление жгутов»
Жгуты изделия GT-350 изготовляют в виде подсборки двигателя этого изделия, что предусматривает работы
кабельной мастерской (см. рисунок В.4). Рисунок В.5 более подробно иллюстрирует процесс изготовления жгута,
сборку которого выполняет монтажник а кабельной мастерской, что занимает у него 10 мин на один комплект.
Рисунок В.4 — Блок-схема процесса изготовления жгутов для изделия GT-350 (8]
Далее приведено PSL-представпение. основанное на внешнем ядре для некоторых операций и производ
ственной информации на этапе изготовления жгутов.
(subactivity make_hamess_wire make_hamess)
(subactivity assemble_harness make_harness)
(pnmitive assemble_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_hamess_wire ?r)
(occurrence_of ?occ2 assemblejiarness)
(requires assemble_harness ?r)
(leaf_occ ?occ3 ?occ1)
(mm_precedes ?occ3 ?occ2 make_harness)))))
(forall (?occ ?r ?q)
16