Вы находитесь на странице: 1из 162

1.

1.1
1.2
1.3 -
1.3.1

1.3.1.1

4-


1.3.1.2


1.3.2

1.3.3
1.3.4
1.3.5

1.4

1.5


1.6

1.6.1
1.6.2



1.6.3

2.

2.1
2.2

2.3 ,
2.4
2.5
2.5.1

2.5.2
2.5.3

2.5.3.1
2.5.3.2
2.5.3.3
2.5.3.4
2.5.3.5
2.5.3.6
2.5.3.7
2.5.3.8
2.5.3.8
3. ()

3.1
4.


4.1
4.1.1
4.1.2
4.1.3

2

4.1.4
4.1.5
4.1.6
4.1.7
4.2
4.2.1
4.2.2
4.2.3
4.2.4
4.3

4.3.1 exsys
4.3.2 exsys
5.
6. .
-

6.1
6.2
6.3
6.4
6.5 ,
,
6.6 ,

6.7

6.8

6.9

6.10

6.11



6.12


6.13

6.14


6.15


()
,


.

,
,


, ,
.
,
,

,
.

()

().

,
,
.
,
,
.

.

, :
1)
;
2)

, , );
3) ,
, ,

110 .

:
.
,
.


,

.
.


.

,

,
.
() - ,

.
() ,
.
,
(). ,
().
, ,
.
.
, ,
.

1.

1.1
, ,
.
.
.
- - ,
,
.
(
)

.

,
, , .
,
, ,
, ( )

.

() ,
.
,

,
, .

"". .

,
, .
, -,
, -,
,
,
.

.
. ,
, .

, ,
, ; ,
.

( )
, .. : ,
,
, - -
.

.

.

()
.

:
1)


, ;
;

2) ,
;
;
3) ,
;
.

, - (
) ,
, .
,

, .
,
.

10

,

.
,
.

- (
).

- , .
,

.

""
() .

,
()
,
.
,
, .
,
,
.
, ()

,
.
11

(, )
, , .
(
) (
)

( , ),
() .

.
""
, , ,
, .

1) ;
2) ;
3) ;
4) .
1.2

. -
- .
,
.
,

.
,
12

.
,

.
(
),
, , ,
. ,
.


.

, .

,
().
,
(,

),

.

. ,
, , .
,
.
,
,

. , ,
13

.
.

, ,
.
,
, .
, ,
,
(, , ,).
, , ,
.
, .
1
.

,
.

,
.

,
,
.

14

1 -

tg


()

tg

tg

()


1

tg

15

1.3

,
, ,


. ,
.

,

.

, ,
,
.

.
,
,
,
.
,
: ,
. ,
( , ,
, ), (

16

) ( ),
.

()
() ,
.

,

()

()
.
,
,

().

, , ,
.

.

,
,


, ,
.

17

1.3.1

.
.

-,

.
,

, , ,

.

80-
. ,

.

(),

,
.
,
- .

.
,

.
18

1.3.1.1

, (FAL), 2- (ACF), 5 (MEF) (FOL).


20
20:1, ,
,

, .
, , 1-2 .
170-180. ,
, 1: 1: 10.
.
FAL, ACF MEF 0,1 /,
0,03
/ / 10:1.
.
. . .
0,5 10 /
15%.


,
.
1.3.1.2 -

19

-
FAL
. ,
,
,
.

- , .
,
, ,

.
450
.
,
,
.
FAL (> 1 /)
02.

-
. ,

, .
, (
)
,
.

20

1.3.2 .


.

, .
,
,

.
6370-83
34.70.653-83, ,
.
,

.
() 17216-71 () ISO
4406, .
90-

.
- -915, -975 (
17216 ISO 4406),
-945, -995.

""
1994 . 915

"PALL" .
21


3%.

17216-71 () ISO 4406


,
,
.
, ,
.
,
10 , , ,

.

, ,
.

-
(
).
"-"
,

"PALL".

, ,
.
1.3.3

,
,
22

,
.

34.43.107-95.
, , ,
, , ,
. - ,
.
,
, .
,
, .
, ,
.

7822-75
.


814.
,
,
.

(D

Polarization/Depolarization Currents)
.
100
, .
PDC-Analyser-3205 ( "Siemens AG").
,
, .
23

-
.
, PDC
, Siemens
, ,
PDC-
. PDC-
, ,
.
"-"
814 -901.
814
34.43.107-95 "" 6 .

.


.
.

, .
""
, ,
34.43.107-95,
,
, .

.
24

(20-100

),

,
.
- ()
().

"", -
.
0,6 ,
.

. 3-4
.

, 0,5 20 .
,

"", , "".

.
1.3.4
, .
,
.
.
25

.
2 .
- ()
. - ,
.
.

.


" ".
,
, ,
.
1.3.5

tg = f(T).
6581-75 .
.

-1-1, -1-4, 1 tg = f(T).
2 - -4 -1-1

