ГОСТ Р HCO/HL7 27951—2016
не рассчитывать на то, что физическая величина имеет конкретную единицу измерения, а обеспечивать автомати
ческое преобразование разных сопоставимых единиц.
В.2.31.3 Свойство translation: SET<PQR>
Определение: альтернативное представление той же самой физической величины, выраженной в других
единицах или в другой системе кодирования единиц, возможно, с другим количеством.
Семантически физические величины являются результатами действий измерения. Хотя эти величины пред
ставляются как пары «значение — единица измерения», семантически физическая величина не ограничивается
этим. Для определения, являются ли две физические величины равными, недостаточно провести независимое
сравнение их значений и единиц измерения. К примеру, 1 м равен 100 см. но различны и единицы, и количества. Для
установления равенства вводится понятие канонической формы.
В.2.31.4 Свойство canonical: PQ
Определение: физическая величина, представленная в канонических единицах. В любой конкретной систе
ме единиц каждой физической размерности может быть присвоена одна каноническая единица. Определение
канонических единиц не входит в область применения настоящей спецификации, утверждается лишь, что такие
канонические единицы существуют (и могут быть произвольно выбраны) для каждой физической величины. Аб
страктная физическая величина равна своей канонической форме.
invar idril(PQ х, у)
where x.nonNull.ana(y.nonNuH) 1
x.canonical.equa1(x);
l;
Например. в системе, основанной на Международной системе единиц (СИ), можно определить канониче
скую форму как: а) произведение только базовых единиц, б) без приставок, в) с использованием только умножения
и возведения в степень (без операций деления), г) с определенным порядком указания базовых единиц (например,
m, s. д, ...). В этом случае 1 мм рг. ст. можно представить как 133322 м~1с-2. Как видно, правила образования ка
нонической формы могут быть довольно сложными. Однако для семантической спецификации не имеет значения
ни как конструируется каноническая форма, ни как выбирается конкретная каноническая форма. Важно лишь, что
некоторая каноническая форма может быть определена.
В.2.31.5 Свойство equal: BL (унаследовано от типа данных ANY)
Две физические величины равны, если у их канонических форм равны значения и единицы измерения.
invariant(PQх, у)
where x.nonNull.and(y.nonNull) t
x.equal(y).equal(x.canonical.value
.equal(y.canonical.value).ana(
x .
canonical.unit.equal
(y .
canonical.unit>)>;
if
B.2.31.6 Свойство compares: BL (унаследовано от типа данных OTY)
Две физические величины сравнимы (упорядочены и имеют разность), если у их канонических форм равны
единицы измерения.
invariant (PQ х, у)
where x.nonNull.and(y.nonNull) (
x.compares(у).equal(x.canonical.unit.equal(y.canonical.unit));
I;
B.2.31.7 Свойство diffType: TYPE (унаследовано от типа данных QTY)
invariant(PQ x>
i
x.diffType.implies(PQ);
If
Разностью двух физических величин является другая физическая величина с теми же самыми единицами
измерения.
invanant(PQ х, у)
where х.compares(у) {
х.minus(у).canonical.unit.implies(х.canonical.unit
) ;
i ;
368