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

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

Найти

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

Найти

Поиск

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

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

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

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

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

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

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

Страница 40

Страница 1

Untitled document

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

Представление верхнего уровня технологического процесса на языке PSL имеет вид.

(subactivity make-chassis make_gt350)

(subactivity make-intenor make_gt350)

(subactivity make-drive make_gt350)

(subactivity make-trim make_gt350)

(subactivity make-engine make_gt350)

(subactivity final-assembly make_gt350)

(artificial make_chassis)

(artificial makejnterior)

(artificial make_drive)

(artificial make_trim)

(artificial make_enngine)

(forall (?occ)

(implies (occurrence_of ?occ make_gt350)

(permuted ?occ)))

(forall (?occ)

(implies (occurrence_of ?occ make_gt350)

(ordered ?occ)))

(forall (?occ)

(implies (occurrence_of ?occ make_gt350)

(folded ?occ)))

(forall (?occ)

(implies (occurrer»ce_of ?occ make_gt350)

(amorphous ?occ)))

(not (uniform make_gt350))

(unrestricted make_gt350)

(not (atomic make_gt350))

(forall (?occ)

(iff (occurrence_of ?occ make_gt350)

(exists (?occt ?occ2 ?occ3 ?occ4 ?occ5 ?occ6)

(and (occurrence_of ?occ1 make_chassis)

(occurrence_of ?occ2 makejnterior)

(occurrence_of ?occ3 make_drive)

(occurrence_of ?occ4 makejrim)

(occurrence_of ?occ5 make_engine)

(occurredce_of ?occ6 final_assembly)

(subactivity_occurrence ?occ

?occ)

(subactivity_occurrence ?occ2 ?occ)

(subactivity_occurrence ?occ3 ?occ)

(subactivity_occurrence ?occ4 ?occ)

(subactivity_occurrence ?occ5 ?occ)

(subactivity_occurrence ?occ6 ?occ)

(forall (?s1 ?s2 ?s3 ?s4 ?s5 ?s6)

(implies (and (leaf_occ ?s1 ?occ1)

(leaf_occ ?s2 ?occ2)

(leaf_occ ?s3 ?occ3)

(leaf_occ ?s4 ?occ4)

(leaf_occ ?s5 ?occ5)

(root_occ ?s6 ?occ6))

(and (min_precedes ?s1 ?s6 make_gt350)

(min_precedes ?s2 ?s6 make_gt350)

(min_precedes ?s3 ?s6 make_gt350)

(min_precedes ?s4 ?s6 make_gt350)

(min_precedes ?s5 ?s6 make_gt350) ))))))

Данное представление формализует технологический процесс в соответствии с рисунком В.1.

Все события, заключающиеся в выполнении действия «make_gt350». являются перестановочными, так как

все поддействия имеют место, как только выполняется действие «make_gt350e.

Все события для действия «make_gt350» являются упорядоченными, так как его поддействия

«make_chassis» (изготовление шасси), omakejnterior» (изготовление интерьера). «make_drive» (изготовление

привода), nmake_engine» (изготовление двигателя) и «makejrim» (изготовление шасси) должны иметь место до

поддействия «final_assembly» (заключительная сборка).