'onzpexilale

Academiei,

dings of an

'ysrems and MODELAREA HIBRID A SISTEMELOR

x
1'.
uol. SMC-3,

Conceptul de model este un concept de care tiina s-a folosit i pn acum,

dar el a cunoscut o nou evoluie o dat cu apariia simulrii comiterii PC-ului.
Simularea sistemelor s-a fcut la inceput utiliznd un model de' simulare; continuu
ecuaniiernia e n
sau discret, n general omogen (de exemplu un sistem de .
au evoluat destul de mult, astfel cfippfwiifse mai

rile
vorbete de un model de simulare omogen, tendina general cel puin n rndul
i
-
special lor .- ind aceea de a utiliza modele de simulare complexe, cunoscige,
sub denumirea de modele hibride de simulare [1, 2, 4, IO]. n acest context se
cuvine s tie menoi-t rii578, 9, ll, 12] care au contribuit la

:node1 ylia1e
dezvoltarea modelarii liibride utiliznd i/sau
modele bazaie pe cunotine jizzy.
'fi
-

"`"E iui~mddel de simulare necesit cunotinte detaliate despre

sistemul simulat, despre proprietile acestuia, ca i despre relaiile matematice i
ecuatiile care descriu procesele i fenomenele implicate. Ea reclam din partea
modelistului logic, exactitate, obiectivitate, cunoaterea proceselor numerice i
sau euristice, cunoaterea sistemelor informatice utilizate. Pentru a xa mai bine
lucrurile vom prezenta n acest capitol modelele cu un anumit grad de detaliu
(unnnd ca acestea sa e adncite pe msur ce se dovedete necesar).
Pentru nceput vom da urmtoarele defniii:

?Ema utIEl3 deisimulare.

Prin rgadelrhilzrzliide sinzulrare se nelege un model de simulare compus
ipgglte (Enigma-Ele inteiconectaie, din care cel putin unul este un m
5
ECS:
s 'cita i unlnpdel cpjvenimente l e
__
_
w

un model bazat pe cunotine (cel mai adesea mode cun6`stIne

un
euristice 'd
 !Modelarea /vibi idi
78 Modelarea sistemelor de mare complexitate

termenul de simulare reprodu

Subliniem faptul c fat de literatura de specialitate, n care
(subjsisteme/(sub) caz, concluzia c
hibrid se aplic numai sistemelor/modelelor compuse din trebuie validat,
"

termenului hibrid i la sistemele/

modele continue discrete, noi am extins sensul prin compararea
modelele bazate p cunotine (in specialuzzy) rtori directe as
fi: un model
Aceste definiii admit c un model de simulare poate Aceast observa'
model euristic
matematic (atunci cnd se utilizeaz formalismul matematic), un de simulare, car:
Iiibrid, matetaticzreii-
(atunci cnd se u lizeaz procedee euristiee) sau un model experimentul de
i procedee
ristic (atunci cnd se utilizeaz att formalismul matematic, ct reale mai mari d:
adncit dac
euristice). Aceast clasificare a modelelor de simulare poate mult
fi
matematice, euristice i matematicoeu-
se au n vedere di 'eritele specii de modele
ristice posibile (fi . 4.1).

| 4.1. l\
Model de simulare

4.1.1.l

r
a

lModel l la Model euristiij Model mate-

Dei de
ri atematic, dect o ipotez
maticcyeuristie

X
/ /
\.
w
-
mai puin comp
&Model mate- deteniinist poa*
"7
-:Zodel Model ?Modellogi- v
i/lodelreea ' _~-.=-

nederminist co-lingvislic de inferen matiemeuristie

determinist 4.1.1.1.

'Model
v

continuu
i
Model
fuzzy
\A Model?)
Stochastic
MDdEI
'

malematlc
_
Princip
pendent, timp
simulare di ere
+ model
.
' i
_

logice-lingvistic (liniare sau ri

comportarea di
vodel Ivo el Zvlodel timp Model este unntoarcz
diferential gr f discret reea .Modelmatemac
`
+ reea de inferent
.i
,o .o a

S( M0351 Nildel Mqdc] malcmauc

V

de
e_
Model serie +obieete structurate
Montecarl de [imp
_

Corelae

la care se pot(
Fig. 4.1. Clasificarea modelelor de simulare. x,- i in mod ob

Pe de a t pane, definiia darinodelului de simulare reliefeaz faptul c

De altfel,
modelul surprinde numai propriet 'ile esenial' ,ale sistemului simulat.
modelul m . exact ni i nu poat fielaborat. mai ,ales n 37m sistemelor
mari, complexe Acest lucru creeaz o discrepan ntre modeiui (matematic) de
simulare i rei litatea existent i, de aici, o anumit incertitudine asupra
\ rezultatelor de sin " e. Aceast incertitudine scade pe msurfceiyrridfliiTe
 re complexitate Modelarea hibrid a sis/crizelor
'
79

c termenul de simulare reproduce cu mai mult fidelitate comportarea sistemului simulat. ln orice
Qsisteme/(sub) caz, concluzia care se desprinde de aici este aceea c orietnrodel de simulare
i la sistemele/ trebuie yqlidm: nainte de a fi implementat, att din punct de vedere lo_` , ct i
prin cpmpararea rezultatelor obinute prin simulare, cu cele Oliltlurgrin msu- `
fi: un model rtori afesrli"Er( aca aceste msurtori-sunt posibile). r

model eurirlic ceasfobreste n legtur i cu aseriunea din finalul definiiei modelului

matemtica-err- de simulare, care trebuie s reprezinte sistemul simulat intr-o form utilizabil n
.t i procedee experimentul de simulare (de exemplu s nu introduc_abaterinfaderezytatele J;
adncit dac
iatematico-eu-

4.1. Modele de simulare numeric

4.1.1, Modele de 'simulare deterministe

Model mate- Dei determinismul este mai degrab o ipotez convenabila de calcul,
iatico-euristic dect o ipotez care s aib o acoperire real, uneori mai ales n cazul sistemelor
-
mai puin complexe, bine structurate i pentru care se dispune de date un model
`
determinist poate reprezenta o opiune satisictoare. -
mate-
.uristic
4.1.1.1. Modelul de simulare continuu _
"Cr
'
*-

'r L'
\

Principal caracteristic a acestui model este aceea cuvariabila inde-

pendent, timp t, ia valori din mulimea timp continuu. Ei este' un modei de
snzulare drfeeriiql, care se prezint sub forma unui sistem de ecuaii
(liti'e"`'sa' ricliiiire), cu- condiii iniiale i/sau la limit i care descriu
MNHWM 'Mi i
dinamic a sistehiriiillfrrfijtiid ui astfel de mo del
'zf
oiportarea
x~,,K'..g,_\:\; s 1 a_ i; ._ f
este urmtoarea: 2 - ~ -

i'll) = Aix'. (t) + Biullt) + L(Xa.) + vl-(x);

` (4.l)
(0) = xm, 1, 2,
i:
v,.<x
= 2gij('xj)' (43)
jzLj-r

la car, pot (sau nu) aduga, condiii de (ubvoptimalitae pentru marimile de starew_ k
x,- i n mod obligatoriu restricii pentru mrimiie de comand 14,:
Feaz faptul c
glat. De altfel, x;.-Sx,-x.,;.
lZUl sistemelor imn-S Hi5 uimru<
matematic) de n relatiile
tudine asupra (4.l)-(4.5) semnicaiile simbolurilor utilizate sunt urmtoa~
Ec' rele:
modelul dc
 Modelarea sistemelor de !ziare complexitate !Modelarea hibrid

reprez nt subvectorul de stare al subsistemului = 1,7

x,
i (i u);..
recomand o fo:
14;- sub\ ectorul de comand subsistemului i;
al discretizeaz de
exogeni ai subsistemului i(scalari) unitatea (Ak
(pi- parametrii endo- i
x vect rul de smre al sistemului de simulat, n ansamblul su;
:
xm
- condiiile iniiale ale subsistemului i;
~
z A; mat icea de stare a subsistemului i;
z B,- 7 matricea de comand a subsistemului i;
-
f, ~ o fui cie vectorial care descrie rieliniaritile_ din subsistemul i;
interaciunile dintre subsistemul i i celelalte
~ o fincie care descrie
v,-

(n-l) subsisteme; cu condiia (opt

g- (i, : l, 2, ..., n) ~ funcii care descriu interaciunile
dintre subsiste-
`
, j
mul ii fiecare din celej 2 l, 2, ..., n subsisteme (j
v5 l).

Subliniem faptul c modelul de simulare diferenial este bine fundamentat

d_in

punct de ved *re matematic, bazndwse pe teoreme ale analizei matematice, dar
cu aceeai sem:
arIIE rel-limite principala limitfiind aceea c sufer de un
fimjniemspr, rigid, ceea ce il face vulnerabil, la schimbri structurale ale cu precizarea c
Ca i r
.

sistemului sim; Lutbate acestea, modelele de simulare difereniale au fost i

V

analiza numeri
3.\ mai
sunt inc ilizate n simulare, din cauza bogiei de informaii pe care le
"furnizeaz, n ecial pentru a caracteriza starea actual a sistemului i mai puin avnd ns ac(
s; exagerat. Cu 'to
pentru predicie n acest din urm caz, experiena arat c modelele de simulare
simularea unor
difereniale simuleaz destul de bine comportarea sistemului dinamic, dup care
discret (indust
evoluia prezis e ndeprteaz i mult de cea real. ,

Aadag modelele de simulare difereniale sunt utile n acele cazuri n care

el
un sistem, nu, foarte complex, este bine structurat, iar informaia despre
(cunotine, date ) este foarte complet. Se" dispune aadar de toate datele necesare 4.1.2.
pentru simulare In aceast situaie" putem enumera: unele sisteme electrice i Aceste
magnetice (de exemplu circuite electrice nu foarte complexe), unele sisteme
parte, i din lei
electroenergetic (de complexitate medie), unele sisteme hidrologice (de exemplu o
i_

de a atenua i
depresiune lacu tr), unele sisteme industriale continue (de exemplu din domeniul
i clasa modele]
petrochimjei) et Continuare.

4.1.1.2.
Modelul de simulare timp discret --~ .
cu 4.1.2.
\
Acest n' odel se prezint sub forma unui sistem de ecuaii cu !im l] BCC
:ale i/sau la "mit, care descriu n mod corespur Carla. Elabor
simulat. Aceste modele der _afiedin modelulcontinuu prin d_ scretizarea acestuia
metodei cu ao

wr
' '
3, '
(operaiune just ficat din motive de calcul numeric automat), e' din modelarea
_ _ _

unorhsistemehdisgrete*ca atare_ ln primul caz se utilizeaz aproximarea derivatei Fie c

continue x(1) prin discretizarea acesteia (cu pasul de discretizare Ak):

7x0) x(k +I)-x( ) unde liecare x
_ Ak
'
extrage o val(
Al; prea 'aceasta se re
..l cu obsewaia ci Al: trebuie s fie ct mai mic (teoretic
43k
s 0), dar c
urmare, si: sensul teoriei
mic poate corid apei? iacumiilarea (le eroii de calcul numeric. Prin
 mare COHIpIEIIH/e
Modelarea hibrid a sistemelor
l
31
recomand o foarte mare atenftielaalegerea lui Alt; Dac in modelul
discretizeazj derivata continu x,(i) @menu
.
i
se consider pasul de discretizare eigal cu
unitatea (Ak l), rezult modelul de riiiiulare discret standard:
: x.(k+l)2xi(k)+Biu,(t)+j(xi,ai)+vi(x); Z

X.(O):X,O,

istemul i;
i: 1,2, ..., n; (4-6)

riul i i celelalte mn=kw

j:|.j+i i
;
dintre subsiste- cu condiia (optionala) pentru x; i restricia, pentru u,-: l
). f]
X; min 5 Xi 5 Ximiu?
ine tindamentat /
i

matematice, dar
I' Nimin 5 Hi5 inm, l

c sufer de un cu aceeai semriyicaie pentru simbolurile utilizate n cazul modelului continuu i

i structurale ale
cu precizarea c A = 1+ A
:niale au fost i (I:
matricea unitate).
Ca i in cazu modelului continuu, modelul discret
este bine fundamentat n
matii pe care le .
analiza . _ . ;
numerica, graie a numeroase teoreme i. numeroi algoritmi de calcul,
,

.llLll i mai puin avnd ns acelai inconvenient, i anume faptul c sufer de

:lele de simulare un determinism
exagerat. Cu toate acestea, modelul de simulare cu timp discret se dovedeste
uti 'in
\H

amic, dup care simularea unor sisteme discrete ca, de exemplu, simularea sistemelor
i discretindustria de producie
electrotehnica, industria mecanic) etc_
:le cazuri n care
maia despre el
1
datele neces'are 4.11.2. Modele de simulare nedeterminste
:ine electrice i i

Aceste modele
,

, unele sisteme sunt derivate din teoria sistemelor siochasiice, pe de o

:e (de exemplu o part& din leoYlflliflXl
i peetl-:itiunea lor e a li este aceea
lu din domeniul
7
lia!)
de a atenuysiiichiar a elimina determinismul modelelor din clasa Aa. Aadar,
n
clasa modelelor nedeterministe de simulare includerii modelele 'descrise
n
Continuare.
@) 4.1.2.1. Modele de simulare stochastice
cu timp discret,
n aceast clas de modele
inztor sistemul pot fi clasate modelele de singular:: Mont&
etizarea acestuia Carlo. Elaborarea unui model de simulare Monte-Carlo este leit diipriiipul
cvwf\ -
inefodei cu acelai nume, care se bazeaza_ pe urmatoarea propoziie:
.
e din modelarea
_,
. .

imarea derivatei Fie o funcie de variabile aleatoare:

): ,__ __ aFixa\.,
_
_ v_

X1. Xnl

'
--- (4.73
unde fiecare variabil urmeaz repart bine
o e definit. Atunci, pentru fiecare x, se
extrage o valoare aparinnd repaiititiei' *respective 'i se evalueaz o valoare a lui `z.~
dar c AI( prea ftceasta se repet de il ori. Cnd /Z ~> De, 'valoarea astfel obinut aproximeaz (in
Prin urmare, se sensul teoriei robabilittilooadevrata valoare a repartitiei lui L"
 82 Modelarea ,rlrleimzlor de mare complexiale
i
[Mode/area hibr.

Metoda Monte Carlo este bazat pe o tehnic .riocliasriczi

care utilizeaz configuratii al
ziuznre alcatuire i statistica probvalfl' ic pentru rezolvarea problemelor.
?? ?FE stiib oiiitielCarlo ansambluAst
, eea este aceea a generarii de
numere aleatoare, urirind repartitii predeten-ninate, care se introduc n forma A

5"'!'
'analitic a lui z i calculndu~se 'valoarea acestuia, Gperaiunca se repet de baz _l
multe ori, algo itmul oprindu~se conform unui criteriu (de convergenta). i
353i?
" Metoda UFUH DEFVZK
MonterCarlo se aplic: n glcululunor arii complicate (inggralglor _

complexe), n c l l l dinamicii unor populatii, n economie, in fizica noi funcii\ lungimea DCT

nuclear, in
controlul tracull c. 'MWH
f
(z Genera ea numerelor aleatoare. Denim o secven de
in intervalul [a, b] numere n, T1, ..
ca fiindglaorgggz dac nu exist nici o cor l
`
"
tre djj `tele
numere din cac rul secvenei. uinerele sutmlegatoareicii istri utia PL:) dac
probabilitatea d a gsi numrul r; n intervalul [x,x+dxl_este P(x)dx. Rata d
:standaridv dci numere Generatorul
aleatoare cu ajutorul coinpiiteriuliiibne-z descrcte n tii
distribufi '
*
uniforme (P _
L Cu alte cuvinte, trebuie s existe probabilitate 'g descresctor n
" _

o -
dv
i

a oricarui numr n acest interval, cu numrul urmtor generat mic rezult:

independent de numrul precedent. '

(_,. _gmputwele sunt ns masini detenniniste. Principial, ele

i
nu pot crea o
secven de numere cu adevrat aleatoare, dar acest lucru este totui posibil. Pentru
aceast ratiune omputerele genereaz aaaiurnitele a crei soluie r

mod: esenial, numere pseudwalearorgg. n

pr n natura
aleatoare (din.
comoditate .
crei jutoml
computerului tre buieus contin corel , i astfel ele nu sunt adevrate
A--"L-.-**'.4"."f"**~<
muli autori nu mai. introduc
.

cele mai sofisticate generatoare de numere aleatoare ascund corelaiile,

arat c dac u ilizm astfel de numere destul de mult ncepem s
.
particula
numere
pseudo). eIn timp
.
experiena
ce
~
unde r = 1/
d_
Prin n*
_

m mclnvj* ca
_

remarcm 5a _mu C* ar '

corelaiile. Dgzlnmgrare c;
x4*** 1g
Dar dac: se da- uri numar _
de stari
.
numit. germeni: de 21141222?
aleator pot . eo ":c e pm
- \

fi realizate un numar de v
4
-
.
,.
1
operairmate upra numarului
. .
germcne astfel incat . ,z,e numarul de p:
_
sa se genereze numere ' - ne v*** .
~

'm
_ecorelate errea gcneratorului de
. . dezintegrarii
_

ra
.w-e--A
numere aleatoar este testata "a--u- ajutorul
_
m
testelor 7.1:-.. . . gh
cu statistice riguroase, pentru a se Sinzula
asigura c nume ele sunt aleatoare n raport unele
cu altele. Exist ns i critici la populaie este
tr& adresa 'acestei netode umrului
a 4`xz_'\rr germene. De mentionat c programele
_ A--wx '

comerciale, cum ar fi Mathematica, trag .x ' populaii n se

un numar aleator germene de undeva din
.

interiorul sistemului (poate timpul Monte Carlo p:

pe ceas), astfel nct numrul aleator germene Carlo, pornind
este diferit n d ferite experimente. O alternativ la
r

generarea computerizat a ferenial cu c(

numerelor 'aleatcare este accea de a citi printr-un tabel de

adevarate,
P num functie de timp.
care sint numere determinate prin procese aleatoare ~ -_ :mare __

ga
_ _

naturale, cum ar fi
dezintegrarea rad oactiv. Astfel de tabele gsesc n literatura
se dc specialitate.
Aplicare. metodei Monte Carlo la modelarea proceselor
care au loc n
f
me *Vic V
' *tit sunt sistem pai culc, permite analiz a
acestor sisteme, are altfel ar fi dificil e eiectuat. ac rezolvarea sistemului de Iniial,
ecuaii care dese ie interaciunea a doi atomi este o problem simpl, in alte procese
rezolvarea
aceleiai probleme n cazul a sute sau mii de ecuaii analiza pietelor
este practic imposibil. Cu Cu timpul ins
metoda Monte Iarlo un sistem mare poate fi eantioriat ntrun
numr de
 mare complexitate !Mode/area hibrid a sisteme/ar 83
5,
care utilizeaz contiguraii aleatoare i aceste date pot fi utilizate pentru a descrie sistemul n
ea problemelor. ansamblu. Astfel, metoda Monte Carlo poate ti folosit la:
a a generrii de
troduc n forma Sirmrlnrezz dezintegrrii radioactive spontane. Factorul fcnomenologic de
ea se repet de baz n acest proces este faptul c numrul de particule la timpul I, N(1), descrete
zrgent). Metoda ntrun interval de timp truc [t, t+At], proporional cu numrul de particule N i cu
elor unor funcii lungimea intervalului de timp:
zica nuclear, n
AN (t) = -N (UAI:

mmere n, T2, am:) Z -N(1). (4.8)

ie intre diferitele At
ibuia P(x) dac
)dx. Generatorul Rata dezintegrrii radioactive AN(t)/At, numit i activitate radioactiv,
descrete n timp, deoarece este proporional cu numrul de particule, el nsui
reaz distribuii
descresctor n timp. Trecnd la limit n (41.8) pentru un interval de timp infinit
obabilitate egal
mic rezult:
urmtor generat
dN(t)_miam, `

le nu pot crea o
i
(49)
_si
dt
posibil. Pentru
a crei soluie este:
rio-aleatoare. n
.Ilate cu ajutorul
_ -._N(r) = N(.0)c"",
levrate numere unde t-:I/L- w
V

`
ruda). n timp ce -Prin trecere la limit am obinut un~model exponential al dezintegrrii
aiile, experiena radioactive,'care descrie bine procesul-fain: n medie pentru un numr mare de
m s remarcm
particule, dar .care devine inoperant pentru un numr mic de particule: Aceast
dezintegrare este spontan, adic iai-natere fr i independentde factorii externi_
Deoarece probabilitatea dezintegrrii radioactive descrete n timp o dat
r aleator
- pot
cu
numrul de particule, dezintegrarea real_ este un procesaleator, n care rata
nene astfel nct
dezintegrrii radioactive pentru orice perioad de timp fluctueaz.
:naratorului de
ase_ pentru a se
Sin-aiurea distribuiei lliE populaii n limbajul modern conceptul de
ns i critici la populaie este mai general dect cel de populaie n sens biologic, incluznd i
c programele populaii n .sens fizic (de pild populaii de particule) etc, Metoda de simulare
3 de undeva
din Monte Carla poate ti aplicat pentru a determina distribuia de probabilitate Monte
aleator germene Carlo, pornindde la ecuaia lui Eoltzmann. Aceast ecuatie este ecuaia integrodi-
:omputerizat a o
ferenial cu condiie iniial, care descrie evoluia densitii de probabilitate n
imere aleatoare funcie de timp, pentru procese continue (dar i discrete):
urale, cum ar ti
specialitate. t..mW"'-Vzfl-viK('5)(5*'i)dr"
04:10)
care au loc n
ite o analiz a
Iniial, ecuaia Boltzmann a fost utilizat n fizica particulelor de gaze, apoi
a sistemului de n alte procese asemntoare, cum ar ti energetica nuclear, controlul tracului,
Dl, rezolvarea
analiza pieelor financiare etc., incercndu~se rezolvarea ci prin metode analitice.
imposibil. Cu Cu timpul ns sa observat faptul c ea este legat de incertitudine i c, de fapt,
'un numr de
 84 Modelarea sistemelor de nmrc complexitate
Modelarea hibric
operatorii integrali reprezint cea mai general form de descriere a proceselor
stochastice. Men onm i ecuaia integro-diferenial Boltzmann neliniar: unde: L este c

g(z) = 1

@(1,11 +
l):vK(x,s)l>(s,I1)ds.
(4-11) h(z) l

dk) ~ :
Metoda Monte Carlo presupune n cazul in spe parcurgerea urmatorilor
pai: Subliniu
a) Informaia iniial este utilizat la rezolvarea ecuatiei Boltzmann pentru o perioad bine
anumit exist pachete (
un num de niveluri de energie J. De exemplu, dac J = 4, rezult o
distribuie a popu laiei ca n cazul urmtor: pe azializa rerii,
Aplica
(de exemplu ni
producia de gr;
sol, aer), predi
inflaie, omaj).

4.1.2.3.

j=o1234 Pentru
mrimi variabil
b) Se imz gineaz o aezare a maximelor n spectru unul lng altul, ca n
figura de mai sus Dac se genereaz numere aleatoare n lungul acelei linii ori de baza analizei a
cte ori un num u* cade peste irul unui J particular, ele" sunt contorizate ca o dintre cele dou
atingere a nivelul 1i de energie. Evident, pentm nivelul cel mai mic; (J = 0) numrul ajutorul a 8 cur
de niveluri de ene gie atinse este mai mic dect pentru cele mari (de exemplu J .z 2). i a alege, n
_ c) Deoar :ce generatorul de numere aleatoare genereaz numere din irul urmtoarele:
de la 0 la l, dist ibuia populaiei este nonnalizat astfel nct lungimeavlolal s func
tie egal cu l.
- funct_
~
d) Pentru fiecare funet_
aruncare sau numr aleator produs, calculatorul detennin ~
crui nivel de ene rgie iaparirie i denumete un vrf pentru aceast valoare a lui. func!
Dup ce calculati: rul completeaz toate aruncrile, rezult nunzrul de vtri (sau rA func!
,numrul relativ de vrfuri) pentru fiecare nivel. de energie. Se poate compara ~ func\
rezultatul obinut astfel cu cel obinut prin metode pur analitice sau experimentale. w
funcw

~ expo
4.1.2.2. l\ [odele de simulare pentru predictii bazate pe serii de timp
n
n proble nele de simulare cazi
pentru predicie bazat pet) _serie de timp y(k), din care una, y
rezultat din msurtori efectuateila mo ente deitimp discrete, k A' *este lziperplanului z
~
necesar deitgerrritr.,area unui niadel 'pa

s
triiiln acest caz,._.
.

cel maiiuzu model de

simulare este un iadel de tip ARMA (p, q), a crui reprezentare este urmtoarea:
Bt1>e(k`415+:.. + tqktk-qi adic vari
34... 'A
"ki +
(4: Problema este,
.-'.'<l
sau sub o form o :eratorial: " calculul hiper

a
gwgytk) = hmtk). mctlie, dispers
cientii de deter
475194AJ:
i T*
ln/'C caiiiplexi/are 85
Mode/area hibrid a sistemelor

re a proceselor LyUc) y(k- l);

unde: este operatorul de ntrziere:
L
lin iar:
g(z)= 1+ o(1)z + + unui; :
l

(4. l l) + + sign",
he) = i +i5inz
zgomot, avnd dispersia o) 2.
l
e(k)
semnal de tip E[e2(k)].
un
:rea urmtorilor i -
Subliniem faptul c modelarea cu ajutorul seriilor de timp sezoniere, avnd
o perioad bine cunoscut T, a fost, de asemenea, bine studiat i c, in general,
ltzmann pentru
e. st pachete de programe de bun calitate pentru modelarea i simularea bazate
= 4, rezult o a
.= A

pe analiza .re ilorde timp.

Aplicatiile sunt numeroase: redictia unor factori na
j
_

(de exemplu nivelul apei, temperatura aeru iii),"a pro g xemplu

_

producia de gru), gradul de poluare (de exemplu concentraia de poluani niap, f.!
'l
sol, aer), predicia"ndrndicato 'onomici (de exemplu: PIB, productivitate
ai
inflaie, omaj).
mix
4.1.2.3. Modele de simulare bazate pe analiza de corelaie
Pentru un' experimentaor care dispune d doua rii de timp pentru-dou?)
.ng altul, ca n mrimi vgriabileigecrilgg s zicem ymi x, se punenp' oblema' e a cterrninpetx" s
Eiiiiiiiiliiziiyde
:elei linii ori de
.
regrerie, curba_ care aprocimeaz cu eroare rninim dependena
ontorizate ca o
5
dintre cele dou m m . Problema a fost redus laa modela aceasta dependena cu

t`icienii
l
i
ajutorul a 8 curbeiuzuale n analiza m ' r, la acestora
:J 0) numr
..

J: mama, y.
mcescil rbe
A .
,
alege, n final, pe cea mai potriv
xemplu 2). ia....... _.........._.._a
suntf
urmatoarele: '

uinere dingirul
j
-

funcia liniar: yg+X

gimea io_ i s i
-
funcia exponenial: y ize"";
:torul determina
-
~ funcia putere: y aoxm; :
t valoare a lui& _- funcia invers: y 2 ao + ai/xf, :
de viuri (sau ~ funcia raional l: y = l/(au + aux):
poate compara funcia raional 2: y = x/(aox +_ai);
zxperimentale. -
funcia logaritmic: y = aonailng.
-
exponentiala funciei inverse: y = c(" """X). "

rii de timp -n
cazul dependenelor multiple, cnd dispunem derinai multyserii de timp,
:ede timp y(k), din care una, y, depinde de 'celelalte x1, x ., xh, atunci modlleut sub forma
O, IpEIJIHIILZMLE
l, 2, este regreri
uzual model de
-t
ysawi+*ag.~;+ ..
ui iiituai ca.
ieUwq) adic variabila y se exprim liniar in funcie de celelalte n variabile x,- (i 1, 2, , 11)_
(4.12) `_

"m Problema este, aadar: aceea de a determina coecie "

-gv-
7? H) i
in :
_ r=:
calculul hiperplanuiui de regresie intervin o serie de marimi a
A _ _
.
_ _

I
SIGILSICC ca: valoarea
medic, dispersia variabilelor, coecicnii de corelaie parial i multipl, coe
cienii de determinare etc.
 foclelarea hibrida'
'86 Modelarea sistemelor de mare complexitate

Menionm existena unor biblioteci _d tedc Calais

ic_
i de 4.1.4. l\
simulare cu ajutorul carora pot construite modele
_ _
_ fi de corelaie Simplu i muinpla,
_

4.l.4.1.l
cu aplicaie la sistemele naturale (de exemplu corelaia dintre nivelul apei intr-un
sistem hidrologie
i
factorii de mediu sau corelaia dintre nivelul de eutrofizare a :Modelele
apei i factorii liid o- i biochimici) urmare a evolui
domeniul simul
n unele domeni
4.1.3. Modelul de simulare cu evenimente discrete m '- stare sau ieire s
O muli.

3x/
=

funcia de aparte
_

Modelul d e simulare cu evqjhnte discrete se prezint n mod obinuit ca

ii-dfizrenialeiolerzere descriu apariia, n cadrul procesului element u e U
un sistem de ecua,
et, a unoieve caijemapar_ri_urn_ai_la_a_nunte
cu evenimente discrete este
aa imulare contivnuwpi/sau ?cu tim discret. Pentru a
rostul i esen, modelului de simulare cu evenimenze discrete, ne
Pentru
tenen, se poa
.

(51.5) din modelul de simulare Continua. (g. 4.2).

vom referi la restr ciile (A.4), Diferite
Vom- not cu X,(k) variabilele de stare ale modelului de simulare cu- diferite interval
" evenimente discr ete i cu Y.(k) variabilele de ieire ale aceluiai modeL fuzzy reprezint
lnoolean {O,l} i
Variabilele de stare X170:) iau va ori ui mulimea se definesc definite pe baz
exemplu, n fi
astfel: gradul funciei
Xi k ):{1,
dac [x...-.x.~.];
.- I
mine (443) intervalul [x,~,;
o: dac 39-005 [ximins Ximaxl - la F este ntre O

Variabile e Y,(k) sunt reprezentate de un setrde ecuaii difereniale

\ booleene, de fom: ~

o.....loX__(k),
lQ(k+1)=X1(I)_,o X2(k) (4.14)

unde o" reprezi' iggggggfzyloici: A, V (de notat faptul c XVU:)

l poate lua i
valoarea negat nJn X,(k) ).
Dac:
l, procesul de sim lare continu (nu a aprut l

nici un eveniment discret);

r( 0, procesul de simulare este stopa& i este alertat
(415) (incet

regulatonil bazat pe cunotine fuzzy .

Reveni
4' Este~evid c modelul-de simulare cu evenimente iiSCiLC are nat
relevan deosebi in zona controlului sistemului complex (readucerea n interiorul
1

intervalelor de suboptimalitate a marimilor de stare care au ieit din limitele

prescrise de ctre expert).
undefdescrie c
 nare complexitate Alodelarca hibrid sisteme/ar
a
87
,i Statistic ; de
4.1.4. Modele de simulare bazate
zip/ i Miu/tipla". pe cunotine
elul apei intrun 4.1.4.1. Modelul de simulare i
de eutrofizare a
control fuzzy _ a,
blade/ele de simulare i control fuzzy
s-au dezvoltat n ultimii ani ca
urmare a evoluiei teoriei mulimi/or vagi. Aceste modele
domeniul simulrii i controlului sistemelor au aprut mai recent n
complexe, dar au reuit s se impun
n unele domenii de aplicaie, n
ate care cel puin o parte dintre variabilele de intrare,
stare sau ieire sunt de naturizzzy.
O piuvlltjzizejirzAF,

intr-un univers de discurs U,

mod obinuit ca estecaracterizat prin
ClYLll
Etap; ieste definit ca o mulime de perechtiomrfnatlefui
procesului I a grad ui funciei de
apartenen, astfel:
:mai la anumite
ite discrete este
scret. Pentru a
f: {(u.i1r(u))lueU l.
Pentru astfel de parametri inc rti,
(4.16)

iile discrete, ne cum este i gradul funciei de apar- "w"

tenen, se poate utilizakiiifofmaia ad onal definind
H. (g. 4.2). co ceptul
"
:
de simulare cu Diferitele grade ale funciei de apartenen la
diferite intervale; numitevnulinzi de niveluri, o mulimeiaazy corespund la
eluiai model. n domeniul variabilei. Mulimile
izzzy reprezint situaii
n care funciile de apartenen la o mulime
i se definesc definite pe baza lui drum nu pot fi
sau, cu alte cuvinte, limitele mulimii sunt vagi. De
exemplu, n figura 4.2, dac elementul vu
.gradul funciei de se afl n intervalul [x,-~, x,~],
(4.13) 'apartenen la mulimeafixzzy F este 1; dac el
se afl n
`

intervalul [x,--~e, x,-,,-]

sau [x,-, x,-,,+], atunci gradul funciei de apartenen
la Feste ntre 0 i l. Evident
up: dac u <x,~,,- sau u >;q,', .
O,
tii dnerentiale
MX.) tnttm- .le u/riieai]
"
~

(4.14)
.
l
J
poate lua i

0 `V

Ii mar?? Ii min ximnx imnx+5 Ii

Fig. 4.2. Reprezentarea trapezoidal funciei de
a apartenen
tat (incertitudinea de lipuzzy, dist ' `

_ ca 'bili lrapezoidal).

