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

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

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

Страница 13

Страница 1

Untitled document

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

то 10023-93

type TDATAAtomSubsort

is FourTuplei renamedby

sortnames

TDATASubsort ior Tuplet

opnnames

TDATAOCTrequest for TheOne

TDATAOCTindieation for TheOther

THOTrequest for TheThird

THOTindication for TheFourth

.endtype (* TDATAAtomSubsort *)

type TSPClassifiers

is TSPBasicClassifiers, TDATAAtomSubsort

opns

Terminates: TDTASubsort, TSP— > Bool

eqns

forall

d : OctetString,s : TDTASubsort, t : TSP

ofsort Bool

TEOTrequest Terminates TDTrcq(d) = true;

TEOTindication Terminates TDTind(d)-true;

TEOTrequest Terminates TDTind(d) = false;

TEOTindication Terminates TDTreq(d) =false;

TDATAOCTrequest Terminates t= false,*

TDATAOCTindieation Terminates t= false;

not(lsTDT(t)) = > Terminates t= false;

endtype

TSPClassifiers •)

8.4.3

Функции сервисных примитивов транспортного уровня

’ 8.4.3.1

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

В 8.4.3.2 конструкция, представленная в 8.4.2, расширяется

функциями, допускающими определение значений конкретных па

раметров TCP. В 8.4.3.3 в эту конструкцию добавляются булевы

равенства. В 8.4.3.4 представлены дальнейшие функциональные

расширения, которые полезны для представления согласования

(см. 11.3.2) и недетерминизма поставщика услуг (см. 12.3.3).

8.4.3.2

С е л е к т о р ып а р а м е т р о вс е р в и с н ы хп р и

м и т и в о в т р а н с п о р т н о г о у р о в н я

Для сравнения или селекции значений конкретных параметров

TSP определены булевы функции. Причина для такого непрямого

представления — неполнота определения при помощи равенств.