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

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

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

Страница 25

Страница 1

Untitled document

ГОСТ Р ИСО.’МЭК

то

J0023— 93

сел [0, I] вместе с элементом Undefined, который представляет от

ношения, не входящие в этот интервал.

DTRateDirectionQOSParameter поддерживает определение па

раметра КУ в виде натурального числа, который имеет четыре

компонента (или проекции), каждый из которых индексируется ско

ростью передачи данных и направлением передачи. Виды DTRate

и DTDirec(ion обеспечивают эти индексы Компоненты

генерируют ся функцией Proj. Конструкция этого типа

представленаснизу вверх,

используя определения типов DTDirectionQOSParк

DTDirectionQOSParameter для построения структуры четверки ил

двух двоек. Общее определение параметраPODoubleParameter

см. в 8.7.

П р и м е ч а н и е — Определение в 8.7 необходимо для понимания приве

денных ниже определений. При первом чтении рекомендуется сначала прочесть

8.7.

type Probability

is NaturalNumber

sorts

Prob

opns

-I-:

Nat. Nat— > Prob

•Undefined : —> Prob

-eq__nc-,..le ,

-It , -g£~r-gt-: Prob, Prob—> Bool

eqns

foral!

m, n, j, k : Nat, p. q : Proh

ofsort Prob

m gt n or (n eq 0) = > m/n= Undefined; ■

m le n, n ne 0, j ne 0 =*> (m * j) / (n * j) =m/n;

ofsort Bool

m lc n. j Ic k, n ne 0, k no 0 = > ш / п le (j /к) —(m * k)

lc (J * n);

m le n. n n c O = > Undefined Ic (m/n)= false;

p Ic Undefined = true:

p It q= (p !e q) and notfq le p);

p eq q= (p le q) and (q le p);

p ne q= not (p eq q);

p ge q—q le p;

P £t q - (p gc q) and not (q ge p);

endtype (• Probability •}