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

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

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

Ещё ГОСТы из 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. . Стандарт применяется для всех определений управляемых объектов и их атрибутов, а также для задач административного управления системами)
Страница 306
Страница 1 Untitled document
ГОСТ Р HCO/HL7 27951— 2016
invariant(BLх, у) 1
х.ог(у).equal(x.not.and(y.not;.not!;
1 ;
В.2.1.4 Свойство xor: BL
Определение: исключающая дизъюнкция хот ограничивает дизъюнкцию от таким образом, что два операнда
не могут одновременно иметь значение «true».
invariant(BL х, у) |
x.xor(у).equal(x.or(у).апа(х.апп(у;.not));
1;
В.2.1.5 Свойство implies: BL
Определение: правило импликации в форме «Если условие, ТО следствие». Логическая импликация опреде
ляется как дизъюнкция следствия (conclusion) и отрицание условия. Это означает, что если условие (condition) имеет
значение «true», то для того, чтобы результат всего выражения имел значение «true», необходимо, чтобы следствие
(condusion) имело значение «true». Логическая импликация важна для конструирования инвариантных выражений.
invariant(BL condition, conclusion) |
condition.implies(conclusion;.equal(
condition.not.or(conclusion));
l ;
Импликация необратима и не указывает, что имеет значение «true», если условие имеет значение «false» (ex
(also quodlibet — лат. «из лжи следует что угодно»),
В.2.1.6 Литеральная форма
Литеральная форма типа данных Boolean определяется именованными значениями, указанными в конструк
ции values, а именно «true» и «false».
В.2.2 Тип данных BooleanNonNull (BN) пециализация типа данных BL)
Определение: тип данных BN ограничивает тип данных BL таким образом, то значение этого типа данных
не может быть пустым. Этот тип данных предназначен для использования в тех случаях, когда пустое значение
недопустимо.
private type BooleanNonNull alias BN speciali2es BL;
I ;
B.2.2.1 Свойство isNull: BN
invariant (BNx; (
x.isNull.not
i ;
ST
♦heaocraracterf): ST
«MBMnoO’Sr
-Hengthfl.NT
•medeTypeQ: CS(code ■ ’texVpUm"}
♦comprossioflO CS{notApptcabteO)
♦reterenceO:TEL{notAppleableO}
♦mtegntyCtieck!) ВII{notApplcable<)}
«mtegrityCheckAtoertbrnO• CS(nolAppfceWeO)
♦emmbnalO EO(notAppIcableO)
BN
BIN
♦bead!)BN(поШиЦ)
<bnd>(8N)
H rANYj
us7
EO
tmedaTypeO: CS
♦charsdO CS
♦languageO: CS
♦cwnpresaenO;CS
♦reference(). 7EL
♦integrityCheck!): Bit
♦mtegrityCheckAlgorthinO CS
♦Вштьлаяг) ED
Рисунок B.3 Обзор мультимедийных и текстовых типов данных
В.2.3 Тип данных BinaryData (BIN) пециализация типа данных LIST<BN>)
Определение: тип данных BIN представляет собой простой блок битов. Он является защищенным, так что не
должен объявляться за пределами спецификации типов данных.
303