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

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

Ещё ГОСТы из 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 мм. Стандарт не распространяется на специальные вагоны)

Страница 24

Страница 1

Untitled document

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

11.1 Примитивные отношения

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

митивных отношений:

- subactivity_occurrence;

- мопо.

11.2 Установленные отношения в теории ядра случаев деятельности

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

новленных отношений:

- root_occ;

- teaf_occ;

- same_grove:

- iso_occ:

- equ’rv_occ;

-hom.

11.3 Связь с другими наборами аксиом

Применяют следующие теории ядра:

- psl_core.th. установленную в ИСО 18629-11;

- occtree.th:

- subactivity.th:

- atomic.th;

- complex.th.

Лексикадефиницийдля теории ядра случаевдеятельности не требуется.

11.4 Неформальная семантика

11.4.1 Отношение subactivity_occurrenco

Обозначение KIFсимвола отношения subactivity_occurrence:

(subactivity_occurrence ?осс1 ?осс2)

Неформальнаясемантика сотношения subactivity_occurrence:

Существует однозначное соответствие случаев деятельности и ветвей деревьевданнойдеятель

ности.

Неформальноеописание отношения subactivity_occurrence:

(subactivity_оссилепсе?осс1 ?осс2) принимает значениеTRUE в интерпретациитеории ядра случаев

деятельности только в том случае, если ветвь, соответствующая случаю деятельности ?осс1,является

подмножеством ветви, соответствующей случаюдеятельности ?осс2.

11.4.2 Отношение mono

Обозначение KIFсимвола отношения mono:

(mono ?осс1 ?осс2 ?а)

Неформальная семантика символа отношения mono:

(mono ?осс1 ?осс2 ?а) принимает значение TRUE винтерпретации теории ядра случаевдеятельности

тольков том случав, еслисуществует однозначное соответствие между ветвями деревадеятельности ?а,

при котором случай атомарной подчиненнойдеятельности ?осс1 отображается в случай атомарнойдея

тельности ?осс2.

11.4.3Отношение root_occ

Обозначение KlFcnMBona отношения root_occ:

(root_occ ?осс1 ?осс2 ?а)

Неформальная семантика символа отношения root_occ:

(root_occ ?осс 1?осс2 ?а) принимает значениеTRUE в интерпретации теории ядраслучаевдеятель

ности только втом случае, если случай деятельности ?осс1 является случаем корневого элемента ветви

деревадеятельности ?а, соответствующего случаюдеятельности ?осс2.

11.4.4 Отношение loaf_occ

Обозначение KlFcnMBona отношения leaf_occ:

(leaf_occ?осс1 ?осс2 ?а)