ГОСТ Р ИСО/МЭК ТО 10023-93; Страница 15

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

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

ГОСТ 13425-93 Масса древесная. Метод определения фракционного состава Wood pulp. Method of fractional composition determination (Настоящий стандарт распространяется на древесную массу и устанавливает метод определения фракционного состава: костры, длинного, среднего и мелкого волокна) ГОСТ Р 50533-93 Ткани синтетические и смешанные для шинной промышленности. Технические условия Synthetic and mixed-fibre fabrics for tyre industry. Specifications (Настоящий стандарт распространяется на синтетические и смешанные ткани, применяемые в качестве текстильной основы при изготовлении материалов, предназначенных для производства автомобильных шин, а также в качестве прокладки для хранения сырых резиновых заготовок, обрезиненных кордов, тканей перед сборкой и вулканизацией) ГОСТ Р 50487-93 Пластмассы. Качественная оценка выпотевания красителей Plastics. Qualitative evaluation of the bleeding of colorants (Настоящий стандарт устанавливает метод качественной оценки способности некоторых красителей к выпотеванию или к миграции из пластика в другие материалы при контакте друг с другом. Если нужно сравнить свойства различных красителей, их смешивают с данным пластиком по соответствующей стандартной рецептуре)

Страница 15

Страница 1

Untitled document

ГОСТ Р ИСО/МЭК то 10023— вз

г IsRcasonOf TDISind(гI. d) =г eq г1:

not(IsTDiSind(t))= > r IsReasonOf (= fals«;

clq IsCIQOSOf TUDTreq(al. a2. clql. d)=clq eq clql

clq IsCIQOSOf TUDTind(al, a2, clql, d)=clq eq clql

ofsort Octetstring

UserData (TCONreq (a I. a2, x, q. d ))—d;

UserData(TCONind(al. a2. x. q. d))«=d;

UserData (TCONresp (a. x, q. d)) = d;

UserData (TCONconf (a. x. q. d))=d;

UserData (TDTreq (d>) = d;

UserData (TDTind (d)) = d

UserData (TEXreq (d)) =d:

UserData (TEXind (d)) = d;

UserData(TDISreq(d)) - d

UserData (TDISind (r, d ))«d ;

UserData(TUDTrcq(al, a2, clq, d ))—d;

UserData(TUDTind(a 1. a2. clq. d ))-d ;

endtype (* TSPPararneterSelectors k)

(’- ......................................................................................................

8.4.3.3

Р а в е н с т в о с е р в и с н ы х п р и м и т и в о в т р а н с

п о р т н о г оу р о в н я

Булево равенство на TSP определяется как конъюнкция равен

ства

имени

TSP (см. 8.4.2.1) и попарного равенства параметров

TSP Кроме того, для примитивов данных требуется равенство ог

раничителя (см. 8.4.2.2).

--------------------------------------------------------------------------------------------------«)

type TSPEquality

is TSPPararneterSelectors

opns

_eq_._ne_._eqTerm-: TSP. TSP —> Bool

eqns

forall

a, a I. a2, a3 : TAddress, x. xl : TEXOption, q, ql : TQOS,

d, d1 : OctetString. r, rl : TDISReason, t, tl : TSP.

clq, clql : C1QOS

ofsort Bool

Subsort (t) ne Subsort (tl) = > t eq t l « false;

TCONrcq(a, a2. x, q. d) eq TCONreq(al. a3. xl. ql. dl) =

(a eq al) and (a2 tq a3) and (x eq xl) and (q eq ql) and

TCONЫ (a, a2, x, q. d) eq TCONind(al, a 3 .x l.q l, dl) -