Computational Science and Its Applications - ICCSA 2016, part 1

• Publisher: Springer
• Year: 2016
• Tongue: English
• Leaves: 674
• Series: Springer Lecture notes in computer science 9786
• Category: Library

✦ Table of Contents

Preface......Page 6
Organization......Page 7
Contents – Part I......Page 23
Computational Methods, Algorithms and Scientific Applications......Page 28
1 Introduction......Page 29
2 Governing Equations and Variational Multiscale Formulation......Page 30
3 Numerical Experiments......Page 33
3.1 2D Oblique Shock Problem......Page 34
3.2 2D Reflected Shock Problem......Page 37
3.3 2D Explosion Problem......Page 39
4 Conclusions......Page 41
References......Page 42
1 Introduction......Page 44
2 Extended Cross Product......Page 45
3 Projective Representation and Duality Principle......Page 46
3.2 Principle of Duality......Page 47
5 Solution of Ax€=€0......Page 48
6 Solution Ax€=€b and Ax€=€0......Page 49
7 Barycentric Coordinates Computation......Page 50
8 Intersection of Two Planes......Page 52
9 Closest Point on the Line Given as an Intersection of Two Planes......Page 54
10 Symbolic Manipulations......Page 55
11 Example of Application......Page 56
12 Efficiency of Computation and GPU Code......Page 58
13 GPU Code......Page 59
References......Page 60
1 Introduction......Page 62
2.1 Fixed Points and Their Stability......Page 64
3.1 Phase Plane Diagrams......Page 65
4.1 Fixed Points and Their Stability......Page 66
5 Numerical Simulations of Model (2)......Page 67
5.2 Time Series Diagrams......Page 68
References......Page 69
1 Introduction......Page 71
1.1 A Root Finding Algorithm......Page 72
2.1 Dynamics of System () in a Rectangular Region......Page 74
2.2 Stability of System () with Cobweb Diagram......Page 75
A Related Lemmas/Theorems......Page 78
References......Page 79
1 Introduction......Page 80
2 Self-organizing Map with Winner-takes-most Approach......Page 82
3 Self-organizing Map Applied to Bandwidth and Profile Reductions......Page 83
4 Description of Tests......Page 84
5.1 Tests with the Harwell-Boeing Sparse Matrix Collection......Page 85
5.2 Simulations with Linear Systems Originated from Discretization of the Heat Conduction Equation by Finite Volumes......Page 88
5.3 Simulations with Linear Systems Arising from the Discretization of the Laplace Equation by Finite Volumes......Page 90
6 Conclusions......Page 94
References......Page 95
1 Introduction......Page 97
2 Ab Initio Calculations of the Molecular Geometries and Energies......Page 98
3 The Fitting of the Potential Energy Surface......Page 101
4 Dynamical Calculations and Probabilities......Page 105
References......Page 108
1 Introduction......Page 110
2 The Distance Geometry Approach......Page 112
2.1 Algorithm DGPL......Page 113
2.2 Simulating DGPL......Page 114
3.1 Overview of Mumey's Algorithm......Page 116
4 Experimental Results......Page 117
5 Three Dimensional Embedding......Page 119
6 Conclusions......Page 120
References......Page 121
1 Introduction......Page 123
2 Problem Description......Page 124
3 Model Development......Page 125
3.1 Sample Size Considerations......Page 126
4 Model Validation......Page 127
5 Materials and Methods......Page 128
6 Results......Page 129
7 Conclusion......Page 133
References......Page 134
1 Introduction......Page 136
2 New Integral Equations for Upgoing and Downgoing Intensities of Inner Radiation Fields......Page 137
3 Fitting Analytical Approximations for Upgoing and Downgoing Intensities of Radiation Fields......Page 143
4 Results of Auxiliary Functions and Slab’s Brightness Coefficients Numerical Modelling......Page 145
5 Conclusion......Page 153
References......Page 154
1 Introduction......Page 155
2 Potential Energy Surface......Page 157
4 The (CH3-CO-CH3)2 and (CH3-CO-CH3)3 Small Aggregates......Page 159
5 Conclusions......Page 162
References......Page 163
1 Introduction......Page 167
2 Problem Statement......Page 168
3 Brief Survey of Exact Methods for Network Reliability Calculation......Page 169
4 Cumulative Updating of Network Reliability......Page 170
5 Genetic Algorithm......Page 173
6 Artificial Immune System......Page 175
7 Case Studies......Page 176
References......Page 177
1 Introduction......Page 179
2 Set Covering Problem......Page 181
3.1 Migration Operator......Page 182
3.3 Algorithm Description......Page 184
4.2 Fitness......Page 185
5 Experiments and Results......Page 186
References......Page 189
Finding Solutions of the Set Covering Problem with an Artificial Fish Swarm Algorithm Optimization......Page 192
2 Set Covering Problem......Page 193
2.3 Metaheuristics, Bio-Inspired and AFSA......Page 194
3.1 Main Behaviors of AFSA......Page 195
3.3 Proposed Algorithm of AFSA Binary Version......Page 196
4.3 Generation of Trial Population......Page 197
4.5 Deal with Constraints of SCP......Page 198
4.6 Selection of New Population......Page 199
4.10 AFSA-SCP Proposed Algorithm......Page 200
5 Experimental Results......Page 202
6 Conclusions......Page 204
References......Page 205
1 Introduction......Page 208
2 The Mathematical Formalism of the Model......Page 210
3 The Case Study......Page 212
4 The Results......Page 214
References......Page 216
1 Introduction......Page 219
2 The Problem of Illegal Buildings in Italy......Page 221
3 The Management of Illegal Building Activity in Italy......Page 222
4 Assigning an Order of Precedence on Demolition of Illegal Building Works......Page 223
5 The Assessment Points of View......Page 224
7.2 Basic Concepts and Features......Page 226
7.3 The Aggregative Procedure......Page 227
9 Verification of the Assessment Model......Page 228
References......Page 230
1 Introduction......Page 233
2.1 SCP Explanation and Detail......Page 234
2.2 Black Holes......Page 236
3 Algorithm......Page 237
3.1 Big Bang......Page 238
3.5 Implementation......Page 239
4 Experimental Results......Page 240
5 Analysis and Conclusions......Page 241
References......Page 243
1 Introduction......Page 246
2.3 Pareto Dominance......Page 247
3 Set Covering Problem......Page 248
4.1 Basic Concepts......Page 249
4.4 Seeking Mode......Page 250
4.5 Tracing Mode......Page 251
6 Experimental Results......Page 252
7 Conclusion and Future Work......Page 255
References......Page 256
1 Introduction......Page 258
2.2 FMO for an Intra-cranial Tumor Case......Page 260
2.3 Multistart Approach for the Continuous BAO Problem......Page 261
3 Computational Results......Page 265
4 Conclusions and Future Work......Page 269
References......Page 270
1 Introduction......Page 272
2 Intermolecular Interactions by the Bond-Bond Approach......Page 274
3 Molecular Dynamics Simulations......Page 276
4 Conclusions......Page 280
References......Page 281
1 Introduction......Page 284
2 Experimental......Page 287
3 A New Semi-classical Computational Approach for the Electron Kinetic Energy Spectra Calculation......Page 289
References......Page 296
1 Introduction......Page 299
2 Set Covering Problem......Page 300
3.1 Components of FWA......Page 301
4 Binary Firework Algorithm......Page 303
5 Solving the Set Covering Problem......Page 305
6 Result......Page 306
References......Page 308
1 Introduction......Page 310
2 Lie Algebra in Accelerator Physics......Page 312
3 Self-consistent Particle Dynamics with Space Charge Forces......Page 315
4 Parallelization of Predictor-Corrector Method......Page 318
5 Conclusion......Page 319
References......Page 320
Abstract......Page 322
1 Introduction......Page 323
3.1 Dimerization of Methanimine in the Atmosphere of Titan or in the Interstellar Space......Page 324
3.2 Formation of Dimethyl Ether in the Interstellar Medium......Page 329
References......Page 331
1 Introduction......Page 335
2 SEC Solution Theory......Page 336
3 Algorithm Description......Page 339
4 Numerical Simulation......Page 341
Acknowledgements......Page 343
References......Page 344
1 Introduction......Page 345
2 The Molecular Science and Technology Research Infrastructure......Page 347
3 The PROGEO Simulation......Page 350
4 The Simulation and Its Results......Page 353
5 Conclusions and Possible Developments......Page 355
References......Page 356
1 Introduction......Page 360
1.1 Related Work and Previous Results......Page 361
3 Preliminaries......Page 362
4.1 Preprocessing......Page 363
4.3 Checking the Remaining Blocks......Page 364
5 Discussion......Page 365
6 Experimental Results......Page 366
References......Page 369
1 Introduction......Page 371
2 An Efficient Multistart Method......Page 373
3 The `Interrupted HJ-filter' Method for MINLP......Page 377
4 Numerical Results......Page 380
References......Page 383
1 Introduction......Page 385
2 Empirical ROC Curve......Page 386
2.1 Area Under the ROC Curve (AUC)......Page 387
2.2 Comparing ROC Curves......Page 388
3.1 ROCNPA......Page 389
3.3 .roccomp on Stata"472......Page 390
4.2 CRIB Index Performance with Comp2ROC......Page 392
4.3 CRIB Index Performance with .roccomp......Page 394
References......Page 397
1 Introduction......Page 399
2 The Set Covering Problem......Page 400
3 The Soccer League Competition Algorithm......Page 401
3.1 Movement Operators......Page 402
4 Solving SCP by Using SLC......Page 404
5 Python Implementation and Execution Results......Page 405
5.2 Imitation Factor......Page 407
6 Conclusions......Page 409
References......Page 410
1 Introduction......Page 412
2 Isomerization of -Pinene......Page 415
3.1 A Direct Sequential Approach......Page 416
3.2 The Firefly Algorithm......Page 418
4.1 FA Parameter Tuning......Page 420
4.2 Comparative Results......Page 421
5 Conclusions......Page 424
References......Page 425
1 Introduction......Page 428
2 Constraint-Handling Techniques......Page 429
2.1 Global Competitive Ranking......Page 430
3.1 Standard Firefly Algorithm......Page 431
3.2 Dynamic Updates of the Parameters \alpha , \gamma and S......Page 433
4.1 Ranking Scheme Proposals......Page 434
4.2 Local Search......Page 436
4.3 Extensions of FA......Page 437
5 Experimental Results......Page 438
6 Conclusions......Page 441
References......Page 442
1 Introduction......Page 444
2 A Multi-agent Concept......Page 445
3 Classes and Subclasses of the Lego-Objects......Page 448
3.1 Construction of Information Units......Page 449
3.2 The Architecture of Classes and Subclasses of Agents......Page 452
3.3 The Problems of Data Processing......Page 454
4 Conclusion......Page 455
References......Page 456
1 Introduction......Page 457
2.1 The Triangle of Couplings and the Quadrangle of Recouplings......Page 458
2.2 Incidence Structure and Projective Features......Page 460
2.3 The Quadrangle and Its Diagonal Triangle and the Seven-Spin Network......Page 462
3 Remarks and Two Protocols......Page 464
References......Page 467
1 Introduction......Page 469
2 The Currently Adopted Environment: G-Lorep......Page 470
3 The MoLOC Adaptations of G-Lorep......Page 472
4 The LOs for MoLOC......Page 474
6 A Use Case: Searching Chemistry LOs in G-Lorep via App......Page 477
Acknowledgements......Page 478
References......Page 479
1 Introduction......Page 481
2 Numerical Determination of Eigenvalues and Eigenvectors......Page 482
2.1 The Power Method......Page 484
2.2 The Inverse Power Method......Page 485
3.1 Quantum System Under Study......Page 486
3.2 Determination of the Initial Guesses......Page 487
3.3 Estimation of Offsets......Page 488
4 Simulation Environment......Page 489
5.1 Performance in the Cases Where All Eigenvalues Are Calculated......Page 490
5.2 Performance in the Cases Where Some Eigenvalues of Interested Are Calculated......Page 491
References......Page 493
1 Introduction......Page 496
2 System Investigated......Page 497
3 Statistical Analysis for Dynamical System......Page 498
References......Page 504
1 Introduction......Page 506
2 NCS-EC Framework......Page 507
3.1 Network Topology......Page 509
3.3 Transmission Protocol......Page 510
4 Used Libraries......Page 512
5 Simulation Results......Page 513
6 Conclusion......Page 515
References......Page 516
1 Introduction......Page 517
2 Literature Review......Page 518
4 Results......Page 520
4.1 Media Usage of Students by Academic Years......Page 521
4.2 Increasing Media Use......Page 522
4.3 Decreasing Media Use......Page 523
4.5 Decreasing Appreciation Regarding Media Usage......Page 524
5 Conclusion......Page 526
References......Page 527
Short Papers......Page 529
1 Introduction......Page 530
3 Simulation Setting......Page 531
4 Results and Discussion......Page 532
References......Page 537
1 Introduction......Page 539
2.1 Modified Self-shrinking Generator......Page 540
3 Modelling the Modified Self-shrunken Sequence in Terms of CA......Page 541
5 Conclusions......Page 544
References......Page 545
1 Introduction......Page 546
3 Updating Mechanism Based on Sliding Window......Page 547
3.2 Trust Value Calculation......Page 548
3.3 Trust Records Filtration Based on the Sliding Window......Page 549
4 Evaluation......Page 551
Acknowledgment......Page 552
References......Page 553
1 Introduction......Page 554
2.1 Fuzzy Parameters and Operations......Page 555
2.2 Flow Network......Page 557
3 ``Fuzzy Prediction'' Problem......Page 558
References......Page 560
1 Introduction......Page 561
2.1 Heterogeneous System......Page 562
2.3 System Module......Page 563
2.4 Technical Advantage......Page 566
3.1 Experiment Setup......Page 567
3.2 Experiment Result......Page 568
4 Conclusion......Page 570
References......Page 571
1 Introduction......Page 572
2.1 Logistic Regression......Page 573
2.2 Feature Selection Method Based on Information Theory......Page 574
3.2 Experiment Settings......Page 576
3.3 Experiment Results......Page 577
4 Conclusions......Page 578
References......Page 579
1 Introduction......Page 580
2 In-band Busy Tone Protocol......Page 581
2.1 Single Tone’s Transmission and Detection......Page 582
2.3 Optimized CW’s Setting......Page 583
3 Simulation Analysis......Page 584
3.2 Mixed AC Scenario......Page 585
4 Conclusion......Page 586
References......Page 587
1 Introduction......Page 588
2.1 Nonin 3230 Bluetooth® Smart Pulse Oximeter......Page 589
2.3 AWS Cloud Server......Page 590
3.1 Nonin App......Page 591
3.3 Develop Server Connection App......Page 592
4 The IoT System Testing Results......Page 593
6 Conclusion......Page 595
References......Page 596
1 Introduction......Page 597
2.2 TCP Traffic Model......Page 598
3 Methodology......Page 599
3.2 Packet-Loss Event Probability......Page 600
3.3 Packet-Loss and Time-Out Event......Page 601
3.4 Sensitivity Improvement......Page 602
4.1.2 Smoothness......Page 603
4.2 Experiment Result......Page 604
References......Page 606
1 Introduction......Page 608
2.2 SVM......Page 609
2.3 Proposed PSO-SVM-RF Approach......Page 612
3 Experimental Results and Analysis......Page 615
References......Page 616
1 Introduction......Page 617
2 Separate-Predict-Superimpose Model......Page 618
2.2 Separate-Predict-Superimpose Model Algorithm......Page 619
3 Experiment and Comparison of Separate-Predict-Superimpose Model......Page 620
3.1.1 Shanghai Composite Index......Page 621
3.1.2 China National Petroleum Corporation Stock Price......Page 622
5 Program Code......Page 624
References......Page 626
1 Introduction......Page 627
3 Light-Weight JavaScript Engine......Page 628
4.1 Experiment Environments......Page 629
4.2.1 Query Workload......Page 630
4.2.4 Compression Workload......Page 631
4.3 Performance on Multi-core Architecture......Page 632
References......Page 633
1 Introduction......Page 635
1.1 Research Objectives......Page 636
2 Literature Review......Page 637
3.2 Proposed Solution......Page 639
References......Page 642
1 Introduction......Page 644
2 Background......Page 645
2.2 Senior potential use......Page 646
4 Study Case......Page 647
5 Conclusion and Future Work......Page 649
References......Page 650
1 Introduction......Page 652
2 Bounded Rationality, Incrementalism and Sustainable Strategic Planning......Page 653
3 Toolkit for Renewing Planning and Governance: ‘Cognitive Maps’ and SODA; Ontologies; Logical Framework Approach......Page 654
4 Case Study......Page 656
References......Page 659
1 Introduction......Page 661
2 Objectives and Priorities......Page 662
4 Project Innovation......Page 664
References......Page 665
1 To Define a Position: A Tentative......Page 667
2 Renovation Opportunities from the Challenge of Complexity......Page 668
4 Indicators for Sustainability Performance Assessment......Page 669
5 Conclusions......Page 670
References......Page 671
Author Index......Page 673