* <, Y) Y -
- (, Y) Y -
sum(X,Y,Z) Z = X+Y
minus(X,Y) Y = -X
mult(X,Y,2) z = X*Y
denv{x,ir; ______________ = dX/dt(Y- ] ____________________
, , .
. , . . 20.6 , .
dertv
Amount ---------- *- Netflow
4
Mq f~) ------- ** Inflow = Inflow/std
Level ----- *■ Outflow
. 20,6.
, . 20.6. , , , . , Amount=zero , Amount , Amount=zero/inc , Amount , . : Amount = zero
M43, Amount Level (. . 20.6), : Level = zero
*, : Outflow = zero
Outflow + Netflow = Inflow : + Netflow inflow
II. Prolog
Netflow = inflow.
deriv Amount Netflow, , Netflow Amount. Netflow = inflow > zero, , Amount , . Amount = zero/inc
^, :
Level = zero/inc Outflow = zero/inc
Outflow + Netflow = Inflow , . zero/inc + Netflow = inflow/std
, Netflow : Hetflow inflow/dec
,
Amount - zero/inc Level - zero/inc Outflow = zero/inc Netflow = inflow/dec
. , ; , . , , , , . , . , , . , . , "inc" (), "inc", "std" (), "dec" (). , , , . "zero/inc" "zero/inc" .
|
|
, , , Level zero top, . , , Level : Level <= zero..top/inc
. 20.6 . :
Level = zero..top/inc Amount = zero..full/inc Outflow = zero..inflow/inc Netflow = zero..inflow/dec
20.
Level? .
1. Level = zero..top/inc.
2. Level = zero..top/std.
3. Level = top/std.
4. Level = top/inc.
Level , . , . . , ( ).
, .
1. Level , . , . 20.6, , - . :
Level = zero..top/std
Amount = zero..full/std
Outflow = inflow/std
Hetflow = zero/std
, , , .
|
|
2. Level , . , . , 1.
3. . , , . 20.6, . . . , . . , . 20.6, .
, . , , , . , , , . , . -
II, Prolog
, ,
. , .