19.2. .
19.3. 373179, -66518.
19.4. {, Ci) , (0, ;). Ci - .
20
20.1. qmult (, , posi.
qrault(pos, zero, zero). qmult(pos, neg, neg).
20.2. resistor! pos, pos).
resistor! zero, zero), resistor! neg, neg). diode(zero, pos). diode! zero, zero). diode! neg, zero).
20.3. ) : X - zero/inc, = /inc
: :
X =
X =
X
x =
zero..inf/inc, zero..inf/std, zero..inf/std, zero..inf/inc,
Y =
Y
Y =
Y =
zero..inf/inc zero..inf/inc zero..inf/std zero..inf/std
) ), , : X = zero..inf/std, Y = zero..inf/std
TtO: | X | - | |
T=tl: | X | = | |
= | |||
T=t2: | X | - | |
Z | = | ||
X | = | ||
S | = | ||
X |
20.4. TtO: X zero/inc, Y = zero/inc, Z - zero/inc
zero..inf/inc, Y = zero..inf/inc,
zero..landz/inc
zero.-inf/inc, V = zero..inf/inc, landz/inc
zero..inf/std, Y = zero..inf/std, zero..landz/std zero.. inf/stci, Y = zero.. inf/std, Z = landz/std . , 20.2, , : landmarks [ , [niinf, zero, inf ]). landmarks! , [minf,zero,inf]). landmarks[ z, [minf,zero,landz,inf]). correspond! x:zero, y:zero). iegalstatel fX,Y,Z]):-mplus(x, Y}, sum(X, Y, Z). initial[ [x:zero/inc, y:Y0, z:Z0]). .?- initial(S), simulate (S, Beh., 3).
20.5. I
* levAO levBO - i , fABO - , fBAO %
landmarks! level, [ zero, levBO, levAO, inf]). landmarks[ leveldiff, [minf, zero, inf]). landmarks(flow, [minf, 80, zero, fABO, inf]). correspond(leveldiff:zero, flow:zero). correspond(flow:fABO, flow:fBAO, flow:zero). legalstate([ LevA, LevB, FlOwAB, FlowBAJ):-
derivf LevA, FlowBA),
deriv(LevB, FlowAB),
stm(FlowAB, FlowEA, flow:zero/std), % = -FlowAB
DiffAB = leveldiff:_,
sum{ LevB, DiffAB, LevA], % DiffAB = LevA - LevB
mplus(DiffAB, FlowABt. initial([ level:levA0/dec, level:levB0/inc, flow:fABO/dec, flow:fBAO/inc]>.
20.7, legal_trans[ Statel, State2):-
system_trans(Statel, State2),
Statel \== State2, % not (point_state{ Statel), % He ,
% point_state(Stated)),? Statel,
% St.5ito2 legalstate{ State2). % point_state[ State):-
member! _:Qmag/Dir, State),
not (Qmag = _-_), % Qmag - ,
Dir \== std. % Dir