,
, .,.
gli.. ''
e (3
"
Reveninnlaeutatedescric ciinarijca
liscreie ar& unui sisierr-lin ytehnenii unui
" sistem de ecuaii cu timp discret, de data
aceasta sub forma mai general:
1
ini .te PTI
'
'
d.
in .TlICf x(l<+1)=fx(1<). am): rto) :XM
e`\l)
,

y<k+1:g<x<k>u<k)>;

utoe R", (4.18)
undef escrie dinamica sistemului, iarg este ieirea acestuia.
e, .ntm .A
....,-....
 88 i
Modelarea :irIe/nelor de mare camplczitare Mode/area hibria

Modelu de simulare fuzzy poate fi forrnalizat astfel: Formul:

X' 'U
reintroduc vari
f: x F(X)
g: X
a
FO? ,
undei g suntr elaiitwr, a
cu valori in (O, l).
unde Au,(k) este
Un mad l de control izzzy se fonnalizeaz astfel:

fi FW) XHU) ~> FUO

p
gr P00 - Fm,
unde X, U, Yrep 'ezint mulimea strilor, a comenzilor i' respectiv ieirilor.
a
Gradul :ie apartenen um:) a unui element (mrime de stare,
parametru,
etc.) la o (sub) ulimeizzzy poate fi exprimatrnumeric, dac universul de discurs *e
tt. (adi
Termen
un vector care Eepinaie ?le pasuldae discretizare), sau continuu -
_

(cu ajutorul une i funcii). Cel mai uzual expert sub form
u\
i, ,

caz, des folosit n aplicaii, este cel al

funciei de a anent Ira ezaidal 155g, 4.2), cu ajutorul creia poate deduce:
wave? se
1, dac ?He [ximrnximnx]
.
0, dac xi <x,--,.~e sau x_. >x,-.,+5
l. ,
1

_a
11;( xi) *e daca-
*

imin
l
Z ml,- X,- E [Ximin _Evxinrinl
.
(419)
l _

e e
+8
A

l
l vxma:
L-Ex'. daca-
.
[x,-,~,;_x,-,+5]
xie
---,
.
. 5 .
i

Problem a conlrolrllui vafiabilelor Je stare Jc,(k) (i l, 2,

n; k = 0, l, ..., k!)
este aceea de a menine aceste variabile n intervalele de...,(submptimalitate
[X
'
: Combir
rezult un set .

mai M este un model jzzarabilele de siare xc"

" aparin 'unuia au altuia din intervalele din relaia (4.19),
mii". '

complexe, i an
. ca i diferena
_d.I,(k) x,{k) kV-l). Variabilele de stare
x
rolul 3). : - x; aparin mulimii calitative Q5 (v. capi-

Tabelul 4.1
l
Illtcrvalul I: [Ximiri-Ev 'Sublini
< Ximir 1.' mn.) [Imimximax]
(igw, X,-Lr+5l > xin|ax+6 numrul de var
x,-
vs 'l s
'J
o 'l L VL X,-
aparine mul
Intervalul dxi <*-(1 ka_ 0) O
(0_ B]
i
Z', S,
[3
L).
-

>
dan

~L _s z s L Modeli
V5 - 'vfervy
gmrl,
C4;
52711111, control n cazu
'
0 (sub) Opzinrai, L = Large, 2-2'. 'Very xzfge,
sunt valori calit tive (in sensul teoriei sislemelorfuzzy). : 4 Z 2 Zero, determinist sau
Problema de c-
Calcuiul funciilor de apartenen uim) zszo, 1g)?
se face utiliznd reprezentarea x,(k)
trapezoidal, dat n figura 4.2. (i:
tabelul 4.1, ca
L 2,..

 nare complexitate Modelarea hibrid a :islemelar

Formula de calcul a noilor variabile de control, u,-(Ic+l), capabile s

reintroduc variabilele de stare x,(k), n intervalele de (sub)optimalitate
este:
u,-(k+l) 11,(k) + K,- A11,(k)

unde Au,-(k)
:
este un increment, calculat cu ajutorul formulei:
,

lliciyliik)
:*
Ami) i: 1.2, ,1.
ieirilor. : u
Eu,- (a)
=l
tare, parametru,
ersul de discurs Termenii K,- sunt coecieni de calcul experimentali, fumizai de ctre
2),
sau continuu expert sub forma standard a unei matrice ptrate.
zaii, este cel al
poate deduce: Tabelul 4.2
dx,-/ x,- VS S 0 L VL
-L K); K3 0 K:: Kjf

(4.19) -S K3; Kjf 0 K3; r Kf

Z Ki' K3? 0 K3? ,K
S m' ia?
.]
L K3!
x:? 0 K::
K 0 Ki? K ?

z; k O,
l, ..., k)
:
;ub)optimalitate
_
Combinnd cunotinele din tabelul 4.2 cu relaiile de calcul (4.l9)-(4.2l),
rezult un ser de reguli. bazaie pe cunotine fuzzy, utile n controlul sistemelor
e de stare x,(1<) complexe, i anume:
:a i diferena
:ive Q5 (v. capia < Dac (x,-(i<) este Xi) i (dx,-(k) este dX, ),
Atunci noua lege de control este:
u,(k+l) u,(k) + Km Au,~(/<)
Tabelul 4,1 : > ,
i: l, 2, ..., n .

l,-..__
Subliniem de control fuzzy este :Z511 \1 este
faptul c numrul de reguli
r) > x,-+5 numrulvdeixjariabiledestare, :ar &reprezinta numraruluderlalpriqKr MZ"
l;
VL
aparine mulimii X {VS, S, 0, L, L}, n timp ce dX; aparine lui (IX l-L,
>
13
gz, s, L). : -5,
:

Modelul fuzzy de simulare i control este util n simularea sistemelor de
_ebntrol '
LQrg e, Z = Zero, n; iaiilzfln r OCCS-U.Lrtegla
nu DOW* d?EEELLEHQEPHUELAI!Lil\g
determinist sau este atat d e compleliiinclt exp pertului este dwnenlocuit.
?Folilerna de control itsirretinewxariwalliel de stare x,(l<) (i l, 2 ...
reprezentarea
k O,
:
x,(k) (i 1,
1:1)
n intervalele de (subyjptimalitate ,t,-,]. \Jariabilele de stare :
z n; k O, l,..., k) aparin unuia sau altuia dintre intervalele date n
:
tabelul 4.1, ca i derivatele dx,~(k) x,-(k) x,(k~l).
: -
 Modelarea sistemelor de
mare complexitate
Mode/area hlbrn

m??
VIodele euristice de simulare i
control uor urmrit n
V acela c permit
in 3GB asta_
_1-
Aplica
clasa inciudem acele modele de simulare
V _

.
nemijlocit pe xperiezia 'expertului n care se bazeaza.. nvare, domer
domeniul de activitate din
sistemul simulit. Pentru elaborarea lor care face parte gice, prospectiu
se folosesc metode i tehnici care in de
domeniulg igenlei arliz/ciale (sistem de achiziionare
i reprezentare a
cunotinelor, aze de cuiiiie etc.),
metode i tehnici din doziieziiullqgicii
(inclusiv al log cii matematice), al uligviszieii, 4.2.3. l
al !earieiprobabi/itrilor. '
_.,..=.,........=........
n dom
4.2.1. Modele de simulare logico-lingvisice pomind de la u

componentele r:
Aceste modele se construiesc
/ structurat este c
cu ajutorl\ operatorilor logic::
etc., cu ajutorul crora se . v.
compun toate aseriuriileposibile=din~projfoziiile ~ , legat de compor
pot spune despre sistemul n care se Utilizan
cauz. Un astfel demodel se poate
forma: ex prima sub utilimtori, deoa
obiectele szncti
< Dac P (premis), Atunci C (concluzie) care sunt, de fa
>, (4,23)
care poate mbr rca o varietate infinit de forme, 'cea mai formule) care ex
!ip clauz Horn simpl fiind un model de Axiomel

........_..._..r... conectivele lagiv
<P,1/\P,jA...../\P,~-%C,~>,
R\
Modelul logicimlingvirtic general
i:l,2,...,n. i
(4124).. expunerea cu pr
geometriei, n cz
are, forma:
i
\`
_
a) Un p;
<P,:1/\ Pnl\ AP,-A(Q,1VQ,7_V ....vQ,-)A i125; A-lRQA abscisa i ordona
A R,-- C,->,
. i=1, 2, b) Un .re
n. (4.25) originea i extrei
Aplicati ale acestor modele gsim
n multe domenii, dar mai ales n c) Un p;
sistemele naturale, zice.
nente (segmente:
"`=,"-4f'~.`

4.2.2. Rlodel euristic tip reea

de inferene w #the
; 'v'
i)
Modelul

In acest az, modelul euristic

este reprezentatvsub forma unui?
un a) VP, (

""i1ri'stic "de forrr set de reguli A Real (X.) A Re;

a: ~

b) V x,-
< PMP:) -> C109:) > , 1,2,
i: (xm. ym) A Punc
astfel nct fiecar:
propoziie,
injerene, i fiecare regul
P,-

poate p
sau
C,~,

'
reprezint n odul unui graf, numit
_
4......
n,
reea de _ c) V Z
cspecrive pot onderate cu factori 'de incredere
absena crora surt luai egali sau certitudine, (ph (I); i[l,O n I\ PHI (Xa I. Nail):
cu i , iar propoziia respectiv este cert. e
,

4
Aadar, ir cadrul modelului euristic
unei reguli eurist
de tip reea de inferange concluzia C,-
ice poate deveni premisa unei noi reguli etc. Acest a unde
fapt poate fi
51/ zl
,/
4-.

04.'.
 mare complexitate
-

Modelarea hibrid a sisteme/or

yl
ntrol uor unnrit n paragraful 5.2.1. Avantajul modelelor de tip reea de inferene este
acela c per area unui num are de cunotine noi, din cele existente.
. ____,_
Aplicaii e cele mai frecven e ale acestor modele sunt cele .._.`,________
din: procesul de
care se bazeaz V
nvare, domeniul diagnozei medicale, modelarea i simularea sistemelor ecolo
n care face parte igice, prospeciunile geologice etc.
ilinici care in de
i
reprezentare a
w-n,
donzeniul logicii
.f
) 4.2.3. Modele de simulare cu obiecte structurat'
'/ilor. `\1
n domeniul CAD, dar i n simulare
este util a reprezenta obiectele
pornind de la definiia diferitelor tipuri de obiecte structurate i deci definind
componentele reale ale acestora. n acest demers pornimde la ipoteza c
un/\oliegr
. 55343321&este definit prin formule epifimnd modul ggmggti_ 'Meggggyggirayt-_este
7gici: A, v, i, ~>l legat de componentele sale. V

ropoziiile care se
"" " Utilizarea modelelor orientate pe obiecte este foarte atractiv pentru muli
Date exprima sub utilizatori, deoarece ea este-apropiat de structura obiectului modelat. n general,
obiectele .rtrixcturatep t ti repizentate printnun model cu ajutorul unor_axiome

le "
care sunt, de faprnLul/e alomig (bazate pe cunotine ex ert i

>
.

(4.23) .
fomiule) care exprima condiieiiiicare dou o iecte sunt egale sau nu.
ind un model de JJAxione utilizate in modelarea d __ obiecte structurate folosesc
l

(i, A, v, m., cz) i ojv/Jzztarii logzci" V, 3.7 Pentru nu incrca

teoretievorn-dari a
(4.24) a multe elemente un exemplu din domeniul
geometriei, n care obiectele rtructurizte sunt puncte, segmente i patrulatere.
a) Un punct este denit ca un obiect structurat avnd dou componente:
lam ~ ci > , abscisa ordonata (numere reale).
i
A g V

b) Un segment este definit ca un obiect structurat avnd dou componente:

_

(4.25) originea i extremitatea (care sunt puncte, avnd fiecare dou componente).
dar mai ales in c) Un patrulater este definit ca un obiect structurat avnd patru cornpo
nente (segmente) etc.

Modelul axiomatic al obiectelor structurate descrise mai sus este:

a) VP; (Punct (Fi) (:> 3 x; 3 y; (Abscisa (P,-,x,-) l\ Ordonata (P,-,x,-) A
unui se! de reguli
A Real (xi) I\ Real 013)), (i = l, 2, 3, 4); '

b)V x; (Segment
(A3)
c: 3 P,- 3 PM (Originea (xi,y,-) /\ Extremitatea
(X511
ym) 4 Punct (Fii/x Punct (iam), (i = 1,214; x5
A :xn :yo
y

af,numit reea de c)iV

plus, propoziiile
(Patrulater (Z) ct 3 (P1, I,~)
(Q Segment (Jo) A F(x,-,y,-)
/\
,Ymlll
'm (fini.
(- l
@e lLOl, n 3. 4', P5
3 P1).
cita.
d :
'ne concluzia C, a unde _A5 Segment (m) /\ I\ Segment (x4). n acest model cele 4 puncte P,-

cest fapt poate fi TPFCZD) exrident, cele pentr" 'urtiiri ale ptrulaterislui
 92 Modelarea sistemelor de mare complexitate Modelarea hibrid

Trebuie nenionat c pentru sisteme complexe complexitatea modelului care nu pot

bazat pe obiecte structurate crete i ea o dat cu numrul, vnggrtlgonente i, maiN-. cunotine de ti
ales, cu numrul e conexiuni dintre acestea. tip reea de inft
hidroenergetice,
mediului.
O prob
4.3. M odele matematico-euristice de simulare elaborrii i uti
un
` tibilitatea dintr

control modelului. ntr-
sunt compatibil(
de simulare, va
um am mai artat, aceste modele sunt modele' hibrida, obinute prin

(concatenareu3m i model matematic (diferential, cu timp discret, Stochastic, fuzzy, matematic de s
4 '-33
Lret a,'/...)" c 'unvmodel euristic (logice-lingvistic, reea de inferene, obiecte
intervalului dori
de compatibilitn
. structurate). Reilia aaar o-tietate destul de mare de modele hibride, dac
inem seama de Faptulc numrulde modele matematice de simulare numeric,
clasificate' de noi este 5, numrul de modele euristice fiind de 3. n final, obinem
cifra, deloc de neglijat, de' 15 modele ihibride posibile, rezultate din 'conexiunea'
fiecruia din cel( St mode atidi`iiiulare descrise, cu fiecare din cele 4.4. l\
C
3 modele euristi nimente discrete fiind automat
incl s "
focare _nod l
iUVOm preaenta efectiv cele
Q5
'modele maternati e ristice, deoarece
elaborarea lor unneaz o ~metodologie clar, n care de fapt rolul central il joac Cu toatu
elaborarea modelului matematic de simulare numeric i a celui euristic, pe care simulare ca fiii
le-am prezentat d :ja (i a cror metodologie este redat n subcapitolul 4.5). actual exist Sl
lare pentru simt
Elzborarva unui model maiematicoieurirtic include: n cele
/_,-""i IdBJbFE _kwat/a. A_ __
odelulut de _nun ertca,_ care poate ti unul din cele
_

~ _ V explicit n acest
/" 5 modele materna [ice de simulare, prezentate anterior
sau combinaii ale acestora; Inodel de simulz
, elabora rea modelului de simulare cu evenimente discrete;
- elabora modelului poate fi unul din cele 3 modele a) Anal
- rea
eu ristice prezenta te anterior;
i fil?,
care
directe asupra
` 5-; obinerea de in
cancan narea modelelor astfel obinute, rezultnd o multitudine de
~_.._.,v..t discuii etc.). C:
modele htbrlde/m atematicoeuristice posibile;
_

i\ desco
-slabilir va condiiilor de ompatibili t n care modelele de simulare V

- stabil
numeric sau cele euristice pot fi folosite mprcu
- i
dintre acestea
Lsm a east intreprindere pe seama cititorului interesat, ca un exerciiu
de acomodare cu modelareainaty, '
ubWniem nomit_
rriaterriaticoeieuris ice de simulare 'ii 'utilitatea
'
t

n
" tul c modelele
acele' apiicaii privind incraci'- , de
gasesc
simularea sistem( lor de mare complexitate, cu structura incomplet_ ~ preci;
\Jariabilelor de =

ln realita e, numrul modelelor matematice de simulare stabil

este mai mare. El include, de
exemplu, ecuatiile cu derivate partiale i ecuatiile integra-difereniale, dar acestea pot fi aduse, prin
-
rizare, predicie
transformri adecvat: la modele difereniale sau cu timp discret,
 re coruplexiiaie Modelarea hibrid a sirle/iielor
'Z1

93
`..1,),.`

"L
r\
.alea modelului care nu pot fi complet formaligiteggagrlzgic, dar pentru care
se dis une de
ponente i, mai cunotirgxpertitianrmabile intrun model euristic (loigiicod nguviistic,
tpit deiifeiiene, obiecte structurate) cum sunt: sistemele electroenergetice,
hidroenergetice, sistemele economice, macroeconomice, ecologice i
de protecia
mediului.
O problem de
mare importan teoretic i aplicativa, n contextul
nulare elaborrii i utilizrii modelelor de simulare matematicocuristic,
este compaa
. . .
!gbllll dintre
.
modelul de simulare
,

r\ 'xx-wa
.

4"\ u ui. Intradevr, nimic nu garanteaza,

mode
L.
_ _
g
..- i componenta
numerica A
.
_
eurista
ne a pian, ca
v
cele 'doua_
componente
sunt compatibile, .mai precis c o soluie, determinat cu ajutorul modelului
euristic
de simulare, va fumiza noua variabille control u,-(k`<l-"l),
obtinute prin
2,
care introdus n modeiT
matematic d simulare va furnirzigrnoiiivariavbile de stare x,(k+ i),
ocbastiguzzy, intrvwliilui ca aparin
ierene, obiecte sjjf
orit
de compatibilitate ntre modelul matematic i cel
elaborat o teorem
z hibride, dac eurirtic (v. capitolul 6).
ilare numeric,
nal, obinem
iin 'conexiunea
iecare din cele 4.4. Metodologia_e-lal)0riarii_m0delelor
v
fiind 'automat de simulare irma;
stice, deoarece
:entral l joaci Cu toate c unii specialiti n modelare consider elaborarea
unui model de
uristic, pe care simulare ca fiind, n egal msur, art i tiin,
ul 4.5).
vom aduce dovada c la ora
actual exist suficient experien pentru a putea elabora o metodologie de~
mode-
lare pentru simulare. Aceast metodologie este sintetic prezentat n figura 4.3_`
n cele
i unul din cele ce urmea vom puncta' unele detalii importante, care nu apar
explicit n acest desen. Aadar, principaleleegg metodologice ale
ale acestora; elaborrii unui
model de .rimulare sunt_ urmtoarele: `

:ele 3 modele a) Analiza sistemului sinzulat. Aceast analiz se face prin observaii .,
direNcte
asupra sistemului, prin studierea documentaiei privind
nultitudine de
obinerea de informat i date direct de lar-pert
discuii etc.). C' siste
(ntlniri, seminarii de lucruj'
rgiragesteieiiplmodelistul poate efectua:
_- descompunerea sistemului inu sisteme;

Je
de simulare
estabilirea gradului decompleiiitate _alntgipgilor dintre subsisteme i
dintre acestea i mediul
:a un exerciiu exterior'
-oilitlalizif ni
i

if c modelele
-2
de comand
~l
icaii privind
interactiune, de i'
perturbai
s, preciare/alirnitglo
:unoscu sau de adrnisibilitaftc i a celor
variabilelor de stare, de comand, de interaciune;
e. El include, de
pot aduse_ prin
e stabilirea obiectivelor sistemului simulat i a scopului simulrii (caractea
rizare, predicie, raport coskperforman, stabilitate etc.),
94 Modelarea sistemelor de mare complcxitale !Modelarea hibri.

'
Metodologia modelarii i simularii
calea cea mai fi
de mare complexitate de achiziionan
sistem propune
trebuie s rspi
fel se asigur
O__, Ar aliza
sist mului
Culegerea datelor i
faptelor
Achiziionarea cunov
tinelor de la expert
4__O calculator, dar
l l un efort minii
o

:g TurboProlog sa
.

Baza de date i fapte

_

Baza de cunotine
_
`

n fina
(n general sub

y
r v

Modelul d) Elal
Model mate natic de
_ .

Modelul euristic de
_ _

_ mammaicoiurisnc carea din gui

simulare de Simulare 'simulare
posibile i de 2
Noi credem n
Algoritmul de simulare 4 acesta s duc
S nu
modelului de s

Progra n de Simularelstenarii de A . Expert sistem inarmat cu o 5

simulare r
simulare '
` shell
desiguyl vor
v

l
Afiarea rezultatelor de
modeleexister
Acest
simulare (grac 2D,
numeric)
interesant i dc
urmeaz s o
l 'nct nici un r
Model de simulare
Model de simulare Validarea modelului elaborrii unui
care necesit
v
vada 4 de simulare
reluarea lucrului tematico~euris
astfel de mo(
Fig. 4.3. Sinte a metodologiei de modelare-simulare a sistemelor de mare complexitate. nzodelrii mal(
problemele su;
ntr-ac
b) ca( gtrea datelor ,i faptelor. n aceast faz modelistul (analistul) fac parte din c
culege deia e) pert`gat eistentewenite dinr-mjsurtori, ca i fapte n legtur mpreun. Din
Elias _-tgiyi. Aceste date infiapte rezult tie din document t i n ce condiii t
cu com pe care 7
le idfiiia" eXpe tul i din. literatura de specialitate, tie din Eafr direct Reven
cu
expertul (prin i nterviu). hmmm
i'
complex i, d
Exist i posibilitatea ca s se fac culegerea datelor i faptelor n mod simplicrii n
t, cu ajutorul unui sistem de culegere automat a datelor (un sistem de t variabile de SL_
_,.~u_e~
de date _
_

: fapte utile in simulare.

_
_
n
o
..unu--

n`.
c) Ach
,45 tehnici avansa
ziionarea cunotinelor de la aperi. Aceast faz este mai descriere). Ar
delicat deoare ce nu toate cunotinele expertului sunt utile in simulare. De aceea
metoda spaiu
 ma re complexitate Modelarea hibrid a sistemelor 95
calea cea mai fructuoas de achiziionare a cunotinelor de la expert este
un sistem
de achiziionare a cunotinelor prin dialog ntre calculator i expert. Un aEI-c
"tem propune expertuluiun set de ntrebri; forrnaystandard
sub care acesta
trebuie s rsp d, fondul rspunsului rmnnd la latitudine zgtpertului. n
acest
fel se asfguf nu numai forma standard a cunotinelor, inteligibil de
a cunoa
expert 4_O calculator, dar i o accelerarela rspunsului din partea expertului,
ctre
care are de fcut

Z_
un efort minim. Un astfel 'de sistem utilizat i_ de noi poate fi un
program
: cunotine
TurboPrplog sau Clips. \ke _ __
In final, rezult o baz_ devvcurigtinerpentrusimularea sistemului
n cauz
(in general subform de regu i euristig, dar i sub form de obiecte structurate).
<_..:-._.._.._.
v. d) Elaborarea modelului de simulare. Aa
l
euristic de cum a rezultat i din clasi~
carea din figura 4.1, modelele de simulare prezint o mare varietate de modele
nulare
posibile i de aici se justific ideea c modelarea unui sistem 'ar-fi mai mult
o art.
Noi credem mai degrab c experiena i cunotinele modelistului l ajut
pe
acesta s duc la bun sfrit elaborarea unui model al unui sistem complex. ___

S nu omitem faptul c n momentul n

care se pune problema elaborrii
modelului de simulare, modelistul a parcurs primelewtrei etape i,
ca atare, el este
sistem inarmat cu o serie de informaii, cunotine i/datedespcezsitkemul simulat-
:ll care,
desigur; l vor ghida i chiar .influena n alegeea modluludintno clas de_
modeleexistente, dac exist) sau n elaborarea u i de ulare. iar
H*
as
*

r*
doilea caz elaboraiauiriic:: el de simulare -este mai
-
interesant i despre el dorim s vorbim n continuare. Atunci cnd. realitatea

pe care
urmeaz s o descriem, cu ajutorul modelului de simulare, este att de complex
'nct nici un model existent nu corespunde ateptrilor noastre,
ulare elaborrii unui se puneproblema
nou model. Un astfel de model este modelul d Simulare

m
c
.ilui tematicoeyristic_ (pe care lam descris n detaliu n aces:: acest n,
capi o
~.`....1-
astfel de model reclamdin parteamodelistului att cunotine in domeniul_
nrodelrii matematice, ct i n domeniul mod l
are complexitate. ,.__._..__,__... ,
problemele suplimentare care apar n momentul concatenrii ' eurstice, ca s nu mai vorbim de
m w celor dou modele.
Intr-adevr, s nu uitm faptul c modelul matematic i modelul euristic
:listul (analistul) '
fac parte din clase diferite i nimic nu ne asigur priori c ele
a vor funciona bine
fapte n legtur mpreun. Din fericire, n acest capitol am demonstrat o teorem n
care amarat
umentaii pe care n ce condiii un astfel de model hibrpoate funciona,
icarea direct cu Revenind acum la nodelu 'materna zc e sim l re, acesta
este de obicei
i, de cele mar' niiz te ori, nelmza In aceste cazuri
i

'faptele
Jl' (un sistem de
le iri simulare.
faz este mai*\idil
nulare. De aceea
se pune problema
' .modelului (fieprin l' ` `
g., fie prin
tarelsaii problema reducerii modelului f .rt`3. ..
(agregate).
5 .sYrs-Trr-vnv-:Ll
am
naliza unui este mai dicil_ ea necesitand metode i
&ai
tehnici avansate (de exemplu metoda convolutiei complexe, metoda funct lor de
descriere). Analiza (ielelor liniar? este mai puin dificil i(alCl disupunem
"' metoda spaiului
strilor i de analiza n domeniul frecventei).
 96 Modelarea sistemelor de mare complexitate
Modelarea ltibrid
O proble m important privind modelul de simulare este
studiulstabilitii n
prezent, pent
sistemului cu a] torul modelului i controlul sistemului
cu ajutorul modelului',
pentru care exist metode puternice de analiz i algoritmi (v. capitolele 7 i IO). / calculatoarele CO'
O probl(
n
ceea C privete delul ' uristigtle simulare, o contribuie decisiv o
folosit. Fr ca
are expertul, dar modelistul e uie sa tie' (i aici pate c este vorba de
o art)

configuraie stari
cum s achiziioneze cunostintele de la expert i cum s le structureze astfel nct
ele s constituie 'I n modeLM punem de:
un cal(
e)Algontrnul de simulare. Rezolvarea efectiv a unei probleme, utiliznd simulat),-dela 3C
un model de simulare, nu este o chestiune simpl,
aa cum ar putea prea la prima
vedere, chiar da' fi dispunem de modelul de simulare (executabil),
de datele i
cunotinele. necc sare, de scenariul -de simulare i de
un program de calcul. Este
nevoie s dispun *m i de un algoritm de simulare,
, care ari: rolulg_de a monitoriza x
toate aceste elemente, de a le chema nLr~o ordine
E ._;......___...=__,
_

presta iita, de a executa o impr

de
programul simiilre, de :Tart rezultatele-de-iinulare (sub forma
3D, eVntualwnu neric) i' de
grafic 2D sau;- -
a compara aceste rezultate cu rezultatele expej' Din pun(
rimentale. I Cazul
i

Un astfel de algoritm de simulare este algoritmul HYBRID, produsele: Matlz

prezentat n
capitolul 10, algoritm complex produs al firmei
care demonstreaz c simularea unui sistem mare,
complex pune n "aa utilizatorului (analistului) serie de probleme facilitile produ
o departe de a fi
banale. este mai mare.
'OElabrai-e sceriariilor de simulare. naintea 0 Cazul i
realizrii simulrii pro '
de programare
priu-zise, "ultima etap care trebuie parcurs este
~

aceea de planificare _rat complex, deoar

experimentului, a lic de elaborare e unor scenarii de simulare.
Ce mai important programului se f(
Tc ie stabilit n cadrul unui scenariu de simulare este scopul acestuia.
Scpulxpjygl_ _zgliiide simulare este, cel mai adesea, acela
tendinte de de 'eg are a compoitrii sistemului
de a sesigventuale `>
obiectulfmulrii,
h) Aim
operaie care IHE
btiie nrire eiluiel salein viitor n care face altfe .o
vederea meninerii stabilitatii sale.
.r
se prezint sub fi
Stabilim a obiectiv principal al experimentului scalar). Se pot u1
de simulare meninerea
'
variabilelor de st re ale sistemului n interiorul intervalelor cu alt linie sau c

subo
de
vaniii
si
r& irrzsirsseartriadica
ele trebuie `\ i) Valid::
s aparin unor i' ervale_ (sub)optimale. n
_

acelai timp, variabilele de control sunt

ca operaiunea i
supuse aceluiai de restricii. Introducerea de restrictii n modelul dc simulare 1
de ntoarcere (re
descrie problema de simulare
ca fiind o problem de simulare i control. validatValidarez
Traiectoria varialllelor de stare poate s'
n
impuse. n aceast situaie, variab l ~ \Ialidai
c rezultatele ob
ti readuse' n int rvalul dorit .l
de fapt mai mul
experiena speciali "tuluiiiiftilind i sistem de iptil
un ' sis' variaii sezoniere
*' g) Sim ular ea. Simularea nseamn efectuarea
1,5, experimente,
unuia sau mai multor ~ validar
cu aj HOFl calculatorului, folosind modelul de simulare (executabil). cu compararea '

.;t_7,v,=_r.,.
perioad de timp
 mare compleXi/are Modelarea hibrid a sistemelor 97
rludiul stabilitii In prezent, pentru simulare se apeleazla calculatoarele personale, cum ar fi
(torul nzodelitlui, calculatoarele compatibile IBM ~ PC, calculatoarele Apple Macintosh etc.
tolele 7 i 10). O problem important este alegerea cozijiguraiei sistemului de
calcul
'ibuie decisiv o folosit. Fr ca prin aceasta s afirmm c ceea ce prezentm mai jos constituie
o
vorba de o art) configuraie standard, pentru simularea sistemelor mari, complexe, trebuie s dis~
ureze astfel nct punem de:
~ un calculator personal Pentium (n funcie de complexitatea sistemului
Dbleme, utiliznd simulat), de la 300 MHz n sus, n urmtoarea configuraie: '

:a prea la prima ~ coprocesor ncorporat;

yil), de datele i
'- memorie RAM minimum MB (sau superioar);
8

i de calcul. Este driver hard-disk 10 GB (sau superioar);

de a`monitoriza - display (opional color);
, de a executa -
~ o imprimant grafic (de preferin laser sau cujet de cerneal).
ia grafic 2D sau
Din punct de vedere. software problema prezint dou aspecte:
rezultatele expe-
e J' Cazul n care se utilizeaz uri produs de frina', specializat, aa cum sunt
EID, prod us ele: Matlab (sub Simulink), produs al firmei MathWorks, sau Mathcad,__
prezentat n
nui sistem mare,
produs al irrriei a 'so . In acest caz misiunea utilizatorului este uurat
e
departe de a fi facilitile produsului~program, dar durata de execuie a programului de simulare
ie
este mai mare.
_ ,

ii
- Cazul n care se utilizeaz un compilatar specializat, scris intr-un limbaj
simulrii pro- de programare cum ar fi C n acest caz, misiunea utilimtorului
este mai
e planificare a complex, deoarece el trebuie,e.,..._ _

sa scrie acest
l
compilator, dar durata de exee uie az
el mai important
programului se reduce simitorJ 7"***
scopul acestuia.
sesiza eventuale
Afiarea rezultatelor rimul 'i. Afiarea rezultatelor de simulare este
h)
o
simulrii, altfel operaie care intereseaz n cel mai nalt grad pe utilizator. n mod uzual rezultatele
se prezint
sub nJD
ilitii sale. Sjlllip) sau numeric (matriceal, vectorial sau
ilare meninerea scalar . Se pot utiliza mai rnulfe grafice p-ekaicelai plot (dreptunghi), fiecare gratie
'cu alt linie
suboptimalitate. sau cu alt culoare (dac evident se dispune de un display color).
adic ele trebuie i) Validarea nzodelului de simulare. Aceast operaie poate fi considerat
e de control sunt
ca operatiunea final a muncii modelistului, dac modelul este validat, sau un punct
elul de simulare de ntoarcere (reluare) a lucrului, n cazul n care modelul de simulare nu
este
lare i control. validat. Validarea este de dou feluri:
~' validarea lav' a modelului de sirr

echivalent cu
ifele impuse pot &
c rezultatele obinute prin simulare trebuie s satisfac mai multe criterii logice,
.

un i): bazate pe de fapt mai multe ipoteze despre sistemul simulat i com po rt areahsa cii`ri`r`"
'l. variaii sezoniere, eiistinta unoilriiaxVmEiiTiiirne, 'o`ii`u`ii'it"periodici tate etc);
au mai multor ~ validarea a1 erignenlal a modelului de simulare, care este echivalent
are (executabil). cu compararea rezultatelor 'de simulare cu cele experimentale (pe o anumit
perie)?d`d timp): Cea 'mai bun metod' di* comparare este a:: :zi de a afia
per '
mare complexitate Modelarea hibrid arirlelnelor 97

:Iudiul stabilitii n prezent, pentru simulare

se apeleaz la calculatoarele personale, cum ar fi
(torul tnodelitlui, calculatoarele compatibile IBM ~ PC, calculatoarele Apple Macintosh etc.
tolelc 7 i 10). O problem important este alegerea canjguraiei sistemului de calcul
ibuie decisiv o folosit. Fr ca prin aceasta s afinnm c ceea ce prezentm mai jos constituie o
vorba de o art) configuraie standard, pentru simularea sistemelor mari, complexe, trebuie s dis~
ureze astfel nct punem de: _

,Pentium (n funcie de complexitatea sistemului

~ un calculator personal
Jbleme, utiliznd simulat), dela 300 MHZ n sus, n urmtoarea configuraie:
:a prea la prima A coprocesor ncorporat; _

'

'- memorie RAM minimum MB (sau superioar);

)il), de datele i 8

i de calcul. Este driver harddisk 10 GB (sau superioar);

de a monitoriza
- display (opional color);
, de a executa -
o imprimant grafic (de preferin laser sau cujet de cerneal).
ia grafic 2D sau
-
Din punct de vedere software_ problema prezint dou aspecte:
rezultatele expe-
.-' Cazul in care se utilizeaz un produs de firm, specializat, aa cum sunt
ai
produsele: Matlab (sub Simulink), produs al firmei MatliWorks, sau Mathcad,__
lD, prezentat n
produs al irrei a iso acest caz misiunea utilizatorului este uurat 'e
nui sistem mare,
facilitile produsului-program, dar durata de execuie a programului de simulare
ie departe de a fi
este mai mare.
I Cazul n care re utilizeaz un conzpilatar specializat, scris 'intr-un limbaj *
ii simulrii pro~ de programare cum ar fi C. H acest caz, misiunea utilizatorului este mai
e planificare a complex, deoarece el trebuie s scrie acest compilator, dar durata de execuie a (pi
el mai important _ _

programului se reduce simtitor. ...7.`_.___\
V

.,
_

scopul acestuia.
sesiza eventuale
h) Afiarea rezultatelor simulrii. Afiarea rezultatelor de simulare este o
operaie care intereseaz n 'cel mai nalt grad pe utilizator. n mod uzual rezultatele
simulrii, altfel
uilitii sale. se prezint sub forma grafic (n sau numeric (matriceal, vectorial sau

(drept c
scalar . Se pot utiliza mai multegratce pieheicelai
plot
ilarc meninerea cualt linie
sau cu alt culoare (dac evident se dispune de un display color).
suboptimalitate.
adic ele trebuie i) Validarea nzodelului de simulare. Aceast operaie poate considerat
e de control sunt ca operaiunea nal a muncii modelistului, dac modelul este validat, sau un punct
clul dc simulare de ntoarcere (reluare) a lucrului, n cazul n care modelul de simulare nu este
lare i control. validat. Validarea este de dou feluri:
"t"le -wralidarea lo a modelul ' de "Imulsre am e echivalent cu F
`

' J& . -
multe criterii-logice,
r -

life eimpuse pot ca rezultatele obinute prin simulare trebuie sa satis

_ . _ .
mai
uni), bazate pe de fapt mai multe ipoteze despre sistemul simmibi comportarawialiuiim"af '
T. variaii sezoniere, eirrh uriorimaiiiiiiiminiri; o ``iiriit`iaeridicitate etc);
erimqglalma modelului de simulare, care este echivalent
au mai multor ~ validarea e.
cu compararea rezultatelor Ade
simulare cu cele experimentale (pe o anumit
are (executabil).
perioi' de timp). Cermei bun metod d& comparare este de a aa
pe
r
 98 Modelarea rirrclnelor de :nare complexitate !Modelarea hibridi

acelai plot att gracul rspunsului simulat (de exemplu cu linie continu), ct i 4. Kuipers, B.
graficul (in sca r) al valorilor experimentale (msurate). Din comparare poate knowledge. n
rezulta fie valid irea modelului de simulare, e nevoia de relua i adnci modelul 5. Lchmann, A.
a
de simulare [3, (al. in a Iypiral P-
ln mon entul n care elaboram un model, ajungem cu necesitate la of Karlsme,
6. Murray-Smitl
urm toarea intr ebare: ce ncredere putem acorda modelului ca instrument de n: Computa
cercetare a eomportrii sistemului pe carew] reprezint? Altfel spus, justific
tnodelul utilitar a sa ca instrument de lucru prin superioritatea fa de simpla pag. 21438.
7. Negoi, C.
analiz a sistem ilui? n: I-nterdisci
Etapa d e validare a modelului are ca obiectiv general gsirea n model a 8. Oshuga, S. i
modului de com portare a sistemului real. -
' i
based decont
~n
acest scop se pot folosi urmtoarele criterii de validare: 1993, pag. 38
0 Criler ul noncontmdiciei. Acest criteriu 'se poatei formula astfel: 9. Postlethwaite
compottaiieii
A
"
,
ansamb umoddlui
w. . .
nu trebtpe sa e in contradictie cu cea a
__
_ . . 'Signal EL Sy:
m, \ 10. Stareld, A.

`ac`erea
"criteriul"Ejhca nc din stadiul
septembrie; l
d deliberat n stri de crizp, pentru depista eventualele qiie
a
ll. Stanciulescu,
knawledgebi
i de comportament. n cadrul acestui ctiteriurse face verificare
o de on Scientific
detaliu *fcirt
A

i
stfel, existena n sistemul real a unor oscilaii
i
'
pag. 1-6.
(periodice sau n i), decalajele n timp dintre variabile, viteza de evoluie astaa 12. Stanciulescu,
reprezint criter 'de .cum...:..=..;..a4c.......
>'"5>__.._._ r
conditions. A
validare.
w
r .

)}6l\_,9\h
Pentru lidarea 'modelului de simulare se efectueaz mai nti o experien IMACSIIFJP
cu date' de tes cunoscute, pentru a vedea dac comportarea de ansamblu a
'
Patras, Greci
modelului mate atic
nu vine n contradicie cu comportarea sistemului simulat,
nerespectnd as el criteriul noncontradiciei. Se .obin rezultate de simulare, care se
compar cu rezu tate reale n scopul validrii modelului.
n cazul rrcare caracteristicile de comportare, att ale modelului
ct i ale
sistemului real, ' e preteaz la cuanticare i msurare, se pot deni indicatori'
_s
care
msoare grad l de concordan ntre nzadel i sistemul real.

Biblia grafie selectiv.

l. Borne, P. Rar: nr result; on Inultimodel control. n: Plenary Keynote Papers the 15"'
at
IMACS Worl Congress", Berlin , i997.
2. Cellier, F. E. Mixed quantitative and qualilative Inadellirtg and xinmlalion. n:
Proce
edings of [hei uropean Simulation Symposium", Delft, 1993, pag, 76l762.
3. Kotva, M. M zhedlc .z EII-lgnl/Ifi\llliiif .timulrzrion Inodels.
n: Preprints European
Congress on Simulation", vol. A, Praga, 1987, pag. 2587262.
 Baza de amo;

Nurr
S
'Sum

bg
_

BAZA DE CUNOTINTE PENTRU -

ma
momentul d(
MODELARE I SIMULARE
.

este considc
negaia logi(
este conside
Dac

iar dac x =

Mc delarea i' simularea bazate pe cunotine au generat cercetri legate de

construirea bazelor _de cunotine, de reprezentarea cunotinelor -i logicilor Pra,
.neclasice utilizate n acest scop [2, 3, 4, 5, 7, -9, ll].:Dintre acestea din urm dou
se detaeaz prin gradul lor de aplicabilitate: logica secventiala logica dinamic.
i Pro]

_
5.1. Logica secvenial i .logica dinamic
i.
5. l.1. Logica-secvenial. Axiome i reguli
Logica secventiala? [8, IO] este strns legat de conceptelde 2110111211151::
timp, inre val e ting de timp. enmiiitia acestor termeni este
secv nta
/rmatoarezmomenl (de timp) marclf o schimbare n stareamigii, Le;
intervalul de timp) este timpul dintre dou stri succesive, iar secvena (de timp)
e ----T----
\Y .inseamna, mai. multe momente sau intervale (de) timp). ...s. SH] i
Fi _f P,+1
\x
l&

{x(O),x,(l),..., x(t-1),x'(t).x(t+1),.);
x:
-

li
Prc
Y: (0), y(1),..., yz-1),y(z),y(z+1),...i I;

dgrggqj
pri'
secventele a dou variabile logice bivalente x i y la diferte momente

elem j
Aadar, variabilele x0) i y(t) iau valori din mulimea cu dou

Numim 5111115 logic secvenial urmto ea funcie logic:

A
s.<x:y>=xrr-`rvyr. 'i
gw
~
Pri
.

