ГОСТР ИС0 18629-43—2011
- act
_
occ.th;
- complex.th;
- atomic.th;
- subactivity, th:
- occtreo.th;
- psl
_
core.th.
11.4 Дефинициональныв расширения, обусловленные упорядочиванием и ограничениями
продолжительности событий
Для данного расширения необходимо иметь:
- permute.def.
11.5 Определения упорядочивания и ограничений продолжительности событий
Для упорядочивания иограничений продолжительностисобытий определены нижеследующие поня
тия.
11.5.1 ordered
_
duration
Некоторое действие имеет упорядоченную продолжительность тогда и толькотогда, когда все ветви
автоморфных событий имеют одинаковую продолжительность.
(forall (?а) (iff(orderod
_
duration ?а)
(forail (?осс1 ?осс2)
(implies (and (occurrence ?осс1 ?а)
(occurrence ?осс2 ?а)
(branch
_
automorphic?а ?осс1 ?осс2))
(duratton
_
equiv?осс1 ?осс2)))))
11.5.2 partial
_
ordered
_
duration
Некотороедействие имеет контекстную продолжительность тогда итолько тогда, когда существуют
события, для которых все ветви автоморфных событий имеют одинаковую продолжительность.
(forall (?а) (iff(partial
_
ordered
_
duration ?а)
(and (exists (?осс1)
(forall (?осс2)
(implies (and (occurrence ?occ1 ?a)
(occurrence ?occ2 ?a)
(branch
_
automorpbic?a ?occ1 ?occ2))
(dur
_
equiv?occ1 ?occ2))))
(exists (?occ3 ?occ4)
(and {occurrence ?occ3 ?a)
(occurrence ?occ3 ?a)
(branch
_
automorpbic ?a ?occl ?occ2)
(not (dur
_
equiv ?occ3 ?occ4)))))))
11.5.3 unordored
_
duration
Некоторое действие имеет неупорядоченную продолжительность тогда итолько тогда,когда для ка
ких-либо событий существуют ветви автоморфных событий, имеющие различнуюпродолжительность,
(forall (?а) (iff (unordered
_
duration ?а)
(exists (?осс1 ?осс2)
(and (occurrence ?осс1 ?а)
(occurrence ?осс2 ?а)
(branch
_
automorpbic ?а ?осс1 ?осс2)
(not (duration
_
equiv ?осс1 ?осс2))))))
11.6 Грамматика описаний процесса для упорядочивания и ограничений продолжительнос
ти событий
Нижеследующие грамматическиеутверждениядаютописания технологического процесса, опреде
ленные в KIFдля упорядочивания иограничений продолжительности событий.
< order
_
dur
_
spec > ::= (forall (?осс)
(implies (and (occurrence ?occ < term >)
15