ГОСТ Р ИС0 18629-41—2011
Рисунок В.6 — Процесс изготовления проводов изделия GT-350
Ниже дано представление некоторых действий и соответствующих технологических данных на языке
программирования PSL:
(subactivity extrude make_harness_\vire)
(subactivity twist make_harness_wire)
(subactivity jacket make_harness_wire)
(primitive extrude)
(primitive twist)
(primitive jacket)
(performed extrude)
(performed twist)
(performed jacket)
(forall (?occ)
(implies (occurrence_of ?occ make_hamess_wire)
(permuted ?occ)))
(forall (?occ)
(implies (occurrence_of ?occ make_harness_wire)
(ordered ?occ)))
(forall (?occ)
(implies (occurrence_of ?occ make_harness_wire)
(rigid ?occ)))
(forall (?occ)
(implies (occurrence_of ?occ make_harness)
(amorphous ?occ)))
(uniform make_harness_wire)
(not (unrestricted make_harness_wire))
(not (atomic make_hamess_wire))
(forall (?occ)
(iff (occun-ence_of ?occ make_harness_wire)
(exists (?occ1 ?occ2 ?occ3)
(and (occurrence_of ?occ1 extrude)
(occurrence_of ?occ2 twist)
(occurrence_of ?occ3 jacket)
(min_precedes ?occ1 ?occ2 make_harness_wire)
(min_precedes ?occ2 ?occ3 make_harness_wire))))
Данное представление формализует технологический процесс на рисунке В.5.
Все события действия «make_hamess_wires» являются перестановочными, так как все поддействия име
ют место, как только действие «make_hamess_wires» имеет место.
Все события действия *make_hamess_wireso упорядочены, так как поддействия «extrude» (вытяжка), «twist»
(скручивание) и «jacket» (нанесение изоляции) должны происходить в заданном порядке.
Ни одно из поддействий не может происходить совместно с каким-либо другим поддействием. Таким обра
зом. все неделимые поддействия являются выполнимыми, а все события действия «make_hamess_wires» явля
ются жесткими.
Внутри действия «make_harness_wires» итерации отсутствуют, поэтому все события являются аморфными.
Каждое событие действия «make_harness_wires» содержит события с тем же набором поддействий и с
теми же упорядочивающими ограничениями. Таким образом, действие «make_harness_wires» является одно
родным.
Установка и переключение действий должно происходить между какими-либо двумя событиями при вы
полнении действия «make_harness». Следовательно, оно является несвязанным.
39