Intro
Preface
Welcome to the Online Conference
Organization
Contents
Part VI
International Workshop on Scientific Computing Infrastructure (SCI 2020)
Virtual Testbed: Concept and Applications
Abstract
1 Introduction
2 Computational Aspects of Virtual Testbed
3 Virtual Testbed as a Case for Big Data
4 Virtual Private Supercomputer as a Tool for Virtual Testbed Organization
5 Applications of Virtual Testbed Concept
5.1 Marine Virtual Testbed
5.2 Knowledge Base Intelligence System Testing
5.3 Virtual Particle Accelerator

5.4 Virtual Testbed for Financial Modeling
6 Conclusion
Competing Interests
References
Virtual Testbed: Simulation of Air Flow Around Ship Hull and Its Effect on Ship Motions
1 Introduction
2 Related Work
3 Methods
3.1 Analytic Representation of Wind Velocity Field
3.2 Uniform Translational Motion on the Static Body Surface
3.3 Uniform Translational Motion Near the Static Body Surface
4 Results
4.1 Verification of the Solution on the Example of Potential Flow Around a Cylinder
4.2 Ship Roll Angle and Velocity
4.3 Computational Performance Analysis

5 Discussion
6 Conclusion
References
Virtual Testbed: Simulation of Ocean Wave Reflection from the Ship Hull
1 Introduction
2 Methods
2.1 Equations of Motions with a Moving Surface Boundary
2.2 Stationary Surface Boundary
2.3 OpenCL Implementation
3 Results
3.1 Diffraction
3.2 Performance Benchmarks
4 Discussion
5 Conclusion
References
A Modified Algorithm of Porting a Wave Motion
Abstract
1 Introduction
2 The Problem
3 Porting Challenges
4 Numerical Tests
5 Porting Results
6 Conclusion
References

Service-Oriented Petri Net Model
1 Introduction
2 Problem at Hand
2.1 Inspecting Type Requirements
2.2 Looking at SPN Capabilities
2.3 Task Definition
3 Our Solution
Service-Oriented Petri Net Model
3.1 Core Extensions
3.2 Integers
3.3 Integer Operations
3.4 Nested Types
3.5 Modules
4 Conclusion
References
Evolving Principles of Big Data Virtualization
Abstract
1 Introduction
2 Approaches to Store Super Large Amounts of Data
3 Big Data Types
4 Virtual Supercomputer Solution
5 Virtualizing Data
5.1 Generic Approaches

5.2 Big Data Virtualization
5.3 Data Networks and Data Marketplaces
6 Big Data Virtualization Applications
7 Conclusion
References
On the Effectiveness of Using Various Machine Learning Methods for Forecasting Dangerous Convective Phenomena
Abstract
1 Introduction
2 Convective Cloud Model
3 Algorithms for Data Formation and Preprocessing
4 Forecast Accuracy Using Support Vector Machine (SVM), Logistic Regression and Ridge Regression Algorithms
5 Forecast Accuracy Using Neural Network Algorithm
6 Discussion
7 Conclusions
References