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

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

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

Страница 12

Страница 1

Untitled document

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

(subactivity ?аЗ ?а2)

(forall (?а4)

(implies (and (subactivity ?а1 ?a4)

(subactivity ?a4 ?a3)

(or(=?a4?a1)

(=?a4? a3))))))))

6.6.6 Аксиома 6

Отношение subactivity является дискретным упорядочением. Для каждой деятельности существует

подчиненная деятельность, расположенная в структуре этого упорядочения.

(forall (?а1 ?а2)

(implies (subactivity ?а1 ?a2)

(exists (?a3)

(and(subactivity ?a1 ?a3)

(subactivity ?a3 ?a2)

(forall (?a4)

(implies (and (subactivity ?a3 ?a4)

(subactivity ?a4 ?a2)

(or (= ?a4 ?a2)

(=?a4?a3))))))))

7 Теория ядра дерева случаев

Occurrence tree представляет собой множество всех дискретных последовательностей случаев

деятельности, изоморфных подструктурам дерева ситуаций, подлежащихситуационному исчислению

(см. приложение С). Основноеотличиедерева ситуаций от последних заключается в том, чтодля каждого

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

ситуация. Вситуационном исчислении используется отношение poss. позволяющееопределять ограниче

ния ко всем случаямдеятельности в деревеслучаев. Так как вдерево случаев входятпоследовательнос ти,

которые разработчиками модели домена будут признаны невозможными, отношение poss «обрезает» ветви

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

Дерево случаев не является структурой, представляющей подчиненныедеятельности какой-либо

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

тельности.

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

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

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

-earlier(ранее);

- initial (начальный);

-legal (допустимый).

7.2 Примитивные функции

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

функции.

- successor (следующий элемент).

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

В теории ядра дерева случаев используетсятеория pslcore.th. установленная в ИСО 18629-11.

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

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

7.4.1 Отношение earlier

Обозначение KIF символа earlier:

(earlier ?occl?occ2)

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