Large-Scale Scientific Computing: Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised Papers (Lecture Notes in Computer Science, 2179)

✍ Scribed by Svetozar D. Margenov (editor), Jerzy Wasniewski (editor), Plamen Yalamov (editor)

• Publisher: Springer
• Year: 2001
• Tongue: English
• Leaves: 489
• Category: Library

✦ Synopsis

This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Large-Scale Scientific Computing, LSSC 2001, held in Sozopol, Bulgaria, in June 2001.
The 7 invited full papers and 45 selected revised papers were carefully reviewed for inclusion in the book. The papers are organized in topical sections on robust preconditioning algorithms, Monte-Carlo methods, advanced programming environments for scientific computing, large-scale computations in air pollution modeling, large-scale computations in mechanical engineering, and numerical methods for incompressible flow.

✦ Table of Contents

Large-Scale Scientific Computing
Preface
Table of Contents
Optimizing Two-Level Preconditionings for the Conjugate Gradient Method
1 Introduction
2 Two Iteration Bounds for the Preconditioned CG Method
3 Two-Stage Preconditionings
3.1 Estimating the K-Condition Number for the Exact, Full and Partial 2 by 2 Block Jacobi Preconditioning
3.2 Estimating the Spectral Condition Number for Approximate 2 by 2 Block Jacobi Preconditioning
3.3 Deriving the n_2-Rank Modification K-Optimum Preconditioning
4 Approximate Schur Complement Type Preconditionings
4.1 Improving K-Conditioning by the Approximate Schur Complement
4.2 Improving Spectral Conditioning by the Approximate Schur Complement
4.3 The Choice of 2 by 2 Splitting of the Coefficient Matrix
Acknowledgement
References
On the Parallelization of the Sparse Grid Approach for Data Mining
1 Introduction
2 The Problem
2.1 Discretization
2.2 Grid Based Discrete Approximation
2.3 The Sparse Grid Combination Technique
2.4 Parallelization
3 Numerical Results
4 Conclusions
Acknowledgements
References
Java Communications for Large-Scale Parallel Computing
1 Introduction
2 Java Grande
3 Message Passing in Java
3.1 The MPJ API Specification
3.2 Evaluation Results
3.3 Related and Future Work
4 Faster Remote Method Invocation
4.1 Fast UKA Serialization
4.2 High-speed RMI – KaRMI
5 Conclusion
References
Continuous Path Brownian Trajectories for Diffusion Monte Carlo via First- and Last-Passage Distributions
1 Introduction
2 The Angle-Averaging Method
3 The Simulation-Tabulation (ST) Method
4 Last Passage Methods for Diffusion Monte Carlo
5 Conclusions and Suggestions for Further Study
References
Multilevel Monte Carlo Methods
1 Introduction
2 A Simple Example
2.1 Standard, One-Level Approach
2.2 Multilevel-Splitting
2.3 Multilevel Approach
3 A General Result
4 Error Estimates via Probability in Banac Spaces
5 Integral Equations
References
Iterative Aggregation/Disaggregation Methods for Computing Some Characteristics of Markov Chains
1 Introduction and Formulation of the Problem
2 Definitions and Notation
3 Stationary Probability Vectors of Stochastic Matrices
4 Aggregation/Disaggregation Algorithms
5 Algorithms SPV and RHS
6 Convergence Results
7 The Matrix of the Mean First Passage Times
8 Numerical Experiments
8.1 Description of the Experimental Matrices
8.2 Description of the Computational Procedures
8.3 Tables
9 Concluding Remarks
References
Time-Integration Algorithms for the Computer Treatment of the Horizontal Advection in Air Pollution Models
1 Statement of the Problem
2 Semi-discretization of Equation (1)
3 Time-Integration of the Semi-discretized System
3.1 Predictor-Corrector Schemes with Several Correctors
3.2 Absolute Stability Properties
3.3 Restrictions on the Time-Stepsize
3.4 Implementation of the PC Schemes in the Advection Module of DEM
4 Concluding Remarks and Plans for Future Reaserch
Acknowledgments
References
MIC(0) Preconditioning of Rotated Trilinear FEM Elliptic Systems
1 Introduction
2 MIC(0) Preconditioning
3 Local Analysis
4 Numerical Tests
References
Sobolev Space Preconditioning for Mixed Nonlinear Elliptic Boundary Value Problems
1 Introduction
2 Formulation of the Problem
3 Iteration in Sobolev Space
3.1 Iteration for the Weak Formulation
3.2 Connection with the Strong Form
4 Preconditioning for the Discretized Problem
References
On a Schur Complement Approach for Solving Two-Level Finite Element Systems
1 Introduction
2 Experience in Preconditioning Linear Elasticity Problems
2.1 Problem-Based Preconditioning
2.2 Matrix-Based Preconditioning
2.3 Two-Level Preconditioning
3 Using the Exact Inverse of the Schur Complement S_c^{-1}
4 Numerical Results
5 Concluding Remarks
References
On-Line State Estimation of Maneuvering Objects by Sequential Monte Carlo Algorithm
1 Introduction
2 Problem Definition
3 Bootstrap Filtering Algorithm
4 Monte Carlo Simulation
5 Conclusion
References
On the Dyadic Diaphony of the Sobol' Sequences
1 Introduction
2 Results
3 Proofs of the Theorems
References
An Improved Monte Carlo Algorithm for Elastic Electron Backscattering from Surfaces
1 Introduction
2 Overview of the Problem
3 Description of the Improved Monte Carlo Algorithm
4 Numerical Experiments and Conclusions
References
Statistical Algorithms for Simulation of Electron Quantum Kinetics in Semiconductors - Part I
1 Introduction
2 Monte Carlo Algorithms
3 Numerical Results
References
A Quasi-Monte Carlo Method for Integration with Improved Convergence
1 Introduction
2 The Method
3 Implementation Using Quasirandom Sequences
3.1 Importance Separation Using QRNs
4 Numerical Results
References
Solving Systems of Linear Algebraic Equations Using Quasirandom Numbers
1 Introduction
2 Background
2.1 Monte Carlo Method for SLAE
2.2 Quasirandom Numbers and Integration
3 Quasi-Monte Carlo Method for SLAE
4 Computational Results
5 Conclusion
References
Monte Carlo Analysis of the Small-Signal Response of Charge Carriers
1 Introduction
2 Basic Equations
3 The Monte Carlo Algorithm
4 Results and Discussion
5 Monte Carlo Algorithms for Zero Field
6 Conclusion
Acknowledgment
References
Statistical Algorithms for Simulation of Electron Quantum Kinetics in Semiconductors - Part II
1 Integral Form of the Barker-Ferry Equation
2 The RIMC Algorithm
3 Results and Discussions
Acknowledgment
References
IC2D: Interactive Control and Debugging of Distribution
1 Introduction
2 Distributed and Mobile Active Objects with ProActive
2.1 Base Model
2.2 Mapping Active Objects
3 Visualisation and Control within the IC2D Environment
3.1 Visualisation
3.2 Monitoring
3.3 Design
4 Related Work
4.1 Monitoring
4.2 Steering
4.3 Grid-Enabled Programming Environments
5 Conclusion
References
JaMake: A Java Compiler Environment
1 Introduction
2 Compiler Techniques Used by JaMake
3 JaMake Structure and Implementation
4 Experimental Results
5 Conclusions and Future Work
References
Program Development Environment for OpenMP Programs on ccNUMA Architectures
1 Introduction
2 OpenMP
3 ccNUMA Architectures
3.1 TreadMarks:Software Distributed Shared Memory System
3.2 OpenMP Language Extensions for ccNUMA Platforms
4 An Experimen with OpenMP Programming Styles
4.1 LBE
4.2 OpenMP in SPMD Programming Style
5 The Cougar Compiler
5.1 Translation to SMPD Style
6 Related Work
7 Conclusions and Future Work
Acknowledgements
References
Global Computing Systems
1 Introduction
2 Architectures
3 Performance
3.1 Scheduling
3.2 Performance Models
4 Fault Tolerance
4.1 Volatile Workers
4.2 Checkpointing
5 Security
6 XtremWeb
6.1 Architecture
6.2 Service/Broker Protocol
7 Conclusion
References
Java for Large-Scale Scientific Computations?
1 Introduction
2 Optimization Techniques for Java
2.1 Removing Array Bound Checking
2.2 Optimized Multidimensional Arrays
2.3 Floating-Point Optimizations
2.4 64 Bit Java Virtual Machines
2.5 Multithreading
2.6 Garbage Collection
2.7 Efficient Run-Time Type Checking
3 Conclusion
References
Java for Scientific Computation: Prospects and Problems
1 Introduction
2 Array Support
2.1 Multi-Dimensional Arrays as Basic Data Structure
2.2 Multi-Dimensional Arrays as Libraries
3 Specialized Array Representations
4 Complex Numbers
5 Parallel Processing
6 Conclusions
References
Object-Oriented Framework for Large Scale Air Pollution Modeling
1 Introduction
2 The Object-Oriented Danish Eulerian Model
2.1 Design of OODEM
2.2 Features
3 Use of Mathematica
4 Documentation
4.1 Conceptual Documentation
4.2 Class Documentation
4.3 Documented Examples
5 Concluding Remarks
References
Evaluation and Reliability of Meso-scale Air Pollution Simulations
1 Introduction
2 Concept of Evaluation
3 Experiences
4 Representativeness and Reliability
5 Conclusions
Acknowledgements
References
The Mathemathical Background of Operator Splitting and the Effect of Non-commutativity
1 Mathematical Foundation of the Splitting Procedure
2 Operator Splitting in the Danish Eulerian Model
3 Error Analysis of the DEM-Splitting
4 The Connection between the Splitting Error and the Norm of the Commutator
5 Concluding Remarks
Acknowledgement
References
Fine-Grid Resolution in Danish Eulerian Model and an Implementation on SGI Origin 2000 Computer
1 Introduction
2 Short about Danish Eulerian Model in Two and Three Dimensions
3 Numerical Results on SGI Origin 2000 Computer
4 Conclusions
Acknowledgments
References
Modelling Framework for Atmospheric Mercury over the Mediterranean Region: Model Development and Applications
1 Introduction
2 Description of Mercury Modeling System
3 Discussion and Results
4 Conclusions
Acknowledgements
References
Iterative Load Balancing Schemes for Air Pollution Models
1 Introduction
1.1 The Air Pollution Models
1.2 The Load Balancing Problem
2 The Extrapolated Diffusion Method
3 The Local Extrapolated Diffusion Method
3.1 Fourier Analysis
3.2 The Local DF Relaxation Operator
4 Acceleration of Convergence
5 Numerical Experiments
6 Conclusions
References
Computational Aspects of Air Quality Modelling in Urban Regions Using an Optimal Resolution Approach (AURORA)
1 Introduction
2 Emission Modelling
3 Advection-Diffusion
4 Chemistry Module
5 The Street Box Model (Street Module)
6 Results and Discussion
7 Conclusions
References
Parallel Implementation of a Large-Scale 3-D Air Pollution Model
1 Need of Parallel Computations in Large-Scale Air Pollution Modeling
2 Mathematical Description of the Model
3 Runs on Shared Memory Computers
4 Runs on Distributed Memory Computers
5 Plans for Future Work
Acknowledgments
References
Long-Term Estimates of Sulfur Deposition in the Region of Southeastern Europe
1 Introduction
2 Short Description of EMAP Model
3 Sulfur Parameterization and Model Parameters
4 Model Domain and Input Fields
4.1 Source Input
4.2 Meteorology Input
5 Calculation Results
5.1 Comparison with Measurements
5.2 Sulfur Pollution Created by Bulgarian Sources
5.3 Sulfur Pollution Created by Greek Sources
6 Conclusion
Acknowledgment
References
Computationally Efficient Atmospheric Chemical Kinetic Modeling by Means of High Dimensional Model Representation (HDMR)
1 Introduction
2 The High Dimensional Model Representation (HDMR) Method
3 Application to Alkane/NO_x /O_3 Photochemistry
4 Results and Discussion
4.1 Testing for Computational Effciency
5 Conclusions
References
Computer Simulation of the Air Flow and the Distribution of Combustion Generated Pollutants around Buildings
1 I troduction
2 The Cases Studied
3 The Numerical Method
4 Boundary Conditions and the Numerical Grid
5 Results and Discussion
Conclusions
References
On Multigrid Methods for the Compressible Navier-Stokes Equations
1 Introduction
2 Governing Equations and Single-Grid Solution Method
3 Multigrid Algorithm
4 Adaptive-Smoothing Algorithm
5 Results
6 Concluding Remarks
Acknowledgments
References
Structural Optimization of Biomorphic Microcellular Ceramics by Homogenization Approach
1 Introduction
2 The Structural Optimization Problem
3 The Homogenization Technique
Acknowledgments
References
Multigrid - Adaptive Local Refinement Solver for Incompressible Flows
1 Introduction
2 A SIMPLE Based MG–LR Algorithm
3 Numerical Experiments
4 Conclusion
Acknowledgments
References
Handling Systems from Non-linear Theory of Elasticity
1 Introduction
2 Constitutive Equations of Visco-elastic Material
2.1 Basics
2.2 Time-Dependent Deformations
2.3 Inner Damping
2.4 Linearization of the Constitutive Equations
3 Numerical Handling and Time Integration
4 Comparative Numerical Results
5 Supplementary Results and Conclusion
References
Numerical Modelling of the Flow in Magnetic Liquid Seals
1 Introduction
2 Mathematical Modelling of the Flow in Magnetic Liquid Seals
3 Weak Formulation
4 Finite Element Discretization
5 A Priori Error Estimation
References
Dynamic Mesh Schemes for Fluid-Structure Interaction
1 Introduction
2 Governing Equations and Discretisation
3 Dynamic Meshes
3.1 Clicking Mesh
3.2 Deforming Mesh
3.3 Sliding Mesh
4 Comparison of the Different Schemes
4.1 Test Problem
4.2 Accuracy
4.3 Effciency
5 Technical Example – Flow Meter
6 Conclusion
References
Boundary Integral Method for 3D Simulation of Foam Dynamics
1 Introduction
2 Mathematical Model
3 Numerical Method
3.1 Boundary Integral Formulation
3.2 Interface Discretization and Curvature Calculation
3.3 Interface-to-Interface Distance Calculation
3.4 Calculation of the Boundary Integrals
3.5 Dynamic Mesh Regularization
4 Results
5 Conclusions
References
A Lagrange Multipliers/Fictitious Domain Approach for Particulate Flow
1 Introduction
2 Mathematical Formulation of the Problem
2.1 Governing Equations
3 Numerical Scheme
3.1 Finite Element Discretization
3.2 Time Discretization
4 Results
5 Conclusions
Acknowledgments
References
Primal vs. Dual Variable Approach for Mixed-Hybrid Finite Element Approximation of the Potential Fluid Flow Problem in Porous Media
1 Introduction
2 Iterative Solution of Schur Complement Systems
3 Iterative Solution of Systems Projected onto a Null Space
4 Numerical Experiments
5 Conclusions
References
Wave Evolution of Heated Falling Films. Numerical Analysis Using Finite-Difference Method
1 Introduction
2 Formulation
3 Numerical Procedure
4 Results
5 Conclusions
Acknowledgments
References
Picard-Uzawa Schemes: Errors, Convergence and Stopping Criterion
1 Introduction
2 Description of the Method
3 Error Recurrence
4 Convergence of the Method
5 Stopping Criterion
Acknowledgement
References
Finite Element Method for Plates with Dynamic Loads
1 Introduction
2 Formulation of the Problem
3 Variational Formulation
4 Finite Element Formulation
5 Numerical Results
Conclusions
References
MPI Parallel Implementation of a Fast Separable Solver
1 Introduction
2 Fast Algorithm for Separation of Variables
3 Parallel Implementation
4 Numerical Experiments
5 Concluding Remarks
References
A Comparison of Subspace Methods for Sylvester Equations
1 Different Types of Sylvester Equations
1.1 Kronecker Product Formulation
2 Two Model Problems
2.1 Type (A): Convection-Diffusion Equation
2.2 Type (B): Invariant Subspace Problem
3 Iterative Methods for the Sylvester Equation
3.1 Preconditioning by Direct Methods
3.2 Residual Correction in a Krylov Subspace
3.3 Implementation of the Galerkin Methods
4 Numerical Experiments
Acknowledgments
Appendix
References
Studying the Performance Nonlinear Systems Solvers Applied to the Random Vibration Test
1 Introduction
2 Solver Selection and Descriptions
2.1 Preliminary Work
2.2 Test Problem I
2.3 Solvers
3 Experimental Results
3.1 Test Problem I
3.2 Test Problem II
4 Concluding Remarks
References
Parameter Identification in a Two-Dimensional Parabolic Equation Using an ADI Based Solver
1 Introduction
2 Gradient Computation of Cost Functional J_{LS}
3 Convergent Approximation of H^m(Omega)
4 Numerical Approach and Results
References
Numerical Simulation of a Model for Transport and Reaction of Radionuclides
1 I troduction
2 Mathematical Model
3 Reduction
4 Problem-Situation
5 Analytical Solutions
6 Operator Splitting
7 Numerical Methods
8 Numerical Results
9 Conclusions
References
Author Index