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

  • Published on
    27-Jul-2015

  • View
    247

  • Download
    1

Embed Size (px)

DESCRIPTION

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

Transcript

<p> . .. </p> <p> 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- . , , . , - , . , , . , , , . . - - .</p> <p>.. , .. </p> <p> , .. </p> <p> 167/168.0001.8+514.8:517.91/.93/958:519.6/71+53 72.4(2)7</p> <p>- </p> <p> 2005</p> <p>ISBN 5-7779-0575-7</p> <p>c .. , 2005 c .. , 2005 c , 2005</p> <p> () . . . . . . . . . . . . . . . . . . . . . . . . . 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</p> <p> 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. . . . . . . . . . . . . . . . . . . . . . . .</p> <p>41 41</p> <p>43</p> <p>46 48</p> <p>48 53 57 61 61 63 67 68 71 75 77 77 82 87</p> <p>3</p> <p>4</p> <p>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. </p> <p> . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10.5. . . . . . . . . 10.6. . . . . 11. . . . . . . . 11.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2. 11.3. . . . . . . . . . . . . . . . . . . . . . . . . . . 11.4. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .</p> <p>170 173 175 180 180 183 186 188 194 197</p> <p>5</p> <p>6</p> <p> () , : X , X- , , ; _X, _X- . . . , . , * ( ) , , </p> <p> , - * * - * * , , * , , </p> <p>7</p> <p>8</p> <p> , * </p> <p> 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)</p> <p>9</p> <p>10</p> <p>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)</p> <p> 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)</p> <p>11</p> <p>12</p> <p>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</p> <p> 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</p> <p>13</p> <p>14</p> <p>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)</p> <p>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 , - (.10.2) k (v), kG (v) v G G k (.5.2) k , kG - G G (.6.4) (.6.5) k x (v1 , v2 ), xG (v1 , v2 ) v1 v2 G (.6.1) cat , cat/G0 - (.6.2) catx , catx/G0 x- - (.6.2) con , con/G0 (.6.2) P - P (.9.3) c P - P (.9.3) P - P (.9.3) 0 (.6.4) 0 (.6.4) cat , G0 cat - (.6.2) catx , G0 catx x- - (.6.2)</p> <p>15</p> <p>16</p> <p>con , G0 con (.6.2) (.5.2)</p> <p> .. .. . , - , , . , , , , . , - ( 3). , , (). , . , . , - . , 18</p> <p>17</p> <p>. 5, 6 . , . . , 10. . , , , . , . , . - . .. , - , 19</p> <p> , ( ), , , . , , . . </p> <p> - XXI . , . , , . , 80- . XX . , * : -, , , 1 . , .. : . : . , 2003. . 8-9; .. // : . . . / . .. . : . . -, 1999. . 3. . 8-29; .., .. // . . 2003. . 2. . 37-40; : www.faculty.de.gcsu.edu/dvess/ids/courseportfolios/2310/ design.htm. - -: www.santafe.edu/s/organization/vision.html.1</p> <p>20</p> <p>, . . 1. -, . , - * . 2. : , , . - : -, , . : - -, - - . - . , - . - -, - . . : -, -, - . . -, , - -, -, , . . . , . , , , , , . -</p> <p> -. - . .. , .. , . 2 , . - , , , 3 . -*4 , *. -. , - , , -5 . .. // .. . ., 1940. . 1. 3 .. // . . , 1988. .: , 1989. . 193-209; : / . .. . .: - , 1994. 192 . 4 .., .., .. // : . VI . . : , 2002. . 6. . 69-74; .., .. // . . 2002. . 1. . 47-50; .., .., .. // - : , , / . . .. . .: , 2003. . 48-54. www.auditorium.ru. 5 .. 2</p> <p>21</p> <p>22</p> <p> ( -4 ) : : newasp.omskreg. ru/tdis. , , , .</p> <p> 1 1.1. * *, , , , , . , , . - * , , [1]. , : , [2], [3], . , . [4], . [5], .. [6], .. [7], . [8], . [9], .. [10], .. [11], . [12], . , . [13], .. [14], . [15], .. [16], . ( ) [17-18], .. [19], .. [20], .. [21], . [22], . , . , .. , .. , .. [23-24], .. , .. , .. , . [25], . [26], .. , .. , . [27-28], .. [29-30], .. [31], .. [32], .. [33], .. [34], .. [35] . - * 2- XIX . . , (. [36-37]) (. ) . , </p> <p> // . : , 2001. . 6. . . . 2. . 549-553; .., .. : // , : . . . -2003. , -: , 2003. . 3. . 127-133; .. // . . . , : , 2003. 1. . 104-110; .. // . : , 2003. 4(25). . 7478; .., .. // : . III . . SICPRO04. .: , 2004. . 2059-2090.</p> <p>23</p> <p>24</p> <p> , * -. , . 1.2. * , , . -, , [2], . , . [36-37], . , . , .. , .. , .. [10], .. [31], .. [3840], .. [41-42], .. [43], .. [44]. () . , . , . , .. ; .. [45], .. , .. , . , .-. , . . , - , , , . , (. ), , (. ), (. [46]). , , , *, -, .. [47], . [48], -,</p> <p> : .. [49], .. , .. [14], .. , .. , .. , .. [50], .. [50], . , .. [51-53], .. [54-55], .. [50], .. , .. [56-57], . [58], .. , .. [55]. * , , - - (.. , .. , .. [5961]); (. , .. , .. , . sani, St. Beer, R. Valle); (.. , .. , .. [50]). * - . , .. [59-61], , (.. , .. , .. , .. , .. ); (.. , .. ); (.. , .. , .. .); - (.. , .. , .. , .. , .. , .. ). *. ( ) , , . * , -</p> <p>25</p> <p>26</p> <p> (. , . , .. , .. , .. -, . , . ). , , , . .. [6], .. [7], .. , . , . [12], [17], . , .. . , , .. , .. , . [15], .. [19], .. , . [22], .. , .. , .. [23-24], .. , .. , .. [29-30], .. [34], , , . , . . , .. , . [15], . , .. [34], . . , , , , - , , - -, . . , , .. , , , * . , XIX . -. , , , , , , , , , -.</p> <p>1.3. -, . -* , , ..., , . . . , , , , . , , , - , , -. - - . - , - * , , (. .511). , , --. . , (. .5) : , , ; : , , . , , , * . , -. , , -, , - .</p> <p>27</p> <p>28</p> <p> . , . , - , , -. , , - (. .2.3, 3.1, 3.3) . - . * . - . 24 . , .</p> <p> 2 - : * ; * ; * . 2.1. - , - . , - * . , , , , , - . - *...</p>