ГОСТ Р ИСО 18629-44 - 2011
(forall (?s1 ?s2 ?s3 ?s4)
(implies (and(leaf_occ ?s1 ?occ1)
(leaf_occ ?s2 ?occ2)
(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)))))
Данноепредставлениеформализуеттехнологическийпроцесс,
представленный на рисунке В.2.
Процесс изготовления двигателя требует четыре ресурса: блок двигателя,
жгут, набор проводов и производственный участок. Производственный участок
является повторно используемым ресурсом. Ресурс «engine_block» (блок
двигателя)является«possibly„consumable»(возможнопотребляемым
ресурсом), так как он может быть использован повторно в будущем при
модификации данного блока.Однако данныйресурс не может быть
использован всеми действиями (после того как некоторые изменения в него
были внесены). Ресурс «harness» (жгут) является «consumable» (потребляемым
ресурсом), так как никакие последующие действия не смогут использовать жгут
повторно после его установки. Ресурс «wires» (набор проводов) -это
изнашиваемый ресурс, так как в результате многократного совершенствования
процесса «make_engine» (изготовление двигателя) количество проводов в
наборе ресурсов уменьшается.
Все указанные ограничения показывают, что действие «make_engine»
является действием процессора, в котором жгут и провод являются входными
материалами. Объект «engine block» (блок двигателя) является одновременно
и входным материалом, и выходным материалом, так как он модифицируется в
процессе изготовления двигателя «make engine».
Провода представляют собой некоторый набор ресурсов, так как любой
поднабор проводов может быть потреблен в процессе «make engine». Данный
набор ресурсов-это «pile» («куча»).
В.2.1 Изготовление блока двигателя «таке_Ыоск»
Б
л
ок
изделия GT-350 выполняется как агрегат для сборки двигателя
изделия GT-350. Изготовление блока требует выполнения всех технологических
операций, начиная от литья заготовки и ее механической обработки (см.
45