Computational Science - ICCS 2007: 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I (Lecture Notes in Computer Science, 4487)

Part of a four-volume set, this book constitutes the refereed proceedings of the 7th International Conference on Computational Science, ICCS 2007, held in Beijing, China in May 2007. The papers cover a large volume of topics in computational science and related areas, from multiscale physics to wireless networks, and from graph theory to tools for program development. Title page Preface Organization Table of Contents – Part I A Composite Finite Element-Finite Difference Model Applied to Turbulence Modelling Introduction Theory Solution Method Model Applications Conclusions References Vortex Identification in the Wall Region of Turbulent Channel Flow Introduction Vortex-Identification Techniques Complex Eigenvalues of the Velocity-Gradient Tensor (Method A) Second Invariant of the Velocity-Gradient Tensor (Method B) Imaginary Part of the Complex Eigenvalue Pair of the Velocity-Gradient Tensor (Method C) Analysis of the Hessian of the Pressure (Method D) Numerical Simulations Results Concluding Remarks References Numerical Solution of a Two-Class LWR Traffic Flow Model by High-Resolution Central-Upwind Scheme Introduction The Tow-Class Model Numerical Scheme Numerical Examples Conclusions User-Controllable GPGPU-Based Target-Driven Smoke Simulation Introduction Mathematical Background Implementation Details Concluding Remarks Variable Relaxation Solvefor Nonlinear Thermal Conduction Introduction First Order Relaxation and Numerical Schemes Second Order Relaxation and Numerical Schemes Variable Relaxations Numerical Issues Conclusions A Moving Boundary Wave Run-Up Model Introduction Theory Applications of the Model Conclusions References Enabling Very-Large Scale Earthquake Simulations onParallel Machines Introduction Challenges for Porting and Optimization Challenges for Initialization Challenges for Executions Challenges for Data Archive and Management Challenges for Analysis of Results Summary References Fast Insolation Computation in Large Territories Introduction The Sky The Ground The Horizon The Calculation of Shaded Zones Stewart Model and the Horizon Computation Our Horizon Algorithm Parallel Computing The Accumulated Sky Conclusions Non-equilibrium Thermodynamics, Thermomechanics,Geodynamics Introduction Feedback Loops Isothermal Thermomechanics Non-isothermal Thermomechanics Simplified Thermodynamic Approach for Geodynamics Model Results Summary and Outlook References A Finite Element Model for Epidermal WoundHealing Introduction The Mathematical Model Neo-vascularization Wound Contraction Numerical Method Preliminary Results Conclusions Predicting Binding Sites of Hepatitis C VirusComplexes Using Residue Binding Propensityand Sequence Entropy Introduction Materials Methods Sequence Entropy Binding Propensity Encoding Scheme Results and Discussion Conclusion Use of Parallel Simulated Annealing for ComputationalModeling of Human Head Conductivity Introduction Methods Forward and Inverse Problems Skull Inhomogeneities Computational Design Computational Results Conclusion Mining Molecular Structure Data for the Patterns ofInteractions Between Protein and RNA Introduction Identifying Hydrogen Bonds and van der Waals Contacts Datasets of Protein-RNA Complexes Hydrogen Bonds and van der Waals Contacts Binding Propensity Structure Elements of Protein and RNA Algorithms for Extracting Secondary and Tertiary Structures of RNA Algorithms for Analyzing Protein-RNA Complexes Results and Discussion Conclusion References Detecting Periodically Expression in Unevenly SpacedMicroarray Time Series Introduction Mathematical Theory and Algorithm Reconstruction Algorithm of Signal in Aliased Shift-Invariant Signal Spaces Lomb-Scargle(L-S) Periodogram Method Singular Spectrum Analysis (SSA) Method Fisher’s Test Experimental Results Design of Experiment Simulated Data Genes Data Conclusions References Creating Individual Based Models of thePlankton Ecosystem Introduction Creating Models Functional Groups and States The Water Column Variables and Constants Special-Purpose Functions Further Specification Species Scenario Agent Initialisation and Management Logging Options Compilation and Execution Applications and Example Results Conclusion A Hybrid Agent-Based Model of Chemotaxis Introduction Integrating Agents and Quantities Chemotaxis Conclusions References Block-Based Approach to Solving LinearSystems Introduction Public Domain Solvers Average Vector Length Indirect Memory Addressing Block-Based Linear Iterative Solver (BLIS) Available Functionality Future Work Performance Numerical Example BLIS Scaling on Vector Machine Performance Comparison on Scalar and Vector Machines Summary Numerical Tests with Gauss-Type NestedImplicit Runge-Kutta Formulas Introduction Adaptive Gauss-Type NIRK Methods Test Problems Numerical Experiments An Efficient Implementation of theThomas-Algorithm for Block Penta-diagonalSystems on Vector Computers Introduction Thomas Algorithm Vector Architecture Reordering the Computational Steps Implementation Details and Numerical Results Applying Gaussian Elimination to the Whole System Applying Gaussian Elimination and Backward Substitution to One Block Row Solution of a Sample BPD System Summary Compatibility of Scalapack with the DiscreteWavelet Transform Introduction Discrete Wavelet Transform Wavelets and Linear Systems Parallel DWT; Data Distributions Example of Application: Parallel Implementation of the Wavelet-Schur Preconditioner Numerical Results Conclusions A Model for Representing Topological RelationsBetween Simple Concave Regions Introduction Background RCC8 and RCC23 Intersection Models RCC62 16-Intersection Matrix Basic Relations of RCC62 Relationship Between RCC23 and RCC62 CNG and CTRG of RCC62 Conclusions Speech Emotion Recognition Based on a Fusionof All-Class and Pairwise-Class Feature Selection Introduction Emotion Corpus and Acoustic Features Experiment Design System Overview Feature Subset Selection Classifiers and Probability Estimates Fusion Strategy Performance Comparison Conclusions and Future Work Regularized Knowledge-Based Kernel Machine Introduction Prior Knowledge in Two-Class Classification Regularized Knowledge-Based Kernel Classification Machine Laminar/Turbulent Flow Pattern Data Set Computational Results Conclusion References Three-Phase Inverse Design Stefan Problem Introduction Three-Phase Problem Genetic Algorithm Numerical Example Conclusion Semi-supervised Clustering Using IncompletePrior Knowledge Introduction Algorithms Seeded-KMeans Tow Incomplete-Seeding KMeans Algorithms Experiments Conclusion Distributed Reasoning with Fuzzy Description Logics Introduction E-Connection Between Fuzzy Description Logics Fuzzy Links Between Two Knowledge Bases Combined Distributed Fuzzy Description Logic Knowledge Bases Semantical Discretization Discrete Tableau Algorithm Conclusion Effective Pattern Similarity Match for MultidimensionalSequence Data Sets Introduction Representation of a Sequence Pattern Match Using a Trend Vector Similarity Between Segments Similarity Between Sequences and Pattern Similarity Match Algorithm Experimental Evaluation Conclusions References GPU-Accelerated Montgomery Exponentiation Introduction Paper Organization Background General Purpose GPU Computations The Montgomery Method Proposed Algorithm Overview GPU Montgomery Product(GPU-MonPro) GPU Montgomery Exponentiation (GPU-MonExp) Algorithm Evaluation Performance Test Overview Test Results Conclusions Hierarchical-Matrix Preconditioners forParabolic Optimal Control Problems Introduction The Optimal Control Problem Discretization in Space Discretization in Time Hierarchical-Matrices Index Cluster Tree and Block Cluster Tree H-Matrix Arithmetic Algebraic Approaches for Hierarchical-Matrix Construction Algebraic Approaches to Construct an Index Cluster Tree Block Cluster Tree Construction for Algebraic Approaches Hierarchical-Matrix Preconditioners Experimental Results Searching and Updating Metric Space Databases Using the Parallel EGNAT Introduction The EGNAT Data Structure and Algorithms Efficient Parallelization of the EGNAT Conclusions An Efficient Algorithm and Its Parallelization for Computing PageRank Introduction PageRank Review Related Work Matrix-Vector Multiplication Treatment The Blocking Algorithm Dangling Nodes Treatment The Parallelization of the Algorithm Experimental Evaluation Experimental Setup Results for Handling Dangling Nodes Results for the Parallelization of the Algorithm Conclusions and Future Work A Query Index for Stream Data Using Interval Skip Lists Exploiting Locality Introduction Related Work QUISIS Interval Skip Lists Behavior of QUISIS Experiments Conclusion Accelerating XML Structural Matching Using Suffix Bitmaps Introduction Suffix Bitmap Global Order of Tag Names Suffix Bitmap Construction of the Suffix Bitmap Variable-Length Suffix Bitmap Structural Matching Filtering Traversal Filtering Cursor Stream Filtering Experiments Related Work Conclusions and Future Work References Improving XML Querying with Maximal Frequent Query Patterns Introduction Related Work Background Maximal Frequent Query Pattern Tree Query Rewriting Query Processing Maximal Frequent Query Patterns Discovery Querying Algorithm Cache Replacement Experimental Evaluation Dataset Cache Performance Conclusion References A Logic-Based Approach to Mining Inductive Databases Introduction Inductive Query Languages Relational Computation for Association Rules Calculus+Fixpoint Fixpoint Algorithm A Logic Query Language Performance and Optimisation Issues Conclusion An Efficient Quantum-Behaved Particle Swarm Optimization for Multiprocessor Scheduling Introduction Quantum-Behaved Particle Swarm Optimization The Standard PSO Quantum-Behaved PSO Multiprocessor Scheduling Based on QPSO Particle-Based Solution Representation Permutation-Based Representation QPSO for Multiprocessor Scheduling Experimental Results Summary Toward Optimizing Particle-Simulation Systems Introduction Background of Particle Simulation Systems Event Management Lazy Determination Strategy (LDS) Cell Structure LDS for Collision Events LDS for Boundary-Crossing Events Optimal Cell Number/Size Experimental Results Conclusions A Modified Quantum-Behaved Particle Swarm Optimization Introduction Quantum-Behaved Particle Swarm Optimization The Proposed Method Numerical Experiments Conclusions References Neural Networks for Predicting the Behavior of Preconditioned Iterative Solvers Introduction Background Methodology Construction of the Sample Space Neural Network Parameters User Scenarios Using Information from the Preconditioner Results General Observations Using Information from Only the System Using Information from the Preconditioner Discussion References On the Normal Boundary Intersection Method for Generation of Efficient Front Introduction NBI Algorithm: Original and a New Formulation Relationship Between mNBI Subproblem and Weighted Sum Method Relationship Between mNBI Subproblem and Goal Programming Conclusions An Improved Laplacian Smoothing Approach for Surface Meshes Introduction Outline of the Smoothing Procedure Classifying the Vertices Repositioning the Adjustable Vertices Computing Displacements by the ILSA Adjusting Displacements by a Quadratic Penalty Approach Projecting the New Position Back to the Original Mesh Experimental Results Conclusion and Future Work References Red-Black Half-Sweep Iterative Method Using Triangle Finite Element Approximation for 2D Poisson Equations Introduction Formulation of the Half-Sweep Finite Element Approximation Implementation of the HSGS-RB Numerical Experiments Conclusion Optimizing Surface Triangulation Via Near Isometry with Reference Meshes Introduction Mesh Optimization and Isometric Mappings Mesh Optimization for Curved Surfaces Experimental Results Optimization of 2-D Meshes Optimization of Dynamic Meshes Conclusion Efficient Adaptive Strategy for Solving Inverse Problems Introduction The Automatic hp Adaptive Finite Element Method The Relation Between the Objective Function Error and the Finite Element Method Error Algorithm Step-and-Flash Imprint Lithography Numerical Results The Molecular Static Model Conclusions and Future Work Topology Preserving Tetrahedral Decomposition of Trilinear Cell Introduction Trilinear Isosurface Topology Topology Preserving Tetrahedral Decomposition Trilinear Isosurface Triangulation Conclusion FITTING: A Portal to Fit Potential Energy Functionals to ab initio Points Introduction A Generalization of the LEPS Potential The Internet Portal Structure The N + O_2 Case Study Conclusions Impact of QoS on Replica Placementin Tree Networks Introduction Framework and Access Policies Complexity Results Heuristics for the Replica Placement Problem Experimental Plan Conclusion Generating Traffic Time Series Based on Generalized Cauchy Process Introduction Concept of GC Process Computational Model Case Study Conclusions References Reliable and Scalable State Management Using Migration of State Information in Web Services Introduction Related Works Proposed State Management Model Implementation Performance Evaluation Conclusions and Future Works References Efficient and Reliable Execution of Legacy Codes Exposed as Services Introduction State of the Art LB-FT Framework Architecture Fault Tolerance and Load Balancing Scenarios Performance Evaluation Conclusion Provenance Provisioning in Mobile Agent-Based Distributed Job Workflow Execution Introduction Partner Identification in the MCCF Provenance Recording and Collection Protocol Performance Evaluation Conclusion and Future Work EPLAS: An Epistemic Programming Language for All Scientists Introduction Requirements EPLAS An Interpreter Implementation of EPLAS Concluding Remarks Translation of Common Information Model to Web Ontology Language Introduction CIM to OWL Mapping Related Work Conclusions XML Based Semantic Data Grid Service Introduction Mediator-Wrapper Based Semantic Data Grid Service Communication Mechanism with Semantic Grid Basic Communication Atom Semantic Fusion Atom Semantic XML Query Rewriting Discussion and Conclusion Communication-Aware Scheduling Algorithm Based on Heterogeneous Computing Systems Introduction Preliminaries The Proposed Algorithm Experiment Results References Macro Adjustment Based Task Scheduling in Hierarchical Grid Market Introduction The Hierarchical Grid Market Macro Adjustment Based Grid Task Scheduling Simulation Experiments Conclusions References DGSS: A Dependability Guided Job Scheduling System for Grid Environment Introduction Related Work Dependability Guided Job Scheduling System - DGSS MC Based Node TTF Prediction Model Job Completion Time Prediction Model Dependable Scheduling Algorithm Performance Evaluation Conclusions References An Exact Algorithm for the Servers Allocation, Capacity and Flow Assignment Problem with Cost Criterion and Delay Constraint in Wide Area Networks Introduction Problem Formulation The Branch and Bound Algorithm Computational Results Conclusion References Adaptive Divisible Load Model for Scheduling Data-Intensive Grid Applications Introduction Scheduling Model Notations an Definitions Cost Model Adaptive Scheduling Model Computation Time Fraction Communication Time Fraction The Final Form Numerical Experiments Conclusion Providing Fault-Tolerance in Unreliable Grid Systems Through Adaptive Checkpointing and Replication Introduction Related Work The System Model Adaptive Checkpointing Strategies Last Failure Dependent Checkpointing (LFDC) Mean Failure Dependent Checkpointing (MFDC) Adaptive Checkpoint and Replication-Based Scheduling (ACRS) Simulation Results Conclusions and Future Work A Machine-Learning Based Load Prediction Approach for Distributed Service-Oriented Applications Introduction Load Prediction Method for Service-Oriented Applications Model of the Load Balancing Middleware Machine-Learning Based Load Prediction Conclusions References A Balanced Resource Allocation and Overload Control Infrastructure for the Service Grid Environment Introduction Architecture of the Load Balancing Middleware Balanced Resource Allocation and Overload Control Load Metrics On-Demand Creation and Destruction of the Replicas Performance Results Conclusions References Recognition and Optimization of Loop-Carried Stream Reusing of Scientific Computing Applications on the Stream Processor Introduction Loop-Carried Stream Reusing Recognizing Loop-Carried Stream Reusing Optimizing Loop-Carried Stream Reusing Experiment Conclusion and Future Work References A Scalable Parallel Software Volume Rendering Algorithm for Large-Scale Unstructured Data Introduction Related Work The Parallel Software Scanned Cell Projection Algorithm Data Distribution Parallel k-d Tree Creating an A-Buffer Task Management with Asynchronous Communication Image Composition Experimental Results Conclusions and Future work References Geometry-Driven Nonlinear Equation with an Accelerating Coupled Scheme for Image Enhancement Introduction Geometry-Driven Shock-Diffusion Equation Differentials of a Typical Ramp Edge and Edge Sharpening Local Differential Structure of Image The Geometry-Driven Shock-Diffusion Equation Numerical Implementation and Experimental Results A Shock Capturing Scheme The Coupled Iteration Experiments Conclusions References A Graph Clustering Algorithm Based on Minimum and Normalized Cut Introduction The MAN-C Algorithm Properties of MAN-C Algorithm Experimental Results Conclusions References A-PARM: Adaptive Division of Sub-cells in the PARM for Efficient Volume Ray Casting Introduction A-PARM (Adaptive-Precomputed scAlar and gRadient Map) PARM A-PARM Experimental Results Conclusion References Inaccuracies of Shape Averaging Method Using Dynamic Time Warping for Time Series Data Introduction Background Distance Measurement Dynamic Time Warping Distance Dynamic Time Warping Averaging Experiment Evaluation Does Reordering Make Any Differences? Correctness of DTW Averaging Between Two Time Series Can Cluster Center Drift Out of the Cluster? Failure in K-Means Clustering with DTW Discussion, Conclusion, and Future Works References An Algebraic Substructuring Method for High-Frequency Response Analysis of Micro-systems Introduction Algebraic Substructuring Frequency Response Analysis ASFRA Algorithm Numerical Experiment Conclusion Multilevel Task Partition Algorithm for Parallel Simulation of Power System Dynamics Introduction Multilevel Partition Algorithm Establish the Layered Model Weights for Graph Vertex and Edge Evaluation Function for Partition Refine Results Test Results Reference An Extended Implementation of the Great Deluge Algorithm for Course Timetabling Introduction The University Course Timetabling Problem The Extended Great Deluge Algorithm Experiments and Results Conclusions and Future Work References Cubage-Weight Balance Algorithm for the Scattered Goods Loading with Two Aims Introduction Model Description, Assumptions and Notation Method and Algorithm One Truck Loading M(M>1) Truck Loading Numerical Investigation and Discussion One Truck Loading M(M>1) Truck Loading Conclusion and Application References Modeling VaR in Crude Oil Market:A Multi Scale Nonlinear Ensemble Approach Incorporating Wavelet Analysis and ANN Introduction Background and Theories Wavelet Decomposed Nonlinear Ensemble Value at Risk (WDNEVaR) Empirical Studies Conclusions References On the Assessment of Petroleum Corporation’s Sustainability Based on Linguistic Fuzzy Method Introduction The Maximum Entropy Model with the Attitude of Decision OWA Operator The 2-Tuple Linguistic Term and Uncertainty Fuzzy Number The Aggregation Approach Numerical Example Conclusions References A Multiagent Model for Supporting Tourism Policy-Making by Market Simulations Introduction Tourist Destination Tourist Agent A Preliminary Test Conclusions and Future Work An Improved Chaos-Based Image Encryption Scheme Introduction The Statistical Properties of Logistic Map Key Stream Generator Construction and Its Performance Analysis Key Stream Generator Construction Balance Performance Analysis Correlativity Performance Analysis Security Performance Comparison Experimental Results Conclusion References A Factory Pattern in Fortran 95 Introduction An Object-Based Electrostatic Particle Simulation Extension to Electromagnetic Particles A Factory Pattern Discussion Mapping Pipeline Skeletons onto Heterogeneous Platforms Introduction Framework Complexity Results Heuristics Experiments Conclusion On the Optimal Object-Oriented Program Re-modularization Introduction The Optimal Re-modularization of a Program Performance Estimation of a Re-modularized Program Conclusions References A Buffered-Mode MPI Implementation for the Cell BETM Processor Introduction Cell Architecture MPI Design MPI Initialization Point-to-Point Communication Performance Evaluation Related Work Limitations and Future Work Conclusions References Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML Introduction Functional Bulk-Synchronous Parallel ML Implementation New Implementation of the Primitive of BSML Functions for the Implementation of the Superposition Example and Benchmarks Calculus of the Prefix Using the Parallel Superposition Benchmarks Related works Conclusion Parallelization of Generic Libraries Based on Type Properties Introduction Related Work Generic Programming Parallelizing Libraries Performance Evaluation Conclusions Traffic Routing Through Off-Line LSP Creation Introduction CEP for Load Balancing Purpose Heuristic Approach and Results References Simulating Trust Overlay in P2P Networks Introduction Related Work Trust Overlay Simulator Design Threat Model Simulation Experiments and Analysis Conclusions References Detecting Shrew HTTP Flood Attacks for Flash Crowds Introduction Related Work Detection Algorithms File Popularity Matrix HsMM PCA and ICA Detection Architecture Experiments Conclusions and Future Work References A New Fault-Tolerant Routing Algorithm for m-ary n-cube Multi-computers and Its Performance Analysis Introduction Routing Algorithm Performance Analysis of Routing Algorithm Conclusion CARP: Context-Aware Resource Provisioning for Multimedia over 4G Wireless Networks Introduction Related Works: Mobility in 4G Wireless Systems Symbolic Representation of 4G Wireless Systems Context-Awareness in Heterogenous Wireless Networks Probabilistic Estimation of User-Mobility Context-Aware Route Collection Advanced Resource Provisioning Simulation Results Conclusions Improved Fast Handovers for Mobile IPv6 over IEEE 802.16e Network Introduction Fast Handovers for MIPv6 over IEEE 802.16e The Proposed Scheme Performance Evaluation System Modeling Cost Analysis Numerical Results and Analysis Conclusions and Discussion Advanced Bounded Shortest Multicast Algorithm for Delay Constrained Minimum Cost Introduction Bounded Shortest Multicast Algorithm Difficulties in BSMA Undirected Graph Model for BSMA Meaning of `Unmark' the Superedge The Delay-Bounded Minimum-Cost Path ps and the Function to Get the ps Between T1j and T2j Inefficient Use of k-Shortest Path Algorithm Conclusion Efficient Deadlock Detection in Parallel Computer Systems with Wormhole Routing Introduction The Proposed Mechanism Performance Conclusions Type-Based Query Expansion for Sentence Retrieval Introduction Related Works Sentence Retrieval Model Involved with Query Type Information Association Based Classification Relevance Ranking of Sentence Experiments Conclusion References An Extended R-Tree Indexing Method Using Selective Prefetching in Main Memory Introduction Related Works Selective Prefetching Cache Conscious Index Methods SPR-Tree Structure Algorithms Performance Evaluation Conclusion References Single Data Copying for MPI Communication Optimization on Shared Memory System Introduction Motivation Design and Implementation Optimized Communication Protocol Busy-Waiting Polling Strategy Performance Evaluation Platform Configuration Performance Evaluation Results Conclusion Adaptive Sparse Grid Classification Using Grid Environments Introduction Grid-Based Development Adaptivity and Results Classification Examples Dimension Adaptivity Summary Latency-Optimized Parallelization of the FMM Near-Field Computations Introduction Constraints for the Parallelization Implementation Initial Data Distribution Design Steps Results Outlook Efficient Generation of Parallel Quasirandom Faure Sequences Via Scrambling Introduction Scrambling Parallelization and Implementations Applications Conclusions Complexity of Monte Carlo Algorithms for a Class of Integral Equations Introduction Formulation of the Problem A Class of Grid Monte Carlo Algorithms for Integral Equations Cubature Method Resolvent Monte Carlo Method for SLAE Estimate of the Computational Complexity A Grid Monte Carlo Algorithm A Grid-Free Monte Carlo Algorithm Concluding Discussion Modeling of Carrier Transport in Nanowires Introduction Physical Model The Monte Carlo Method Grid Implementation and Numerical Results Conclusion Monte Carlo Numerical Treatment of Large Linear Algebra Problems Introduction Markov Chain Monte Carlo Numerical Experiments Conclusion Simulation of Multiphysics Multiscale Systems: Introduction to the ICCS’2007 Workshop Introduction Overview of Work Presented in This Workshop Conclusions References Simulating Weed Propagation Via Hierarchical, Patch-Based Cellular Automata Introduction and Context Background Method Results and Discussion A Multiscale, Cell-Based Framework for Modeling Cancer Development Introduction Model Parallelization Result Discussion and Outlook Stochastic Modelling and Simulation of Coupled Autoregulated Oscillators in a Multicellular Environment: The her1/her7 Genes Introduction Methods Results and Discussion Conclusions Multiscale Modeling of Biopolymer Translocation Through a Nanopore Introduction Numerical Set-Up Translocation Dynamics Effects of Parameter Values Mapping to Real Biopolymers Conclusions Multi-physics and Multi-scale Modelling in Cardiovascular Physiology: Advanced User Methods for Simulation of Biological Systems with ANSYS/CFX Introduction ANSYS/CFX Special Features: Crossing the Flow Interface Towards Biological Modelling Case Study: Coupling a Model of the Left Ventricle to an Idealized Heart Valve A Multi-scale Model of the Left Ventricle Computational Model of the Mitral Valve and Coupling with the LV Model Towards Other Biological Applications Conclusions and Perspectives References Lattice Boltzmann Simulation of Mixed Convection in a Driven Cavity Packed with Porous Medium Introduction Numerical Method: The Lattice Boltzmann Method Numerical Results and Discussion Effect of the Reynolds Number (Re) Effect of the Richardson Number (Ri) Effect of the Darcy Number (Da) Conclusion Numerical Study of Cross Diffusion Effects on Double Diffusive Convection with Lattice Boltzmann Method Introduction The Lattice Boltzmann Method for the Formulation of the Problem Numerical Results and Discussion Summary Lattice Boltzmann Simulation of Some Nonlinear Complex Equations Introduction Lattice Boltzmann Model LB Model for CDE Version of LB Model for Complex CDE Simulation Results Conclusion A General Long-Time Molecular Dynamics Scheme in Atomistic Systems: Hyperdynamics in Entropy Dominated Systems Introduction Theory A New Constitutive Model for the Analysis of Semi-flexible Polymers with Internal Viscosity Introduction The Governing Equations Results and Examples The Material Coefficients in Steady Shear Flows The Extensional Viscosity in Steady Extensional Flows Conclusions Coupled Navier-Stokes/DSMC Method for Transient and Steady-State Gas Flows Introduction The Coupling Method The CFD Solver The Molecular Algorithm: DSMC Schwarz Coupling Results 1-D Shock-Tube Problem 2-D Expanding Jet in a Low Pressure Chamber Conclusions Multi-scale Simulations of Gas Flows with Unified Flow Solver Introduction Examples of Multi-scale Simulations with UFS High Speed Flows Low Speed Flows Future Directions Instabilities Multi-scale Simulation of Turbulent Flows Multiscale Flow Structures in Open Systems Conclusion References Coupling Atomistic and Continuum Models for Multi-scale Simulations of Gas Flows Introduction Unified Flow Solver UFS Solution Procedure Molecular Gases and Gas Mixtures Multi-scale Models for Computational Material Science Bridging Disparate Length and Time Scales Multi-scale Computational Framework Conclusion References Modelling Macroscopic Phenomena with Cellular Automata and Parallel Genetic Algorithms: An Application to Lava Flows Introduction Model Specification Model Calibration A Case of Study Conclusions Acceleration of Preconditioned Krylov Solvers for Bubbly Flow Problems Introduction DICCG Method Application of DICCG to Bubbly Flow Problems Numerical Experiments Test Case 1: Stationary Problem Test Case 2: Time-Dependent Problem Conclusions An Efficient Characteristic Method for the Magnetic Induction Equation with Various Resistivity Scales Introduction A Characteristic Finite Element Method for the Magnetic Field Induction Equation Numerical Experiments on the Resistivity Scales Concluding Remarks Multiscale Discontinuous Galerkin Methods for Modeling Flow and Transport in Porous Media Introduction Discontinuous Galerkin Schemes Governing Equations DG Schemes Multiscale Formulation for Discontinuous Galerkin Numerical Results Conclusions Fourier Spectral Solver for the Incompressible Navier-Stokes Equations with Volume-Penalization Introduction Fourier Collocation Scheme Results Conclusion and Discussion High Quality Surface Mesh Generation for Multi-physics Bio-medical Simulations Introduction Related Work Method Conclusions Macro-micro Interlocked Simulation for Multiscale Phenomena Introduction Applications Cloud Simulation Detonation Simulation Plasma Simulation Summary Towards a Complex Automata Framework for Multi-scale Modeling: Formalism and the Scale Separation Map Introduction Complex Automata Modeling Definition Execution Model Genericity of CA's Coupling Mechanisms The Scale Separation Map Examples Grid Refinement Time Splitting in Reaction-Diffusion In-stent Restenosis Discussion and Conclusions Multilingual Interfaces for Parallel Coupling in Multiphysics and Multiscale Systems Introduction The Model Coupling Toolkit Construction o Annotation The four-volume set LNCS 4487-4490 constitutes the refereed proceedings of the 7th International Conference on Computational Science, ICCS 2007, held in Beijing, China in May 2007. More than 2400 submissions were made to the main conference and its 35 topical workshops. The 80 revised full papers and 11 revised short papers of the main track were carefully reviewed and selected from 360 submissions and are presented together with 624 accepted workshop papers in four volumes. According to the ICCS 2007 theme "Advancing Science and Society through Computation" the papers cover a large volume of topics in computational science and related areas, from multiscale physics, to wireless networks, and from graph theory to tools for program development. The papers are arranged in topical sections on efficient data management, parallel monte carlo algorithms, simulation of multiphysics multiscale systems, dynamic data driven application systems, computer graphics and geometric modeling, computer algebra systems, computational chemistry, computational approaches and techniques in bioinformatics, computational finance and business intelligence, geocomputation, high-level parallel programming, networks theory and applications, collective intelligence for semantic and knowledge grid, collaborative and cooperative environments, tools for program development and analysis in CS, intelligent agents in computing systems, CS in software engineering, computational linguistics in HCI, internet computing in science and engineering, workflow systems in e-science, graph theoretic algorithms and applications in cs, teaching CS, high performance data mining, mining text, semi-structured, Web, or multimedia data, computational methods in energy economics, risk analysis, advances in computational geomechanics and geophysics, meta-synthesis and complex systems, scientific computing in electronics engineering, wireless and mobile systems, high performance networked media and services, evolution toward next generation internet, real time systems and adaptive applications, evolutionary algorithms and evolvable systems