26

-4

-1-1

, U,

tg

0,00050,5 0,0550 %

, ,

30100

, F,

50

, ,

20

, ,

+5+100

0
35
20 90 0, t,


,
(-1-1)
(-1-4) . -1
-1-1,
.
-4
tg = f(T).
-1-1
,

27

tg ,
.

2kV

1 - -1 - 1
-1-1 ,
.
, .

, .

.

, Labmaster. , ,
/ / .

, , ,

-1-1
tg, ;

28

tg ;
.
,

.


. tg,
100 ,
.

Exel,
tg = f ().
-1 :
. tg
,
.

-4
.


.
tg
.
1.4

29

(..).

, ,
, ,
.
, ,
,
.


,
, .
.

,
.


,
. ,
, ,
, ,
,


, .

30


:
" " ( . "PD shape").


. ,
,

, .
,
.
, .
,
, ,
, ,
,

.

.

,
.
" " "".
.

.
,
,

31

2 -
: -5 , -30 , 55
)

32

3 -
) ;
)
,

.
, , 4.

4 -

, ..
18 ( ),
20 .

. ,

, .
33



.
,
. ,

/ ,

.
,
,
. (
) ,

.

.

,

, ,
,
.
.
,

,
.

34

1.5

,
,
.

.

:

- ().
().
,

, , .

. ,
-
,
, ,
- A(F), .

,
.

,

35

,
"-8".
, Windows 3
:
1) ,

, , ).
2)
,
, ,
- .
3)
()
.

"-8"



:
1) ( )
-
, , ,
. , ;
=1; , ;
36

2) (V, %)
-
,
( ) ;
3) (f)
- ,
;
4)

()

;
5) (f)
()
.
:
""

- .
Fo ,
, , ,
,

- ,
).

- .

37

> . ?

> . ?


,
< . ?

f f? ?

6 -

()

.
1-, 2- 3-
4- .
() ,
.
F ,
Fk.

,
.

38

7 -

8 ,

"-8",
:
( 8.) ( 8.).

39

8 -


.

.
,
,
.
.

40

1.6

1.6.1


.
, ,
,
,
.


.

.


.


-
.
,

, ,
, ( )
( ).

,
41

,
.

, .
1.6.2

,
, .
,
, ,
( ).

.

.


.
.

, .
12
.
.
.
, .
,
.
42


. 100 .
, ,
.

.

.
,
,
.
,
. , ,
,
.

.
1.6.3

,

, ,

, ,
.
, ,
.
.
43

,
,
,
,
.
,
, ,
( )

( ).
,
.

,

.
,
.
.
, (
), , .. . ,
.

,
, , .
,
,

, ,
.
44

- ,

.

, .
,

()

, ,
.

, , ,

. ,
,
, 0,01
( ) .

,
,
.

, ,
, .

,
. , ,
,
.
exsys

45

2.
2.1
()
,

()

().

,
,
.
,
,
.
,

.
,
,
.
,

() ,
.

46

,
,

.

, :
4)
;
5)

, , );
6) ,
, ,

110 .

:
.
,
.


,

.
.

47


.
2.2

.
,
- , 9.
.

)
)
- -2 , 10 14,
,
9 -
) , ) -

, , [10, 11, 12].


, , , ,
48

.
:
1)

( 10);

2)

3) ;
4) ;
5) ( 11, 12).

-
10 -

49

-
11-

50

- ,

12 -

, 13,

[10].

( ).
,
, [13].

(),

.

,

,
:
, , .

.
,

51

,
[14].

,
.

(,

:
1) ;
2) ;
3) .

.

13

52

2.3

()
, . ,
, ,
.
0.76 1000 .

,

, max

max

b
T,

:
b , 0.2898 .
:
, , .
,

,
. ,
,
.
,
65 %
.
53

, 300 (27 ), ,
, ,
813 ,
. ,

. 14 ,
,
14200
.


. ,
.

,
.

( ),
.

[10]:
1) ;
2) ;
3) ;
4) ;
5) ;
6) .

:
54

1)
, ;
2)
,
.

, .

.
.

.

25 .

.


.
,

. ,
, ,
.
,
.
, ,
.
55


.

, ,

.
.
:
1)

;
2) ,
.

() ,

, ,
.
,
.
(),
.
.


, .
,
35 .

, ,
56

(
) .
.

,
, , ,
2.7
.
2.4
:
- T - ,
;
-

, ;
-

T
T

- ,


, (),
.


:
1)

);
2) ;
3) ;
4) ;
57

5) ,
, .

0,5I
:
- T = 510 - ,

, ;
- T =1030 - ,

;
-

T 30 - ,

.
,
:
1) k 1.2 - ,
;
2)

k 1.21.5- ,


.
3)

k 1.5- , .

k ,

58

. ,
[15] :

59

T T1 T2 T3
T T3

1 2
T
T1
T1
,

k 1

R K k S F

