ГОСТ Р ИСО 18629-43—2011
Представление верхнего уровня технологического процесса на языке PSL имеет вид:
(subactivity make-chassis make
_
gt350)
(subactivity make-interior make
_
gt350)
(subactivity make-drive make
_
gt350)
(subactivity make-trim make
_
gt350)
(subactivity make-engine make
_
gt350)
(subactivity final-assembly make
_
gt350)
(forall (?occ)
(<=> (occurrence
_
of ?occ make
_
gt350)
(exists (?occ1 ?occ2 ?occ3 ?oco4 ?occ5 ?occ6)
(and (occurrence
_
of ?occ1 make
_
chassis)
(occurrence
_
of ?occ2 makejnterior)
(occurrence
_
of ?occ3 make
_
drive)
(occurrence
_
of ?occ4 makejrim)
(occurrence
_
of ?occ5 make
_
engine)
(occurrence
_
of ?occ6 final
_
assembly)
(subactivity
_
occurrence ?occ1 ?occ)
(subactivity
_
occurrence ?occ2 ?occ)
(subactivity
_
occurrence ?occ3 ?occ)
(subactivity
_
occurrence ?occ4 ?occ)
(subactivity
_
occurrence ?occ5 ?ooc)
(subactivity
_
occurrence ?occ6 ?ooc)
(soo
_
precedes (soomap ?occ1) (soomap ?occ6) make
_
gt350)
(soo
_
precedes (soomap ?occ2) (soomap ?occ6) make
_
gt350)
(soo
_
precedes (soomap ?occ3) (soomap ?occ6) make
_
gt350)
(soo
_
precedes (soomap ?occ4) (soomap ?occ6) make
_
gt350)
(soo
_
precedes (soomap ?occ5) (soomap ?occ6) make
_
gt350)
(strong
_
parallel ?occ1 ?occ2 make
_
gt350)
(strong
_
paraltel ?occ2 ?occ3 make
_
gt350)
(strong
_
parallel ?occ3 ?occ4 make
_
gt350>
(strong
_
parallel ?occ4 ?occ5 make
_
gt350)))))))
(forall (?occ)
(implies (occurrence
_
of make
_
gt350)
(strong
_
poset ?occ)))
В данном представлении соотношение «soo
_
precedes» используется для спецификации упорядочиваю
щих ограничений для событий «make
_
chassis» (изготовление шасси), «makejnterior» (изготовление интерьера).
*make
_
dnve» (изготовление привода). «make
_
enginea (изготовление двигателя) и «final
_
assembly» (окончатель
ная сборка). Каждая стрелка на рисунке В.1 соответствует формуле «soo
_
precedes». Функция «soomap» исполь
зуется для выделения возможных многозначных событий.
Все поддействия «make
_
chassis», «makejnterior», «make
_
drive» и «make
_
engine» выполняются парал
лельно. Поэтому их упорядочивающие ограничения описываются соотношением «strong
_
paralleto. Событие
«make
_
gt350» (изготовление изделия GT-350) является сильным «poset» (часгично упорядоченным множеством),
так как все параллельные поддействия должны закончиться до начала «final
_
assembly» (окончательной
сборки).
Каждое указанное абстрактное действие можно детализировать далее. Однако в рамках примера в дан
ном приложении указанная детализация не рассматривается.
На базе представления IDEF3 (в терминах представления технологического процесса) для краткого описа
ния действий, встречающихся на различных стадиях процесса изготовления изделия, в настоящем стандарте
приведены некоторые примеры использования языка программирования PSL-Outercore в соответствии с ИСО
18629-12.
В.2 Абстрактноедействие «make
_
engine» (изготовление двигателя)
Двигатель изделия GT-350 собирается из агрегатов, изготовленных в нескольких подразделениях предпри
ятия. Схема процесса изготовления дана на рисунке В.2. Агрегат состоит из двигательного блока, жгутов и кабе
лей. Составляющие процессы детально рассмотрены в подразделах ниже. Двигатель изделия GT-350
собирает ся на сборочном стенде A0Q4. Сборка одного двигателя требует 5 мин.
28