ГОСТ Р ИСО 18629-13-2011
многочисленных элементов субопераций.
Кроме того, это представление указывает, что продолжительность
элементасубоперацииmake_blockсоставляет10единицвремени,
продолжительность элемента субоперации make harness - 5 единиц времени,
а продолжительность элемента субоперации make wires - 12 единиц времени.
Кроме того, это представление использует символ функции time.add для
указания того, что элемент субоперации assemble engine начинается на 10
единиц времени позже элемента make_wires.
В.1.2 Абстрактная операция «Изготовление блока цилиндров»
Блок цилиндров изделия GT-350 изготовляют в виде подсборки двигателя
этого изделия, что предусматривает работы литейного производства и цеха
механообработки (см. рисунок В.З).
Рисунок В.З - Блок-схема процесса изготовления блока цилиндров изделия GT-350 [8]
ДалееприведеноPSL-представлениепродолжительностии
упорядочениянекоторыхоперацийисвязаннойспроизводством
информации на этапе изготовления блока цилиндров:
(subactivity produce_molded_metal make_block)
(subactivity machine_block make_block)
(primitive machine_block)
(primitive produce_mo!ded_metal)
(forall (?occ)
(<=> (occurrence_of ?occ make_block)
(exists (?occ1 ?occ2)
(and (occurrence_of ?occl produce_molded_metal)
(occurrence_of ?occ2 machine_block)
(= (beginof ?occ2) (time_add (endof ?occl) 12))
(soo_precedes (soomap ?occ1) (soomap ?occ2) make_block)))))
36