ГОСТ Р ИСО 18629-44 - 2011
(forall (?r) (iff (inventory_resource ?r)
(exists (?a)
(or (input_material ?r ?a)
(output_material ?r ?a)))))
13.5.2 inventory_pool
Материально-производственный объединенный ресурс — это какой-либо
набор ресурсов, являющийся гомогенным по отношению к некоторому действию
?а. Его емкостные ограничения удовлетворяют следующим условиям:
- предоставлениеобъединенногоресурсаравномаксимальному
количеству элементов ассоциированного набора;
- совокупныйзапрособъединенногоресурсапередвыполнением
некоторого действия равен количеству элементов набора, ассоциированного с
ресурсом вданном состоянии;
- запрос объединенного ресурса некоторым действием равен количеству
элементов набора ресурсов, обусловленного данным действием;
- минимальнаяемкостьобъединенногоресурсаэквивалентна
минимальному количеству элементов ассоциированного набора.
Пример - В типовом производственном случае объединенные материально-
производственные ресурсы представляют собой резервные запасы материалов и
прочие наборы входных и выходных материалов.
(forall (?r ?а) (iff (inventory_poot ?r ?а)
(forall (?i ?occ)
(implies (holds (resource_set ?i ?r) ?occ)
(and (inventory_resource ?r)
(homogeneous_set ?r ?a)
(forall (?q1)
(implies (holds (resource_point ?r ?q1) ?occ)
(greaterEq ?q1 (cardinality ?i))))
(stock ?r ?a)
(forall (?a ?q4)
(implies (holds (min_capacity ?a ?r ?q4) ?occ)
(lesserEq ?q4 (cardinality ?i))))))))))
13.5.3 inventory_contains
Ресурсявляетсясодержащимсявобъединенномматериально
производственном ресурсе, если он входит в набор ресурсов, ассоциированный
сданным материально-производственным ресурсом.
(forall (?г
1
?г2 ?осс)
(iff (state (inventory_contains ?r1 ?r2) ?occ)
34