ГОСТ Р ИСО 18629-41—2011
(forall (?осс)
(implies (occurrence_of ?осс make_engine)
(folded ?осс)))
(forall (?осс)
(implies (occurrence_of ?occ make_engine)
(amorphous ?occ)))
(uniform make_engine)
(unrestricted make_engine)
(not (atomic make_engine))
(forall (?occ)
(iff (occurrence_of ?occ make_engine)
(exists (?occ1 ?occ2 ?occ3 ?occ4)
(and (occurrence_of ?occ1 make_block)
(occurrence_of ?ooc2 make_harness)
(occurrence_of ?occ3 make_wires)
(occurrence_of ?occ4 assemble_engine)
(subactivity_occurrence ?occ1 ?occ)
(subactivity_occurrence ?occ2 ?occ)
(subactivity_occurrence ?occ3 ?occ)
(subactivity_occurrence ?occ4 ?occ)
(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.
Все события действия «make_engine» являются перестановочными, так как все лоддействия имеют место,
как только действие «make_engine» имеет место.
Все события действия «make_engine» упорядочены, так как поддействия «make_block» (изготовление бло
ка). «make_harness» (изготовление жгута) и «make_wires» (изготовление проводов) должны закончиться до под-
действия «assemble_engine» (сборка двигателя).
Любое поддействие может происходить совместно с каким-либо другим поддействием. Таким образом, все
неделимые лоддействия являются искусственными, а все события действия «make_engine» являются сложен
ными.
Внутри действия «make_engine» итераций нет. поэтому все события аморфны.
Каждое событие действия «make_engine« содержит события с тем же набором поддействий и с теми же
упорядочивающими ограничениями. Таким образом, действие «make_gt350» однородно. Оно может иметь мес то
влюбое время и при любых условиях.
Отсутствуют внешние события, необходимые или запрещенные по отношению к действию «make_engine».
Следовательно, оно является несвязанным.
В.ЗДействие «таке_Ыоск» (изготовление блока)
Блок изделия GT-350 выполняется как агрегат для сборки двигателя изделия GT-350. Изготовление блока
требует выполнения всех технологических операций, начиная от литья заготовки и ее механической обработки
(см. рисунок В.З).
Рисунок В.З — Процесс изготовления блока изделия GT-350
36