ГОСТ Р ИС018629-41—2011
Представление некоторых действий и технологических данных на языке PSL:
(subactivity produce_molded_metal make_b»ock)
(subactivity machine_block make_block)
(primitive machir>e_block)
(primitive produce_nx>lded_metal)
(perfornred machine_block)
(performed produce_molded_metal)
(forall (?occ)
(implies (occurrence_of ?occ make_btock)
(permuted ?occ)))
(forall (?occ)
(implies (occunence_of ?occ make_Wock)
(ordered ?occ)))
(forall (?occ)
(implies (occunence_of ?occ make_bkxk)
(rigid ?occ)))
(forall (?occ)
(implies (occurrence_of ?occ make_btock)
(amorphous ?occ)))
(uniform make_block)
(unrestricted make_block)
(not (atomic make_block))
(forall (?occ)
(iff (occurrence_of ?occ make_block)
(exists (?occ1 ?occ2)
(and (occurrence_of ?occ1 produce_molded_metal)
(occurrence_of ?occ2 machine_block)
(min_precedes ?occ1 ?occ2 make_block)))))
Данное представление формализует технологический процесс на рисунке В.З.
Все события действия «птаке_Ыоск» являются перестановочными, так как все поддействия имеют место,
как тольхо действие «таке_Ыоск» имеет место.
Все события действия omake_engine» упорядочены, так как поддействие •xproduce_mo!ded_metal» (прес
сование металлической заготовки) должно иметь место до поддействия *machine_block» (механическая обра
ботка блока).
Ни одно из указанных поддействий не может происходить совместно с каким-либо другим поддействием.
Таким образом, все неделимые поддействия являются выполнимыми, а все события действия «таке_Ыоск»
являются жесткими.
Внутри действия «таке_Ыоск» итерации отсутствуют. Следовательно, все события аморфны.
Любое событие действия «таке_Ыоск» содержит события с тем же набором поддействий и с теми же
упорядочивающими ограничениями. Таким образом, действие «make_block» является однородным.
Отсутствуют внешние события, необходимые или запрещенные по отношению к действию «make_blockn.
Следовательно, оно является несвязанным.
В.4 Действие «make_harness» (изготовление жгута)
Жгут изделия GT-350 (см. рисунок В.4) изготовляют как сборочный агрегат двигателя изделия GT-350. Дан
ный технологический процессорганизован в цехе кабелей и проводов. Рисунок В.5 представляет процесс изготов
ления провода жгута. Жгут изделия GT-350 собирают на особом стенде из проводов и кабелей. Сборка
одного жгута требует 10 мин.
Рисунох В.4 — Процесс изготовления жгута изделия GT-350
37