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

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

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

Ещё ГОСТы из 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. . Стандарт применяется для всех определений управляемых объектов и их атрибутов, а также для задач административного управления системами)
Страница 372
Страница 1 Untitled document
ГОСТ Р HCO/HL7 279512016
В.2.31.8 Свойство isOne: BL (нейтральный элемент умножения)
Определение: предикат, указывающий, что данное значение равно числу один, то есть нейтральному эле
менту умножения. Существует ровно одна физическая величина с таким свойством, называемая единицей.
invariant(PQ х, у)
where x.nonNuli.ana(y.nonNuil) 1
х.isOne.and(y.isOne).implies(x.equal
(y>
);
x.isOne.and(y.iaZero>.implies
(x .
equal
(y }
.not
} ;
1;
B.2.31.9 Свойство times: PQ (умножение)
Определение: произведением двух физических величин является произведение их количеств, умноженное
на произведение их единиц.
2
2
invariant(PQ х, у,
2
,
1
, о}
where х.nonNuil.and(y.nonNuil).and(.nonNuil)
.and(o.isZero>.and(i.isOne} (
x.times(o).equal(o
) ;
x.times(i).equal(x);
/ *
нейтральный элемент
*/
x.times(у).times(}.equal(
x.times(y.times(
2
>>;; /♦ ассоциативность */
x.times(у).equal(у.times(x));
/ *
коммутативность
*/
о.lessorEqual(x).and(o.lessorEqual(y).implies(o.lessorEqual(x.times(у»};
B.2.31.10 Свойство inverted: PQ (обратная величина)
Определение: значение типа PQ. которое, будучи умноженным на другое значение типа PQ. дает единицу
(нейтральный элемент умножения). Нуль (нейтральный элемент сложения) не имеет обратной величины. Отноше
ние двух сравнимых величин сравнимо с единицей (единица измерения 1).
invariant(PQ this, that, one}
where this.nonNuil.and(that.nonNuil).and(one.isOne} t
this.times(this.inverted).equal(one);
this.compares(that).implies(this,times(that.invertenj.equal (one))
1;
B.2.31.11 Свойство times: PQ (умножение на вещественное число)
Определение: при умножении на вещественное число образуется масштабированная величина. Эта величи
на сравнима с ее исходной величиной.
Если две величины Q, и 0 2 сравнимы друг с другом, то существует вещественное число г. для которого г1 =
Q ,/Q 2.
invariant(PQх? REAL г}
where х.nonNuil.ana(t.nonNuil) 1
x.times(r).value.equal(x.value.times(r));
x.times(r}.compares(x);
1;
B.2.31.12 Гомоморфизм значения типа REAL в величину типа PQ: REAL
Значение типа REAL может быть преобразовано в значение типа PQ с единицей 1 (один). Аналогично физи
ческая величина, сравнимая с единицей, может быть преобразована в вещественное значение.
invariant(PQ х, unity)
where x.nonNuli.ana.unity.isOne.and(x.compares(unity))
1
unity.times((REAL)x).equal(x>;
);
B.2.31.13 Свойство power: PQ (возведение в степень)
Определение: физическая величина может быть возведена в целую степень.
invariant (PQх, i; INT n. О)
where x.nonNuil.and(i.isOne).and(n.nonNuil.and(o.lsZero) t
369