ГОСТ Р ИСО 10303-41—2022
EXPRESS-спеииФикация:
*)
TYPE second_in_minute = REAL;
WHERE
WR1: { 0 <= SELF < 60.0 };
END_TYPE;
(*
Формальное положение:
WR1. Значение действительного числа должно быть в интервале от 0 до 60.0 включительно.
Примечания
1 Значение 60.0 позволяет ввести дополнительную секунду.
2 Среднее солнечное время определяется вращением Земли. Дополнительные секунды добавляются, по
необходимости, как правило, в середине или в конце года и обеспечивают то, что официальное время не отлича
ется от неоднородного среднего солнечного времени, несмотря на вариации вращения Земли.
10.3.12 Тип данных week_in_year_number
Тип данных week_in_year_number представляет порядковый номер заданной календарной не
дели в соответствии с ИСО 8601.
Примечание — Первая неделя — это неделя, включающая первый четверг года. Это равнозначно тому,
что первая неделя должна включать 4 января.
EXPRESS-спеииФикация:
*)
TYPE week_in_year_number = INTEGER;
WHERE
WR1: { 1 <= SELF <= 53 };
END_TYPE;
(*
Формальное положение:
WR1. Значение целого числа должно быть в интервале от 1 до 53.
10.3.13 Тип данных year_number
Тип данных year_number представляет порядковый номер года в соответствии с григорианским
календарем. Номер года, представленный типом данных year_number, должен быть задан в полном
объеме, с использованием необходимого количества цифр для однозначной передачи столетия и года в
пределах столетия. Сокращенный номер года использовать не допускается.
Примечание — В ИСО 8601:1988 приведено определение григорианского календаря.
Пример — Представленный типом данных year number год первой высадки человека на Луну —
это 1969 год (а не 69 год).
EXPRESS-спеиификация:
*)
TYPE year_number = INTEGER;
WHERE
WR1: (SELF > 1581);
END_TYPE;
(*
Формальное положение:
WR1. Значение целого числа должно быть более 1581.
10.4Определения объектов схемы date_time_schema
10.4.1Объект action
Объект calendar_date (календарная дата) является таким подтипом представляющего дату
объекта date, посредством которого дата представляется как день месяца года в соответствии с
ИСО 8601.
51