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

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

Найти

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

Найти

Поиск

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

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

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

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

ГОСТ Р ИСО 18629-12-2010; Страница 28

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

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

ГОСТ Р МЭК 62264-2-2010 Интеграция систем управления предприятием. Часть 2. Атрибуты объектных моделей Enterprise-control system integration. Part 2. Object model attributes (Настоящий стандарт совместно с МЭК 62264-1 описывает общие принципы организации интерфейсов между функциями управления технологическими процессами и другими функциями предприятия. Рассматриваемые интерфейсы относятся к уровням 3 и 4 иерархической модели, определяемой стандартом МЭК 62264-1. Цель такого рассмотрения состоит в уменьшении рисков, затрат и ошибок, сопутствующих реализации указанных интерфейсов. Сфера применения настоящего стандарта ограничивается определением атрибутов объектных моделей, представленных в МЭК 62264-1. Настоящий стандарт не затрагивает определения атрибутов объектных отношений, описанных в МЭК 62264-1) ГОСТ Р ИСО 19440-2010 Интеграция предприятия. Конструкции для моделирования предприятий Enterprise integration. Constructs for enterprise modelling (Настоящий стандарт устанавливает требования к характеристикам основных (ключевых) конструкций, необходимых для компьютерного моделирования предприятий в соответствии с ИСО 19439. Настоящий стандарт в основном рассматривает вопросы компьютерной интеграции информационных аспектов производства, включая технические аспекты управления и контроля, а также задачи, решаемые людьми. Стандарт не устанавливает, как следует реализовывать эти основные конструкции для операций с использованием модели и, в частности, не описывает язык управления, необходимый для определения и соблюдения правильной линии поведения в отношении внутренней деятельности предприятия, но обеспечивает соответствие между функциональными операциями и возможностями) ГОСТ 12549-2003 Вагоны пассажирские магистральных железных дорог колеи 1520 мм. Окраска. Технические условия Passenger cars of 1520 mm gauge main-line railways. Painting. Specifications (Настоящий стандарт устанавливает технические требования на получение лакокрасочных и защитных покрытий на вновь изготовляемых цельнометаллических пассажирских, почтовых, багажных вагонах, вагонах-ресторанах, вагонах-электростанциях локомотивной тяги и вагонах электропоездов и дизель-поездов, а также на их деталях и сборочных единицах, предназначенных для работы в районах с умеренным климатом У категорий размещения 1, 2, 3 по ГОСТ 15150 на магистральных железных дорогах колеи 1520 мм. Стандарт не распространяется на специальные вагоны)

Страница 28

Страница 1

Untitled document

ГОСТ Р ИСО 18629-12—2010

11.6.10 Аксиома 10

Момент времени beginof составной деятельности совпадает с моментом времени beginof отношения

root:

(forall (?осс)

(implies (activity_occurrence ?осс)

(= (beginof ?осс) (beginof (root_occ ?occ)))))

11.6.11 Аксиома 11

Момент времени endof составной деятельности совпадает смоментом времени endof отношения leaf:

(forall (?s ?осс)

(implies (leaf_occ ?s ?occ)

(= (endof ?occ) (endof ?s))))

11.6.12 Аксиома 12

Отношение monoявляется гомоморфизмом ветвей:

(forall (?s1 ?s2 ?a)

(implies (mono ?s1 ?s2 ?a)

(horn ?s1 ?s2 ?a)))

11.6.13 Аксиома 13

Если случай атомарной подчиненной деятельности имеет образ пригомоморфном отображении вет

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

mono с этим случаем:

(forall (?s1 ?s2 ?а)

(implies (horn ?s1 ?s2 ?a)

(exists (?s3)

(and (mono ?s3 ?s2 ?a)

(or (min_precedes ?s1 ?s3 ?a)

(min_precedes ?s3 ?s1 ?a)

(= ?s1 ?s3))))))

11.6.14 Аксиома 14

Отношение mono исчерпываетсяоднозначными гомоморфизмами между различными ветвями дере

ва деятельности:

(forall (?s1 ?s2 ?s3 ?a)

(implies (and (mono ?s1 ?s2 ?a)

(mono ?s3?s2 ?aj)

(not (or(min_precedes?s1 ?s3 ?a)

(min_precedes ?s3?s1 ?a)))))

11.6.15 Аксиома 15

(forall (?s1 ?s2 ?s3 ?s4 ?occ ?a)

(implies (and (min_precedes ?s1 ?s2 ?a)

(mono ?s1 ?s3 ?a)

(mono?s2 ?s4 ?a)

(subactivity_occurrence ?s3 ?occ)

(subactivity_occurrence ?s4 ?occ)

(iso_occ ?s1 ?s2))

(min_precedes ?s3 ?s4 ?a)))