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

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

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

Ещё ГОСТы из 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. . Стандарт применяется для всех определений управляемых объектов и их атрибутов, а также для задач административного управления системами)
Страница 361
Страница 1 Untitled document
ГОСТ Р HCO/HL7 27951—2016
x. plus
( у .
minus(х>).equal(у>;
y. aataType.implies(x.diffType);
Вопрос: как соотносятся друг с другом выражения (y.dataType.implies(x.diffType)} и {x.compares(y)}?
Если тип значения у не является допустимым для разности значений, имеющих тип значения х, то результа
том операции должно быть пустое значение.
invariant(QTY х, у)
where
у .
dataType.implies(х.diffType}.not (
x.plus(у).notApplicable;
);
В.2.27.7 Свойство isZero: BL (является нулем)
Определение: нейтральный элемент операций разности и сложения, то есть если величина равна нулю, то
сложение с ней или ее вычитание из другой сравнимой величины должно быть равно этой другой величине.
invariant (QTY х) 1
х.minus(xj.isZero;
1;
B.2.27.8 Свойство отношения порядка lessThan: BL (меньше)
Определение: предикат, указывающий асимметричное и транзитивное отношение упорядочения между дан
ной величиной и другой величиной. Это отношение упорядочения то же самое, что и для свойства lessOrEqual. но
не является рефлексивным.
.
invariant (QTY х, у,
г)
where x.nonNull.ana(y.nonNull) (
х.lessThan(у}.equa1(x.lessOrEqual(y)
.and
(x
equal
(y>.not));
t;
B.2.27.9 Свойство отношения порядка greaterOrEqual: BL (больше или равно)
Определение: предикат, указывающий асимметричное и транзитивное отношение упорядочения между дан
ной величиной и другой величиной. Оно является обращением отношения lessOrEqual.
invariant (QTY х, у, z)
where x.nonNull.and(у.nonNu11) {
x.greaterOrEqual(y!.equal(y.lessOrEqual(x));
);
B.2.27.10 Свойство отношения порядка greaterThan : BL (больше)
Определение: предикат, указывающий асимметричное и транзитивное отношение упорядочения между дан
ной величиной и другой величиной. Оно является обращением отношения lessThan.
invariant (QTY х, у,
2
)
where x.nonNull.ana(y.nonNull) (
x.greaterThan(у).equal(у.lessThan(x>;;
j
;
B.2.28 Целочисленный тип данных IntegerNumber (INT) пециализация типа данных QTY)
Определение: целые числа (-1. 0. 1,2, 100. 3398129 и т. д.), являющиеся точными числами, полученными в
результате подсчета и перечисления. Целые числа являютсядискретными, множество целых чисел бесконечно, но
счетно. На диапазон целых чисел не накладывается никакого произвольного ограничения. Для положительной и
отрицательной бесконечности предусмотрены отдельные причины пустоты.
type IntegerNumber alias INT specializes QTY (
INT successor;
INT times(INT x);
INT predecessor;
INT negated;
358