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

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

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

Страница 16

Страница 1

Untitled document

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

(a cq al) and (а2 cq аЗ) and (х eq xl) and (q cq ql) and

(d eq dl);

TCONresp(a. x, q, d) eq TCON’resp(al, xl, ql. dl) = (a fiq al)

and (x eq xl) and (q eq ql) and

eq dl);

TCONconf(a, x, q, d) eq TCONconf(al, xl,ql. dl) » (a eq al)

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

TDlSindfr, d) eq TDlSind (rl, dl) =* (r eq rl) and (d cq dl);

TUDTreq(a. a2. clq, d) eq TUDTreq(al. a3. clql, d l)»

(a eq al) and (a2 eq a3) and (clq eq clql) and (d eq dl);

TUDTindfa, a2. clq. d) eq TUDTind(al. a3. clql. d l) »

(a eq al) and (a2 cq a3) and (clq eq clql) and (d eo dl): not

(IsTCON (t) or IsTDlS(t))

= > t eq tl

= (Subsort (t) eq Subsort (tl))and(IJsCrDataft)cq

UserData(tl)) and (IsTDT(t) implies (t eqTerm tl);

t ne tl «•not(t eq tl);

1 eqTertn 11

= TEOTrequest Terminates t iff (TEOTrequcst Tepminales

tl) and (TEOTindication terminates t iff (TEOTindicafion

Terminates tl));

fcndtype (* TSPEquality *)

84 3.4

П р о ч и еф у н к ц и ис е р в и с н ы хп р и м и т и в о м

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

Функция ProviderGeneratedlnd характеризует TSP, генерируе

мые исключительно поставщиком услуг. Эта функция использует ся

для описания возможного недетерминизма поставщикауслуг

(см. 12.3.3).

Функция IslndicationOf связывает выполнение TSP в каждом

оконечном пункте- транспортного соединения с предварительным

выполнением соответствующего примитива в другом пункте того же

самого транспортного соединения (см. 12.3.3). Эта функция также

представляет требования по согласованию в отношении воз можного

недетерминизма поставщика услуг (см. раздел 10 и 14.2 ИСО 8072).

type TransportSfcrvicePrimitive

is TSPEquality

opns

ProviderGeneratedlnd : TSP —> Bool

- IslndicationOf— IsValidTCON2For_ •TSP. TSP - > Bool