ГОСТ Р ИСО 18629-42—2011
30.5.9 rigid_state_nonfilter
Некоторое неделимое комплексное действие ?а не является жестким фильтром по состоянию при
условии: если и только если какие-либо и когда-либодопустимые события для ?а согласованы по состоя
нию. то существуют составляющие действия для ?а. не согласованные по допустимости.
(forall (?а) (iff (rigid_state_nonfilter ?а)
(forall (?s1)
(exists (?a1 ?s2)
(and (state_equiv ?s1 ?s2)
(not (poss ?a ?s1))
(not (poss ?a ?s2))
(not(poss_equiv?a1 ?s1 ?s2)))))))
30.5.10 time_nonfiltor
Некоторое неделимое комплексное действие ?а но является фильтром по времени при условии: если
и только если какие-либо и когда-либо допустимые события для ?а согласуются по времени начала отсчета,
то все события для составляющихдействий по ?а согласованы подопустимости.
(forall (?а) (iff(time_nonfilter ?а)
(forall (?а1 ?s1 ?s2)
(implies (and (subactivity ?a1 ?a)
(not (poss ?a ?s1))
(not (poss ?a ?s2))
(begin_equiv ?s1 ?s2))
(poss_equiv ?a1 ?s1 ?s2)))))
30.5.11 partial_time_nonfilter
Некоторое неделимое комплексное действие ?а не является частичным фильтром по времени тогда и
только тогда, когда существуютдопустимые события для ?а. согласованные по времени начала отсчета, в
которых все составляющие действиядля ?а согласованы подопустимости.
(forall (?а) (iff (partial_time_nonfilter ?а)
(and (exists (?s1)
(forall (?s2)
(implies (and (subactivity ?a1 ?a)
(not (poss ?a ?s1))
(not (poss ?a ?s2))
(begin_equiv ?s1 ?s2))
(poss_equiv ?a1 ?s1 ?s2))))
(exists (?a2 ?s3 ?s4)
(and (subactivity ?a2 ?a)
(not (poss ?a ?s3))
(not (poss ?a ?s4))
(begin_equiv ?s3 ?s4)
(not (poss_equiv ?a2 ?s3 ?s4)))))))
30.5.12 rlgid_time_nonfllter
Некоторое неделимое комплексноедействие ?а неявляется жестким фильтром по времени при усло
вии: если и только если какие-либо и когда-либо допустимые события для ?а согласуются по времени
начала отсчета, то существуют составляющие действия для ?а. не согласованные по допустимости.
(forall (?а) (iff (rigid_time_nonfi Iter?а)
(forall (?s1)
(exists (?a1 ?s2)
(and(begin_equiv?s1 ?s2)
(not (poss ?a ?s1))
(not (poss ?a ?s2))
(not(poss_equiv?a1 ?s1 ?s2)))))))
30.6 Грамматика описаний процесса для вариации неделимых вверх действий
Грамматика описаний технологического процесса для классовдействий, описываемыхдля вариации
эффекта затирания полезныхданных, эквивалентна грамматике общего описания процесса, установлен
ной И С 018629-11.
44