ГОСТР ИС0 18629-43—2011
Ниже дано представление некоторых действий и соответствующих технологических данных на языке про
граммирования PSL-Outercore:
(subactivity make
_
harness
_
wire make
_
harness)
(subactivity assemble
_
harness make
_
harness)
(primitive assemble
_
harness)
(foraJI (?occ)
(<=> (occurrence
_
of ?occ make
_
harness)
(exists {?occ1 ?occ2 ?occ3)
(and (occurrence
_
of ?occ1 make
_
hamess
_
wire)
(occurrence
_
of ?occ2 assemble
_
harness)
(leaf
_
occ ?occ3 ?occ1)
(soo
_
precedes (soomap ?occ3) (soomap ?occ2) make
_
harness)))))
Данное представление формализует спецификацию технологического процесса на рисунке В.5. В данном
представлении соотношение «soo
_
precedes» используется для спецификации упорядочивающих ограничений
для событий «make
_
hamess
_
wires» (изготовление проводов жгута) и *assembte
_
wires» (сборка проводов). Каж
дая стрелка на рисунке В.5 соответствует формуле «soo
_
precedes». Функция «soomap» используется для выде
ления возможных многозначных событий.
В.5 Изготовление проводов жгута
Набор проводов изделия GT-350 изготовляют как сборочный агрегат изделия GT-350. Технологический
процесс организуют в цехе проводов и кабелей.
Ииишимив
52.18
у**’
БЫтона
—*•
Сцу—мннв
—*•
Ц Д Д Щ |Ц
—k*
Сбора
16.1да | 18.1*81 18.120| 18.1211
Рисунок В.6 — Процесс изготовления проводов изделия GT-350 [5]
Ниже дано представление некоторых действий и соответствующих технологических данных на языке про
граммирования PSL-Outercore:
(subactivity extrude make
_
harness
_
wire)
(subactivity twist make
_
harness
_
wire)
(subactivity jacket make
_
harness
_
wire)
(primitive extrude)
(primitive twist)
(primitive jacket)
31