Numim produsilogic secvenial funcia logic:

P.(x.y = .mm A yo). gg
tia- A; e 4 -l'-
 ' Baza e cunotine pentru modelare i .rimu/are

Numim negtie logic semvenialfuncia logic:

_,.__.. .

MAX) 21m). e Nu?

Suma Iogicecvenial, respectiv produsul logicecyenial,
reprezint
RU vsuma logic, respectiv_ produsul logic, ale variabilelor logice (considerat la
.

momentul de timp t-1) i y (considerat la momentul de timp t). _ Valoarea rezultat

\
este considerat 'la momentul ulterior, !+1. Negaia logic
' secvenial' exprim-ea--
lamomentul*
u `

negaia logica.,. a variabileix

a u
. 1

de timp
.
t, dar rezultatul acestei operaiuni
. .
a l

este considerafla momentul"!+1. "" '

Dac Eimtmten relaiile de mai

sus, 'rezult
.9.(m`-'y'(z-1vx(z: -' `

\k
\t
P.(y,x) = ya-I) A x0), -

'iar dac x = y. atunci:

7

' "t,

co-Ii vaio;
`fs.`'(xx
-

rcetri legate de =
-w-
:lor i logiclor' Pi(x.x)=x(t-,1)Ax(t)-

a din umi dou _Propiel alefunciilor !_ag'ice seciientiale

Jgica dinamic.
Proprieti ale lui 0 i I n relaie S, i PM:
cu
51440510)
= *VV-Di
Sri-ICI:
li =_ 13:.
5.40 = xtoz A
S:+i(_1,.x) 19.' l
= '
P..o=o;
P..<x. 1) = xon;
: de moment de ,
P.(0,r) = 0; r"
Jr termeni este Pnl-UPC)
irea sistemului, _ :Jia-
vena (de timp)
S',_(x,P(y,x))
= x(t-l) V P,(_y,x) = x(1-'l) .V (y(t-2) A x(t-1`)) =x(t-l);r
pvtKxu-SUJO) X(f"1.)/\ SYJ) ?CU-U AOF)
= = Y X(1'1))= X04);
Propieia ' qg ne ariei iogice secvenaie
de A, *o "k/ .,r`a.z'`
A

ente timp I. Principiul contradiciei:

nte {O,l}. 1j,(x,`lx)
= x(t-l) A N,(<:) x(t-1) _A x(r'-1_).=L
ui'rertizlrrizarizr '
- `
` r

_Si(X.`lzr_)
= ra-n v Nm =x<r~n v 1x<r-1=_1_.f
\'l\
Principiul dubiei ne atii:

_._.. Nmx) = (lx(t~'1))=,x(!-I3-

 Buza de cuna
102 Madelarea .rislemelar de mare complexitate

5:1 poziii privindfunciile

5.1.
logice SM, PM , NM
Urmtoarele propoziii au loc n legtur cu funciile logice SH. PM, N, i Log
sunt ulle pentru simplificarea expresiilor logice secveniale: introdus d
*i: programelor
ropoziia nti: cu predicate
- v-zzi)
_

S,(Lt,S(y ))=x(1-I)vS,(y,x) x(t-l)v{y{t-2) x(t-1)) y(t Alfz

= v = v x(t-l) = 541i
' nice goe', o n
_g -
ropoziia a doua: '

-
~

Pm(x.P()' )) = x-l) A P01) =x(I-1) R0414) AXG-D) = x04?) A XQ-l) =_1V:(7x); Pre(
` U..
ropoziia a treia:
3
'

-
Sr+1(X.P()'.i )) P,(y,`lx)
.
-c
= x(t-1) v
x(t-l)
v_ (y(t-2_) A N,_l(x)) = 10-!) v y(t-2) *_
l? ropoziiaapatra:
' -n
'- .
-P ,pgsqjg x(t-1) A s,(y,l
~

?-l
.

); x(t-1) A (ya-z) v_ N,__;(x)) = <>

x-l) A Xt-Z)
"Propoziia a cincea:
=Pu(yx);
[l-
'
' e

V n

f
' '
' vMul
-
-
_

V
v V
_

S141 (S(x.y). P0235 (1043) "= y(t-2)_) utiliznd un

P(y,x)) = S,_1(x,y)
v = v v (y(t~2) vxq-l
= x(t-l) .v (y(_z-'2)'v M-_2).A "x-D2) = ic(t`-3) y(tl-2 S,.1(x,y);_ - or
is;--*.t.;
'==

~
v -de
.gg - .A804/z(z-1)=
\
l_

,
y:
-
l,ropoziia
.. a asea.
'x
J
-t a: -2)~ -or
-dz
MP( raxsox = Px(x.y)A cr(_t.-.3)
sm) P._;(x.y);
= A y( (yo-z) v
= x(t-3) I\ y(I-2) = -dz
*
`-

I' n l(
-
Propoziia a aptea:
S:+i(P(A .y).S(y,z))
_

= Pr-xny) V 5:01) (IQ-l) A y(t-2)) V (Mt-) V ZO-l) =

'
= JVC-) V z(t-l) = 50.2); ' ' `

37
n

Propoziia
a opta:
-
-
-
V
_ _
_

P:+1(S(IJ).P()'.Z)) = 51-May) A PzOnz) (30-13) V

= y(t-2)) I\ OKI-Z) A z(t-1)) =
= (NU-Z) A 20-19 = Pn()nz)- '

'
Formulei:: lui de Morgan n logic secvenial: -
Um
fc
1P.(x.y -= 1 (x04) A ya = 1x05:) Mt) = sz(1x,]yw;_ -_ p,
6
v
lsr(x,y = loco-I) ym -= _ix(t-1)_)?\-ly(t)`= PmdxJ y).
v
Implicaia ,n logic .recvenial se scrie astfel: -
-_ p,
fo

Util
lawn: -w-l) qm
a a, b pentru
1

(se cilele dac propoziia 'p este adevrat la momentul de timp 1-1, aceasta pentru logic
v, ma? g propoziia q es& adevrat la mormant! :ie timp 2).' "

As gnarea n logic secvenial se scrie: - T(

MP4): WH) @(1). l)<
momentul t este asignat lui
P 2)<
aloarea logic a p la momentuk/Hl).
lui q la
 Baza de cunotine pentru modelare i .rimulare
:nare complexitate 103

5.1.2.'Logica dinamic. Axiome i reguli

CC sul: Pnl. IV: i '
Logica dinamic [1, 6] _este considerat ca o dezvoltare logicii modale,
introdus de logicieni ca_ o teorie logic capabil a
s exprime proprietatile
programelor de calculEa poate fi considerat ica o -extin ere clasicului calcul
"cu preicate, m legatura cu dou specii de obiecte a
sintactice: fonnule i progame;
'Ati-D = 50x); igmbetul utilizat n logica dinamic const dintr-o mu
ime' e
*v

mice (pu, mu ime de -

'
_
programe atomice dloi din simbolurile: U, ;, *IL ?, < >, []. N
-xQ-l) = mm); Precizm c senmijicuia sinrlgolurilor n logica dinamic
este urmtoarea:
reuniunea (a dou programe);
u-
'
'
' '

;
concatenarea'(a 'dou programe);
V y(t-2).= SAN); * iterarea unui program; -
negaia logic;
? test;
--
e ='
< > program posibil; -
[ ] program necesar. -
-
sax151i
jMulimea dc rogram, ., cea deformule; 5,4%! definesc inductiv,

utilizn
z(t-ly)i)
x =* "*'*`*'5`~\`/ -

(1-2) '= Sexxy); ; orice program atomic n X0 este un program;

p

- dac a i b sunt programe, tot aa sunt [a b], [a;b], a';

- oriceformul atomic n (pgesteo fnmiul;
U .

2) z(`z-1)
= -
dac p este fonnul i un program, atunci i < >'

dac p este o formul, aatunci este

- p a p sunt formule;
n logica _dinamic - p un progranL
se folosesc unntoarele abrevia-iuni:
2)
v z(t-1) = :p/\qv pentru <p?>q
.M111 Alql.
p v q pentru
p -> q Pentru P V q
z)
I\ z(t.-l)) = p E41 pentru (p - q) A (q-n:)
_[a]p pentru <a> _ip
Urmtoarele notatii sunt specifice logicii dinamice:
-._.......~......._

dv\- fonnule atomice: P, Q, R,.. '

u:
1
-
programe atomice: A, B, C, ..;
y);
formule: p, q, r,...;-
programe: a, b, c,... -
Utiliznd sim
-
_
din logica_ matematic precum '
i; perete programe
p, pentru' ofmule, se consider urmtorul sistem giga'
1p t~1, aceasta pentru _logica dizag1ic; '
7*
J
Axiome n logica dinamic:
v Toate Iaulologiile calculul'
prop?
1)<aub>p<=<a>pv<b>p;
romentul_ 1+1), .
2)<a>(_zx'q)cfa<a>gjk~'<
 Modelarea sistemelor de :nare conzplexitate
Baza de cuno!
3)<a;I`7>p<=<t1><b>p .

4)<at>p(=>pv<a>_<at>p 5.2.
S)<'a.p>epv<ak>_lpv<a>p)
'6)<A>p-[A}p Anali
7)(3x)1?<=>P mai sunt nc
8)pt)-'9Gx)p(_x) V este evident
9) l-
Fe)]P(x) @PM definite, n p2
10) q?]p<=>(q->1)' finite. Astfel
multe sisteme
0 Reguli de inferen: nu pot desc
m-:smwv-'wv-:n
,wa _yQ/x/s/\AA n viitorul apr
'
'- Raiu
ll. (modus ponens)
sisteme, dece
q _._.__.__,
.

(se citete: Dac propoziia implic propoziia i este adevrat Atunciii i/sau incert
p q q p
este adevra ); l
v
e
;
, '
`
toate) dintre
cunoaterii e
-lq
dpi-
12'.
q'
(marius tallenr) cunoaterea
4

le acumulri i
(se citete: Dac' propoziia p implic prop-olziia q i este fals, Atunci i este analizassimu
fals);
q
'
-
p -
'
maiadecvate
'
Astfe

13.

'
baz 'de cum
lP

"

euristce (izv
"i 'lizate) relativ
14_ p-q p-HJ.
. acestui sistem
alp-Ialqp (axp-(axq. Baza
include, aad
15_p~rq1p ; include toate
n-[a']p 'cunotine m
_9(x+1) -_ < > de la expert,
a p(x)
care guverne
-+< a">' poe)
`

m) riena experti
gtur cu utilizarea logicii secveniale i logicii-dinamice n Mod
a contex- i/sau create
fa, sub em urmtoarele: ..
nialismul logicii egv niale i scejnisxrfnuljfdinamige consti- putnd r
cunotine. E
ger e
@Eilglui
rereze ,. ma ema 'co-euristic; de obicei, si
ca ecvenil i logica dinamic sunt adaptabile la cazul colectiei de
ajutorul des(
__e, care _constuic nHsierEMIQg ' n celegw- A,
S 'N
' 'mai' mle si u conurelelci mai degrab n schema logica cu informaie incom-
_
L

plet; transforme
matematic. t
'\ v

es., -log ca secvenial i logica dinamic sunt utile n construirea mecanisw asimptotic i
\ mului de infegt.
' aceast tehni
cu cel euristi
 mare complexitate
Baza de cunotine pentru modelare
i simulare 105

5.2. Reprezentarea cunotinelor

Analiza, simularea i controlul sistemelor naturale i tehnologice fost i

mai sunt nc considerate a fi de domeniul calcululuinumeric. Aceast au
afirmaie
este evident adeviat n legtur cu sistemele avnd modele matematice bine
definite, n particular pentru cele descrise" prin ecuaii difereniale
finite. Astfel de modele .exist pentru o clas de fenomene naturale, sau cu diferene
_multe sisteme tehnologice. Cu toate ca i pentru
acestea, exist un mare numr de sisteme care
_nu pot fi descrise
pe aceast cale i nici.nu se- poate spera ca acest lucru ar ti posibil
n viitorul apropiat; - r ~ `

'
_ .
2
Raiunea este simpl: modelele-pur matematice
_ _

nu sunt adecvate acestor

e _

'
sisteme, deoarecesunt sisteme mari,
com lexe, cunoaterea lor fiind incomplet
_

rat, Atunci i
p i?, i/sau incert i este _formulat ca o colecie de' declaraii 'exprimnd
unele (dar nu,
~

s; toatei dintre linformaile despre structura-sistemului i

'
l cunoaterii componareajsa sub forma
experte, a regulilor euristice i/sau deciziilor. Att sistemele' ct i
cunoaterea cspre ele evolueaz, ele fiind rezultatul
unor experiene i
acumulri I imbuntain, sau al 'seleciei naturale i rafinrii proceselor. erori,
* Pentru
Atunci i p este analiza, simularea i controlul unor astfel de sisteme (matematic indetinibile)
,
mai adecvate metodele ingineriei cunoaterii [5]. sunt '
l _
,
Astfel, a aprut necesitatea obiectiv a construirii
.a ceea ce se. numete
_

baza ale cunotinte, pe care o putem defini ca~o entitate care include &uria-liniei
din' cunoaterea expert) i cunotine_ conce tuale (sau fomia-
lizate) relative la sistemul n cauz i- care
servesc analizei, simu arii i controlului
acestui sistem. _
`

Baza de cunotine constituie esena a cea 'ce-se numete sistem

.

include, aadar, o mare varietate de cunotine relative la sistemul analizat, expert. Ea

dar nu*
include toate cunotinele despre sistem. n particular, putem
atimia c bau e
cunotine nu este un manual_. Ea include, cu precdere, acele
cuno ti
de la ex ert, care faci-litea simularea sistemului i controlul acestuia,
reluate
,de la legile
care guverneaz domeniul considerat pn la reguli euristice, izvorte din
rienatxpertiilui. expc- >
_ '
Modelele ncorporate n baza de cunotine
. gbg
amice n contex- sunt deduse din legiale naturii
V

i/sau create de om, la nceput fiind specializate la aplicaie specific.,

o dar ulterior
rlinam i ce const'`- putnd fi mbogite, pe msura dezvoltrii sistemului i acumularii
.
de noi
:UCI cunotine. Baza de cunotine. .incorporeaza
- modele - .
euristice care sunt prezentate,
.

de obicei, sub forma de regulide forma <Dac-Atunci> (<If-Tlzen>),.adic

I
az" _Ceje
v
I

a'utoru_l_d_escii`_eri' logicollingvisti_ cu
_noaterii expeite. idealul tc-
Umpleta 0 DJ?2*_
" ca pe_
ura adnci espre *sisteriilanaiiza, a
_
V

fmmale 'mmm'

transforme n cunoatere matematic, adic modelul euristic s devin se "r

model
matematic. Acest lucru sc intmpluneori, dar este un
truirca mecanis- proces anevoios, practic
asimptotic i, de aceea, cele mai multe sisteme reale pot fi modelate
nu dect cu
aceast tehnic de modelare hibrid, nscut din conexiunea modelului matematic
cu cel euristic i pe Ere arn denumita modelare malematiweurislic.
w--a-cww-.r
 Modelarea sistemelor (le mare complexitate Baza de cunot

n continuare,
vom examina mai multe metode i scheme de reprezentare a Aadz
cunoaterii utile n construcia bazelor de cunotine pentru modelare i simulare. relativ indepc
zentare a cun(

5.2 1. Reprezentarea bazat pe logic Conc(

prelucrare. Ur
Log ca formal este rezultatul direct al dorinei cercettorilor de nelege
a lucru i un m
natura raionamentului i cunoaterii umane. Logica a fost special construit pentru coninute n n
a formaliza noiunile de adevr' i inferen, n procesul de gndire uman. n regulilor sele
consecin, deea de a utiliza rezultatele bine fundamentate ale logicii matematice inferein 'ca i
ca metod reprezentare simbolic a cunoaterii este intuitiv atractiv pentru
logicieni. A eacia este justificat prin examinarea
corespunde bi
unor atribute evidente imediat de iriferent 5
ale logicii a tematice, ca scheme de reprezentare cunoaterii. informaie ex]
a _

_
La citeste un limbaj general, care furnizeaz o interfa clar definit ntre este amorsat
'itnia sem ic' a unei expresii i reprezetahreaei simbolic. Teoria logicii este plus, posibili
ibm unda
tapodTii
i
care garanteaz
consistena soliditateaiinferenelor rezultate. Unele dintre schemele de
reprezen-
tare, care su t uzual citate, ca_ posibile fundamente ale cunoaterii, i au rdcinile
faciliteaz ra
vite ale acest::
i
Utiliz_
n studiul lo'cii forimale. ' '
'
i
'
i
'
_
rezolvare a pr
Mai recent, exist abordri ale reprezentrii _cunoateriiutiliznd logica cunoscute n
WM/
.

..x dinamic i logicalrevential care introduc explicit n logic variabila timp. i asemenea, poi
conceptele: ornentul de timpfctulisecvena (de timp). In acest fel, logica care pot des

matematic nefixat, i ce
de a mai fiun instmmentstatic, ea putnd s _descrie evoluia. '
r

acest caz, noi

?
ai
sisteel
'
_' '
__ _

afecteze struci
C a -
.
_

cele
mai cuprinntoare abordri sunt urmtoarele;
reguli de infei
li. ' 0 A r rdarea bazat 'ii-egulid) inf ren' i rezolutie

i
~
i i
controlului; C

genera
'
-
o .
_

Cun aterea este codicat cu ajutorul dente, permiti

regulilor' de 'nferen (numite uneori ireguli 'roduc ie), fiecare dintre acestea simpl i nes
constnddirtro premis (clauz,
tat) C, iput ind. exprimat subforma standar condi zie
(consecin, rezul reaciona-cu
aceasta' este p
nclesul
.

unei astfel de Aceleai trs

reguli este urmtorul :
dente ale unei
i. ______4V,.
_CM < Dac P este adevrat, Atunci i C este adevrat >.
_

'i toti
Formatul de mai sus al regulilor de producie presupuneic att premisa P de reguli de i
c. i concluzia C se exprim c" torul ace i limbaj. Deoarece (curu ar _fi
r_

cunoaterea

despre anum te realiti poate fi incert, poate exista o anumit msur a validitii procedeele de
regulii asocia te cu aceasta (pro abilitate, factor de certitudine, ans). n alte metode) e
acest caz,
3_

nelesul regt lii de producie Esteiiriti:

v

'wil-Www Sislen
. _

rmeni probabilistici);
.--........._.
procedeului e
P este adevrat cu gradul de apartenenzl/luiici C este calculului cu
adevrat cu gradul de apartenen p2> (in teneiiii mulimilor vagi). reprezentat i
 :i:
@ar
evue L U.Tm.
51W :*wmoale & @Mc
i' gt,
i
&

zre complexitate Baza de cunotine pentru modelare simulare

i emwwc ale QA/\lhjra
reprezentare a Aadar, un sistem de~ reguli de inferent este un set neordonat de reguli
independent/n evesuxix-,
~

i simulare.
.
relativ .
aceasta schema, o regula
V
este forma atomica.
de repre-
. .
zentare a cunoaterii, reprezentata., e
canonic prin urmatoarea forma
..
standard:
< Dac premisa, Atunci concluzie > .
Conceptual, o regul de inferen are o arhitectur i un mecanism de
relucrare. Un sistem de astfel de reguliconst dintr-un set de reguli, o memorie de
r de a nelege _lucru i un mecanism de control, care s asigure: a) comgalibilzarea informaiei
instruit pentru
lire uman. n
cii matematice
oiinute n memoria de lucru; b) selecionarea regulilor de utilizat; c) executarea
'
gulilor selectate. Argumentul folosit pentru a justifica_ sisteinil de reguli de
feren ca model al procesului gndirii umane este faptul c 'd' singur regul
f
tractiv pentru _ oresptinde bine unei uniti de cunoatere pentru rezolvarea problemeir .Regulile
iidente imediat de inferen sunt, n general, transparente n legtur cu nelesul lor_i poart o
'informaie explicativ explicit. Acesteafiind spuse, raiunea pentru care o regul
Ar definit ntre este amorsat rezult comparand starea memoriei' de lucru cu premisa regulii. n
iria logicii este plus, posibilitatea de a pptrivi datele cu premisadsau concluzia unei reguli
:are garanteaz
.faciliteaz rationamentul a priori', raionamentul aposteriori sau combinaii. potri-
le de reprezen- :vite aleacestora. _
. , _ _

i au rdcinile Utilizarea regulilor de inferen estepotrigt, n special; cnd: mediul._de

'rezolvae a x, iar procedurile"de control

ol e
l ale_ soluiei
nu sunt
itiliznd logica _cosuten avans. Un astfel sistem bazat ge reguli de inferen este, de_ ' i
ti&

iriabila timp i
V
aseieneajpotrivit n cazulaplia-iilqr n care_ treb ie rezolvate oblemecu ate
erezovare
'care potfi descompuse'n` subgrobleme relativ independente, cu.o arie de
cest fel, logica 'nexatzg i care necesit_un numr mare de modicari pe o perioad de timp. n
:lescrie evoluiei K

'acest caz, noi reguli pot fi in'oduse-i_/sau soascdin sistem, tr ca aceasta s-i \x '

afecteze structura general. Avariajelemajore realizate din .utilizarea sistemelor de i"

:ar cu ajutorul
e dintre acestea
nsecin, rezul-
il unei astfel de
_reguli de inferen provin din separarea inerent
-CQIIITIJ-lululi; Cunoaterea faptic a problemei cunoaterii de cea a
poate ti memorat _n module complet indepen-
dente, permind modificri i expansiuni ale bazei-de cunotineStructura fiind_
simpl i nesecvenial, un sistem de reguli_ de inferen
are .capacitatea de a
reaciona-cu succes la situaii neanticpate; prin aplicarea cunoate_ atunci cnd
aceasta este potrivit i nu n timpul unor secvene de procedur predeterminate.

/
Aceleai trsturi faciliteaz 'posibilitatea calculului paralel n elemente indepen-
dcnte ale unei aplicaii. '

`i totui, unele probleme nu sunt bine reprezentate

_

cu ajutorul sistemelor g _

de reguli de inferen. Dintre acestea putem cita:

pr
att premisa P
:ce cunoaterea (cum _ar _fi problemele implicnd calcul numeric), ggpgeltt_ _de aproximare, 'Fi
V
r

ur a validitii procedeele de modelare matematic (care sunt n general mai bine reprezentate prin 5
alte meto e, etc.
i
): naest- " _

' Sistemele tipice (fe prelucrare

q prfercm. uxLgLgzl c 55:15,' printre care
se numr i cele bazate pe reguli de inferen, folosesc metode de calcul cu
predicate, cunoscute sub denumirea de

ei.
Ideea esenial a
robabilistit); procedeului este aceea de a determina n ce caz o declaraie lcut n termenii
C este calculului cu predicate de ordinul nti infer' o contradicie. Afinnaia este
nilor vagi). reprezentat n termenii axiomelor sale, date pertinente i negarea concluziilor din
'
45-:

i i, exJJJLiJ
 108 Modelarea sistemelor de mare completitate Baza de amo/i

ipotez. D c concluzia din ipotez este de fapt adevrat, n raport cu axiomele

5.2.2.
problemei i cu datele, incluziunea negaiei sale ca o parte a problemei va crea o
contradici '. Procesul bazat pe principiu! rezoluiei este o regul de inferen
5.2.2.]
producnd o strategic de soluionare, care garanteaz gsirea unei contradicii n
formularea problemei, dac o asemenea contradicie exist intr-adevr (adic n
re;
procesul de rezoluie estecomplet). posed cinci fi

In imp ce teoria rezoluiei produce metode de calcul cu predicate care sunt a) nun
solide lcv: mplete, exist probleme privind complexitatea controlului soluiei, care unic);
adesea fac nefezabil procesul de cutare generalizat. Problema central a teoremei b) de;
de rezolui - estemarele numr de clauze, generate nainte de demonstraie (nainte turat este con
de verifczreagsoluiei). Exist un 'numr de strategii care ncearc s reduc proprieti ale
c) org
i

complexi ea_ .procesului de cutare a soluiei, prin ghidarea, restricionarea,

tergerea
iti_
editarearezoluiilor posibile. Cu toate acestea, nu exist nc o la nivelul cel l

strategie c es ofere o abordare satisfctoare. mecanism dei

d) car,
V

Eorciiarea
Rt 0 'x cuvrjutorulreelelor de inferen (grafuri) Obiectele pot
-
~ -' Un
igrafdrecl (digraf) este o pereche N, S); unde N: (n), 111,
.i..
,
n,} este prin reguli;
o mulime finit, iar S este o submulime al lui Multimea AI_este mulimea
N><N. e) rer.
nodul-ilor Lwgfu__l`ui,_ iaryestei 'mulimea legturilon-Dac perechea (n.-.n,)E S,
acestea fiind
spunem c exist o legtur de la n; la n; ataate includ
~

Un digraf estic' denumit ture 'nterconect u tare Conex, dac listare un predicat in.
pereche (n 11;) este tare intercnnectat, adi' n; R n,- n, R n. hseamnrelaieS. ' Obiec
.

""r rea tate, igr `le care rep zi "sisten' mari nu sunt tare conexe,
V ,

mecanismului
adic nu oateperechile' (ni ry) sunt 'tare conexe. n acest caz, identificarea acestuia furni
component elor tare-conexenepoate dainoimaiidespre structura digrafului i, organizarea ol
prin urinar :, a sistemului mare, pe cimai simple dect n cazul sistemelor tare cunotine rez
conexe. R( venind 'la problema reprezentrii cunotinelor cui ajutorul gafurilor, controla' proc
trebuie s' . lrtm c, aa cum se ntmpl i n cazul rezoluiei obinuite, graiurile' obiect const
`C0l1exe suit construite dinilqze reprezentative iale aplicaiei. O reea de infcrcnt valorile acest
as-
_efsjejun gr f ooncx ip nodil '
uia se afl remise' sau concluzii, legate prin noiunea de c
'
'

_ti rpr" 'zengd pr de iniferent, vrfurile sgeilor fiind orieiitate qjg, . noiunile de j.
52.323& pre concluzii. n cadrul' unei reele de iifferen, concluzia unei reguli rizeaz astfel
este (sau p 'sate deveni premisa pentni o alt e ul. Uneori, mai multe concluzii
-
Pater
sunt concztenate folosind ,
o eratorul lo ic I entru a forma o noua premisa ,formeze gmp
_

capabilz 'in ere o noua concluzie etc. .

'
' Utilizndpatt
n igura 9.4 este prezentat
A
_ _

structura .unei astfel de reele de inferen. Se renta infonna

observ' c exist n premise _(iniiale)'i, pornind de Iaiaceste premise, putem infcra ierarhie sau r(
n concluzi .i Dar putem concatena, de exemplu, premisa i i noua premis ja i proprietile
infera o nori concluzie ija. conceptul de]
1x. D? .ensiunea unei @ldegreelewieirr arte mare i .vai
~

gio-i'. ' POEB &V63 *m

"
'

infinit, un
_.

dai -n practic ea trebuie s aib o dimensiune nit, din ratiuni de calcul. Astfel, un ob
Procesul de inferen a noi concluzii, pornind de la premise mai vechi _sau mai noi, care prinii
l

este posibil datorit mecanismului inferenial, bazat pe. regulile de inferen atribut o sing
descrise n subcapitolul 5. l. inseamn c l
 mare complexitate
r

Baza de cunotine pentru modelare i simulare

109
iport cu axiomele
blemei va crea o 5.2.2. Reprezentarea structurat
gul de inferen
5.2.2.1. Obiectele
!Ci contradicii n structurate
ntr-adevr (adic n reprezentarea
cunoaterii, obiectele structurate sunt elemente
'
posed cinci functiuni majore: ' care
'
redicate care sunt a) numele obiectului structurat (obiectului
_

structurat i se atribuie un
ului soluiei, care
n
UnlC ; _

:ntral a _teorernei b) descrierea obiectului .rtructuratz partea principal

a unuiobiect struc-
_

ionstraie (nainte turat este compus dintr-un numr de atribute

care au valori. Atributele-descriu
:earc s_ reduc proprieti ale obiectelor sau leag mpreun diferite obiecte;
e restricionarea, c) organizarea obiectului structurat: fiecare obiect (exceptind P
la nivelul cel mai nalt al ierarhiei) biectele de
nu exist nc o au una mai multe proprieti,
sau conform unui
'
mecanis _de mo tenire' i
v
. l '
d) conexiune valoarea unui atribut al unui 'obiect'
'

poate fi uit 'alt obiect.

Obiectele
i,
m, , n,_) este rregvliz'
legate intre ele plrinvintetmediul:alributelor,dar ele plat' fi
pot' legate i
N este mulimea
chca (ni, ni) S,
=
i
'
_
''"**
e restri . fiecare atribut al unui obiect

.

ate avea r icate ata

. >
e acestea fiind invocate atunci cnd atributul este citit
sau mo rcat. Predicatele
_

ataate includ un predicat (activat atunci cnd informaia este regsit) i

tax, daetiecare
necesar
nnrelaie).
un predicat induslactivat atunci cnd infonnaia este-stocat), '
Obiectele structurate' furnizeaz oi .reprezentare
'
. _
_
>
solid a cunotinelor i a
_

:unt tare conexe, mecanismului _de inferen. Numele obiectului

az, identificarea j fumizeaz o etichet, atributele
.
acestuia rrriizeazrun mecanism de descriere
proprietilor i relaiilor, iar
rra digrafului i, organimrea obiectelor poate ti realizat cu ajutorularelaiilor _de paternitate.
`
l sistemelor tare Baza de l

cunotine rezultat poate fiexploatat prin utilizarea

:torul gatirrilor, controla_ procesele de 'stocare i regsim
prcdicatelor ataate, pentru a
inuite, grafurile'
,
obiect corst aadar din: numele obiectului, a informaieigstructura de baz a'unui
paternitatea atributele obiectului i
:tea de inferen valorile acestora, 'predicatele ataate fiecrui atribut. sa, Pentru a tixa~mai 'bine
uzii, legate prin noiunea de obiect structurat, n cazul sistemelor
bazate obiecte-vom descrie
i orientate de la noiunile de paternitate (motenire, patrimoniu, ereditate) pe
uzia unei reguli i identitate ce caracte-
rizeaz astfel de sisteme..
multe concluzii
A

rr* Patemitatea- este bazat pe faptul c obiectele

3
nou premis formeze grupuri i sau conceptele tind s
c membrii-din interiorul unui grup au proprieti
Utilizndpatemitatea putem-organiza cunoti tele intr-o 'manier comune,
de inferen. Se ce permite infe-
rena informatiei care nu este direct disponibil.

tr-o
se,putem infera ierarhie saurretea, astfel nct tiejire element de la- unnix/_el inferior
s. moteneasc
a premis ja i proprietile
elemeor deiaunivelul superior. Deoarece obiectele realizeaz
enncprulde patem, fiecare biect trebuie `
te mare' "ichiar '
'p teavea mai multqegt
V

re_ea de paterm'.
f'
v

riuni de' calcul. Astfel, un obiect este copi ul prinilor si i descendentul

:hi sau mai noi, tuturor obiectelor
care prinii le motenesc, intr-o reea de paterni. Patemul permite definirea pe
e de infercn atribut o singur dat i unui

are atributul motenit de toi descendenii si. Aceasta
seamn c fiecare obiect
va moteni toate atributele stramosii&_deoarece prinii
til/dag
 Modelarea .ristemelqrde mare complexitate Baza de cunoii

si vor mo teni atributele prinilor lor etc. Patenzul

este aadar un instmment Ca i
puternic pentru regasirea informaiei. cadrelor sau
Idei titatea este u`n element
care distinge o entitate _de alta. ntrun sistem nodurile, repn
orientapiibiecte fiecrui obiect i
se va atribui o identitate care va ii permanent ntre noduri.
,- asociat cu obiectul, neeseniala in structura obiectului
sau n tranziia strilor. n dreptunghiuri,
fapt, pentru obiecte persistente identitatea fi meninut ii cazul programelor
ar
K\ multiple instanierea tranzaciilor. Identitatea obiectelor aduce aceste caracte-
saL
'tsilmb juliii vi
calculului. Fr identitatea obiectului
ar fi dificil, dac nu

/
imposibil, a atribui obiecte autoconinute variabilelorde atribuire
iere. Astfel fr identitatea obiectului sau de instan 5.3.
va fi imposibil. face
a i dintr-un obiect o
component a unui obiect multiplu. '

Princi
5.2.. ,.2.
Cad rele
Cadrele
Lww)
reprezint cale de combina declaraii i
cunotine i;
baze de' cunc
o a proceduri n interiorul
unui mediu de reprezentare a cunoaterii. ~Principiul de organizare fundamental

