Sisteme Realitate
Complexe Virtuală
Supercalculatoare
Cele mai multe modele ce expun comportări haotice conţin analize statistice.
Deşi caracteristicile spaţiale de fază topologice calitative ale sistemelor liniare pot
fi determinate statistic, simularea trebuie folosită şi pentru sistemele neliniare.
Metodele iterative trebuie să lucreze simultan cu determinarea unor caracteristici
speciale cum ar fi: puncte fixe, valori şi puncte ale hiperbolelor. Într-o abordare
mai largă, limbajele de simulare viitoare vor fi în relaţii de interdependenţă cu
rutinele de manipulare simbolică şi limbaje, astfel încât un sistem să poată fi
analizat cu orice instrument disponibil (static şi iterativ). Combinarea metodelor
statice şi iterative în simulare determină simularea hibridă.
Realitatea virtuală: Obiectivul realităţii virtuale constă în
introducerea analistului în interiorul universului simulat. De asemenea,
realitatea virtuală este deseori văzută ca fiind sinonimă cu interfaţa hardware dintre
maşină şi om, tehnologia trebuind să încorporeze metode pentru construcţii în
universul digital (sau virtual).
Viaţa artificială: Relativitatea vieţii artificiale este o ramură a ştiinţei
calculatorului care provoacă ceea ce poartă numele de experiment. Un
experiment în viaţa artificială este acela în care se concepe un program de simulare
a formelor vieţii artificiale.
Modelarea pe baze fizice şi animaţia pe calculator: În grafica pe
calculator din prezent, mişcarea este realizată mai mult pentru a mări
interesul faţă de tehnica modelării şi mai puţin faţă de modelarea pe baze
fizice. În prezent s-au realizat progrese impresionante în sfera animaţiei. S-au creat
modele mult mai bune, animaţia având la bază tipuri de modele mult mai complexe
cum ar fi modelarea evenimentelor, modelarea funcţională sau modelarea
3
beneficiului. Deoarece în orice situaţie practică efortul cerut şi beneficiul dorit pot
fi exprimate printr-o funcţie cu variabile de decizie bine stabilite, optimizarea
poate fi definită ca procesul de găsire a condiţiilor în care funcţia respectivă
are valori minime sau maxime. Pentru aceasta, nu există o singură metodă
disponibilă pentru rezolvarea eficientă a problemelor de optimizare. Astfel, s-au
dezvoltat o serie de metode de optimizare pentru a putea rezolva diferite tipuri de
probleme de optimizare.
Metodele de căutare optimă sunt cunoscute ca tehnici de programare
matematică şi sunt studiate în general ca parte a cercetării operaţionale.
Cercetarea operaţională este o ramură a matematicii care se ocupă de aplicarea
metodelor ştiinţifice şi tehnice în problemele de decizie şi de găsire a celor mai
bune soluţii sau chiar a celor optime. Se pot menţiona cateva tehnici de programare
matematică în diferite sfere ale cercetării operaţionale:
metode de calcul;
calculul variaţiilor;
programare liniară;
programare neliniară;
programare geometrică;
programarea ecuaţiilor de gradul doi;
programare dinamică;
programare integrală;
teoria jocurilor;
metode reţea;
programare stocastică etc.
Existenţa metodelor de optimizare poate fi urmărită începând cu Newton,
Lagrange şi Cauchy. Dezvoltarea metodelor de calcul diferenţial pentru optimizare
a fost posibilă datorită contribuţiilor lui Newton şi Leibnitz. Formularea calculului
variaţional a fost făcută de Bernoulli, Euler, Lagrange şi Weiestrass. Metoda de
optimizare pentru problemele cu constrângeri, care implică introducerea unor
multiplicatori necunoscuţi, a devenit cunoscută sub numele creatorului său, adică
metoda Lagrange. Cauchy a realizat prima aplicaţie a metodei genealogiei în
trepte (metoda iterativă), pentru rezolvarea problemelor de minimizare fără
constrângeri. În spiritul acestor contribuţii premergătoare, s-au înregistrat prea
puţine progrese în acest domeniu până la mijlocul secolului 20, când, apariţia
calculatoarelor digitale de mare viteză a făcut posibilă implementarea procedurilor
de optimizare şi a stimulat cercetările în vederea obţinerii unor metode noi. În acest
moment, literatura de specialitate în sfera tehnicilor de optimizare a luat un avans
spectaculos şi au apărut câteva noi domenii în teoria optimizării.
În 1947, Dantzig dezvoltă metoda simplă de programare liniară a
problemelor şi, în 1957, Bellman enunţă principiul optimumului pentru problemele
de programare dinamică. Aceste noi realizări au pus bazele dezvoltării metodelor
de optimizare condiţionată. Efortul depus în 1951 de către Kuhn şi Tucker în sfera
condiţiilor necesare şi suficiente pentru obţinerea soluţiei optime a pus baza
cercetărilor ulterioare în programarea neliniară. La începutul anilor ’60,
Zoutendijk şi Rosen au adus contribuţii semnificative în sfera programării
neliniare. Totuşi, nu s-a găsit o tehnică cu aplicabilitate generală în problemele de
5
Modele conceptuale
Modele declarative
Descrierea Modele funcţionale
modelului Modele de constrângere
Modele spaţiale
Modele multiple
Cerinţe
Requirements
Simulare
Analiză
Verificare
Evaluare
Cunoaştere
Knowledge
b) evaluarea modelului
Petri nu se poate accepta activarea de reguli ale unei combinaţii de condiţii sau
activarea simbolurilor.
O strategie diferită faţă de sistemele reactive este aplicată prin metodologia
de modelare cu ajutorul hărţilor de stare (Harel 1987). Hărţile de stare sunt o
continuare a muncii duse pentru un concept mai general, numit “higraph” (Harel
1988). Hărţile de stare separă sistemele reactive în stări şi tranziţii, folosind cutii
şi săgeţi. Separarea în astfel de entităţi este bazată pe relaţii din cadrul modelului
care formează setul de stări.
Legăturile dintre diferite seturi de stări pot fi reprezentate în mod grafic
folosind dreptunghiuri drept stări şi săgeţi drept tranziţii. Săgeţile reprezintă
evenimente care cauzează sistemului schimbarea de la o stare la alta. Aceste
evenimente pot fi condiţionale sau necondiţionale.
Această metodologie este ierarhică şi acceptă aspectele funcţional,
comportamental şi structural faţă de sistem. Totuşi, nu reprezintă fluxul de
informaţii din sistem.
Alte strategii de modelare includ limbaje de explicare grafică, folosite în
special pentru proiectarea şi verificarea informaţiei în sistem. Există multe
asemenea metodologii, incluzând SAS (Lissander 1985), SADT (Ross 1985)
SARA (Estrin 1986) şi SREM (Alford 1977).
O strategie diferită este dată de modelarea sistemelor bazată pe reguli. În
această strategie sistemul este descris în termeni de reguli fizice sau operaţionale
(Murray, 1988, Ben-Arieh, 1988). Această strategie este utilă când detaliile
sistemului nu sunt cunoscute, astfel accentuându-se aspectul funcţional asupra
sistemului, dar lipsesc descrieri clare ale structurii şi comportamentului.
Limbajele de programare ale calculatorului sunt folosite foarte mult la
simularea şi modelarea sistemului. Pe lângă limbajele de simulare tradiţionale cu
evenimente discrete (care nu sunt reactive faţă de natură), se poate apela la
limbaje orientate pe obiecte (Antonelli 1986, Bezivin 1987), limbaje de
simulare concurente (Ben-Arieh 1991) şi strategie de simulare distribuită
(Misra 1986). Aceste strategii nu acceptă modelarea cunoscută a interacţiunilor
complexe dintre componentele sistemului.
Simularea distribuită sau limbajele de control sunt bazate pe o reţea de
procese asincrone, comunicând cu ajutorul unor mesaje fixe în timp. Unele
exemple sunt COSL (Pathak 1989) şi DISS (Melman 1984). O strategie diferită
pentru modelarea unor astfel de sisteme a fost obţinută folosind programarea logică
concurentă (Dotan şi Ben-Arieh 1991) şi un limbaj de modelare cu bază grafică
(Ben-Arieh 1991).
Este important de observat că modelele analitice, cum ar fi reţelele în
aşteptare, nu sunt reactive prin natura lor şi, de aceea, nu sunt considerate potrivite
pentru modelare, aşa cum ar fi necesar. În mod similar, tehnicile de simulare
folosind evenimente discrete nu înglobează natura reactivă a sistemelor modelate,
fluxul de informaţii şi regulile interne.
În literatura de specialitate este des utilizată noţiunea de simulare
sinonimă noţiunii de simulare pe calculator. Simularea este o metodologie
aplicată în descrierea comportării sistemelor complexe prin folosirea
modelelor matematice sau simbolice. Modelul reprezintă o "teorie" sau o
"ipoteză" şi descrie comportarea în timp a sistemului studiat. De asemenea, se
13
(fig. 1.3), se poate face analiza sensibilităţii şi optimizarea unui sistem discret cu o
singură simulare, pentru obţinerea parametrilor optimi ai sistemului şi sensibilitatea
acestora (derivate), respectând parametrii sistemului neverificaţi (ritmul sosirilor
într-o reţea de cozi de aşteptare).
date de intrare
necontrolabile
1. Analiza descriptivă
Validarea şi Verificarea Modelului de Bază
2. Analiza prescriptivă
3. Analiza post-prescriptivă
diferite care sunt greu de înţeles. Această dificultate determină apariţia multor erori
şi nepotriviri în dezvoltarea şi planificarea utilizării unor astfel de sisteme. O dată
cu creşterea în timp a cheltuielilor cu corecţia erorilor creşte şi valoarea detectării
şi corectării problemelor apărute. Simularea furnizează o cale practică de detectare
a unor astfel de probleme şi permite corecţia lor timpurie. Neutilizarea simulării
duce la mărirea riscului şi la eşecuri.
Modelarea procesului şi modelarea simulării procesului pot fi folosite la
mărirea calităţii şi acurateţei deciziilor individuale şi de grup ca făcând parte din
Perfecţionarea Procesului Operaţional (Reingineria Procesului Economic),
Planificarea Strategică şi alte tipuri de decizii. Modelarea procesului permite o
reprezentare grafică simplă a procesului complex. Modelarea simulării procesului
dă amploare duratei şi posibilităţii de analiză a proceselor organizatorice.
Un model de proces include informaţii despre relaţiile secvenţiale dintre
diferiţi paşi/activităţi dintr-un proces; el reprezintă orice ramificaţie, procese
paralele şi bucle reacţie/reutilizare, similar cu logica schemelor - bloc. Modelarea
procesului este similară metodei IDEF3 de captare a procesului, dar modelarea
procesului tinde să fie mult mai flexibilă şi mai adaptabilă la necesităţile
utilizatorului.