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

ГОСТ Р ИСО 10303-11-2009; Страница 149

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

Ещё ГОСТы из 41757, используйте поиск в верху страницы ГОСТ Р 53674-2009 Арматура трубопроводная. Номенклатура показателей. Опросные листы для проектирования и заказа Pipeline valves. Nomenclature of characteristics. Check-lists for design and order (Настоящий стандарт распространяется на трубопроводную арматуру и приводы к ней и устанавливает номенклатуру основных показателей и формы опросных листов для проектирования и заказа. Установленная настоящим стандартом номенклатура показателей рекомендуется для включения в конструкторскую и нормативную документацию, в том числе в техническое задание, технические условия, эксплуатационную документацию (паспорт, руководство по эксплуатации), при их разработке или пересмотре) ГОСТ Р 53851-2010 Икра ястычная осетровых рыб. Технические условия Ovary caviar of sturgeons. Specifications (Настоящий стандарт распространяется на ястычную икру осетровых рыб, предназначенную для пищевых целей) ГОСТ Р 53779-2010 Оценка соответствия. Применение систем менеджмента. Принципы и требования Conformity assessment. Use of management systems. Principles and requirements (Настоящий стандарт устанавливает принципы и требования, относящиеся к элементам систем менеджмента применительно к стандартам в области оценки соответствия. Настоящий стандарт предназначен для применения в процессе разработки стандартов в области оценки соответствия при рассмотрении элементов систем менеджмента и, в первую очередь, при разработке рабочими группами документов КАСКО. Настоящий стандарт не предназначен для прямого применения в деятельности по оценке соответствия)
Страница 149
Страница 1 Untitled document
ГОСТ Р ИСО 10303-11 2009
SCHEMA test;
USE FROM example (I);
REFERENCE FROM example (m, c);
END_SCHEMA;
Возможные сложные объектные типы данных определяются следующим образом:
ONEOF (m)
т
Аналогично получаем для а:
Пул объектов состоит из I, т, с. а, р: I, т ис импортированы вявной форме, аир импортированы в
неявной форме, поскольку они входят в цепочкусупертипов объекта /.
Сокращая выражение супертипадляр ипреобразовывая его всоответствии с шагом по перечисле
нию Ь). получаем:
ONEOF(m.f) AND ONEOF (с, а)
ONEOF(m, <>) AND ONEOF (с. а)
AND ONEOF .а)
AND ONEOF ,а)
ONEOF (1,1)
ONEOF (/, о )
ONEOF (/)
/
В данном случае выражения супертипов уже сформированы в виде, необходимом для шага по пере
числению с).
Применяяалгоритм вычислениярезультирующегомножествана шаге по перечислению с), получа
ем результирующее множество: R = [с&т&р, a&ISun&p].
Сложный объектный тип данных a&J&mSip содержит объект I, явно импортированный посред
ством оператора USE, и поэтому он может быть реализован автономно. С другой стороны, сложный
объектный тип данных с&т&р не может быть реализован автономно в данной схеме.
2 Пусть имеются следующие схемы:
SCHEMA s1;
ENTITY е1 SUPERTYPE OF (e11 ANDOR e12); END_ENTITY;
ENTITY e11 SUBTYPE OF (e1); END_ENTITY;
ENTITY e12 SUBTYPE OF (e1): END_ENTITY;
END_SCHEMA:
SCHEMA s2;
USE FROM s1 (e11 AS f):
ENTITY e211 SUBTYPE OF (f); END_ENTITY;
ENTITY e212 SUBTYPE OF (f); END_ENTITY;
END_SCHEMA:
SCHEMA s3;
USE FROM s1 (e12 as g);
ENTITY e321 SUBTYPE OF (g); END_ENTITY;
ENTITY e322 SUBTYPE OF (g); END_ENTITY;
END_SCHEMA:
Результирующими множествами для данных схем являются:
s1 [el. e lfte ll. е1&е12. e1&e11&e12J;
s2 [e1&f. e1&f4e211. e1*fAe212. e1AfAe211Ae212];
s3 [e1&g. e1Agfte321. e1&g&e322. e1&g&e321&e322].
Если определена следующая схема test:
SCHEMA test;
USE FROM s2 (e211);
USE FROM s3 (e322);
END_SCHEMA:
то возможные сложные объектные типы данных для нее определяютсяследующим образом:
Пул объектов состоит из е211. ©322. f, g. е1: е211 и е322 импортированы в явной форме, a f, g и е1
импортированыв неявной форме, поскольку они входят в цепочку супертипов е211 ие322_ fug являются
переименованиями е11 и е12, соответственно, поэтому е11 и е12 являются фактическими членами
пула объектов.
139