R F
1
K
k SK 4 K
.

, [16, 15, 17],


,
,
,
.
, , .

. ,
.

.

, , ,
.

2091189

60

.
:
1) ;
2) ;
3) .

.

, ,
,
.
,
.

, .
, [17]:
1) ,
, ,
,
;
2)

, ,
.
2.5
,

61

( ,
., .)
.
:
1) ;
2)

3)

(, , );

4)

();

5)


:
)
(,
);
)

(,

, )
( ()) ;
)
(

,
( );
)
;
) ;
) .

. , ,
- -
""
62

; - - ,

, .

,
, ,
.


,
. , :
1) , ,
, , ,
,
;
2) ,

;
3) .

.

.

, .

.

63

5.3.13

:
1) - 75 ;
2) - 95 ;
3)

- 70 (
).


20 - 35 .

. ,
,
. ,
,
.
,

,


. ,

, , .

,

( 200-300 ). , ""

64

10
.

.

,

, - 1,5 - 4,5
.
20 - 30 , 10 - 20 .

,
.
2.5.1

,

.
.

,
(24) (22) .
: (2), (4) (2).
:
1)

, ,
2)
, , ,
3) .
65


,
.


- .
2.5.2


, ( , ,

)
.

, :
1) ;

-
.
,

,
.
,
" ",
.
66

2) ;
3) " " ,
, .
2.5.3


( , , ,
)

.
2.5.3.1

.
( ,
)

.
2.5.3.2

.
:
- ;
- ;
- .
2.5.3.3

. ,

.
67

,
,
.

, ,
.
.
,
, ,
,
.
.
2.5.3.4
,
, ,
, .
,

, ,
.
2.5.3.5

.

. , ,
,
,

68

.
"" .

- 1
14 -
(-1)
2.5.3.6

,
,
() .
,
,


.
2.5.3.7


( ,
, ),
,
69

,
.

, .
2.5.3.8
,
,

,
.
,
.
.
,


.
, ,
,
.


, .

, ,

),

70

, ,
, ,
, , ,

. (

),

, , ,
.
, ,
, 7 - 12
, .

no-

,
( "") "",
10% . ""
no-
, ,
,
, .

. (2), ,
(1) (
15).

15 -

71

- , . ,
(3),

. -
, ,
, .

"" .

,
, , ,
. ,
, .

.

,
, 3.
3 -


(t)

(/)

__________
__________




72

()

__________

2.5.3.8
,

(.).
70
- 95
( , , ).
,
..

.
, ,
,

.
73

,
, ,
+ 10 ( , ).


, , ,
.

2 - 3 ,

,
. 0,5
.

(.).

74

3.

()


2002-2004 .
-
. 4
- 6 , 16 24.

4-


0.4 6-

35

10

27.5

110-

N k1

Nk 4

220

Nk2

Nk3

NSk

Nk5
1

1
-
1
-
1

1
, -35
2

5

5

4
5

5
-.

4.00
5.00
2.00
3.00
5.00
3.00
2.00
1.00
3.00
0.00
3.00
4.00
3.00
1.00
3.00
1.00
2.00
2.00
4.00
1.00
3.00

2.00
0.00
0.00
2.00
0.00
13.00
4.00
15.00
2.00
0.00
1.00
2.00
0.00
0.00
0.00
2.00
0.00
1.00
0.00
3.00
0.00

6.00
0.00
0.00
1.00
0.00
1.00
7.00
0.00
1.00
0.00
5.00
1.00
1.00
1.00
2.00
4.00
1.00
0.00
1.00
1.00
0.00

0.00
0.00
0.00
0.00
0.00
0.00
0.00
1.00
0.00
0.00
2.00
1.00
2.00
0.00
1.00
0.00
0.00
0.00
0.00
0.00
1.00

17.00
0.00
0.00
0.00
0.00
2.00
0.00
0.00
0.00
4.00
9.00
4.00
2.00
4.00
0.00
6.00
1.00
1.00
0.00
0.00
0.00

29.00
5.00
2.00
6.00
5.00
19.00
13.00
17.00
6.00
4.00
20.00
12.00
8.00
6.00
6.00
13.00
4.00
4.00
5.00
5.00
4.00

5.80
1.00
0.40
1.20
1.00
3.80
2.60
3.40
1.20
0.80
4.00
2.40
1.60
1.20
1.20
2.60
0.80
0.80
1.00
1.00
0.80

0.00
0.00
3.00
0.00

0.00
1.00
2.00
3.00

0.00
0.00
2.00
1.00

0.00
2.00
0.00
0.00

1.00
0.00
1.00
0.00

1.00
3.00
8.00
4.00

0.20
0.60
1.60
0.80

MNS k

75

5
5
5
5
5
5
5
5
5
5

9

9

9
-
4
9

3.00
4.00
3.00
5.00
6.00
0.00
5.00
2.00
1.00
2.00

