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

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

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

Страница 14

Страница 1

Untitled document

ГОСТ Р ИСО МЭК ТО 10023—93

Единственное исключение имеется в прямом представлении пара*

метра данных пользователя при помощи функции UserData, так

как этот параметр можно определить во всех TSP.

type TSPParameterSelectors

is TSPClassifiers

opns

IsCalledOf-.. -IsCallingOf-, -IsRespondingOf- : TAddress,

TSP —>Bool

-IsTEXOptionOfTEXOption, TSP—> Bool

-IsTQOSOf- : TQOS, TSP - > Boo!

-IsReasonOL: TDISReason, TSP —> Bool

UserData: TSP—> OdetStrlng

eqns

forall

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

d : OcteiString, r, rl : TDISReason, t : TSP, clq. clql

: C1QOS

ofsort Bool

a IsCalledOf TCONreq(al, a2, x, q, d ) - a eq al;

a IsCalledOf TCONindfal, a2, x, q, d) = a eq al;

a IsCalledOf TUDTreqfal, a2. clq, d)«-a eq al;

a IsCalledOf TUDTindfal, a2, clq. d) - a eq al;

not (IsTCONI (t)) - >a IsCalledOf t» false;

a IsCallingOf TCONreqfal, a2, x. q, d) -*■a eq al;

a IsCallingOf TCONindfal, a2, x, q, d)***a eq al;

a IsCallingOf TUDTreqfal, a2, clq. d) —a eq al;

a IsCallingOf TL’DTindfal, a2, clq, d) -»a eq al;

not (IsTCONI (t)) —> a IsCallingOf t—false;

a IsRespondingOf TCONrcspfal. x, q, d)-*a cq al;

a IsRespondingOf TCONconffal, x. q, d)= a eq al;

not(lsTCON2(t) 1) = > a IsRespondingOf t= false;

x IsTEXOptionOf TCONreqfal. a2. xl. q. d)=x eq xl

x IsTEXOptionOf TCONindfal, a2. xl, q, d) =x eq xl

x IsTEXOptionOf TCONrespfa, xl. q. d)=x eq xl

x IsTEXOptionOf TCONconffa. xl, q. d)=x eq xl

not(IsTCON(t)) = > x IsTEXOptionOf t= false;

q IsTQOSOf TCONreq(al, a2. x. ql. d)=q eq ql

q IsTQOSOf TCONindfal. a2, x. ql. d)=q eq ql

q IsTQOSOf TCONrespfa. x. ql. d)=q eq ql

q IsTQOSOf TCONeonffa. x. ql, d)=q eq ql

not(IsTCON(t)) - > q IsTQOSOft-false;