Разумов В.И., Сизиков В.П. - Основы теории динамических информационных систем

Embed Size (px)

DESCRIPTION

(in Russian)Vladimir Ilyich Razumov - Head of Philosophy Department of Omsk State University, Russia

Text of Разумов В.И., Сизиков В.П. - Основы теории динамических...

. ..

167/168.0001.8+514.8:517.91/.93/958:519.6/71+53 72.4(2)7 178 - : , .. ; - .. .., .. 178 : / . . .. . : - , 2005. ISBN 5-7779-0575-7 , 10- . , , . , - , . , , . , , , . . - - .

.. , ..

, ..

167/168.0001.8+514.8:517.91/.93/958:519.6/71+53 72.4(2)7

-

2005

ISBN 5-7779-0575-7

c .. , 2005 c .. , 2005 c , 2005

() . . . . . . . . . . . . . . . . . . . . . . . . . 7 . . . . . . . . . . . . . . . . . . . . . . . . . . 10 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 1. . . . . . . . . . . . . . . . . . . . . . 23 1.1. . 23 1.2. . 24 1.3. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 2. - . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 2.1. - . . . . . . . . . . . 29 2.2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 2.3. . . . . . . . . . . . . . 33 2.4. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 2.5. . . . . . . . . . 36 2.6. : . . . . . . . . . . . . 37 2.7. . . . . . . . . . . . . . . . . . . . . . . 38 2.8. - . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

3. : - . . . . . . . . . . . . . . . . . . . . . . . . . . 3.1. . . . . . . . . . . . . . . . . . . . . 3.2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.3. , . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.3. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5. . . . . . . 5.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.3. . . . . . . . . . . . . . . . . . . . 5.4. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.5. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.6. . . . . . . . . . . . . . . . . . . . . . . . . . . 6. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.1. . . . . . . . . . . . . . . . . . . . . . 6.2. . . . . . . . . . . . . . . . . . . . . . . . . . 6.3. . . . . . . . . . . . . . . . . . . . . . . .

41 41

43

46 48

48 53 57 61 61 63 67 68 71 75 77 77 82 87

3

4

6.4. . . . . . . . . . . . 91 6.5. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96 6.6. . . . . . . . . . . . . . 101 6.7. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105 7. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112 7.1. . . . . . . . . 112 7.2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114 7.3. . . . . . . . . . . 117 7.4. . . . . . . . . . . . . . . 119 8. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122 8.1. . . . . . . . . . . . . . . . . . 122 8.2. . . . . . . . . . . . . . . . . . . . . . . . 127 8.3. . . . 128 9. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133 9.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133 9.2. 135 9.3. . . . . . . . . . . . 139 9.4. . . . . . . . . . . . 142 9.5. . . . . . 147 9.6. . . . . . . . . . . . . . . . 153 10. . . . . . . . . . . . . 160 10.1. . . . . . . . . . . . . . . . . . . . . . . . . . 160 10.2. 166 10.3. . . . . . . . . . . . . . 168 10.4.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10.5. . . . . . . . . 10.6. . . . . 11. . . . . . . . 11.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2. 11.3. . . . . . . . . . . . . . . . . . . . . . . . . . . 11.4. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

170 173 175 180 180 183 186 188 194 197

5

6

() , : X , X- , , ; _X, _X- . . . , . , * ( ) , ,

, - * * - * * , , * , ,

7

8

, *

A (.8.1) Ac - (.8.1) accx , accxG , accx (v1 , v2 ), accxG (v1 , v2 ) x--- v1 v2 G (.6.1) Ack - , k (.8.1) actx x- (.6.2) Ad (.8.1) Adk , k (.8.1) Ai - (.8.1) Aik - , k (.8.1) A(k), AG (k) k G G (.5.2) b(w) , , , - ( , -- --) w (.6.1) bx (G) x- G (.6.2) B(H ) -- H (.6.1) BR (.6.5) BWx , BWxG x- G (.6.2) cccx , cccxG , cccx (v1 , v2 ), cccxG (v1 , v2 ) x-- v1 v2 G (.6.1) chx , chx (G) x- G (.6.1) ccx (v1 , v2 ), ccxG (v1 , v2 ) x- v1 v2 G (.6.1) conv (.6.2) copy (.6.2) C(k), CG (k) k G G (.6.4) CQM - (.6.3)

9

10

