ГОСТ Р ИСО.’МЭК то 10023-93
pf It рП = (pf le pfl) and not(рП le pf);
pf eq pfl = (pf lie pfl) and (pit le pf);
pf ne pf I= not (pf eq pfl);
pf ge pfl -=pf1 le pf;
pf gt pf1= <pf ge pfl) and not (pfl ge pf);
endtype (* TCPerforinance *)
type BasicTCPerformance
is FourTuple aciualizedby TCDelays, TCThroughput.
TCResidualErrorRate, TCFailureProbabilities using
sortnames
TCPerforinance for FourTuple
Delays for Element
Failures for Element2
Throughput for Element3
TPRER for Element*
Bool for FBool
opnnames
Performence for Tuple
Delays for First
Throughput for Second
RER for Third
Failures for Fourth
endtype (•* BasicTCPerformance *)
<*._____________________________________________
_______
85.2.2
П а р а м е т р ыз а д е р ж к и
Параметры задержки имеют следующую структуру тройки:
Delays"•EstDelayxTransDeiayXRelDeiay, где:
EstDelay=Nat
TransDelay = Nat*
RelDelay=Nat*
EstDelay — вид параметра задержки установления ТС, кото
рый имеет линейную структуру (таким образом определена един
ственная взаимно однозначная проекция).
TransDeldy — вид параметра транзитной задержки, который
имеет структуру четверки. Каждая проекция представляет тран
зитную задержку для отдельного направления передачи и скорос ти
(а именно «максимальная» и «средняя», см. 10.3 ГОСТ 34.960). Это
определение представлено как переименование вспомогатель ного
определения, приведенного в 8.5.5.
RelDelay — вид параметра задержки освобождения, который
имеет структуру двойки. Каждая проекция представляет задержку
освобождения ТС для отдельного пользователяТС(которому
А
3*к.
Ж
17