ГОСТ Р ИСО/ТС 10303-1105-2012; Страница 14

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

Ещё ГОСТы из 41757, используйте поиск в верху страницы

ГОСТ Р 55038-2012 Оптика офтальмологическая. Имплантаты офтальмологические. Эндотампонады глазные. Общие требования безопасности (Настоящий стандарт распространяется на глазные эндотампонады класса неактивных хирургических имплантатов, используемые в офтальмологии. ГЭ предназначены для сглаживания и закрепления положения отслоившейся сетчатки на сосудистой оболочке или тампонирования сетчатки. Стандарт устанавливает требования безопасности в отношении предусмотренного применения, характеристик конструкции, доклинической и клинической оценок, стерилизации, упаковки и маркировки изделия и информации, предоставляемой изготовителем этих изделий) ГОСТ Р ИСО/МЭК 15408-1-2012 Информационная технология. Методы и средства обеспечения безопасности. Критерии оценки безопасности информационных технологий. Часть 1. Введение и общая модель (Настоящий стандарт устанавливает основные понятия и принципы оценки безопасности ИТ, а также определяет общую модель оценки, которой посвящены различные части стандарта, предназначенного в целом для использования в качестве основы при оценке характеристик безопасности продуктов ИТ) ГОСТ Р 8.799-2012 Государственная система обеспечения единства измерений. Государственная поверочная схема для средств измерений мощности магнитных потерь в магнитомягких материалах (Настоящий стандарт распространяется на государственную поверочную схему для средств измерений мощности магнитных потерь в магнитомягких материалах (МММ) в диапазоне частот от 50 до 2•105 Гц и устанавливает порядок передачи единиц мощности магнитных потерь в диапазоне от 0,1 до 20,0 Вт и удельной мощности магнитных потерь в диапазоне от 0,1 до 200,0 Вт/кг от государственного первичного эталона с помощью эталонов первого и второго разряда рабочим средствам измерений с указанием основных методов поверки)

Страница 14

Страница 1

Untitled document

ГОСТ Р ИСО/ТС 10303-110S-2012

EXPRESS-спеиификация:

ENTITY attribute_language_assignment

SUBTYPE OF (attributG_classification_assignment):

SELRattribute_classification_assignment.assigned_class:language,

items: SET[1:?] OF attributeJanguage item;

WHERE

WR1: SELF\attribute_classification_assignment.role.name IN (’primary’,

translated’];

WR2; SELF\attribute_classincation_assignment.attribute_name < >",

END_ENTITY;

Определения атрибутов

assigned_class — объект language, используемый для уточнения текстового атрибута у экзем

пляров, представленных атрибутом items;

items — экземпляры, имеющие атрибут в виде строкитекста на языке, представленном объектом

language.

Формальные утверждения

WR1 — для любого экземпляра из items значением атрибута role, уточняющего значение рас

сматриваемого текстового атрибута, должно быть’ primary (оригинальный)’ или’ translated (переведен

ный)’;

WR2 — атрибут attribute_name недолженбыть представлен пустой строкой.

Неформальноеутверждение

IP1 — все экземпляры из items должны быть экземплярами объектных типов данных, которые

имеют или наследуютатрибутс наименованием, определяемым значением атрибута attribute_name.

5.2.2.3 Объект multi_language_attribute_assignment

Объектmulti_language_attribute_assignmentявляетсяподтипомобъектаattribute_

value_assignment. который определяет альтернативное значение для атрибута, имеющего строковое

значение, уодного или несколькихэкземпляров.

EXPRESS-споииФикаиия:

ENTITY multijanguage_attribute_assignment

SUBTYPE OF (attribute_value_assignment);

items: SET[1:?] OF multi_language_attribute_item:

DERIVE

translationjanguage;language := language_indication[1]\

attribute_classification_assignment.assigned_dass;

INVERSE

language indication;SET(1 ;1] OF attribute_language_assignment FOR items;

WHERE

WR1: (SELRattribute_value_assignment.role.name = ’alternate language’);

WR2; SIZEOF( QUERY{ ala <* languagejndication |

(ala\attribute_classification_assignmenLattribute_name =

’attribute_vatue’)AND

(ala\attribute_classification_assignment.role.name=’transiated) ))= 1;

WR3: SELF\attribute_value_assignment.attribute_name <

WR4; SIZEOF(QUERY(ci <* items j SIZEOF(QUERY(ata <* USEDIN(ci.

,MULTI_LINGUISM_MIM.MULTI_LANGUAGE_ATTRIBUTE_ASSIGNMENT.ITEMS’)

|(ata\attribute_value_assignment.attribute_name =

SELF\attribute_value_assignment.attribute_name)AND

(ata.translationjanguage ;=:translationjanguage) ))>1)) =0;

WR5: SIZEOF(QUERY(ci <* items | SIZEOF(QUERY(ata <* USEDIN(ci.

MULTI JJNGUISM_MIM.ATTRIBUTE_LANGUAGE_ASSIGNMENT.ITEMS’)|

(ataVattribute_classification_assignment.role.name-primary’)AND

(ata\attribute_classification_assignment.attribute_name=

SELRattribute_value_assignment.attribute_name) AND