Documente Academic
Documente Profesional
Documente Cultură
MODELAREA GEOMETRIC
1. ASPECTE INTRODUCTIVE
Istoricul dezvoltrii graficii interactive evideniaz n primul rnd spectaculoasa evoluie a teoriilor i instrumentelor matematice necesare reprezentrii gemetrice a obiectelor. n ultimii 30 de ani s-au fcut pai importani n formularea conceptelor modelrii geometrice, iar grafica interactiv a nceput s aib efect n comunicarea informaiei. n anii 80 are loc introducerea modelrii geometrice tridimensionale i apariia multor aplicaii practice. Aceasta este epoca apariiei reprezentrilor exacte ale modelelor sculpturale, bazate pe suprafeele Coons, Bezier, Gordon i B-spline i a aplicaiilor de analiz i simulare vizual. Ca un rezultat direct al perfecionrii algoritmilor de modelare geometric, se trece la utilizarea teoriei modelrii solidelor, a crei for este dat de capacitatea de a furniza reprezentri unice i clare ale obiectelor. Aplicaiile grafice sunt susinute de maini de calcul performante i de software-uri de reea eficiente. Matematica modelrii geometrice se bazeaz pe teoriile geometriei difereniale, algebrei liniare i booleene, pe principiile topologiei, utiliznd metode numerice, calcul vectorial i matriceal.
Geometria algebric reprezint extinderea contemporan a geometriei analitice clasice, inclusiv geometria diferenial. Geometria numeric se ocup cu elaborarea i analiza algoritmilor geometrici i are legturi strnse cu metodele numerice, teoria calculului i analiza complex. Proiectarea geometric asistat de calculator i geometria constructiv solid sunt ramuri ale modelrii geometrice, n timp ce geometria algebric i numeric se ndreapt ctre alte domenii. Cnd se construiete modelul unui obiect, se creaz un substitut o reprezentare. Obiectul poate s existe deja fizic, poate fi proiectul unui obiect nc inexistent, poate fi un obiect virtual ce nu va fi niciodat un obiect fizic, sau poate fi baza geometric pentru un proces fizic care trebuie s fie vizualizat. Un model efectiv este de obicei mult mai uor de testat i analizat dect obiectul n sine i reacioneaz, n cadrul limitelor, la fel ca obiectul. Pentru a putea modela un obiect, trebuie s i se precizeze forma. n modelarea geometric contemporan, forma unui obiect se definete printr-un set de declaraii matematice i relaii logice care satisfac un set de axiome. Aceste axiome sunt interpretate ca fiind afirmaii adevrate despre model, iar proprietile generale care rezult prin analiza i evaluarea modelului, sunt reprezentative pentru nsui obiectul modelat. Axiomele, desigur, corespund aprioric proprietilor obiectului care este modelat. Modelarea geometric este procesul crerii acestor afirmaii i legturi. n mod tradiional, modelele erau realizate din lut sau lemn sau redate n schie sau desene. Pentru dimensiuni mari, modelul era de obicei mult mai mic i mai uor de evaluat, nainte de a se trece la construcia obiectului real. Acum se folosete modelarea geometric pentru a crea o descriere matematic precis a formei obiectului real sau virtual sau pentru a simula un proces sau un fenomen care are un analog geometric. Aceast descriere este analitic i abstract, spre deosebire de modelul fizic, care este strict i concret. Modelele fizice i machetele n mrime natural sunt nc utilizate cu succes, i povestea lor, n sine, merit un studiu separat. Cercettorii creaz un model fie fizic, fie abstract, deoarece este un nlocuitor convenabil i economic al obiectului sau al procesului real i pentru c este mai uor i mai practic de analizat un model dect s fie testat, msurat sau experimentat un obiect sau un fenomen real. Aceasta se datoreaz mrimii (obiectul real este prea mare sau prea mic), complexitii (modelul este mai simplu n ceea ce privete caracteristicile de interes) sau timpului (fenomenele reale sunt prea rapide, prea ncete sau incontrolabile). Dincolo de avantajele analizei, modelul matematic al geometriei unui obiect este o cale important de comunicare a informaiilor. Prin intermediul graficii pe calculator i a capacitii de randare, un model geometric devine baza de explorare i evaluare a calitilor estetice i funcionale ale unui obiect. Modelarea geometric, utiliznd geometria analitic i diferenial, metodele vectoriale i matriceale, calculul tensorial, topologia i o multitudine de metode de calcul numeric, pentru a realiza descrierea complex a unui obiect, necesit puterea unui calculator. Modelarea geometric este un proces asistat de calculator, cu modelul stocat i analizat de calculator. Folosirea unui calculator este, de fapt, cheia ntregului proces de modelare geometric. Fr putere de calcul, nu este posibil construirea i analizarea modelelor sofisticate sau ndeajuns de complicate pentru a avea o
--
importan practic. Prin urmare, chiar dac maina de calcul nu apare explicit n aceste studii, aceasta este mereu prezent, cel puin n fundal, ca motor geometric. Dac pn nu demult, reprezentrile bidimensionale ale obiectelor fizice erau satisfctoare, acum se elaboreaz modele tridimensionale valide din punct de vedere topologic i complete din punct de vedere analitic. Aceste modele permit determinarea oricrei proprieti sau nsuiri geometrice. Evident, asocierea de durat a modelrii geometrice cu grafica pe calculator, demonstreaz c vizualizarea i aspectul sunt sarcini importante i este necesar ca un model complet s satisfac cerinele de randare i analiz. Practic, pot fi identificate trei categorii principale de aplicaii ale modelrii geometrice: 1- reprezentarea unui obiect deja existent, unde se creeaz un model geometric o singur dat; 2- reprezentarea ab initio, unde este creat un obiect nou pentru a satisface cteva cerine funcionale i estetice, definind, revizuind i analiznd forma virtual a acestuia, pn cnd sunt ndeplinite criteriile impuse; 3- randarea, la care trebuie generat o imagine a modelului pentru a-l evalua i interpreta vizual. Aceste trei categorii sunt, desigur, n strns legtur. De exemplu, cnd se elaboreaz modelul geometric al unui produs nou, inexistent fizic, trebuie s fie posibil analiza i evaluarea lui. Dup ce s-a ales un design specific, se utilizeaz modelul su geometric pentru a face posibil realizarea obiectului. n acest proces, modelul geometric furnizeaz informaii pentru randarea imaginii vizuale a obiectului, i realizarea desenului tehnic i a prezentrile grafice computerizate. Grafica pe calculator a fost i rmne n continuare fora motoare din spatele dezvoltrii celei mai mari pri din modelarea geometric. Acum animaia, imaginea pe calculator, realitatea virtual, vizualizarea tiinific i inteligena artificial au noi cerine n ceea ce privete capacitile modelrii geometrice. Sistemele graficii pe calculator pot realiza n mod curent randri realiste, bidimensionale i colorate ale obiectelor tridimensionale, inclusiv simularea texturii, transparena i efectele multiplelor surse de lumin. Arta, animaia i realitatea virtual au, fiecare n parte, contribuia lor la dezvoltarea artelor moderne. Multe efecte vizuale speciale n filme i reclame se bazeaz pe aceste sisteme de prezentare i tehnici de modelare. Noile teorii n modelarea solid, tehnicile suprafeelor poligonale i sculpturale, au fcut posibile multe dintre realizrile realitii virtuale. Noile unelte de generare, folosind combinaii de primitive solide simple i transformri complexe, vor imita uneltele artistului, extinznd abilitatea unui utilizator n pn la capacitatea de a crea i evalua rapid modele foarte complexe. Analiza tiinific este un domeniu aflat n permanent schimbare, n care complexitatea modelatorilor de solide este n continu cretere. Modelatorii de solide permit construcia rapid a modelelor din elemente finite. De asemenea, acetia permit analiza structural automat, static i dinamic, a prilor componente supuse unei varieti de condiii iniiale. Efectele acestor solicitri sunt prezentate rapid i corect utiliznd grafica pe calculator. Analiza cinematic asistat de calculator a structurilor complexe, devine posibil i datorit faptului c proiectanii pot muta pri ale modelului solid, independent unele de altele i pot verifica distana dintre aceste pri, vizual sau analitic. Este, de asemenea, posibil s se dea rspuns la ntrebri deseori neglijate, cum ar fi: Este destul loc pentru o manevr ntr-un spaiu cu acces limitat?.
--
Poate c una din cele mai productive aplicaii ale modelrii geometrice este fabricarea asistat de calculator. Spre exemplu, modelarea geometric face posibil planificarea procesului i programarea sistemelor de verificare a traiectoriei mainii unelte care sunt complet automatizate. Inginerii proiectani pot furniza prin intermediul bazei de date a unui calculator modele complete i precise ale prilor care trebuie fabricate. Programele de producie, interpreteaz apoi aceste modele i genereaz instruciuni de fabricare i asamblare pentru mainile automate i liniile de montaj. Inspecia automatizat a ansamblurilor finite este acum posibil, prin mbuntirea proceselor de asigurare a calitii. Cei care dezvolt sistemele de modelare geometric i ofer acum produsele pentru aplicaii n robotic i reprezentare pe calculator, domenii importante pentru sistemele inteligenei artificiale. Sistemele avansate ale modelelor geometrice vor ncuraja sinteza acestor domenii pentru a produce roboi inteligeni, care se mic n trei dimensiuni i care recunosc obiecte, din informaiile senzoriale vizuale, tactile, etc. n cele din urm, roboii vor fi programai s creeze singuri un model geometric al spaiului lor nconjurtor, folosind detectori artificiali i puterea adaptiv de deducie. Modelarea geometric este prezentat ca fiind art i tiin aplicat. Cu toate acestea, ca un rspuns la cerinele aplicaiilor, nevoia unei teorii complete a modelrii geometrice este n continu cretere. Cum modelele devin din ce n ce mai complexe, proiectarea i producia asistat de calculator i sistemele de grafic pe calculator necesit o autovalidare automat a modelului, o nelegere a echivalenei geometrice (calitativ i cantitativ) i proceduri de modelare naturale i puternice. Animaia i grafica pe calculator necesit modele adecvate reprezentrii spaiale. Realitatea virtual i grafica tiinific necesit modele geometrice sensibile la influenele dinamice. Pentru toate acestea, rspunsul se poate afla ntr-o nou model geometric, care include att forma ct i comportarea. Numeroasele fragmente conceptuale ale modelrii geometrice contemporane ofer soluii pariale n aceste aplicaii. Totui, unele teorii generale integrative ale modelrii geometrice pot produce rezultate mult mai cuprinztoare. Mai rmn multe de fcut n modelarea geometric pe ambele fronturi teoretic i aplicativ. Este necesar o nelegere mai bun a raiunilor pentru care este utilizat modelarea, a tipurilor de modele posibile (fizice i matematice), a eficacitii modelrii i a evalurii acesteia.
Fig. 1. Definirea intrinsec a unei curbe
Curbele sunt deseori definite ca fiind locul geometric al unui punct n micare, cu un singur grad de libertate. O alt definiie descrie curba ca fiind locul geometric al unei familii de puncte, de un singur parametru. Istoria nregistreaz diverse definiii ale ideii de curb, ca fiind o traiectorie unidimensional, avnd doar lungime. Astfel de definiii ne pot ajuta s vizualizm o curb i s mbuntim sensul nostru intuitiv asupra comportamentului ei, dar nu sunt explicit analitice. Mult mai important pentru modelarea geometric este faptul c aceste definiii conduc la expresii analitice utile. Moduri de a descrie din punct de vedere matematic curbele pentru modelarea geometric, include ecuaii intrinseci, ecuaii explicite i implicite i ecuaii parametrice. Ultima categorie este bine exprimat de formele Hermite, Bzier i B-Spline. --
x(s) i
ecuai ile: sunt date de dx dy = cos i = sin . ds ds Difereniind aceste ecuaii innd cont de i s nlocuind cu cos i dy / cu sin se obin ecuaiile difereniale simultane: ds
y(s)
(4) d / ds dx / ds cu ,
--
d x (s )dy ds 2 d 2y
=+ 0, ds
(5) ( s)dx 2 ds = 0. ds Folosind proceduri numerice potrivite, se rezolv aceste dou ecuaii de ordinul doi n x(s) i y(s) , pentru orice funcie de curbur dat.
(s)
de o alt transformare); de exemplu, un cerc x 2 + y 2 = r 2 ; f ( x, y) = f ( x, y) , curba este simetric fa de axa x ; de dac exemplu, parabol a x= y ; -2
y ; de exemplu, - dac f ( x, y) = f ( x, y) , curba este simetric fa de axa parabol y = x 2 ; a - dac f ( x, y) = f ( y, x) , curba este simetric fa de linia x = y ; de exemplu, hiperbol xy = k 2 ; a - dac f ( x, y) = f ( y, x) , curba este simetric fa de linia x = y ; de exemplu, hiperbol xy = k 2 . a
--
3.3. curbelor
Ecuaiile
parametrice
ale
n mod obinuit, funciile explicite cum ar fi y = f ( x) , nu pot reprezenta majoritatea formelor utilizate n modelarea geometric. Exist multe explicaii pentru aceasta. n primul rnd, formele celor mai multe dintre obiecte sunt independente, din punct de vedere intrinsec, fa de orice sistem Fig. 4.2. Elementele unei curbe de coordonate. nsi relaia dintre puncte parametrice determin forma rezultant a unei curbe sau a unei suprafee stabilite printr-un set de puncte i nu relaia dintre aceste puncte i un sistem de coordonate arbitrar. De fapt, cele mai multe aplicaii de modelare necesit ca alegerea sistemului de coordonate s nu afecteze forma. n al doilea rnd, orice solid, obiect nchis, va avea cteva linii tangente sau plane paralele cu axele principale sau planele principale ale oricrui sistem de coordonate ales. Astfel, pentru forme definite de funcii explicite, pot rezulta valori infinite ale unor pante pe model, sau pot rezulta alte proprieti matematice greit definite. n sfrit, curbele i suprafeele modelului geometric sunt deseori neplanare i mrginite i nu sunt uor de reprezentat prin funcii obinuite, neparametrice. Din aceste cauze, i multe altele legate de uurina de programare i calculabilitate, modalitatea preferat de reprezentare a formelor n modelarea geometric este cea cu ecuaii parametrice. De exemplu, o curb bidimensional este definit nu de o singur funcie obinuit, cum ar y = f ( x) , ci de fi un set de dou u . O curb tridimensional este x = x(u) , y = y(u) de funcii parametru definit x = x(u) , y = y(u) i z = z(u) . Aceste curbe au o reprezentare vectorial de natural. Pentru o curb spaial, se poate scrie p(u) = [x(u) y(u) z(u) (8)
i prin simpl extensie, pentru o suprafa, rezult: p(u, w) = [ x(u, z(u, w)] . y(u, (9) w) w) Ecuaiile parametrice evit multe probleme asociate funciilor neparame-trice. De asemenea, ele descriu cel mai bine felul n care sunt desenate curbele de ctre un ploter sau de ctre dispay-urile grafice. n acest caz, dou funcii de timp x(t ) i y(t ) controleaz servosistemul ploterului sau sistemul de deflexie a fasciculului de electroni al tubului catodic, fcnd ca dispozitivul de scriere sau fasciculul de electroni s se deplaseze pe curba dat. Punctul este elementul de baz al geometriei parametrice i al modelrii geometrice. Acesta reprezint un set ordonat de numere reale, ale cror coordonate naturale definesc poziia ntr-un spaiu euclidian tridimensional. Un vector poate fi definit n acelai fel, astfel c, n mod frecvent, termenii punct i vector sunt comutativi. De exemplu, vectorul raz (sau vectorul de poziie) definete un punct. Toate acestea conduc la urmtoarea definiie. Un segment de curb este o colecie mrginit de puncte, ale cror coordonate sunt date de polinoame continue, de un singur parametru, de forma: --
x = x(u); y = y(u) ; z = z(u) , unde variabila parametric este, n mod obinuit, limitat de intervalul u nchis
(10) u [0,1] ,
iar sensul pozitiv al curbei este direcia n care crete. Curba este mrginit de u puncte, deoarece are dou capete definite, unul la u = 0 i cellalt u = 1 . Funciile la x(u) y(u) i z(u) pot avea o form polinomial fixat, definind funciile de baz care , genereaz curba cu un set caracteristic de proprieti. Coordonatele oricrui punct pe o
--
curb parametric pot fi tratate ca fiind componentele unui vector p(u) . Figura 4.2 ilustreaz acest vector i alte elemente vectoriale importante ale unei curbe. Aici, vectorul p(u) este vectorul punctului x(u) , y(u) , z(u) , iar pu (u) este vectorul tangent la curb n acel punct, obinut prin diferenierea lui p(u) : dp(u ) p(u) = . (11) du u Vectorii componeni ai p (u) sunt: lui dy (u ) dz (u u z = (12) dx(u ) y = xu = u ; ) du ; du du i reprezint derivatele parametrice. Cnd u apare ca exponent, indic diferenierea n funcie de u . Relaia dintre derivatele parametrice i derivatele obinuite ale spaiului dy dy / cartezian i similar pentru dy / i dz / dx . = du dz este dx dx / du Spaiul modelului este spaiul tridimensional definit de coordonatele carteziene x, y, z , n care un model geometric este dezvoltat i exprimat n totalitate. Spaiul parametric al unei curbe reprezint un set de trei spaii tridimensionale definite de ( x, u) ( y, u i ( z, u) . Orice curb parametric poate fi descompus n trei ) , componente n spaiul parametric. Graficele unei curbe, din punct de vedere al componentelor spaiului parametric, numite grafice ncruciate, sunt uneori folositoare pentru nelegerea comportamentului acesteia n spaiul modelului. Graficul n spaiul parametric arat evoluia fiecrei coordonate carteziene de la un capt al curbei la cellalt, n timp ce variabila parametric u variaz pe intervalul [0,1]. Ecuaiile parametrice au multe avantaje n plus fa de alte forme de reprezentare. Cele mai importante sunt: - permit separarea variabilelor i calculul direct al coordonatelor punctului; - sunt uor s fie exprimate ecuaii parametrice ca vectori; - fiecare variabil este tratat la fel; - sunt mai multe grade de libertate pentru a controla forma curbei; - transformarea poate fi realizat direct; - adapteaz toate pantele fr ntreruperea calculului; - scalarea dimensiunilor este direct fr s afecteze reprezentarea iniial; - curbele pe care le definesc sunt inerent mrginite atunci cnd parametrul este limitat ntr-un interval finit specificat; - aceeai curb poate fi deseori reprezentat prin parametrizri diferite. n consecin, o schem de parametrizare este, cteodat, aleas n funcie de efectul ei asupra formei curbei.
--
(14)
--
? E
A B D Q= B C D E i P = [x F
(15)
y 1] ,
(16)
unde vectorul este reprezentat n coordonate omogene. P Anumite caracteristici ale ecuaiei conice sunt invariante n transformrile de translaie i rotaie. Valorile lui i Q indic tipul curbei conice. Tabelul 4.1 clasific k curbele conice folosind aceste caracteristici. Formele parametrice obinuite ale curbelor conice sunt: - parabola: 2 x = au ; (17) y= hiperbola: 2au, x = a sec u; y = b tan elipsa u; x = a c o su; y = b sinu;
u [ , ] ,
(18)
u [ , ] .
(19)
0 0 0 0 0 0 0
<0 <0 <0 <0 <0
Q 0 0 0 0 0 0 0 0 0
0 0 0
Tip Parabol Dou linii paralele reale Dou linii confundate Dou linii paralele imaginare Dou linii paralele reale Dou linii confundate Dou linii paralele imaginare Elips punctual Elips real Elips imaginar Hiperbol Dou linii concurente
Descrierea algebric a curbelor printr-un set de ecuaii polinomiale cubice parametrice se materializeaz ntr-o ecuaie vectorial. Exprimarea coeficienilor --
algebrici n funcie de condiiile pe frontier duce direct la o form geometric mai convenabil. Funciile Hermite fundamentale apar ca nite conexiuni matematice ntre formularea algebric i cea geometric.
--