ГОСТ Р ИСО 18629-41—2011
Ниже дано представление некоторых действий и соответствующих технологических данных на языке PSL:
(subactivity make_harness_wire make_hamess)
(subactivity assemb!e_harness make_harness)
(primitive assemble_harness)
(performed make_harness_wire)
(performed assemble_harness)
(forall (?occ)
(implies (occurrence_of ?occ make_hamess)
(permuted ?occ)))
(forall (?occ)
(implies (occurrence_of ?occ make_harness)
(ordered ?occ)))
(forall (?occ)
(implies (oocurrence_of ?occ make_hamess)
(rigid ?occ)))
(forall (?occ)
(implies (occurrence_of ?occ make_hamess)
(amorphous ?occ)))
(uniform make_harness)
(unrestricted make_hamess)
(not (atomic make_hamess))
(forall (?occ)
(iff (occurrence_of ?occ make_harness)
(exists (?occ1 ?occ2 ?occ3)
(and (occurrence_of ?occ1 make_harness_wire)
(occurrence_of ?occ
2
assemble_harness)
(leaf_occ ?occ3 ?occ1)
(min_precedes ?occ3 ?occ2 make_harness)))))
Данное представление формализует технологический процесс на рисунке В.5.
Все события действия «make_hamess» (изготовление жгута) являются перестановочными, так как все под
действия имеют место, как только действие «make_hamess» имеет место.
Все события действия «make_hamess» упорядочены, так как поддействие «make_harness_wire» (изготов
ление провода жгута) выполняется до действия (assemble_harness) сборка жгута.
Ни одно из поддействий не может выполняться совместно с какими-либо другими поддействиями. Таким
образом, все неделимые поддействия являются выполнимыми, а все события действия «make_hamess» явля
ются жесткими.
Так как внутри действия «make_harness» итераций нет. то все события являются аморфными.
Каждое событие действия «make harness» содержит события с тем же набором поддействий и с теми же
упорядочивающими ограничениями. Таким образом, действие «make_hamess» является однородным.
Отсутствуют внешние события, необходимые или запрещенные по отношению к действию «make_harness».
Следовательно, оно является несвязанным.
Рисунок В.5 — Процесс изготовления провода жгута
В.5 Действие «make_harness_wire» (изготовление провода жгута)
Набор проводов изделия GT-350 изготовляют как сборочный агрегат изделия GT-350. Технологический
процесс организуют в цехе проводов и кабелей.
38