acesteia. Pe d
care st la b iza sistemelor ce utilizeaz cadre este mpachetarea'cunotinelor.Ele dedicat, n g:
metod de combinare ai declaraiilor i procedurilor n interiorul unui faptul c haz:
de. reprezentare a cunotinelor. Cadrele ncoiporeazmn pentru simula
numr mare '

e le fac utile n sistemul de reprezentarea cunotinelogi realizeaz acestora. n a(

upra bazei de cunotine. Fiecare cadru este caracterizat de: numele interconectate
' tea cadrului i un numr de sloturi (care iaugvalori); '
minibaze de
Mu! din conceptele
_ ,

mp oEEi1Tul cadrelor sunt similare cu cele

V

.
. _

abordare', treb
implicate n programarea orientat
pe obiecte, analogie prezentat n figura 5.1. nente, obiecte
Pentru a reprezenta cunotinele intr-un calculator, trebuie s poat _ti-definite Pentru a pute
versiuni obi active ale cunoaterii pentru tiecaredomeniu de interes.
De aceea, 'cunotine tre
sistemele ba, ate pe cunotine trebuie s
se ocupe cu prelucrarea cunotinelor bine domeniul ana
structurate _codificate intr-o form care poate &utilizat pentru raionainent. n =
entitate din s
contrast cu uite programe de calcul
care lucreaz cu_.date, n sistemelebazate pe entiti i
exo:
cunotine s ucturile de cunotine sunt utilizate pentru 'a stoca-cunotinele i n sistem etc.
a
raiona cu aj torul lor. `

Canal
a) Cu;
cunoatere sui
de tipexpert,
inferarea de nu
specific sau 2

xibilitate, pe t
obiectelor rth
b) Me
putem detevrm
decizii, spre g
importana m:
c) Cui
temelor mari,
 mare complexitate
:
lar un instrument
ta. ntr-un sistem
: va fi permanent
inziia strilor. n
azul programelor
:e aceste caracte-
l
dificil, dac nu
re sau de instani
dintr-un obiect o
:duri n interiorul
fundamental
we
cunotinelor. Ele
n interiorul unui
i-n numrmare
elor, i realizeaz
_
erizat de: numele
_
iri).
t similare cu cele.
a n figura 5.1.
poat fi-definite
iteres. De aceea,
:unotinelor bine
u raionament. n
:temele-bazate pe
cunotinele i a
Baza de cunotinje pentru modelare i simulare
v
111
z
Ca i n cazul reelelor semantice, reprezentarea cunotinelor cu ajutorul
'cadrelor sau al obiectelor se bazeaz pe dou uniti fundamentale i anume:
nodurile, reprezentnd concepte sau evenimente, i legturile, reprezentnd relaii
'ntre noduri. Din punct. de vedere grafic, nodurile .pot fi reprezentate prin
dreptunghiuri, ovale sau cercuri, iar legturile prin sgei ce conecteaz nodurile.
5.3. Structura bazei ,de cunotine
Principalul element n. sistemele bazate pei cunotine este baza de
unotinei, desigur, mecanismul inferenial. Pasul principal n construcia _unei
baze de cunotine, din punct de yedere metodologic, este stabilirea_ .structurii
acesteia. 'Pe de altpane trebuie 'avut' n vedere faptul cbaza de cunotine este
con m
dedica& n general, unei probleme 'specifice (simulare,
faptul ca baza de cine a crei structur o vom prezenta`va ' utilizat att
pentru simularea comportriisisteinelor mari, complexe, ct_ i pentru controlul
acestora. n acord cu structuraunui sistem mare, compus din
multe
interconectate, baza de cunotine va fi, 'la rndul ei, compus' din-' mai multe
subsisteme
minibaze de cunotine, cte una pentru_ ecare subsistem. nnrmd aceast
lEdare, trebuie creata in priiii-n o"bibliotec:l subsisteme, compo-
nente, obecte) pentrucareliebuie definite atribute i descrieri comportamentale.
Pentru a putea rspunde la _ntrebrirde tipul ce se ntmpl dac ...?,`baza de
cunotine trebuie s conin cunotina? izviorte dirt-experiena acumulat n
'domeniul analizat (cunoaterea .eXpcrtQ-cum.
ar i:- '. fapte variate despre fiecare
.
entitate din. sistem,
. rela ii de le atura- cu alte entitati,
entiti i exosisteme efectele
.
relaii.. de legatura
_,
unor aciuni (comenzi) asupra proceselor care au loc
dintre??
.
\
in sistem etc.
7
' - -
`
Cunoatercaielxpert inclus n
eclasit`ic
a) Cunotinele specifice domnii/lili e ana izal. n orice domeniu de
cunoatere sunt acumulate multe cunotine, dar intereseaz, mai ales, cunotinele
astfel:
'
de tip expert, care 'pot ti reprezentate sub forma regulilor euritice i
care permit
inferarea de noi cunotine. Aceasta presupune utilizarea mecanismului de inferen
specific. sau 'a strategiilorde decizie, 'ceea-cerpoate introduce &anumit infle-
xibilitate, pe care 'noi dorim so eliminm. Acest deziderat se obine prin Lnietgdva
obiectelor rtru turggg (v. subcapitolul 433,2). 7
iwlbjveiacuyzotiyle (sau
c are: despre cunoatere) ste important s *~
putem determina dacfaptele 'disponibile sunt Tdci/iii (n contextul lurii
decizii, spre exemplu), aca faptele sunt compee, dac pgzintvicrgrg et
une?
lmportana metacunoaterii a dus la apariia rilzszelor de cunotina.
c) Cunoaterea despre incertitudine. Incertitudinea, specific de altfel sisw
temelor mari, aa cum am artat n capitolele anterioare, este prezent i n
 Modelarea sistemelor de mare conzplexitale Baza de cuno!

modelarea euristic a acestor sisteme, prin introducerea n exprimarea regulilor Din e

de
inferen propoziional a unor coeficienti de ncredere probabilistici,
factori de I Cur.
-
apartenen. i chiar a unor operatori speciali care s atenueze determinismul rigid
-
fg alculului cu predicat& n acest sens se poate utiliza inferena probab- - cun
ma arbarescc
ilisl (prin introducerea probabilitilor n regulile de inferen) eviden enti
sau se poate utiliza
_ inferenaj zzy (introducnd funciile de apartenen_ n acele reguli). evideniaz m
.

d) unoaterea despre proceduri; n general, procedurile utilizate n

sistemele mari, complexe se ncadreaz n dou tipuri distincte:
proceduri matema~
- cun
ale naturii i
'r

;i proceduri logica-lingvistice. Avantajul bibliotec de

de cunoate re
escl mponente separri
se aplic independent.
e) unoaterea despre decizie i control. Sistemele de asistare deciziei
a
unea dintre SL

pot lucra independent, _fr a avea nevoie de _decidentul

uman. n acest caz o
important partea structurrii deciziei reprezint nevoia de
o cunotine despre
decizii (de *xemplu, fel de decizie
ce este aceea cnd trebuie luatdtxizia).
n circumstanele
de mai susf mOdeII-uristt 5 ate 'definit
cvxugcl descrierea 'euristic a proprietilor eseniale`aleunu sistem existent sau n ca: ,midi
subsistem
_l

amid-
de 'realizam a (proiectare, consmici reprezentnd CJIIIDGEEG
sistem ntr- o 'fomi util. Aceast definiie
curs
exggrt despre TR"-
fwql. modelului matematiqrde care se difereniaz este
...ww
oarecum asemntoare cu cea a
prin utilizarea termenului euristic n
loc de mate matic i prin accentuarea cunoaterii
experte. n fapt, modelul euristic
- sc afl n b iza de cunotine, carevainclxiidtoate cunotinele disponibile' despre '
sistemul an, tlizat i crei smrctur_ este prezentat n &gura 5.2.
_

Baza de cunotine . .

Baza de crumline ZHTSIGC -

Bazxrde cunotine conceptuale
,r,.
 Baza de cunotine pentru modelare i simulare 113
mare canzplextate

marea regulilor de Din examinarea acestei figurirezult c n baza de cunotine se regsesc:

'C43
ilistici, factori de
tennnismul rigid
s&
k kw;
\$.-'_ v a -;
uio telrerfnceplu
icamw Tm"-
rriluilriloaieecuotme: _

cunolie privind structura sistemului analizat reprezentate prin diagra-

nferena probab- a -
afborescent-(gura 3" l gra l-'sistenzului (figura 5.4): prima scfETn
su
se poate utiliza ' entlttile (componentele, *subsistemel')"s`sti emului, n timp ce
a doua
i). evideniaz m_ai_a_les.interaciuniledinsstem; . ~

'
cunotinte armalizate despre sistem: n primul rnd aici includem legi
:rile utilizate n -
ale naturii I iri al`doi ea rand obaz de date. Aceast component poateinclu"->
-ocedu matema- bibliotec de modele matematice', modele, care descriu' legi ale naturii_ i interaci-
diferitclor tipuri
adent. 'unea dintre silisteme 'precum i rloiate 'obinute prin simulare.
.sistate a deciziei Sistem `

n. n acest
. A_ __ mare: v

caz o
V
_ _

:unotine despre
decizia).
denit Subssem Subsistern n
_l
:e ca: subsistem 2 subsistem i ~

istent sau n curs

r
expert despre
intoare cu cea a Componenta i(
i
Componenta Componenta 1,7
enului euristic n
modelul euristic
isponibile despre [Variabiladeystarexq | Varabiladestarcxg-k Variabiladestare

Limita inferioar_ Limita superioar'

'
Xiik ma. xnjkmax

conceptuale Fig. 5:3. Structura arborescent a unui sistem mare.

___,___.._. . .
 114 Modelarea vistemelar de mare complexitate
Baza de cunatinl

-Czm teren euristic include reg li euristicededuse din cuno a5terea

awi- &la referim n spec
_ Cunioateriecurtstica
experta. m
_ _
_
este compusa din cunotine bazate pe mferena, _
v
n*** tendine, comportare i, in general, pe tot ceea stare x,-). Forma :

.
ce se cliam euristic, adica pe
_
xperienaif-fixwi a operatorului uman. Subliniem ns faptul c n baza de <D
a cunotine nu includem toat euristica, ci numai acea parte
i a ei care poate fi
trviqrnaat guli euri giceutiieiinpractic(irTsciiirzulariontiol). i
(se citete: Dac.
A

anumite condi_

urmtor M41). "

5.3.1. Baza de cunotine ca un set de reguli Exprimz
_euristice standard
V

forma (5.l}-(5.3
dinamice i/sau
Ceam comun structur a unei baze de cunotine se prezint sub fonna
ai
-'
mai apropiat de
unui .rel de regtli euristice.. O clasificare
a acestor reguli ne permite sdcducem trei
categorii distin te: a) reguli de
comportare, care descriu comportarea unui sistem sub < amount\ CMC
influena schir lb parametrilor endogeni i/sau xogeni; l:) reguli de
1_
control, < sta-:) A (um
care descnu modul mcarcsun sistem poate fi controlat (mferena comenzi-stan);
_ _ _
_
_

c) reguli de de ~izie, care arat ce decizii trebuie luateatunci cnd strile sistemului' < Stxht) 'A Cm.-
ies _din intervalul de (sub)optimalitate (inferena staricomand): In.
v

celece ur- Rcmarci