CRR (.6.5) CSM (.6.4) det P P (.6.4) dimx , dimxG x- G (.6.1) dx , dxG x- G (.6.1) d , d x- G (.6.1) x xG Dkc , DkcG , - 1) k G G (.6.4) Dkd , DkdG , - 3) k G G (.6.4) Dki , DkiG , 2) k G G (.6.4) DM (G, k) G G, (.6.4) (.9.1) k D M (G, k) G G, k (.6.5) DQM - (.6.3) ex (G) x- G (.6.2) ex (v), exG (v) x- v G (.6.1) e (v), e (v) x- v x xG G (.6.1) e(w) , , , - ( , -- --) w (.6.1) e -, = 1 (.6.4) ej -, j- = 1, = 0 (.6.4) E (.8.1)

fkc (v), fkcG (v) *- c, v G G (.5.2) (.9.1) k fkd (v), fkdG (v) *- d, v G G (.5.2) (.9.1) k + + fkc (v), fkcG (v) *- c, v G G (.5.6) (.9.1) k + + fkd (v), fkdG (v) *- d, v G G (.5.6) (.9.1) k fkx (w), fkxG (w) *- x- w G G (.5.2) (.9.1) k Fkc , FkcG *- - G G (.6.4) (.9.1) k Fkd , FkdG *- - G G (.6.4) (.9.1) k F R (.6.5) GFP P (.9.3) GSM (.9.3) HR (.6.5) inv (.6.2) I (.6.4) Id (.5.2) Inf , Inf (G) G G (.6.4) (.6.7) Int(w) w (.6.1) K (.8.1) Kc - (.8.1)

11

12

Kck -, k (.8.1) Kd (.8.1) Kdk , k (.8.1) Ki - (.8.1) Kik -, k (.8.1) l(w) w (.6.1) lx (v1 , v2 ), lxG (v1 , v2 ) x- G v1 v2 (.6.1) L , (.9.5) L , L (.9.5) n! n (.6.6) Nc , NcG G (.6.3) Ns , NsG G (.6.3) o(H ) -- H (.6.1) OG (.6.2) pasx x- (.6.2) pccx , pccxG , pccx (v1 , v2 ), pccxG (v1 , v2 ) x--- v1 v2 G (.6.1) px , pxG x- G (.6.1) px x- (.6.2) P 0, p 0 P , - p (.6.4) P T , pT -, P - p (.6.4) P = P T P (.9.4) Pk , (.6.4) (.9.1) k

Pk , k (.6.5) L Pk L, k (.9.5) P IFG G G (.5.2) P QM - (.6.3) P RR (.6.5) qk (v), qkG (v) - v G G k (.5.2) qk , qkG - - G G k (.6.4) q , q - - k kG G G k (.6.5) qk (v), qkG (v) -, v G G (.5.2) (.9.1) k QM - (.6.3) rk (v), rkG (v) - v G G (.5.2) (.9.1) k rx , rxG x- G (.6.1) rx , rxG x- G (.6.1) rk , rkG - - G G (.6.4) (.9.1) k r , r - - k kG G G k (.6.5) rk (v), rkG (v) -, v G G (.5.2) (.9.1) k rL - - k L k (.9.5) R+ = [0, ) (.5.2) Rc , RcG - (.5.2), c- (.6.1) G

13

14

Rd , RdG - (.5.2), d- (.6.1) G Rs , RsG - (.5.2), s- (.6.1) G RR (.6.5) sh, shG0 (.6.2) ssx , ssxG x- G (.6.1) SM (.6.4) SR (.6.5) SSR (.6.5) Sk , SkG - G G (.6.4) (.9.1) k S , S - G k kG G k (.6.5) T x (x {1, 2, 3}) (.6.4) T BE = {d, c} (.6.1) T C = {m, di, db, de, ci, cb, ce, si, sb, se} (.6.1) T CC = {dpc, dac, dcc, cpc, cac, ccc, spc, sac, scc} (.6.1) T E = {d, c, s} (.6.1) T SM (.6.4) T W = {d, c, s, dn, cn, sn} (.6.1) (v0 v1 . . . vk )x , (v0 v1 . . . vk )xG x- , v , . . . , v G v0 1 k (.6.1) V , VG G (.5.2) Vx , VxG x- G (.6.1) Vxb , VxbG xb- G (.6.1) Vxe , VxeG xe- G (.6.1) V R (.6.5)

wx (v1 , v2 ), wxG (v1 , v2 ) x- G v1 v2 (.6.1) xC x- (.6.1) |X| X (.5.2) X 2 X X X (.5.2) XD x- (.6.2) Z (.5.2) Z + = Z R+ (.6.1) Zc 1) (.8.1) Zd 3) (.8.1) Zi 2) (.8.1) - * (.10.2) 1 ,