0.00
0.00
0.00
0.00
1.00
0.00
0.00
2.00
2.00
0.00

0.00
0.00
0.00
0.00
0.00
2.00
1.00
0.00
0.00
0.00

0.00
0.00
0.00
0.00
3.00
0.00
0.00
0.00
0.00
0.00

2.00
3.00
1.00
0.00
1.00
1.00
0.00
1.00
0.00
4.00

5.00
7.00
4.00
5.00
11.00
3.00
6.00
5.00
3.00
6.00

1.00
1.40
0.80
1.00
2.20
0.60
1.20
1.00
0.60
1.20

1.00
7.00
7.00
7.00
10.0
8.00
8.00
0.00
1.00
2.00
5.00
0.00
4.00
1.00
6.00
1.00
0.00
0.00
1.00
0.00
2.00
0.00
2.00
1.00
4.00
0.00
1.00
1.00
1.00

0.00
0.00
0.00
0.00
0.00
1.00
0.00
0.00
0.00
0.00
0.00
0.00
0.00
0.00
1.00
0.00
0.00
0.00
0.00
0.00
0.00
0.00
0.00
1.00
0.00
1.00
1.00
0.00
3.00

1.00
1.00
3.00
4.00
2.00
4.00
8.00
4.00
2.00
3.00
5.00
8.00
4.00
1.00
3.00
10.00
5.00
1.00
4.00
1.00
4.00
0.00
1.00
1.00
4.00
0.00
0.00
0.00
0.00

2.00
0.00
0.00
1.00
0.00
0.00
0.00
1.00
0.00
0.00
0.00
0.00
0.00
0.00
0.00
0.00
0.00
0.00
0.00
0.00
0.00
0.00
0.00
0.00
0.00
0.00
0.00
0.00
0.00

2.00
3.00
8.00
11.00
1.00
1.00
3.00
0.00
0.00
4.00
0.00
3.00
3.00
0.00
0.00
0.00
0.00
0.00
0.00
1.00
0.00
1.00
2.00
0.00
3.00
0.00
0.00
0.00
0.00

6.00
11.00
18.00
23.00
13.00
14.00
19.00
5.00
3.00
9.00
10.00
11.00
11.00
2.00
10.00
11.00
5.00
1.00
5.00
2.00
6.00
1.00
5.00
3.00
11.00
1.00
2.00
1.00
4.00

1.20
2.20
3.60
4.60
2.60
2.80
3.80
1.00
0.60
1.80
2.00
2.20
2.20
0.40
2.00
2.20
1.00
0.20
1.00
0.40
1.20
0.20
1.00
0.60
2.20
0.20
0.40
0.20
0.80

0.00
170.0
2.62

0.00
66.00
1.02

3.00
126.0
1.94

0.00
17.00
0.26

0.00
111.0
1.71

3.00
490.0
1.51

0.60
98.00
1.51

76

16 -

17

( )

77

18 -

19 - ,

20 -

78

6 -

0.4

6-10

27.5

35

110-220

-1
-2
-5
-6
-7
-8
-9

25
18
46
48
12
11
10
170

36
7
15
1
0
1
6
66

15
15
9
23
26
29
9
126

1
6
6
3
1
0
0
17

19
29
17
29
10
1
6
111

96
75
93
104
49
42
31
490

21 -

22 -

79

7 - ,

-1
-2
-5
-6
-7
-8
-9

96
75
93
104
49
42
31
490

8
8
19
7
6
8
9
65


12
9
5
15
8
5
3
8

23 - ,

24 -

80


:
1)

.
0.4, 27.5 110-220 .
2)
.
,
. 7 4 ,
-6 (15
) -1 (12 ).
3.1

)
,
:
- ,
, ,

;
- "" ;
- ,
, .

, ,
,
.

81

.


.

.

.
)

,
, ..


.



.

,
.
)

,
80 .
( )

82

,
.
,

,
1,5% . ,
0,06 .
.
,

.
)

.

no- (,
, ),

.


( ).
, (
)
.

,
.
)

83


,

, ,
.

,
50-60 ,
.

. :
-
, ;
- ,
;
- : ,
, , ,
, ;
-

;
-
;
-
,
( , ).
,

.
, ,
84

85

4.


4.1
4.1.1
,
, , , ,

,
(, ,
).

, ,
.

, , :
1) ;
2) ;
3) ;
4) , -
(, ).

:
1) , ,
;
2) , ,
1 ;
1 - . ,
, ,
86

3)

,
;

4)

.
, ,
:

1)
, ,
;
2)

;
3)

,
, , -.
25 ,
.

.
,
.
- ,

.
() ,
. .

, .
87

25 -

26 -
,
, , , :
1) ,

, ,
.
2) ,
, ,
,
88

.
3) , ,
,
,
.

, .
, .
4)
,
,
.
4.1.2
- , ,
, ()
, , .


.
,
.
,
, "".
.
, .
.
, " ".
,
,
89

.
, , , ,
,

