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

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

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

Ещё ГОСТы из 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. . Стандарт применяется для всех определений управляемых объектов и их атрибутов, а также для задач административного управления системами)
Страница 386
Страница 1 Untitled document
ГОСТ Р HCO/HL7 279512016
В.3.1.1 Свойство contains: BL
Определение: отношение множества к своим элементам: принимает значение «true», если данное значение
является элементом множества.
Эго примитивное свойство множества, с помощью которого определяются все другие свойства.
Множество может содержать только непустые различные элементы. Исключительные (пустые) значения не
могут быть элементами множества.
invariant(SET<T> s, т п>
where s.nonNull.and(n.istiuli;
\
s.contams(n;.not;
);
B.3.1.2 Свойство contains: BL
Определение: отношение множества к своим подмножествам, при котором каждый элемент подмножества
является также элементом этого множества.
invariant(SET<T> superset, subset;
where superset.nonKulI.and(subset.nonNuli;
superset.contains(subset».equal(
torall(T element; where subset.contains(element; (
superset.contains(element;;
Отсюда вытекает, что пустое множество является подмножеством каждого множества, в томчислесамого себя.
В.3.1.3 Свойство notEmpty: BL
Определение: предикат, указывающий, что данное множество содержит элементы.
invariant(SET<T> set;
where set.nonNull (
set.notEmpty.equal(exists(T element; (
set.contains(element;;
)>;
1;
B.3.1.4 Свойство isEmpty: BL
Определение: предикат, указывающий, что данное множество не содержит элементов (отрицание свойства
notEmpty). Пустое множество является допустимым значением множества, а не исключительным.
invariant(SET<T> set;
where set.nonNull (
set.isEmpty.equal(notEmpty.not>;
j
;
B.3.1.5 Свойство cardinality: INT
Определение: свойство cardinality (мощность) указывает число различных элементов множества.
invariant(SET<T> set;
where set.nonNull (
exists(T element; where set.contains(element;
set.cardinality.equal(set.except(element;
.cardinality.successor;;
l r
l;
q
Это определение мощности не является достаточным, поскольку оно не применимо к несчетным бесконеч
ным множествам (значения типов REAL. PQ и т. д.) и не закончено для бесконечных множеств. Кроме того, опре
деление целочисленного типа данных, приведенное в настоящей спецификации, является неполным для таких
случаев, поскольку не учитывает бесконечности. Наконец, значение мощности служит примером, когда надо
раз личать мощность N (алеф-0) счетных бесконечных множеств (например, значений типа INT) от мощности К,
(алеф-1) несчетных множеств (например, значений типов REAL. PQ).
383