ГОСТ Р ИСО 18629-44 - 2011
- act_.occ.th;
- complex.th;
- subactivity.th;
- occtree.th;
- disc_state.th;
- psl„core.th.
11.4 Дефинициональные расширения, обусловленные гомогенными
множествами
Для данного расширения необходимы следующие дефинициональные
расширения:
- subst res.def;
- res set action.def;
- res_divisible.def.
11.5 Определения для гомогенных множеств
Для гомогенных множеств определены нижеследующие понятия.
11.5.1 pile
Какой-либо набор ресурсов является «множественным» по отношению к
некоторому действию тогда и только тогда, когда он является гомогенным
набором по отношению к данному действию, а предоставление ресурса
эквивалентно количеству элементов набора.
(forall (?а ?r) (iff (pile ?r ?а)
(and (homogeneous_set ?r ?a)
(forall (?q ?occ)
(iff (prior (resource_point ?r ?q) ?occ)
(=?q (cardinality ?i)))))
11.5.2 stock
Какой-либо набор ресурсов является «резервным» по отношению к
некоторому действию тогда и только тогда, когда он является гомогенным
набором по отношению к данному действию, существует какой-либо набор
ресурсов с количеством элементов, равным запросу, а совокупный запрос равен
количеству элементов набора.
28