,
.
,
, , ,
, .
,

.

, ,
.

.
- , ,
-, ,
, .
,
( 27):
1)

2) ;
3) ;
4) ;
5) ;
6) ;
7) .

90

27 -

( ) .
- ,

(
- -, , , ,
).
- ()
,
.
91

- .
( , ).
,
,
( ).
:
1) ( )
, ;
2) ,

.
,
, , .

( ,

-
).
.
,
.
: ,
( ) ,
.
. -
, , .
,

92

.
.
,
(). ,
().
, ,
.
.
, ,
.
, ,
.
(,
emycin mycin, kas prospector).
, ,
. mycin
, emycin ( , mycin)
, - ,
.
,

.
, 28.

:
1) ;
2) .

93

28

.
,
.

Gensym Corp. ().

G2

, -
,

.
4.1.3



, ,

.
29.

94

29

,
,
. ,
, ,
.
.
,
,
.

, .
, ,
, .
, , ,
,
.
,
.
,
.
, .
95

, ;
,
, . ,
, ,
, ,

, .
4.1.4

:
1) . .
-
.
2) .
.

.
3) . -
-
. .
4)

. , , .
, .

-. ,
,
.
,
,
96

.
4.1.5
:
(
).
( ).

.
, "" ,
.

: , ,
. ,
,
, .

, () .
,
:
1) ,
, ;
2) ,
, .
,

, .

.
97

4.1.6
, ,
, :
1) , :
) (
,
-);
) ( ,
, , );
) (

).
2) , :
) ;
) .
,
. ,
.
.
3) , :
) , ;
) (
, ).
4) , :
) ( );
) .
.
, ,
, . , ,
98

, , , .
,
. , ,
, . ,

.
4.1.7
, (
30): , , , ,
,

,
.

30 -
1) :
) , ;
) .
1) :
) ;
99

) ;
) .
1) :
) ;
) ;
) .
1) ( )
,
:
) "" ;
) , ;
) , .

.
1)
.
, ,
.
1)
.

.

,
.

100

4.2
,
.
.
,
: , ,
.
4.2.1
[18] ,
: S=< B, F, A, R>.
B - ( S).

S.
F - S, .

, .
A - , S,
.
R - {r1 ,..., rn } ,

ri

j , , j
, f ,
j ri f.
ri , f f n

ri .
101

() f n S

f1,..., f n

, i f i

S, -
.
,
. ,
,
, S.
S ,
A , A A S.
,
, .

:
1) {(,).};
2) { ,,, };
3) { , };
xk , k=1,2,...;

4)

n
0
5) n- : f k , k 1, n 0 ( f k

);
n
n- (): pk , k 1, n 1

6)

xk u, v,
x, y, z...;
0
n
n
f k - a,b,c,d...; f k (n 0) - f,g,h,...; pk - P, Q, R, S,

T, V, W....

, ()
( ).
102

.
t1,..., t n ( n 1)

- ,
pkn -

f kn (t1,..., t n )

t1,..., t n

- ,

pkn (t1,..., t n )

().
.

A, A B, A B, A B

. A -

x - A, (x) A (x) A .
,
.
(x) A (x) A A

()

. x ,
, .
, .
: x(Q( x, y ) R( x)) . x
, y . ,
.
, ,
, .
,

D,

n
, pk n-

n
D, f k - n-
n
, D D ,

f k0

D.
D .
103

()
().

pkn (t1 ,..., t n )

D,

, - .
,
. , A B , A, A B, A B, A B
:
_____________________________________________________________
A B A A B A B A B
_____________________________________________________________

_____________________________________________________________
(x)( A) : x
D A (), (x)( A)
: x D,
A ().
, .
.

104

,
.
A ,
I , A I.
A I, , I
A.
A
, . , ,
P( a ) ( P (a ) P(b)) (

), , , .
A ,
.
A B1 ,..., Bn ,
I, B1 ... Bn ,
A. B1 ,..., Bn , A -
B1 ,..., Bn A .
( ):
B1 ,..., Bn A. A B1 ,..., Bn

, B1 ... Bn A

, ..

( B1 ... Bn ) A .

A
, B1 ,..., Bn ,
B1 ... Bn A B1 ... Bn A .


, ..
. ,
105

,
, ..
.

.
P(x,y,z,...), P - , x,y,z,... - ,
.
. ,
,
().

.
:
:
(, , );
(x) ((x, - )

(x, )

(x, )

(x, ).


.

. , ,
,

,
.

. ,
, .
106

.
,
, - ,
. , ,
, .

-
.
4.2.2

.
, , :
- ,
, ,
.
. -
, . , .
, , .
, ,
-.

-, -
() .
.
:
1) - ,
;
2) - , ;
3) - ,
, .
107

, , ,

(,

).
- ,
, ,
.

.
,
.
,
.
4.2.3

() .

, ,

, , -,
.
-,
.
.
:
.
,
.
.
, ,
, , .
108

