ГОСТ Р ИСО 18629-42—2011
В.5 Действие «make_harness_wire» (изготовление провода жгута)
Набор проводов изделия GT-350 изготовляют как сборочный агрегат изделия GT-350. Технологический
процесс организуют в цехе проводов и кабелей (см. рисунок 6).
Рисунок В.6 — Процесс изготовления проводов изделия GT-350
Ниже дано представление некоторых действий и соответствующих технологических данных на языке PSL
(внешнее ядро):
(subactivity extrude make_harness_wire)
(subactivity twist make_harness_wire)
(subactivity jacket make_harness_wire>
(primitive extrude)
(primitive twist)
(primitive jacket)
(unconstrained extrude)
(forall (?occ)
(poss extrude ?occ))
(time_effects extrude)
(forall (?occ)
(implies (and (occurrence_of ?occ extrude)
(= (beginof ?occ) 0700))
(holds (temperature wire 100) ?occ)))
(unconstrained twist)
(forall (?occ)
(poss twist ?occ))
(context_free twist)
(unconstrained jacket)
(forall (?occ)
(poss jacket ?occ))
(forall (?occ)
(iff (occunence_of ?occ make_hamess_wire)
(exists (?occ1 ?ooc2 ?occ3)
(and (occurrence_of ?occ1 extrude)
(occurrence_of ?occ2 twist)
(occurrence_of ?occ3 jacket)
(min_precedes ?occ1 ?occ2 make_harness_wire)
(min_precedes ?ooc2 ?occ3 make_harness_wire))))
Данное представление формализует технологический процесс, представленный на рисунке В.5.
Составляющие действия «extrude» (вытяжка), «twist» (скручивание) и «jacket» (нанесение изоляции) всегда
возможны. Следовательно, эти действия являются неограниченными.
Составляющее действие «twist» (скручивание) всегда имеет один и тот же эффект. Указанное действие
является свободным в данном контексте (oontext_free).
Эффекты составляющего действия «extrude» (вытяжка) зависят от времени его выполнения (в момент вре
мени 0700 провод имеет температуру 100 ’С). Таким образом, это действие с эффектами, зависящими от времени
(time_effect).
62