meaza vom de: itlfmiiisor reguli etxristice. ti Prolog, Clips'
a) Regulile eurlice de comportare (forma standard). Aceste reguli reflect `
_preferat acest m:
starea x,- a subs sternului-S; in anumite condiii C,~(i'= l, 2,..., n). Forma standard de ctre utilizat(
=,.,..-,. ...wa a, aprea n afara c
uner astfel de r: guli este:
K

ondiieglaj (icondiie)-l i C5.. (condieXAtunci Figura .

<Dac Ci, (
_ S,-
(stare) '> ,control i decizi

.

*J
(seicitete: Dar condiia Cu i_ condiia Ca i
(i = 1,
2,g
n) (5.13 n acest
_
condiia Ci, sunt_ ndeplinite' la
,
. momentul
t, An tnci subsistemul S,- se afl n starea x, la acelai mqmentggjimwp).
b) Reg th' euristice de control (forma standard); Aceste reguli euristice S.-(X.'.) A
< iun(
'
reflect modul 'n care se modific starea x, a unui subsistem S,- atunci cnd
asupra
subsistemiliii e acioneaz pi-"iii"inziim5i`e`diul"`omenz''u,-.
Flamstnarf unei
astfel de regur este: ' !`/?~.;.A.xcl..\..x -
Nuarvivi St'
.,- 1,.
: Dac (starcyl (aciune), Atunci R,- (rezultat) >V
S,-
_

`
@HG: I, 2-, ..., 11)' -a-L (5-2) Evident
x.
euristice, aceste
(se citete: Da c subsistemul S,- se afl i n starea x,- i
sc acioneaz asupra
~

mrimii de comand u,- la momentul t+l, Atunci sistemul. i modific -care le-am dat l
starea la astfel de reguli
momentul t+2) ...aa. ...w...._..... ,.nmb
...gzc) Regr i r

eurrstice de decizie-i (forma standard). Aceste reguli curistice

' `TguIH6
ce infe
indic ce deci: ii trebuie luate atunci cnd sunt indcpliniteanumite condiii (ne babilitate, grad 4
 mare complexitate
z

din cunoaterea
Late pe inferen,
uristic, adic pe ."
_
, *ir/l
< Dizc'.S`,-'(stare_)I C',-(condiiiV);'Atzmc-i'D,-
.
tul c n baza de
_

_
(decizie) >__V (53)
ei care poate
_

(i = l, 2, n) l? &fu-we cu:
!are i control). A

citete: Dac subsistemul S,-_ 'se 'atlfrinnvc anumit

starea:.- i suntndeplinite
umite condiii
C',- la mormantul t, Atunci se ia decizia/D,- la
momentul imediat
xprimarea regulilor euristice de comportare e_
A

crina (5l)-(S.3)
__ eoritroli :de decizie sub
este o fonn primar. Utiliznd fonnalismul i 'simbolurile
a mamice i/s_au logicii
logiei secveniale; aceste reguli pot fi
rezint sub forma i rescrise sub forma urmtoare,
apropiat de utilizat deizaleulator: i

e sdeducem trei -

C,-1(ot,t) Cgit)
C,-,._(o!'.,t)
(regula de comportare
a unui sistem sub l\ A ...A -_ .S`,(x,-,t) _> (5.4) l\
i

eguli de control, ri,(x,-,t2)_ tietcohuoi

> (regi
,(x,-,I:) u,(t)}-
a comenzi-stri);
A
[giant-
ma) standard); _-(5.5_)
,ip x C,(u.-,t)' &AW
strile sistemului _ [u,( +1) 12,0) iAxzn > (regula dedeciziistandard). (5,6)
e
-

). n cele ce ur-
Remarem faptul c, n cazul 'utilizrii unor--limbajetde programare
VC M' 'in
iolog, Clips ete., forma de scriere cum ar
a acestor reguli difer de de mai sus. Am g
A n

l
ste reguli
reflect pret acest mod de prezentare deoarece el este mai intuitiv i cea
the utilizator. mai uor de asimilat
Forma standard a u Subliniem faptul c n expresia 'regulilor euristice ( .')i-(5.6)
in afara operatorului logic I, operatorii SA_ negaieINAND, NOR) pot' 'c
, ete.
Figura 5.5 reprezint sub o form operaional regulile
incl' S; (stare) i> de comportare,-
ntrol i decizie standard. '
' -

(5-1) '
n ,

acest caz regulile euristice se' scriu astfel (exemplu); _

mt ndeplinite' la
< c<a,r v caca:) A 163w)
nent de timp). - sixtr) > ;
(regula de comportare standard)
reguli euristice AIu(t)]
?'-t) A [u,-,(t+l) (- u,-1(t)
.

unei cnd asupra

standard a unei
i de control_
(regula
v [u(ti_-l)
e- ug(t) Aiqxtj] - R,(x.-,t+2)
standard) i ;

< S,(x;,t) A C_.(_ ;_t)

-> [uit-+1) <.-- &(1) j: A140), > .
(regula de decizie standard)
(5,2) Evident c ultimulygrup de relaii constituie
numai un exemplu de reguli
v

risice, acestea putnd ti mai

zirxzea-aasuprar numeroase, aa cum _rezult i din exemplele
o

re ie~am via ,n partaaa a li.. ne V

n

dic starea la

reguli euristice iile de inferen pot amendate (pro-V

babilitate, grad de cu un anumit-factor de credibilitate
iite condiii (ne apartenena) care s atenueze determinismul
acestora. "
 x
t t

116 Modelarea sistemelor de mare conrplexitnte &am te

V

mo,

Identifi- Priori Variabil Operator Variabil Operator _l

'
'
.
Simbol 5 3 2'
cator tate aritmetica .
relational . .
aritmetica _
.
logic ' '.

_
_Y _
n sub

_
Variabil
7

Operator Variabil ' *Operator '

Operator experta_ poate:
. logiz relational aritmetica inferenial logic celertatac*
'~ : : '
-2 .
=

*r - - de simpl: intr

' '
_
-

_ ea este compus
' Operator_ Variabila Operator' Operator Operator -Variabil '
'
relational ~
"aritmetica inferenial ' logic
`
(relational --aritmetic
,
.
- -
' - = ' n_ ?c
' `

. . compus dinz'
'a
_

i
Identiiir Priori- 'Variabila .Operator Variabil Operator' Pe de.
,smboy " tate
.
7

dator
`
'
'
'aritmetica relational aritmetica logic ~ ' '

Contit
*
-
. _
4

'
variabil? 'Operator variabil Operator Variabila de control poatedevenip
aritmetica' relational aritmetica 'logic and lamomentul 1+1 '
'

_remi.
_

. , r

_ '
Operator de
asignare p.
Variabila decor-mol
la momentul: '_
Operatorl
aritmetic
- Variabila,
aritmetica Au
_Operator
'inferenial
i Tati
_
r
rizate inifgur
`
'i ' '
reea deinfere
- '

* Variabila_
_ oper ator _
l' . variabil .

antmetic ' r
relational 'aritmetica
'
b

Small Prioril _Variabila

ldenti-:
Operator Variabila_ Operator <
'
-aritmetic relational. ' 'aritmetica

cator- tate logic

Variabila
' Operator
'
Vaiabil . Operator *
' ' Operator
aritmetica relationalp aritmetica ,
' inferential logic

f w-_z ;
~
Operator _ 'Variabila _4;_ a -
_
__ p_ A
A_
V

la momentul! aritmeticl atitmetic Au

de relatii de i

toate aceste in
c de reguli de ir
Fig. 5.5. Four a standard a regulilor euristice: w forma standard a regulii de comportare;
b forma standard a regulii de control;
a
c forma standard a regulii de decizie.
- ~
 'e mare complexitate
Baza de cunotine pentru modelare i simulare

.e
117

:
'

Operator
logic 5.3.2. Baza de cunotina o
ca reea de inferene
n subcapitolul
5.2.! am artat c infomiaia provenit din
Operator > expert poate fi reprezentat sub forma unei cunoaterea
logic cele artate acolo la structurarea unei baze
reele de inferene. Acum
vom aplica
de cunotine.
Ideea de baz este destul
_de simpl: ntr-adevr, dac privim o regul
ea de comportare standard observm
este compus din: c
or Variabila '
eec( (
144i/ IH(
`

\
-Pemira: Ci,
_

ial aritmetica CgA Ch i Concl : S5'.

-

n dvine
ieula de control, S,-
premisa, astfel' incat aceasta regul este
ompus din: -

,
.
-
,
" '
' `
' '
'
Premii-a:
(- uii Au] i Concluzia:
7- - S,- /\_ ['14,- v_
~

Operator *
logic
Pe de alt parte in regula de decizie S,- devine
. . concluzie-premisa
din .tn
astfel:
e? .._
x Premia: A S,-
u, (- uii Au, .
C,-, CDIICMZIEZ

._~- Continuand raionamentul

. .-. *l
* _

._______
a de control lvl observam ca .S',-' (noua-stare; decrconcluzia)
poate deveni premisantr-o nou regul de control,
neniul 1+] sauirun de decizie, astfel: '

Premisa: _S-'A [iq

-V

___._j_ (,- iqiAui , Concluzie: ST] sau Prleniisai: .S-"A

Concluzie: u,- _(-- u,- Ani'
'
Operator
inferenial
Fr i'
raionamentul poatcncontinua orict demult. Toate
'

acesteei-pot fi suma-
i
rizate nlgiira 5.6,'
care reprezint structura unei baze de cunotine euiistice ea
reea de inferen.

e
'
-
' v
`
- - ' '

Qgu v_
'H<.'C'}1AC,-;A

[u,(z+1)
au _mima < 5,4 - u,(l) :I: A m) i - s,.'>
-

Operator
b < sm_ c,-
'[u,(z+i')
-_uitj-i A u,(1)]
logic - _>

14A
.mi :i ,_A3.;
< [u,-
0+2) - um u,(t)]
a sif
erator b
< sp\ l-c,-'~ [u,<z+2)' e~ u,(t)
i
A
g ic am] >
Fig; 5.6. Structura bazei 'de cunotine euristice
ca reea de inferentz_
!bil
ic u Observin c o retea de infereii
este mai bogainegggej gdect setul
vzMW-aurx,luat
de relaii.. de inferena diireare ,a e natere, ns nu este mai puin adevrat c m,
.

toate aceste inferene din reea

sun 'i coninute potenial- n regulile eurist' d'n setul
de reguli de inferen.
de comportare;
ledecizie.
 Modelarea sistemelor de mare camplexirate Baza de cunol

consideraii Inetadologice asupra construciei unei baze de cuno cum ar fi: Sh

va aproximaii, c
tinte: pentru a realiza o baz de cunotine este necesar, n opinia noastr, s se experien. F.
parcurg eta pele din tabelul 5.1. cunotinelor
Tabelul 5.] In fa:
:alssrrrt
Etapa Cunostinte euristice Cunotinte- conceptuale
'
Construcia diagramei arbore a sistem] =

Solicitarea i achiziionarea de
l sistemului
cunotintelor expert
-
.
A

umiditate 5_ .'r
Translatarea cunotinelor n reguli Construcia grafului de interaciune
_

:hrfulenlla l
_

2 euristice, sub Tonualogic ntre subsisteme, '

. ' ' 12' mnare?
Probarea com letimdinii cunotin elor Comunei
_,
3 complexitatlailor .
ban]. de date mecanlsm? i
i
Construciabibliotecii de modele' nc
Experimentarea bazei de cunotine
-
V

4 ,matematice ._ nc
euristice. .' ` ,__

Validareajbazei decunoine\ Validareajrrydelelor X _ nc

Ma....____._._/
_mc
.

J
V
\, V

se impun cteva -concluzii legate de aplicaiile any

La fmeleacestui capitol Metitul'principal~`l"a`elsto Vifiu
'

tehnicilor tazate pe cunotine.

structure da:
re ea rezultat este destul de uor a efectua
a' ste 'nacelaenial'. In
procesul _c

utilizatorul _s
acelai tim; , este recunoscut aptu ca unu intre puncte e e strangulare care apar
' (inferioar i
n dezvolta: ea tehnicilor bazate pe cunotine este faza de achiziionare a cunotin- tantului siste
ecr-:Extra gerea cunotinelorde la experi nu este o sarcin banal. Ba este-lung. pennisisten
vsale. Este
i labcb, deoarece a3_ esca expertul gasete dicil- s exprime regulile unu] sau mai
poat utiliza cunoaterea experta' de la, mai muli ex gti. Cu toate
d =se` Imp(

deo
nui' nou expert ceabna
acestea, operaia este dificil 'de reaizat,
'introduc contradicii care reclam eforturi semnificative pentru a ti rezolvate. abine din d;
O alt dificultate' legat de generaia actual de 'sisteme bazate pe infdnnai n
cunotine 2 constituie faptul c ele au un domeniuifoarte_ limitat de aplicabilitate. introduc -agt `

Aceasta pmvinedin. faptul c baza de cunotine estesrc. Dac

se' divizeaz n f:
'

i, baza de din: a) cunotine de bun Potrivit Ponc-

cu iotine n trei componente' provenind fiecare
sim; b) cznotne enciclopedice; c) cunotre- expert, se remarc faptul c n dale suntpn
din (c), cnd de fapt acest psibl Valo
multe cazu i baza de cunotine conine un mic procent
`_
_

n baza de xnll
tip de cu tine ar trebui s tie majoritar. Soluia este inglobarea ap:
mlivm
cunotine a unei cantiti de cunotine expert ct mai mari includerea,
i n plus, a sia
de modelarea. bazat ,raionamentul calitativ, ns sistemu
unor alte forme cunoatere: pe

'
r- nvarea in experien, modelarea incertitudinii_i/sau surprinderea acesteia n- diferite mom

formalismul _regulilor de infeenpu

5.4.

,... .au
Aa
premis (P)
A hiziionarea cunotinelor de !a unul sau mai muli experi este primul
n baza de inct forma
pas n construirea unei baze de cunotine. Ea permite incorporarea
cunotine all a cunoaterii i
experte, ct a .unor aspecte 'strict legate de act-asta
 mare complexitate
j_._.__.__
i
baze de cuno-
ia noastr, s
se

cunotinelor i estimarea parametrilor.

Tabelul 5. I
faza de solicitarea
cuno tinelor utilizatorul sau grupul de

re
once tuale stabil c mai nti utilizatori
nei arbore a ere; detemtinnd _valorile 'cunotinele achiziionate
` prametrice specifice (de trebuieds
`
' exemplu, dac este vorba
i
+*_"r-'-'
de interaciune ' vor fi, in primul rnd

e date -

cii de modele incorporarea

zf' nco *Purarea datelors tineicperimentale:

-
'x .

p_
-
~

cuno telor de la unul sau mai mul

_

i
_________ &i13
_

ex e ';

ri
incorporarea
incorporarea eontradic. `ilor;
.

J.
_

te de aplicaiile
n "A
_
strategiilor iplanurilor;
`
-rivarea din experiena'.
-

te acela_cd_in '

Virtua, oa aceste informaii

, 3'
l inferenial'. In
_

utilizatorul stabil ind etotodat

.

pot fiintroduse n calculator interactiv,

_
. r

gulare care apa: -l i limitele 'de admisi

nferioari superioar) pariu-iu ' fi '
ii ET
=

?are a cunotin- fantului sistemuluideaehizi

' l

. Ea estilting.
gulile sale. Este peniiFsistemului- s extrag
iperi. Cu toate unul 'saulmai muli
.
experi.
?iui .Iriipottant este faptul de ,putciiltiliza
nou expert ' a
averiial , 'iipaiticulrxflicaii

att informaia generalgct pe
ZZOVMG- __

obine din datele istoff manageriale, unde iiifoi-maizigeneral se

m6 532333 P3 nformaia care au unele limitri privind aplicarea
a aplicabilitate. manageriala esentiala poate fi utilizata stiicta, in timp
pentru a modelal" ce
sedivizeaz
`
agerial despre_ viitor.
.
'
'otine de bun a pmeilor, datele obinute n faza
.
_ v

faptul c n 'anterioar' sunt

:l
de fapt acest
e al utilizatorului.
:a n baza de d lcl sta
-cstEltrzstztede'
W
:rea,l n plus, a
dat), atui analiza
mu* m,
342M? ...antim
Efun u poate l adecvat pentru estimarea regre-
"ns sistemul este confruntat parametrilor.
*a aceste m Dac
'diferite momente de timp), cu o problem de decizie dinamic (deciziile _se iau_ la
atunci poate fi utilimt metoda
analizei sei-iilor de timp.

Achiziionarea cunotinelor
r
?atomilor de sub forma
cunoatere
i Aa cum am artatn capitolele
este primul ,
premis (P) ivo concluzie anterioare, o '
1 in
baza de A V

e de
aceasta
., 120 Modelarea rinemelar de mare conrplexitate Baza de cunoti

simbolurile ,< i >" indic nceputul, respectiv sfritul regulii. P i C pot fi Fie:
expresii -logi e foane complexe, ca de exemplu:
P E P11\ Pi l\ /\- P,- A A P

CEC;ACzA...../\C}{\.....AC, _
multimile de
momente de t
A

unde reprezint aa-numtelefonnule atomice (say atomi de cunoa

P, i eL_r_)e;
'
Aa( ar, pentru a putea stabilTnode 'lifi de simulare, constituit dintr-un face introduc
set de regul veuristice, va trebui' s stabilim, n prealabil, formulele atomice sau alege dintre UI
atomii de cunoaterqcare s serveasca dreptbaz pentru expert (utilizator) n
construirea regulilor euristice (de comportare, de control i_ de decizie).
In cele _ce urmeaz vom folosi operatorii Iogici, ,i semnificaia acestora Forma de:
conform tabl lului 5.2, unde k reprezint momentulde timp (tactul) la
care are loc
eraia logi : (n sensul precizat anterior),
/o ' -

_Tizbelul
5._2

Simbol semnificaie' Scrierea-in logica clasic Scrierea n logica

operator A operator (atemporal) '
temporal
~

Si-
"`z=x\y / z(k+l) =x(k) {~y(k)
'

*A A = ~
'
3
*-
Sau*: z=xv'y'
~
v ~
' -

s
.V

.

~z(k+l)=x(k)vy(k)-
.' -

Negaiie z ='Ix z<k+n = 1x0:)

e

- e
. . .

-: Implic 24k) y(lc'+`l)

Atribuie
*ar
- y -
x(k+ 1) ya:)
(- AJRIDC '
x _ y ;
E-
XE y x(k) e X

n cele folosim, de asemenea, operatorii ralgebrici: >. 2 F, S, <,

cu sernnicaiilecumoscute. Pentru concretizarea premise or , i/_sau a concluzii-
lor 11!
exper sau utilizatorul poate alege "dintreunntoarele forme standard (n
care se utiliz :az logica clasic, atemporal) (tabelul 5.3): '

Toate
Tabelul 5.3 expert a cuno
neavnd altce
Forma de scriere clasic (infixat) Forma de scriere ncclnsic (prelixat)
V

i
.
i
(x41)
i i i
_

parametrii ex(
x> a n
> (dup formule
x2a 2 (x,a)'
x r. r l
= (xp)
xSa 5 (La)
' '
5.4.2
x < a' < (x,a) , .

xe[
11,17]
(z (x40) Ars (x.b))
xer am' (s cm1), ve
(76.17))
e

5.4.2;
p
Atun ci cnd este nevoie s punem n 'eviden i influena factorului Regul
vom utiliza p :ntru scrierea formulelor atomice logica .secverrtial (v'. subcapitolu}`==l?l standard, cum
care introduc e variabilele x, y, cu valorile lor logice la diferite momente de timp, sistemului (pr:
~

k, k+l,... Ig. varia unii para

 nare complexitate Baza de cimorinepentru modelare i .rimu/are
121
i.PiCpot Fie: .
.

X: {x(O), x(l) , ...,3(k),-A(k+1),..,age ;

Y: {y(0)..y(l) . ytk). y(k+l).----.y<7<})l. w__w~_`___`\Q4

*multimile de valori logice,

`
pe-care variabilele logice x, r le pot lua lrzgjgji
cunoatere). :momente de timp. In acest caz concretizarca prenselor
v

P,- i
"fiifrci i factorul de tim' k astfel nct expertuli/saua concluziilor C,-
Jnstituit dintr-un se
utilizatorul poate
:le atomice sau ' alege dintre unntoare
e oimule atomice (seeveniale) (tabelul 5.4): _

t (utilizator) n
ie). ' '
~,T2zbelul5.4
caia acestora

Forma de scriere clasic' inxat necilasi

)
la care are loc Forma de rel'
k >
a >
k
2a -z 'iz
obelul k = a'
5.2
5a
ea n logica k
<a
u oral m
=x(k) A alt) .
i Iv_v.

= XUc) v gt)
?PKR

iiivv
V

ll=litk) ii
PFPVR'

eg/an
AIA
AIA
'

l)(-'y(k) -
N'

+1 v
?e-

l+1 N_ i v
n_
ri; ki-'l
>, 2 ,=. S, <,
Hi. ?F

au a concluaii-
S5 k+l Aill\ ?F
,ii
i/\
ie standard (n k+l k
A ,uxw
Toate precizrile de mai
Tabelul 5.3 sus sunt utile pentru facilitarea' achiziionrii de la
expert a cunotinelor care intr n baza de cunotine,
neavnd altceva de fcut dect s 'identifice expertul i/sau utilizatorul
rcxat variabilele de stare (x, i
'parametrii exogen 'i endogeiiiga, b, ....) y,
precumTE aiile intre \x
(dupa formulele atomice standard
in tabelele _5.3 i S;4).=_
aceste mrimi

.
.
X
5.4.2. Achiziionarea 'cunotinelor sub ,forma
regulilor euristice standard
52g?
*Reguli :euristice de .
l o .
,Ji
a
comportare
COFlllUl timp, Regulile euristice -de
capitolul Ll), comportareau rolul dea concretiza, isub form
standard, cunotinele euristice _preluate de la
iemc de timp, expert i care .descriufeo ortareg
gsisteigufittprggsului)atunci cnd comenzile acestuia rmn nemoliticate, Ziar
z

_ia un parametisistemului
unsign- pay
 Modelarea sistemelor de mare complexitate Baza de cunotin

Reg :iile eurirtice de comportare pot lua plus/minus 'o '

una din urmtoarele'fomtestandard
o

`, ,. . ,
atribuire se poa
_

- Fc rma standard I: 1 -
_x5
33,_
-g, 'xx/fiara
_
..

<P,1APa/\.....AP;i/\ .....AP,~-C'I `(i,j=

;
9 1
n) (51)
//} adrate, Putem
_

(se citete: ac premisele Pn i Pa i..... i P,-

l
:

sunt Atunci concluzia Ci;

/. este adevra l). _
'
0 Fonn
Rezu lt evident c dac mcaruna dintre prenlijele
P; este fals, concluzia
C,-
este i ea "als. ' (F/\I
Ac& sta este o regul euristic de i
rspndit form a reguln euristice.
z am i este probabil cea mai
(se citete: Da.
- Fa w114 standard 2: i" variabilei de co
<:-P,-, P,-+ec_> un increment A:
5
v Pav . .;
v
P,-,-v
v (i,j=
_1,
2, A)
gg
(5.35
'Evident
i (se citete: D rc premisele P i P.: i i P, sunt adevrate/Munci concluzia
C;
'
premisele Psr
este i ea adevrat! . '
nu se modificat
Este de la sine neles c da c` cel puin una dintre
premisele P,-_,- este
adevrat, atu noi i concluzia Ca este adevrat;
dac toate premisele P; sunt false,
o Farm
Cn este fals.
< P vi]
- Faima standard 3:
< Pi, A Pr; r( A P,-,-A ..`..'. A P,-,.A..... A (P11 P-,v P',-_,-
(se citete: Dat
v ...v -..`vP'-._)-C,3> `

comenzii u,(k'+2
(i_.J= l. Z, rt)
gre citete: D zc premisele Pn i
...,
Pa i ...L2 i P.- sunt adevrate T354,
i premisa P21
(i-.,
sau
r? ) .intr-o nou stari
Este ua
P' sau 1 P'.,este adevrat,
Atunci concluzia Ca este adevrat!) fie/adevrat;
nt c_ dac cel puin dintre premisele P4,- estefls,
prerrtisele P2, unt false, concluzia-Caunaeste i ea fals.
sau .toate o Fann.
- Fomuutrzzzdard 4:- _
< P:: A P)
(SP2,
'< PH I\ P; A..... Pijl\...,.A P,-,. A.....A* VP: w...viP',-j v...vi'.-,v,)

(i.j=
v - Q4 (5.10)
> (se citete: Dat
_

(se citete: D; c premisele P .2,n s&

-wi P22 i estefadevrat;
l iPn i
i P ',- sunt false, Atunci concluzia C54
i Pb, ..sunt adevrate i P',~, Atunci (sub)sistt
este adevrat!) Evident
Este aadar suficient ca unadintre premisele
P., s fie fals sau una dintre .una dintre prem
premisele P ',;,-s fie adevrat pentru nnrlu-ria
ca Cs g nu. fals_ _

0 Fanm
5.4.2.1 Reguli euristice de control'
.
< Piu\ Pa
Aceste reguli_ euristice au rolul de
a concretiza sub fonnstandard
(L
cunotinele e iristice preluate. 'd la l\
ex ri, e 'e descriu starea n _care treQeH (se citete: D
' !une ?c175 a
n
formaliza mr- i
'
V
Atunci concluzia
reguli, vom po ni de la premisa c modificarea
ceesibilpentru expert aceste Evident
valorii unei variabile de comand la false.
momentul de t mp k, fie ea u,-(k+l), se face prin atribuirea
valorii anterioare u,(k),
 _Baza de cunotine pentru modelare i simulare 123
mare complexitate
.~

e fonne standard: plus/minus _o valoare incremental Azzxk), astfel nct folosind operatorul de
atribuire se poate scrie:
u,(k+l)=u,(k)+Au,(k). (5.11)
n) (5.7)
Putem scriefonna standard a reguliloreustice de control astfel:
znci concluzia C v\,~\..\a"x'\sr'\_'\w\_2*

*KA '
?igual
J
v Fanna standard I: _
m4/
e fals, concluzia
Am\ (u,(k+l) (- u,-(k) + Au.(k)) - cae
22,2\ "\
< n, A Fm\ ' ,._ . m. JC) '-

.-
r'
(i.j=Al.2.
n)
`

probabil cea mai

'
_' (5.12)
`

(s citete: Dac premisele P i Pa i i' P.-,. sunt' adevrate i se atribuie,

*

_ uriabilei de comand ui, la momentul k+1, valoarea anterioar 11,(k) plus sau_ minus
(5.85 un increment Au,(k), Atunci (sub)sistemul trece ntr-o nou stare (concluze)!).
n) _
i
'Evident c regula curistic de control' (5.712) este valabil._atta.timp ct
nzci concluzia Ca _
premisele P5 sunt adevrate. Pe-de alt parte', este-uor de vzut 'c -dac-eomanda
nu se modific (u.(k) = 0), sistemul nu-i modifui starea.
'
'
u
~

remisele P este
- Fonna standard
2:-
sele P,- suntfalse, ' -
V _

VVPQV
< n, v'P,}-v P,A (u,(k+1) u,(k) Au,(k))_ tjfn e
3AM( t:
(-
_+
v
r ~

~
'
'(,j = 1,2, ..., n) `P,-'
(5.13)
a
se 'citetec sau Pnisau
Dac premisa _Pn
sau este 'adevrat i se atribuie
V Fin) -9 Cd> amenzii u,(k+l_) va1oarea`u.(k)_ 'plus sau minus Auxk), Atunci (siulijsistemul trece
i' (5-9) l
ntr-o nou stare (coneluzitl) '
.-:
' - - - -

. ltileniislis
1

premisa P' sau Este uor 'de vzut c _pentru aceasta este nevoie o singur
'
V

ltl). .e-ldevrat; "7

--i &ih-Eft-
';
_'
_'

'
'.
'
*
>

s, '
--
- --
~fals, sau '5{r.}:
.toate a' v_
0 Fonnastaridrd3: -_ .

<P,1A Pa 'A i\ P.)- A T.. A H.. A I\ (P'{'v Ph

\A
(u{k+1)'<- u,(4k) -?Cf3>
+ Au.(k))
-
A
-

P37.)
p

"9 Ci4> Else citete:

Dac premisele adevrate i .premisa P' gina; P5,- Vsuht'
(5.10) gasite'. *adevratg
sau 12,.,
'i seasigneaz comenzii ukp-rl) valoarea u,A(_k) :plus Au,_(k),
i
P' i P31 i /tttci (sub)sistemul trece' ntr-o nou stare'(concluzte)l).r ' '
_
`
'

\ Evident; n acest caztoate premisele-Fi,- trebuies e adevrate i cel puin

una dintre premisele P',-, s' e adevrat.
:
sau una dintre .
`* . '
o l x `

.
V _ _
.
_
.

vuxcvw
~
.
r_

- Panna standard 4: a

,
.lP',1 /.\v;lP',g
.
\z tm

A
AJ P'1A
A

< Fill\ Pa A I\ P0- A A

P,-,.
A A
dir
A

\ (itk- .) 14,0:) 41512,( ~9C',-4 >_

formastandard (- (ij: l, 2, ..., t:) " (iii)
~

a n care trece
mand. Pentru a
u expert aceste Evident, toate premisele P., trebuie s fie adevrate i toate premisele 'P -
e de comand la
anterioare u,(k),
 124 Modelarea sistemelor de mare camplaitate Baza de cunotin

5.4 23. Reguli euristice de decizie Obsen

Ac 'ste reguli euristice concretizeaz, sub forma lor standard, cunotinele regulilor de coi
euristice preluate de la expert, care folosesc la fundamentarea deciziei pentru reguli c
ce trebuie
luat atunc cnd sistemul se afl ntr-o situaie critic sau a roa e critic (de care cunortini
exemplu ie irea din limitele de suboptimalitate a unor variabile de stare). In acest cunoscute cu u
modific astfel

f
caz premii? -va descrie starea critica in care sewafl sistemul, iar' _concluzia va
'descrie ec zia
-----.r"'-
care trebuie luata (care variabila , de comanda va modificata- i. -in
-
. . _,
a) Caz\
ce mod).` plificm pentn
Reg ulile eurirtice de decizie pot scrise
ca: Forma
Ag&
tge

0_
Fmna standard_ I: ,35 ~ incerte (cu pro
_
p _

< P APa A (PKPri)

l\ Pfj I\ A , u,-i(k+l)
-1,2, (- u(k) + Au,~,(k) >' < = pri)
l ..
_
(i,j= (5.16) ...,-n) '

(se _citete Dac premisele R i Pa i .;. i P, sunt adevrate, Atunci decizia

_

iaceea de este (se citete: Dai

i a .modifica _comenzile _u(k+l) atribuindu-le _valoarea u,~,(k) plus (sau respectiv, pn, i
minus) Ann k))- -
' ' '
'
-

Dac cel puin una dintre_ premisele

Evidei
-
este fals decizia nu mai este _

concluzia C,- e
valabil.
celelalte regul

/-F
irina stwidard 2:_ '
V
. b)_ Fai
: i'v Pav ...v P4, v...v 1=,.- u(k+1) <-' u.-2(k) + Aug(k) > SEM) .
Form*
(i,j=_i,2,...,'n) '- (5.17) incerte,: cu gta
-
' .
e

(se= citete: 'Jc __

premisele P s'au Pa sau sau
...mu-..._..-....

P.-,.
i sunt adevrate, Atunci' decizia < (Gffsi)
este aceea 'c e a modifica comenzile y(k+1) atribuindu-'le-valoarea up(k)'plus sau
eminus Arma ?D-
(seicitete: L
v

Evident, dacrnici una dintre premisele

- P5,- nu este adevrat, atunci decizia

\
numai cae valabil. ' tim? tzzy) a
.u\\ Ft rma standard 3: Atunci gradul
J , p
_ De ai
\. <P ,- A Pan( A A
1%,;
A (P3, v
An, Pyv P'-- v.v._.__v P',-,.) - ~l fonna fuzifie
_- (ii,~_.(k+1)'<- u,3(k) + An,-,(l)) (i, =
l (re citete: i Dizc
premisele Pn i Rn i .i Ph,
j l, 2, ...,
n) (5.18) Obsei
sunt adevrate i premisa P',1 sau'
A

i
P3; sau .Lsi concrete, exe

P',-,`.
este adevrat, Atunci decizia este aceea de'a atribui comenzii din baza de ci
o u,3(k+l) val area lui ua plus (sau minus) Au,3(k)).'
s l

-
_

'
Dac cel puin una dintre premisele 15,7 este fals sau toate premiseleP
p
',3-

urmeaz a fi
sunt false, a unci evident nici decizia respectiv numai estevalabil. ncerce s le i
`s
'Fc rma standard 4: s
<P,1/' P9 A1.. A 192;,- l\ A A P,~ _iP-i
Ai Ph Ai P',-,- An.. Ai<P',-- S1*
-
premisele P.,

a
(u,-4(k+l)
(-
u,~4(k) Au,4(k))__>
+ A
(i,j = l, 2, ..., n).
(5.19)
~_
n ac
s?
l' (se citete: Dac premisele P sunt adevrate i. premisele P'-~ sunt, false,
Atunci (ECZ a' este aceea de a air ui comeiiziior `u,-4(k+l) vaioriieumk) plus (sau y a cunotinele
in tata calcul
minus) Au,-4 k))~
l'

regulile de <

Evic en!, dac una dintre premisele' Pij este fals

sau una dintre premi- concluziile C
sele P',j este adevrat, atunci decizia respectiv nu mai este valabil.
 le mare complexitate Baza de cunotine pentru modelare i simulare
_____________ _
125
Observaie: Fomia standard a regulilor euristjce de comportare (5.7)V-(5. 10),
regulilor de control'(5'2)\5.lii a regulilor de decizie (5.16)-(5. l 9) a
ndard, cunotinele este valabil
deciziei ce trebuie pentru re ul e(adic` reguli-care se bazeaz pe cunotinecerte). IVn cazul n
:proape critic (de c notmte e are stau la baza regulilor eizristice sunt `incerle, adic sunt
ca -\..x
de stare). In acest cunoscute cuvw , grad de certitudine,
un_ anuimt . . r we/y . .
forma standard a regulilor
modific astfel: eunstice se
iar _concluzia va
V

,
fi modificat i n a) Cazul n care cunotinele implic ,o anumit' roybabilitate); (exem-
f;
pl' icm pentru o regul de comportare):
Fomuz standard a unei reguli euristice de comportare bazat
'

inceite (cu probabilitatea dat): pe cunotine

iza-ia?) <Pr<P'.-. A <Pr(P4'=i$.-,-n..A
>' j
< =p (Pam :pe (Pr(P.-) =p~'~' (Prtcn) '=p.
(5.16)
4
U
.
M\(i,j=l.2,....n)
` a
' '
>
Munci decizia este
V
e
_ _
VV V
V V V V

a u,~;(k)V plus (sauf

(se citete: Dac probabilitile ca premisele Psi i P.: i i P; s fie adevrate
sunt,
respectiv, pn, pri, p,-, Atunci concluzia Ci. esteadevrat'cu probabilitateapi).
..
Evident c,
:izia nu mai este dac mcar una din probabilitile :p,_-, nu corespundea, _atunci
concluzia C, este altera.'Deaicisepoate concluziona -relativ
`.. celelaltereguli euristice, sub forma_ standardprobabilist. uor cum sescriu I '

1.205) >
m Forma .rtndar fil a iiei reguli euristice decdmpoitare
.
Forma_ standard li euristice de comportare (bazata cunotine'
'
(5.17) incerte,.V
a _
_
pe
grad de
_

cu apartenen la o submulimegfitzzy cunoscut):

Lte, Atunci decizia
< (crai-o = lin) A'(G(PI2)"'-; u.i)A..--A (GMP-): u.
'

i4V,-_(k)'plus
ma\ (Cute-n =. u.-.-
'
'ea sau -V(Gr(CV,)=pt,-)> V
(i,Vj=~_l,A2,...,'n) -
_ -

at, arunci decizia icre citete: Dac gradele dencertitudine (njsensulj

_
deapartenen 'la o mul-
!ime fuzzy) ale premiselor 19,1 i PH i i Pb, sunt, respectiv, i141, 1,153_ ._, um,
Atunci gradul de incertitudine al concluzie C,- este m). _
'V

De aici se poateconcluziona cum se scriu celelalte reguli eiiristice,

_

_ _

sub
l n)Pin) "6
`,

(5.18)
forma fuzicat. -
'
V

'

i
premisa P',-; sau Observaie: Din punct de vedere practic, pentru definitivarea formei
concrete, executabile a regulilor euristice de comportare, de control
ide decizie
r,...

atribui comenzii 'din baza de cunotine, expertul are de ntreprins urmtoarele operaiuni:
g' s analizeze cele 3 x 4 = 12 fomie standard ale regulilor euristice, care' E'
-
_
ate premiseleVP
urmeaz a incluse n baza de cunotinenai nti 5gb fonnaggrt, apoi
l' ncerce s le rescrie sub _fOrIVnaVcare ingpd nc_e_rtt_uid_i_nea);n s?,
s aleag, din mbiii sau 5.3, acele -expresLiVrVtjaracterizeaz
A-i'P',--> -
\
' `

..
; snlocuiasc i cu expresiile
C,-,- __
-

a!
r .,

'
,
a'

_
i' n 'acest demers, expertulVuti izatorul
P',~,-
sunt false, va fi
asistat defniVordululpdVahizVitionare
:.u,-4(k) plus (sau a cunotinelor (de
la expert). Este de presupus faptul c dupniai mult timp petreit
'Kifaa calculatorului,
expertul va putea inventa el nsui noi structuri logice
regulile de comportare i expresii noi pentru premisele P,-,-(i,j pe tru
ia dintre premi- = l, 2, n) i
l. concluziile C,1 (i = l, 2, 3, 4).
mare complexitate

6,
istic propositiorial
olloquium, 1981, MATAEMATICO-EURISTIC
MODELAREA
stem: for pracers

ge inan- Intelligent
pag. 3-14.
my and 'ZCSOIL

&c
)ata Knowledge

l
Foundations of 6.1i'. Introducere
n

`ehnic, Bucureti,
naturale ct
Modelarea _sistemelor de mare complexitate, att a celor a
offinite autamizta.
de baza specialitilor din 'mai
decembrie, 1965, celor construite de_ bm,eonstituie o preocupare
domeniile de_ _activitate Astzi, dimensiunea i com 'lexiatea acestor
toate
elrii
id control of large sisteme depete puterea deicalculAg calcula oare or existente; problema
efortulspecialitilortiindfin
'sistemelor de mare_ complexitate capt accente noi,
_

:rnational AMSE ' ` x3/

egalmsur ndreptat sprezieducer 'sionaa i-similica' " '
`

-
or,
1988. pag. 3-17.
z

_
l
v

descompunerea lennte
' '
Iggy;
`
' 1'

of finite ramdom ficareamodelelor;

l7, nr. l, ianuarie, 'gaga iilenmoeor _

ti-lizrn inteligenei artificiale n *analiza _i modelaiea sistemelor [2, 4,

Support Systems(
Un astfel de model carerspunde exigenelor sistemelor de mare comple-
xitate estemodelul matematic61euriste[7, s; 9x01.
-
A -

de mare-complexitate 'constituie o

or
sarcin deosebit de compleXL-Ea. 'reclam-o cunoatere detaliat sistemuluipla

_a

modelul fiecruia subsistem i proces implicat. Problema nu este de descrie gsi>

_a

n pane, 'ci de

'a QmmneuL
comportarea individual a
Velement este. oqpirteaus'.
modelele mat-:aiiatiiurzazproccse or, 'incadrari crora ,re ,_

wmn1=z<e1aw ~ ' a

informaiile i euno-\
w
tin modelulueeea
ele necesare elaborriiie,
n realitate, modelistul nu dispune de toate
ce a condus la apariia _aa-numitelor \e
l
modele i algoritmi cu informaie incom let. Acesta este principalul motiv pentru 211,/
,argumente susinute pentru modelul matemati-
care n acest capitol vom pleda cu ie __
ca-etuistic care include atteleneitte spccire nodwluizti-nvalpmgir; ct
la 7p
dele euristic 41413;? pglyfjauum. 0319i" experte i41.

derivate in
rndul ei derit etm
experien. '
*

model

S vedem mai nti ce este un model matematic i ce este un'

eunsnc.
 Modelarea sistemelor de mare complexitate Modelarea Inalenw

i
Definitia modelului "mzzlematilcese urmtoarea: Modelul_ matematic 'este o Prin com
descriere cu a utoml imbaului mat matic. P, ro riet ilor esentiale lunui_ stem,
./;
rizat prin urmtor
___ . __.-j
.
an.
_
_
__. .

existent sau c( _nceptua 'ep zen an cunoaterea

_

espre sistem 1ntro fonn util. '~ alfabeti

w Merit. s ne oprim puin asupra-acestei definiii deoarece ea: lexieul
admite_ att cazul n care sistemul modelatexs i ca atare modelul se -
v"
_

construiete
- 'mind de la date rezultate
p
'
m masuratori iwgjfggg),ct i cazul n
semant
-
predica
care sistemul fizic nu exisziiitgive concep al i, prin urmare, nu sunt ' - gramat
posibilee er men' ; `

-Observa
25*****?modelul matematic_
__. a spune . .
descrie umar).
' .

pron
.
e ale
_,

- ca ,

modelului, cec a ce permite 's concluzionm c un denumire) ca o p

exac nu 'pate
fi obinut, mai ales n cazul sistemelor mari, complexe. Dsiepanadintre realitatea 'atematic limbaj s fie n n
ematic i cea a sistemului induce o anumitzjncertituzli?, care are la
oletitudine modelului; "' mvr
z
b) Cea dl
. .
-rezid n 'sursa l
rnoe ul
""
s se prezinte sub o
trebuie interp tat n sensul c el trebuie s fie comple, ar
form
tre util, aseriune care
Aadar, '_
cunoatere este d
moddul-Jlnui
naturii (n msur

'
_

mare trebuie s fie astfel

_
elaborat
~
'nct s ofere utilizatorului teoretice i pe l
ansa realnf" "aspuns la ntrebrile
cazul sisteme] de tip realcare reclam un timp de rspuns rapid. acestuia,
cu att mai stringenta n funcional, teor
r
Dejn _ia modelului eiuristc-"este-vu I toarea: 'Modelul euristic este o
felor etc.). n ce
legtur =cu sista

descrierea; a utorul limbaulu' ' ' ' a prgpqrigilor e encspre solicitat i obin
' e ale unui

al,
sistem. existe "c
curioaterea expen sistem
ilsau _cea
i
t sau '
r* tatdinexperienkiperatorului
fa ' ' '
`

von Neuman car:

Pentru a

Defin 'a modelului euristic incit la cteva reflecii, mai ales sub raportul a
-. legi mentale care
_ceea ce depar cel matematic.
-je odlid
'
eurislic
problemelor dinz
' .g

a) P1' ' a difereniere deriv din modul de descriere; ntr-'adevn n timp puterialculata
ce '
zentaregi de cut
la' baza descri :rii modelului matematic st' limba'ul matematic, la baza modelului
' euristic st libaiul log iso-lingvistic, care nu este altceva' dect o combinaie ntre i
speciali;
UQajHLEl mai puine calu
illlllsm
A
g 2
rrixi Jalele elemente .-~ -_ paradigm a fost
componente ale limbaului natural- sunt:
, n fond,
A

-alfa emlnulimea finit a literelor im' aju ui); _ .

-m-lexi ul=(mulimeacuvintelor care-formeaz limbajul);

'
paradigme: para
antica (semnicaiacuvintelor); acest punct de v(
" sem ratica (include regulile limbajului),
'
. .

o paradigme? epi
_

compus la rndul ei din- morfo-

(funcia i dispunerea cuvintelor_ i 'a .propoziiilor n fraz). rirlic Aceast:
'ul la ie este ataat logicii moderne (numit i Iogicadeductiv), Definiia
C. S-EQ .In>1ud.alc.u1ulpmpgzjioual i
calculul .functionale .princi- -r-..etlca-.euristic 1

cteristici fiind xiomtza, formlizarea". simbolistica Princi- logice-lingvistic

palele elemente componente ale limbajului logic sunt: reprezentnd at
'
alfa etul (mulimea-finit a simbolurilor limbajului);- despre sistem.
-
-t-'pred icatele (funcii propoziionale);
*

n_
concl
.

ope atorii; ' '

'
-
'

faptul c modelu
-

ICE [ile limbefuluiflqgiqy_

; i un
. .
' :nat-ei
&mr iiie propoziionale; ' m
i:
7 V

dou modele 1

~ cuanticatorii (general, existenial). -

' de mare complexitate Modelarea mateiiiatio-eurislic 129

!ul matematic este o

Prin concateriare, putem alirma c limbajul logica-lingvistic este caracte-
iale ale unui sistem, -rizat prin urmtoarele elemente: '

i intr-o form util. alfabetul (n sensul de mulimea tinit a simbolurilor limbajului);

ce ea:
-
lexicul (mulimea cuvintelor limbajului);
ca atare modelul se
" -
semantica (semnificaia cuvintelor limbajului); '
-

icare), ct i cazul n
predicatele (funcii propoziionale);
-
w

rin urmare, nu sunt am.,

gramatica (morfologic-t sintaxa, incluznd i regulile limbajului).

ietile eseniale ale

-Observaie.
Conceptul de limbaj logica-lingvistic trebuie acceptat (ca
:natia exact nu poate denumire) ca o prima aproximaic, intr-un proces n urma cruia ar
unnacaaccst:
ana dintre realitatea limbaj s tie n ntregime definit i fundamentat.
'

rtitudine, care are la

b) Cea de a doua difereniere dintre 'modelul matematici modelul euristic
ezid n 'sursa de cunoatere despre sistem. ntr-adevn-'n .primul cazsursa de
util, aseriune care cun`o tere este de natur cencetual i se bazeaz pe' analiza sistemului,
pe Legile

l
.

i complicat. Aadar, "Hw in msura n" sistemul),

care aceasta reb conexiune

5`
i ofere utilizatorului cu pe
Zf teoretice ipe formalismul matematic (derivat din' analiza .matematicranaliza
mai stringent ii funcional,
id. teoriis l$c,
felor etc.).l n cel de al doilea
teoria mulimilor vag; teoria catastm4
&Iul euristic este o '
.legtur sistemul,
ca; sursa de cunoatere este experiena(cunoatere
uman n
-

cu concentrat n aa-numita ama tere ex ert

r eseniale ale unui solicitat i obinut dlunulsau mai-mulgexpeii
'
~
. .

peit despre sistem

*
Pentru a _nelege mai :bine &aceste lucnir; trebuie szne ntoarcem la
von Neuman care,n lucrarea salie- computer aiidithebraine nutrit sperana unor
ii ales sub raportul a .legi mentale care arizvor din puterea calculatorului sivcare_ permitemodelaiea
ar
.problemelor dinamice, complexe i calitative. Aceasta-a dat natere la paradigma
ir-'adevi n timp ce puteriialculatorului i apermis dezvoltareaiunor tehnici i .metode de repre-
z, la
ban modelului
'
zcntarc, i de cutare, carens &audovedit de @eficient dlscutabilii practic.
t o combinaie ntre _
Specialitii au realizat faptul c, n realitate, om rocescaz _informaiacu
_mai puine calcule, dar c-u camara-cantitate de cunotin'stiicturale.-Aceast
nou
il sunt: paradigma a fost denumit paradigma cunoaterii.
_'
' '
.
n fond,
ceea ce iiitereseaz_ncontcxtnl de fa eteifaponul dintre dou

paiadigme: paradigma-epistemologic i. paradigma eurirhjNoi

ne plasm din
acest punct de vedere ntnun punct intermediar, ceea ce ned dreptul s vorbim de
nduLei din orfo; o paradigma' epistemoIogico-euristic sau, astfel spus, paradigma; matematica-eu-
va lidtncele ce urmeaz. "
-rS-irctazvceast aiiinaic
r nfraz).
7
"
`
-
-
~ -
Definiia modelului matematico-euristic este urmtoarea: Modelul mate-
i
logica deductiv),
l
funcional, princi matico-euristic este o descriere-cu ajutorul limbajului matematic i a limbajului
iimbolistica. Princi- 'olictliviic ..v3
a - ,a .
muma-q_-
. . .
a proprietatilor eseniale ale unui sistem, existent sau conceptual,
_, .

reprcientan atat cunoaterea omia iza il matematic, ct i cunoaterea expert

despre sistema
e

'

n concluzie, n primul, rnd trebuie observat

se impun cteva clarificri.
_ faptul c modelul matematicoeuristic este un model hibrid, compus dintr-un modeLl-/l
matematic i un model curisticnCum sursele de informaii care stau la baza celor
dou modele cunoaterea analitic, respectiv cunoatereajgpertkxperiena)
- -
 . 130 Modelarea sistemelor de mare complexitate Modelarea matematic

sunt diferite, ot servaia de mai sus ridic imediat o alt problem, anume aceea
privind com ati Eilitatea dintre modelul matematic i modelul euristic.
s&
vr, nu este a ption evident taptul ca prin cuplarea unui model Finalitati
modeluli
matematic cu u n model euristic se obine ntotdeauna un model robust, valid, i
acest lucru tre ie dovedit pentru ecare caz n parte. Pentru a elucida aceast
problem am el borato teorema' decompatibilitate ntre modelul matematic i cel
euririic, care re: olv problema_n discuie (v. .subcapitolul 6.3).
Dei mc todologia construciei unui model matematic a constituit obiectul Simular(
mai multor lucr ri cunoscute, reconsderare acesteia nu este deloc' superflu;
o a
astfel nct, fr'a alte adaosuri, 'prezentm principalele
etape metodologiceale
construciei unu m"~s*
l ~analiz Lsistemu ui/procesului modelat; r? se
i

-

m t t?
2 #r erea matematic (pe-baza expresiei matematice a legilor naturii _.
'
Optimiza
i/sau
ani& procerelar
elementare. care au loc n subsisteme;
_owstr

AJ
-descrr grea matematica -a ,interactiunilor dintre procesele elementare

P
4g.
.i/sausubsistem a i dintreacestea i exosistem; -
3

Managemi
g, .'.-V' ~-.rimplij Ficarea unormodele rezultate ajutorul semnificaiei elementelor'
cu (conducere, d:
diu-
Mel??...Wmwwmwww. lund
rr' -elabarea-modelului considerare
'

global al sistemului
rn-trxamtnaice

:.}'
mare n Stabilitai
'topologia intafirtigtinzadrul.
sis _e de sistemului; .

Q;
~-de.rco punerea rzidelugglobal (de mari dimensiuni) ntro reuniune de
'

L` _

c'
_

blm ogggae (de mai mici dimensiuni, '

v Complexi

\fm
:si :w- reducerea dimensign la' a- modelului prin eliminarea unor-variabile'
endogene:
primul rnd n fu:
"
parametrii distribui
' -reduce *rea complexirtii modelului prin aproximaii de natur numeric;
`
i
practicho-dimensio
zarea modelului atunci cnd' aceasta este posibil (necesarg-util)
l' l
e
maialrs-'nfsitainan :-
-/.- ' -.
'

izrea vaiiliibilelor modeluluivariabileadmensionale);

-_
' '
'
poate induce diu
Din punctulde ve
elaborate (i ca' urr
@Liam rea modelului ajutorul 'unor testeilcalcul numeric cu date de (s 'zicem calitativ)
cu
'
dete
A
. test), :a punctelor slabe i verificarea modelului. - modelului 'i pune l

Complexita
_

. absent ' :Nu

este deloc lipsit. de interes s subl-iniem faptul c' sistemele
mari, prin den _ie multi-input, multi-output, sistemului modelat
se preteaz lao descriere matriceala_ poate fi liniarizat)
Mai mult, marric ea de tranziie sistemului
a mare este o matrice cumulte elemente mai mic dimensiui
nule. Este util_. exploatarea_simplifierilor
care derivdin gradul\ de sparsitare al Aadar cor.
f sistem
`

'
dar legtura nu este
de artat modul de selectare, de alegere
Ar_ mai `i
complexitatea mod

45
-