, ,
. ,

.

109

4.2.4
,
.
[19, 20, 21, 22].
-:

,
, - , ,
.
,
. ,
mycin ( )
:

-
0.7 .
a b a
, b - , .
( )
, .
( ).

(
) (), ,
,
(
).
,
,
110

. ( 31) ,
X,Y Z.
, , xcon (,
Digital Equipment Corporation (dec)
vax), dendral ( )
.

,
( ). ,
. , ()
, ,
,
?
,

1 ( 32) , (
), Z .
Z Z. ().

, ().
2 ,
Z, , Z
(Z - ). D&Y=>Z ,
Y, Z ( D ).
3 Y,
, , Y.
(C&X=>Y) ,
X Y ( ).

111

A
B
C
D E F

A
B
C
D E F
X Y

A
B
C
D E F
X Y Z

A & C =>X
B & X =>Y
D & Y=>Z

A & C =>X
B & X =>Y
D & Y=>Z

A & C =>X
B & X =>Y
D & Y=>Z

: A & C =>X

B & X =>Y

D & Y=>Z

31 -
4 ,
, , .
(&=>) ,
(
).
5-7 , ,
, Y, , ,
, - Z.
, , ,

.
mycin,
, , prospector (,
) .

.

112

D E
F

B
D E
F

B
D E
F

B
D E
F

X B,
X

Y D,
Y

Z,
Z

A C,
A

A & C =>X
B & X =>Y
D & Y=>Z

A & C =>X
B & X =>Y
D & Y=>Z

A & C =>X
B & X =>Y
D & Y=>Z

A & C =>X
B & X =>Y
D & Y=>Z

D E
F

B
D E
F
X

X,
B

B
D E
F
XY

Y,
D

B
D E
F
XYZ

A & C =>X
B & X =>Y
D & Y=>Z

A & C =>X
B & X =>Y
D & Y=>Z

A & C =>X
B & X =>Y
D & Y=>Z

A & C =>X
B & X =>Y
D & Y=>Z

32 -
4.3

() ,
, ()

113

,
.

,
() .
, , ,

(),
[77].
, ()
().
:
1) ;
2) ;
3) ;
4) ;
5) ;
6) ;
7) - ;
8) ;
9) ;
10)

11)

-;

12)

.
. ,

, ,
.
,
. ,
114

. ,
.
, ,
.

. , ,

.
,
,
.
: , , .

: ,
.
( )
. -


. - -, .


.

:
, , ,
, .

,
. (
-
115

) (
), (
).

. .
4.3.1 exsys
exsys, Inc.
.
, ,
. Exsys
.
-,
.
exsys ,
.
-
: ,
.
.
? ?, .

.
Exsys .
, . ,
.
, ,
. , ,
: ,
116

.
, .
4.3.2 exsys
, , .
- ,
.
exsys
file new (
open) (
.).
, (
) .
:
( ) ( 0 10
100 +100).
: All Possible ( ), First Successful (
) Non Redundancy (). Starting text
, ,
Ending text ,
() .
RULES,
Parameters.
:
- Choice list,
exsys.

117

33 -

Qualifier

list

, ,
( :

, ,
).

34 Qualifier list

35 - Choice list

118

Choice list Qualifier list


.
rules,
Added Rule.
Qualifiers
( if/then
if, and/or
).
( if/then
then).
Qualifiers list ( ) Choice list
( ).
( ) ,
Stop Rules exe (
command ).

36 .
( Open file)
.rul ,
ok.
.
options Run,
119

.
continue, .
ok,
, .

.rul
( , exsys new) .

exsys, .

120

5.


EXSYS.
:
1) ;
2) ;
3) ;
4) .


, , ,
, ,
.

()


, (),
.
31.01.05 29.04.05,
63 13 .
40 . ,
1*13*40=520 /.

40 / , 6400 .
:
t

* N * K

(1)

121

- /,

N - ,
K

- , 0.75

= 520 * 40 * 0.75 = 15600 .



:

* 36%
100 %

(2)

= 15600 * 36,3% / 100% = 5662,8 .


.
.
25% .

( ) * 25%
100 %

(3)


(15600 + 5662,8) * 25% / 100% = 5315,7 .



. :
) ;
) ;
) ;
) ;
122

) - , , ,
;
)

.
() :
* *

(4)

, 0,3 /;
- 1 / 1.05.05, 0.32 .;
- , ;
= 0,3 * 0,32 * 520 = 49,92 .
()

10%

30000 , 3
. ,
, .:

C *

N
10%
*
N * 365 100 % ,

(5)

:
C
,


123

124

63
10
30000 *
*
3 365 100 =172,60 .
( )
10%
, .. .
172,60

() :
50 .
6000 .

= /50 = 6000/50 =120 .
()
,
3
. , 3
.
:
N
*
N * 365
=

30000

(6)

63
1726 ,02
3 365
.

()
.
125

, ,

