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

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

Найти

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

Найти

Поиск

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

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

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

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

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

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

Ещё ГОСТы из 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, характеризующих соотношения между ресурсами и действиями)

Страница 18

Страница 1

Untitled document

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

8.5.7 Ordered

Событие является упорядоченным тогда итолькотогда, когда ниодно из событий наэтом жедереве

не автоморфно с ним корнями.

(forall {?осс1) (iff(unordered ?осс1)

(forall (?осс2)

(implies (and (same_grove ?occ1 ?occ2)

(not (= ?occ1 ?occ2)))

(not (root_automorphic ?occ1 ?occ2))))))

8.6 Грамматика структуры ветвой и упорядочивания

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

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

<ordered_spec> ::= (forall (< variable >)

(implies (same_tree <variable > ?occ)

< ordered_sentence >)) |

(forall (< variable >)

(implies (sameJree < variable > ?occ)

<ordered_formula >))

<nondet_ordered_spec > ::=(forall (<variable >)

(implies (same_tree < variable > ?occ)

(or <ordered_sentence >*)))

<broken_ordered_spec > ::=(forall (<variable >)

(implies (sameJree < variable >?occ)

(or{<ordered_sentence >* |

<orderedJist >*})))

<unordered_spec > ::= (forall (<variable >)

(implies (samejree < variable >?occ)

(or< orderedJist >*)))

< orderedJiteral > ::= (min_precedes < variable > < variable > <term >) |

(next_subocc < variable > < variable > < term >)

<orderedjist >< orderedJiteral > |

(and <orderedJiteral >*)

<conditional j>ccurrence > ::= (implies <occurrenceJormula >

orderedjist >)

< ordered_sentence > ::= (exists (< variable >)

(and (root j>cc < variable >?occ)

< occurrencejlisjunct >

< conditional_occurrence >))))

<orderedjx>njunct > ::= < orderedJiteral > |

(and < orderedJormula >*)

< orderedJormula > ::=(exists (< variable >)

(and (root_occ < variable > ?occ)

<ordered_conjunct >)) |

(or <orderedJormula >*)

9 Недетерминированные действия: повторяющаяся структура ветвей

Данный раздел характеризует все определения, обусловленные недетерминированными действия

ми: повторяющаяся структура ветвей.

9.1 Примитивная локсика повторяющейся структуры ветвей

Лексика повторяющейся структуры ветвей не требует примитивных соотношений.

9.2 Определяемые соотношения повторяющейся структуры ветвей

В данном подразделеопределены нижеследующие соотношения: