Modeling, Simulation and Optimization of Complex Processes

• Titel: Modeling, Simulation and Optimization of Complex Processes
• Mitwirkende: Bock, Hans Georg
• Mitwirkende: Phu, Hoang Xuan
• Mitwirkende: Rannacher, Rolf
• Ausgabe: Online-Ausg.
• Verlagsort: Dordrecht
• Verlag: Springer
• Jahr: 2012
• Umfang: Online-Ressource (1 online resource (327 p.))
• Gesamttitel/Reihe: EBL-Schweitzer
• Fussnoten: Description based upon print version of record
• ISBN: 978-3-642-25707-0
• Schlagwörter: (s)Wissenschaftliches Rechnen
• Datenträger: Online-Ressource
• Dokumenttyp: Konferenzschrift: (2009 : Hanoi)
• Sprache: eng
• Reproduktion: Druckausg.: Modeling, simulation and optimization of complex processes. - Berlin: Springer, 2012. - IX, 337 S
• Sach-SW: High performance computing -- Congresses
• Sach-SW: Mathematical models
• Sach-SW: Science -- Data processing -- Congresses
• K10plus-PPN: 1658022084

Abstract

Modeling, Simulation and Optimization of Complex Processes; Proceedings of the Fourth InternationalConference on High Performance Scientific Computing, March 2-6, 2009, Hanoi, Vietnam; Preface; Contents; A Cutting Hyperplane Method for Generalized Monotone Nonlipschitzian Multivalued Variational Inequalities; 1 Introduction; 2 Generalized Monotonicity and Algorithm; 3 Convergence of the Algorithm; 4 An Application to Nonlinear Complementarity Problems; References; Robust Parameter Estimation Based on Huber Estimator in Systems of Differential Equations; 1 Motivation

Abstract

2 Parameter Estimation in Systems of Differential Equations2.1 Discretization of the Dynamics; 2.2 Parameter Estimation Problem with Huber Estimator; 2.3 Constrained Gauss-Newton Method; 2.4 Local Convergence; 2.5 Global Convergence; 2.6 Numerical Solution of the Linearized Problem; 3 Numerical Results; 4 Conclusions; References; Comparing MIQCP Solvers to a Specialised Algorithm for Mine Production Scheduling; 1 Introduction; 2 Open Pit Mine Production Scheduling with Stockpiles; 3 MIQCP Formulations; 3.1 Basic Formulation; 3.1.1 Assumption S; 3.2 Warehouse Formulation; 4 Computational Study

Abstract

4.1 Application-Specific Benchmark Algorithm4.2 General-Purpose MIQCP Solvers; 4.3 Test Instances; 4.4 Computational Results; 4.4.1 Solver Settings; 4.4.2 Results for the Basic Formulation; 4.4.3 Results for the Warehouse Formulation; 4.4.4 Comparison of LP Based Solvers BARON, Couenne, and SCIP; 5 Conclusion; References; A Binary Quadratic Programming Approach to the Vehicle Positioning Problem; 1 Introduction; 2 The Vehicle Positioning Problem; 3 Two-Index Models; 4 Three-Index Models; References; Determining Fair Ticket Prices in Public Transport by Solving a Cost Allocation Problem

Abstract

1 Introduction2 Game Theoretical Setting; 3 Cost Allocation Methods; 4 Ticket Pricing as a Cooperative Game; 5 Fair IC Ticket Prices; References; A Domain Decomposition Method for Strongly Mixed Boundary Value Problems for the Poisson Equation; 1 Introduction; 2 A Domain Decomposition Method for a Strongly Mixed BVP; 2.1 Description of the Method; 2.2 Convergence of the Method; 3 A Parallel Algorithm for Solving a Problem of Semiconductors; 3.1 Description of the Algorithm; 3.2 Convergence of the Iterative Process; 3.3 Numerical Experiments; 4 Conclusion; References

Abstract

Detecting, Monitoring and Preventing Database Security Breaches in a Housing-Based Outsourcing Model1 Introduction; 2 Related Work; 2.1 Detecting Techniques; 2.2 Monitoring Techniques; 2.3 Preventing Techniques; 3 Problem Analysis; 3.1 Database Security Flaw Classification; 3.2 Monitoring Activity Classification; 4 The Proposed Architecture; 4.1 Client Side; 4.2 Service Server Side; 4.3 Client Server Side (Housing Provider Side); 4.4 Detecting Engine; 4.5 Monitoring Engine; 5 Prototype and Evaluation; 5.1 Prototype; 5.2 Evaluation; 6 Open Research Issues; 7 Conclusion and Future Work

Abstract

References

Abstract

This proceedings volume contains a selection of papers presented at the Fourth International Conference on High Performance Scientific Computing held at the Hanoi Institute of Mathematics, Vietnamese Academy of Science and Technology (VAST), March 2-6, 2009. The conference was organized by the Hanoi Institute of Mathematics, the Interdisciplinary Center for Scientific Computing (IWR), Heidelberg, and its Heidelberg Graduate School of Mathematical and Computational Methods for the Sciences, and Ho Chi Minh City University of Technology. The contributions cover the broad interdisciplinary spectr