matematic, ope 'ratiune care depinde evident de mai multe circumstane; cum. sunt: complexitii, prin
rxg/*MA A

uneori fuzitii, cor

- Finali tea (scopul) modelului
un model matematic se 'elaboreai
- degraba n mintea i
A

avnd n vedere un anumit scop (de exemplu: simularea comportrii unuisistem,

optimizarea sist ului, conducerea sistemului; stabilizarea acestuia etc.). n funcie
~ a st_ lucru, putnd
de finalitate exi t 'clare de`modele recomandabile i este obiectiv i leg
care pot fi testate. cu un
anumit succes, cele din tabelul 6.1. e I Specia (fi
fapt, aici ar nece
 Modelarea marenzatico-eurislic 131
e mare complexitate _

____.___
tm, anume aceea
Tabelul 6.1
'i5lic. Finalitatea '\ Clase de modele matematice recomandate
larea unui model modelului \fc @F9 i\ ilsau metodele i tehnicile de modelare
:l robust, valid, i V Sisteme de ecuaii difereniale
Sisteme_de ecuaii cu diferene fmite
a elucida aceast
'

!I nraremalic i cel Ecuatii integroidifereniale

Ecuatii cu-derivate pariale
Si mulare
constituit obiectul _
Ecuatii difereniale stochastice
Ecuaii algebrice
:e deloc' superflu,
Sistemefuzzy
netodologice- ale
Grafuri conexe
Programare liniara
Programare neliniar
Optimizare
e a legilor naturii_ Programare' multjcrterial
n subsisteme; Control opimal
cesele elementare 'u
Cercetare operaional
Management Sisteme stochastcc'

icaiei elementelor (conducere, decizie) Sistemefuzzy

_

Teoria catastrofelor
in Teoria sistemelor automate
ud considerare Stabilitate
Control optimal

ntr-o reuniune de
-ziiuplejcitatedsistmului made ?influeneaz modelul matematic, n "ee-mr- -

primul ridrrrfuncre e aca sistemul este finit, dimensional sau

ea unor-variabile cu)
-

parametrii distribuiti. n acest al 'doilea caz, sistemul-poate ticonsiderat ca fiind

natur numeric;
'
practici imensional. Dar i n primul caz o dimensiune nit, dar foarte mare,
l (necesar,-util) poate induce dificulti de calcul, n special ca memorie ocupat i timp-calculator.
Din punctul_ de vedereal complexitii mai putem deosebi modele_ matematice
sionale); " elaborate (i ca urmare foarte detaliate) i modele matematice mai puin elaborate
Jmeric cu date de (s 'zicem calitativ). Modul mai mult sau mai puin elaborat 'de a trata construcia' i

modelului i pune amprenta i asupra complexitii modelului. ~

-

dial

' _gomplexitatea modelului matematic rezult i-

a...
.

faptul c' sistemele sistemului modelat. Un si 5m (model) de mari dimensr n. inia . care u
.

:scriere matriceal, poate

fi_ liniarizat)
poate, 1 uneori mai puin complexidect un sistem (model) de '

cu multe elemente mai mic dimensiune, d puternic neliniar. - v

ul de .rparsitate al
_

Aadar compleift,itatea sistemului influeneaz i complexitatea modelului,

lirgiar, n_ sensul c, n funcie de obiectivele urmrite,
ajutorui tehnicilor de reducere a
inicii (d-evlnzaiielare
"oat,(cu
ui,
c 1a de liniarizare etc); Dup cum afirm

r'
nuane'. cumsunt: exitau,
:tic se elaboreaz co1n
uneori fuzitii, este un concept -vag, care se afl mai
degrab ,n mintea analistului, dect n. realitate. Avem argumrntc s ne ndoim de
rtrii unui sistem,
acest lucru, putnd afirma cel mult c aceast complexitate poatefi nuanat, dar ca
uia etc.). n funcie_
7 _p este obiectiv i legat de structura sistemului., `
v,
_ V

t .fi testate. cu un' " Specia (felul) sistemului analizat poate influena alegerea modelului. De
-
fapt, aici ar fi necesar o clasificare a sistemelor, dar criteriile de clasificare sunt
 132 Modelarea sistemelor de mare complexitate Modelarea maternali(

att de numer( ase nct pentru aceasta trimitem la [l]. n

acest capitol ne vom trebuie ocolit met
limita la a clas ca sistemele (modelele) mai ales din &punct de vedere
matematic, v

ritoare la sistemul
adic evdeiidzahliltnrariaiiapaririaaicum'
n figura 6.1.
se ari motiv experiena ne
b) Agregar
solicit de la mai n
Model matematic puncte de vedere
v

.agregattz pentru a t
Pentru aceasta exis
Determinist Nedeternrinist cele bazate pe teori
-

(QREEYEZEI

Stochastic | Funy] Matematico-euristic form riguroas, n
r, _
_

simboluri i operat
n prezent
se cor

cunotinelor:
> Liniar r ' Neliniar <
'- calculul(

reelele
semantice); - p

.htp

regulile _c

-
-' obiectele
_
Y V
d) contin
Cuntinuu _LDiscret LEvenimcntediscrete l
programare special
_,
euristice: regulile d
Egtil. Clasificarea modelelor (matematice) dup specia acestora. e) Canstfw
echivalent c_u extr
sistemele 'in donmari clase: determinirte i unei reele de infer
Astfel, nederminirte, siinulat.
acestea dinumi fiind, de asemenea, rtachastice i vagi. Oricare dintre
_

acestea mai f) Include!

pot fi liniare sau neliniare, dinamice sau statice i, n final, continue
sau discrete. simulare: un' exper
Modele e matematice care reprezint aceste sisteme
vor urmri, evident, i sistem capabil sa r:
ele felul sistemt lui. avnditoate atributele acestuia. trebuie luat ca o pa
Observaie. n fond, ceea ce utereseazicel mai mult n nal este gradul de g) Validat
credibilitate al' modelului ' matematic vizavi de utilizator, credibilitate mlat pe calculat
care se rezultatelor se fac_
probeaz prin c litile modelului i, in ultimainstan, orice produs, cu ajutonil
ca euristic, va deten
raponului cost/ erforman.
'
' " ' '

modelul eu_ristic
Metoda ogia construciei unui_ EHFSZC
este _mult mai- puin,
'
n realitate
v

_i nu
cunoscut .dec cea a modelului matematic, raiunea principal fiind faptul c sus in apte etape
a

modelul euristic se bazeaz

pe experiena i intuitia expertului, ambele mai. greu de
surprins n cazu unei metodologii. Cu toate acestea, este n
instrumente sowz
i acest caz obligatorie lipsa unor maini c
parcurgerea une secvene deggp&metodologice i prezent este dep
anume:
a) Salic area cunostinelorl Cunostintele solicit direct de la gxpgt, prin informaie care im
se
*i:
.
maturi-a' 'interv' _etil 'i/sau ~ii cadrui-Nunor
seminarii de luciu. De "v.
asemenea, nu
l* :
tot evident i '

'x ............. dezvoltare a acesta

 r de mare canzplexitale Modelarea matetnatico-eurrtic

______
133
cest capitol ne vom trebuie ocolt metoda extragerii cunotinelor din documentaia existent,
.e vedere matematic, refe-
ritoare la sistemul analizat. Toate aceste cunotinventrebtiievs 'reflecte
a,
aa cum se arat i
_

motiv experiena nemijlocit a expertului n legtur www ca un lait-

'cu sistemul/procesul n cauz.
b) Agregarea cunotinelor. In cazul cel mai des ntlnit cunotinele
'solicit de la mai muli experi i, ca atare, pot aprea unele discrepane se
sau chiar.
puncte de ve ere ivergente. e aceea, este nevoie ca aceste cunotine s fie
agregate, pentru a atenua unele 'diferene care apar n aprecierile diferiilor
' Pentru aceasta Eis
experi.
tehrie a_ e are a cunotinelor, cele mai cunoscute fiind
cele bazate pe teoria mulimilor vai [3]: ' . -

@Reprezentareacunotine ar. cunotinele obinute sunt

V

.
reprezentatesub
:o-euristic fonn riguroas, utiliznd limbajul logicmlingvistic, de 'fapt ntregul arsenal
de
simboluri i operatori specifici acestui limbaj (v. capitolul 5, logica
n secvenial).
prezent se consider c 'exist patru forme principale de
cunotinelor: `
reprezentare a

'- calcululcu predicate;

.

~
.

i
direct n care mrimile reprezint entiti
'
semantice); ' ' `

de
regulile producie;
-
-obiectele structurate.
'

\
d) Construcia bazei de cunotine' Utiliznd unul dintre limbajele _de
_

l programare specializate (Clips, Iisp, urbolrolog, C)

euristce:
seconstituie setul de reguli

r e,
regulile drgggi regulile

d
-_

e) Construcia' modelului euristic executabil. Aceast

v
_

CCSOM.
echivalent cu extragerea dinibaza
'operaiune este
decunotine a unui set de rei li deinferen, a
unei miel&de inferene sau a unui sistem de obiecte (structurate) legate de.
rte 'i
riedemziniste, ' sistemul
simtim. '""`""""'' '
dintre acestea mai
t) Includereairtimodel a tenul' expert rysteirzishell, ca parte modelului de
a
'
*me sau discrete.
simulare: un' expert sys-tenuhell este privit' 'ca tgllnlu de,3041513142,
urmri, evident, _i nu ci ca un
sistem capabil sa vraioneze i s infere
asupra unor cunotie
x
'
expert i, 'de aceea, el
trebuie luat ca o page inte al a modelului euristic.

g) Validarea modelului. Versiunea executabil_ modelului euristic

_

inal este gradul de a este

'
rulat pe calculator_folosind, evident, i
dibilitate care se expert system shall, adic validarea
rezultatelor se face n cooperare
)rodus, cu ajutorul cu expertul, care va valida n nal_ modelul
euristic, va; determina garametriiwmgdcglttljide simulare (calitativ)
,hagatppe
" modelul euistie
A

i
-'
,mult mai puin
'
n realitate, metodologia
~

de construire a unui' model euristic prezentat mai

I fiind faptul
c sus n apte etape constituie o metodologie ideal, mai ales prin prisma lipsei
nbele mai greu de instrumente software standard, unor
ceea ce limiteaz dezvoltarea de aplicaii, dar i din
:st caz obligatorie lipsa unor maini de calcul adecvate prelucrrii de cunotine. Arhitectura
hardware
i'
prezent este depit din punctul de vedere al prelucrrii imensei cantiti de
tde la expert prin infonnaic care implica `ire_lucr_area infgrm ' ' _rugtjatg difuz i incert. Este ,I
De'
asemenea, nu tot mai evident faptul c procesareajgypa& La_ig_f9__n_n_`Mi constituie linia de'
dezvoltare a acestei arhitecturi. In acelai timp, arhitectura software
va poseda' 'tin
 Modelarea Iriaienzaticu
134 Modelarea sistemelor de mare complexitate
-_____-_._
6.2. Elal
mai mare grad de abstractimre i reutilizare cu implementari independente de
main, ceea ce `i crete-portana. Cele mai mari sperane n acest sens sunt legate
de arhitectura s cware orientat pe obiect. n acelai timp, ncorpornd mai multe 6.2.1. Mo(
'`-.""T`**
cunotine in ac st software in scopul dezvoltarii
a . .
.. de aplicaii, .
.. arhitectura software
va avea la dipoziie mecanismele de reprezentare iutilizare ale acestor n privina i
cunotine, sistemul fiind bazat pe reguli de inferen n scopul de a fi acceptat mai gresi', c exist o ma
repede.
acum este aceea de
Aadar, putem spune c modelul leuristic cu cele mai mari anse de reuit numim modele stari
este un model_ .r ructurat pe obiecte, bazatpe reguli de infczrenrln scopul de a Experiena ne-a ari
asigura o mai mare accesibilitate a utilizatorilor la modelul euristiqacest model modelul dijrenial,
trebuie s posed urmtoareleparacteriici: discret),~pentru siste
familiare
s fie, constituit din obiecte structurate' i relatii de inerent modele _exprimate
utilizatorului; - difereniale, ecuaii
extensibil, n sensul de a pennite integrarea de noi tehnici de" reduce prin transfer
i 'i cabil n cursul desfurrii experimentului de simulare (permi-
~6a2.1-1. M0
a ipotezelor delucru n fiinp real); A

(adica obiectele _i .regulile 'del

proprietateade consilrten ' .
Aceast ela
~. inferen s fie, orect reprezentate i pe cea de ca latitudine (n sensul c toate_ fon-na unui set de e
schemele care articip Ia-un scenariu de simulare s fie definite n baza de . suboptimalitate pent
i
cunotine); -
. guaie vectorial;
.3- s 'fie compatibil' simulare numeric (n sensiiLartat n spaiul strilor. Ace:
g
_
cu modll de
teorema deconipabilitate);
l

\a ' '
-_ _

x
'-1 crearea lor s' reclameun efort de
t... rogramare rezonabil; _

la' ?s fie uor' ' 'instrumenlabile' (n

l'
sensul de a putea fi vizualizate/pe un
l' l
monitor); .

interfaa pentru crearea i modificarea modelului s fie interactiva.

_

-
Mai surt, bineneles, i alte caracteristici ale modelelor euristice, dar cele
specificate mai us par_ fieele eseniale."
a -

,
undei A,- i B; rep
In final, s recapitulm ce specii de modele euristice putem ntlni. n .

potrivii
lucrrile de. cercetare i care ar putea interveni cu- succes n analiza sistemelor mari,
f]- funcii
- iritera(
'
complexe (tabelul 6.2).
v,-
Tabelul 6.2 - con
x,(0)
-
-

l oi param
Finalitatea modelului'
4
'Clase de modele euristice utilizate -
Seadaug"
Un set de reguli euristice (reguli de comportareLo
n

l
V

simulare_ reea de inferene '

'
" O reea de obiecte structurate
(2 fiind valoareil

Un set de reguli euristice (reguli de Control)
Control
_ _
_
O reea de inferen Variabilel
Manlgcmeht
`

e 7,_ eguli euristicereguii de decizie; "l

. _ .
_

(conducere, decizie) - |
 Modelarea matematicq-euristic 135
nare complexitate
ile

i independente de
6.2. Elaborarea modelului mateinatico-euristic
:st sens sunt legate
6.2.1. Modelul numeric standard e simulare
rpornd mai multe
rliitectura software
lizare ale acestor w; n privina' modelului numeric de
le fi acceptat mai
fmulare putem afirma, fr teama de a
a gresi, c exist o mare varietate dc astfel modele. Problema pe care ne-o punem
gsi model
dclas de modele de simulare, pe care le
acum este aceea de a un sau o
iri anse de reuit sensul c toate celelalte sunt reductibile la acestea.
numim modele standard, .n
ia'. In scopul de a
'Experiena ne-a artat c cele mai frecvent ntlnitemodele de simulare sunt:
ristic, _acest model modelul di' eren ial, pentru sisteme continue, i modelul cu di erente nite (timp

eme
`

discrete. Toate celelalte metode

inferen familiare
de noi tehnicide
_i
citm aici numai cteva:
modele _exprimate 'sub forma-unor ecuaii/du derivate pariale, ecuaii integro-a
difereniale, ecuaii integrale, modele provenind din teoria catastrofelor etc.) se pot
` `
" duce prin transformri adecvate !acele dou modele.

e simulare (penni- _....._........g.a 1 i:

3
1**&,
-

a, 6.2.1.1. Modelul numeric standard de simulare (sisteme continue) T.

.regulile .de
_

le i Aceast clas desisteme este Bine reprezentat de model l dytizrenial sub

(n 'sensul c toate,
:finite in baza de /
.forma unui set de ecuaii difereniale neliniare cu ale date i interv_& de
Fiecare dintre_ aceste ecuaii este, e ptf
s.
H_

ele
subo timalitate de
n) din
_ae vec rialcare descrie evohiia suhvectoruluide stare x; (i=
l.2.-,-.-t

in sensiartat n
n

j
spaiul strilor. Acest model se prezint astfel N

wiki
V

A,.x,.(z) (6.l)'
2 m:) = + 13,1441.)
+ _.(x 41,) + v,.(x);
vizualizate pe un
'

x,.(o)= xm, i= i, 2, v

(6,2)
n; _

interactiv.
Vw): g.,(x,.. ' i

(es)
euristice, dar cele j=LJH
V

unde: A; i &reprezint matricea de stare i respectiv de comand, de dimensiuni

putem ntlni n
potrivite;
' `

a sistemelor mari, f;- funcii vectoriale care' descriu neliniaritile subsistemului i;

v,- -
interaciunile dintre subsistemul iii celelalte n-l subsisteme;
Tabelul 6.2 -
x,(0) condiia iniial;
-
(1?-aparamtiiiysubprocesuluimodelat. `` 'M'
e utilizate
Se adaug intervalele de suboptimalitate:

de comportare), o V

xil
:i Axi x: 5 i 'l' Ax: = xi2 -
(54)
e control) (,- fiind valoarea medie de regim staionar, .iar Ax,- incertitudineaasuprastrii x,-).
* Variabileie de:: rul 1-1; sunt ielesupuse la restricii:
e decizie) 11,15 u, S un , i= l, 2.1., m . (65)
 136 Modelarea sistemelor de mare complexitate
Modelarea nratemali.
Cazul modelului liniar (funcia de transfer). n cazul n care subsistemul -

este liniar, ecL aia de stare se scrie astfel:

,
2,4:) = A,.x_.(t)+B,ul_`(t)+ Alixj(t);
(6.6) Dac aplici
j=!,j:|' '

z[E
x, (O) = xio .
_transformri i
Aplic. rea Laplace ecuatiei (6.6) conduce la: de unde deducem, i

i
rsi:Yi()-xi(o)]=A[)G(J)+BiF;(s)%_ Ax-(s). (fiJ) 6,.(1
1:1 ,]$
'
unde: 9,(z)
de unde se de( uce 'n nal:
6`.2.1.3. M(
?lui 4-a!~Ai"[sxi(9i+B,E<+_ .A.,-Y.-(s]} e

i
n 'modelu
Y.~<s='J{x.-<r}; i<s=1{x,~<r}.: I=.~<s=-J{u.-(o}. ?f
`

i
l( unde:
l. vin? discrete, a crui f(
sistem cu evenimei
l)
l .
'6.21. Modelul standard simulare
numeric de (sistemediscrete) i poate descris c
ul sitemelordiscnrete clasawde modele numerice de `si`niulare este
'cel mai bine ' -eprezentat de
ctre un set de ecuaii cu diferene finite, neliniare, '. Um'
eu---eondiii i iniiale date i' cu .intervale de subqptimalitate penm-_variabi 114k)
-lele x,~(i= 1, n) ...
ga; + 1)& xQ-(k)'+rB,'u,(k)A-IF ,q,.,k_) + v,.(x) ;
i'
m
xi(0)=xroz` ~i=
_

1,2,...,n
Fig. 6.2. Sis
v_.(x)_= vgocj). -.
Seninica'
Fum i

i
X estemul]
Seasc cia intervalele de suboptimalitate: .
U muln
`. x' S x( .<. xiz
(6.11)
Y - mulim
5: -X X U
i restricii' pentru variabilele de comand: -i
l: X X U ?
un Su, S-.u
.' (6.12) T- mulim
, Obser M9F9lLl.DPmE5E :: inimaxe
direwxi) 5
Dac X; e
poate ti 'obinut prin modelarea directvaproeesului sau sistemului discret, dar model difrarenai t
5\ dup cum urmeaz:
un astfel de model poate ~ obinut iprin discretizarea modelului continuu
f!;;'m.e;.\ n acest caz matricele Aii B, din (6.8) Fie T E (ko.
`
(an-es). dien a_ cele am Z6. pot e l). modelul care reprez
Cazul' modelului liniqr_ (funcia de transfer). n cazul *subsistemelor liniare diferenial boolean:
discrete, mode Iul ercuaia _de stare.) se scrie astfel:
V .e ~

"**, Xik-'r
i de nare complexitate
Modelarea matematico-euristic 137
n care subsistemul
x,.(t+l)=A,.x,(t)+B_.u'_(t)+
i
j=l.j:i
Axj-(t). (6.13)

Dac aplicm transformarea _Z

ecuatiei (6.6), rezult:
(6.6)
z[9,(z) -x,.(o)] = A,.e,.(z) + B,r,(z)+ 1145641) .
i= ,je
la: de unde deducem, n -tinal:
e,.(z) =(zI Ai-[Zximu + B,.'i',.(z)+_ xAe.(z)],
(s) . - (6-7) ~ 1:1.)
Z-{x,-(t)};A 9-`(z) Z{_u,~(t)}
=Z{xj(t)}l
n

unde: W,-(-Z)
9,(z) = . .

6.2.1.3. Modelul de simulare cu evenimentediscrete 'MAE-

(5 o
i
g,- - ?sau
'n modelul hibrid este inclus i modelul. de simulare cu 'mente

i
?i
_

- discrete, a carui orm standard este un set de ecuaii diferenial baoleene; n

sistem cu evenimente _discrete poate. fi modelat _ca un automat Secvential-H' 12) v

{X U Y. 5, k. T}.
eme discrete) i poate ti descris cu ajutorui unui' sextuplu: G = , ,

fe e simulare este

i

unei L
we jnite, neliniare,
U205)
m)
1,205)
-)
'
ate pentris-_variabi- -> .
.'
XT;{X;Zk);X,(k),..'.,X.,(k)}

=
' 5
-

e'
'); (6-8)
A

'.
`

..ac tic)
~ . e

(a9)
Fig. 6.2. Sistem cu evenimente discrete modelat ca un automat Secvential.
'

(76.10)
Semnicaia simbolurilor din figura 6.2 este unntoarea:
X estemulimea strilor sistemului cu' evenimente discrete;
U mulimea de intrare;
.(611) -
Y~ mulimea de ieire;
5; XtX U funcia de tranziie;
X

..MX-Jeg Y-
&funcia de ieire;
4 ~
v -
j:
(535) e "Tniulimea momentelorde timpdiscret.
`

iscret
-

oel ' Dac X; E X, U,- e U; Y,- E Yiauivalori din multimea boolean (0, l), un
(6.8)=(6.l2)
model dijerenial boolean a7 sistemului cu evenimente discrete poate fi construit,
:emului discret, dar
dup cum urmeaz: ~
'
modelului continuu {ko, klmuliimeyrniomentelor
Fie TE khlg, k,~,
de timp discret. Atunci
cele'eiin(6.1y~~ ..., ...
. -- 'modelul care teptezinivoluia sistemului cu evenimente discrete poate ti un model
ubsistemelor liniare . diferenial boolean: mm...
XKkH) = Fr (X100. Xz(k).--X(k),U1(k),U2(/<)--.U.U<)) ; (6-14)

einen.: ' Qxm..

 '
il
A& lioeld( :s

138
zmz
de :nare complexitate lodelarea
"mtemmic

X2(k),---Xn(k),U1(k)U2(k).-~.Um(k))
n( c+1 = G,~(X1(k, ,
(6.15) _
conditia
_

'. s

m care: F,- este fmcia de stare a sistemului cu evemmente discrete;
. . . .
- '
,

G,-~ functia de ieire a aceluiai sistem; v

F,- i G,- funcii booleene cu valori din mulimea {0,'l}.'

_ condiie
5
- V

Fie x,(t) i x.(k) strile sistemului/procesului analizat (modelat, simulat, V

Ci
5c
controlat). Presupunem c, -n cazul procesului continuu, variabila t este discretizat
n aceeai manier ca i T. Atunci, pentru ambele cazun', putem deni variabilele colldllei
sistemului cu evenimente discrete astfel:
"
CI_ _=_
C ]

inl, dac xi(t)e [x,--.x,-] Notmri 'fa

lzac) =
_

_(646)- standard este de for

altfel _.

t M .
2 a
_
t nicax_ 1443, A
F, , &

1.' dat u;(t)*>X.-(!+~1)E [xrmmdzml Utiliznd .s

viu:)
.

(6.17)
`u=r.2,.u) z
_ _I p

0. altfel .
formele standard _al
p

unde intervalul [-, x] afost defmitamerior. .

'
condiia:
-
-

_
_

Calculul lui" X,(k) utiliznd fonnula (6.16) _conduce lamarriceasstrilor cu_

evenimentediscrete DESM, cu Valori booleene (O sau l), de exemplu matricea:
-
w

_
_
. _

. .
-condiia:
X1 X2 X: X11
_

A*k ' '1'

" 1 Editiei
1 -~1
*
kr o 1 C, 20,1
_
1 1.
*
'
DESM = : '

-condte:
k
`

1 1
l "
-

l' u C: E Citit).

1'
p`

k; o o 1?
Cu ajutcrul matricei booleene DESM i' al comenzii' u(k) rezult Y,(k). _.

'
7

cu aceste
standard de simulc
` `

-
.
ren: regulide cc
,
Modelul de simulare bazat _
e cuano tinte deduce regulile&
V A

* 6.2.2.1. bdelul euristic de simulare i control 6%? ; ? 5\ '

Reguli em
*
~

las-css
In mod adiional, rilodeiui eurisic pbate mbrca ferme variate, aproape
~
e
a

e
@am compcrt ubsise _

J
modul n- care con
imposibil de n lobat utr-o metodologie unitar. _Experiena a artat, ns,c- cel
reguli se pot prezei
mai'bine adap pentI/'ILS' _larea calitativ a sistemelor este modelul euriszic
t
construit dintr- setde eulterirtice dca-forma: -
<-_',_,(t)/\<

< Dac
C,- (condiie), Atunci R; (rezultat) > . (6.18) < C,.,(t)'v4
_
"Conditi condie simplrifarte cbmlei. acest din
C,- ipoate fi 'o .
(Ci, ACA ...AC
urm caz lum considerare unntoarelpsrhiliti, pe care le considam standard:
i
cond ia standard de tip funcie logic I:
l
l
E
 Modelarea nmteInntico-euristic
de mare complexitate V
139

c,.sc_1 c 1...rc,.;
m) , (6.15)
.

15-
condiia standard de tip funcie
e; *
logic&
C,-
d-..
EC SAU Ca SAU Cm;
condiie standard de tip _filrice logic -SAU:
1...`.,-....

(modelat, simulat, . I c_1._. c,. icj. SAU

c. ac., c; SAU... 2;);
la
t este discretizat standard fnncie logic
condiie de tip
n defini variabilele I-NON: .

fc, c, I NoNq', 'I

s 0,., I c., I NON.CA`,2
I NON c,.
(6._l6)_
Notmri faptul c rezultatul R,- poate :aprea sub diverse fome. Rezultatul

u
standard este de forma i
'

"kg
I RM. zii, ,.,
"M1 (6.17) Utiliznd 'scrierea 'specific 'ldgiciisecveniale' (prezfentat
_
_ n capitolul 5)
formele standard alevcondiiilor C,- i ale rezultatului R, scriu astfeli
se
condiia standard detip funcieiogic i:
' ' '

vatricea strilor cu
..i
* c(`r)`xc_.z(:);r.\:,.-(z)_
c,.
mplu matricea: `
"3.
e
. condiia standard de tip funcie logic SAU:
c,- c,.,(z)vcv(z)v..nr"_(z) ;
condiie standard -iogic
s
deti funcie I-SAU;
-

c, a c(t)ngc'(i)n ...A-.c,_(:);}.\(_c,;(t)v Cf,'z(t)v ...y cggo);

,
J? V
condiie standard 'detip 'functie logicI-NO:
c,l,.('z))\_c,.,'(z)
l

c, 'a A ..A_c(r_),x(~ic,; (un -ic, (mea -.c, (o) .

_n TCZlIiHlII-R,
V

ceea ce- privete _else scrie astfel:

'

R, R,,(t+1'}\'/R(t+l)'/\...AR,;,_(t-+1)).
e

|
rezult Y,(k). a
Cu aceste element' brcgtitdare putem- prezea
"
A

acum modelul eurstic

_te
Mattig*: simulare calittiv i control, compus din'
ren: reguli de comportare i
duce regulilededecizie.
de reguli/druie-
din ace ea din- urm putndu-se> &are
*

'rguli

luri _

rii '
A

/'"'`"`*~a: `

cintat;
' Reguli ,artistice
deicam ortare.. cestevegulilexpnma
'
. . .,
modul in ceresc
..J/ K, comiort subsistemul (i/sarbmemp ' nt
f*

a aces ia) n anumite condiii Ci, adic
V

ne variate, aproape modul n care conditii] C- inferre ltatul. --referitor la starea

artat, ns, _c cel xiwA-adaraeeste\
:e modelul eurislic
reguli se pot prezenta astfel: gh'. si. l

.

_
f' < q., (t)AC (I) A ACM (t)-_x,.;(t + 1)
/x(t + 1)A ...7CE,.(I1)> ,
' V
.

ar\
f
(6.18) <C(t)VCn(t)\...YCi(t)->x(Z-i-l)Ax(I+l)/\...Xim(t+I)>
A

V
; "
npixii acest' din _"<C,J,AC,2A...AC,A(c;,vc;2v;..vc;)-x,;(:+i))u`(z+-i)A..J\x,(i+1)> e

31;;
;
nsiderm standard:
 -140
*ai

Modelarea sistemelor de mare *se caznplaxital (ata 1 Modelarea :nalemaricx

Reguli euri:
<C ACA...A a
Abc; A"IC,:ZIA...A_IC|Z)-*)X,-1(I +1) Ax(: + DIM\ x,. (x +1)> _

i arat cedecizie
(6.19) tr
Reguli;
L
(i: l,2~n) . Qd__{4in

iese din intervalul d
le exprim rezultatul aciunii A,- asupra sub-
artistice
numai
control. sau J; > .Xa va infera
sistemului S; (s u pri a_ acestuia), Aciunea A,- este conceput
experienE_ad\~/a_i*_i_al1|lg__de _gqrjlana u,-, x.(t)'<;
-ca o modificare raiqnal, bazat pe ceea ce

ltat
nianumite
con asupra strii &Aciurielr asupra
X:
3
lui u,(t) poate av ea una din unntoarele ferme: .

N615.
( u,{t+1)(- u,(t)+A' u;(t) (u`,
crete); Subli
eg ,i decizie _simpl unei
u. -...2
u,(t +1.)?- u,(t)-A 414,0) (u,- scade); (6.20) acioneaz simultan
u,(t +l)F u,(1) ,_.--._
(uistaionarz. '
_
' (u,-(t-+1)'

n acest a cpndiii, regulile _euristie de control

pot avea forma standard:
'

Umxk (r`AC.-<t_4...Ac.o)g~(uxi4_1)e-u}v~Au;(r)a " ('u_,_<t+1

M
(Ci
_

9x -)(x(t-ljl)1\uc_(t-kl)/\...Ax(t+l))>
v

4.01561&
,L
3
I
(ui(z.+_1)
sau una formele urmtoare:
/N ?Jt _fjq (z) A92 (t) A ACM:) (14,0
42

m_ u,.V(t)- Au,
(2))
'
(unirii)
f\ _- (x(tV+-l)/\x(t l) A..u\'xi ( + l))>'.;
'
. .

`
.
\q (z)vc,.,>(t) v ...v (t)i\(u,-(t +Al)+~'u,.(t)`+ Au,(t))"- c,.
6.2.2.2. Mc
3
N - (, + l)Ax'(t +1)
-

(z.+ (z 1))'>`-,
&umed-LV A-...A Ac,.-,
l
-WL Modelul fu
<C,. (iwca) v ...v + m'-
'
(zA(x_4,.(x u',:(t)V- Au,-'(t_)) n' cazul n

v '-5(XHCD/\XHO+1)/\...Axj(t+l))>
\ml
e e
control
deterininist sau este
Problema de contr
Cnit),/\Ci2() '\.-..I\C,-(I_)A(C;I (ov Cg(t)v...v C;())/\(ui.(t +1)<- u,..(r`)+ Au,.(_z)) k= 0, n in
1...., k)
- xg(k) (i = l,-2,..., n
@saw r' (xn (t -l-_D/\Xn +l)A..J\x,-(t +1))) >_;
-
' w
lui?? '
tabelul 6.3, ea i de
ii<Csi()/\Ci2()
a... chopitcgnv C,2(t)v...v c,'(r))A(u,.(z+
l)(-l_u,.(t)-Au_.(t))
l
'-
le;
t
\A47
-5->-`x{+l)532534-l)./\....Axi,{!i+l)}$ A; '
ne\
v

l<wcn u.(z)+}su,(z)) ki.

+ ni-
A.-C,:)A(u-(l`
(t) Aiz-(t) /i ...AC,- (t)A(-C,, A-1CZA...
i\

mi
- Intervalul dr,-
-(x(z+1)Ax(z+1)A../\x(zi1))>; !afx
~

d*:
q VS Very Snlall,
Ac,.(r)A(-.c,, hogy\ mC;-)A(u,. (r +1)<- u,.(_z)- Au_,. (n) =
l

- sunt valori calitati

(x,.,(z+1)Ax,.,(x+1)A..Ax(:+1))$.
- \LI a Lig
Calculul
(i=1,2,...,)t trapezuidal dat i

"i
9).1\:\1.':.rx ke mna?, ikl
' :
de mare complexitate adelarea matematicoeurisli _
141
r+1)A..x\x(z+1)>
'

(6.19) i arat
Reguli euristice de
_

gg);
ceste reguli se deduc din regulile de
cedecizie trebuie Iu radic ce aciune va_ declanat n cazul n
control
din ,intervalul de subo ,tiijnalitag [x, x]; decieare situaie care x,-,
iunii A,-
asupra sub- de felul x,- <VxA,-__
au x,- > In va infera o decizie astfel; _

:a A,-
este conceput
! a(g4,_l(xv+1)<-u,'(l)+A4,(:))t i;
:omand u,-, ceea ce x,.(z)< x
_Aciunea A,- asupra
ii i= 1, 2_,
, n (6.22) _

x.(;)> x4)(um+l)(-'rt,(l)-Azt,(t)),
(6.23) iV=l,2,...,n.
"jr/ar. Suzliniem _faptul
regulilede decizie ataeaz numai formal
_ecizie simpl uneianumiejsituaii In fapt, o
(6.20) deciziile pot com lexc, adic
multorvaiabil
cioneaz simultan asupra mai se
'

*l,(z-+i)eu,(i)+au,(z))(u,(r+i)e-u,()+au(z))A
_
V

t
'

'omia standard: e -

z '

A'(u;;(:+1)<V-u,.,(x)+}su(:));
Mil `
e.

'

i(u,(t+l)(-Vu,-(t)-Au',.(t)).(u,(t+l)(-u,(tj-Au(t))4\.../\
0) _-> (sint
i

+1))>
7
*
'
`

A(u,(:+1)<--u(i)-Au;(r));
Smeu, r S4
A

(u,.(z+_1)<_-
u,(:)+ Aui()) __(u,.(z +_1):e- u[(t)+Au (t))v...v '

i)) ; v(u;,(t+l)(-u,(t)+Au,-_(t));
- :i (u;`r+1)g_,c:);,s,.'<z)qouj<-ui(t;su<n)v...v `
.

+1)>';
1
'
v(`u,(rv+l)-i-n,,(t)Au(t))i.
ais +53&

e
~ e

t))'-
p
p _

simulare
+1))>';
_de
6.2.2.2. Modelul i control 2.; 311&
~
~

i .
Modelul fuzzy de simulare iicoztral este util n simularea
sistemelor de
)- control 'n cazul n care procesul reglat nu poate descris ajutorul
cu unui model ~

+1))>; dtenninist sau este attde complex nt experiena expertului

este de nenlocuit.
.

de control este- de' a menine variabilele_ de stare x,(k) _

-u,.'(t)+Au,.(_t)) _k (i = 1, 2,..;; n;
= 0, l,..., k) n intervalele de (suwoptimalitate [x,- -,._ x, ,}.]. Variabilele de
a x,(ik) (i
= l, 2,., n; k = 0,' l,;.., k!) aparin unuia sau altuia din intervalele
stare
daten '

tabelul 6.3, caiderivatele dx,(wk)=x,(k)~{k~}..

-ite-(lrfNih-illgi 'i
'
_
"
Talrelul
6.3
Intervalul <'x,-:,--5_ [x,--e,ix,-,<)
x,- [x,-,x.~,] (x,-x,-},j+5] i>
x,-,_,+6
u,(t)+'Au,(t)) vs?)
x5'
s" o L VL.
-
.

-
_e

Intervalul ax,-
_

< a [em o) o (o, e] a5

da_ ~L..'.-5` ez*
s.
L
Very Small,
-zti(t)-Au,-(t))-> VS
= S = Small, 0 = (JuM-Oltiinal, L Large, VL Very Large,
= = 2,:: Zero,
sunt valori calitative (nvsensul teoriei sistemelor fuzzy). '

Calculul funciilor de apartenen, u,(x,~),'

se face utiliznd reprezentarea
trapezoidal dat n' figura urmtoare:
 Modelarea .sistemelorde
mare canzplexitate Modelarea mare/ziarist
!ML-M
Combinnd
rezult un set de re
l complexe i anume;
A n

' <.Dal'l

' deco
Ximr fim

-xnuxx
Xim+5 ([7 X;

'shbiiriiem r:
g. 6.3. Reprezentarea trapezoidal a funciei He apartenen.
'11

numul IQ**- .ari

n enntoarele-rele-ii:
gu a 6.3 putem infera 'Mina (GLV) &Pi
11, x,-e`[x,.-,J.c,.';], 'dx=*{L'*S'eZ'vS"l
dac
0, dac x, <x,, +8', 'ereral-zxn
u

'x;....-..
-s, sau x,- >x,. A
__

`
v_

a )_~
' I
1 '
EZ a
-chk
'
u
-v-le,_- xaewe I (6 - 24)
. _.-
_acax,_e x,..-e,x,...,
, --
_..-
~

.-
_

au' \
A

h x,'e(x.,_,x, +8].
-'dc
xif H

Formula de calcul a .noilor variabiieisde

control, u,(k+.l), capebile e
reintroduc vanabjlele de stare x,(k), rrintervelele
de (sulooptimalitate este: _'

" u,(k+1)=u,(k)+K; Auxk), '

(6.25)
Vun
A

unde Au,(k) este increment', calculat cti ajutqrul fomulcii

' _
u;"(x,~)=u.-.(/_O
~
.

Aur&
'
(6.215)
.__ __i.='l,2,...,n. ,
Eta-Gri) .--;~ '
' ' , . .,
'V4

Temweni
_
suntoecieniidecll expeimentali., fumizai de
K,-
cre 'VS
expertsub formtstandardauncimaiceptrte. _
'
= '
~

Tabeiulxf" A

*A _

dXi/Xi L.
v_

vse
s
~ e

n,
b?
VL
f
. _

.
e

`
-L x15" . x2! '
x3- -

S 3:' '
'55 0.
K3'

-
A

K3? Figeji
|'=:'
x:: 0 -'
r*
' ' '
x::
ki' 'K3 O "
K: K/ ' ' Problemele:
K3' K5* G _

, acest' caz 110mm]

ie mare complexitate adelarea matematico-euristic

143

_
Combinnd cunotinele din tabelul 6.4 cu relaiile de calcul (6.24)-(6.26), -

zult un set de reguli bazate pe cunotine fuzzy, utile n controlul sistemelor_

omplexe i anume:
'
Dac (ux,(k) este e ) Atunci
< noua lege(am este ax,- ), o

'de control este: :u,(_k +1) = M1:) + K.Au,. (k) > (6.27)

x..

.
(i=l,2,...,n).
_ _.
est? n este
_

'Subliniem fptul' c numrullde reguli'de control fuzzy

'
v

Ien.
-

'atwlgjgggtarc _iar 2.5 _reprezint .numrul de valori

A

griye
mulimii?) ={ vs, 's. "o, zgLj;
&ne
'
laia (6 7) ee
dX=_{-L,-.S,Z_,S,L}._
e
=
'

*
-

r .
' -

valoareyiclilttiiii-i a: ! :ialail
'Genemlizarrz Dac' fiecare este
x,(llc)'

acompamat d_e o lncre a_ gradului de. apartenen pN-(XI

ca m figura 6.4, atunci
(6.24) alculul:lui p.(x,-) este dat de-_euailez ' '

+51.
.
.Ml lui): "air
.x --i "l :L1:
.s g

lc-H), capabile
_

FA.(II)_ a l ~
__

f.
,

_xl_ :
,
_
nlitate este: FF-,
~

. .
..aH -.a,. .
628)::
. . . .
a
_
.

(6.25) ui,<x, x. '" z

- ia am
-

an: am

~ -

. _ 2 _
_

1
e

l\ .- am .
(6.26)
'
am am " am
uxi) Ar-l A: Am- An:

\
_

fumizai de ctre vs " 'fo'- '

'L
s
'
VL

abeirtl 6.4
-
VL 0 '
da.: ai 41m
am
It
6.4i
Fg. Reprezentarea unei
faumilii
defuncii cleuairenen, uA(x,-).

Problemele apar atunci cnd x,- e [a,~_-1, 11;]

`

e [a;,
(1,42)
etc., deorece
sau x;
......___,.. ..am
n acest caz normala i53
,
,1eP*=t(a9i;Az-.:j4r~
c"
M,
,5'[a,-_ ai] atunci u(x,-)
e A ,-_, i, de
asemenea,
 *ar

e va J

.
zgaiiii ; 6,/ (Ajwkrk
a, 4m.
l.
e
\.

\
,tg
. 144
.,
img
Modelarea sistemelor de mare complexitate Modelarea matematic
tt(x,-)
e A ,-. Pen( ru a decide valoarea lui uA(x,-), n acest caz,
propunem urmtoarele Fie: -~
formule de calci l:

x. (
1

< Dac ELE: [ai-ii !lili MYIC-

Mii) mXlll-A,-_1(xi)._l1,s,<(3'i)l

< Dac f; E [Am-ah 1154,11,

Atunci MX = maxlttA mixt), Ajgcxi > i >
modelul numeric de
dup care calcululse continu ca n cazul precedent. '
formula decvaluare
asigneaz valoarea u
'Primul 'pas
6.3'. ' oinpatibilitatea dintre z

tic-model euristic e:
modelul matematic
cel -xiwlil
_

a_

euristic sau fuzzy. Teorema de

-pc mpatibilitate .
cu ajutorul ecuatiei_ r
Vom nota i .ln

Rezult:
n paragraful
anterior
amartat ormadual a' modelului matematice-
euristic. Aspectu dual, n acelai timp x,- <1 =' anim ._+ a
3 ma m c l uristic,-al modelului ne duce
cu gndul la d alitatea 'corpuscul-_undafdirfiizica_prticulelon mai "rul- !l-?C-uafl' Bu'
exact din
mecanica cuanti i ondulatorie. ntr-adevr, duplsaac Newton,
teoria corpuscu . a luminii, 'i Christian Hugges, care a susinut. ~.' '. Afk,_''+_A;
l care a' susinut teoria ondula-
toi-ie, n secolul_ fxiuiir (A
H

aIXX-lea de Broglie a dezvoltat teoria corpuscul-und'

(fiecare corpusc l este nsotitde o und), reunind
.
prima dat dou teorii_
i consideram ireco ciliabile. u

. x, (3) = Axi? + Bill

Ell Utilizn un raionament analog, putem" considera modelul matematic i' +.'AiB,.Au,.V+ A,.
modelul euristic ou fatete ale ,aceleiai realit `,.-care
i

nu sunt ns ireconciliabile,
'Cl impotriva
co plementare. -liunele cazuriprevaleaz'
cunoaterea matematic
'l' fi: 'i Yiz :LAB
n altele cea
l dou'
euntc. n once cazdat fiind naturafundamental diferit a celor + B,.Au,., Jar/if)
i modele- atematic (bazat pe raionamentul matematic) ieuristic (bazat pe'
i "lBiuil-
cunoaterea expe deci pe experien i pe-raionament calitativ) x: (4) = Aixii
`

se impune cu
i
`
necesitate ca na' te 'dea efectua conexiunea model
matematic-model euristic s se - +
A('A,. +'I)B,.Au
studieze compatiu ilitatea acestora. Mai este
util oprecizare: compatibilitatea celor AiiAizVio
-_dou
i'
modele-nu rivete numai natura lor (diferit, ci i problema posibilitii ' l' +Aivi
ca.
tandemul model umeiic de Simu are-model estic de
blema reintrodu rii marimilor (le-star
controls rezolve pro- .
=' afx& (A3 .I

.n otiatate,
itlle e
b
atunci
cnd
i

V"''"P'n""i1u
inter-Ia ionate. W i

,
.

em
n
't""'f`rc_v`l
studiu trebuie tcutn fiecare caz
n parte. Suntem ns n msur s producemwo
teorem de compatibilitate care ne Utiliznd me
arat n ce cond 'i modelul matematic i cel euristic'
sunt_ compatibile, ceea ce pentru x,(n). Fie:
credem c va re a va defmitiy problema n discuie.
Rroblem comatiilitintremodelul matematic de simulare i modelul
_

Ai*
x,(k)
_

euristic poate. al . _prmat in tenneniicondi iilor

Isa-re. asigur reintroducerea
v

' i
variabilelor des e x; (i = 1, 2
V

n) n intervalele de isuboptimalilate [am

aumc cnd
acest variabile ies din intewllnifiitgad" m,
 , -ce . 1-.
MMWMG
r
Amefkcx di
i

de mare complexitate Modelarea Inatematica-eurisriczi i

'
hui:: 'aiauw 145

_
i

punem unntoarele Fie; .

. .
,
'i'
. 3

f;
-. 1
e

w +1) = Aix, (k) + 3,14, (k) + j(xl-,a_.)r+ v, (x);

'
, \J
img ger
4

i)}>3 x,.(0)=;,,
,-.,;(Xr)l x modelul numeric desimulare i
2
i=1,2,
Uli/'-v.
da
A . - - -
. '
u,.(k+1)(-4rt,-(k):l:Au,(k)
.
v

'
_
v

formula deevaluare euristic variabilelor

a de comand prin carelui zi,(k+l) i '
-asigneaz valoarea u,(lc_)-pluslminus valoarea__Au,(k).' '
se '
'
'
' Primul 'pas 'n rezolvarea'. problemei .

_
compatibilitii model -matem-'n " '
l _tic-modelleuristic estede a construi irul
matematic de funcii: ' ' "

x40), 2,41), xi (2), x,.(3), x,.(4,..., x,.(k), xi(k +1),..., x,.(n)_

_

a de ,
cu ajutorul ecuatiei_ de tarei a condiiei iniiale
x. ~

_.
Vom nota ix,.(k) _

u,.'(k)___-- _f,-(x,.,a,.)
A
=x, , u_,.
, = f- v,(x(k))_-_- yik '

Rezulta:
, _,
A

elului matematice- -x-.m

="A;<x.-._+
3.2.1.- _+;- + 2....:
modelului ne duce .

Eor, mai
exact din
x,(2) =. Aixu a- 13,11 +_f + v_='_
:Afizxro-Arrliio
_

ton, care a susinut. '

+IVi1+ fii Vii
l:
A-
,-5

'
Ar 'l' Arvin
V

inut teoria ondula- 'l'

Ax.-o.'+ (Ar-*Uiia
l
u
ia corpuscul-und
l.
i-ifroi* frihilirlro '

a dat dou teorii 351(3)

' = AI-Vn 'l' Brujz 'l' fn 'l' Vi: :litru 'l' Ai(Ai *dl-Bruro
l_
l;
delul matematic i +i4lBlAyi0 + Ai(AlfID .1_)'+?Ar(ArVio
vn) + llukq +Auto 'F .AVnPV
ns ireconciliabile,
fi: 'i' Yrz :zaxro *(1412
_

+ +74.- 'l' Biuro 'MAi il' lmiAuro +

i

terea matematic,- v"

.tal diferit a celor 'l' BiAun 'l' (Arzfio Aifll +1131) (ArzVio
/jvil +V12
ieuristie (bazat pe'
iv) se impune xi(4) = Aixil 'l-Bluii-'l' fi: 'l' Via Aiixro + Arma? 'l' l

cu = + Bruni 'l'
-
nodel euristic s se 'l' Ai (Ar + VOBiAM 'l' _ArBrAln (Aizfro
+ + Aili 'l' If:: ).+
npatibilitatea celor
+ A,.(A}v,+ A,v + 1v,.,)+ B,(u,.+ Aum_ Au A142.)
_
.

ma posibilitii ca + + + + v., =
lrs rezolve pro- =' Afxm (A3 A?
+ + + A, 1)B,.u,. (Af L+ A,.Ar)L,A/4,:Q
,
pimalitate, alurtci '
13,514., ai (A3
i
42x55.,
+_ +
+A',.f;;l;'1j;,)3{(;4,?"v +IAv`-ILVI,V,.?
+54. Inimii! 3a

,o
+ [va ) .
cutn fiecare caz -
-l (6.29)-
e

atibilitate care ne
_

Utiliznd metoda induciei complete

:penLrux,{n).Fie: vom demonstra formuladecaleu]
npatibile, ceea c_e
" .

' niuiafe i modelul VEVM k

kw:: -
l'
"
ai( )*'Ai
_ 10+ LA.- Biui0+
r reintroducerea F0
malitate [x, xml,
+ kzAbf-*B Au +k)j'A*l'i" +3524*** (6.30)
r=n .-=n
i i
.ani f ij
n"
vii
~
146 Modelarea sirtemelor de mare complexitate -
Modelarea matematice

i s presupunem cexpresia lui x,-(k) este corect. S construim acum expresia: Bibliogrl
' b'!Bium +
x. k+1)=A,. x, + EA,
1
k+l
=. -
Ackermann, _J. (a
k-l k-I-l (631)
EA:H'.fzy-'l' 2/11'H. Vij-
_k 1-
_Seminarf Spring::
l E E Ax'H4 BsAVsz 'l' `

2. Alonso, F., Mate,

'1=o _j=o _' . j=0 j=0
n: Data & Knowl
Verigi are-akorectitudinii
~

expresiei (5.31) se face uor, _fcnd aicik = 3. 3. Bohr, N;

twoznicriz
nreddi_
Rezulta t expresia x,(4).din relaia (6.27), :astfel nct putem afirma cap 4. Kusiak, A. Amj
expresia' (6.30 reprezint formula general de calcul strii x.-. S .introducem `
Implication for 'CI
a
condiia 'ca 'x :s aparin intervalului [x,-1,x,2}, 'ceea ce .este echivalent cu f
Lehmann, A. Km
x,- (k) 21,., i
(k) S xm
'
andappplieatiam
Simulation", Berli
_ _

Consi r_m prima ipotez. naciest cagdac noim:

Ixluann, A. i S:

m; 3a)
Q(k)=A,"5c-+Af'j"-(Lj+v), i

in a typical PC-en
.
l . .
of Karlsrue", _nr.3
reiult: StnciulesmF. S
i matheIhaIicdl-heu
A41
,._,' k-_`2
k-j-2 ' 'i
Biuio +240. ._
BiAu 2x -Q,.(k)_, large-scale Syste
J.
v
~

1. .
Stnciulescu, F.
_

'Mathematical-hey
n dea doua ipotez rezult: 'v '

'ISYSFFW-Ail?
_

9. islnciuleseuJ-T; 1M
Enl-BiuwilizAilwBtAulisx? so-vc
_
systems 'modelling
J
_

.
-
Synmqsium 9x1. I
n fm -oliinen idulala inealitate stabilete condiia
V

'"-

_
care ca x,('k) s pag. 12117; A

aparin interv lului de suboptimalitate [x,1, xn]: " 10. tneiulescu; F. "
i
_ complexiry :ysten
< H tibiB,.uv,.+ H
'
"ih-z '

x,-,_- g,.,-( k )_EA,- E Ai&+2 BAu,.,._x,2- Q',(k)_.' 2 .SimulationCongr

< ( 6 32)
. :-
A

-- 1:0
-
.
. ,
-.

w
_
_

Acum putem formula iunntoareateoremdeyconpqibilitqte: - '-

J.
_

..
d,`w_` /\-_..~
"Ai/\M
_.

`
_
MA __

'Teorerir ": Modelul

zzy de controlfdescris de ecuaiile (6.24)-(6_.27), este
compatibil cu r modelul numeric de simulare, descris 'de ecuaiile (6.6)-(6.L1), dac
i

i numai daee ndeplinit dubla inegalitatea_ (6.32).

N\
Sublir m faptul c teorema de capital

xmpo
u'

pentru
modelarea mat matico-euristic deoarece asigur condiiile
n care din regulile de "
inferen se .pot deduce noile valori alevariabilei de comand u(k) Au,(k) capabile'
+
s asigure rein oducerea variabilei x,(k) n intervalul [xm xp].
 SIMULAREA HIBRID A
SISTEMELOR
_
i
e

DE MARE --COMPLEXITATE

CH

E3

ea '-

9.1. Introducere
V

ea
_ -
.
'
.
ea

ca procesului
I
.

i_
_

Pd construirea unuiim el al sistemului
te _cua uterul caleulatorultn, folosind
dateinfonnaii i cunotine despresistem.
f,

modelul elaborat l

star.
' >
'_
f'-"-$lrfra'v9ate na/osfr.
*_

ris-tic n
.

anallh leifer?" sau. zlggeaat)

_

`Vj1itiipul de ealculator folosit. Oplastcare diferit de de

ltlxiae
_
' 'dup
poate facein 'funcie cea mai sus se
e.natura' mode ului folosit:
folosete simularezt
model 'matema ic __numeric),_'simulqrefa. numeric (dac se
simularea folosind stochasric (de
un model 'Monte Carlo); simulzreaizzzy exemplu
alitativ (model niatematicvcalitativ), (model vag).
simularea
simularea bazat
pe cunotine

sunt cele specificate

anterior).
n

acestea `itol vom acorda

'

hibrid, bazat att aten ieace ietltimti simulare, simularea

pe cunoaterea 'coace a , 'ct l be
simulareabazat prelucrarea cea euristic (maiexat,
pe cunotinelor),, motivaia
n nou'n r'nr- r!
.

de 'simulare fost descrise...

A,

au

amplu n literatura de v

de la simularea bazat specialitate,

e' '
e ateapt s rezolve;
gett (cum sunt sistemele
"

Pn n prezent, simularea
les n construirea_ sixjrtulato folosind tehnicile tradiionale
'e' zbor (pentru ' s -a _impus mai
smulatorelor de uaien avioane, tac-here i elicoptere),
Mu* ar mainile de formula l), simulatoarelor
a"
egxeieipmaeaea im stabilitatea
.

a
Centrale nucleare-electrice (n navelor), a' simulatoarelor
special pentru
simularea pentru cazurile de avarie) etc.,
unor sisteme i/sau procese complexe: dar i n
sisteme electroenergetic& sisteme sistemdeprodigggndusg
bioecologice etc. A existat
msa I
 <+-~'
Aa; sg
a)
v .r/ cwxjrw #123
o

& 5
'x
' __.-*-
vk

'fil
i
xafexuxa |
2.43.);
24.. ~.;=,.,g~1__.,.
s...

m..~....

\y
454??
..A 55x41&_

M
Q 5*****& )
szw' .
a
y
r-"Mav-'M

mai14gJ& #353
x

.,_
w _ wxkz/
'
m5 .vuui WM
\

 176 Modelarea sirtemelor de mare complexitate

simularea bazat pe tehnici clasice i-a atins limitele i c este nevoie de o nou Examine
tehnic de si ulare [l, 7] simularea bazat pe prelucrarea cunotinelor care nu a) mbun
antrziat s par. - '
- simulare, privinc'
Simu rea bazat pe prelucrarea cim metode i tehnici model executabi

*e
r\ specifice in ligenei artificiale, metote
tehriiciipentru construcia bazelor chizid 'cn ti,
ionarea i re rezegarea '
construirea
experimentale;
b) utiliza

grt,
.
.. A

de motoare- fereritiale i, maialegaa-nunnte e xpr sytem

l
' ucleu de adecvate caz. de
infereze asupra nno euristice
rirtem expert , sisteme capabile s
rguli
i
i ierarhizate, aplic
i/sau de obieie structurate i care pot utilizate cu succes n simularea sistemelor simulat', contml
_ complexe' dr scrise cu ajutorul metodelor euristice sau rriatematicoeuristice
7
modelare-i sim!
Problema comun n areatsistenitzlgi/sau proceseloreste aceea de a
s' ~ C)p1'0dt'
rspunde la ebarea: ,Ce se ntmpl dac .xPenuu a nelege mai bine sensul configuratii i
ntrebrii s e remplicm:
V
v

_
simularea sisten
_-n4 azul unui sistemindustrial: Ce se ntmpl dac se efectueaz'
A

'
Aa au;
modificri n irgariizariea unei-ntreprinderii& g
` i
;
existi
autoruluyi_
2,
.
'
unui sistem electro-energetic; Ce se ntmpl' dac se efectu-
v\ .

eaz modific' -
n coniiguraiareelei energetice?; *
`
irid cuplarea *
realizarea _de
iulitiiiui-sistem
v
7.1.1.'
. _

bibecolgiefggc se ntmpl- dac' se 'introduce o

'
,10, 1'1,.; 12,_
i:
ndtipl-fnfr. "

*
o

" incontestabil. a
:

'
n_
un le cazuri raspunsul la astfelidi-neba esedatpe bazakaxperienei, informaia inci
_irlaltleper-b
:aurie
plins. ri`acest din uifri caz- o,
'V
ar incomplet po:
soluiei-p sibi de' a tilza simularea cuajtrtoriil calculatorului-folosind 5a:
am'
reziiiltateleralizei_ stemuui, 'ctilexperiena expertului (cunoasterea 'epny
conceptelor.

'Datele
(l Sa! nu

fo cetarea
faptul-m' simularea a sistemelor .ca o_ mateIiiatitCU
alternativ la experimentarea asupraobictuli ieaiai', de _multe ori, nuvse -
msurtqijilq
'
efectua; e-panitruwtsisitemui' _se afl n faa de onepiepie' perinucixel este. naturale (de ::
'foarte costisit ar. n ambele caz' ` sistemul disiiiiulare este utiliiat penrua evalua rdiatiaesclar

performanele sistemuluiiprdpu ' auexistetit, care este att de complex

u timp (de exem
'poate fi Studit analitic. Este evident ns faptul c_ i costul _sistemului de simulare
O alt
poate ii un fa toriliniitativ n crearea liarea unor astfel de sisteme, darinnd
V

'

hacrdware-ct i la software, pentru n definirea ai

cont de costul n scderegattilap v
'
loc cononab
simularea bazatpelcunoater; suntemoptimit.
i
' ' A

'

aceste conce:
Tndiliiele cizriznt_ n :Idelirr siririilzre pt caracterizate astfel:
'
_

defini exact _I
o_ errrianentawa plificare_va domeniul demaplicare a simularig_ .in
emma'j
_
7 _7/
M y
7

_ p; r
'

'

'

'
'

i' ' ~ -
=
factor de iar
c e' tere a numrului ipdiversitii metodelor de modelare a tehnicilor
~ de rezolvare
o
imbajelor i .instrumentelor de simulare (multe dintre acestea riind > *
probabilitate?
O 'm
aplicabile nu ai sub anumite restricii); V

. .
complcxate
truirea de modele de simulare. de mare complexitate sau construirea hui& subiini;
unui mmodcle de simulare interconectate_ (refl, complexitatea siste [Zi
c::r-iziw,

d
_ _ -

,.,.,-... -*
'

mului original).~ ...g

'
,
7 .
 0077117151717 Simulareahibrid asistemelor de mare complexitate
"C

toie de o nou Examinnd. aceste tendine rezult ctevzicerintezlxerjgjelirii/isimulrii:

elor care nu a) mbuntirea su ortu ui entni construirea modelelo/pi
- s' ulare, privind: selectarea tehnicilor de modelare i simulaieconstruirea unui
:tode i tehnici model executabil, verificarea i validarea modelului, interpretarea rezultatelor
_i
reprezentarea r
experimentale; '
E4 .H3
Y ; ,
i `

ie, construirea
_ _

&utilizarea unor modele consistenteii 'avunoitginstrinegte

V

.
de simulare

"adecvate cas. dezvoltaretehnioi eficiente de _modelagigiplicabilemodelrii

tell (nucleu de
reguli euristicefi Z eiitarelespre sistemul
l

,
aplicarea adecvata datelorgineerte samfra l'
area sistemelor
ratico-euristice? siinulat, controlul orientatpe scop_ 'alexperimentelordesimulare, '

m v
~
A
~

te aceea de a c) producerea de arhitecimpentnisisiteme decaculjpu

`
=

nai bine sensul i

configuratii' i re ele de calcul* 'aiallelisaf distribui , util'
.simularea sistemeloredmpliiie H i
i `V
' 3'

5 efectuam' Aa' cum derrioiistre i unele rezultate

de ipbj
-SiJV

dac se efectu-

se *M4099 _
IO. 1-1.. 12, 151. ~n-.-fond, ceea ceadus. la apariia'i,~mai,ales,<..la accesul
, i' .incontestabil alfmetodelor= de simulare 'bazate pe _prelucrrea-*ciinotirielor'este
:informatia incomplet care caracterizeaz sistemele macomplexl Informaia
_
_
!Za 'experienen .

din urin caz o incomplet poate' fiiclasifict n' douiiiarilase: 'lipsa datelor "ciezmit
ui folosind aft im

'
terea iexpert). l coip t cu fajutorhl ieiodeibr* statisticii'
omltiipot __

;istemelor_ca o sefiiledeltimprezultae din

ii
-exmplu 'ti' i;
pqate-ificonsiderat
a_
ori, nu's:: poate msuitorilevefectu e upor_paraineLri_endo- 'sau-exogeni `_ sistemelor
asupra
:ntiutcxal este naturale (de exemplu: ;piecipitaia,_eyaporarea,: temperatura, presiyneaatmosferic,
pentru a evalua radiatia solar, 'pH-ul i .altele),caije sunt-greu de efectuatin anumite intervale de
mplcx nct nu timp (de .exemplu n timpul de iam) n u uri mai greu accesibile_-
_ e

ilui de simulare
V

O alt problem este definire conce telo ' ai exact' im 'reoiziarcare apare
eme, dar innd ?n definirea acestora. n acest sens au iterprette concepte ca: sistem stabil,
:Sllf-_Rllfll ilai" &c Q.,
io:: confortaiilz-riscntir-(sari hife, iu C'
wt le. C
aceste concepte sunt dependente de" context, 'vom avea "desigur dificulti n a le
ite astfel: defini exact, chiar intr-un context 'dat Pentru a defini astiel de concepte sunt mai
a simulrii, n potrivite 'teoria mulimilor vagi .i teoria probabilitilor, ambele introducnd un
"amapziitenent,
factor de (inlceititiidine: n piiimui caz, gradul de n al doilea caz,

'pr0 ___/.
tehnicilor
,
[are _a
r" 1 '
tre "eeea fiind -w- ~
.

~ de silirr 'e._care rspunde oxigaz e*: "

U`7me`to`d

'complexitate este simularea bazat pe mode] tnaleinalicoreurislic [l3. I4]. Tre-

sau construirea buie subliniat, de asemenea, faptul c_ simularea este util n fundamentarea
iplexitatea siste-
`

'
deciziilor i21.
-

?Cini rii-i
 I

178 Modelarea sistemelor de mare complexitate Simularea hibrid

9.2 Tehnici de simulare hibrid 'folosind cunotine 5 &i35

.
sau n document
prelucrarea cunotinelor;
'

cunoatere sunt
specific, prin ap]
Atu ci cnd .se compar sistemele bazate de cunotinte s'

/
_

pe cunoatere sau 'sistemele incluznd fapte,

\ eXpert cu si temele desimulare utiliznd modele
(nume ice), pot observate unele
similitudini i diferene'caracteristice Similitzi ini
1
nealgoritmice.
prin limbajede
abordri

5'
fi utilizate pentru a' obine 'i -aplica- unotine despre str-iictur
_ _

p achiziionarea
raionament i c(
Utitizni
, 't referitor sistemul simulat, c
ele apar iidomeniul
la
pentru mbog'
r V
a
acestor cunotine, prin ap ieareat ii _
a) Sistei
eric) fa ge--tjhnicilede pre) craresimbolice, declarative (1_ global 'al unui_
iajt"e)v
e a1/
r.

repreientrii i
pplu, rjfsi _

4
`
emele desimul_ e_-a evenimentelor disctetecunoti tehnicii de sist
' '
ernnttejpriievcminen e; rocese sistemului expei
sawacivi l in orrn pr
zstemelzbaate -curro ereo ieotelersucturae; regulilqde
o coo
' inferen
f-
Hepnfsislf
?reele
esemanti ete; sunt
tilizate
'pentniaifeprezenta
`

(tig. 9.1, a), ce -

$
fomiud larativBueia de .control n 'sirnularein
~

1sigrnele_bagepegunoateiedepindixle deeiziile-,llogicrnecontrast diferite. p

cu valorile si:
i

~ lGVdQ_l-._alt_
programe Dar bpla de, controlgipentru o _simulare realizat nacla
-un
SP eveniment poate fi b t pe unalgontrn, in contrast cu un mecanism'
deinferen cu nlnuire.napoijijnainte _intr-un mediu .al unui sistem bazat
cnateerj' alt (life en simularehnumerici, sistemele ba_zate_-_pe pe
cunoatere *nvete dul (ieire 'ezentare
'

iipiocesare: leleunoitiiielorlifrgn-
111591553;
4_ _
-
' 'ice I "simu area soc asti, spre iexemplu, cunol
_

Utilizator
tmeleince sun exprimat ~c 'ajutorul probaliilitiilor. :n sistemele bazate'

cunoatere, certitudinea' 'ate etpriinatprin factori _dgceritudine pe

sau prin.
u

gradedcap
en
'
'
' ' m '
r j
"
r

_

.
-
. A Co atatia de
_isus aratc ,simularea numeric isistemele baute '

pe
_
-

'cunoaterier :diferize metode, -tehnicii instrumente pentru achiziionarea i i` '

l
reprezentar cunotin lor, ca i .pentriiinferarea i prelucrarea acestora. Scopul -
aplicrii
mo lelor de simulare i al sigemelor bazate :pe cunoatere, ca i diferitele
tehnici_ de realiirarepglfer variate posibiliti de l
utilizare i integrare eficient a '

psjtgmelor hazatope runOaIere sistemelor etape:* Umizator

1
_'
A
_AM
simulare; r 7
'- .

.V9
5
l. Interconectarea unui sistem desim-ulare numeric cu -

un sisteinde simulare bazat pe cunoatere

F
Flalv 515.553,: rezolvarea,gvalidarrauealicarea experimental
. _i nrodei ` `
'
1 e
"
i

de simulare
.
r

eclama, disponibilitatea
. . . .
.
cunotinelor .
domeniului . .
(cunotine ' _,g(r
'

asupra
despre modelare, cunotine privind instrumentele 'mmm
etc.). In general, aceste
 179
complexitate
complexitate Simularea hibrid a sistemelor de mare
nare
_________ de experien, fapte i sub form euristic
cunotine se gsesc la experi sub form Sistemele expert
sau sistemele bazate pe
nd cumentair elaborate *de acetia. domeniu
emuleaz experiena uman intr-un
cunoatere sunt programe care inferen logic la o baz de cunotine. Baza'
specific, prin aplicarea tehnicilor de al tas-rri
informaia despre modul de desfurare
de cunotine stocheaz proceduri de inferen
cunotine curistiee, ca i
sistemele incluznd faptei incertitudini i procedural, sistemele expert (realizate
re sau
nealgoritrrtice. In contrast cu un software
i observate unele
\
flexibilitate privind
ofer: un grad ridicat de
ensul c ambele prin limbaje de programare simbolice) directiei de 3
cunotinelor, faciliti de 'explicare a
despre structura, achiziionarea i adaptarea

bazei' de cunotine.
elele de simulare, raionament i coninut al sistemelor expert, acestea pot fi folosite
:unotinele inu-o Utiliznd potenialul ridicat al '

simulare al sistemului astfel: ~

tarea acestuia. pentrua irnodelul de

e

de'
i n raiona- inre rant a modelului simulare. Scopul
, ca arte
alcul numeric (n 'a Sistemul :expert ma.
clare integrat poate privit ca .o abordari: a
trimisi-med'
_

global c
(in cunotinelor intr-un model, cu ajutorul
e, declarative reprezentrii i iaionlarnentului asupra integrare a
punctul de vedere al gradului de
discrete cunotin-
tehnicii de sistem expert-Din
sistemului expert i al modelului se poate
face o distincie ntre:
executabi
/ n [-&
i n-.vfonn pro- i -un model
un sistem expert
-Ao cooperare interactivintre realizate
i . .

turate, regulile de adesea n medii de programare .

(llg. 9.1, a), cele dou sisteme fiind

i

:zenta cunotinele \
.

diferite;
_

'ol n simulare n
_i
model (g._ 9.1_.--.b), :cel
i
sistem expert ncastrat intr-un
:ontrast cu valorile -un i modelul de simulare.
realizat n acelai mediu de programare ca
,pentru o ,simulare
ast cu un mecanism
l

'r
.

l\ I
nui sistem bazat pe
l

'
m* a? \
.i

_
'
'v
Model de
simulare I
istemele_ bazate_ pe .
' e

Epn
4 -

cunotinelor frag-
`

Expertsystem utilizam
_

MOdC de
_
V

Utilizator -<_l_'_i.
stiau
re exemplu, cuno-
e

simulare ._
.
sistemele bazate pe
certitudine sau prin 4\ iewmwms
A

Jwwma
.
sistemele bazate pe
i system shall\
tru achiziionarea
'
Expert
Scopul ' '
E Xpert Model
,rea acestora.
-

. ., SYSECm
-iieritele Similare
atei atjxpruai ,in r. ' ,

Utilizator "
' F
,
'
o o A

i
integrare eficient a
e

Comun X
simulare.

1t"
elor de
,
`~ /
Model de simulare

//
|
L**- Vdci" nu-'qgQu
r si\vizele
5M o &e d
are numeric cu 533) \\
C
_
?xpliutivpnuu aliln de a utiliza. un tandem
ittere e_ *Fii
sitemlexpert (expert system rliel):
model de simulare-nucleu de
delsinlare i shall; b ~ model shall ncastrat
mental a unui tnodel interactiva ntre modelul
a cooperare decizie; d -ranr-eztd intelligenr.
omeniului (cunotine - de simulare; sistem suportlpentru ,__.....

al: 3 imrt. r_
model c
intr-un
-
r .
__
........__..... i) r\
ln general, aceste .r
-

f
 180 Madela rea sistemelor de mare complexitate Simularea hibrid a.

Sistemul expert ca un cadru suport pentru aplicarea instrumentelor de

b) replici. O anumit
modelare. Aceas categorie de siseme bazate pe cunotine poate ti aplicat de suport pentru nega
utilizatorii mai pi in experimentati, n diferitestri ale procesului desimulare, ,judecata final dar
cum
3 Fi selectarea unei
metode de modelare adaptat la o problem sau pentru suficient informat_
ar
i'
\TEELEEEEEH carea experimental unui model de_si_rr_iuulare cu deductiv. Lipsa it
_rg pul
_a_

despre o aseriune.
cost/beneficiu. In contrast cu prima g iitQEistemele expertwdin categoria (b)
sunt direct accesi ile utilizatorului,- i aici putem distinge dou cazuri: Motorul i)
alimentat din haz
V

I sisteme suport pentru decizii (fig. 9.1, c) aplicabile casisteme de clasi>

_

_care (dnd utliL torului recomandri finale) deciznd care regu

_

sau 'ca sisteme de avizare (condu-

-(t_' -
Candu-l pe analist pas cu pas, indicnd soluii-altemative);
mai
utiliznd _regulile d
tollens.
I front-e intelligenl (g. 9.1_ d) careofer .utilizatorului multe '
n logica
injggfee depende te de aplicaie-la un singur instrument de modelare 1
A

sau limbaj de astfel:

simulare. Aceas clas dsisteme expert este utilizat pentru a traversa golul
- ditfe domeniul robleinei iinstrumentul demodelarc printr-o -imoduls

aplicaie intern a '
. nelesului i atri utelor. obiectelor, articolelor etc. ale unui domeniu de aplicaie ' pi
specic, n tei-me iutilizai de instrumentul de simulare. -
(se citete: Dac p
_
_

modustc
'
9.2.2, Mecanismul motorului infereniiali
r' I i
-
(se citete: Dac q
Sistemele expert i alte sisteme ingineresti bazate
v_
sunt '
.._,._ _

pe cun gipe, cum n logica St

e articial i programele de recunoatere a iiocii; trebuie s tie r

a lucrului cu baze de cunotine incomplete. n

toate ramurile modus Pt
erii 'ceea ce, este central este dovada, mai exact calitatea i -
i
o

utilizate n stabilirea_ unui rspuns la o ntrebare (problemfcare

termin dac so uia este
'
moda: tg
sau nu credibil-A _'- '

-
~

' Se
o

spune : im omraional faceuzde-_propria sa ratiune, ceea ce implic,

n zi .altor lucruri, faptul cel estimeaz corect-fora evideneLNe putemntreba -Oricare ar
sf? @Propozts sustine o alta. cazurile cele mai favorabile, premisele inferen (pentru a
argumentului dete min concluziile, astfel nct dac ele sunt adevrate, concluziile .o
Faza de
trebuie s fie ade vrate. Aceast afirmaie
p

are aplicaie limitat n practic din reguli) care-necesi

ca numeroase] r forme de incertitudine, ineyitabil prezenten general, dovada economiei' de tim;

ii concluzia
nici negaia deplin a concluziei.
putea afinna c nu putem deduce nimic, exceptnd faptul c
strategii care face
altul.
ncluzie este incert. Aceasta ignor orice' suport- preferenial pe'
n

te d Spre exemplu, dovada

,
'Faza de
o, anumit des! _- p' rnisa regalilo
gai -acesteia, ceea
_ p,

ce nu trebuie ignorat. De aceea, credem ca ansamblul de reg

soluia-este deduc
rea gradelor' de suport pentru o declaraie dat i, de asemenea, precedent, care a
pentru negaia dec araiei. 'i
vor fi ltrate cu ba:
-

Ra ioname poate ti neles, 'n sensul general al tuturor

_

o Faza de
_

intentiilor ra Iona 2, ca rationamentul @mind de la dovada

n sensul obiectizriix?
" fa Q5P6 lume, i 1
simplu este alegerea regul
nu ca, o metod de ratinnament spre o neneralizare,
p min( de ia-exempe suport. Aceast interpretare combina efectiv'
. ' 'asemenea, o straze-
modeleleuzuale d : inducie i absorbie. ln lumea practic regul din list, <

se acioneaz utiliznd complex i innd

 Simularea hibridn sistemelor de mare complexitate
!are complexitate 181
-

replici. O anumit dovad este suport al unei propoziii, n timp

'trumentelor de ce o alta este
suport pentru negaia ei. Diverse dovezi pot fi comparate i combinate pentru da
e fi aplicat de a
.judecatafinal dac .o propoziie este acceptabil sau rejectat. Nu
: simulare, cum suficient informaie pentru a deduce adevrul unei propoziii utiliznd
este 'imizat
m sau pentru logic
deductiv. Lipsa informaiei conduce la un anumit risc privind aflarea o
estricii de tipul adevrului
inaiCgO (b) despre o aseiiune. . . 1

*i: Motorul inrenial -este inima sistemului expert (SE); el

este cel care
,alimentat din baza ,de cunotine construiete n. mod dinamic raionamentul,
teme de clasifi-
deciznd care reguli s fie declansate i n
ivizare (condu- ce ordine. Mecanismele de raionament
i

utiliznd ,regulile de producie sunt cele ale logicii formale: modus

tollens. panens i nzadus _

ilui mai multe i

n logica formal clasic,

'e sau limbaj de aceste mecanisme de raionament se prezint

traversa golul
:icae intern a
`V

modus pneizs: -p-'p-

iiu de aplicaie - 4 '
'.

(se citete: Dac este adevrat 'i implic qrAtwii

p p q este adevrat);
V\ t, Ltkvhut
ale modusltollenrz '

_
-
rxammauuf (se citete: Dac este fals ii implic qrAtunci esteifals). i

q
inte, cum sunt n logica secvenial, 'aceleai mecanisme de raionament
i, trebuie s fie s prezint astfel: ~

P(1){P(1)-"> tit! +1)

toate ramurile '
-

moda.: ponens:
-

/\
_

ict calitatea i q'(t + 1)'

problem) care
mediu tqllensz'

cea ce implic,
- i170)
:putem ntreba
-
Oricare ar modul de raionamentutilizat, ciclul de

b
motor de
pentru
)llC, premisele
a ajunge la rezul &cuprinde patni aze :
ate, concluziile !Faza de selecie unui .subansamblu l bazei de fapte' (i al bazei de
in practic din reguli) care-necesit, mai multa
dltziltc dect restul bazei: aceast faz permite o
erieral, dovada economiede timp pentru faza urmtoare. Aceast alegere este expresia unei
concluziei. strategii-- care face ca motorul .inferenial
.
. . .
sa pnvilegieze
_,
_
. un grup de reguli i iiu
fagul c Zhi
`_'**.`*=*"=-a
*----'"". "` '
preferenial pe -Fzzza de ltnzj. n aceast compar
faz, .motorul inferenial
partea
mit declaraie permis a regulilor selecionata cu faptele din baza de fapte,
pentru a determina
zea, credem c
, de asemenea,
> le"Deruarea acestei faze este facilitatde faza
pre e enta, care a permis restrngerea considerabil a ansamblului de 'reguli care
vor fi ltrate cu baza de fapte. '
:ral Valenituror
v
- '

_'
eFaZ-rgis rezuirb ciilicieior (sau aiegereag Rezultatul acestei
faze
_

'sul obiectizrii'
este ale ereaffegulir _are vaii efectiv aplicat. Aceast faz crucial exprim,
o generalizare de
mbin efectiv asemenea, o stra egie care poate fi foarte simpl i fr legtur cu contextul (prima
e
regul din list,
ieaz utiliznd <z__z_..._ cea mai puin complex, cea mai puin utilizat...) sau ma;
zzzzwjz
complex i innd cont de context (cea maiprggiytoare, cica_ u.
abil, cea mai _MMW
 182 Modelarea .rirtelnelor de mare complexitate
Simularea hibrid a
puin costisitoa e). De calitatea acestei reguli' depind performanele motorului de
Exemplu:
a deduce mai mult sau mai puin rapid soluia.
Fie' baza d
0 Faza_ ie execuie. Aceast faz const n
`
a licarea regulii alese n faza R.: Dac)
precedent: aci .ineaconst n a aduga unul la
e-arrienea, sau mai multe fapte lE-fe. ' R2: Dacl
s poate ca aplicarea acestei reguli s fac apel la proceduri externe,
Vsmodifce baz a de fapte, s-l
R3: Dac(
ntrebe pe utilizator... Oprirea acestui cic u epiri e` R4: Daci
nament utilirzat. -
_
. R5: DGCJ
,uri de rationqggpot fr utilizate, indicnd anumite diferene la R6: Dac
nivelul ciclului e baz: a nlnuirea nainte, dirijatde date; b) nlntuirea
A

napoi, R7: Dac(

dirijat de scop; ) nlnuirea mixt. `

R3:
_

Dac.
S studl min detaliu fiecare dintre aceste moduri de raionament.
_

V
R9: Dac.
*J Motorul de inferen pometedel Fie baza d
ajunge la .

i scopul
dic el

tit
'A i
sel ioneaz dect "reguie

_
seo nu pa
verificate (faza,
edetecie. filtraj); Ifazade

ale te,
_Figurile 9
deci, aplicat p acest ansamblu de reguli, pentru adetermina regula de utilizatcu
4

s* o
Figura 9.2. a core
e
A

_acestei reguli antreneaz, neraLvo actualizare a bazei de

<
fapte (faza de ecuie). Acest proces
aplicabile sau p _ce 500g] este atins i poate i

estn
ce nu mai sunt reguli
. Figura 9.2, b cor
cele care comport
regula cu numru
sc ematizat astfel:
i rea faptelor. iniiale. ....
posed dou con
-nceputulzi ~
`
succesiunea diferi
~_
- Faza de tiltmj; a rMEA s
acestei stri. .Arca
(MM mu;
'
oc utilizate. Numai_
l -- Determinarea ansamblului regulilor ap icabile; ctre motorul de

~- Attatimp ct ansamblul regulilor aplicabile nu este vid i

A

i,

aplic dinnou'. In'

problema nu este rezolvat; `
'
p dedus. Vedem dei
~ Executa:
'
adic rapiditatea:
`
' v

.
.

jFaza de alegere; (Ni 131434\- vil

`
wrw ' inferene), depin(
~ Rezoluia conflictelor; simpl, dar ea c:
A

Strategia corespu'
. ;
~ Aplic regula aleas (executarea); .

Modific, eventual, ansamblul regulilor aplicabile; bune:

A

- execuiei.
.

Sfritul ' ' ` Fr ndc

- .
' '

Sfrit *- sistemt
- motorului infercnial rezid ripertineria deciziei' luate
'
nici un interes: b
*
(regula *: sistemul s poat
fazei de alegere. Aceasta_
_ alegere _conditioneaza rapiditatea
unu;
cucare
_

.._ !D caz
i..
.

-
.
u. _ ..- Intr-adevr', rezolvarea unei
soluie.
La probleme oarecare utilizatorul
reclam mai mul oe mii de cicluri de baz. Or, nu es!
_

pe un calculator clasic fiecare ciclu Aceast

reprezint mai multe sute sau mii de cicluri-instr uciuni.
Yitezade-execuie este in o
numrul de regu
aproximativ, de crdinul miilor de cicluri de inferene secund de maimulte
mii (1000 LIPS Logica! Infeirence
pe sau este cunoscut,
FFPI - Per Second). Interesul de a economisi cteva deduce tot cepc
de ha7es e, deci evideri? r
infereirr-rasne:
'

Atuturorvregulilor z
 tr_ ,gaca
i

mLru-L
709W'
taiat& 'J'
wiavii LL *ifi "b
nare cotnplexite Simularea Iiibrid a .ristemelor de
mare complexitate Wruazi 15.3
:le motorului de o .
i
Exemplu:
Fie baza de cunotine (reguli):
llllalese n faza "'\`_,_..,... R1: Dac B i D i E, Atunci F
la baza de fapte. ' R2: DacD i G, Atunci A
'oceduri externe, `

R3: Dac C i F, Atunci A

:ui ciclu depinde R4: Dac B, Atunci
R5: Dac D, Atunci
/____`H4__/

E
inite diferene la R5: Dac/g( i X, Atunci
H
tlnuirea nap0, R7: Dac C, Atunci D
R3: DacX i C, Atunci A
amcnt. R9: Dac i B, Atunci
X D.
Fie baza de fapte: B,C
la fapte pentru 3 A i scopul H.
arte stng_ 511m i

ontlictelor) este. _Figurile 9.2, i b, arat dou _arborescene obinute prin

a nlnuire nainte.
n

ula de utilizatcu igura 9.2 a corespunde alegerii rimel re ' i aplicabile-n ordinea
numriii lor.
lizare a bazei de Figura 9.2, 3 corespunde unei strategii selectionand dintre

\
regulile aplicabile
mai sunt reguli pe

;
.
n caze egalitate este utilizat
:l: regula cu numrul cel mai mic. Spre eeriiplwu-este
_ p

posed dou condiii contra 'una' lui R7. n ambele

preferata lui R?, deoarece ea
a cazuri nodurile reprezint
. succesiunea diferitelorstriiale bazei de fapme,
iarargle, rcguliputnd fi aplicate >
ei
striArcele n linI-"J-'punctatcdrespundreguliloraplicabile
'
utilizate. Numai regulile corespunzand arcelor care nu au fost ' ~
i

motorul deinfrene. Atunci' cnd regul (

A

linie

este vid i
-

tre o a fost deja aplicat, sistemul nu 'o

aplic din nou'. ntr-adevrnuva servi la nimic deducerea_
dedus. Vedem deci peaceste douieikeinple
unui fapt care a ?fost _deja
lin de
c eficacitatea unui 'motor de 'inferenz i

adic rapiditatea cu
~

care el ajungela scop (i, care se msoar n

inferene), depinde puternic dewfaza de alegere.
Strategia din figura 9.2,
numruld/ `

simpl, dar eaeste a est

i prea dependent de ordinea regulilor n baza de cunotine:
a); Strategia corespunztoare figurii 9.2, b, puin 'mai
-
complicat, d aici- rezultate mai
bune: '
"

:gulilor aplicabile;
-

Fr ndoial,
acest mod de raionament posed mai multe inconvenient&
sistemul declaneaz toate reaulilgaplicalile
" " .
-
de fapcfir `
chiar dac unele nu o
s contina suficiente fapte iniiale pentru '
_ _

iziei luate (rgl `

sistemul s poat ajunge la l ca
i'

scop; .
'

apiditatea cu care
~ in caz de eec, un singur fapt ar putea permite s se ajung la scop, dar
robleme oarecare utilizatorul nu esternforgiat, deoarece procesul
nu este interactiv.
lasic fiecare ciclu '
z
ceast metoda risca
. .

, .,
de
. -`

se ciocni de explozia combinatoriala.. daca5/

-
a ,

deiexecuie ese, numrul de reguli i _defateeste_ impr ' ' 4 scopul

sau de mai multe 'este cunoscut, deoarece atunciutrfebuie folosite toate
.
regulile aplicabile_ pentru
economisi cteva deduce tot cepoate fi dedus. Aceasta cu att mai mult a
cu ct multe motoare de
inlereiaionri/c nlnuirea nainte, lucrnd
mai nainte n lime (aplicarea
tuturor_ regulilor aplicabile la un moment dat).
 184 Modelarea sistemelor de
mare complexitate Sh" larg hibrid

n cele lou exemple

istcmul lucreaz 'n profunzime mai nainte (explora- b) nln,
rea unei ramuri de arbore pn la sfrit ! napoi n
caz_ de eec). Aceast strategie scop) i ncearc
mai este denum t: forward chaining,
pattem directed, data driven. sunt cele a cror
Q (parteastng) a

procese sunt re;

&VW l; atunci atins) sal
v
=
sistemul poate
A.2 (ntrebri,~teste..
@ale & rnai poate seleci

&f` n.

\dam. mcoerentqsauc

R.
`
:
'
- v

~.
Procerm
ncept
-
R;
a s
a

e
`

'
i

` _
_z i'
/l- R1

_ _ _

R, Rx
itnamza.
'

/
. . .' .

-.-
~~ - r ,f R3 '

,/I: -.-
m_
- "
. _

r? * -

a
R9 Rs Izcggbxzrag)
l
l
l' I
i
*r
_ . -1- . ._

r _' . vk-
-l/ l, r.:

al
'
R9" 'Ra B.c,D.-E.5@
am'V6
-

\ v_ ..*
i
SFRITn i
'

,
.

2***** 'N a i_
.
_

i*** v*wu /._~____~Nq -- r" 7,.,

_ ,I
A
A

gama;
__
sxrsiw

_.
K .,
.

g
R, - i ' R8' -:' -``"*.\.-p _

-

==__,c
+ aE_._,--_\ s,x,_4___,-~` [iC/lg. J& C u ace l t
k
~-
\X smxvr

.

guraga Reg

""4 l
j
` i'
i
_
_
_

-
uililt este fo;
n ordinea deinu
subscopurile pr(
v" MMC.
-
-
n

2"
I;
T. caz t
l

W513

'' 7

Flg. 9.2. Schcm mecanismului de infren

_
_

._
_
_
ntoarceremapo _

cunlnuire nainte, n dou variante:

a) alegerea p 'imei reguli aglicabile n _
ncerat (R3 aic
ordinea numrrii Inr; b) alegem: dintre... -

r rregmire icabre pe cele L e urnpoxiccl mai &tuns

e
.
~
umr de condiii., marcn .

"""""""_"`
.
atunci
-
 - de mare complexitate Simularea hibrid sistemelor
de mare canzp/exirzzle
a

nai nainte (explora- b) nlnruir

c). Aceast' strategie a mi ai. Sistemul pomete de la n sco "
scop) i ncearc 's remonteze fa'
tele pentrira le demons
iven. sunt cele a cror parte dreapt a.
cores unde sco ului cutat.
(parteastng) a' acestor reguli devin
tot attea subscopuri
atunci atins) sau 'pn
ce nu mai este posr a seleci
1

sistemul poate utiliztfu

cere sa rezolve unul sau mai IIe
v

(ntrebri, teste...) i subscopuri

procesul reincepe. Esecul _intervine
mai poate selecioner reguli, nici atunci cnd sistemul '
ntrebri utilizatorului (reguli insuficiente nu-
incoerente, sau cnd utilizatorul pune
nu poate rspunde ntrebrilor SB). sau
'Procesul abrtapoaitiej

-
nceput: '

Faza de'
_

ltraj;

1a,
'
rchematiatisjel:

. '
e
~
?
- Dac atisamblulregulilor (gbmt f; 'utl
V

-4
selectionate estevi ; '

4 Atunci -ntreab
'
.

pe utilizator;
Dac nu:
- _

Attatimp ct scopul

- rmn reguli selectionate:

nu este rezolvat i
'

Executa:
.
' - ~- l
" '
,

-Faza de alegere;
t
,D,E,F.A. V~ Adaug _subscopurile
-
corespunvzfndila
' partea stng_
lia-i" a regulii alese;
-Dac un 'subsep este

I' f" ?- rezolvat; '

Atunci rezolv-l (incepe de la
nceput);
Sfrit dac; i
_

R; B, C,D;E.F.H
A _

-
Sfrit execuie;
'

-' Sfrit-atta timp ct;

SiFRIT

Sfritdac.
.Sfrit-
-
_

-
H v
SFRIT
ggura
Cu aceleai date
ca n exemplul anterior, raionamentul ,emita
urmrit este cel din
_.

Regulile R; RiiyR
pot fi utiliatepentru a_ veritiascopul A.
' utilizat este' foarte simpl, deoarece ea Strategia
const n
a aplica prirnaregul aplicabil',
u _
`

reduse (eiplorare in profunzime

mai nti).
A
_

ln caz de
eec (spre exemplu subscopul G nu putut fi 'dedus)
ntoarcere napoi iiicrescen a exist o

t
n du Valne
3168553 ?TV5
.
i'
iiidercat (R3 aici).
i ultima regul lsat
Explorarea se poate opri: ' deoparte este, la rndul ei,
'r de Condiii' atunci cnd
__
c? < ~ scopul iniial a fost demonstrat (este cazul_
V

atunci aici);
 fr :
i,
5.3%.

186 Modelarea .ristemelar de mare complexitate Simularea hibrid a S!

Sistemul p ate chestiona atunci utilizatorul asupra subscopului apar n curs de rai
nere-
zolvat. S remarcm c acest mod de raionament const n construi spre rezoluia scopu
a un graf
I/SAU (fig. 9.3). de raionament vari
I
definit i acceptat
_ Cveriticat atenua inconvenien'
prezenta 'unele ditic'
D_/
RG R, .

e
eec i

A .C verificata `\.
9.2.3.
, verificata Sin
lea'
_B

Dveriticat
~ R4
F '

( 9.2.3.1.'Str'
Xfweriticat. Rr
..
E
'verificat Un expert a

M
.
_V

este 'un mediu de i

cele dou subiioduii trebuie yeritjcate
Arhitectura unui ast
unavsaii o baz d
metode;-
1
alta dintre reguli trebuie aplicat V

moto u?!
--
rig.'9.3'. Schema mecanismuluide iiiferent nlxiuire napoi. '
cunotinelor din be
cu
o nterq
nlnuirea napoi posed unele avantaje experg
-
g
'
_
sunt: -
sistemul pineviiitrebrinumai cndacest .l o inleiq
iexploatat- ucru este :iecesar i dup ce a
_

.tinte a unui domeni

posibi&
toate lie;
un MECI
''
_

arborele d< tare adesea mai _mic dect

. nlnuirea nainte;
De lazazl
_

_- procesul e. [te interactiv.

-

lucru cum sunt: cor

_
_ _
.
nul'
' dintre IE
_
este acela de acida; adic; peiitrua
demasea 'A 'trebuie Nucleele d
pentru demonstra B trebuie demonstrat/i;
_

ceea ce unele motoare de infereii iau n considerare. specialitate ofer

Acest raionament este numi-t, de asemenea, backward chaining goal- exemplu: program:
driving etc. dural, reguli euri:
mai multe nuclee_
_
c) Rgtjgnqm "nud. Nu trebuie' confundate motoarele de inferen ce
'
euristice, obiecte,
propun nlan irea i ainte i inlnuirea napoi n alteman (nlituire bidirec- Performan'
ional) cu cele ce p pun nlnuirea mixt, adic cele tipuri>`
ce combin cele dou folosete un model
de raionament. n'a' st caz-regulilefacrapelsimultan n Motorul n
partea permis la faptele
stabilite (naintelzi laaaltele de -stabilit.==(ii umi); Pentru ceea unuimodel abstrar
ce nseamn
fglanuirea fbidireci ala exist._niai 'multe posibiliti. .ln general, nuclee de sisteme
procedeaz
prinrilftf -nai e .pentrua deteiminaponcluziile pariale, apoi se ina? r
aceste .r\...
ia in iii nuireaifiapoiqfvjitorul
utiliza altema
de' inferen_ poate, de aseinmenea, ipoteze, raionamc
iv in aii, irea inainte i napoi s examineze la fiecare ciclu dac orientat pe obiect
aceste doua raionam ante se IBRIHCSC. Aceasta permite
a se face jumtate din dr`um Motorul in
de a se opri la mljl c sau la punctul de joiiciuiie. condiii de incertit
O alt. posih ilitate este

'
i-.
pe scopuri sau subscopuri complexe. .Sublinin
Elgate. Dimpotrivi, nlnuifc? .,

@mu-T
. raspunde urez nlnive t.-
. ii iti
milpaniate de o li t de scopuri intermediare
care, dup utilizator, trebuie s
 e mare co/nplexitare Simularea hibrid .virtemelor de
a mare complexitate
187
:ubscopului nere- apar_ n curs de raionament. Aceti indicatori
permit formalizarea aionamenmlui
l
construi un graf spre rezoluia scopurilor date i astfel practicarea r
de raionament variaz de la unui drum mixt. De fapt, acest tip
un motor de inferen la altul i nici
detinit i acceptat de toat lumea nu o notiune c131-
a aprut nc. Scopul acestei ci
atenua inconvenientele precedentelor, dar estede a
punerea n oper a procedeului
prezenta unele dificulti. ' pare ar

icat 9.2.3. Simularea cu ajutorul

unui nucleu de sistem expert
...z
icat 9.2.3.1. $tructura unui
expert system shell
-vericat Un -expert .system :hell (care
te' este un mediu
poate ti' tradus prin nucleu de sistem expert)
are destinat s faciliteze 'elaborarea sistemelor
w*weewxt
Arhitectura unui astfel de sistem include: expert_
o baz de cunotine care conine:: fapte, regulilde inferen,
metode;-
_

_
' ' -
scheme,
`

'
_

-n
cunotinelor din baza de date;
motor infereniql_ care realizeaz procesul _de 'raionament 'asupra
napoi. .
'
- v
v `
'

o interfa expert-c ulzztor pentru achiziionarea

'-
experk ' .
' cunotinelor de la
interj programata -calculatfor pentru consuireabazei
:esar i dup ce a -o domeniu
.tinea unui particular,
de cuno-

-' un mecanism de contra

o

al_
rea nainte; procesului de inferen. '

De la_ caz la caz, unele ucleederistem

,

lucru cum sunt: expert includ _i alte_ faciliti de

fa, adic: pentrua com ilatoarele, onitoarele lucrul'0 I: Fa m Ft
tie demonstratA;
Nucleele de, sistemec eit .existente
_

n prezent8 i produse _
_
_ .

specialitate ofer posibilitatea olosirii mai de firme de

A

'multor paradigme de
t ldural,
exemplu: programare logic, rovramare (de
chaintng; goab rogramare orientat pe obiect, 'programare
reguli euristicede i' eren)._n privina proce-
mai multe' nuclee de sistem re rezentrii un ti telor, cele
expert iau n considerare reprezentarea_
e de inferen ce
l

tggtig, obiecte, predicat:: f_ ___(_>__1_i_ , prtn: reguli 1%?-

nlnuire bidirec- exemple, proceduri.,
Performana sisteizului expert
' ~

cele dou tipuri crete dac. n reprezentarea cunotinelor

folosete un model se
cauza sau structural al sistemului/procesului simulat.
.mmis_.la faptele ~r Motorul inferenialdr

tual_ . _

nuiinooe abstractd rezolvare uucioiaaonarn \

.cea ce ittsean' aproblemelor), inclus decele mai multe ori n~
al, se procedeaz 'nuclee de sisteme .ex ert, bazeaz
se pe tehnici de rezolxare ca:

_Qi
oi aceste ipoteze (dirijat de scopuri nlnuirea nainte
te, de asemenea, rrrjata e apte), raionamentul bazat
ipoteze, raionam ntul de tipul ipotez-test, pe
l

.iecare ciclu dac programarea logic,

oiiat pe obiect programarea
umtate dinwn Xlpwrt-ilinferental
e

"-
icon' t ii deinltitudine, 'arei capacitatea de L: ut; "fiola-sit i itevn '
i

ptul
ar) factlorlcare
apare n sistemele reale, mai ales n cele mari,
_

sau subscopuri
'

c n rezolvarea unei probleme complexe
nlnuiri nainte mai multe motoare de infercn sepot folosi,
i chiar strategii de infercn diferite, n
izator, trebuie s acest caz
 188 Modelarea sistemelor de mare complexitale
Simularea hibrid a SiS!

e
fiind deosebit de i nportant interconexiunea (legarea) soluiilor obinute
pentru Pentru. adnc
diferite subsisteme. In figura 9.4 este dat structura unei reele de inferene.
recomandm consulte
l Limbajele ale programare cele mai folosite pentru scrierea de nuclee de
&sisteme expert sun : Lisp, C, Prolog Smalltak, Pascal etc. Sistemele hardware gura 9.5
In

.crora le sunt destinate sunt czponderen IBM/PC/AT. ` modelare-simulare

schem arhitecturala
vom descrie sintetic,
Concluzia l> (Noua concluzie VI_a_>

(Premsal
_

_ <(Noua)prcmisl
' <(Noua)premisla
*

Moc'
:i
i'
'
V
-
'acliizi
'
'v r'
_
"

.
v Utilizator ' PM?

i
Concluzia2> '
(Noua concluzie 2a> cunoti
<P'cma 2
_

__ la uti
<(Noua).premis2 .b <(Noua)'premis 2a ,

'll '
i
'
7
' l
'
_ v 'v
CU

<Premisai . Concluzia i>_ (Noua concluzie) ia>_

a
. -

_
,

<(Noua) premis i
`

<(Noua) premis ia

`
_<Prmisa '
!Concluzia j> _*__ (Noua concluzie) ja>
' <(Noua) premis
j <(Noua) premisa ja

: *z -` '- ~:.
'
*
'
'v
-
.

<Prerrusan
_ r
Concluzia
-
-. '- -

-<'.1
(Rqualspremis
.-
-,
- n m' clujtemb
_ouacon
l
lvllodulide

_
n- <(Noua) premisna-
'
'

simulare 1321721
'pe model
l
-

_matematic
-

calitativ
(Noua concluzi (Noua concluzie na>
ena> -

-
<(Noua) premis n_a .
-~
- - -
<(Noua) premismz ' * ~
- '

.
v. , ,
:armatura unei: reele 'de inferene.
_

si

n
ceea ce p rivete aplicaiile realizabilc cu ajutorul nucleclor de sisteme
expert, aici putem distinge ntre: nuclee de sisteme ex ert universale (care i I<`ig.'9.5.
Schen
propun s asiste pe creatorul de sisteme expert n aproape toate domeniile) i
(\ nuclejg' gemgJ Xpfr `
unei anumite .claraev dc la ' , cum, ar
'lnoz "depanare plant icare, proiectare, producie; predicie, monitorizare, f: a) Modrtln
control, nvare, mo :lelare i simulare.
A

' `

modul este utiliza'

ie luare complexitate
Simu/area hibrida Sistemelor de
_ _ _ _ _

e
a mare complexitate
189'
lor obinute pentru
Pentru adncirea cunotinelor n domeniul
3 inferene. nu cleelor de sisteme
recomandm consultarea literaturii de specialitate. expert.,
ierea de nuclee de
In figura 9,5 se prezint schema arhit
istemele hardware r" istemului (experimental) ,
modelare-simulare i de
schem arhitecturala
pune n eviden existena unor module funcionale
vom descrie sintetic, n cele ce urmeaz.
Aceast
pe care [e
contro inelor.
cluzie .l_a>

remisla '
_

' @ 1

Modul de Modul de
,
'_

.
' ilfiifnafc sxua achiziionare
Um'izamr 213mp! _cer - dlricc. prindaloga 'v

'
cruzi& 2a) -
'-> culnorlrtelrr de
_

.
cunotinelor de
remis 2a a u
l m'
a Pc i

l '_
,
*l
.
,
N
B _Nuleu de Baza de
d
`

aa-IJ ' '

, '
cu sistem (aperi
iysmnshem
`
.
cunotine /hf
c u z'e)
lr ia> _i
pm
Q
l

A
_

l
,
remis ia r
.

' `
'
-

Modul'de e `

f selecionata

. '
modululuide
_

cluzie)ja>
_

simulare . '
remis ja __` _
_

4 ' _
'
-' _
_

-
A
-
Modul de - .Modul de . Modulde ,

' .simulare simulare*

v

simulare
. mlitativ
_
.
cantitativ hibrid
'
~

r

_-
n '

~\
.
.
-
'

Cluzie na)
remis m1

Modul-de
v.

Modul dc
.
'
\
:Modul de Modul de 'Modul de '
simulare bazat 'simulare' simulare B
r
-
simulare' simulare Modul de '
m -e
'PC model baza! pe bazat pe bazat pe cunotm'
matematic
bazat pe simulare
model model modelul e-cg-ml
-

modelul numeric
calitativ
r
euristic fuzzy diferential Funsu
, stochastic '

\a '.
v
Modul de constmcie a
modelului de simulare
_
r

g/ i

Da
i

L
Modul_ de
simulare
Modul de grafic i
analiz ' rezultat
' .
`
Decizie
' `_<C>
'
' Nu
ecleelior de sisteme
_
'
. 1

niversale (care i Fg. 9.5. Schema bloc a unui sistem de simulare

bazat pe _Cyllqihtfa rtilivnd u::
sate dame; "
nucleu de sistem expert.
licaii, cum ar f:
zie, monitorizare, Modulul de aclziztionare a cunotinelor generale de simulare. Acest
a)
modul este utilizat pentru achiziionarea (de la utilizator) acelor
a cunotine care
 190 Modelarea sistemelor de :nare complexitate Simularea hibrid a.

unt utile n orice e xperiment de simulare, cum ar ti structura general sistemu ui structurate. El mai
a
de simulat (structt ra arborescent i/sau programele de aplit
K cea de grai), cunotine care pot fi
\"2 formalizate (legi a le natiirii,_ecuaii i forme de calcul), dar i cunotinedespre bazate pe cunoti
scopullobiectivele simulrii. In legtur cu acest ultim aspect, experiena artat c simulare numeric:
a
zatorii sunt interesai n: Clipr, 'dar exist,
n

descriere strii actuale a sistemuluisimulat; Lisp sau n limbaj

-
predicia rin simulare a strii sistemului; instrumente inform
-
mbunt irea performantelor sistemului simulat; BCS, ca i posibi
-
analiza cc st/performan a sistemului de simulat; sistemul de simula
-
optimizar :a prin simulare a sistemului. ` execut att prin- n

tudirie
-
Toateyacest cunotine i nc multe altele (cum
ar : gradul de (in)certi-
n esen,
-

instrumente inforr
cu care se estimeazcise cunosc parametrii/datele sistemu intervalele de
siboptimalitate ete. se achiziioneaz prin- interviu/dialog ilsaii dinui,d logic (TurboProlo

-e*
menta lC. instrumente infom
`

b) Modulul detychiziiinare cunotinelor de Id ert Spre deosebire instrumente- inforrr

a
de modulul anterior East modul' este dedicat achiziionrii cunotinelor direct de instrumente infomi
`la expert, deci a
ace or cunotine care au ca sursdirect experiena (expertului) n
domeniul cruia i parinesistemulsimulat. Aceste cunotine e) Modulu
sub ,form de obiec structurate, se acliiziioneaz 'utilizatorul-j (mariag
re lieuristce ireaii. Expertului i se prezint
regulile euristige EMEEE, de .controi si de decizie sub forma lor standard, sistemului reaL--ofc
iecum utilizatorul, pentr\
i formele s tandardale formulelor: mice *care pot 'compune ,premisele .i
concluziile regulilor euritceExpertul modulul*- (a),':_ astfe
are rolul .de a preciza formulele cele mai .

potrivite i valoarea aIIihUCIbIQTSI poate poat preciza: obie

propune, de, asemenea, dac dorete i
cunoate, noi form standard de reguli euristice i/sauv noi forme standard de procesele) ,sistemu
formule atomice, sistemului, felul a(
ca reurmez a fi incluse n baza de cunotine pentru simulare.
Dealtfel, unele re ulieuristice deuutilizt insistemul de simulare bazat' pe incertitudine al pan
prelucrarea cunotiillor `
ar putea rezultadin procesul de simulare nsui, posibi- . Capxrre
litate careafqst -lu n considerareatunci_ cndrs-Va raport' cu` ,analiza
pentru simulare. r
' proiectat deeuiietihe-
obiectivul sirnulri
iunotinle
c) Baza de pentru simulare (BCS). Cunostintele achiziionate Mndiilu'
'
r
_

_
cu ajutorulinodulelcr_ (a) i (b) sunt _stocate n BCS, (a crei structur a fost detaliat utilizatorului ca' '.
descris n capitolul 3). -Aceast baz de cunotine_ algoritm de selec
este aadar o baz de cunotine
specializat, ea con innd cunotine generale de simulare i cunotine privind concret-studiat. E:
sistemul de simulat. 'In acelai timp, structura_ ei este suTicient de flexibil cantitativ sau hibt
pentru a
permite, pe de o parte, sporirea .

- Simulare
w

.
cunotinelor .,. .
achiziionate
~_

de la expert, iar
.
pe de
alt parte trecerea de _latin experiment de smulare la altul.
'Aaar, se primete de lapreriiisa s 'BCS se/ncarc iniial

A

cu un anumit
tezaur, de cunotine `care ulterior este mboa cu noi cunoiine, rezultate din
gggunlai/ruinjlare. Realizarea efectiv .a BCS trebuie s in
__
n, Simulare
att de principiile generale ale bazelor de cunotine, ct
specifice ale BCS, pe care le-am redat n capitolul 5.
side principiile
..d) Nucleul d .xslreiil iutreul Sinuiar:
ai desiscih ' s*

(sau expert .rysteml shell, n .literatura de _specialitate anglo-saxon)_ scoate n

eviden motorul interenial, bazat att
. pe reguli de inferen, ct i pe obiecte
snm... a-ww-aamwu
`\`\
Wear-
 ie mare complexitate
:neral a sistemului
tine care pot fi
i
cunotinedespre
:periena a artat c
gradul de (in)certi-
ului, intervalele de
din documentaie.
271i
Spre deosebire
otinelor direct de
:na (expertului) n
: _se achiziioneaz
nului i se prezint
orma lor standard,
ipune premisele .i
'ormulele cele mai
a, dac dorete i
'orme standard de
:e pentru simulare.
mulare bazat' pe
are nsui, posibi- A
aza de .cunotine
nele achiziionate
:tur a fost detaliat
baz de cunotine algontm deselecie s-selecteze
'cunotine privind concretvstudiat. .Este aadar_ vorba de selc_
2
flexibil pentru a
l expert, iar
pe de
ale:: un anamitw" r'
me, rezultate din
S trebuie s in
I i de principiile
ct i
pe obiecte
Simularea hibrid sistemelor de
a mare complexitate
191
structurate. El mai include i interfa .
o atic cu u Tzatorul i interfata cu
de
a licatie. Aceste trsturi l fac comod n construirea o
bazate pe cunotine, de Componente
care s integreze fr fisuri .roiware convenional_
simulare numeric), baze de date i (de
aplicaii. El este specific.produsului-program
Clips, dar exist, de
asemenea, nuclee desisteme 'expert scrise n TurboProlog,
Lisp sau in_ limbajul C, utile n_ simulare
i control. El conine, de
instrumente informatice asemenea, i
necesare pentru achiziionarea i transferul .cunotinelor
BCS, ca iposibilitateavgenerrii n
automate a regulilor i obiectelor utilizate
sistemul de simulare bazat n
pe prelucrarea cunotinelor. Procesul de inferen
execut att prininlnuirea nainte, ctgi se
napoi. -
'
ln esen, nucleul de-'sistemi
v _-
. .
instrumente informatice specifice expert pentru
simulare.-este~o bibliotec
de
logic produsului-:g- tie bazatepe programarea_
( ),
sau' limbajul, instrumente care pot ti clasicateastfel: V
instrumente infonnatice 'utilizate
n raionamente 'bazate
instrumente informatice utilizate' n pe cuanlzjicrivruznerice,
raionamente- bazatepe cuzzmyicri
instrumente informaticeutilizate calitative,
n raionamente bazate
pe cuanlzicri mixte. " .
e) Modulul de speccare_ problemei de
a
utilizatorulnanager, ~analist,gexpert)_vn simulare_ Acest ..modul asist
speciticarea roble`ei~ .
sistemu ui real,- oferirtdu-i acestuia faciliti e` '
textua e' i/sau grafice. n* :a
utilizatoruLpentru_ _a acest conte
putea specifica problema de simulare, .este asistat
modulul (a); astfel rnqeau__ajuorulnsistemului indc-
poat preciza: obiectivele sistemului-de-_simulag dedialog descris aici, acesta s
procesele) sistemului, inter-actiunile 'dintre acestea,
sistemului, felul denircastxilor-i c subsistemele
i/sau
comenzilor
~
acestora (deterministegstochastice saufizzzy), dul-(facto '
incettitudineal parametrilor/datelor sistemului, .
limitele de subo `
utilizatorul poate 'specifica (formula) problema te 'se etc.
" l
raportcuanaliza 'sistemului desimulat de' simulare, n `
obiectivul sirnulrii. cu descrjereastructurii acestuiakcu
'
,
~
' ~
v -
~
O Modultilitfe
selecioner???
_
meodei tie. simulare. Acest modul pe? "te
utilizatorului ca baza 'rezultatului
pe imizat de modulul' precedent
mai
sia. nyi-
adecvat metod de simulare n cazul
cea
a _ta-o metod de simulare calitativ,
cantitativ_ sau hibridzi apoi
de a preciza n frecare
imularea calitagvg" caz metoda concret aleas. -
/o -
bazit
.-
'e model matematic calitativ;
i
_
~ pe modei-euristifi_ ' "
ff\
\ bazat pe model fuzzy.
e -
Simularea cantitativ' _FM
bazat 'pemodel diferential;
--. bazat pe model Stochastic.
__
,o Simularea hibrid', r.
i'
.
' bazatpe un model de simulare numeric
- n conexiune cu un model euristic.
_
 Modelarea sistemelor de marecomplexitaze Simularea hibrid a si.:
192

g) Modululrde construire a unui model de simulare executabil O dat B ibliogh

selectionate metoda i modelul de simulare conceptual, problema .care se pune este
ca acesta s fie tran format intr-un model de simulare executabil, adic un model
standard, de felul ce or pe care le-am descris. Unul dintre acestea, Dekker, L. Simula
r mod decisiv, 'steimodelul de simulare hibrid (sau modelul Filip. F. G. Decizi.
bazeaz

m -i
matematico-etiristic) compus dintnun unul euiistic Kerckhoff, E. J. .

i 'care afostprezenat n 'capitolul 2.

' ' t nifrocedings 2"
Kuipers, B. Qui
liniara_ de date .pentru simulare; n sisternulexperimental de simulare knowledge. n: Au
descris aici, baza d: date pentru simulare _ale crei principale funciunivsunt:
'S2
_Lehmarug A. i
achiziionarea date] r; necesare modelului '
-
de simularemumeric, conservarea i in a typical PC en

actualizarea-accstorLi alimentareawzu date a modelului deimul folosete of Karlsrue", nr. 3
facthtileaofentedeprodusulzMathcad' i 'de' bibliotecazde program ' - Marilg V. 'Zdr
:n orice_ cazdatele--necesaremodelului de simularernurnerica ochastic)
.
making. n: Prep
sunt incluse_ intr-uri ierrdedate; specific produsului Matlnoads-aubibliotecii
"
Payne, T. W., JOI'.
Matlab. s .-.';.:. n- .-' -rF .. chore: a campia

-
-

martielaprilie, pat
; i) Modulul de simulare'. Dispuhnd de uri-model desimulareitzxecutabil Reddy, Y. V.. i
.'(de exemplu-cubi auuui modelide simulare hibridyde date (din: bazaidedate) Simulation. n: R'
'i-de cunotine ( in? baza 'de cunotine); dca-'pfodusel informatice' Mathcad, 1982.
_specicia
.Matlab ilsau un er! 'system shzall pentru. .simulare cawi de Stanciulescu, F._
o

scenarii
.

~problemei de-simu -_e(plus unul satrxiamlte de_ simulare), acest 'modul method fii .

va pune mlucru t aeestvarsenal, softwarecarexailivra autilizatoruluiimanager,

" u' u" i101. _2
ystse

smular
,
i/sau
analist; :experrezu tatele de

wnliilelordetar p
' .(4
j ectori)
"grafic-.(curbe.ni~ ~l~ 3D), eare-vizualizeazvevoluia?n timp-./sauspau a
10. Stanciulescu,- F.

*
nfroceedirigs
AGuschi& rm
.r , __ gh?

_
'V misi; w. . . .

'- Acesti-mod I este bazat, iri-cazul sistemuluidescrisraicr'pe procesul 'de

_

'Stnciilescu F. l
ll.
simulare *hibrid1(p dusul-HYBRD).careutilvizeazniodelul " Modelling Simul
r - Science-Publisite
tin,
gs (produs al 12. Stanciulescu, F.
++=3~>. bazat? dat
_
knowledge-bare;
'on Scientific Co)
pag. l-6.
i
(Izumeric irgrrzi)
j) Modulul e editare i analizurezulttelar. Acest 13. _Stnciulescu, F..
fapt; n- produsele de simulareMathcadi care 'dispun
t

systems madelli:
de importante facil 'i de editare (mai ales grafic, dar i numeri . . Vizualiznd Symposium on
orin__s,imulare, utilizatorul (manager, analist, expert) poate `

A14. 'pag'
32.41
**""'ani`ia.si interpret' aceste rezultate astfel: 5.-; e
.~

Stanciulescu, F
_~ s le co pare cu rezultatele obinute 'prinmsurtori directe (n proces, complexity syrtl

\/
Simulation Con;
15. Stanciulescu, F. A

n: Revista Rom
s mbu ` .nerfnmanele sistemului ,simulari
i.
chiar s optim?
-
_

" 'zeze parametrii fun ionali ai acestuia.
..ww
.

magna