Хорошие продукты и сервисы

Наш Поиск (введите запрос без опечаток)

Найти

Наш Поиск по гостам (введите запрос без опечаток)

Найти

Поиск

Бизнес гороскоп на текущую неделю c 29.12.2025 по 04.01.2026

Открыть гороскоп на неделю

Открыть шифр замка из трёх цифр с ограничениями

Открыть игру, играйте в нерабочее время :)

ГОСТ Р ИСО 18629-41-2011; Страница 20

или поделиться

Ещё ГОСТы из 41757, используйте поиск в верху страницы

ГОСТ Р ИСО/МЭК 15504-4-2012 Информационная технология. Оценка процесса. Часть 4. Руководство по применению для улучшения и оценки возможностей процесса Information technology. Process assessment. Part 4. Guidance on use for process improvement and process capability determination (Настоящий стандарт представляет собой руководство по использованию оценки соответствия процесса в программе улучшения процесса или в определении его возможностей. Настоящий стандарт имеет исключительно справочный характер) ГОСТ Р 51263-2012 Полистиролбетон. Технические условия Сoncrete with polystyrene aggregates. Specifications (Настоящий стандарт распространяется на особо легкий бетон поризованной структуры на цементном вяжущем и пористом заполнителе из вспененных гранул полистирола, предназначенный для изготовления сборных изделий или монолитных конструкций, применяемых в наружных стенах, покрытиях и перекрытиях энергоэффективных жилых и общественных зданий. При технико-экономическом обосновании допускается применение полистиролбетона для других конструкций и объектов гражданского, а также промышленного строительства. Настоящий стандарт устанавливает технические требования к полистирол-бетону и полистиролбетонным смесям, материалам для их приготовления, а также к приемке и методам контроля их технических характеристик) ГОСТ Р ИСО 18629-44-2011 Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 44. Дефинициональные расширения: расширения ресурсов Industrial automation systems and integration. Process specification language. Part 44. Definitional extension. Resource extensions (Настоящий стандарт устанавливает спецификацию непримитивных понятий языка программирования. При этом используется набор определений, написанных на языке, установленном в ИСО 18629. Данные определения устанавливают аксиомы для терминологии в соответствии с ИСО 18629. Настоящий стандарт распространяется на:. - определения понятий, установленных в ИСО 18629-11, ИСО 18629-12 и ИСО 18629-14 и связанных с ресурсами, множествами ресурсов и соотношениями между ресурсами и действиями;. - определение понятий, установленных в ИСО 18629-11, ИСО 18629-12 и ИСО 18629-14, характеризующих соотношения между ресурсами и действиями)

Страница 20

Страница 1

Untitled document

ГОСТ Р ИСО 18629-41—2011

(and (same_tree ?осс?осс2)

{subactivity _оссиггепсе ?s?осс2)

(forall (?осс1)

(implies (samejree ?occ?occ1)

(and (reptree ?s ?occ1)

(not (root_occ ?s?occ1))))))))

9.5.4 nondet_repetitive

Некотороедействие является недетерминированноповторяющимся тогда и только тогда, когда каж

дая ветвь наэтомжедереведействий может быть встроена в некоторое поддерево. Интуитивно ясно, что

это эквивалентно существованию нескольких неизоморфических повторяющихся поддеревьев.

(forall (?осс) (iff(nondet_repetitive?осс)

(forall (?ocd)

(implies (samejree ?осс ?ocd)

(exists (?s1 ?осс2)

(and (same_tree ?occ ?occ2)

(subactivity_occurrence ?s?occ2)

(reptree ?s ?occ1)

(not (root_occ ?s?occ1))))))))

9.5.5 partial_repetitivo

Событиеявляется частичноповторяющимся тогда и толькотогда, когда существуют повторяющиеся

поддеревья. При этом существуют ветви на этом жедереве, которые не могут быть отображены на какое-

либо повторяющееся поддерево.

(forall (?осс) (iff (partial_repetitive ?осс)

(and (exists (?осс1 ?осс2 ?s1)

(and (samejree ?occ?occ1)

(samejree ?occ ?occ2)

(subactivity ..occurrence ?s?occ2)

(repjree?s ?occ1)

(not (root_occ ?s ?occ1))))

(exists (?occ2)

(forall (?s2)

(implies (reptree ?s1 ?occ1)

(root_occ ?s1 ?occ

)))))))

9.5.6 Amorphous

Событие является аморфным тогда и только тогда, когда не существует повторяющихся под

деревьев на этомжедереве действий.

(forall (?осс) (iffamorphous ?осс)

(forall (?ocd ?s)

(implies (and (same_tree ?occ1 ?occ)

(reptree ?s?occ1))

(root_occ?s ?occ1)))))

9.6 Грамматика повторяющейся структуры ветвей

Нижеследующие грамматические утвержденияустанавливают описания технологического процесса

и вспомогательные правила, определенные в KIF для повторяющейся структуры ветвей.

< repetitive_spec > ::= (forall (< term > ?s1 ?s2)

(iff (do < term > ?s1 ?s2)

<repjormula >))

< nondet_rep_spec > .:= (forall (< term > ?s1 ?s2)

(iff (do < term > ?s1 ?s2)

(or <repjormula >*)))

< partial _rep_spec > ::= (forall (< term > ?s

?s2)

(iff (do < term > ?s1 ?s2)

< repjormula > ::= (exists (< term >)