AJDocs
Хорошие продукты и сервисы
Наш Поиск (введите запрос без опечаток)
Наш Поиск по гостам (введите запрос без опечаток)
Поиск
Поиск
Бизнес гороскоп на текущую неделю c 29.12.2025 по 04.01.2026
Открыть гороскоп на неделю
Открыть шифр замка из трёх цифр с ограничениями
Открыть игру, играйте в нерабочее время :)

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

или поделиться
Ещё ГОСТы из 41757, используйте поиск в верху страницы ГОСТ Р ИСО 18629-43-2011 Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 43. Дефинициональные расширения: упорядочивание действий и расширение продолжительности Industrial automation systems and integration. Process specification language. Part 43. Definitional extension. Activity ordering and duration extensions (Настоящий стандарт устанавливает спецификацию не примитивных понятий языка программирования. При этом используется набор определений, написанных на языке, установленном в ИСО 18629. Данные определения устанавливают аксиомы для терминологии в соответствии с ИСО 18629. Область применения настоящего стандарта включает определения понятий с использованием терминологии в соответствии с ИСО 18629-13. Область применения настоящего стандарта не включает определения новых временных и основанных на состоянии понятий в соответствии с ИСО 18629-11 и ИСО 18629-12) ГОСТ Р ИСО 16100-5-2011 Системы промышленной автоматизации и интеграция. Профилирование возможности интероперабельности промышленных программных средств. Часть 5. Методология согласования конфигураций профилей с помощью многоцелевых структур классов возможностей Industrial automation systems and integration. Manufacturing software capability profiling for interoperability. Part 5. Methodology for profile matching using multiple capability class structures (В настоящем стандарте определены методы и правила согласования профилей возможностей существующих производственных программных модулей (MSU) с требуемыми профилями возможностей, получаемыми из многофункциональных структур классов возможностей. Эти методы и правила позволяют оценивать упомянутые MSU-модули в промышленных прикладных программах с точки зрения их функциональной совместимости и даже в некоторых случаях - с точки зрения взаимозаменяемости. Настоящий стандарт не распространяется на:. - услуги по созданию, регистрации и получению доступа к различным шаблонам для базовых производственных моделей, к производственным данным и структурам классов параметров;. - таблицу соответствия, в которой даны ссылки на услуги типа 1, указанные и определенные в ИСО 16100-3;. - дополнительные услуги, необходимые для управления этими шаблонами в базе данных или в эквивалентном ему хранилище информационных объектов) ГОСТ Р ИСО 15745-1-2010 Системы промышленной автоматизации и интеграция. Прикладная интеграционная среда открытых систем. Часть 1. Общее эталонное описание Industrial automation systems and integration. Open systems application integration framework. Part 1. Generic reference description (Настоящий стандарт распространяется на прикладную интеграционную среду – набор элементов и правил описания интеграционных моделей и профилей интероперабельности прикладных систем. Стандарт устанавливает общие элементы и правила описания интеграционных моделей и профилей интероперабельности прикладных систем вместе с профилями их компонентов, включающими в себя профили процессов, обмена информацией и ресурсов. Настоящий стандарт распространяется на системы промышленной автоматизации, процесс сборки электронной аппаратуры, изготовление полупроводников и транспортирование материалов. Его следует использовать также в случае других применений автоматизации и управления, таких как автоматизация коммунальных предприятий, сельского хозяйства, внедорожных транспортных средств, медицинских учреждений и лабораторий, а также системы общественного транспорта)
Страница 32
Страница 1 Untitled document
ГОСТ Р ИСО 18629-13-2011
с корневым узлом ?s содержит все внешние элементы операции, запрещенной
в допускаемых элементах операции ?а1.
9.5 Определения теории оболочки операций
Отсутствуют.
9.6 Аксиомы теории оболочки операций
Ниже приведен полный набор аксиом для теории оболочки операций.
9.6.1 Аксиома 1
Каждое дерево операций имеет свою оболочку операций.
(forall (?а2 ?s)
(implies (root ?s ?a2)
(exists (?a1)
(envelope ?a1 ?a2 ?s))))
9.6.2 Аксиома 2
Каждое дерево операций имеет свою «теневую» операцию.
(forall (?а2 ?s)
(implies (root ?s ?a2)
(exists (?a1)
(umbra ?a1 ?a2 ?s))))
9.6.3 Аксиома 3
Любая активная область оболочки не является активной областью
первоначальной (исходной) операции.
(forall (?а1 ?а2 ?s ?s1)
(implies (and (envelope ?al ?a2 ?s)
(live_branch ?s1 ?s ?a1))
(not (dead_branch ?s1 ?s ?a2))))
9.6.4 Аксиома 4
Любая активная «теневая» область не является активной областью
первоначальной (исходной)операции.
(forall (?a1 ?а2 ?s ?s1)
(implies (and (umbra ?al ?a2 ?s)
(live_branch ?s1 ?s ?al))
(not (live_branch ?s1 ?s ?a2))))
9.6.5 Аксиома 5
Любая активная часть операции является активной частью ее оболочки.
29
 © 2017-2025 AJDocs — Живые юридические документы
Мы не храним персональных и любых иных данных пользователей нашего сайта; советуем обращаться к юристам, экспертам и не несем ответственности за достоверность информации, опубликованной на сайте.
Мы в социальных сетях
Телеграм
Youtube
Rutube
ВКонтакте
ОК
Яндекс.Дзен
Электронная почта