210 likes | 435 Views
Aproximari de functii utilizand polinoame de grade foarte mari si aplicatii. Supervizor : Prof. Dr. Ing . Octavian CRET Autor : Filip Silviu-Ioan. Cuprins. Justificare si obiectivele proiectului Solutii existente Solutia propusa Implementare si testare Rezultate si concluzii.
E N D
Aproximari de functiiutilizandpolinoame de grade foartemarisiaplicatii Supervizor: Prof. Dr. Ing. Octavian CRET Autor: FilipSilviu-Ioan
Cuprins • Justificaresiobiectiveleproiectului • Solutiiexistente • Solutia propusa • Implementaresitestare • Rezultatesiconcluzii
Justificaresiobictiveleproiectului Stareaactuala Teoriaaproximarilornumerice → sta la bazacalculelor din multe din domeniile de activitatecurente (cercetaristiintifice, inginerie, finante, etc.) Numereleutilizatesuntreprezentate in formate cu precizielimitata (virgulafixa, virgulamobila, etc.) → aritmeticispecializatepeacesteformate
Justificaresiobictiveleproiectului Motivatia • Dorinta de a studiacomportamentulmetodelorexistente de aproximare a functiilornumerice in vedereaextinderiiacestora in altedomenii, cum ar fi procesareasemnalelordigitale • Oferireaunormetode de calcul numeric cat mai precise
Cuprins • Justificaresiobiectiveleproiectului • Solutiiexistente • Solutia propusa • Implementaresitestare • Rezultatesiconcluzii
Solutiiexistente De cepolinoame? • Numeroaserezultateteoreticesipractice (dezvoltare Taylor, alg. Remez, etc.) • Suntusor de stocat in memorie • Permit o evaluareeficientaprinutilizarea: • Schemeilui Horner • Operatiei de adunareinmultirefuzionate FMA Q: Este chiarasa de usor? A: De fapt, NU.
Solutiiexistente Constrangeri(1) Amintim: • sistemele de calcul pot reprezentadoar un subset finit de numerereale, stocate de obicei in virgulamobila; • Constrangerile hardware si de eficienta pot fortacoeficientiiaceluiasipolinomsa: • Utilizezeformatediferite • Sa aibapreciziidiferite • Sa aibavalori fixate → trebuieluate in calcul → spatiufinit de cautare al polinoamelor
Solutiiexistente Constrangeri(2) Exemplu: Aproximati in eroareabsoluta cu un polinom cu coeficienti in virgulamobila cu simplaprecizie (24 biti) Legenda:celmai bun polinom de aproximare cu coeficientireali (alg. Remez) obtinut din prinrotunjireacoeficientilor la simplaprecizie obtinutprintr-o metodaspecializata la constrangeri (alg. Fpminimax) → pierderecalitateaproximare (rotunjire). Se poatemultmai bine: aiciacuratetecrescuta cu 3.65 bitiprinfolosirealui
Cuprins • Justificaresiobiectiveleproiectului • Solutiiexistente • Solutia propusa • Implementaresitestare • Rezultatesiconcluzii
Solutia propusa Prezentaregenerala Tine cont de toateconstrangerile→folosesterezultate din teoriaretelelorlaticialeeuclidiene Se reduce la a rezolva o problema de tip CVP(Closest Vector Problem)
Solutia propusa Exemplu: Reteauagenerata de vectorii (2, 1) si (0, 2)
Solutia propusa Exemplu: CVP
Solutia propusa Exemplu: CVP
Solutia propusa Rezolvareaproblemei CVP Problema NP-dura→ algoritmi de rezolvareexponentiali, intractabilipentrudimensiunimari → utilizamalgoritmirapizi, maiimprecisi AlgoritmulluiBabai: porneste de la o reteagenerata de vectorifoartescurti → problema SVP (Shortest Vector Problem)rezolvabila cu algoritmul LLL.
Solutia propusa Arhitectura (fluxul de executie al aplicatiei) Mapare interval de aproximarepecercul trigonometric + determianarepuncteegaldistantatepecerc Functia de aproximat Transformare fiecarecoeficient in forma mantisa exponent Generator puncte de interpolare Modelatorconstrangericoeficienti Reducereproblema la lucru cu intregi (se eliminaerorile de rotunjire) Generator bazaretealaticiala AplicarealgoritmBabai (LLL) Rezolvitor CVP (alg. Babai) Rezolvaresistem de ecuatiiliniarecedeterminavalorilecoeficentilor Generator coeficientipolinom de aproximare
Cuprins • Justificaresiobiectiveleproiectului • Solutiiexistente • Solutia propusa • Implementaresitestare • Rezultatesiconcluzii
Implementaresitestare Tehnologiifolosite (C/C++) LibrariileGMPsiMPFRpentrucalcule cu numereintregisi in virgulamobila de preciziearbitrare Generator puncte de interpolare Modelatorconstrangericoeficienti Librariafplllcecontineimplementarifoarterapidepentrualgoritmii LLL siBabai Generator bazaretealaticiala Rezolvitor CVP (alg. Babai) LibrariileATLAS siIML pentrurezolvare de sistemeliniareintregi de grad foarte mare Generator coeficientipolinom de aproximare
Implementaresitestare Evaluaresitestare Functii de aproximat: • , peintervalulcoeficientiintregi, grade • peintervalul, coeficientiintregi, grade , , Evaluare: • Eroareaabsoluta
Cuprins • Justificaresiobiectiveleproiectului • Solutiiexistente • Solutia propusa • Implementaresitestare • Rezultatesiconcluzii
Rezultatesiconcluzii Evolutiaerorii Calculareacertificata: utilitarulSollya Functia
Vamultumescpentruatentie! Intrebari? Sugestii?