Professional Documents
Culture Documents
Qeyri-Səlis Intelektual
Qeyri-Səlis Intelektual
MƏNTİQİN TƏTBİQLƏRİ
Ri Ai R , i 1, n (5.4)
Teorem 12. Əgər (5.4) sisteminin həlli varsa, onda (5.7) düsturu ilə R münasibəti (5.4)-in
ən geniş həllidir.
Teorem 13. (5.4) həllinin varlığı üçün zəruri və kafi şərti
iy x (( Ai ( x ) Bi ( y )) j i ( B j ( y ) Bi ( y ) A j ( x ) B j ( y ))) (5.8)
ödənməsidir.
ƏGƏR X Ai -dirsə, ONDA Y B j (rij ) ,
R r ; Y R X
ij
tipli qeyri-səlis relyasiya modelinin həndəsi təsviri Şəkil 5.2-də verilmişdir [8].
Qeyri-səlis modellərin qurulmasında TSK modelləri geniş istifadə olunur.
n girişli və bir çıxışlı sistemin qeyri-səlis modelləşdirilməsinə baxaq. Bu sistemin
TSK -modeli aşağıdakı kimi təsvir oluna bilər
R i : ƏGƏR x1 A1i -dir VƏ x2 A2i -dir,..., VƏ xn Ani -dir
(5.9)
ONDA y i f i ( x1 , x2 ,..., xn ) .
Burada R i , i 1, m i -ci implikasiya, m qeyri-səlis modeldəki qaydalar sayı,
x1 , x2 ,..., xn modelin giriş dəyişənləri, Aij , i 1, n giriş dəyişənlərin qeyri-səlis alt çoxluq-
ları, y i sistemin i -ci çıxışı olub girişlərin qeyri-xətti (yaxud xətti) funksiyası kimi təyin
olunur.
Əgər giriş dəyişənlərinin ( x10 , x20 ,..., xn0 ) qiymətləri məlumdursa, onda qeyri-səlis mode-
lin çıxışı
5.1. Qeyri-Səlis Modelləşdirmə 163
m m
y wi y i wi , (5.10)
i 1 i 1
R.Langari və L.Wang TSK -modelin identifikasiyası üçün yeni yanaşma təklif etmişlər.
Burada qeyri-səlis diskretləşdirmə vasitələrindən istifadə etməklə əvvəlcə modellərin şərt
hissəsi təyin edilir. Qeyri-səlis çoxluqların sayı qaydaların sayının və modelin hökm
(konsekvent) hissəsindəki xətti tənliklərin sayını müəyyən edir. Bu xətti tənliklərin para-
metrləri ortoqonol estimatorlardan istifadə etməklə qiymətləndirilir. Belə modellərin
qurulmasının müxtəlif üsullarının müqayisəsi cədvəl 5.1-də verilmişdir
Cədvəl 5.1
Modelin adı Girişlərin Qaydaların Orta
sayı sayı kvadratik
xəta
Tonq modeli 2 19 0,469
(Tonq,1979)
Pedruks modeli 2 81 0,320
(Pedruks, 1984)
Hu modeli 2 25 0,328
(Hu və Lu, 1987)
Boks modeli 6 - 0,202
(Boks və Cenkins, 1976)
Suqeno modeli 3 6 0,190
(Suqeno, Usukava, 1993)
Vanq modeli 2 5 0,158
(Vanq və Lanqari, 1994)
Suqeno modeli 6 2 0,068
(Suqeno və Tanaka, 1991)
Lanqari və Vanq modeli 6 2 0,066
(Lanqari və Vanq, 1994)
TSK -modellərinin bir sıra üstünlüklərinə (qaydalar sayının az olmasına, identifikasiya
üçün verilənlərin həcminin çox olmamasına) baxmayaraq, linqvistik və relyasiya modelləri
ilə müqayisədə TSK -modelləri pis semantikaya, evristikanın nəzərə alınması çətinliklərinə
malikdir. TSK və linqvistik (relyasiya da daxil olmaqla) modellərin xüsusiyyətlərinin
müqayisəli qiymətləndirilməsi [8] verilmişdir (cədvəl 5.2).
Cədvəl 5.2
Xüsusiyyət TSK-modeli Linqvistik model
1. Təsvir olunma Effektivdir Qeyri effektivdir
2. Ümumiləşdirmə Aşağıdır Yüksəkdir
3. Qaydaların sayı Azdır Çoxdur
4. Semantik qiymət Məhduddur Yaxşıdır
5. Evristikanın əlavə edilməsi Çətindir Asandır
6. İnterpolyasiya İdarəolunmayandır İdarəolunandır
7. İdentifikasiya üçün verilənlər Azdır Çoxdur
5.1. Qeyri-Səlis Modelləşdirmə 165
*
(бу мисалда: уйьун олараг ферментердяки тязйиги тянзимляйян клапанын вязиййяти вя
ферментердяки тязйигин гиймяти)
166 5 QEYRİ-SƏLİS ÇOXLUQLARIN VƏ QEYRİ-SƏLİS MƏNTİQİN TƏTBİQLƏRİ
Şəkil 5.4 Qeyri-səlis modelin qiymətləndirilməsi (bütöv xətt real prosesin, qırıq
xətt isə modelin çıxışıdır)
İxtiyari qeyri-səlis A girişinə uyğun çıxış olan B çıxış aşağıdakı kimi hesablanır:
B A R .
Burada kompozisiya hasilinin (maksimin) işarəsidir. Qeyri-səlis B çoxluğunun mən-
subiyyət funksiyası belə hesablanır:
B ( y j ) max min A ( xi ), R ( xi , y j )
i
Məlumdur ki, ümumi halda Al (l 1, s ) üçün Al R Bl
(5.13) qaydalar çoxluğu şəklində verilmiş qeyri-səlis bilik modeli onda adekvat adlan-
dırılır ki, aşağıdakı şərti ödəmiş olsun:
Al R Bl , Al (l 1, s )
ƏGƏR-ONDA qaydalar şəkilində verilmiş qeyri-səlis modellər üçün aşağıdakı
adekvatlıq şərtləri alınmışdır [38].
Teorem 14. Əgər (5.13) qaydalarında qeyri-səlis Ak çoxluqları normaldırsa və onların
daşıyıcıları cüt-cüt kəsişmirsə, onda istənilən r , k 1, s ( s n) üçün
1) Ak R Bk ,
2) Ak Ar R Bk Br ,
3) A ( Ak Ar ), A R ( Bk Br ) .
İsbatı. İsbat zamanı ixtiyarı həqiqi ədədlər üçün aşkar olan
min(a, max b j ) max min(a, b j ) (5.15)
j j
bərabərliyindən istifadə edəcəyik.
Kompozisiya hasili qaydasına əsasən qeyri-səlis Ak R çoxluğunun mənsubiyyət
funksiyası belə hesablanır:
Ak R ( y j ) max min A ( xi ), R ( xi , y j )
i
R ( xi , y j ) -in (5.14) düsturundakı qiymətini yuxarıdakı ifadədə nəzərə alsaq
Ak R ( y j ) max min Ak ( xi ), max min( Al ( xi ), Bl ( y j ))
i l
olar.
(5.15) bərabərliyindən istifadə edərək sağ tərəfi aşağıdakı kimi yaza bilərik:
Ak R ( y j ) max min Ak ( xi ), A l ( xi ), Bl ( y j )
i l
168 5 QEYRİ-SƏLİS ÇOXLUQLARIN VƏ QEYRİ-SƏLİS MƏNTİQİN TƏTBİQLƏRİ
Ak R ( y j ) max min Ak ( xi ), Bk ( y j ) min(max A ( xi ), Bk ( y j ))
i i
yaza bilərik.
Ak normal çoxluq olduğundan max( Ak ( xi )) 1 olur. Buna görə də Ak R ( y j ) Bk ( y j )
i
alarıq.
İkinci hökmü isbat edərkən teoremin birinci hökmündən və şəbəkə nəzəriyyəsinin
aşağıdakı məlum bərabərliklərindən istifadə olunur
max(min(a, c), min(b, c )) min(max(a, b, c )) ,
Teoremin ikinci hökmü isbat olundu. Teoremin üçüncü hökmü ikincidən çıxır:
R ( xi , y j )) max( Bk ( y j ), Br ( y j ) .
Çoxölçülü hal üçün məsələni ümumiləşdirək. Linqvistik dəyişənli n girişli və bir çıxışlı
sistemə baxaq. Hər bir xi girişi T ( xi ) termlər çoxluğu ilə xarakterizə olunan linqvistik
dəyişənlə təsvir olunur və hər bir term uyğun universal U i çoxluğunda qeyri-səlis
altçoxluqdur. Analoji olaraq çıxış R ( y ) termlər-çoxluğu ilə xarakterizə olunur ki, onun hər
bir termi V universal çoxluğunun qeyri-səlis altçoxluqlarıdır.
Sistemin giriş və çıxışı arasındakı asılılıq aşağıdakı qeyri-səlis linqvistik qaydalar
şəklində verilir
L1 ЯЭЯР x
1 T11 & x2 T12 & ...& xn T1n ,ОНДА ( y P1 ) , (5.16)
Əks halda:
həmçinin
5.2. Qeyri-Səlis Modellərin Adekvatlığı 169
L2 ЯЭЯР x T
1
1
2
& x2 T22 & ...& xn T2n ,ОНДА ( y P2 ) ,
Əks halda:
.
.
.
Ls ЯЭЯР x
1
Ts1 & x2 Ts2 &...& xn Tsn , ОНДА ( y Ps )
j
Burada Ti ( j 1, n) və Pi xi və y dəyişənlərinin i -ci linqvistik qaydada istifadə
olunan term-çoxluqdakı termlərdir. (5.16) qaydaları ilə müəyyənləşən ( n 1 )-ölçülü
R ( x1 , x2 ,...xn , y ) münasibət matrisinin elementləri aşağıdakı kimi təyin olunur:
burada
Ti
j u və qaydalarda istifadə olunan termlərin mənsubiyyət funksiya-
j
kj
l
larıdır. Alınan münasibəti istifadə edərək mənsubiyyət funksiyaları ilə xarakterizə olunan
ixtiyari T T01 , T02 ,...., T0n giriş üçün çıxışı qiymətləndirək:
P l max min T 1 u1R1 ,..., T n u Rnn .rR1 R2 ....Rn ,
0 k
l (5.19)
burada k k1 , k2 ,..., kn .
Bu ifadədən istifadə edərək çıxış parametrini təyin etmək çətindir, belə ki, ( n 1 )-ölçülü
n
R x1 x2 ,..., xn , y münasibət matrisinin elementləri sayı N m ki -ə bərabərdir.
i 1
Burada ki baza dəyişəninin diskret qiymətlərin sayı ( i -ci linqivistik parametrin), m -ci
çıxış baza dəyişəninin diskret qiymətləri sayıdır. Belə çox sayda ədədin kompüter
yaddaşında saxlanması və onlar üzərində maksimin əməliyyatların aparılması hesablamanı
əhəmiyyətli dərəcədə çətinləşdirir.
Aydındır ki, (5.18) düsturunu aşağıdakı ekvivalent düstur ilə əvəz etmək olar:
s n
P0 Tl jT0j
i 1
P , i
(5.20)
j 1
mənsubiyyət funksiyaları vasitəsilə bu ifadəni belə yazmaq olar:
170 5 QEYRİ-SƏLİS ÇOXLUQLARIN VƏ QEYRİ-SƏLİS MƏNTİQİN TƏTBİQLƏRİ
P0 i max min min max min T1 u1k1 , T 1 u1k1 ,...
i R1 0 i
(5.21)
...max min n uknn , n uknn Pi i
kn T Ti
0
Hökm 1. İxtiyari T01 , T02 ,...., T0n giriş üçün (5.16) linqvistik qaydalarına əsasən çıxışın
(5.19) və (5.21) qiymətləndirmələri ekvivalentdir.
Hökmü isbat etmək üçün (5.15) bərabərliyindən istifadə edəcəyik.
i
0
P0 i max min min max min T1 u1k1 , T1 u1k1 ,...
R1 i
...max min T n uknn , T n uknn Pi i
kn 0 i
(5.15) bərabərliyini n dəfə tətbiq etsək:
R1 Rn i
0 0
i
i
Po i max ...max max min T1 u1R1 ,...., T n uRn n , T1 u1R1 ,..., T n uRnn , Pi i
alarıq.
(5.16) düsturunu da bu şəklə gətirmək mümkündür. (5.14) ifadəsini (5.16)-da nəzərə
alsaq,
Po i max ...max min T1 u1R1 ,..., T n uRnn , ...
R1 Rn 0 0
i i
i
..., max min T 1 u1Rn ,..., T n uRn n , Pi i
alınar.
İndi isə i parametrinə görə (5.21) bərabərliyini tətbiq etsək aşağıdakını alarıq:
P0 i max... max max min T 1 u1R1 ,...., T n uRnn , T1 u1R1 ,..., T n uRn n , Pi i
R1 Rn 0
0
i
i
Göründüyü kimi, hər iki düstur eyni bir ifadəyə gətirilir, yəni
P0 i P* i .
0
(5.20) ekvivalent düsturunu nəzərə aldıqda modelin adekvatlığı aşağadakı kimi ifadə
olunacaqdır:
s n
m 1, s ( ( T1 j Tmj ) Pi ) Pm (5.23)
i 1 j 1
T xj term çoxluğunun daşıyıcıları kəsişməyən hər hansı bir altçoxluğunu T x j
j 1, n ilə işarə edək, yəni
T x j T T x j | T1 , T2 T x j , supp T1 supp T2
Teorem 15. Əgər (5.13) qaydalarınında i, j Ti j çoxluqları normaldırsa və Ti j T x j
olarsa, onda (5.22) adekvatlıq şərtləri ödənir.
İsbat zamanı adekvatlığın ekvivalent (5.22) formasından istifadə edəcəyik. Hər bir
parametri təsvir edən termlər normal olduqlarından və onların daşıyıcıları kəsişmədiyindən
1, яэяр m i ,
Ti j Tmj
0, яэяр m i
olar. Ona görə də
1, яэяр m i
Ti j Tmj
j 1 0, яэяр m i
olur.
Buradan da (5.21) bərabərliyi və teoremin isbatı alınır.
Nəticə. Əgər i -ci parametr ni sayda kəsişməyən termlərlə qiymətləndirilirsə, onda
n
modelin adekvatlığını təmin edən qaydaların maksimal sayı M ni olar.
İkiölçülü R j x j , y proyeksiyasının elementləri rRi max rR R
j Rˆ
i
1 2 ...Rn
kimi təyin edilir,
İsbatı.
rRl max rR , R
j
Rj
1
l
2 ,.., Rn
R
max max min T1 u1R j , T 1 u1R j ,.., T n uRn j P l
i i i
i
R
i
max max min j uRj , P l
Ti j i
i
T 1 u1Ri , T 2 uR2 j ,...,
i
Ti
j 1 u , u ,..., u
j 1
R j 1 Ti
j 1
j 1
R j 1 Tin
n
Rn
(5.21) bərabərliyindən istifadə edərək sonuncu ifadəni aşağıdakı şəkildə yazmaq olar:
j i T
i
j i R
rRl max min j uRj , P l max T 1 u1R1 , T 2 uR22 ,...
i i
. ..,
Ti
j 1 u , u ,..., u .
j 1
R j 1 Ti
j 1
j 1
R j 1 Tin
n
Rn
Üçüncü şərt onu göstərir ki, istənilən qaydada elə bir term vardır ki, o daha heç bir
qaydada bu parametri yazmaq üçün istifadə olunmur.
Teoremin isbatı. İsbatda (5.21) bərabərliyini və binar proyeksiya üçün (5.24) düsturundan
istifadə edəcəyik.
min max min( j (uRj ), r l )
j Rj Tm j R j
min max min( j (uRj ), max min( j (u Rj ), (i )
j Rj Tm j i Ti j Pi
min max max min( j (uRj ), ( j (uRj ), (i )
j Rj i Tm j Ti j Pi
min max max min(min( j (uRj ), ( j (uRj ), (i )
j Rj i Tm j Ti j Pi
min max min(max min( j (uRj ), j (uRj ), (i ) .
j i Rj Tm j Ti j Pi
Lakin, max min( T j (uRj j ), T j (uRj j )) ifadəsi supp (Tmj ) supp (Ti j ) olduqda sıfra,
Rj m i
Beləliklə min max min( T z ;(ukj j ), rRl ) Pm (l ) olur.
j Rj m j
Bununla da teorem isbat olunur.
Nəticə. Əgər i-ci parametr ni sayda kəsişməyən termlərlə qiymətləndirilirsə, onda çıxışı
proyeksiyalar əsasında (5.24) düsturu ilə hesablanan modelin adekvatlığını təmin edən
n
qaydaların maksimal sayı M (ni 1) kimi tapılır.
i 1
Adekvatlıq teoremlərinin məntiqi interpretasiyasına baxaq.
Adekvatlıq anlayışının daxil edilməsi qeyri-səlis məntiqi sistem üçün deduksiya
qanununun ödənilməsi ilə eynigüclüdür. Birölçülü hal üçün bu
AB,
174 5 QEYRİ-SƏLİS ÇOXLUQLARIN VƏ QEYRİ-SƏLİS MƏNTİQİN TƏTBİQLƏRİ
A,
_________
B,
çoxölçülü hal üçün isə
A1 , A2 ,..., An B
A1
A2
.
. (5.26)
.
An
_________
B
şəklində yazıla bilər.
Nəhayət, proyeksiyanın istifadə olunması (5.26) məntiqi çıxarış sisteminin aşağıdakı
sistemlə əvəz etməyin mümkünlüyünü göstərir.
A1 B1
A2 B2
.
.
.
An Bn
A1
(5.27)
A2
.
.
.
An
__________________
B B1 B2 ... Bn
Tərs məsələ də maraq kəsb edir: yəni, (5.27) məntiqi çıxarış sistemini (5.26) məntiqi
çıxarış sistemi ilə əvəz etmək olar. Bu isə faktiki olaraq induktiv çıxarış sisteminin
yaradılmasına gətirir. Adekvatlıq teoreminin praktiki istifadə olunmasına dair bəzi qeydlər
edək.
Fərz edək ki, hər hansı bir parametr dörd termlə qiymətləndirilir. Bunların mənsubiyyət
funksiyaları şəkil 5.5 təsvir edilmişdir.
5.3 Qeyri-Səlis İntellektual İdarəetmə 175
Son zamanlar qeyri-səlis idarəetmə sistemləri geniş obyektlər sinfinin, xüsusən də mürək-
kəb sənaye obyektlərlərinin avtomatik idarə olunmasına müvəffəqiyyətlə tədbiq olunur.
Qeyri-səlis idarəetmə (QSİ) yeni idarəetmə sistemləri sinfidir və naməlum qeyri-xətti,
qeyri-müəyyən mürəkkəb dinamik obyektlərin idarə olunmasında özünü yaxşı təsdiq-
ləmişdir.
Tərif 63. Qeyri-səlis avtomat [17,18]. Qeyri-səlis sonlu avtomat nizamlanmış altılıqla
xarakterizə olunur: A U , X , Y , s0 , , , burada U {u1 ,..., um } , X {x1 ,..., xn } ,
Y { y1 ,..., y p } uyğun olaraq girişlərin, vəziyyətlərin və çıxışların sonlu çoxluqlarıdır;
: X U X L, : X Y L uyğun olaraq keçidlərin və çıxışların funksiyalarıdır;
s0 qeyri-səlis başlanğıc vəziyyətidir ( s0 : X L) ; qeyri-səlis keçid matrislər
çoxluğunu formalaşdırır; isə qeyri-səlis çıxış matrisini formalaşdırır. Deterministik
sonlu avtomat qeyri-səlis avtomatın xüsusi halıdır ( xi , x j (n) sıfıra, ya da vahidə bərabər
olan hal).
Tərif 64. Qeyri-səlis alqoritm. Qeyri-səlis çoxluqlarla formalaşmış anlayışları özündə əks
etdirən nizamlanmış qeyri-səlis təlimatlar çoxluğuna qeyri-səlis alqoritm deyilir [18,19].
176 5 QEYRİ-SƏLİS ÇOXLUQLARIN VƏ QEYRİ-SƏLİS MƏNTİQİN TƏTBİQLƏRİ
1 Fazzifikator
Tərif 66. Fazzifikator. Fazzifikator ölçülən girişləri müəyyən universumdan olan qeyri-
səlis çoxluqlara inikas etdirir.
İdarə olunan obyektin girişləri və çıxışları, deməli sistemdəki xətalar səlis siqnallardır.
Lakin, qeyri-səlis kontroller informasiyanın emalı prosesini qeyri-səlis məntiq əsasında
həyata keçirir. Ona görə də səlis siqnalı qeyri-səlis siqnala çevirmək lazımdır. Bunun üçün
fazzifikasiya əməliyyatı istifadə olunur:
F fuzzifier (e0 ) (5.28)
burada e0 sistemdə əmələ gələn səlis xəta siqnalı, F -qeyri-səlis çoxluq, fuzzifier – fazzi-
fikasiya operatorudur.
Fazzifikasiya aparmağın aşağıdakı yolları vardır [20]:
fazzifikator səlis kəmiyyəti qeyri-səlis sinqltona çevirir. Giriş e0 siqnalı A (e) mənsu-
biyyət funksiyalı qeyri-səlis çoxluğa çevrilir. A (e) yalnız e0 nöqtəsində 1-ə bərabərdir,
qalan halda isə sıfıra bərabərdir;
əgər ölçmələr təsadüfi küylərlə müşaiyət olunursa, onda ehtimallı verilənləri fazzifikator
qeyri-səlis verilənlərə çevirir;
əgər ölçmənin nəticələri həm ehtimal, həm də mümkünlük qeyri müəyyənlikləri ilə
xarakterizə olunursa, onda fuzzifier operatoru “Hibrid ədəd” konsepsiyasını istifadə edir.
2.Verilənlər bazası
Qeyri-səlis idarəetmə sistemlərində verilənlər bazasının layihələndirilməsinə universumun
diskretləşməsi, normallaşdırılması, giriş və çıxış fəzalarının qeyri-səlis ayrılması, qeyri-
səlis çoxluqların mənsubiyyət funksiyalarının təyini daxildir.
Universumun diskretləşməsi üçün şkalalaşdırma aparılmalıdır. Kvantlaşmanın səviyyə-
sinin seçilməsi apriori biliklərlə əlaqəlidir. Fərz edək ki, qeyri-səlis kontroller aşağıdakı tip
tənzimləmə qaydalarına malikdir
Ri : ƏGƏR ei Ai -dirsə VƏ ei Bi -dirsə ONDA u Ci -dir
Sadə qeyri-səlis kontrolleri belə təsvir etmək olar:
K3 [U (k )] F [ K1e(k ), K2 e(k )] ,
3.Biliklər bazası
Biliklər bazası qeyri-səlis şərti təklif şəklində ifadə olunmuş qeyri-səlis idarəetmə qaydalar
toplusundan ibarət olub qeyri-səlis kontrollerin qaydalar məcmusunu formallaşdırır.
Biliklər bazasını layihələndirmək üçün vəziyyət (giriş) dəyişənlərini, idarəedici (çıxış)
dəyişənləri, qeyri-səlis tənzimləmə qaydalarının tiplərini və s. təyin etmək lazımdır. Qeyri-
səlis qaydaları əldə etməyin 4 yoluna baxaq [20,21].
a) Qeyri-səlis idarəetmə qaydaları qeyri-səlis şərti hökm formasında olub şərt hissəsinə
daxil olan vəziyyət dəyişənləri ilə hökm hissəsinə daxil olan idarəedici dəyişənlər arasında
münasibət yaradır.
Qeyri-səlis idarəetmə qaydalarının formalaşdırılmasına iki evristik yanaşma əsasında nail
olmaq olar. Əksər halda insan ekspertizasının formalaşdırılması istifadə olunur. Tipik misal
kimi texnoloji prosesin idarəedilməsi təlimatını götürmək olar. Digər yanaşma isə təcrübəli
ekspert sorğuları keçirməyə əsaslanır.
b) Operatorun idarəetmə fəaliyyəti.
Baxılan halda qeyri-səlis qaydalar insanın idarəetmə fəaliyyətini müşahidə etmək və
giriş-çıxış əlaqəsini ortaya çıxarmaqla yaradılır.
c) Prosesin qeyri-səlis modeli.
Linqvistik yanaşmada idarə olunan prosesin qeyri-səlis modelinə onun dinamik xarak-
teristikasının linqivistik yazılışı kimi baxıla bilər. Qeyri-səlis modelə əsaslanaraq dinamik
sistemin optimal fəaliyyətinin qeyri-səlis idarəedici qaydalarını generasiya edə bilərik.
d) Öyrənmə.
Özü-təşkil olunan kontrollerlərin [20,22] köməyilə qeyri-səlis kontrollerin (QSK)
biliklər bazasını (BB) formalaşdırmaq olar. Belə kontrollerlər iyerarik struktura malik olub
iki qaydalar bazasına malikdir. Birinci baza QSK-nın ümumi qaydalar bazasıdır. İkinci baza
isə meta-qaydalardan ibarətdir ki, insanın öyrənməsinə uyğun olaraq, sistemin arzuolunan
fəaliyyətinə əsaslanaraq, ümumi qaydalar bazasının yaradılmasına və dəyişdirilməsinə
imkan verir.
Müasir Soft Kompütinq üsulları, xüsusilə də neuro-fuzzy, qeyri-səlis genetik yanaşma
biliklərin əldə edilməsinə və QSK BB-nın optimallaşdırılmasına imkan verir.
180 5 QEYRİ-SƏLİS ÇOXLUQLARIN VƏ QEYRİ-SƏLİS MƏNTİQİN TƏTBİQLƏRİ
QSK-i konstruksiya edərkən iki tip qeyri-səlis tənzimləmə qaydalarından istifadə olunur.
Əksər QSK-də istifadə olunan qeyri-səlis qaydalar çox girişli – bir çıxışlı sistemlər üçün
aşağıdakı kimi təsvir olunur:
ƏGƏR x1 A11 -dirsə VƏ x2 A12 -dirsə,...,VƏ xn A1n -dirsə
ONDA y B1 -dir
HƏMÇİNİN
ƏGƏR x1 A21 -dirsə VƏ x2 A22 -dirsə,...,VƏ xn A2n -dirsə
ONDA y B2 -dir (5.29)
...
HƏMÇİNİN
ƏGƏR x1 Am1 -dirsə VƏ x2 Am 2 -dirsə,...,VƏ xn Amn -dirsə
ONDA y Bm -dir
Tərif 67. Üçbucaq norma. – Üçbucaq norma ( T -norma) [0,1] [0,1] -dən [0,1]-ə təsir
edən ikiyerli funksiyadır, yəni : [0,1] [0,1] [0,1] .Üçbucaq norma kəsişmə, cəbri hasil,
məhdud hasil və ciddi (drastic) hasili (bax 2.2) əhatə edir. Ən böyük üçbucaq norma
kəsişmə, ən kiçik üçbucaq norma isə ciddi (drastic) hasildir. Üçbucaq norma ilə əlaqəli
əməliyyatlar bütün x, y [0,1] üçün təyin olunur:
kəsişmə x y min( x, y ) ,
cəbri hasil x y xy ,
məhdud hasil x y max{0, x,1 y} ,
x, y 1,
ciddi (drastic) hasil x y y , x 1,
0, x, y 1.
Tərif 68. Üçbucaq konorma. – Üçbucaq konorma [0,1] [0,1] -dən [0,1]-ə təsir edən iki
yerli funksiyadır, yəni : [0,1] [0,1] [0,1] , üçbucaq konorma birləşmə, cəbri cəm,
məhdud cəm, ciddi (drastic) cəm və dizyunktiv cəmi (bax 2.2) əhatə edir. Üçbucaq
konorma ilə əlaqəli əməliyyatlar bütün x, y [0,1] üçün təyin olunur:
birləşmə x y max( x, y ) ,
cəbri cəm x y x y xy ,
məhdud cəm x y min(1, x y ) ,
x, y 0 ,
ciddi (drastic) cəm x y y, x 0 ,
1, x, y 0 ,
dizyunktiv cəm x( y max{min( x,1 y ), min(1 x, y )} .
Üçbucaq normalar təxmini mühakimələrdə konyuksiyaların, konormalar isə dizyuksiyaların
təyin olunması üçün istifadə olunur.
Tərif 69. Qeyri-səlis konyuksiya. Qeyri-səlis konyuksiya bütün u U və v V üçün
aşağıdakı kimi təyin olunur.
A B A B A (u ) * B (v ) /(u, v )
U V
A B A B A (u ) B (v ) /(u, v )
U V
182 5 QEYRİ-SƏLİS ÇOXLUQLARIN VƏ QEYRİ-SƏLİS MƏNTİQİN TƏTBİQLƏRİ
Tip 3. Takaqi və Suqenonun təklif edən [29] qeyri-səlis ƏGƏR – ONDA qaydaları is-
tifadə olunur. Hər bir qaydanın çıxışı sabit toplanan təqiqliyi ilə çıxış dəyişənlərinin xətti
yaxud qeyrixətti kombinasiyası kimi, yekun çıxış isə hər bir qaydanın çıxışlarının “əmsal-
laşdırılmış ədədi ortası” kimi tapılır.
Bu halda, bilik bazası 1-ci və 2-ci tiplər üçün
ƏGƏR x A1 -dirsə VƏ y B1 -dirsə, ONDA z C1 -dir
(5.32)
ƏGƏR x A2 -dirsə VƏ y B2 -dirsə, ONDA z C2 -dir,
3-cü tipi üçün isə
ƏGƏR x A1 -dirsə VƏ y B1 -dirsə, ONDA z1 ax by c
(5.33)
ƏGƏR x A2 -dirsə VƏ y B2 -dirsə, ONDA z2 px qy r
şəklində olur.
Yuxarıda qeyd olunmuş hər üç tip çıxarış mexanizmi üçün qeyri-səlis məntiqi çıxarışın
nəticələri şəkil 5.7-də təsvir edilmişdir.
5.Defazzifikasiya
Tərif 73. Defazzifikasiya. Defazzifikasiya mümkün qeyri-səlis idarəedici təsirlər fəzasının
səlis idarəedici təsirlər fəzasına inkasıdır.
Hal hazırda daha çox istifadə olunan defazzifikasiya strategiyaları bunlardır: maksi-
mumluq meyarı, maksimumun ortası (MO) və oblastın (sahənin) mərkəzi (OM).
Maksimumluq meyarı elə nöqtə təyin edir ki, idarəedici təsirin mümkünlüyünün paylan-
ması maksimal qiymətə çatır.
MO-strategiyası elə idarəedici təsir generasiya edir ki, bütün lokal idarəedici təsirlərin
orta qiymətini əks etdirir. Lokal idarəedici təsirlər isə mənsubiyyət funksiyaların maksi-
mumluğu əsasında hesablanır. Diskret halda idarəedici təsir belə ifadə oluna bilər.
l Wj
z0 , (5.34)
j 1 l
burada W j mənsubiyyət funksiyası – z (W j ) maksimal qiymətə çatan daşıyıcının qiyməti;
l belə daşıyıcıların sayıdır.
Daha sox istifadə olunan OM strategiyası mümkün idarəedici təsirin paylanmasının
ağırlıq mərkəzini generasiya edir.
Diskret universum halında bu üsul vasitəsilə
n
z (W j )W j
j 1 (5.35)
z0 n
z (W j )
j 1
i 1, m .
Burada K p , Ki, K d axtarılan parametrlərin normallaşdırılmış qiymətləridir.
186 5 QEYRİ-SƏLİS ÇOXLUQLARIN VƏ QEYRİ-SƏLİS MƏNTİQİN TƏTBİQLƏRİ
i 1, m .
Burada Ai , Bi , Ci və Di qeyri-səlis çoxluqlar, Ti / Td və i sabitlərdir.
Qeyri-səlis (5.37)-(5.39) qaydaları ekspert biliklərinə əsasən əldə oluna bilər.
-ya qeyri-səlis sinqlton kimi baxmaq olar. Burada B – müsbət böyük, SIF – sıfır işarə
edilib.
b1 nöqtəsinin ətrafında uyğun olaraq aşağıdakı qaydanı almaq olar:
Beləliklə, sazlamanın qeyri-səlis qaydalar məcmusu alınır ki, onu da 5.3-5.5 cədvəlləri
şəklində yazmaq olar [31].
i -ci qaydanın i aktivləşdirilmə gücü aşağıdakı kimi təyin olunur:
m
K p i K pi . (5.41)
i 1
K p , Kd , -nın həqiqi səlis normallaşdırılmış qiymətləri aşağıdakı kimi təyin olunur:
K i K p2 ( K d ) .
4, 228
G(S ) . (5.44)
2
(S 0, 5)( S 1, 64S 8, 456)
Kompüter simulyasiyası belə aparılmışdır. Əvvəlcə e xətası və onun birinci tərtib
törəməsinin cari qiymətləri təyin olunur. Sonra qeyri-səlis çıxarış prosedurunun tətbiqi ilə
K p , Kd , qiymətləri təyin olunur (bax şəkil 5.9), sonra isə (5.43)-dən istifadə etməklə
PID -kontrollerin axtarılan parametrləri təyin olunur. Şəkil 5.12-də (5.44) obyektinin hibrid
idarəetmə sisteminin keçid xarakteristikası təsvir edilmişdir. Müqayisə üçün həmin şəkildə
qeyd edilmiş optimal parametrli PID -tənzimləyici olan sistemin keçid xarakteristikası da
verilmişdir. Hibrid sistemdə ifrat tənzimləmə 6.1 % , keçid prosesinin tənzimləmə müddəti
5.01 saniyə, inteqral kvadratik xəta 1.01-dir. Qeyd olunmuş parametrli PID kontrollerli
tənzimləmə sisteminin uyğun keyfiyyət göstəriciləri isə 17 % ; 5.45 san; 0.99 -dır.
İndi də qeyri-səlis koordinat-parametrik adaptiv idarəetmə sistemlərinin qurumasına
baxaq.
Bu paraqrafda biz fərz edəcəyik ki, koordinat əks əlaqəli qeyri-səlis tənzimləyici məlum
üsullarla konstruksiya olunub, lakin prosesin modelinin qeyri-adekvatlığı və həyəcan-
landırıcı təsirlərin dəyişməsi səbəbindən bəzən arzu olunan idarəetməni təmin etmir. Bu
halda koordinat əks əlaqəli qeyri-səlis tənzimləyicilə yanaşı həm də parametrik əks əlaqəli
qeyri-səlis tənzimləyicidən istifadə etmək məqsədəuyğundur.
Hal hazırda özü sazlanan [34], binar [35] və linqvistik özütəşkil olunan [36] idarəetmə
sistemləri haqqında çox vacib tədqiqatlar aparılır. Belə sistemlərin layihələndirilməsinin
elmi və metodiki prinsiplərinə əsaslanaraq aşağıda qeyri-səlis koordinat-parametrik idarə-
etmə sisteminin sintezi məsələsinə baxılır.
Tutaq ki, idarəetmə obyekti F həyəcanlandırıcı təsirə məruz qalmışdır. Belə ki,
F M . (5.45)
Həm bu şərti, həm də obyektin analitik modellə yazılışının mürəkkəbliyini nəzərə alaraq
idarəetmə obyekti qeyri-səlis 1-ci tərtib linqvistik modellə yazılır, və ya qəbul etdiyimiz
terminologiya ilə linqvistik qaydalar cədvəli (LQC) ilə təsvir olunur
(5.46)
X ( X ,U )
Burada X və X -uyğun olaraq obyektin çıxışı və onun dəyişmə sürətini əks etdirən
qeyri-səlis dəyişənlərdir. U -qeyri-səlis giriş dəyişəni (idarəetmə), -isə qeyri-stasionar
operator olub yuxarıda qeyd olunmuş dəyişənlər arasındakı əlaqəni əks etdirir.
Məsələn,
ƏGƏR X X i -dirsə VƏ ƏGƏR U U j -dirsə, ONDA X X k -dır,
j 1, N 2 ; k 1, N3 .
i 1, N1;
Tutaq ki, X i , U j , X k qeyri-səlis dəyişənlərinin linqvistik termləri uyğun olaraq
aşağıdakı eksponensial şəkildə verilmiş mənsubiyyət funksiyaları ilə yazılıb:
i ( x (t )) exp( g1i | x(t ) xi |), i 1, N1 ,
j (u (t )) exp( g2 j | u (t ) u j |), j 1, N 2 ,
U f (U 0 , R ) .
Burada U 0 - qeyri-səlis tənzimləyicinin koordinat idarəetmə konturunda linqvistik çıxış
dəyişənidir (onun varlığı həmişə fərz olunur), R parametrik idarəetmə konturunun çıxışı,
yəni linqvistik adaptasiya dəyişənidir:
R ( X , X , M ) .
Məsələ elə U təyin etməkdən ibarətdir ki, tənzimləmənin tələb olunan keyfiyyəti ödə-
nilsin, xüsusi halda, t olduqda E 0 olsun.
Ümumiləşdirilmiş qeyri-səlis sazlanan obyekt anlayışını daxil edək. Bu anlayış altında
koordinat idarəetməli qapalı sistem başa düşülür (şəkil 5.13).
Sistemin strukturuna daxil olan elementlər bunlardır: 1 – tapşırıq verici; 2 – müqayisə
qurğusu; 3 – qeyri-səlis koordinat idarəetmə tənzimləyicisi; 4 – idarəetmə obyekti.
Burada R və E -uyğun olaraq parametrik idarəetmənin qeyri-səlis adaptasiya və xəta
vektorlarıdır.
i 1, L, j 1, K
1, Pab 2
SAT ( Pab ) 0, Pab 3 (5.47)
1, Pab 1
Aydındır ki,
0 , əgər Pab 3 ;
0 əgər Pab 1 ;
0 əgər Pab 2 .
i 1, k , j 1, L .
1 2 3 4 5 6
U U 0 R ,
Burada linqvistik cəmləyici tərəfindən yerinə yetirilən operatorun (əməliyyatın)
simvoludur.
Qeyri-səlis adaptiv koordinat-parametrik AİS neftin ilkin emalı qurğusunda atmosfer
blokunun temperatur rejimini tənzimləmək üçün istifadə olunmuşdur. Bu texnoloji prosesin
iki xüsusiyyəti yuxarıda adını çəkdiyimiz AİS-in sintezini müəyyənləşdirmişdir.
1.Texnoloji qurğu hətta normal istismarında belə emal olunan xammalın müxtəlifliyi
mövcuddur, çünki xammal müxtəlif yataqlardan daxil olur. Müxtəlif yataqlardan gələn
neft-xammal rezervuar parklarında (çənlərdə) qarışdırılaraq qurğuya verilir. Ona görə də
emala verilən xammalın sıxlığı eyni olduqda belə onun tərkibi – keyfiyyəti dəyişkəndir. Bu
halda qurğunun operatorunun idarəetmə strategiyası xammalın tərkibi, neftin hansı
yataqdan olmasından və s. xüsusiyyətindən asılı olaraq müəyyənləşir. Məhz bu mülahizələr
obyektin linqvistik modellə təsvirini müəyyənləşdirir (cədvəl 5.9). Linqvistik modelin
qurulmasında ekspertlər iştirak etmişlər.
Məsələn, cədvəl 5.9-da obyektin “soyuq suvarma-kolonun yuxarısının temperaturu”
kanalı üzrə dinamikasının linqvistik modeli təsvir edilmişdir. Bu cədvələ əsaslanaraq təklif
edilmiş prosedur ilə qeyri-səlis tənzimləyici sintez edilmişdir, onun LQC isə cədvəl 5.10-da
təsvir edilmişdir. LQC MB – mənfi böyük, MO – mənfi orta, MK – mənfi kiçik, S – sıfır, B
– böyük, O – orta, K – kiçik termləri istifadə edilmişdir.
Cədvəl 5.9
X
MB MO MK SIF K O B
MB SIF MO MO MB
196 5 QEYRİ-SƏLİS ÇOXLUQLARIN VƏ QEYRİ-SƏLİS MƏNTİQİN TƏTBİQLƏRİ
MO K SIF MK MO
U MK O K SIF MK
SIF B O K SIF MK MO MB
K K SIF MK MO
O O K SIF MK
B B O K SIF
X
Cədvəl 5.10
E
MB MO MK SIF K O B
MB MB MB B SIF
MO MB B O SIF MK
MK B O K SIF MK MO
E
SIF B O K SIF MK MO MB
K O K SIF MK MO MB
O K SIF MO MB
B SIF MB MB MB
U0
Cədvəl 5.11
E1 E 2 E3 E 4 E5 E 6 E 7 E8 E9 E10 E11 E12 E13 E14 E15
E j \ Ei
N4 N3 N2 N1 N2 N3 N4 N5 N6 N7 N8 N9 N8 N7 N6
E1
N3 N2 N1 S N1 N2 N3 N4 N5 N6 N7 N8 N7 N6 N5
E 2
N2 N1 S S S N1 N2 N3 N4 N5 N6 N7 N6 N5 N4
E3
5.3 Qeyri-Səlis İntellektual İdarəetmə 197
N1 S S S S S N1 N2 N3 N4 N5 N6 N5 N4 N3
E 4
S S S 1 S S S N1 N2 N3 N4 N5 N4 N3 N2
E5
S S 1 2 1 S S S N1 N2 N3 N4 N3 N2 N1
E 6
S 1 2 3 2 1 S S S N1 N2 N3 N2 N1 S
E 7
1 2 3 4 3 2 1 S S S N1 N2 N1 S S
E8
2 3 4 5 4 3 2 1 S S S N1 S S S
E9
3 4 5 6 5 4 3 2 1 S S S S S 1
E10
4 5 6 7 6 5 4 3 2 1 S S S 1 2
E11
5 6 7 8 7 6 5 4 3 2 1 S 1 2 3
E12
6 7 8 9 8 7 6 5 4 3 2 1 2 3 4
E13
Ədəbiyyat
12. Perfilyeva I. Necessary and Sufficient conditions for the Identification problem, in R.A.Aliev,
R.Kenarangui (Eds.) Application of Fuzzy Systems, Tabriz, 1994.
13. Yager R.R. and Filev.D.P. Unified structure and parameter identification of fuzzy models, IEEE
Transactions on Systems, Man, and Cybernetics, 1993, vol. Shc-23. pp. 1198-1205.
14. Yen J., Wang H., Hiao J. A method for automatic generation of fuzzy model, in Langari R., Yen
J. and Painter J. (Eds.) Industrial Fuzzy Control Intelligent Systems, Houston, Texas, 1993, pp.
88-92.
15. Langari R., Berenji H. Fuzzy logic in control engineering, in White D., Sofge D. (Eds.),
Handbook of Intelligent Control: Van Nostrand Reinhold, 1992.
16. Allev R.A., Mamedova G.A. Analysis of Fuzzy models of Industrial Processes: Fuzzy sets and
Systems. V.37, №1, 1990, pp.13-21.
17. Negoita C.V., Ralescu, Applications of Fuzzy Sets to Systems Analisis: Birkhauser Verlag, Basel
and Stuttgart, 1975, 187p.
18. Neçetkie mnojestva v modeləx upravleniə i iskusstvennoqo intellekta/ Pod red. D.A. Pospelova. -
M.: Nauka, 1986. - 312s.
19. Zadeh L.A. Fuzzy algorithms.- Information and Control, vol. 12, 1968, pp. 94-102.
20. Lee S.S. Fuzzy Logic in Control Systems: Fuzzy Logic Controller, Part 1. II, IEEE Transactions
on systems, man and cybernetics, vol.20, N2. march/april, 1990, pp.304-345.
21. Aliev P.A. İntellektualğnıe robotı s neçetkimi bazami znaniy, Radio i Svəzğ, 1995, -176s.
22. Procyk T.G., Mamdani E.N. A linguistic self-organizing process controller. Automat., vol.15, №1,
1973, pp.15-30.
23. Zadeh L.A. The concept of a linguistic variable and its applications to approximate reasoning.
Information Sciences, 1975, Part 1,8, pp.199-249; Part 2,8, pp.301-357; Part 3,9, pp.43-80.
24. Kaufman A. Introduction to Theory of Fuzzy Subsets, New York: Academic, 1975.
25. Mizumoto M. Note on the arithmetic rule by Zadeh for fuzzy conditional inference: Cybern. Syst.,
vol. 12, 1981, pp. 247-306.
26. Gyh-Shing R.G. ANFIS: Adaptive-Network-Based Fuzzy Inference System: IEEE Transactions
on systems, Man, and cybernetics, vol. 23, No .3, May /June 1993.
27. Tsukamoto Y. An approach to fuzzy reasoning method, in Gup- ta M.M., Ragade R.K., Yager
R.R. (Eds.) Advances in Fuzzy Set Theory and Applications, Amsterdam: North-Holland. 1979,
pp. 137-149.
28. Sugeno M. (Eds.), Industrial Applications of Fuzzy Control. New York: Elsevier, 1985.
29. Takagi F., Sugeno M. Derivation of fuzzy control rules from human operator's control actions:
Proc. IFAC Symp. Fuzzy Inform. Knowledge Representation and decision Analysis, July 1983,
pp. 55-60.
30. Tong R.M. Synthesis of fuzzy models for industrial processes. Int. Yen. Syst., vol. 4, 1978, pp.
143-162.
31. Zhen-Yu Zhao, Tomizuka M, Isaka S. Fuzzy Gain Scheduling of PID Controllers, IEEE
Transactions on Systems, man, and cybernetics. vol. 23, № 5, september/october, 1993.
32. Tong R.M. A retrospective view of fuzzy control systems, Fuzzy-Sets and Systems 14, 1984, pp.
199-210.
33. Braal M, Rutherford D.A. Theoretical and linguistic aspects of fuzzy logic controllers,
Automatics 15, 1979, pp. 533-557.
34. Petrov P.N., Rutkovskiy V.İ., Zemləkov S.O. Adaptivnoe koordinatno-parametriçeskoe
upravlenie nestaüionarnımi obcektami, Moskva: Nauka, 1980.
200 5 QEYRİ-SƏLİS ÇOXLUQLARIN VƏ QEYRİ-SƏLİS MƏNTİQİN TƏTBİQLƏRİ
35. Emelğənov S.V., Korovin C.K., İvanov B.V. Binarnaə sistema upravleniə vınujdennım
dvijeniem dinamiçeskix obcektov, Moskva, VNİİPİ, 1984.
36. Chuch Karr, Adaptive Control with Fuzzy Logic and Genetic Algorithms in Yager R.R, Zadeh
L.A. (Eds.) Fuzzy sets, Neural Network and Soft Computing, Van Nostrand Reinhold, New
York, 1994, pp. 345-367.
37. Allev R.A., Aliev F.T., Babaev M.D. The Synthesis of Fuzzy Coordinate - Parametric Automatic
Control Systems for oil Refinery Unit, Fuzzy sets and systems, №47, 1992, pp. 157-162.
38. Aliev R.A., Aliev R.R. Teoriə intellektualğnıx sistem i ee primenenie, Baku: Çaşıoqlı, 2001-720s.