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

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

Ещё ГОСТы из 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 (Настоящий стандарт устанавливает метод качественной оценки способности некоторых красителей к выпотеванию или к миграции из пластика в другие материалы при контакте друг с другом. Если нужно сравнить свойства различных красителей, их смешивают с данным пластиком по соответствующей стандартной рецептуре)

Страница 17

Страница 1

Untitled document

ГОСТ Р

И С0.ЛЭК ТО

10023-93

oqns

foral!

1, tl : TSP, а, аI, а2, аЗ : TAddress, х, xl : TEXOptfon,

q. ql : TQOS. d. dl : Octetstring:, tlq. clq I :

CIQO

ofsort Bool

PrividerGeneratedlnd(l)

= IsTDISind(i)and(ProviderIsReasonOf(t)and

(UserData(t) eq < > ) :

TCONconf(al, xl, ql, dl) IsValidTCON2For TCONreqfa,

a2, x, q, d ) - ( a l eq a) and (ql eq q) and ((xl eq UseTex)

implies (x eq UseTEX));

TCONresp(al, xl. ql, dl) IsValidTCON2For TCONind(a.

a2. x. q, d) = (aI eq a) and (ql eq q) and ((xl eq UseTex)

implies (x cq UseTEX)):

not((lsTCONconf(tl) and IsTCONreq(t))or ((IsTCON-

resp(tl) and IsTCONind(t))) = > 1 1 lsValidTCON2Fort =

false;

TCONind(al. a3. xl, ql, dl) IsIndicationOf TCONreq(a. a2.

x. q, d)» (al eq a) and (a3 eq a2) and (xl eq x) and (ql к

q) and (dl eq d);

TCONeonf(al, xl, ql, dl) IsIndieationOfTCONresp(a, x, q.

d) = (aI eq a)

*nd

(xl eq x) and (ql eq q ) and (dl eq d);

IsTCON((), not(IsTReq(t)) - > t 1 IsIndicationOf t—false;

IsTCON(t). IsTReq(t),h(Subsorl(t I))no Succ(h(Sub-

sorl(t))) = > (1 IsIndicationOf t= false;

TUDTind(al. a3. clq I, dl) IsIndicationOf TUDTrcq(a, a2.

clq, cl) « (a t eq a) and (a3 eq a2) and (clq 1 le clq)and

(dl eq d);

not (IsTCON’ (t) or IsTUDT(t)) = > t l IsIndicationOf t=

IsTReq(t)and IsTInd(11)and(h (Subsort (tl))eq

Succ(h(Subsort(t)))) and ((TEOTindication Terminates tl)

iff (TEOTrequcst Terminates t)) and (UserData(11)eq

UscrData(t)):

endtype (* TransportServicePrimltive •)

8.5 К а ч е с т в оу с л у г(К У)

8 5.1

Общее описание

Структура параметра КУ подразделяется в соответствии с оп

ределением, приведенным в разделе 10 ГОСТ 3-1 960

Первая декомпозиция выделяет параметры КУ: производитель

ность ТС, приоритет ТС и зашита ТС. Эти структуры определяют-