ГОСТ Р ИС0 18629-41—2011
Любое лоддействие может происходить совместно с каким-либо другим поддействием. Таким образом, все
неделимые поддействия являются искусственными, а все события, заключающиеся в выполнении действия
*make_gt350» (изготовление изделия GT-350). являются сложенными.
Внутри действия «make_gt350» итераций нет. поэтому все события аморфны.
Поддействие «make_engine» (изготовление двигателя) не выполняется, если двигатель уже существует.
Таким образом, не все события для действия «make_gt350» содержат события с одинаковым набором поддей
ствий и с одинаковыми ограничениями упорядочивания. Поэтому действие «make_gt350» не является однород
ным.
Не существует внешних событий (заключающихся в выполнении действия), необходимых или запрещенных
по отношению к действию «make_gt350». Следовательно, оно является несвязанным.
Каждое указанное абстрактное действие может быть рассмотрено в деталях. Однако в примере данного
приложения все эти действия не рассматриваются.
На базе представления IDEF3 (в терминах представления технологического процесса) для краткого описа
ния действий, встречающихся на различных стадиях процесса изготовления изделия, в настоящем стандарте
приведены некоторые примеры использования языка программирования PSL-Outercore в соответствии с ИСО
18629-12.
В.2 Абстрактноедействие «make_engine* (изготовление двигателя)
Двигатель изделия GT-350 собирается из агрегатов, изготовленных в нескольких подразделениях предпри
ятия. Схема процесса изготовления дана на рисунке В.2. Агрегат состоит из двигательного блока, жгутов и кабе
лей. Составляющие процессы детально рассмотрены в подразделах ниже. Двигатель изделия GT-350
собирает ся на сборочном стенде А004. Сборка одного двигателя требует 5 мин.
Рисунок В.2 — Процесс изготовления двигателя GT-350 [5]
Ниже представлены некоторые действия и данные технологического процесса изготовления двигателя на
языке PSL:
(subactivity make_block make_engine)
(subactivity make-harness make_engine)
(subactivity make-wires make_engine)
(subactivity assemble_engine make_engine)
(artificial make_btock)
(artificial make_harness)
(artificial make_wires)
(forall (?occ)
(implies (occurrence_of ?occ make_engine)
(permuted ?occ)))
(forall (?occ)
(implies (occurrence_of ?occ make_engine)
(ordered ?occ)))
35