Хорошие продукты и сервисы
Наш Поиск (введите запрос без опечаток)
Наш Поиск по гостам (введите запрос без опечаток)
Поиск
Поиск
Бизнес гороскоп на текущую неделю c 25.11.2024 по 01.12.2024
Открыть шифр замка из трёх цифр с ограничениями

ГОСТ Р ИСО/HL7 27951-2016; Страница 360

или поделиться

Ещё ГОСТы из 41757, используйте поиск в верху страницы ГОСТ ISO 105-Х12-2014 Материалы текстильные. Определение устойчивости окраски. Часть X12. Метод определения устойчивости окраски к трению Textiles. Tests for colour fastness. Part X12. Colour fastness to rubbing ГОСТ 1.1-2002 Межгосударственная система стандартизации. Термины и определения Interstate system for standardization. Terms and definitions (Настоящий стандарт устанавливает основные термины, применяемые в межгосударственной стандартизации, и их определения. . Термины, установленные настоящим стандартом, рекомендуется использовать в правовой, нормативной, технической и организационно-распорядительной документации, научной, учебной и справочной литературе) ГОСТ Р ИСО/МЭК 10165-1-2001 Информационная технология. Взаимосвязь открытых систем. Структура информации административного управления. Часть 1. Модель информации административного управления Information technology. Open systems interconnection. Structure of management information. Management information model (Настоящий стандарт относится к серии стандартов по услуге информации административного управления ВОС. В стандарте определена информационная модель управляемых объектов и их атрибуты, которые соответствуют информационным аспектам модели административного управления системы, установленной в обзоре административного управления системы ГОСТ Р ИСО/МЭК 10040. . Стандарт применяется для всех определений управляемых объектов и их атрибутов, а также для задач административного управления системами)
Страница 360
Страница 1 Untitled document
ГОСТ Р HCO/HL7 279512016
invariant (QTY х, у,
г)
where x.nonNull.and(y.nonNull> f
x.compares<y>.equal(x.lessorEqual(y>.or(y.lessorEqual(x>>>;
1;
B.2.27.4 Свойство difTType: TYPE
Определение: свойство difTType определяет тип разности между двумя значениями конкретного типа данных
QTY.
invariant (QTY х) f
х.тСГТуре.implies(QTY>
t;
Тип разности представляет собой некоторый тип данных, который далее специализирует тип данных QTY.
В.2.27.5 Свойство minus: QTY
Определение: Величина, выражающая «дистанцию» данной величины от величины операнда, которая должна
быть сравнимой. Типданных величины разности связан с типом данных операнда, но не обязан быть тем же самым.
invariant(QTY х, у» f
х.minus(у}.implies(x.ailtType
) ;
1
1
Результат вычитания minus имеет тип данных, возвращаемых в свойстве difTType данной величины.
Разность определена в упорядоченном множестве, если семантически значимо утверждать, что Д представ
ляет собой разность значений х и у. РазностьДдолжна быть значимой независимо от значений величин х и у. Такая
независимость существует, если для всех значений и можно осмысленно вывести такое значение v, что Д будет
также разностью между и и v. Суждение о том. что значимо, не может быть определено формально1).
Свойство minus имеет тип данных, способный представить разность двух значений, между которыми су
ществует отношение упорядоченности (то есть эти значения являются элементами общего полностью упорядо
ченного подмножества). Например, разность двух целых чисел имеет тип данных целого числа, а разность двух
моментов времени является физической величиной, имеющей размерность времени. Тип данных разности имеет
полностью упорядоченный домен значений.
Разность двух значений х и у должна быть определена для всех пар х и у в полностью упорядоченном под
множестве значений типа данных. Нуль представляет собой разность значения с самим собой.
invariant(QTY х, у)
where х.compares(у> (
х.minus(у).nonNull;
х.minus(x).xs2ero;
);
Если значения x и у не сравнимы, то их разность должна иметь пустое значение.
invariant (QTY х, у>
where х.compares(у».Not {
х.minus(у}.notApplicable;
I ;
В.2.27.6 Свойство plus: QTY
Определение: сумма данного количества и значения операнда. Операнд должен иметь тип данных, который
может выразить разность между двумя значениями этого типа данных физической величины.
invariant(QTY х, у)
where х.compares) !
11Абстракция типа данных количества отвечает понятию шкал разности в противовес порядковым шкалам
и шкалам отношений (Guttman и Stevens). Тип данных, в котором определены только требования к упорядочению,
но не к разности значений, является порядковым. В настоящее время для порядковых типов данных
специальный тип данных не определен. Обычно порядковыми величинами являются кодированные значения,
взятые из систем кодирования, в которых определено отношение порядка. Но пока что семантика упорядочения
не отражена в се мантике типов данных, определенных в стандартах HL7.
357