20.3. X .
() : X{t) - al*sin(kl*t), <t) - a2*sin(k2*t)
II, Prolog
al, a2, kl 2 ; 0. tO = 0, X(tO) = Y(tO) = zero/inc.
)
.
) , X Y
Mj'iXY).
,
.
20.4. X, Y Z
:
sum(X, Y,Z)
, : X, Y: minf, zero, inf Z: minf, zero, landz, inf
tO x{tO) = zero/inc. Y(tO) 2(tO)? X, Y Z , tO.. tl, ? X(tl), Y (tl) Z (tl) , tl?
20.5. (. 20.8)
Prolog,
(. 20,2).
( ,
). ,
(. . 20.8).
. 20.8, ,
20.6. , 20.2, , : minus [X, ) ( X = -Y), m_minus (X Y} ( Y - X), mult(X,Y,Z) ( Z = X * Y).
20.7. :
landmarks(, [ minf, zero, xl, inf]). landmarks v, [ minf zero, vO inf]). legalstate< [ x, v]):-
V = v: /inc, %
deriv _ X, V).
initial ([ x: zero,.xl/inc, v:v0/inc] }
20.
, 20.2, ( Prolog ):?- initial! S), simulate! S, Behav, 31. 3ehav = [ [x: zero..xl/inc,v:vO/inc], [ x:..xl/inc,v:vO.. inf/inc],
[x:xl/inc,v:vO..inf/inc], [x:xl.. inf/inc,v:v 0..inf/inc] ]
|
|
, , . . v:vO/inc, ( , ). : xl/inc, . . ( , X ! zero..xl). , X xl. , , , X xl, X xl, X , xl. , 20.2, ? : legal_trans.