ГОСТР ИС0 18629-43—2011
Рисунок В.2 — Процесс изготовления двигателя GT-350 [5]
Ниже некоторые действия и данные технологического процесса изготовления двигателя представлены на
языке программирования PSL-Outercore:
(subactivity make
_
b!ock make
_
engine)
(subactivity make-harness make
_
engine)
(subactivity make-wires make
_
engine)
(subactivity assemble
_
engine make
_
eng»ne)
(forall (?occ)
(<=>(occurrence
_
of ?occ make
_
engine)
(exists {?occ1 ?occ2 ?occ3 ?occ4)
(and (occurrence
_
of ?occ1 make
_
block)
(occurrence
_
of ?occ2 make
_
harness)
(occurrence
_
of ?occ3 make
_
wires)
(occurrence
_
of ?occ4 assemb!e
_
engine)
(= (duration (beginof ?occ1) (endof ?occ1)) 10)
(= (duration (beginof ?occ2) (endof ?occ2)) 5)
{= (duration (beginof ?occ3) (endof ?occ3)) 12)
(= (beginof ?occ4) (time
_
add (endof ?occ3) 10))
(subactivity
_
occurrence ?occ1 ?occ)
(subactivity
_
occurrence ?occ2 ?occ)
(subactivity
_
occurrence ?occ3 ?occ)
(subactivity
_
occurrence ?occ4 ?occ)
(soo
_
precedes (soomap ?occ1) (soomap ?occ4) make
_
gt350)
(soo
_
precedes (soomap ?occ2) (soomap ?occ4) make
_
gt350)
(soo
_
precedes (soomap ?occ3) (soomap ?occ4) nrake
_
gt350)))))
(strong
_
parallet ?occ1 ?occ2 make
_
gt350)
(strong
_
parallel ?occ2 ?occ3 make
_
gt350)))))))
(forall (?occ)
(implies (occurrence
_
of make
_
engine)
(strong
_
poset ?occ)))
В данном представлении соотношение *soo
_
precedes» используется для спецификации упорядочи
вающих ограничений для событий «make
_
btock» (изготовление блока). «make
_
harness» (изготовление жгута),
«make
_
wires» (изготовление проводов) и «make
_
engine» (изготовление двигателя). Каждая стрелка на рисунке
В.2 соответствует формуле «soo
_
precedes». Функция «soomap» используется для выделения возможных много
значных событий.
29