ГОСТ Р HCO/HL7 27951—2016
В.3.6.10 Свойство hull: IVL<T> (унаследовано от типа данных SET)
Определение: эго свойство задает выпуклую, или «интервальную» оболочку двух значений типа IVL, пред
ставляющую наименьший интервал, содержащий оба операнда.
Операнды^
------------------------------------------------------------------------------------------------------►
Выпуклая оболочка
Рисунок В. 13 — Выпуклая оболочка двух интервалов
1
invariant(1VL<T> h, IVL<T>
l ,
j)
where h.equal( .hull(j)) {
1
.
low.1essOrEqual(j.low}.implies(h.low.equal(i.low));
..low.lessOrEqual(a.low).implies(h.low.equal(’.low));
i.high.lessOrEqual(J.high).implies(h.high.equal(’.high)>;
l
.high.lessorEqua1(i.high).implies(h.tugh.equa1(i.high)>;
j
;
B.3.7 Тип данных физических величин IVL<PQ> (специализация типа данных IVL)
Определение: множество последовательных значений физических величин.
Тип данных интервала физических величин строится по общему типу интервала. Но с учетом того, что еди
ницы измерения могут быть взяты от границ интервала, в определение типа данных IVL<PQ> добавлены новая
семантика и отдельная литеральная форма. Дополнительным представлением интервала физических величин
является интервал вещественных чисел с одной единицей измерения.
type lnterval<PQ> alias IVL<PQ> (
IVL<REAL> value;
CS u n it;
I;
Единица измерения применяется как к нижней, так и верхней границе интервала.
invariant (IVL<PQ> х)
where x.nonKull |
х.value.nonKull;
x.low.value.equal(x.value.low);
x.low.
unit.equal(x.unit);
x.lowClosed.equal(x.value.lowClosea);
x.high.value.equal(x.value.high);
x.high.unit.equal(x.unit};
x.highCloseu.equal(x.value.highClosea);
Специальная литеральная форма представляет собой просто интервал вещественных чисел, пробел и еди
ницу измерения.
IVL<PQx.literal ST
[
IVL<PQ> : IVL<REAL> " " unit
\
3.value(31);
9.unit.equal(S3); I
I IVL<REAL>( S.equal(31); |;
CS
unit
; ST( 3
.value.equal
(31);
3. uoaeSyst em(2.1 t>.8>10. 1.11138 3. 3 .2 ); 1;
Например, строки «{0;5] mmoVL» или «<20 mg/dL» являются допустимыми литеральными формами интерва
лов физических величин. Допускается также общая литеральная форма, например. и(50 пт; 2 т]».
396