WindowsXP,

EXSYS Professional 5.0.8 w.


8.
8 -

EXSYS Professional

, .
13200

5.0.8 w
WindowsXP,

, .

EXSYS LTD.,

759


3500

EXSYS
OOO

201

V - Tree
960

(): , , ,

-, 3000 .

:
= + + + + + + ,

(7)

:
- ,
- ,
- ,
- ,
- ,
- ,
126

-
= 49,92 + 172,6 + 172,6 + 120 + 1726,02 + 960 + 3000 = 6201,14 .
9.
9 -



9






:

, .
49,92
172,60
172,60
120
1726,02
960
3000
6201,14

:
C

(8)

15600 + 5662,8 + 5315,7 +6201,14 = 32779,64 .

( 10)
10 -





(.)
15600
5662,8
5315,7
6201,14
32779,64

127

6.

-

6.1

,
, ,

..

, .. .
,
,

),
.
- ,

, .
6.2
- ( ) :
) ,
, , , ,
;
) , ,
, () ;

128

) , ,
,
() ;
)

.

, :
1) ;
2) , ;
3) ;
4) ,
.

,
:
1) , , ,
;
2) , ,

,
.


.

.
6.3

129

,
.

11.
11 -

401300
401350
401370


(), ,

,

( )

,
*

: , , ,
, .

403000
,

,

,
(
)

403200

,
,

968575

,
,
,

,
, , 12.

130

12 -
,

31,5

63

125

250

500

1000

2000

4000 8000

86

71

61

54

49

45

42

40

38

50

(),
, ,
13.
13 - ,

5 - 2

25 /

2 - 400

2,5 /

5 - 2

250

2 - 400

25
500


50
.

14.

131

14

35 /

( )

3:1

20%

)

(
)

2 10

4 L

, L-

,
,
(), .

0,05 ( )
1 3/ (100 /).


.

. ,

0,4 0,6 ,
.

.
,
.
132

6.4

-
, .

. ,
,
-.

: , , .

-
.

() 6 2,
-
(, ) 4,5 2.
(

.),

4
4,5 2 (
).
,
,

133

0,70,8; 0,5 0,6;


0,30,5.

-
.
, ,
()
.

, , ,
.
6.5 ,
,
,
, ,

.
,
(, , ,
, .)
,
1 1
-

134

,
,
( 15).
15 -

0

,
19
20
21

, /
10
10
10

62
58
55

, /
<0,1
<0,1
<0,1


.

, ,
- .

,


.

,
(, , , ,

.),

.
,

135

,

- .
6.6 ,



- .
-
, ,
,
.


( 3, "")
- .

, ,

.
( , .
.), ,
.
6.7 ,
136


, .

.
- ,
,

,
).

300 500 .
.
300 .
,
(, .),
, 200 /2.

(, , .)

,
40 / 2
200 /2.

20.
-
40, 15.
50
90
137

200 /2,
40 .

40 .

,
3:1 5:1,
10:1.


().

.
,
.

- ().

(),

.

.


.

,
,
.
138



, .
()
1,4.
5%.



.
6.8 ,

,
, ,
- , 16.
16 - ,

5 - 2

25 /

2 - 400

2,5 /

5 - 2

250

2 - 400

25

15 /

139

6.9 ,

, 17.
17 - ,

35 /

+20%

( )

3:1

()
2*10, L - ,
()

6.10


(
), 2,0
,
1,2.


.
,

140

1,5 2,0 .

600 700 , 500 .


,
.
,

0,5
0,7.

()

,
.
() ,
.

()

-,

,
,
,
.
, ()
, ,
,
.
6.11

141


680 800 ;
725 .
,
,
: 800, 1000, 1200 1400 , 800 1000
, 725 .
600
, 500 , 450
650 .
:
1) 400 ;
2) ;
3) 400 550
15 , 5 .;
4) 300 20 , 380
400 ;
5) 30 ;
6) 260 400 ;
7) 250
50 70 ;
8) 230 30
350 500 .

, 300 , 400 ,
150
20.
10 .

142


100 300 , ,
,
.
6.12

.

:
1) :
520 760
0 15
(1215
);
2) 750 (
) 550 ;
3) ,

. ;
4) ;
5) 1200
.
, ,
.
,
,
.

143

,
, 5 ,
10 .
,
.

, : ,
.
:
1)
460520
550 600 ;
2)
0 10 , ;
3) 600
;
4) ;
5) ;
6) 400 .
.
.
.
6.13

50%

( ),

.
144


, ,
( 3 )

.
.

, ,

.
6.14


.

, -
.


.

,
.

145

6.15

,
.

12 , 6
3,10 .

:
h H - (h h )

(9)

:
h -
,
H - ,
h - ,
hc -
h 3,10 (0,8 0,2) 2,1

.
:
L h *

(10)

146

:
,

1,4
L 2,1 * 1,4 2,94 3

13 .
, :
0,5, 0,3, 0,1.

