ГОСТ Р ИСО 18629-44 - 2011
6.5.3 renewable
Какой-либо ресурс ?г является обновляемым по отношению к некоторому
действию ?а, если какое-либо другое действие, также требующее ?г, может
быть выполнено после завершения действия ?а в любом случае в будущем
при отсутствии помех.
Пример - Обновляемым ресурсом является солнечная батарея. Если ее заряд
истощен, то всегда есть возможность в будущем перезарядить батарею (с
помощью солнца), тогда ею снова можно будет пользоваться.
(forall (?г ?а1) (iff (renewable ?r ?а1)
(forall (?a2 ?occ1 ?occ2)
(implies (and (common ?a1 ?a2 ?r)
(subactivity ?a1 ?a)
(subactivity ?a2 ?a)
(occurrence_of ?occ2 ?al))
(forall (?b)
(implies (exists (?occ3)
(and(subactivity_occurrence ?occ3 ?b)
(occurrence_of ?b ?a)
(precedes ?occ2 ?occ3))
(poss ?a2 ?occ3))))))
6.5.4weakly reusable
Какой-либо ресурс ?r является слабо используемым повторно действием
?а, если какое-либо другое действие, также требующее ?г, может быть
выполнено после завершения ?а в любом случае в будущем, но при отсутствии
помех.
Пример - Слабо используемый повторно ресурс появляется там, где имеются
помехи для обновления ресурса. Например, кистью для рисования можно пользоваться
повторно только после отмачивания ее в растворителе. В противном случае она
становится непригодной.
(forall (?г ?а1) (iff (weakly_reusable ?r ?а1)
(forall (?a2 ?occ1 ?occ2)
(implies (and (common ?al ?a2 ?r)
(subactivity ?a1 ?a)
(subactivity ?a2 ?a)
(occurrence_of ?occ2 ?al))
11