ГОСТ Р ИСО 21090-2016; Страница 116

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

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

ГОСТ 12574-2016 Сахар. Методы определения золы (Настоящий стандарт распространяется на белый сахар и устанавливает кондуктометрический и гравиметрический методы определения золы) ГОСТ Р ИСО/ТС 10303-1250-2016 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1250. Прикладной модуль. Установочное место (Настоящий стандарт определяет прикладной модуль «Установочное место». Требования настоящего стандарта распространяются на:. - идентификацию позиций на сборочной единице, состоящей из деталей, к которым могут быть присоединены составные части;. - идентификацию деталей, которые присоединяются к заданным позициям на сборочной единице. Требования настоящего стандарта не распространяются на:. - изделия, у которых нет физического интерфейса;. - изделия, у которых имеется физический интерфейс, но отсутствует требование идентификации и проведения различия между местами на данном интерфейсе, к которым присоединяются конкретные детали) ГОСТ 33916-2016 Капуста кольраби свежая. Технические условия (Настоящий стандарт распространяется на стеблеплоды капусты кольраби (Brassica oleracea L. var. gongylodes L.) (далее - капуста), поставляемые и реализуемые для потребления в свежем виде. Требования, обеспечивающие безопасность капусты для жизни и здоровья людей, изложены в 5.3, к качеству продукции - в 5.1, 5.2, к маркировке - в 5.6)

Страница 116

Страница 1

Untitled document

ГОСТ Р ИСО 21090—2016

Тонкость TS.DATE.FULL ограничивает тонкость TS.DATE таким образом, чтобы в дате был указан

конкретный день.

7.8.15.2 Инварианты:

- полное указание дня.

Определение инвариантов на языке OCL.

inv "полное указание дня": value.size - 8

7.8.16 Тонкость TS.DATETIME

7.8.16.1 Описание

Ограничение типа данных TS

Тонкость TS.DATETIME ограничивает тип данных TS с точностью до секунд.

7.8.16.2 Инварианты:

- миллисекунды должны иметь пустое значение.

Определения инвариантов на языке OCL:

inv "DateTime": lvalue.size <- 14) or (hasTimezone and

value.size <- 19)

7.8.17 Тонкость TS.DATETIME.FULL

7.8.17.1 Описание

Ограничение тонкости TS.DATETIME

Тонкость TS.DATETIME.FULL ограничивает тонкость TS.DATETIME таким образом, чтобы была

указана конкретная секунда в часовом поясе.

7.8.17.2 Инварианты:

- часовой пояс требуется;

- полное указание даты и времени, включая секунды и часовой пояс, требуется.

Определения инвариантов на языке OCL:

inv "полные дата и время": value.size - 19 and hasTimezone

7.8.18 Тонкость TS.INSTANT

7.8.18.1 Описание

Ограничение типа данных TS

Тонкость TS.INSTANT ограничивает тип данных TS таким образом, чтобы он содержал указание

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

7.8.18.2 Инварианты:

- часовой пояс требуется:

- полное указание даты и времени, включая доли секунды с точностью до четырех знаков и часо

вой пояс, требуется.

Определения инвариантов на языке OCL:

inv "момент времени": value.size - 24 and hasTimezone

7.9 Коллекции типов данных

7.9.1 Введоние

Эти типы данных являются коллекциями дискретных элементов. Они представлены на рисунке 8.

7.9.2 Тип данных COLL

7.9.2.1 Описание

Абстрактный; специализация типа данных ANY

Параметр: Т :ANY

Коллекция значений, которые могут быть перечислены с помощью итератора.

7.3.2.2 Операции

7.9.2.2.1 size(): INT: Число элементов в коллекции.

7.3.2.2.2 includes(object: Т ): BL: имеет значение true, если объект object является элементом кол

лекции. Для установления, действительно ли данный объект является элементом данной коллекции.

113