|
|
|
|
|
|
|
|
Computeraritmetiek en numerieke technieken
|
|
|
|
|
|
Samenstelling
|
|
|
Krachtlijnen
|
De onderzoeksactiviteiten concentreren zich rond twee onderwerpen die nauw verband houden met elkaar. Enerzijds is de onderzoeksgroep actief in modellering en in rationale benaderingstheorie, zowel in één als in meerdere veranderlijken. Anderzijds worden verschillende technieken bestudeerd voor de machine-evaluatie van uitdrukkingen. Deze 2 onderwerpen gaan hand in hand. Vermits machine-implementaties van functies alleen gebruik kunnen maken van eenvoudige bewerkingen zoals de basisoperaties, zijn rationale functies (en veeltermen) de meest gebruikte benaderingen.
De theoretische basis die door de onderzoeksgroep werd gelegd voor de benadering van
meer-dimensionale data, is reeds met succes toegepast in verschillende domeinen. We vermelden onder andere: telecommunicatiesystemen, wachtrijproblemen, elektromagnetische simulatie, vormreconstructie en de evaluatie van speciale functies uit de fysica.
|
|
Website
|
http://www.cant.ua.ac.be/
|
|
Projecten
|
Toon de projecten van deze onderzoeksgroep - Multidimensionale vormen afzonderen: integrale invarianten, regels voor inhoudsmeting en Padé's approximanten. 01/01/2012 - 31/12/2013
| Abstract | Dit project kadert in een onderzoeksopdracht tussen enerzijds UA en anderzijds de Vlaamse Overheid. UA levert aan de Vlaamse Overheidde onderzoeksresultaten genoemd in de titel van het project onder de voorwaarden zoals vastgelegd in voorliggend contract. | | Looptijd | 01/01/2012 - 31/12/2013 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Compacte representatie van biomedische signalen. 01/01/2011 - 31/12/2014
| Abstract | Dit project betreft fundamenteel kennisgrensverleggend onderzoek gefinancierd door het Fonds voor Wetenschappelijk Onderzoek-Vlaanderen. Het project werd betoelaagd na selectie door het bevoegde FWO-expertpanel. | | Looptijd | 01/01/2011 - 31/12/2014 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Vlaams Supercomputer Centrum (VSC). 01/06/2009 - 31/12/2012
| Abstract | Het Vlaamse Supercomputer Centrum is een samenwerking tussen de 5 Vlaamse universitaire associaties. Het wil meer rekenkracht en opslagcapaciteit ter beschikking stellen van meer onderzoekers in de associaties, onafhankelijke onderzoeksinstellingen en industrie. Daarnaast zal het uitstekende gebruikersondersteuning bieden voor alle aspecten van HPC. De infrastructuur zal grensverleggend onderzoek mogelijk maken, de economische activiteit in Vlaanderen stimuleren en internationale competitiviteit van de Vlaamse industrie versterken. | | Looptijd | 01/06/2009 - 31/12/2012 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Vlaamse Supercomputer Centrum (VSC) (eenmalige investeringssubsidie). 03/04/2009 - 31/12/2012
| Abstract | Dit project kadert in een onderzoeksopdracht tussen enerzijds UA en anderzijds de Vlaamse overheid. UA levert aan de Vlaamse overheid de onderzoeksresultaten genoemd in de titel van het project onder de voorwaarden zoals vastgelegd in voorliggend contract. | | Looptijd | 03/04/2009 - 31/12/2012 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Geparameteriseerde model-orde reductie (PMOR): ijle gegevens en ijle modellen. 01/01/2009 - 31/12/2012
| Abstract | De voornaamste doelstelling van dit project is het ontwikkelen van robuuste en stabiele rationale modelleringsalgoritmen voor het opstellen van geparametriseerde gereduceerde-ordemodellen voor complexe fysische systemen. De orde en de complexiteit van de herschaalbare rationale modellen worden specifiek afgestemd op de toepassing in kwestie. De
benaderende en/of interpolerende modellen zijn gebaseerd op ijle gegevens, verspreid over de ontwerpruimte en het is de bedoeling dat de modellen zelf ook ijl zijn om een minimale complexiteit te bekomen. | | Looptijd | 01/01/2009 - 31/12/2012 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Vlaams Supercomputer Centrum: Supercomputers voor publiek en privaat gefinancierd onderzoek in Vlaanderen. 01/01/2008 - 31/03/2013
| Abstract | Het Vlaamse Supercomputer Centrum is een samenwerking tussen de 5 Vlaamse universitaire associaties. Het wil meer rekenkracht en opslagcapaciteit ter beschikking stellen van meer onderzoekers in de associaties, onafhankelijke onderzoeksinstellingen en industrie. Daarnaast zal het uitstekende gebruikersondersteuning bieden voor alle aspecten van HPC. De infrastructuur zal grensverleggend onderzoek mogelijk maken, de economische activiteit in Vlaanderen stimuleren en internationale competitiviteit van de Vlaamse industrie versterken. | | Looptijd | 01/01/2008 - 31/03/2013 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Ondersteuning instandhouding wetenschappelijke apparatuur. 01/01/2007 - 31/12/2013
| Abstract | Geen abstract gevonden | | Looptijd | 01/01/2007 - 31/12/2013 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Betrouwbare en efficiënte software voor multivariate hypergeometische functies. 01/10/2006 - 30/09/2009
| Abstract | Het doel van dit project is om betrouwbare en efficiënte software te ontwikkelen voor een bepaald soort van speciale functies, namelijk multivariate hypergeometrische functies. Deze vormen uitbreidingen naar meer dimensies van de klassieke Gauss-hypergeometrische functie en de veralgemeende hypergeometrische functie. In het bivariate geval onderscheidt men de vier Appellfuncties, die behoren tot de lijst van vierendertig Hornfuncties (bivariate hypergeometrische reeksen van orde twee) en de Kampé de Férietfuncties (die een willekeurig aantal parameters kunnen bevatten). Voor een willekeurig aantal veranderlijken vormen de Lauricellafuncties het bekendste voorbeeld. | | Looptijd | 01/10/2006 - 30/09/2009 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- CalcUA als centrale rekenfaciliteit: ondersteuning kernfaciliteiten. 01/05/2006 - 31/12/2016
| Abstract | Sinds 2005 beschikt de Universiteit Antwerpen met CalcUA over een van de krachtigste Belgische academische computers. Deze investering moet, op gebied van onderhoud en ondersteuning, naar de toekomst toe veilig gesteld worden, niet in het minst om de wetenschappelijke resultaten die op CalcUA gebaseerd zijn. CalcUA ondersteunt bovendien 2 excellentiecentra binnen de instelling: NANO and NEURO. Voltijdse ondersteuning voor CalcUA wordt door dit project mede mogelijk gemaakt: naar gebruikers toe en bij het formuleren van aanvraagdossiers voor computationele multidisciplinaire onderzoeksprojecten. | | Looptijd | 01/05/2006 - 31/12/2016 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Ontwerp- en analysetechnieken voor rekenintensieve simulaties: Kriging versus rationale metamodellering. 01/01/2006 - 31/12/2009
| Abstract | Simulatie en modellering zijn alomtegenwoordig in computationele wetenschappen. Typische applicatiedomeinen zijn queueing problemen, computer- en telecommunicatie netwerken, weersvoorspellingen, elektromagnetisme. oppervlakte- en vorm re engineering of reconstructie, bevolkingsdynamica, supply chain management, voorraadbeheer, econometrie en zo voort.
Tijdens het ontwerp en de analyse van een complex systeem, worden computergestuurde fexperimenten of simulaties vaak als leidraad gebruikt om het aantal dure prototypes of real-Iife metingen te beperken. Ondanks de voortdurende toename aan rekenkracht en snelheid, kan de computationele kost van complexe simulaties met hoge betrouwbaarheid nog steeds zeer hoog zijn, voornamelijk tijdens optimalisatie- en sensitiviteitanalyses, vernlits één enkele simulatie van een ontwerp verscheidene uren in beslag kan nemen. Een vereenvoudigd model van loet oorspronkelijk complexe fenomeen is dan cruciaal. Vermits real-Iife experimenten vaak te duur zijn en te veel tijd in beslag nemen, zijn virtuele ontwerpomgevingen, waarin een model \vordt berekend en de parameters worden geoptimaliseerd, van wezenlijk belang.
Onafhankelijk van het feit of het gaat om deterministische- of randomsimulaties, concentreren we ons op methodes voor rekenintensieve simulaties, waarmee simulaties bedoeld worden die, voor iedere uitvoering, veel computertijd vragen. Elke uitvoering zorgt ervoor dat het simulatiemodel van z''n beginstaat in een eindstaat terecht komt. De beginstaat is afhankelijk van de specifieke combinatie van al de inputs ( ook wel variabelen, parameters of factoren genoemd) van het simulatiemodel.
In de voorbije jaren zijn verscheidene technieken voor het ontwerp en de analyse van computergestuurde experimenten, onafhankelijk van elkaar, in verschillende diciplines ontwikkeld. In zijn basisvorm, bestaat elke techniek uit de volgende drie essentiele stappen :
I) In een eerste stap wordt het (mogelijk grootschalig) aantal variabelen die een impact hebben op het complexe systeem, gescreend en de parameterruimte wordt verkleind. Enkel de belangrijke variabelen blijven over.
II) Daarna wordt een globaal model geconstrueerd, dat indien mogelijk de volledige parameterruimte dekt. In dit project worden twee belangrijke methodes bestudeerd: Kriging en rationale metamodellering. Vermits modellen steeds aan striktere eisen moeten voldoen, worden beide technieken vergeleken en gecombineerd om zo tot de meest geschikte oplossing te komen.
III) Tot slot worden de optimale waarden voor de parameters van het model bepaald aan de hand van een optimalisatiemethode. | | Looptijd | 01/01/2006 - 31/12/2009 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Opsporen van singulariteiten in oppervlakken en vormen. 01/04/2005 - 31/03/2006
| Abstract | Zowel bij geometrisch ontwerp, computergestuurde productie als zogenaamde reverse engineering, spelen vloeiende lijnen in kurven, oppervlakken en vormen een centrale rol. Men wenst in de geometrische komponenten geen ongedefinieerde regio''s of onverantwoorde stijle pieken.
In de onthalende onderzoeksgroep is sinds een aantal jaar een techniek, die bekend is om singulariteiten in functies van één enkele veranderlijke op te sporen, veralgemeend naar functies van meerdere veranderlijken. De techniek is dus nu bruikbaar voor oppervlakken en vormen in de ruimte. Een aantal open problemen moet echter nog opgelost worden om de techniek in de praktijk bruikbaar te maken. | | Looptijd | 01/04/2005 - 31/03/2006 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Een efficiënte en gevalideerde implementatie van speciale functies. 01/04/2004 - 31/03/2006
| Abstract | In dit project willen we zorgen voor een performante en gevalideerde mulitprecisie implementatie van verschillende klassen speciale functies (hypergeometrische functies, errorfunctie, exponentiële integraal, ...). We zullen onze aandacht richten op kettingbreukbenaderingen. Keuze van de geschikte voorstelling, identificatie van het domein, verfijnen van de bovengrenzen voor de truncatiefout en verfijnen van bestaande technieken om de afrondingsfout in te schatten, zijn slechts enkele van de onderwerpen die we zullen behandelen. | | Looptijd | 01/04/2004 - 31/03/2006 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Adaptieve identificatie van compacte schaalbare rationale modellen voor complexe lineaire dynamische systemen. 01/01/2004 - 31/12/2007
| Abstract | Geen abstract gevonden | | Looptijd | 01/01/2004 - 31/12/2007 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Supercomputing cluster. 01/01/2004 - 31/12/2006
| Abstract | Geen abstract gevonden | | Looptijd | 01/01/2004 - 31/12/2006 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Statistische en numerieke technieken voor modelleren en optimiseren van computer- en communicatietechnieken. 01/10/2003 - 31/12/2004
| Abstract | Dit project analyseert de prestaties van geavanceerde technologische systemen zoals communicatie- netwerken (m.i.v. het Internet), computersystemen en gedistribueerde multiprocessorsystemen, met de bedoeling hun ontwerp en dimensies te optimaliseren. Deze analyse maakt gebruik van probabilistische modellen, waarvan de parameters bepaald dienen te worden door statistische schattingen op basis van metingen van het werkelijke dataverkeer. De berekening van de prestatie- functies en het ontwerp van optimale netwerken leiden allebei tot complexe computationele problemen, die zullen aangepakt worden via simulatie en met behulp van nieuwe numerieke technieken zoals multivariate rationale benaderingen. Uiteraard zijn er vele interacties tussen deze aspecten, die een intensieve samenwerking tussen de drie onderzoeksgroepen vereisen. | | Looptijd | 01/10/2003 - 31/12/2004 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Snelle en betrouwbare algoritmes in de meer dimensionale, rationale benaderingsleer voor de berekeningen voor multi-variabele Pade benaderingen, hun veralgemeningen en hun toepassingen. 01/10/2003 - 31/08/2010
| Abstract | Er wordt getracht een geheel van numeriek betrouwbare algoritmes te ontwikkelen voor het probleem van multivariabele Padé-benadering (normale en singuliere regels) en dat van multivariabele rationale Hermite interpolatie (datagrids en scattered data). | | Looptijd | 01/10/2003 - 31/08/2010 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Geavanceerde numerieke methoden voor wiskundige modellering. 01/10/2003 - 31/12/2010
| Abstract | Het uit veertien partners bestaande wetenschappelijke netwerk stelt volgende doelstelling voorop : het ontwikkelen van geavanceerde numerieke methoden met focus op tijdsintegratie van differentiaal vergelijkingen en numerieke lineaire algebra. Het bestuderen van de interactie van deze methode in toepassingen zoals vloeistof dynamica, beeldreconstructie enz. | | Looptijd | 01/10/2003 - 31/12/2010 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
(toelichting
bij de getoonde projecten)
|
|
Expertise
|
Toon de expertise van deze onderzoeksgroep
|
|
|
|
|
|
|
|
|