ГОСТ Р HCO/HL7 27951— 2016
В.6.2.2 Краткая литеральная форма
Помимо общей литеральной формы типа PPD<T> для типа данных PPD<REAL> определена краткая ли
теральная форма. Она определена таким образом, что значение свойства стандартного отклонения PPD.
standardDeviation может быть выражено в терминах наименьшей значащей цифры мантиссы. Этот литерал опре
делен как расширения литерала типа данных REAL:
PPD<REAL>.-literal ST
\
PPD<REAL> mantissa
:REAL.mantissa
IREAL.mantissa
CS type :ST
)t
la
typeQTY "j"
{
((T}$}.equal(SI};
$.distributlOnType.equal(S3};
$.standardDeviation.equal($4}; t
{
S.equal($1};
S.distrlbutionType.equal(S3};
S.standardDeviation.equal(
$
1
.leastsIqiillicantDigU.times(0.b)); l;
1S.value.equal(31};
$.system,equal(2.1ё.84С.1.113883.5.101:»};
П р и м е р — Строка «1.23e-3 (U5e-6)» общей литеральной формы обозначает равномерное
распределение (PPD.distributionType = «U») с центром 1.23 * 10"3 и стандартным отклонением PPD.
standardDeviation. равным 5 * 10~6. Краткая литеральная форма этого же значения имеет вид «1.230(U5) е-
Зм.
В.6.3 Тип данных распределения вероятности физических величин PPD<PQ> (специализация типа
данных PPD)
Тип данных PPD<PQ> строится из типа данных PPD. Но поскольку свойство единиц измерения PQ.unit мо
жет быть выведено из границ интервала, то типу данных PPD<PQ> можно придать дополнительную семантику и
определитьдля него отдельную литеральную форму. Для этого типданных PPD<PQ> надо рассматривать как рас
пределение вероятности вещественных значений с одной единицей измерения.
type ParametncProbabilityDistribution<K)> alias PPD<PQ> (
PPD<REAL> value?
CS unit;
l ;
Единица применяется как к среднему значению, так и к стандартному отклонению PPD.standardDeviation.
invariant(PPD<P2> х»
where x.nonKuli <
x.value.nonNull;
((REAL}x.value}.equal(((PQ>x!.value};
x.unit.equal(((PQ>x}.unit};
x.value.stanaaraDeviation.equal(x.standardDeviation.value};
x.standardDeviation.unit.equal(x.unit};
B.6.3.1 Краткая литеральная форма
Краткая литеральная форма типа данных PPD<PQ> определяется на основе краткой литеральной формы
типа данных PPD<REAL>, в которую подставляется значение физической величины (тип данных REAL). Этот лите
рал определяется как расширение литерала типа данных PQ.
PPD<PD>.literal ST (
PPD<PQ> :PPD<REAL> " " unit
]
$.value.equal(SI};
S.unit.equal(S3}; }
i;
П р и м е р ы — Строка к1.23e-3 m (N5e-6 m)u общей литеральной формы описывает нормальное
распределение длины с центром 1.23 * 10 3 м и стандартным отклонением PPD.standardDeviation. рае-
419