Dipl.-Math. Robert Strzodka :

Hardware Efficient PDE Solvers in Quantized Image Processing

Dissertation angenommen durch: Universität Duisburg-Essen, Campus Duisburg, Fachbereich Mathematik, 2004-12-20

BetreuerIn: Prof. Dr. Martin Rumpf , Universität Duisburg-Essen, Campus Duisburg, Fachbereich Mathematik

GutachterIn: Prof. Dr. Martin Rumpf , Universität Duisburg-Essen, Campus Duisburg, Fachbereich Mathematik
GutachterIn: Prof. Dr. Thomas Ertl , Universität Stuttgart, Institutsverbund Informatik, Institut für Visualisierung und Interaktive Systeme

Schlüsselwörter in Englisch: quantization, qualitative error control, quantized scale-space, memory gap, performance, data-stream-based processing, graphics hardware, reconfigurable logic, reconfigurable computing

 
   
 Klassifikation     
    MSC Primary: 65Y10
MSC Secondary: 68U10
Sachgruppe der DNB: 510 Mathematik
ACM Computing Classification System: G.4 Mathematical Software: Efficiency, Reliability and robustness, Parallel and vector implementations; I.4.3 [Image Processing and Computer Vision]: Enhancement---Smoothing, Registration; I.4.6 [Image Processing and Computer Vision]: Segmentation---Region growing and partitioning; G.1.8 [Numerical Analysis]: Partial Differential Equations---Finite element methods, Finite difference methods, Parabolic equations, Hyperbolic equations, Multigrid and multilevel methods; B.3.1 [Memory Structures] Semiconductor Memories---Dynamic memory (DRAM); I.3.1 [Computer Graphics]: Hardware Architecture---Graphics processors; B.7.1 [Integrated Circuits]: Types and Design Styles---Gate arrays; C.1.3 [Processor Architectures]: Other Architecture Styles---Adaptable architectures; C.4 Performance of Systems: Performance attributes; J.3 Life and Medical Sciences: Health
 
   
 Abstrakt     
   

Abstrakt in Englisch

Performance and accuracy of scientific computations are competing aspects. A close interplay between the design of computational schemes and their implementation can improve both aspects by making better use of the available resources. The thesis describes the design of robust schemes under strong quantization and their hardware efficient implementation on data-stream-based architectures for PDE based image processing. The strong quantization improves execution time, but renders traditional error estimates useless. The precision of the number formats is too small to control the quantitative error in iterative schemes. Instead, quantized schemes which preserve the qualitative behavior of the continuous models are constructed. In particular for the solution of the quantized anisotropic diffusion model one can derive a quantized scale-space with almost identical properties to the continuous one. Thus the image evolution is accurately reconstructed despite the inability to control the error in the long run, which is difficult even for high precision computations. All memory intensive algorithms are, nowadays, burdened with the memory gap problem which degrades performance enormously. The instruction-stream-based computing paradigm reenforces this problem, whereas architectures subscribing to data-stream-based computing offer more possibilities to bridge the gap between memory and logic performance. Also more parallelism is available in these devices. Three architectures of this type are covered: graphics hardware, reconfigurable logic and reconfigurable computing devices. They allow to exploit the parallelism inherent in image processing applications and apply a memory efficient usage. Their pros and cons and future development are discussed. The combination of robust quantized schemes and hardware efficient implementations deliver an accurate reproduction of the continuous evolution and significant performance gains over standard software solutions. The applied devices are available on affordable AGP/PCI boards, offering true alternatives even to small multi-processor systems.