ГОСТ Р ИСО 18629-42—2011
Рисунок В.З — Процесс изготовления блока изделия GT-350
Представление некоторых действий и технологических данных на языке PSL (внешнее ядро):
{subactivity produce_molded_metal make_block)
{subactivity machine_b!ock make_block)
(primitive machine_btock)
{primitive produce_molded_metal)
(uniform make_b!ock)
(not (atomic make_block))
(forall (?occ)
(iff
(occurrence_of ?occ make_btock)
(exists (?occ1 ?occ2)
(and (occurrence_of ?ooc1 produce_molded_metal)
(occurrence_of ?occ2 machine_block)
(min_precedes ?occ1 ?occ2 makettfock)))))
(markov_precond machine_block)
(forall (?occ)
(implies (and
(occurrence_of ?occ machme_b»ock)
(legal ?occ))
(prior molded ?occ)))
(markov_effects machine_btock)
(implies (and (occurrence_of ?occ machme_btock)
(legal ?occ))
(holds finished ?occ)))
(markov_precond produce_moWed_metal)
(implies (and (occurrence_of ?occ machine_block)
(legal ?occ))
{prior cast ?occ)))
(markov_effects produce_molded_metal)
(implies (and (occurrence_of ?occ machine_bk)ck)
(legal ?occ))
(holds molded ?occ)))
Данное представление формализует технологический процесс, показанный на рисунке В.З.
Составляющее действие «produce_molded_metal» (прессование металлической заготовки) имеет входное
условие, в соответствии с которым прессованию должно предшествовать литье. Таким образом, это есть действие
с марковскими входными условиями (markov_precond).
Составляющее действие «produce_molded_metal» имеет эффект, заключающийся в том. что штамповка
блока происходит после предварительного прессования металлической заготовки (допустимое событие). Это
есть марковский эффект действия (markov_effect).
Составляющее действие «machine_block» (механическая обработка блока) имеет входное условие, в соот
ветствии с которым до механической обработки блок штампуется (допустимое событие). Это есть действие с
марковскими входными условиями.
60