ГОСТ Р ИСО 18629-44 - 2011
- occtree.th;
-disc_.state.th;
- psl_core.th.
10.4 Дефинициональныерасширения,обусловленные
взаимозаменяемыми ресурсами
Для данного расширения необходимы: set._action.def.
10.5 Определения для взаимозаменяемых ресурсов
Для взаимозаменяемых ресурсов определены нижеследующие понятия.
10.5.1 superpose_select
Некоторое действие ?а осуществляет выбор с суперпозицией по
отношению к какому-либо набору ресурсов ?г тогда и только тогда, когда
каждое поддействие недетерминировано выбирает поднабор ресурсов из ?г.
Пример - Некоторое действие, требующее и рабочего, и токарный станок,
может выбрать нужный токарный станок из некоторого набора станков. Действия,
выбирающие каждый токарный станок, осуществляют выбор с суперпозицией.
(forall (?а ?r) (iff (superpose_select ?а ?г)
(forall (?а1 ?ocd)
(implies (and (occurrence_of ?occ1 ?a)
(subactivity ?a1 ?a)
(primitive ?a1))
(exists (?a2 ?r1 ?occ2)
(and {subactivity ?a1 ?a2)
(subactivity ?a2 ?a)
(occurrence_of ?occ2 ?a2)
(holds (resource_subset ?r1 ?r) (root_occ ?occ2))
(nondet_select ?a2 ?r1)))))))
10.5.2 homogeneous set
Какой-либо набор ресурсов является гомогенным тогда и только тогда,
когда он обусловлен действием, осуществляющим выбор с суперпозицией.
Пример - Для некоторого действия, требующего одного рабочего и один
токарный станок, набор из трех рабочих является гомогенным, набор из четырех
станков также является гомогенным. Вместе с тем набор из одного рабочего и
одного станка не является гомогенным.
(forall (?а ?r) (iff (homogeneous._set ?r ?а)
(exists (?а2)
(and (superpose_select ?a2 ?r)
(subactivity ?a ?a2)))))
26