ГОСТ Р ИСО 18629-42—2011
(forall (?а) (iff(time_nonideal ?а)
(forall (?а1 ?s1 ?s2)
(implies (and (subactivity ?a ?a1)
(not(poss?a?s1))
(not (poss ?a ?s2))
(begin_equrv ?s1 ?s2))
(poss_equiv ?a1 ?s1 ?s2)))))
31.5.11 partial_time_nonideal
Некоторое неделимое комплексное действие ?a является частично неидеальным по времени тогда
и только тогда, когда существуютдопустимые события для ?а. согласованные по времени начала отсчета,
в которых все супердействия по ?а согласованы подопустимости.
(forall (?а) (iff (partial_time_nonideal ?а)
(and (exists (?s1)
(forall (?s2)
(implies (and (subactivity ?a ?a1)
(not (poss ?a ?s1))
(not (poss ?a ?s2))
(begin_equiv ?s1 ?s2))
(poss_equiv ?a1 ?s1 ?s2))))
(exists (?a2 ?s3 ?s4)
(and (subactivity ?a ?a2)
(not (poss ?a ?s3))
(not (poss ?a ?s4))
(begin_equiv ?s3 ?s4)
(not (poss_equiv ?a2 ?s3 ?s4)))))))
31.5.12 rigid_time_nonidoal
Некоторое неделимое комплексное действие ?а является жестко неидеальным по времени при усло
вии: если и только если какие-либо и когда-либо допустимые события для ?а согласуются по времени
начала отсчета, то существуют супердействия для ?а, не согласованные по допустимости.
(forall (?а) (iff (rigid_time_nonideal ?а)
(forall (?s1)
(exists (?a1 ?s2)
(and (begin_equiv ?s1 ?s2)
(subactivity ?a ?a1)
(not (poss ?a ?s1))
(not (poss ?a ?s2))
(not(poss_equiv?a1 ?s1 ?s2)))))))
31.6 Грамматика описаний процесса для вариации неделимых вниз действий
Грамматика описаний технологического процесса для классов действий, описываемых в вариации
неделимых вниздействий, эквивалентна грамматике общего описания технологического процесса всоот
ветствии с ИСО 18629-11.
32 Входные условия совместных действий
Данный раздел характеризует все определения, обусловленные входными условиями совместных
действий. Критерий, используемый для классификации указанных действий: сохраняются или мет входные
условия заданного неделимогодействия составом совместныхдействий.
32.1 Примитивная лексика входных условий совместных действий
Лексика входных условий совместных действий не требует примитивныхсоотношений.
32.2 Описываемыо соотношения входных условий совместных действий
В данном подразделе определены следующие соотношения:
- (proserved_filter?a ?а1 ?s);
- (noninterfering ?a);
48