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

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

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

Страница 41

Страница 1

Untitled document

ГОСТ Р ИСО.’МЭК ТО !ОС23—93

П р и м е ч а н и е — Начальным взаимодействием по ограничениям может

быть только запрос. Это должен быть Т-СОЕДИНЕНИБ запрос о силу допол

нительных локальных ограничений (см 11.3-2)- Разделение между двумя

экзем плярами корректно только в том случае, если гарантируется, что

оконечный пункт, где одни нз них обрабатывает запросы, является

оконечным пунктом, где другой обрабатывает индикации. По этой причине

введены параметры адре са, идентификации и направления прнынтнвоз в

TAssocl 1см. 12-2). при помощи которых TAssocl обрабатывает запросы на

одном конце ТС и индикации на другом конце.

process TCEPAssociation [(] : noexit : —

t ?ta : TAddress ?tcei : TCEI ?tcr : TSP f IsTReq (ter)) ;

(TAssocl (t) (ta, tcei, Request, indication, Append (ter,

NoTReqs))

l 11■

TAssocl ft] (ta, tcei, Indication, Request. NoTReqs))

endproc (4 TCEPAssociation *)

Г ______________

___

________________________________________________

12.2 О д н о н а п р а в л е н н о с т ь

TAssocl соотносит индикации, которые могут выполняться на

одном конце ТС, с историей запросов, выполненных на другом его

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

взаимосвязь. Самым сложным подпроцессом TAssoclявляется

TCRecToInd (см. 12.3.1), который представляет межоконечные ог

раничения. указывающие взаимодействия в t, связанные с прими

тивами. Параметр TCRecToInd представляет историю запросов,

которые соотносятся с возможными будущими индикациями. Опре

деление TCEPHalf. видимо, требует небольшого дальнейшего пояс

нения: см. в 11.2 ConslantTA и ConstamTCEI, в 8.4.2.1 IsTReq и

IsTlnd, в 8.3 Tld.

--------------------------------------------------------------------------------

т)

process TAssocl [tj (ta : TAddress, tcei : TCEI, dl, d2. :

TSPDirection, rh : TReqHistory) : noexit : ■=

((TCEPHalf ft] (dl)

ConstantTA [t] (ta) |j ConstantTCEI [t]

(tcei))

TCEPHalf1ft) (d2)

fetal :JAddress ?tcci : TCEI ’tsp : TSP l/Td(tal, tceil) ne Tld (ta.

tcei)J ; (ConstantTA [t] (tal) || ConstantTCEI [t] (tceil))) ||

TCReqToInd [t] (rh)

endproc (* TAssocl •)

process TCEPHalf [t] (dir : TSPDirection) : noexit : —