ГОСТ Р HCO/HL7 27951—2016
должно обеспечивать не больше, нои не меньше значащих цифр, изначально имевшихся у этого значения. Соответ
ствие можно проверить с помощью циклического преобразования кодирование — декодирование — кодирование.
В.2.36.5 Свойство timezone: PQ (часовая зона)
Определение: разность между местным временем в данной часовой зоне и Всемирным координируемым вре
менем (Universal Coordinated Time. UTC). которое ранее именовалось средним временем по Гринвичу (Greenwich
Mean Time. GMT). Часовая зона имеет тип данных РО с размерностью времени (то есть сравнима с одной секун
дой). Нулевая часовая зона означает UTC. Значение часовой зоны не позволяет сделать вывод о географической
долготе или о согласованном названии часовой зоны.
Например, значение 200005121800-0500 может быть Восточным стандартным временем (Eastern
standard time. EST) в Индианаполисе (Индиана) или Центральным летним временем (Central daylight savings
time. CDT) в Декатуре (Иллинойс). В других странах, имеющих иную долготу, часовые зоны могут иметь другие
именования.
invariant(TS х, у)
where х .
nonKull.
ana(у.
nonKull)
(
х . timezone.compares(1 s);
I;
Если свойство timezone имеет пустое значение (причина пустоты «UNK» — неизвестно), то подразумевается
«местное время». Однако местное время всегда относится к какому-то месту, и без знания этого места часовая
зона неизвестна. Поэтому местное время не может быть переведено в значение UTC. Чтобы избежать значитель
ной потери точности при сравнении значений типа TS. свойство timezone должно быть задано для всех значений
типа TS. Разность двух значений местного времени, если неизвестно, к каким местам они относятся, может иметь
ошибку ±12 часов.
В контексте административных данных некоторые значения времени не должны иметь часовую зону. На
пример. для административной даты рождения указание часовой зоны является некорректным, поскольку при
преобразовании в другую часовую зону эта дата может измениться. У таких административных данных свойство
timezone должно быть пустым с причиной пустоты «NA» (неприменимо).
В.2.36.6 Свойство diffType: TYPE (унаследовано от QTY)
invariant(TS х) (
x.difСТуре.implies(PQ);
) ;
Свойство diffType означает тип данных разности между двумя значениями типа TS. а именно тип PQ с раз
мерностью времени.
В.2.36.7 Свойство plus: TS (унаследовано от типа данных QTY)
Определение: свойство plus определяет сложение значения типа TS со значением прошедшего времени
(имеющего тип данных PQ с размерностью времени), имеющее тип данных TS.
invanant(TS х, PQ t)
where x.nonKull.and(t.compares(1 s)> (
x.plus(t).offset.equal(x.offeet.plus(t>);
1;
B.2.36.8 Свойство minus: QTY (унаследовано от типа данных QTY)
Определение: свойство minus представляет собой разность двух значений типа TS. являющуюся прошед
шим временем.
invariant(TS х>
where х.nonKull (
х.mmus(у).offset-equal(
x.offset.plus(y.of£set.negated));
I ;
B.2.36.9 Литеральная форма
Литералы типа данных TS представляют собой простые календарные выражения, составленные на основе
таблицы определения календаря. По умолчанию должен использоваться западный (григорианский) календарь
(таблица В.36).
380