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

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

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

Страница 10

Страница 1

Untitled document

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

Octetstring —> TSP

endtype (* BasicTSP *)

1 С ______________________

8.42

Классификация сервисныхпримитивов транспортного

уровня

8.4.2.1

Визовая классификация

Базовая классификация TCP определена при помоши TCPSub-

sort, состоящего из набора констант, каждая из которых задает

имя TCP в соответствии с таблицей 3 ГОСТ 34.960.

Тип TCPBasicClassificrs — это функциональное расширение

базовой конструкции в 8.4.1. где:

a) функция Subsorl генерирует имя TCP:

b) булевы функции на TCP, названные «определителями подви

да ТСР», определяются в соответствии с базовой классификацией,

введенной при помощи TCPSubsort.

П р и м е ч а н и е — Вспомогательная функция h. отображающая имена

TCP на натуральные числа, определяется для упрощения спецификации булевых

операций равенств на именах TCP (так же, как на TCP в 8.4 3.3) Определение

IsRcqucsf. Vindication (на именах TCP) я IsTrcq. -IsTind (на TCP) отражает

соглашение, введенное в раздел 5.

type TSPSubsort

is NaturalNumber

sorts

TSPSubsort

opns

TCONNECTrequest. TCONNECTindiration. TCONNECTres-

ponse, TCONN’ECTconfirm. TDATArequest, TDATAindica-

tion. TEXDATArequest, TEXDATAindication, TD1SCONN-

request. TDISCONNlndication, TlJDATArequest, TUDATA-

indieation: —> TSPSubsort

h: TSPSubsort•- >Nat

Even, Odd: Nat — > Bool

fsRequest, vindication : TSPSubsort — > Bool

„eq_._ne_: TSPSubsort, TSPSubsort

— > Boo!

cqns

forall

s, si v TSPSubsort, n : Nat

ofsort Nat

h(TCONNECTrequest) =0;