
Computational Science and Its Applications - ICCSA 2019
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019.
The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five general tracks: computational methods, algorithms and scientific applications; high performance computing and networks; geometric modeling, graphics and visualization; advanced and emerging applications; and information systems and technologies. The 259 workshop papers were presented at 33 workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as software engineering, security, artificial intelligence and blockchain technologies.
More details
Other editions
Additional editions

Content
- Intro
- Preface
- Welcome to St. Petersburg
- Organization
- Contents - Part II
- Short Papers
- Expert System for Urban Multimodal Mobility Estimation Based on Information from Public Mobile Network
- Abstract
- 1 Introduction
- 2 PMN Generated Data in Urban Mobility Research
- 3 Spatial Decomposition
- 4 Multimodal Mobility Indicators and Calculation Methodology
- 5 Design of ANFIS Based Expert System
- 6 Conclusion
- References
- Asymtotic Distribution of the Bootstrap Parameter Estimator for the AR(p) Model
- 1 Introduction
- 2 Estimator of Mean and Autocovariance for the Autoregressive Model
- 3 Bootstrap and Delta Method
- 4 Main Result
- 5 Conclusions
- References
- Weighted Coefficients to Measure Agreement Among Several Sets of Ranks Emphasizing Top and Bottom Ranks at the Same Time
- 1 Introduction
- 2 Weighted Coefficients to Measure the Concordance Among Several Sets of Ranks Putting Emphasis on the Extremes Ranks
- 3 Distribution of the Generalized Weighted Agreement Coefficients
- 4 Example
- 5 Future Work
- References
- Metrics to Rank Illegal Buildings
- 1 Introduction
- 2 Materials and Methods
- 2.1 Relevance of the Problem
- 2.2 Notations
- 2.3 Metrics
- 2.4 A GIS Technological Setting for the Implementation of the Proposal
- 3 Discussion and Future Work
- References
- Fog Based IIoT Architecture Based on Big Data Analytics for 5G-networked Smart Factory
- 1 Introduction
- 2 Related Work
- 3 Industrial IoT Platform for Smart Factory
- 3.1 Design Requirements
- 3.2 Components of Industrial IoT Platform
- 4 Open Challenges for 5G Smart Factory
- 5 Conclusion
- References
- Design and Analysis of OpenStack Cloud Smart Factory Platform for Manufacturing Big Data Applications
- 1 Introduction
- 2 Related Work
- 3 OpenStack Cloud Smart Factory Platform Design Study
- 4 Designed Big Data Application Cloud TEST BED and ANALYSIS
- 5 Conclusion
- References
- Towards a Resident Static Analysis
- 1 Introduction
- 2 Related Work
- 3 Proposed Method
- 4 Operating Modes
- 4.1 Workspace Creation
- 4.2 Controlled Compilation
- 4.3 Data Fetching
- 4.4 Preliminary Analysis
- 4.5 Analysis on Demand
- 5 Evaluation
- 6 Discussion
- 7 Conclusion
- References
- Distributed Shortest Paths on Power Law Networks in the Generalized Linear Preference Model: An Experimental Study
- 1 Introduction
- 2 Background
- 3 Distributed Computation Pruning
- 4 Generalized Linear Preference Model
- 5 Evaluation of DCP on GLP Networks
- 6 Conclusions
- References
- Financial Feasibility Assessment of Public Property Assets Valorization: A Case Study in Rome (Italy)
- Abstract
- 1 Introduction
- 2 Aim
- 3 Case Study
- 3.1 Current Use
- 3.2 Description of the Enhancement Initiative
- 3.3 The Subjects Involved in the Enhancement Initiative
- 3.4 Financial Feasibility Assessment of the Initiative for the Private Investor (Main Subject)
- 3.5 Costs
- 3.6 Investment Costs
- 3.7 Operating Costs
- 3.8 Revenues
- 3.9 Development of the DCFA
- 4 Conclusions
- References
- Modeling an Optimal Control Problem for the Navigation of Mobile Robots in an Ocduded Environment Application to Unmanned Aerial Vehicles
- 1 Introduction
- 2 Definition of General Problem of Navigation
- 3 Application to the Case of Two Quad-Rotor Drones
- 4 Results Simulation
- 5 Conclusion
- References
- Advanced Transport Tools and Methods (A2TM 2019)
- The Effectiveness of Strategies to Reduce External Costs from Commuting in Central Europe
- Abstract
- 1 Introduction
- 2 Commuting External Costs
- 3 External Cost Reductions Strategies: A Literature Review
- 4 The Effectiveness of Smart Commuting Project's Externality Reduction Strategies
- 5 Conclusion
- Acknowledgement
- References
- Effects of Rolling Stock Unavailability on the Implementation of Energy-Saving Policies: A Metro System Application
- 1 Introduction
- 2 Rolling Stock Unavailability Analysis
- 3 Application to a Real Metro Line
- 4 Conclusions and Research Prospects
- References
- Latent Classes Exploring the Sense of Passengers Well-Being in the Terminal: Evidence from a Peripheral Airport
- Abstract
- 1 Introduction
- 2 Methodology
- 3 Case Study
- 3.1 Airport Characteristics
- 3.2 Sample Data
- 3.3 Air Passengers' Evaluation
- 4 Latent Class Memberships
- 4.1 Basic Latent Class Modeling
- 4.2 Exploring Latent Class Memberships with Covariates
- 5 Discussion of the Results
- 6 Conclusion
- References
- Some Features of Formatting the Arrival Time Distribution
- 1 Introduction
- 2 Literature Review
- 3 Stochastic Model of Arrival Deviation Formation
- 4 An Example of the Joint Influence of Random Factors on the Arrival Deviation Distribution
- 5 Validation of the Model by Using Statistical Data
- 6 Conclusions and Future Research
- References
- Basic Framework for Adjusting the Freight Train Schedule
- Abstract
- 1 Introduction
- 2 Literature Review
- 3 Criteria for Determining the Operational Decisions
- 4 Group and Sighting Adjustments of Train Traffic
- 5 Methodology of Analysis Fulfilled Traffic Schedule
- 6 Regularities of Forming the Schedule Features When Random Disturbances Occur
- 7 The Grounding of Train Schedules Adjustments
- 8 Conclusions
- References
- SaveMyBike - A Complete Platform to Promote Sustainable Mobility
- Abstract
- 1 The Actual State of Art
- 1.1 Urban Transport Planning Needs
- 1.2 Mobility Rewarding System
- 1.3 Bike Antitheft and Recovery System
- 2 The SaveMyBike Platform
- 2.1 The Bike-Side Platform
- 2.2 The Rewarding-Side Platform GOOD_GO
- 3 The Prototypical Application Results
- 4 Conclusions and Future Developments
- References
- Big Data and Policy Making: Between Real Time Management and the Experimental Dimension of Policies
- Abstract
- 1 Introduction
- 2 Urban Decisions and the Multiplicity of Big Data
- 2.1 Big Data and Its Different Sources
- 2.2 Big Data and Actors' Expertise
- 2.3 Big Data and Their Role in Mobility Policy Making
- 3 Data Relevance at the Intersection Between Data Production Systems and Policy Making
- 3.1 Data for Short- and Long-Term Decisions and Reasoning
- 3.2 Opportunities for an Experimental Approach to Policy Design
- 4 The Experimental Dimension at Work in the Polivisu Pilots
- 4.1 Ghent
- 4.2 Issy-les-Molinaux
- 4.3 Pilsen
- 5 Discussion and Conclusions
- Acknowledgments
- References
- Detection of Points of Interest from Crowdsourced Tourism Data
- 1 Introduction
- 2 Data and Methods
- 2.1 Data Properties
- 2.2 Data Structure
- 2.3 Data Exploration
- 2.4 Methods
- 3 Qualitative Data Considerations
- 3.1 Data Issues
- 4 Problem Statement
- 5 Results
- 5.1 Global Results
- 5.2 Individual Analysis
- 5.3 Places
- 5.4 Discussion
- 6 Conclusion
- References
- Cycling for Home-to-School Travel in Palermo: A Method for Assessing the Optimal Allocation of New Cycling Infrastructure
- Abstract
- 1 Introduction
- 2 Background
- 3 The Bike-Sharing Service in Palermo
- 4 Cycling in Italy and in Palermo
- 5 The Italian Legislation About Cycling Infrastructure and the Cycle Network in Palermo
- 6 The Methodology
- 6.1 Calibration of the Demand Model
- 6.2 The Optimization Process
- 7 Conclusion
- References
- A Land Use and Transport Interaction Model for the Greater Florence Metropolitan Area
- Abstract
- 1 Introduction
- 2 The Land Use and Transport Interaction Models
- 3 The Choice of the LUTI Model
- 4 The Study Area and the Urbanistic Forecasts
- 4.1 The Collection of Project Forecasts
- 4.2 The Multimodal Transport Model
- 4.3 The Land Use Model
- 5 Results and Future Researches
- References
- Advanced Computational Approaches in FracTals, WaveleT, EnTropy and DaTa mining applications (AAFTWTETDT 2019)
- Computational Methods for OCT Images Analyze Provided Within Diabetic Retinopathy
- Abstract
- 1 Introduction
- 2 Methods
- 3 Results and Discussions
- 4 Conclusions
- Acknowledgements
- References
- Multifractal Analysis with L2 Norm Denoising Technique: Modelling of MS Subgroups Classification
- 1 Introduction
- 2 Data and Methods
- 2.1 Patient Details
- 2.2 Methods
- 3 Experimental Results and Discussion
- 3.1 The Application of the K-Means Algorithm
- 3.2 The Results of the K-Means Algorithm
- 4 Conclusion
- References
- A Comparison of Two Hölder Regularity Functions to Forecast Stock Indices by ANN Algorithms
- 1 Introduction
- 2 Materials and Methods
- 2.1 Material
- 2.2 Methods
- 3 Experimental Results and Discussion
- 3.1 Application of the FFBP and CFBP to the P_Finance Dataset
- 3.2 Accuracy Rates Obtained from the FFBP and CFBP Algorithm Classification of E_Finance Dataset
- 3.3 Accuracy Rates Obtained from the FFBP and CFBP Algorithm Classification of p_finance Dataset and e_Finance Dataset
- 4 Conclusion
- References
- Advances in Artificial Intelligence Learning Technologies: Blended Learning, STEM, Computational Thinking and Coding (AAILT 2019)
- Hahai: Computational Thinking in Primary Schools
- 1 Introduction
- 2 Global Society and Technology
- 2.1 Life Skills
- 2.2 Computational Thinking
- 2.3 Solution: Hahai Project
- 3 The Hahai Project and Development
- 3.1 Requirements Analysis
- 3.2 Wireframe and Graphic Design
- 4 Testing Phase
- 4.1 Official Testing in First-Grade Classes
- 4.2 Final Report
- 5 Conclusions and Future Developments
- 5.1 Conclusions
- 5.2 Future Developments
- 5.3 Technology as a Tool for Training
- References
- An Image-Based Encoding to Record and Track Immersive VR Sessions
- 1 Introduction
- 2 Related Work
- 3 Encoding Model
- 3.1 Session Volumes
- 3.2 Image-Based Encoding and Layout
- 3.3 Saliency
- 4 Architecture Overview
- 5 Results
- 6 Conclusions and Future Developments
- References
- Leveraging Reinforcement Learning Techniques for Effective Policy Adoption and Validation
- Abstract
- 1 Introduction
- 2 The Learning Environment and Stopping Rules
- 3 Analysis of the Performance of the Stopping Rules
- 4 Learning Cost Evaluation and Experimentation
- 5 Summary and Conclusion
- References
- Impact of Time Granularity on Histories Binary Correlation Analysis
- 1 Introduction
- 2 Related Work
- 3 Methodology
- 3.1 Student Histories
- 3.2 Histories Pairwise Similarity
- 3.3 Cluster Detection
- 4 Experiments
- 4.1 Dataset
- 4.2 Ground Truth
- 4.3 Granularity
- 4.4 Evaluation Criteria
- 5 Experiment Results Discussion
- 6 Conclusions and Future Works
- References
- Sharing Linkable Learning Objects with the Use of Metadata and a Taxonomy Assistant for Categorization
- Abstract
- 1 Introduction
- 2 The G-LOREP-MOODLE Connections
- 2.1 Design and Environment Setting
- 2.2 Setting the Drupal Web-Service
- 2.3 G-LOREP Moodledata Download and Storage
- 2.4 Moodledata Upload in Moodle
- 3 G-LOREP Taxonomy Metadata
- 3.1 Metadata Storage in G-LOREP Through the Drupal API Field
- 3.2 The G-LOREP Taxonomy Assistant
- 3.3 Synonym Inherence as an Effectiveness Index
- 3.4 Inherence of Categories
- 4 Searching LO with a Semantics-Based AI
- 5 Conclusions and Future Work
- Acknowledgments
- References
- Affective Computing and Emotion Recognition (ACER-EMORE 2019)
- Affective Computing for Enhancing Affective Touch-Based Communication Through Extended Reality
- Abstract
- 1 Background
- 2 Affective Computing Systems
- 2.1 Affective Computing in Social Media
- 2.2 Affective Touch
- 3 Extended Reality Systems with Affective Computing
- 3.1 Augmented Reality with Affective Computing and Affective Touch
- 3.2 Virtual Reality with Affective Computing and Affective Touch
- 4 Future Directions for Affective Touch-Based Communication
- 5 Conclusions
- Acknowledgments
- References
- Humble Voices in Political Communication: A Speech Analysis Across Two Cultures
- Abstract
- 1 Introduction
- 2 The Humble Stance
- 3 Charisma and Its Multimodal Communication
- 4 The Multimodal Communication of Humble Leadership
- 5 The Voice of Humble Politicians Across Two Cultures
- 5.1 Comparing American and Italian Dominant and Humble Leaders
- 5.2 Method: Speech Material and Analysis
- 5.3 Results
- 5.3.1 STANCE: Humble vs Dominant Politicians
- 5.3.2 COUNTRY: Italy vs USA
- 5.4 Discussion and Conclusion
- References
- Computer-Generated Speaker Charisma and Its Effects on Human Actions in a Car-Navigation System Experiment - or How Steve Jobs' Tone of Voice Can Take You Anywhere
- Abstract
- 1 Introduction
- 1.1 The Importance of Charismatic Speech
- 1.2 Phonetic Exponents of Perceived Speaker Charisma
- 1.3 Using Machines for Understanding Perceived Speaker Charisma
- 1.4 The Goal of This Study
- 2 Method
- 2.1 Participants of the Test Drive
- 2.2 Map and Route of the Test Drive
- 2.3 Stimuli: Design and Synthesis of Navigation Prompts
- 2.4 Stimuli: Creation of Tone-of-Voice Conditions SJ and MZ
- 2.5 Car
- 2.6 Procedure of the Test Drive
- 3 Results
- 4 Discussion
- References
- Emotion Recognition for Self-aid in Addiction Treatment, Psychotherapy, and Nonviolent Communication
- Abstract
- 1 Introduction
- 2 An Architecture for Emotion Recognition for Self-aid
- 3 Self-aid Using ER for Three Real-Life Problems
- 4 Addiction Treatment
- 5 Circle of Security (COS)
- 6 Non-violent Communication (NVC)
- 7 Text ER Using the Semantic Emotions Model (SEMO)
- 8 Face ER Using Convolutional Neural Networks (CNN)
- 9 Conclusions
- Acknowledgments
- References
- Advances in information Systems and Technologies for Emergency management, risk assessment and mitigation based on the Resilience concepts (ASTER 2019)
- Risk Analysis: A Focus on Urban Exposure Estimation
- Abstract
- 1 Introduction
- 2 Exposure
- 2.1 Urban Exposure at Global Scale
- 2.2 Urban Exposure at Local Scale
- 3 Application of the Urban Exposure Function
- 3.1 Case A
- 3.2 Case B
- 4 Discussion
- 5 Conclusion
- References
- SAFE (Safety for Families in Emergency)
- Abstract
- 1 Introduction
- 2 Civil Protection 2.0
- 3 Integrating Social Activism and Certified Procedures
- 3.1 The User Family
- 3.2 The Geometaphor Neighborhood
- 3.3 Dynamically Quantifying Risk Parameters
- 4 Acting in SAFE
- 5 Final Remarks
- Acknowledgments
- References
- Blockchain and Distributed Ledgers: Technologies and Application (BDLTA 2019)
- Automatic Synthesis of Multilevel Automata Models of Biological Objects
- Abstract
- 1 Introduction
- 2 Problem Description
- 3 Features of MRFA and Synthesis Efficiency Criteria
- 4 Synthesis Method
- 4.1 Algorithm of Inductive Multilevel Synthesis
- 4.2 Algorithm of Deductive Multilevel Synthesis
- 5 Technology of Multilevel Synthesis for Biological Systems
- 6 Simulation Results for Biological Systems
- 7 Conclusion
- References
- Using Mathematical Models to Describe the Dynamics of the Spread of Traditional and Cryptocurrency Payment Systems
- Abstract
- 1 Introduction
- 2 Methodology
- 3 C2B Payment Systems
- 4 P2P Payment Systems
- 5 Application to Real-Life Cases
- 5.1 WebMoney
- 6 Summary
- References
- Self-Sovereign Identity for IoT Devices
- 1 Introduction
- 2 Overview of SSI Infrastructures
- 2.1 Authentication Protocol with DIDs
- 3 Anonymization Functionality
- 4 Decentralized Identity Usages in Application Development
- 5 Digital Identity in Logistic Chains
- 6 Existing Solutions and Differences
- 6.1 Source
- 6.2 Protocol
- 6.3 Standards
- 6.4 Our View
- 7 Conclusion
- References
- Error Detection in the Decentralized Voting Protocol
- 1 Introduction
- 2 Algebraic Preliminaries: Polynomial Interpolation
- 3 Decentralized Voting Protocol
- 4 Error Detection in the Data Set
- 5 Administrators' Faulty Shares
- 6 Voters' Dishonest Shares
- 7 Computational Remarks
- 8 Conclusion
- References
- Cryptography in Blockchain
- 1 Introduction
- 1.1 Importance of Cryptography
- 1.2 Importance of Choice
- 1.3 Basics of Blockchain
- 1.4 Hashes and Keys
- 2 Usage in Blockchain Platforms
- 2.1 Ethereum
- 2.2 Hyperledger Fabric
- 2.3 R3 Corda
- 2.4 Ripple
- 2.5 Quorum
- 3 Cryptanalysis
- 3.1 Hash Functions
- 3.2 Public-Key Algorithms
- 3.3 Ciphers
- 3.4 Cryptosystems
- 4 Conclusion
- References
- Implementation of an E-Voting Scheme Using Hyperledger Fabric Permissioned Blockchain
- 1 Introduction
- 2 Related Work
- 3 Used Technologies
- 4 Approach and System Architecture
- 4.1 Network Configuration
- 4.2 Voting Configuration
- 4.3 User Registration
- 4.4 Voting
- 4.5 Result Counting
- 4.6 Inspectors
- 5 Security Analysis
- 6 Conclusion
- References
- Evaluation of Tools for Analyzing Smart Contracts in Distributed Ledger Technologies
- 1 Introduction
- 2 Related Work
- 3 Problem Classification
- 3.1 More Detailed Description of the Problems
- 4 Tools
- 4.1 Comparing Tools
- 5 Conclusion and Future Work
- References
- Architecture of a Smart Container Using Blockchain Technology
- 1 Introduction
- 2 Current Situation
- 3 Hardware
- 4 Software
- 4.1 Container Software
- 4.2 Iroha Network
- 5 Conclusion
- References
- Methods of Formal Software Verification in the Context of Distributed Systems
- 1 Introduction
- 2 Formal Verification Tools
- 2.1 Isabelle/HOL
- 2.2 Coq
- 2.3 Verdi
- 2.4 TLA+
- 3 Summary
- 4 Conclusion
- References
- Analytical Comparison of DLT Platforms Activity
- 1 Introduction
- 2 Criteria and Rating Scale
- 3 Automated Information Collection System
- 4 Visualization
- 4.1 Kibana Visualize and Dashboard
- 4.2 Kibana Graph
- 5 Summary and Future Work
- 6 Conclusion
- References
- Electronic Expertise Using Distributed Ledger Technology
- 1 Introduction
- 2 Motivation
- 3 Related Work
- 4 Architecture
- 4.1 First Block
- 4.2 Second Block
- 4.3 Third Block
- 4.4 Fourth Block
- 4.5 Task Transfer
- 4.6 Solved Task Distribution
- 4.7 Aggregation of Marks
- 5 Implementation
- 5.1 Project Structure
- 6 Benchmark
- 7 Conclusion
- References
- Secret Voting: Knowledge vs Trust
- Abstract
- 1 Introduction
- 2 The Basic Postulate of Mistrust
- 3 Conventional System of Secret Voting
- 4 Voting Using "Black Boxes"
- 5 Estonian Internet Voting System
- 6 Requirement of Openness
- 7 Conditions for the Acceptability of the Voting System
- 8 Certification, Attestation, Audit and All That
- 9 Conclusions
- References
- Simulation of Distributed Applications Based on Containerization Technology
- 1 Introduction
- 2 Related Works
- 3 Approach
- 4 Results
- 4.1 Simulation
- 4.2 Monitoring
- 5 Analysis
- 6 Conclusions
- References
- Blockchain as a Platform for Fog Computing
- 1 Introduction
- 2 Architecture
- 3 System Components
- 4 Implementation
- 5 Corda Performance Evaluation
- 6 Conclusion
- References
- Blockchain Network Threats: The Case of PoW and Ethereum
- 1 Introduction
- 2 Why Ethereum
- 3 Simulation of Ethereum Network
- 4 Possible Attack
- 5 Analysis
- 6 Conclusions
- References
- Distributed Ledger Technology and Cyber-Physical Systems. Multi-agent Systems. Concepts and Trends
- Abstract
- 1 Introduction
- 2 Hierarchical Control
- 2.1 Objective Function
- 2.2 Hypergraph Systems Modeling
- 2.3 Directed Acyclic Graph (DAG)
- 3 Optimization
- 4 Smart Systems
- 4.1 Energy
- 4.2 Robotics
- 4.3 Virtual Power Plants (VPP). Definition
- 5 Algorithmic, Management and Technological Limitations
- 6 Conclusion
- References
- Deep Learning Approach for Prognoses of Long-Term Options Behavior
- Abstract
- 1 Introduction
- 2 Data Preparation
- 3 Data Normalization
- 4 Building the Model
- 5 Experiments
- 6 Conclusion
- References
- Bio and Neuro inspired Computing and Applications (BIONCA 2019)
- Using Neural Networks and Hough Transform for Leukocytes Differentiation in Blood Count Images
- 1 Introduction
- 2 Related Work
- 3 Blood Cells
- 4 Methodology
- 4.1 Preprocessing
- 4.2 Characteristics Extraction
- 4.3 Differentiation Artificial Neural Network
- 5 Results
- 6 Conclusion
- References
- Efficient Application Mapping onto Three-Dimensional Network-on-Chips Using Multi-Objective Particle Swarm Optimization
- 1 Introduction
- 2 Related Work
- 3 Application and IP Repository Models
- 4 IP Assignment and Mapping
- 5 IP Mapping with Multi-objective Particle Swarm Algorithm
- 6 Objective Functions
- 6.1 Area
- 6.2 Power Consumption
- 6.3 Execution Time
- 7 Performance Results
- 8 Conclusions
- References
- Evolutionary Design of Approximate Sequential Circuits at RTL Using Particle Swarm Optimization
- 1 Introduction
- 2 Related Work
- 3 Multi-objective Particle Swarm Optimization
- 4 Proposed Approach
- 4.1 Circuit Representation
- 4.2 Objectives
- 4.3 Search Methodology
- 5 Experiments and Results
- 6 Conclusion
- References
- Machine Learning Models for Depression Patient Classification Using fMRI: A Study
- Abstract
- 1 Introduction
- 2 Literature Survey
- 2.1 Model Based
- 2.2 Data Driven
- 3 Performance Parameters
- 4 Conclusion
- References
- Computer Aided Modeling, Simulation, and Analysis (CAMSA 2018)
- Detection of Faults in an Osmotic Dehydration Process Through State Estimation and Interval Analysis
- Abstract
- 1 Introduction
- 2 Theoretical Framework
- 2.1 Problem Statement
- 2.2 Studied Process (Osmotic Dehydration of Pineapple)
- 3 Methodology
- 3.1 Interval Analysis Fundamentals
- 3.2 Inversion Set
- 3.3 State Estimation
- 3.4 Prediction and Correction
- 3.5 Extended Mean Value (EMV)
- 3.6 Envelope-Based Fault Detection and Diagnosis Algorithm
- 4 Results and Analysis
- 5 Conclusions
- References
- Security-State Estimation of Electrical Power Systems: A Methodological Proposal
- Abstract
- 1 Introduction
- 2 Machine Learning in Power System Security-State Estimation
- 3 Machine Learning in Power System Security-State Estimation
- 3.1 Measurements
- 3.2 Indices Calculation
- 3.3 Security State Assignment
- 3.4 Model Building
- 4 Methodology Implementation
- 5 Simulations and Results
- 5.1 Conclusions
- References
- Robust Control of an Evaporator Through Algebraic Riccati Equations and D-K Iteration
- Abstract
- 1 Introduction
- 2 Considered Evaporation Process
- 2.1 Modeling Considerations
- 2.2 Model Equations
- 3 Control System Design
- 3.1 Model Equations
- 3.2 Controllers
- 4 Results and Analysis
- 4.1 Results of the Nominal Closed Loop Simulation
- 4.2 Results of Simulation Considering Perturbations in Inputs
- 4.3 Results of the Simulation Considering Uncertainties in the Parameters of the System
- 5 Conclusion
- References
- On the Feasibility of Probabilistic Model Checking to Analyze Battery Sustained Power Supply Systems
- 1 Introduction
- 2 Probabilistic Model Checking
- 3 Power Supply Systems
- 3.1 Solar Power System
- 3.2 Batteries of Artificial Satellites
- 4 Modeling and Properties Formalization
- 4.1 Solar Power System Modeling and Properties Formalization
- 4.2 Batteries of Artificial Satellites Modeling and Properties Formalization
- 5 Results Evaluation
- 5.1 Solar Power System Results
- 5.2 Batteries of Artificial Satellites Results
- 6 Discussion of Related Work
- 7 Conclusions
- References
- A Telemedicine System Using Petri Nets
- Abstract
- 1 Introduction
- 2 Definitions
- 2.1 Service Oriented Architecture (SOA)
- 2.2 Petri Net
- 3 General Architecture Proposal
- 4 Model in Colored Petri Nets
- 5 Conclusion
- References
- Particle Charging Using Ultra-Short Pulse Laser in the Ideal Maxwellian Cold Plasma for Cancer Treatment Based on Hadron Therapy
- Abstract
- 1 Introduction
- 1.1 Motivation
- 2 Contribution
- 2.1 Charged Particle Specifications in Applied Fields
- 2.2 Ultra-Short Pulse Laser Propagation in the Plasma Channel
- 2.3 Maxwell-Boltzmann Distribution
- 2.4 Cold Plasma
- 2.5 Plasma Particle Phenomena
- 3 Hadron Therapy Procedure Based on Charged Particles
- 3.1 Definition
- 3.2 Hadron Therapy Methods
- 4 Simulations and Experimental Results
- 4.1 Particles in the Plasma Channel with Electromagnetic Field
- 4.2 Ideal Maxwellian Energy Distribution for Charged Particles
- 5 Conclusion and Prospective Works
- References
- Author Index
System requirements
File format: PDF
Copy protection: Watermark-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Use the free software Adobe Reader, Adobe Digital Editions, or any other PDF viewer of your choice (see eBook Help).
- Tablet/Smartphone (Android; iOS): Install the free app Adobe Digital Editions or another reading app for eBooks, e.g., PocketBook (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (only limited: Kindle).
The file format PDF always displays a book page identically on any hardware. This makes PDF suitable for complex layouts such as those used in textbooks and reference books (images, tables, columns, footnotes). Unfortunately, on the small screens of e-readers or smartphones, PDFs are rather annoying, requiring too much scrolling.
This eBook uses Watermark-DRM, a „soft” copy protection. This means that there are no technical restrictions to prevent illegal distribution. However, there is a personalised watermark embedded in the eBook that can be used to identify the purchaser of the eBook in the event of misuse and to provide evidence for legal purposes.
For more information, see our eBook Help page.