A*B
h * (A B)

(11)

:
,
.

147

12 * 6
1,9.
2,1 * (12 6)


i .
300
500 .

E *k *s* Z
N * *

(12)

:
,
, 400 .,

, 1,4,

s ,
z ,

1,1,
N ,

, 0,68,
, 1.

400 *1,4 * 72 * 1,1


5017,19
13 * 0,68


80 , 5220.

:
148

-
* 100%,

5017,19 5220
*100% 4%
5017,19
,

(13)

E*

400 * 5017,19
384,45 .
5220

(14)

149


,
,

4-

-
, . ,
.

()

().


, ,
.

, ,
.
,
.

.
, ,
EXSYS,
.
,


(), .
150


[23].
32779,64 .

-
.
.
,
,
. , ,
.
,
.

151

exsys
Subject: -
Author: ..
Starting text:

. ( " "
""):
Ending text:
:
Uses all non-redundant rules in data derivations.
Probability System: 0 (false) or 1 (true)
DISPLAY THRESHOLD: 1
QUALIFIERS:
1) ()?
2) ,
(), ?
3) ?
4)

() ?

5)
() 4..8 ?
6)

7) ?
8)
20...35 ?
152

9) ?
10)

?
11)

12)

?
13)

?
14)

?
15)

, ?
16)

?
17)

18)

20..35 ?
19)

, 11677-

65?
20)

, 11677-75

-85?
21)

22)

23)

24)

25)

( -95 ., - 70
.)?
26)

153

27)

?
28)

29)

() ?

30)

?
31)

32)

- ?

33)

34)

35)

?
36)

5 ?
37)

?
38)

39)

40)

41)

, )?
42)

() 100

?
43)

44)

300 500

?
45)

() 100 ?

46)

700 ?

154

47)

?
48)

, ?
49)

( )

, ?
50)

( ) ,
?
51)

) CH4/H2 : >0.1, <1.0?


52)

) C2H6/H4 : <1.0?
53)

) C2H4/2H6 : <1.0?
54)

) C2H2/2H4 : < 0,5?


55)

) CH4/H2 : >= 1.0?


CHOICES:
1)
.
2) .
3) .
4) () .
5) .
6)

155

7)

, ,
.

8)

,
() .

9)


, , .

10)

, .

11)

.
12)

13)

, .
14)



.
15)

16)

1,05U.
17)

25%-

1,1U.
18)

1,1U.
19)

( , ,
- .)
20)

, . (

,

156

.
.
.
21)

. ( :
, , ,
.)
22)

( ). . (
- ,
).
23)

. ( -

,
).
24)

. ( ).

25)

).
26)

27)

.
28)

.
29)

30)

31)

32)

. (
, ).
33)

, .

157

34)

).
35)

36)

).
37)

, .

38)

, .

39)

50% ( 11677-85). (

).
40)

. (
).
41)

. (

).
42)

. (

).
43)

44)

.
45)

, .

46)

47)

48)

: .

49)

: .

50)

.
158

51)

: .

52)

: .

53)

: .

54)

: 150 .

55)

: 150 - 200 .

56)

: 200-300 .

57)

: .

58)

: .

59)

: , ,

.
60)

159


1) .., .., .., ..

.- , 1996, N 1, .51.
2) 34.46.302-89
,
. - ., , 1989.
3) 34.43.206-94 ,

. - .,
,1995.
4)
1281.00.00.000 ., , 1999.
5) .., .., ..
. , 2000,
6, .46-52.
6) . 110
1150 , 80 . . 34-38-05891. .: , 1993.
7) . 34.45-51.300.97. 6-
. .: , 1998.
8) . , . .-.
.. - .: , 1989. 672. .
9) . 110
1150 , 80 . . 34-38-05891. .: , 1993.
10)

..

. - .: "", 2000. - 76 .
160

11) .. : . .: , 1991. 240 .


12) .. //
. 2002.- 7.- .37-43.
13)

. - .: , 1998.

14)

.., ..

//WWW. Transfor.ru.
15) .., ..
// . 2002.- 7.
-.47-50.
16) .. -
//.2003.
- 8. . 25- 28.
17) . . :
// . 2002.- 12. . 27-32.
18).. / . .- .:
, 1990. - 432 .
19).., .. . .: , 2000.- 384 .
20). . .: . . - .: ,
2001. - 624 .
21).. , .. , .. , .. .
. - .: , 1996. - 320
.
22) . / . ..- .: ,
1989. - 388 .
23) .


./ .. , .. - : 2003
161

14.
24) ., . ; ., ; .,
. .
. : ,1999. -30 .
25)

.,

.,

..

: . . . .- .:
, 2001.600.
26)

2.2.2/2.4.1340-03"

,
-

"

(.

14 2003 . N 14).
27)

2. 104 68 . . - .:

, 1971.
28)

2. 106 96. . . .:

, 1997.

162

Оценить