Информационная безопасность: Материалы VI...
Transcript of Информационная безопасность: Материалы VI...
1,2 .doc
(
(
-
-
VI
-
2004
681.324
VI - . - : - , 2004. 464 .
VI - , 04-07 93012 , . 1 7 2004 .
-, , , , , , , , , , , , --, -, , , , , , , , .
..
- - , , , ..., - ;
..
- . ;
..
- ..., ... ;
..
- , ...;
..
- , ..., ;
..
- ;
..
- ;
..
- - -.
..
..
..
..
..
.. (. ).
..
..
ISBN 5-8327-0172-0
, 2004
VI
-
..
..
..
- ..
020565 23.06.1997 . ___________2004
70 x108 1/8. .
. . . . 58,3 .-. .-58,0.
200 .
347928, , -17, . 44
347928, , -17, . 1
1.docVI 2004
..
...
.. , .. , .. , .. , .. ,
..
.. , .. , .. , ..
. ...
.. , .. , .. , .. , ..
.
.. , .. , ..
..
.. , ..
.. , .. , ..
..
.. , . . , ..
SOFTWARE
.. , ..
.. , ..
.. , ..
.. , ..
.
..
..
..
WEB..
..
.
..
.. , ..
..
..
- -
. .
..
. .
...
.. , ..
..
- ..
..
.
.. , .. , .. , ..
ISO-15408 ..
.. , ..
..
..
. ,
. .
.
.. , . . , . .
.
.. , .. , .. , ..
...
.. , .. , .. , .. ,
.. ,..
.. , .. , .. , .. , .. ,
..
.
..
.
..
.
.. , .. , ..
.. , ..
. . , . .
..
..
.. ., ..
-
..
.
.. , ..
.
..
..
..
..
.
..
..
.. , ..
..
..
..
..
.. , ..
..
.. , .. ,
.. , .. , ..
-
.. , .. , ..
..
.
..
.
.. , ..
.
..
.. , ..
.
.. , .. , ..
.
.. , .. , ..
..
.. , .. , ..
-.
.. , ..
.. , .. .
- ..
.. , ..
.. , ..
.
..
..
.. , ..
..
.
A.G. Chefranov
On approach to decision making formalization...
.. , .. , ..
, ..
.. , ..
..
.. , ..
.
.. , .. , ..
, ..
.. , .. , ..
, ..
.. , .. , ..
..
.. , ..
.. , ..
..
.. , . .
, gf(2v)
. . , . .
Linux
.. , ..
..
..
.. , .. , ..
- .
..
, .
..
...
..
, .
..
..
.. , .. , .. , ..
. . , .. , .. , .. , . .
, .
.. ., ..
.
.. , .. , .. , ..
..
.. , .. , ..
.
..
.. , ..
..
..
..
.
. .
ws-eventing ws-notifications
. .
iso/iec 15408..
..
..
..
..
..
. .
-
..
..
. . ., . .
.. , .. , ..
.
.. ., ..
.
..
. . , . . , . .
tcp/ip .
. ., ..
..
.
.. , .. , ..
.
. .
.
.. , ..
.
.. , ..
.. , ..
-
.. , .. ., ..
sql.
.. , .. , ..
.
. , ..
oracle application server..
.. , ..
.
.. , ..
()..
.. , ..
..
ms sql server .
. , ..
..
.. , ..
. . , . . , . .
. . , . . , . .
.
.. , ..
- .
..
.. , ..
..
Huss, S.A., Jung, M. and Madlener F.
High speed elliptic curve crypto processors: design space exploration by means of reconfigurable hardware.
.. , ..
: .
. , .. , .. , ..
.
.. , .. ., ..
..
.. , ..
.
.. , ..
:
.. , .. , ..
. , .. ., ..
..
..
..
..
fp
. .
,
..
..
...
..
.
.. , .. ., ..
..
..
.. , . .
.. , .. , ..
...
..
. . , . .
.
..
..
.. , .. , ..
.. , .. , ..
..
.
.. , .. ., ..
- ..
.. , .. , .. , ..
..
.
..
..
. .
..
.. , ..
Bluetooth.
..
.
.. , .. , ..
.. , ..
.. , ..
- ..
.. , ..
.. , ..
..
.. , .. , .. , ..
..
..
.. , .. , ..
-
.. , .. , .. , .. , ..
.
..
..
.. , ..
gsm !.
.. , ..
..
..
.
.. , .. , .. , ..
.. , ..
-
..
..
..
.. , ..
.
.. , ..
..
.. , ..
/..
..
: , ,
..
..
.
..
- -.
..
.
.. , ..
..
.. , ..
- .
.. , ..
..
- .
..
...
..
..
. .
:
.. , .. ,
.
.. , ..
.
..
- ..
.. , .. , ..
.
.. , ..
.
.. , ..
, ,
.. , ..
..
.
..
-
.. , .. , ..
..
..
..
..
..
.. , ..
..
. , ..
..
..
:
..
, ..
..
..
..
-
.. , ..
.. , .. ., ..
- ..
.. , ..
..
.. , ..
..
..
.
.. , .. , .. , ..
""
. , . .
.
.. , ..
.
.. , ..
, .
.. , ..
" ".
.. , .. ..
"- .
..
15408 075300 075400
..
cc toolbox .
..
..
..
- .
.. , ..
,
..
5
7
8
10
12
13
13
14
17
18
23
25
28
30
32
35
39
42
44
48
51
55
58
61
65
67
68
69
70
75
76
78
79
82
84
86
86
88
90
91
93
95
97
98
100
102
102
103
104
105
106
107
108
111
113
115
116
118
120
122
124
126
127
128
129
130
132
133
135
137
140
142
144
147
149
152
154
156
158
159
161
162
164
166
167
168
169
171
172
174
176
178
179
181
182
184
185
186
187
191
191
193
196
198
199
200
201
202
203
205
206
207
209
211
213
215
216
220
221
224
225
227
230
231
233
235
237
240
241
243
245
247
250
253
257
260
262
265
266
269
271
273
274
276
278
279
281
284
284
287
289
291
293
295
298
300
302
305
307
308
310
312
313
315
317
317
319
321
325
327
329
331
333
334
337
339
341
343
344
347
347
348
350
351
352
355
358
359
363
366
369
371
373
374
374
375
377
378
379
381
382
383
384
386
388
391
393
395
398
400
402
405
407
409
411
413
416
418
420
423
425
426
427
429
431
432
434
435
436
437
439
441
443
445
446
448
462
461
.docVI 2004
!
- -2004 , 100- - . ..., . . , .
- 2004 - 160 , , , , , . . - . , . , . , , , . , - ( ), - . , , . .
. , / . , - , 20.08. 97 . 1781.
, ..., ..
.docVI 2004
!
, , . . , , -, - , (. ), , - . , , , . , , . , , . , , - .
. , , , , . , , , .
, , , , , , . .. . , , , , . , . , , , , , .
, , !
..
1.doc
1-1.doc
VI 2004
..
, ., 4
- () - , :
- ( );
- , ;
- (, , ) ;
- , -, , () .
() , . , . ( ), , , , . , , , , . , , , . , , ; , - .
, .. , .
:
- , ;
- ;
- , ;
- ;
- ;
- .
, , , .
( ).
:
- ;
- ;
- ;
- ( );
- .
, , () , . , , . , . , .1.
1
1
2
3
4
5
6
7
8
,
+
+
+
+
,
.
+
+
,
+
+
+
,
+
+
,
+
+
,
+
+
,
+
+
+
,
,
+
+
+
,
+
+
+
,
1
2
3
4
5
6
7
8
+
+
+
+
+
, ,
,
+
+
+
+
, ,
+
+
+
+
, ,
+
+
+
+
, ,
+
+
,
+
+
+
+
, , ,
,
+
+
,
+
+
+
, ,
+
+
+
()
+
()
+
,
+
,
, . .
+
+
. :
- ;
;
;
;
;
.
, , , , , , , , .
:
- ;
- , , , ;
- ;
- , , ;
- , , .
, , , :
- ;
- ;
- ;
- ;
- ;
- ;
- .
- . . , , . , , , , .
, , , . , 100%- . , 30% , , . , , , . .
. , . , (, - Internet Security Systems, - Cisco Systems, - , - - ..), , , , . Symantec ( ), . , , . . , , :
- ;
- ;
- ;
- ;
- ;
- .
, , , . : , . , , , .
..
, ., 4
, , 51624-2000 . . , .. . , , , , ..
, () , . , . , . (, ) , , , , [0,1]. . .
, , .1.
. 1.
, , , , 4 , .
(.2). , , , . . .
.
, , .1.
. 2. -
1
,
( )
-
( , )
- , .
, .
.. , ..
, . , 4
, .
, , .
:
- ;
- ;
- - ;
- () ;
- .
. , . , , , , , .
(. 1):
1) () ( ).
2) :
- , ;
- , ;
- , .
3) SNMP;
. 1.
4) , :
- ;
- (, ..) SNMP;
- ;
- ;
- .
5) :
- ;
- ;
- ;
- ;
- .
, .
C..
, . , 4
-
-
- () :
- ();
- ;
- ;
- , .
- () () .
- .
1. - .
SQL .
, , SQL- , , . , SQL- .
2. .
, . , - . .
, , . , , , . , , , , , , .
, (Oracle, Sybase, Informix Microsoft), , -. - , , , () . , , , . , -, , . . , , , , . , , .
, - .
3. - .
- :
. - . . , , , () . . , , . - , , .
, . , . , , . , - .
, . , : , ( ) ( ). , , . , , - .
() , . , - .
, . , Oracle8 AUDIT FEATURE OF AUDIT SQL. , ROLE SQL:
CREATE ROLE;
ALTER ROLE;
SET ROLE;
DROP ROLE.
. Oracle8 ALTER DATABASE AUDIT, , . AUDIT , . , . , , - .
.
.509. .509 Secure Sockets Layer (SSL), . :
- ;
- ;
- ;
- ;
- ;
- .
SSL . , , , . , . , , , , , .
4. .
:
- ;
- .
. . , , . . , , , , .
, - .
5. - .
, .
, , , .
, . , , . , , , , , , .
, , . , , , , , , . - .
, - - , , .
1. .., .., .. : / . . .. . 3- . . . .: , 2003. 672 .
2. ., . /. . . - , 2003. 704 .
3. .. Oracle 8/8i. .: . . . , 2000. 1024 .
4. .. . .: BHV-, 2001. - 624 .
. .
, . , 4
, , , , . - (). , . , , , , , .
. () - (). .
:
- ;
- , ;
- - ;
- - .
, , , . -. , , . , , , . , . , . , , , . .
.1 .
- .
:
- ;
- ;
- ;
- ;
- .
, , .
. :
- ;
- ;
- ;
- - .
- , . :
- ;
- ;
- - ;
- - ;
- ;
- , ;
- .
, :
- ;
- , , , ;
- ;
- ;
- .
. 1.
, , , .
1. ., ., , . , 2002.
2. .., .., . , , , .: , 2001.
3. .. . .
. .
, . , 4
- () , - . , () (HTML, XML , ). , , . , . :
- ;
- ;
- , , :
- ;
- ;
- ;
- ;
- , ;
- ( proxy-) .
, , (, ). , , TCP/IP , SQL*Net Oracle. , , .. : , , , - , . , , . 1.
, . . , SQL, . , (API Application Programming Interface). . API . :
- API ;
- ;
- .
. 1. ,
API :
- , , ;
- ( ), ;
- , ;
- , .
, .. API .
. , , (, ) .
.
, . . - , , , , . .
:
- Windows- Microsoft, NT (New Technology) , Windows NT 4.0, 2000, XP, 2003;
- Linux-, , , Red Hat Linux, Debian Linux .
- , . , , , , AS- (Application Server).
AS-, . AS- . , , . , , SQL.
, . , . 1 , Windows NT 4.0 Oracle ( 7.3.4 9.0).
1
Windows NT 4.0 Oracle 7.3
,
,
DLL
,
, API
DLL, API, API,
,
, API
DLL, API , API
, -
, (SQL-Net)
(TCP/IP) SQL-Net
, -
ndis.sys ,
, Windows NT 4.0 Oracle 7.3 :
Windows NT 4.0:
- , ;
- , (MSGINA.DLL) ;
- , ;
Oracle 7.3:
- , API ;
- , SQL .
, MSGINA (Graphical Identification aNd Autenthication DLL for Winlogon). GINA.DLL Winlogon, , - , .
, , . , .
1. ., ., . . .: -, .: .., 2002. 256 .
2. ISO/DIS 7498/2. Information Processing System OSI. Reference Model. Part 2: Security Architecture. ISO, 1988. 32 p.
.. , ..
, . , 4
() ( ) , / .
, , , , (.1).
, .
, , .
.2.
. 2 , :
- ;
- , ;
- .
:
- ;
- ;
- ;
- ;
- , ( ).
, /, , , , .
, .
, , .. , , , , , .
. 1.
. 2.
, . , ( , , , ) .
.
, , , .. (, ORACLE, data mining), , . .
, , "" . . :
- ( );
- ;
- ;
- .
,
:
- ( ) ;
- ;
- ;
- ( , );
- , ;
- ;
- .
.
.
, , , .
() , , .., .
..
, . , ., 4
-
() - - (), - (). , () - () .
, - .
, , , , , , (), () . , .
, , , . , - , .
, :
- , ;
- ;
- , .
- . 1.
1
-
-
, ,
, ,
-
,
,
, ,
, , ,
, , .
, . , , ,
, , , , , ,
, ,
-
,
,
, ,
,
,
.
. -, .
. , , ,
- ,
- , , , ,
,
- - , ,
. , ,
- ,
,
-
. ,
,
,
-
, . ,
, , ( ), ,
, .
, , ,
, , , , ,
.
() ,
( , , ) , , , ..
, , - , , , . , , , .
..
, . ,
() () () , : , , , - , - , , , , ..
, . , , . , ( ) , , .. : , , .. . : , , , .. .
, , - . :
1) , , , ;
2) , - ;
3) .
, . , . "-" . , . , , - . , , , , - , , "" " ". - , .
, , , (, , , ..). , : , , . "", , " ". , , , . , , , , . , (" ") .
, . , , . , , .. , .. . , . - . , . , . , .
, ("", "" ..), "". , , , . - , , .. , , , -, , : .
, . , ( ), - (), . , , . , - , , . , , , . , : .
- , : , , , , , , , . , ( ) () ( , ..). , , , . , - . , : .
, , .. , - . , . , , , , .. . , , . , . , : .
, , (""), .. , . , . () , , .. , . , , , , , , . , , . . , : .
"" . , "" , , . , , , , , - , . , , . , , , , . , : .
, , , - , . , , , - .. , . , , () () , , (, , , ..), . , , - . : .
, 9 "" "" . , , . , - . , , "" . , , , : ("") . , . , , .
. , :
, , - , :
1. , - , , () ;
2. - , - , ;
3. , ;
4. , () , , ( ), ;
5. , , , ( ) () , , , ;
6. ( ), ( ) ();
7. , , , , , , ;
8. , "" , , (, ) , ;
9. , , , , , , , () ().
.. , .. , .. , ..
, . ,
ISO-15408
. , , ; , , .
, , [1], (, Extreme Programming [2]). , , , . (), , .
4.04.2002 133- 2004. / 15408 " " ( )[3], . , 2, 3 . 3.
" , 22, 3 . 7 (). - . , 7 , ( ) , . 2- 5-. 22 .
22 , , . ( ) , , .
, , :
- ;
- ;
- ;
(, , - ).
5- :
- ;
- ;
- , .
, , (), . , , . , , :
- ;
- ;
- ;
- .
22 , . , , "" . 22 8 . . , ( ) .
22 , , :
- ;
- ;
- .
.
1. Manifesto for Agile Software Development // http://www.agilemanifesto.org.
2. , . : . . : , 2003.
3. / 15408-2002. . . . .: - , 2002.
66
65
_1144225896.vsd
_1144225897.vsd
_1141463672.vsd
_1141220487.vsd
_1136356965.vsd
1-2.doc
VI 2004
.. , ..
, . ,
. . . , . . , , , , , .
:
- ();
- (Splint);
- (Splint , LCLint);
- , (Flowfinder, ITS4);
- , , (-, Columbus CAN + Rigi);
- , , ;
- (-);
- ;
- (SMV, SPIN, VERUS);
- - .
, , , , ( ) ().
:
- ;
- , ;
- ;
- .
, , "".
..
, . ,
. ,
, , . , .
. 215 (145- 31.07.98.) . , . . , , , . . , , .
, .
. , . , , , , . , - , , , .
, , . , . ( Internet) , .
, , , .
, , .
, . , , . , , , .
.
. .
, . ,
, , , , , , . , , , .
- , . , . , , , , .
, S = {s
, s
, . . . , s
}, , , , , , , .. T = {t
, t
, . . . , t
}, . I = {I
, I
, . . . , I
} , . , I , {F
, F
, . . .}, F . S I
{0}, d = [d
, d
, . . . , d
], N
P. , , , A,
j I
j I,
i
I j
d(s).
, , . , , , . , , , .
, , . , . , . . , .
1. Hamilton S. N. Miller W. L. A. Ott, and O. S. Saydjari, "The role of game theory in information warfare" (ISW-2001/2002), Vancouver, BC, Canada, March 2002.
2. . : . .-. ,1971.
.. , . . , . .
, . ,
() , . () . ( . 1).
, ( ). () . . , , , RAID- .
. () . . [1] , - . - , -, , (.2). , - .
. 1.
(1)
(n)
(N)
(1)
(1,1)
(n,1)
(N,1)
(k)
(1, k)
(n, k)
(N, k)
(K)
(1, K)
(n, K)
(N, K)
. 2.
, . i, , - , . , ., :
S=,
(1)
M= {a, b, c, ...} - , R={R1, R2, R3, ...} - , . , :
S(t)=,
(2)
t - . , , .
: , : , , , . , , , : , . :
().
( ) - , , . , , , . : () ; ( ); - "", ; , ; , N- ; . , , . , , N- . .
(-3). -3 , .
-3. A - :
A={a1,a2,...,ai,...,aI},
(3)
,
(4)
(5)
;
;
; Bi - ai
-
ai.
(3) : , , , . . -3. A - , ..:
(A={a1,a2,...,ai,...,aI},
(6)
(B={b1,b2,...,bj,...,bJ},
(7)
(D={d1,d2,...,dk,...,dK},
(8)
(={111,112,...,ijk,...,cIJK},
(9)
,
,
, - , D - , - . , A, , D , , ..
(ai(A, (bj(B, (dk(D (( cijk(C.
(10)
, :
(cijk(C ((.
(11)
,
,
- . -3 -3 , , , , , - , -3 : , -.
, -3 , , -3 - , .
-3 -3 , :
,
(12)
,
(13)
,
(14)
,
(15)
,
(16)
.
(17)
. 3.
, .. . , . :
1) - ;
2) - ;
3) - ;
4) - ;
5) - .
(, ), , . (.3), .
:
- K- ;
- L- , N- ,
K+L=N.
(18)
N .
(A={a1,a2,...,an,...,aN},
(19)
; A - , N - ( ) .
,
(20)
; Bn- an. ,
,
(21)
- N- .
:
.
(22)
C,
.
(23)
, , , "" "-", . , . , (), , . , , . , .
1. .. .. - .- . , 2003.
.. , .. , .. , ..
, .,
- , (), , , () (). : .
, . ; ; ; . , , , , . , . , , .
, , . - (). - , . : . , . : , , ; ; .
. : , ; - ; ; ; , ; , ; ; .
, . . :
- ;
- , ;
- , , , , ;
- ;
- ;
- ;
- ( ) () ;
- , ;
- , .
.
.. , .. , .. , .. ,
.. ,..
, .,
"" (). :
- (- , , , );
- ;
- ;
- ( );
- , ( , ).
, , :
1. , ;
2. , , .. , ;
3. , , ;
4. , ;
5. ( , , , , );
6. , "" ;
7. ;
8. ;
9. , ;
10. , .. ;
11. .
, - , . . - .
. , , :
- ;
- ;
- , , , ;
- .
(). (, ) , "" on-lin . ( ) .
.. , .. , .. , .. ,
.. , ..
, .,
- , (), , , () (). , : .
, . ; ; ; . , , , , . , . , , .
, , . - (). - , . : . , . : , , ; ; .
. : , ; - ; ; ; , ; , ; ; .
, . . :
- ;
- , ;
- , , , , ;
- ;
- ;
- ;
- ( ) () ;
- , ;
- , .
.
..
. ,
- . , . , , , , , , , , , .. , . . -, , , , , , , . , . -, , , . , , , . .
, . , , , .
. . . , . .
:
EMBED Equation.3 , (1)
XY , X () Y; Z .
, (1), , X, , Y , Z.
,
,
.
.
1. , , .
2. , , , .
(1), .
(1) , H [X Y Z] X, Y Z. H [X Y Z], :
H [X Y Z] = H [Z] + H [X/Z] + H[Y/XZ],
(2)
H [X Y Z] = H [X] + H [Z/X] + H[Y/ZX],
(3)
H [X Y Z] = H [Y] + H [Z/Y] + H[X/YZ],
(4)
H [X Y Z] = H [Z] + H [Y/Z] + H[X/ZY],
(5)
(2) (3), (4) (5), :
(6)
(7)
. , 1 2,
H [Z] =
.
(8)
X, Y Z, , - , , . (8)
H [Z] =
.
(9)
(8), (6) (7) , (9) , .. . ,
. , . , H[X] Hmax[X] = log
N. H[X] N, , .
.1
, , . , .1.
. , . , . . , . , , . , . . . , .2 . , . [1].
. . , , . . . . , . 02-03.1-816.
1. .., .. // . 2002. 2. .47 52.
..
, . ,
- () . , 40- 50- .. . . , :
- -, , - ;
- -, , - .
. , , , . , () .
, , :
1. , , , , .
2. () .
3. , , , .
, . . , (): .
, :
1. .
2. .
3. , , () ().
4. , .
5. , - ;
6. . , .
7. , . . , .
8. . ; . ; .
9. : . .
10. , . .
11. . .
12. : ( ) (). .
13. .
14. . . .
15. . , , , , , . () , . .
() , . -, . -, , , . -, . -, . -, .
, , , . , . , . (1949). , , , . , .
02-03.1-816.
1. (Shannon C.E.), 1948, A Mathematical Theory of Communication. Bell System Tech. J., 27, 379-423, (Part I), 623-656 (Part II). : ., . //. , ., ., 1963, . .243-332.
2. . . - .: , 1974, 720 .
.. , .. , ..
, . , ,
( 5485-1 21.07.93., 5154-1 10.06.93. , 24- 20.02.95.), , , , . - , , (). , , ().
, , , , , , .
:
- ;
- , ;
- .
. :
- () , . ;
- () , . .
, , , . , :
- ();
- , , , , ;
- () ;
- ;
- .
:
- () (), , , ..;
- ;
- ( );
- .
, , () .
:
- , ;
- , ;
- , ;
- - - , ;
- .
.
.. , ..
, . , ,
. ( ), () . , , .
(CRAMM, NIST, "Risk Matrix") , , , , .
. :
- ;
- ;
- ;
- ;
- ;
- ;
- ().
, . , .
, .
. . , . .
, . , ,
( ) , .
, : , ; ; ; ; ( ) [1]. , .
, , , . , , , , , , . .
, . , , , .
, .
- , , , .
:
- . , , ;
- , . , , . , ;
- ( ) , , , .
, , , , , (, , ), .
, , .
, . , , , - , .
, .
, , , (, ).
, , , , .
-, , , () .
-, [2].
, . :
- , . , : , , , . , . ;
- , , , ;
- , ( ) () , , , , .
, , . :
- , ;
- ;
- , ;
- .
, : ; ; ; ; ; .
, , .
1. . . .: , 2001
2. ., ., . " - ". . .: , 1984.
..
, . ,
. . . , , .
. - , . : .
. , , . .
, .
[1] - s- , :
(1)
s , (s = 1, 3, 5, 7, ).
- , , .
(1) , Fs(l) , l. , , .. .
- , (1), s = 1, - [1]. - 1,6 . - .
(1), , , , , . [2].
, , . :
- , , max - , ;
R - , ;
RS - ;
RSP - , .
, , . .
, RS - RSP - - , , , .
, RS - , . RSP - - , [3].
, , , , 2, . RSP - , .
, - , , .
- , .
1. .., .., .. . : , 1988. - 168 .
2. .. . .: , 1984. -152 .
3. .., .., .. // : VIII . . . . 1991. 41 .
.. ., ..
, .
-
- c .
, :
;
;
;
.
. . .
.
. :
- ;
- ;
- ;
- 5%.
, , 90% 3 .
..
, . ,
, . . , , . , . , , .
, , , .
, .
, . , . , , .
, , , . , , , , .
, , , .
. , , , . .
:
1. :
;
;
;
, , ;
, ;
, ;
.
2. :
;
, , , ;
, ;
.
. , , / .
. , , . , , . , . , .. , . , - , . . . :
. , ( );
. . , . ;
. . ;
. ;
. , ( , ..) .
, , , , , . , . .
, , .
.
.. , ..
, . ,
/ 15408-2002 . - , [1]. () , . , , . . , , . .
, .
, . .
, , , . . . , ,
,
(1)
k k- ;
k- ;
t ;
Ai i- k- ;
i , i=1..m, m ;
Qik .
() () , . Aik, , . , . , .
. , . . .
,
(2)
yi .
, , , .
, , , .
.
,
,
(3)
ar ;
bs .
, , , ,
,
,
(4)
Pk .
, , .
, . . .
. . . . .1.
.1
, . , .
1. / 15408-1-2002. . . . . , 2003. 120 .
..
, . ,
, , [1]. : , . , , , [2, 3].
. , , .
. - , ( ). , . .
. , , : , , .
: (IP-), , . .
MathWorks MatLab c Simulink.
: , . .
. ( ).
. .
. (. 1).
. 1.
.
() ( ) . . , ( ) ( ). , .
. , , . . . , , , , .
, , . . , , . , , (, ..).
1. .. - . // - 2000. : 2000. .1. . 9-14 .
2. .. - . // - . : 2001. . 57-60.
3. .. - . // - 2003. : 2003. .2. . 3-5.
..
, . --,
:
,
AU ,
CU ,
MU ( . A={ai, i(N}).
, , , , , , . C, D, N. , . q . , qC, qD, qN. QC, QD, QN. C(D(N Q; Q = QC(QD(QN. , , q = qC(qD(qN.
. (qD,L,qN),
qD ( QD
qN ( QN
L ( QC(A; L = {(qC,aC)}
L , , .
elem : Q(A(Q.
A (. next : A(A, ,
( ai,aj,az(A (i,j,z(N)
next(ai) = aj(((ai(az)((azaaj)((ai=az)((aj=az)) ( 1; (( - , ( - .
V={vi,( i(N},
( - .
( ) e. :
e(a1,a2), a1,a2(A - e - , a1 a2;
e(a1), a1(A - e- , a1 ;
e(const) e const (V.
write: Q(A(V(Q
q(au)=v, v(V elem(q,au) v(V q'=write(q,au,v)=q(au)=v. , write , au v, q. c , , :
cases c :
u := e ( f1(u,e),
IF b THEN c ( f2(b,c),
goto a ( f3(a),
f1, f2, f3 - , . :
(b ( ...
T ( ...),
b - , , - .
f : QD((QC(A)(QN ( QD((QC(A)(QN;
f(qD,L,qN)=
cases elem(q,ac) :
comp(au,e) ( write(q,au,e);(qD',(qC',a'c=next(a)),qN)
IF au THEN c (
((au((qD',c;(qC',a'c=next(a)),qN)
T ((qD,(qC,a'c=next(a)),qN))
goto al ( (qD,(qC,ac=al),qN)
default : error.
.
, , , .
..
, . --
, . . , -- .
, , , . . , , , :
- - ;
- - ;
- - .
, - , .
, . .
, , .
- , . , , .
, , . .
, , , . , (. 1).
:
;
;
.
, .
, .
-
-
.1. .
..
, . --
, . , . .
, , , .
, , , .
( ) . . , - .
,
- ,
- .
. ( ), (, ).
I, A, IO D. S I [21]. D
, (1)
- , IO.
, (2)
,
(3)
.
(2) , (3) . (2) (3) , . .
, (4)
IO D , IO .
- ,
- .
, (5)
. ,
, S. , , .
, , . .
.. , ..
, . --,
( ) , Windows XP Windows 2000. , .
, . , :
, ;
;
-.
, . .
..
, . --,
, , () , , , , [1].
, , . , , , , .
[2,3]. , , .
. .
, , , . , .
, . . , , , , .
, .
1. . . http://www.iis.ru/glossary
2. .. . .: . .. ,1990, .87-104.
3. .. : - . . 1991.
..
, . --,
, , . , . . , ..
[1], . (), . , , . , . , .
. , , . , . , . .
, .
, , , , , .
. , , , . , .
, , . , .
, . , . , , .
1. . ., .. . : . 2000.
.. , ..
, . --,
. (), . . , .
. , . .
. , , , , .
. , .
.
, .
, , .
.
.. , .. ,
, . --,
. , . . , , , . . .
, - . .
1. . , : , .
2. , . , , . , . .
3. , . - , . .
. , . , . , : . , .
- . , . [1]. .
.. , .. , ..
, . --,
-
. , , , , . , , , [1]. , , , , .
- [2]. . , , , , . . , () :
- , ;
- , , , , .
, . , . , , . , . ( ) .
:
- , , ;
- , ;
- , , ;
- , , .
, . , - . , , . , .
1. .., .. . // - : , 2002.
2. . - , 2- . / . . : , 1998.
.. , .. , ..
, . --,
. .. [1]. , . . , . , .
. - .
. :
- - , , ;
- , , ;
- , .
. :
- ;
- , ;
- , , , .
. :
- , , ;
- , , ;
- , , , , .
, :
- ;
- ;
- .
, , .
1. ... : , , , . : , 1996.
..
, . --,
- () [1].
, , - , , .
, (), . .. () , . , , - . . . , . - , , . , .
, , , . () , . , , . , , , .
() , .. , , . , , , . , , , , , . . - , , [2], - , , , ..
, , (). , , [3]. [4] . , . 1991 . , , [5]. , . .
-, - . , , . .
.
, , , , [6].
/ .
. , , . , , , . , .
:
1. , (, ). (), (, , , ) , , , .
() () , .
, , ( , .., ).
, .
2. ( ) .
3. () [8] , .. , , .
4. (, ). , , . , [7], ( ) , . - , . , .
5. , , , (, ) , , , .
6. , , . .
, , .
1. . 29. - . 50922-96 . .
2. . . 1. . / 15408-1-2002, . 1. .
3. (), , 7 1944 ., .. 28, 37.
4. . . ( 30.03.92).
5. .., , " ", 11, 23.01.2004 .
6. 14 1994 . N 1161 " ( ) , ".
7. 10011-1-93 . 1. ( 30 1993 . N 322), .. 3.1 4.1
8. . 5.2.6 T P 51624-2000 . .
..
, . --,
, ().
, ( ), , , [1]. , , .
, , . , , , .
, , .
( , , ..) , .
.
, .
.
, . .
, , , , , .
. , [2].
. 1.
. 1
, .
. .
1. . 2.5 . . ( 30.03.92).
2. .., 10.08.2001 . 2171881 .
.. , ..
, . ,
. . .
, , . , , , , .
, . , , . , . , , .
, :
- . .
- . .
- . .
- . ().
:
. , [1] . () , () . [2] . . , , (, ..), , ..
. , , , .
, :
- , .
- .
- .
- , .
. , , . , , , . , , . :
- , ;
- () ;
- , ;
- ().
. , .
. , .. (), . ( ) , .
, . , , , .
1. .. , XI " ", , 2004 ., . 136-137.
2. .., .. , 6 " "27-28 2003 .
EMBED Visio.Drawing.6
EMBED Visio.Drawing.6
EMBED Visio.Drawing.6
, . ,
EMBED Visio.Drawing.6
EMBED Visio.Drawing.6
EMBED Visio.Drawing.6
EMBED Visio.Drawing.6
EMBED Visio.Drawing.6
EMBED Visio.Drawing.6
EMBED Visio.Drawing.6
EMBED Visio.Drawing.6
(2,4,1)
(5,2,3)
2
5
0
4
1
1
3
2
-
-
.2. .
-
EMBED Word.Picture.8
EMBED SmartDraw.2
14.03.95 32: ( ) , . , , 14 1994 . 1161.
72
113
_1145701940.unknown
_1145705022.unknown
_1145705821.unknown
_1145706780.unknown
_1145706805.unknown
_1145706833.unknown
_1145706844.unknown
_1147754443.unknown
_1148386159.doc
_1146471869.bin
_1145706837.unknown
_1145706829.unknown
_1145706797.unknown
_1145706801.unknown
_1145706792.unknown
_1145706757.unknown
_1145706771.unknown
_1145706776.unknown
_1145706761.unknown
_1145706736.unknown
_1145706744.unknown
_1145706727.unknown
_1145705735.unknown
_1145705810.unknown
_1145705818.unknown
_1145705807.unknown
_1145705323.unknown
_1145705708.unknown
_1145705036.unknown
_1145702020.unknown
_1145704929.unknown
_1145704977.unknown
_1145704981.unknown
_1145704935.unknown
_1145704895.unknown
_1145704927.unknown
_1145702024.unknown
_1145701964.unknown
_1145701984.unknown
_1145701997.unknown
_1145701973.unknown
_1145701980.unknown
_1145701968.unknown
_1145701951.unknown
_1145701960.unknown
_1145701948.unknown
_1138917726.unknown
_1145701866.unknown
_1145701927.unknown
_1145701936.unknown
_1145701933.unknown
_1145701874.unknown
_1145701923.unknown
_1145701870.unknown
_1145701799.unknown
_1145701858.unknown
_1145701862.unknown
_1145701809.unknown
_1145701853.unknown
_1145701838.unknown
_1145701806.unknown
_1145701767.unknown
_1145701786.unknown
_1139528107.unknown
_1145701761.unknown
_1141118312.unknown
_1139521272.unknown
_1138917005.unknown
_1138917076.unknown
_1138917708.unknown
_1138917042.unknown
_1138916813.unknown
_1138916852.unknown
_1138916898.unknown
_1138916843.unknown
_1137914820.vsd
_1138916791.unknown
_1138916799.unknown
_1137914821.vsd
_1137914822.vsd
_1137914810.vsd
_1137914811.vsd
_1137914809.vsd
2.docVI 2004
..
, . ,
, , , [2]:
- ( );
- ( );
- ;
- ;
- ;
- ;
- , ..
, . , , , , .
, . , , , . ( , ..) .
, .
. , , , -, ( -1, -2 -3); , .
, instabus EIB , - .
.
, [1] , , - , . , .
.
1. .., .. // 4, 2003. 58 61.
2. .. . . , 2004. 433 .
.. , ..
, . ,
. , ( ), , . :
- () P;
- P;
- ;
- , .
, , .. . , .. , . , , . . . -. ( ) ( ). :
(1)
- i- ( ).
, , . .
i- :
(2)
,
-
- j- i- ,
-
- j- .
:
(3)
p , , , P , . . . . .
P , . .
. () , , . , .
,
(4)
- , i- j- ;
- j- i- ;
- .
, .
1. , , , .
2. , , .
3. , , , , .
, , .
, :
1.) ( );
2) ;
3) ;
4) ( , );
5) ;
6) ;
7) .
1. 2219576 . 05 2002 .
.. , .. , ..
, . , , . ..
() , [1].
, .
:
;
;
;
, ;
.
. : .
, : , , . , :
( ),
.
, . . , .
. , , ? "" , .
, , :
1) . . : , , .
2) (). , :
- . , .
- . .
- . , .
3) . , .
4) , . , , .
, , .
, .
- . . , . , . , .
- . . .
- . , .
- . . , .
- . , .
- . (- ) .
, . , .
, :
, .
, .
, , .
, . , . .
. , . .
, , , , . , , , , , . , , .
, , . : , , . .
, .
. , .
.
1. 2219576 , 05 2002 .
.. , .. , ..
, . ,
() , [1].
, (), . , . , .
, , .
. , . , . . , , .
.
, (.1). , . , , , . : , ( ), ..
, , , . , , .
(, , ..). , , , . , . : , , , , .
, , , . , . , , . , . , , , .
. , , :
- , (, );
- , (, );
- , .
, . , .
, , . ; , , .
:
1. , , .
2. . .
3. , . .
" "", .
, , " "" : http://www.jsc-amulet.ru
1
().
.
,
- /
,
( )
,
,
,
,
, ,
1. 2219576 , 05 2002 .
.. , .. , ..
, . ,
-
- , , :
- ;
- ;
- ;
- ;
- , , , ..
, :
- , , , ;
- , ;
- , ;
- , , .. ;
- , , , , ;
- , (), ..
1 2004 / 15408 . :
- , .
- , .
- , , . , , , .
- , .
- , . , .
- , .
- , .
. 1.
:
- , .
- .
- .
. 1
.. , ..
, . ,
(-, ), .
, (, ) -, . , () - . , .
. 1. -4.
, , , . 300-6000 . -4 . 1 [1].
:
m0, r0, c0 , ;
1 - ;
m2, r2 ;
2 ;
3 ;
m3, r3 ;
4 .
.
[2]:
) ;
) .
. 1 2.
1.
:
, .
17
30
45
60
> 60
,
%.
100
50
1
:
, .
7
11
13
>15
, %.
100
6
2.
, .
40
80
>80
, ().
0,04
0,01
.
, .
1
10
>10
, .
0,01
.
0
, .
- 0,3 . 3.
3.
, .
17
5
>17
.
30
0,2
> 30
:
1. .
2. - , W=0,5 30-45 .
3. .
1. .., .. . . ,1993. 152 .
2. .. . . , 2004. - 433.
.. , .. .
, . ,
-
, , . , , , .
:
1. (F) , . , .
2. (V) , . .
,
C , , a,b - . i-
,
Xi,t i- t. :
.
, :
(1)
(1) Xi,t, :
.
t0 Xi,0, T-1 T :
,
- , , .
, S () D(t), . [T-1,T]:
. (2)
(3) , , .
(3).
P, G, p U. ,
,
, P G .1.
.1. .
, . Gopt Popt. . , , , (2) :
, - .
1. .., .., ... . : , 2001. - 432 .
2. .. . : - .- , 2002. - 288 .
.. , ..
, . ,
20 . . , , . , , .
, , , , , . . : . , - , . , - . - , . , , , .
, . , . .
.. , ..
, . ,
, , :
- , , () ( , );
- , .
, , . , -, 51275 . . , , :
- , , , ;
- , , .., , 1992 ., , .
, - , , . , , , -. , . . , .
. , . .
. 1 .
1
1
2
1
1.1
1.2
2
2.1
. , , , , . , , .
..
, . ,
, ( ) , 51275-99 . . , , .
(-) , , , .
, :
___ < _.
(1)
- , . , , , , .
, : , , , .
:
1. , , , . . .
2. . , , .
3. .
4. , . , .
5. 3 , , :
___ < _. (2)
6. , , , , (1) (2).
, .
..
, . ,
- , .
, , , , . : , , , , , , , .
, , , , , .
, , , . , , .
, :
- , , ;
- , , , , .. , .
(), , , .
. :
- , , ;
- , ;
- . , .
, , , . (, ) .
. , , .
, . : , , , , , , , .
, . .
. .
, . . .
, , .
.. , ..
, . --,
, . " " , , . , , , , ( " " ).
, , . , - , .
" ". , .
, - , ; , , (). , ( ), .
, - . , , , .
. () , , .
..
, . --,
(), , [0]. ( , , ), NP- [0]. , , , , . .
, , "" , . :
, ;
;
, , ;
, , ;
, .
, , .
[0]. ( , , () ..) . , h n , (h=1,n):
(1)
, K'ij=f(Li Lj) , i j, . () . , M(K'=f(Li Lj)) , 10 ( " " " ", ), . ( = 0.01 t(=0.9 ;60 =1.67, , (2), 1 500 000 [0].
(2)
() ( ), . (( = 0.01 ) 2- 1 ( , 40 .) 3 000 000 .
,
,
- i- , Th h- .
K'' , .. D(K'') D(K'). , 20 100 . . ( = 0,001 9 000, , . , .
1. . 25.11.94 .
2. ., . . . , 1982.
3. .., .., .. . . , 1975.
4. .. .. .. . . . , 1981.
EMBED Equation.3
N
i
i
N
i
P
P
1
..
1
,
1
134
115
_1144831327.unknown
_1147875624.unknown
_1147876253.psd
_1147876261.unknown
_1147876491.unknown
_1147876245.unknown
_1144831397.unknown
_1145709240.unknown
_1147338296.unknown
_1147875448.unknown
_1144831401.unknown
_1145709206.unknown
_1144831387.unknown
_1140320928.unknown
_1140840686.unknown
_1144831311.unknown
_1144831317.unknown
_1144831293.unknown
_1140840713.unknown
_1140840490.unknown
_1140840516.unknown
_1140320991.unknown
_1140320788.unknown
_1140320869.unknown
_1131146556.unknown
3.docVI 2004
A.G. Chefranov
Turkish Republic of North Cyprus, Gazimagusa, Eastern Mediterranean University,
On approach to decision making formalization
1. Decisions are made on the base of consideration of information concerning desired query. Queries are formulated on the base of internal demands and demands of external world. Usual way of decision making is based on divide and conquer strategy: problem is split in sub problems which are considered similarly to initial problem unless it is decomposed in simply realizable parts. For instance, such approach is used in structured programming [1], unified modeling language (UML) [2], etc. However, this decomposition process is assumed to be made by humans, it is not automated in general case. Nowadays computers are not able to do such a work because they are based on low-level universal strategy of their behavior: infinite loop in which next instruction pointed by Program Counter register is fetched, analyzed and executed. Such a strategy requires sufficiently complicated Control Unit and means of interpretation (Arithmetic-Logic Unit), but it results in powerful computers which are widely in the use now after introducing of high and super-high level programming languages (Fortran, C, Database Management Systems, CAD-systems, etc). Such computers can run sufficiently complicated programs, can transform high-level programs in lower-level (compilers), can generate complicated codes on the base of descriptions of models (unified modeling language), but they are not able to respond on not known in advance demands of external and internal world. However, computer systems similarly to other natural creatures are affected by external world and they should be able to resist attempts of making harm to them and to repair themselves in the cases of failures. Currently, when each enterprise is linked via Internet to all others, and information stealing is widely spread (banking enterprises, for example), viruses can corrupt systems, behavior of computer systems is just similar to the fight of live creatures for survival. But contrary to the live creatures having adequate mechanisms for making their decisions in not friendly environment, computer systems cant live autonomously without participation of humans (programmers, administrators, managers, etc.). Even automated explorers of Mars (Pathfinder [3], nowadays, Spirit [4] and Opportunity) are controlled and repaired by humans remotely. Ideally, problems of safety of computer systems should be in their own responsibility. But for these purposes such systems need in well-developed mechanisms of making decisions, which could help them to find appropriate solutions (find source of error, way of problem decomposition, generation of respective codes, etc.).
2. Lets consider possible approach to formalization of making decisions process, activated by some query of arbitrary nature. This query should be analyzed to determine its parts. It may happen that part of query is understood by our system, and part is not understandable. Understandable means that respective notions are already known to system and it may relevantly interpret required: it knows respective data types, applicable to them operations, properties and so on. Not understandable part may include not previously used notions, or same as previously used terms but in some other meaning. Similar situation appears when translation is made from one language to the other: sense of one and the same word depends on its context and may differ significantly from usual meaning. Such additional information may be queried to the global bank of information (for example, Internet search servers: Google, Rambler, others), or got from more informed comrades. As a result of understanding, there should be made enumeration of inputs-outputs, their types, properties, allowed on them operations. Also, there should be found out commonalities in input-output parameters, such parameters should be grouped, new parameters, showing cardinalities of such groups should also be taken into consideration. So, not only just getting information on inputs-outputs, but operations of generalization should be applied to them. Next step is to consider possible operations application to input data in order to get output. For this purpose, it may be useful parameterization of stated problem, and trying to relate required problem with the same problems of less dimensions (characterized by less values of associated parameters). At first turn, should be considered operations, which are involved in the description of stated task. If such relation may be obtained, we get a recurrent formula, allowing getting next solution if we have previous. So, if to consider minimal possible values of parameters, and if assume that solutions of them are available, then, in the loop, will be obtained desired solution. So, we come to formulation of the set of sub queries for finding solutions of more simple problems, or made decomposition of our problem into sub problems each of which may be considered similarly unless we come to problems with known solutions. Such way of minding is character for many decision making processes, for instance, dynamic programming [5]. And such a formal approach gives opportunity of making decomposition of tasks on subtasks, which is a humans responsibility now. For example, if the task is to add 100 particular numbers, our system should get information, what are the numbers objects, what operations are applicable to them, analyze numbers, find out that all of them are of the same type, introduce parameter of the task number n of added numbers, and introduce S(x,n), where S is output, depending on group x of numbers having same type, number of which is n. If to consider closest task, S(x, n-1), characterized by slightly less value of parameter, by properties of addition operation, it may be found that S(x,n)=S(x, n-1)+x(n), where x(i) is i-th element of array x. Taking into account that S(x,1)=x(1), we get that solution of minimal required sub problem is known, and next solutions may be obtained using recurrent formula. So, system may generate code for getting solution of this problem:
S=x(1);
For i=2 to n do
S=S+x(i);
Such a system will be self-programming, all necessary codes it will be able to generate on the base of performed decomposition.
Of course, considered example is too trivial, but it illustrates main idea of the proposed approach in formalization of decision making process which may result in self-programming, so system will be able to extend its skills, by generalization of previously obtained solutions it will upgrade its level of knowledge and decrease response times for next queries.
3. Main idea of the proposal is to elaborate procedure of specifying inputs-outputs of desired problem (may be not known to the system), introducing of general parameters of the task, finding associated with it operations and their properties, making attempts of combining this information to get formula (recurrent, or not) relating solutions of the same task with less parameters values, or some other close to desired, tasks but which are slightly simpler. This leads to decomposition of initial task on simpler sub tasks, each of which may be considered similarly. If to realize such an algorithm, it may be viewed as basic for new class of computer systems capable to make their own decisions in response to requirements of its internal world (for instance, self reparation) and external world (resistance to harmful affects of viruses, environment, etc.), lead to significantly higher level of security of computer systems. Such an algorithm will be similar to basic algorithm of behavior of contemporary computers (fetch-analyze-execute infinite loop), but of significantly higher level (fetch next query - analyze it decompose/execute infinite loop) which results in creation of respective executable codes, actually responding to query. If respective executables are already ready, then they will be executed, as in conventional approach.
1. E.W.Dijkstra, Structured programming, Aug, 1969,
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD02xx/EWD268.html (Nato Science Committee, 1969, Rome, pp. 93-99).
2. G.Booch, J.Rumbaugh, J.Jacobson, The Unified Modeling Language Reference Manual, Addison-Wesley, 1998, 576 p.
3. J.W.S.Liu, Real-Time Systems, Prentice Hall, Upper Saddle River, New Jersey, 2000, 610 p.
4. R.Wilson, The trouble with Rover is revealed, EE Times, Feb. 20, 2004,
http://www.eetimes.com/sys/news/OEG20040220S0046
5. M.A.Trick, A Tutorial on Dynamic Programming, Mini V, 1997,
http://mat.gsia.cmu.edu/classes/dynamic/dynamic.html
.. , ..
, . ,
(), , V N- [1]. V . , , , V, . , , , :
- ( );
- , , .. ( ();
- ( ) [2].
, .
, V , g(V), . , g(V) . , a priori , , g(V) , [3]. Vi [1], Vi . .
1. g(V) , Vi.
2. Vi .
3. , g(V), 1.
: V V. g(V), V : V V. , [2].
(, L Vi,
, N- . Vi,
N :
Vi = {v1, v2, , vj, , vN },
.
VCi ((1, (2, , (N), N mv1 = (1, mv2 = (2, , mvN = (N. VCi ( )
,
(jk = (kj = M(vj (j) (vk (k) =
Vi,
,
, (1)
.
,
.
, (2)
(
,
-
- .
, Vi, - . , , N- , ((1, (2, , (N).
k2,
= k2. (3)
k aj (j:
a1 = k(1; a2 = k(2; , aN = k(N.
k=1.
, ( P1 ):
, [1].
g(V), :
g(V) =
(4)
g(V)=0 , g(V) ( V : ( ):
g(V) ( 0, V(VC, g(V) ( 0, V(V.
, : V , , (4).
(N=2) .
. 1.
, , .
V. , (4). , , , , .
( g(V)). , , , ( [2].
BioSing BioKey, [4, 5]. 075400 [6]. 2003/2004 , . 50 . 20 . , , . . 20 ( ). 20 , . .1 2.
1
BioSing ( )
38
20
0
12
1-3
47
20
0
3
1-3
2
BioKey ( )
27
20
0
16
1-2
7
3-4
36
20
0
10
1-2
4
3-4
1- 2- ( ( 0,003, ( ( ( 0,004.
1. .. . - . . -, 2000. 188 .
2. .., .. / . . 2003. 3 (15). . 17-23. http://pitis.tsure.ru.
3. . /. . .: , 1967. 180 .
4. .., .. / . . 2003611145 (16.05.2003). , , , 2, 2003.
5. .., .. / . . 2003610944 (17.04.2003). , , , 2, 2003.
6. .., .. - : . ( : - , 2004. 3531. 40 .
.. , .. , ..
, . ,
,
, , , .. .
, , ,
, .
, , , ,
:
, (1)
. (2)
;
.
,
, ,
.
.
:
, (3)
-
;
.
. (4)
;
.
,
,
,
, (5)
(6)
;
,
;
,
;
,
;
.
;
.
, (7)
;
.
;
.
,
, ,
,
, , . ,
.
.. , ..
, . ,
, () [1, 2], () [3], [4].
. , , ( , )
. , - . , , [4].
:
(1)
,
.
. 1.
,
,
.
. 1
)
)
. 2.
) ; )
. , , [1, 3, 4]. . 2
. , . . . , . , . , [4]. , .
1. .. // 21 (21) / (, , , , , , ) . , 2003. . 76.
2. .., .. // - . : - , 2002. . 105-109.
3. .. . : - , , , 2002.
4. .. . , / .. , .. , .. , .. . : , 1997.
.. , ..
, . , -
. , . . , , , . , . , . , , () .
. [1] (). , , , , , .
, . [2-4] () . , . , . , , , . . , , , . (). , . ,
-
, (1)
- ;
- .
. (2)
,