Computational Science - ICCS 2021 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part VI

The six-volume set LNCS 12742, 12743, 12744, 12745, 12746, and 12747 constitutes the proceedings of the 21st International Conference on Computational Science, ICCS 2021, held in Krakow, Poland, in June 2021.*The total of 260 full papers and 57 short papers presented in this book set were carefully...

Full description

Saved in:
Bibliographic Details
Main Authors Paszynski, Maciej, Kranzlmüller, Dieter, Krzhizhanovskaya, Valeria V, Dongarra, Jack J, Sloot, Peter M. A
Format eBook Conference Proceeding
LanguageEnglish
Published Cham Springer International Publishing AG 2021
Springer International Publishing
Edition1
SeriesLecture Notes in Computer Science
Subjects
Artificial Intelligence
Computer Science
Computer science-Congresses
Computer Systems Organization and Communication Networks
Information Systems and Communication Service
Mathematics of Computing
Theory of Computation
Online AccessGet full text
ISBN9783030779795
3030779793
ISSN0302-9743
1611-3349
DOI10.1007/978-3-030-77980-1

Cover

Table of Contents:
  • 2 Numerical Approach - Incompressible Lattice-Boltzmann Method -- 2.1 LBM for Computational Fluid Dynamics -- 2.2 LBM for Mass Transfer -- 3 Porous Media - Simulation Domain -- 4 Results and Discussion -- 4.1 Packed-Bed of Spheres -- 4.2 Realistic Adsorber Geometry -- 5 Conclusion and Outlook -- References -- A Study on a Marine Reservoir and a Fluvial Reservoir History Matching Based on Ensemble Kalman Filter -- 1 Introduction -- 2 Theoretical Formulations -- 2.1 Kalman Filter -- 2.2 Ensemble Kalman Filter -- 3 Numerical Experiments Setup -- 3.1 Build Prior Models for the Reservoirs -- 3.2 Build Prior Dynamic Data -- 4 Numerical Experiments Results -- 4.1 Result of EnKF History Matching for the Marine Reservoir -- 4.2 Result of EnKF History Matching for the Fluvial Reservoir -- 5 Conclusions and Recommendations -- References -- Numerical Simulation of Free Surface Affected by Submarine with a Rotating Screw Moving Underwater -- 1 Introduction -- 2 Numerical Approach -- 2.1 Governing Equations -- 2.2 Numerical Scheme -- 3 Application to Submarine with Rotating Screw -- 3.1 Sliding Mesh Approach -- 3.2 Verification of Sliding Mesh Approach -- 3.3 Submarine Model -- 3.4 Computation for Translator Movement -- 3.5 Computation for Translator Movement with Rising Motion -- 4 Conclusions -- References -- Modeling and Simulation of Atmospheric Water Generation Unit Using Anhydrous Salts -- 1 Introduction -- 2 Mathematical Modeling -- 3 Model Validation -- 4 Results -- 4.1 Sensitivity of the Porosity () -- 4.2 Sensitivity of the Thickness (xra) -- 4.3 Sensitivity of the Uniformity of the Stratified Structure (d) -- 5 Conclusion -- References -- Smart Systems: Bringing Together Computer Vision, Sensor Networks and Machine Learning -- Improving UWB Indoor Localization Accuracy Using Sparse Fingerprinting and Transfer Learning -- 1 Introduction
  • 2 Distance-Based Classifier -- 3 Reduction to a Two-Qubit Version -- 4 Results -- 5 Conclusions -- References -- Performance Analysis of Support Vector Machine Implementations on the D-Wave Quantum Annealer -- 1 Introduction -- 2 Annealing Based Quantum Computing -- 3 Problem Description -- 4 Implementation -- 4.1 Data -- 4.2 QUBO Formulation -- 4.3 Solvers -- 5 Results -- 6 Conclusion -- References -- Adiabatic Quantum Feature Selection for Sparse Linear Regression -- 1 Introduction -- 2 Background -- 2.1 Optimization Problems -- 2.2 Three Formulations of Optimization -- 2.3 Adiabatic Quantum Computation -- 2.4 Ising Model Implementation -- 2.5 Linear Regression -- 3 Proposed Methodology -- 3.1 QUBO Formulation -- 3.2 Approximation of (XTX)-1 -- 4 Experimental Results -- 5 Future Directions -- References -- EntDetector: Entanglement Detecting Toolbox for Bipartite Quantum States -- 1 Introduction -- 2 Mathematical Framework -- 2.1 Spectral and Schmidt Decomposition -- 2.2 Some Remarks on the Majorization Theory -- 3 Implementation and Example in Python Environment -- 3.1 Implementation Assumptions -- 3.2 Simple Examples -- 3.3 Spectral and Schmidt Decomposition -- 3.4 Decomposition of Two-Qubit Isotropic State -- 4 Conclusions -- References -- On Decision Support for Quantum Application Developers: Categorization, Comparison, and Analysis of Existing Technologies -- 1 Introduction -- 2 Fundamentals and Related Work -- 3 Problem Statement -- 4 Overview and Categorization of Existing Technologies for Quantum Application Development -- 5 Quantum Application Development Taxonomy -- 5.1 Quantum Cloud Services -- 5.2 Quantum Execution Resources -- 5.3 Compilation and Transpilation -- 5.4 Knowledge Reuse -- 5.5 Programming Languages -- 5.6 Quantum-Classical Integration -- 6 Comparison Framework -- 7 Conclusion and Future Work -- References
  • 2 Solver I: A 2-Field Penalty-Free Weak Galerkin Finite Element Solver for Quadrilateral Meshes -- 3 Solver II: A 3-Field CG+MFEM Solver for Triangular Meshes -- 4 Solver III and IV: 2-Field CG+WG Solvers for Triangular and Quadrilateral Meshes -- 5 Solver V Based on Operator-Splitting for Problems with Dilation-Dependent Permeability -- 6 Matlab Implementation of Poroelasticity Solvers -- 7 Numerical Experiments -- 8 Concluding Remarks -- References -- Mathematical Modeling of the Single-Phase Multicomponent Flow in Porous Media -- 1 Introduction -- 2 Mathematical Model -- 3 Numerical Model -- 3.1 Discretization of Darcy's Law -- 3.2 Discretization of Pressure and Transport Equations -- 3.3 Iterative IMPEC -- 4 Numerical Examples -- 4.1 Example 1 -- 4.2 Example 2 -- 4.3 Example 3 -- 4.4 Update of Parameter -- 5 Conclusions -- References -- An Enhanced Finite Element Algorithm for Thermal Darcy Flows with Variable Viscosity -- 1 Introduction -- 2 Semi-Lagrangian Finite Element Method -- 2.1 Solution of the Darcy-Heat Problem -- 2.2 Time Integration Procedure -- 3 Numerical Experiments -- 3.1 Accuracy Coupled Darcy-Heat Problem -- 3.2 Moving Thermal Front Past an Array of Cylinders -- 4 Conclusions -- References -- Multilevel Adaptive Lagrange-Galerkin Methods for Unsteady Incompressible Viscous Flows -- 1 Introduction -- 2 Enriched Lagrange-Galerkin Finite Element Method -- 2.1 L2-projection for Local Enrichments -- 3 Multilevel Adaptive Enrichments -- 4 Numerical Results -- 4.1 Viscous Burgers Flow Problem -- 4.2 Flow Past Two Circular Cylinders -- 5 Concluding Remarks -- References -- Numerical Investigation of Transport Processes in Porous Media Under Laminar, Transitional and Turbulent Flow Conditions with the Lattice-Boltzmann Method -- 1 Introduction -- 1.1 Objectives of the Present Study
  • Intro -- Preface -- Organization -- Contents - Part VI -- Quantum Computing Workshop -- Implementing Quantum Finite Automata Algorithms on Noisy Devices -- 1 Introduction -- 2 Background -- 3 MODp Problem and QFA Algorithms -- 3.1 2-State QFA -- 3.2 O(log p)-State QFAs -- 4 MODp Implementations -- 4.1 Single Qubit Implementation -- 4.2 Three-Qubit Implementations of MODp -- 5 Conclusion and Future Work -- References -- OnCall Operator Scheduling for Satellites with Grover's Algorithm -- 1 Introduction -- 2 Spacecraft On-Call Scheduling -- 3 Related Work -- 4 Encoding of Variables and Constraints -- 4.1 Variables -- 4.2 Constraints -- 5 Evaluation -- 6 Conclusion and Future Work -- References -- Multimodal Container Planning: A QUBO Formulation and Implementation on a Quantum Annealer -- 1 Introduction -- 2 Mathematical Framework -- 2.1 Approach -- 2.2 QUBO Formulation -- 2.3 Solving the QUBO Problem -- 2.4 Embedding -- 3 Numerical Results -- 3.1 2-Alternative Route Case Study -- 3.2 Simulated Annealing -- 3.3 Quantum Annealing -- 4 Conclusions -- References -- Portfolio Optimisation Using the D-Wave Quantum Annealer -- 1 Introduction -- 2 Problem Description -- 3 Benchmarks -- 4 Implementation -- 4.1 QUBO Representation -- 4.2 QUBO Formulation -- 4.3 Finding QUBO Parameters -- 4.4 Solving QUBO -- 5 Results -- 6 Conclusions and Further Research -- References -- Cross Entropy Optimization of Constrained Problem Hamiltonians for Quantum Annealing -- 1 Introduction -- 2 Background -- 2.1 Quantum Annealing Algorithm -- 2.2 Knapsack Problem -- 2.3 Minimum Exact Cover Problem -- 2.4 Set Packing Problem -- 2.5 Cross-Entropy Method -- 3 Related Work -- 4 QA with Cross-Entropy -- 5 Evaluation -- 5.1 Experimental Setup -- 5.2 Results and Discussion -- 6 Conclusion -- References -- Classification Using a Two-Qubit Quantum Chip -- 1 Introduction
  • Quantum Asymmetric Encryption Based on Quantum Point Obfuscation -- 1 Introduction -- 2 Related Works -- 3 Quantum Asymmetric Encryption Scheme -- 3.1 Basic Idea -- 3.2 Scheme -- 4 Security Analysis -- 4.1 Key Updating -- 4.2 Indistinguishablility Security -- 5 Conclusion -- References -- Index Calculus Method for Solving Elliptic Curve Discrete Logarithm Problem Using Quantum Annealing -- 1 Introduction -- 2 Index Calculus Method on Elliptic Curves Using Quantum Annealing -- 2.1 Index Calculus and Summation Polynomials -- 2.2 Transformation of Relation Searching Problem into the QUBO Problem -- 3 Experiments, Results, and Discussion -- 4 Conclusion and Further Works -- References -- Simulations of Flow and Transport: Modeling, Algorithms and Computation -- Multi-phase Compressible Compositional Simulations with Phase Equilibrium Computation in the VTN Specification -- 1 Introduction -- 2 Physical and Mathematical Model -- 2.1 Physical Model -- 2.2 Transport Equations -- 2.3 Fluxes Definition -- 2.4 Phase Stability Testing and Phase Equilibrium Calculation -- 2.5 Initial and Boundary Conditions -- 3 Numerical Solution -- 3.1 Disretization of Darcy's Law -- 3.2 Discretization of Pressure Equation -- 3.3 Solution of Transport Equations -- 3.4 Algorithm for One Time Step t -- 4 Numerical Results -- 4.1 Example 1: C1 Injection -- 4.2 Example 2: CO2 Injection -- 5 Conclusion -- References -- A Three-Level Linearized Time Integration Scheme for Tumor Simulations with Cahn-Hilliard Equations -- 1 Introduction -- 2 Strong and Weak Formulations of Cahn-Hilliard Equations -- 3 Semi-discrete Galerkin Formulation -- 4 Finite Difference Schemes -- 5 Mathematical Properties of the Linearized Three Level Scheme -- 6 Scalability Analysis -- 7 Conclusions -- References -- Poroelasticity Modules in DarcyLite -- 1 Introduction
  • 2 Related Studies