Computer Aided Systems Theory - EUROCAST 2015

Name: Computer Aided Systems Theory - EUROCAST 2015 | 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers

Roberto Moreno-Díaz Franz Pichler Alexis Quesada-Arencibia(Herausgeber*in)

Springer (Verlag)

Erschienen am 17. Dezember 2015

XVIII, 887 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-319-27340-2 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Intro
Preface
Organization
Contents
Systems Theory and Applications
Which State Feedback Control Laws will not Alter the System's Transfer Function?
Abstract
1 Problem Formulation
2 Model Matching by State Feedback
3 Parameterization of State Feedback Control Laws
4 Example
5 Conclusions
References
A Simple Linearisation of the Self-shrinking Generator
1 Introduction
2 Fundamentals and Basic Notation
2.1 The Self-shrinking Generator
2.2 Cellular Automata
3 The Self-shrinking Generator in Terms of Linear CA
4 90/150 CA Versus 102/60 CA
5 Application of the CA to the Self-shrinking Generators Cryptanalysis
6 Conclusions
References
Systems Theory and Model of Diversification in Building of Information Systems
Abstract
1 Introduction
2 Current Situation in Building of Information Systems
3 Proposed Model in Building of Information Systems
4 Conclusion
Acknowledgments
References
Time Sub-Optimal Control of Triple Integrator Applied to Real Three-Tank Hydraulic System
1 Introduction
2 Problem Statement
3 Nonlinear Decomposition
4 Time Sub-Optimal Solution
5 Application to the Real Three-Tank Hydraulic System
5.1 Model of the Hydraulic System
5.2 Exact Linearization Method
5.3 Control of the Real System
6 Conclusions
References
Use of the Automatic Identification System in Academic Research
Abstract
1 Introduction
2 The AIS Functional Overview
3 AIS Research Environments
4 MarineTraffic Academic AIS Network
5 Some Empirical Applications Related to Las Palmas Port
6 Conclusions
References
Application of Multi-valued Decision Diagrams in Computing the Direct Partial Logic Derivatives
1 Introduction
2 Background Theory
3 Representation of Structure Functions by MDDs
4 Direct Partial Logic Derivative and MSS Measures
5 Experimental Results
6 Concluding Remarks
References
Identification of First Order Plants by Relay Feedback with Non-symmetrical Oscillations
1 Introduction
1.1 Method Derivation
2 PI1 - Controller
3 Real Experiment - Fan RPM
3.1 Identification
3.2 Control
4 Real Experiment - Temperature
4.1 Identification
4.2 Control
5 Conclusion
References
Managing Certificate Revocation in VANETs Using Hash Trees and Query Frequencies
1 Introduction
2 Related Work
3 Managing Certificate Revocation
4 Building the Tree
5 Conclusions
References
Constrained Pole Assignment Control for a 2nd Order Oscillatory System
1 Introduction
2 Problem Formulation
2.1 Stability and Controllability
2.2 Linear Pole Assignment PD Control for Real Poles
2.3 Invariant Sets of Linear Control GL
2.4 Reference Braking Curves RBCj
2.5 Controllers Decreasing the Distance from RBC
2.6 Constrained PD Controller for Distance l( x) =y-yb
2.7 Constrained PD Controller for Distance Definition 1( x) =-b
3 Conclusions
References
Parallel and Distributed Metaheuristics
1 Introduction
2 Optimization Dilemmas
3 Ultramodern Approaches
4 New Attitudes
5 Metaheuristics
6 Parallel Metaheuristics
7 Distributed Metaheuristics
8 Conclusions and Comments
References
Dynamic Similarity and Distance Measures Based on Quantiles
1 Introduction to Cluster Analysis
2 Dispersion and Multi-splits: Boxplot as a Similarity Measure
2.1 Number of Clusters
2.2 The Best Splits
3 Conclusion and Future Work
References
Eulerian Numbers Weigths in Distributed Computing Nets
1 Introduction
1.1 Convergent-Divergent Layered Nets
1.2 Newton-Hermite Filters
2 Eulerian Numbers, Eulerian Networks and Eulerian Filters
3 Higher Order Euler Filters and Hermitian Euler Formulation
4 Conclusion
References
Autonomous Paracopter Control Design
1 Introduction
2 Propeller Pendulum
3 Relay System Identification
4 Application to the Propeller Pendulum Control
5 Conclusions and Future Work
References
A Class of 3-D Distributed Modular Computing Nets
1 Introduction and Objectives
2 From Pascal Pyramids to Pascal Filters and Nets
3 Newton and Newton-Hermite 3-D Filters and Nets
4 Conclusion
References
Standardized Mapping Model for Heritage Preservation and Serendipity in Cloud
Abstract
1 Introduction
1.1 Context of Preservation and Serendipity Concepts
1.2 Quality Attributes
2 Architectural Framework
3 Architecture Vision
4 Evaluation Methods
5 Cost Model for Digital Preservation
6 Future Projects
7 Conclusion
References
Structuring the Model of Complex System Using Parallel Computing Techniques
1 Introduction
2 Complex Systems Properties
3 Computational Complexity
4 Structuring a Complex Systems Models
5 Modeling of Collective Animal Behavior
6 Conclusion
References
The Evolution of Models: Uncovering the Path of Model Improvement
Abstract
1 Purpose
2 A Generic Model of the Modeling Process
3 Simulation Results
4 Conclusion
Acknowledgement
References
Modelling Biological Systems
Some Remarks on First-Passage Times for Integrated Gauss-Markov Processes
1 Introduction
2 Main Results
2.1 FPT Through One Boundary
2.2 FPT in the Two-Boundary Case: First Exit Time from an Interval
References
A Sequential Test for Evaluating Air Quality
1 Introduction
2 The Proposed Methodology
3 The Data
4 Results
5 Some Concluding Remarks
References
Population Models and Enveloping
1 Introduction
2 Enveloping
2.1 Linear Fractionals
2.2 Enveloping Examples
2.3 Enveloping by a Linear Fractional is only Sufficient
2.4 Other Enveloping Functions
3 Techniques A and B
4 General Theorem
4.1 Multifunctions
4.2 Multidimensional
5 Summary Table
6 Conclusion
References
Fractional Growth Process with Two Kinds of Jumps
1 Introduction
2 Background and Preliminary Results
2.1 Fractional Poisson Process
2.2 Jump Process with 2 Kinds of Jumps
3 Fractional Growth Process
References
Towards Stochastic Modeling of Neuronal Interspike Intervals Including a Time-Varying Input Signal
1 Introduction
2 The Model
3 Some Numerical and Simulation Results
3.1 An Asymptotic Approximation for gV1(S,t|v0,0)
3.2 Some Comparisons
References
A Cancer Dynamics Model for an Intermittent Treatment Involving Reduction of Tumor Size and Rise of Growth Rate
1 Introduction
2 The Model
3 Some Remarks
4 Numerical Analysis
References
On Time Non-homogeneous Feller-Type Diffusion Process in Neuronal Modeling
1 Diffusion Neuronal Models
1.1 Feller-Type Process
1.2 Ornstein-Uhlenbeck Process
2 Some Comparisons
References
Intelligent Information Processing
A Practical Experience on Reusing Problem-Solving Methods for Assessment Tasks
Abstract
1 Introduction
1.1 Problem-Solving Methods
2 An Assessment Task for the Selection of Wastewater Treatment Technologies
2.1 Identify Key Domain Concepts
2.2 Adapt the PSM and Operationalise the Inferences
3 Conclusions
Acknowledgements
References
Requirements for Long-Term Preservation of Digital Videos and First Experiments with an XMT-Based Approach
1 Introduction
1.1 Long-Term Preservation
1.2 Requirements for the Preservation of Digital Videos
1.3 Archiving Infrastructure and Processes
2 XMT-Based Approach for Archiving Digital Videos
2.1 Design and Implementation of a First Prototype
2.2 Advantages of the Approach
2.3 Challenges Related to the Approach
3 Outlook and Conclusions
References
Adaptive Flood Forecasting for Small Catchment Areas
Abstract
1 Introduction and Motivation
2 Related Research
3 Flood Forecasting System for Small Catchment Areas
3.1 Continuous Situation Awareness Component
3.2 Dynamic Workflow Component
4 Results
5 Conclusion and Future Work
Acknowledgments
References
A Scalable Monitoring Solution for Large-Scale Distributed Systems
1 Introduction
2 Related Work
3 System Description
4 Ground Model of the Monitoring Framework
5 Monitoring Metrics
6 Future Refinements of the Model
7 Conclusions
References
Using Smart Grid Data to Predict Next-Day Energy Consumption and Photovoltaic Production
1 Introduction
2 Materials and Methods
2.1 Predicting Load Profiles
2.2 Predicting PV Power Production
3 Results
4 Discussion
References
Sitting Property-Based Testing at the Desktop
1 Introduction
2 Example of Typical Desktop Ecosystem Inhabitants: Heterogeneous Components of an Alarm Service
3 Running QuickCheck-Generated Tests over D-Bus
4 Discussion
5 Conclusions
References
Adaptation Engine for Large-Scale Distributed Systems
1 Introduction
2 Knowledge Management Using Case-Based Reasoning
2.1 Motivation
2.2 Case-Based Reasoning
3 Adaptation Approach in Terms of Action Management
4 Future Development
5 Related Work
6 Conclusions
References
Theory and Applications of Metaheuristic Algorithms
A Multi-stage Approach Aimed at Optimizing the Transshipment of Containers in a Maritime Container Terminal
1 Introduction
2 Maritime Container Terminals
3 Related Works
4 Optimization Approach
5 Computational Experiments
6 Conclusions and Further Research
References
A Greedy Randomized Adaptive Search Procedure for Solving the Uncapacitated Plant Cycle Problem
1 Introduction
2 Problem Description
3 Algorithm Approach
4 Analysis
5 Conclusions and Future Work
References
On the Comparison of Decoding Strategies for a Memetic Algorithm for the Multi Layer Hierarchical Ring Network Design Problem
1 Introduction
2 Multi Layer Hierarchical Ring Network Design
3 A Memetic Algorithm for MLHRND
4 Decoding Strategies
5 Results
6 Conclusions and Future Work
References
Metaheuristics and Cloud Computing: A Case Study on the Probabilistic Traveling Salesman Problem with Deadlines
1 Introduction
2 The Probabilistic Traveling Salesman Problem with Deadlines
3 Computational Studies
3.1 Benchmark Instances
3.2 Experimental Setup
3.3 Results
4 Discussion and Conclusions
References
Optimizing Set-Up Times Using the HeuristicLab Optimization Environment
1 Introduction
2 Set-Up Time Optimization
2.1 Concept
2.2 Strategies
3 Experiments
3.1 Naive Approach
3.2 Optimized Approach I
3.3 Optimized Approach II
3.4 Optimized Approach III
3.5 Overall Performance
4 Conclusion
References
The Bike Request Scheduling Problem
1 Introduction: The Bike Request Scheduling Problem
2 Methodology
3 Problem Definition and Mathematical Model
4 NP Hardness of the BRSP
5 Conclusion
References
Classification of the States of Human Adaptive Immune Systems by Analyzing Immunoglobulin and T Cell Receptors Using ImmunExplorer
1 Introduction: The Adaptive Immune System and Its Receptors
2 Methods
3 Empirical Study
4 Conclusion and Outlook
References
Classifying Human Blood Samples Using Characteristics of Single Molecules and Cell Structures on Microscopy Images
1 Introduction
2 An Automatic Detection and Feature Extraction Algorithm for Classifying Human Disease States
2.1 Image Processing
2.2 Feature Extraction
2.3 Machine Learning
3 Empirical Study: Classifying Blood Samples of Patients at Critical and Non-Critical Disease States
3.1 Majority Vote Thresholding
3.2 Classification Results
4 Conclusion and Outlook
References
Prediction of Stem Cell Differentiation in Human Amniotic Membrane Images Using Machine Learning
1 Research Goal
2 Methods
2.1 Image Processing
2.2 Machine Learning Methods
3 Results
3.1 Ensemble Modeling Approach
3.2 Results for Image Parts
3.3 Results for Merged Image Parts
4 Conclusion
References
Dynamics of Predictability and Variable Influences Identified in Financial Data Using Sliding Window Machine Learning
1 Research Goal
2 Data and Data Preprocessing
3 Methods
3.1 Machine Learning
3.2 Accuracy and Confidence of Model Ensembles
3.3 Calculation of the Relevance of Variables
4 Modeling Results
4.1 Dynamics of Accuracies and Classification Confidence over Time
4.2 Dynamics of Variable Impacts over Time
5 Conclusion
References
Modeling a Lot-Aware Slab Stack Shuffling Problem
1 Introduction
1.1 Motivation
2 Problem Description
2.1 Lot-Building Problem
2.2 Stacking Problem
2.3 Interdependency
3 Empirical Studies
4 Conclusion and Future Work
References
Heuristic Approaches for the Probabilistic Traveling Salesman Problem
1 Introduction
2 Construction Heuristics
2.1 TSP Construction Heuristics on PTSP
2.2 Construction Heuristics for PTSP Using Probabilities
3 Variable Neighborhood Search
4 Computational Results
5 Conclusions and Future Work
References
Increasing the Sensitivity of Cancer Predictors Using Confidence Based Ensemble Modeling
1 Introduction
2 Ensemble Modeling
3 Ensemble with Weighted Performance Measures
4 Conclusion and Future Perspectives
References
Optimization Strategies for Integrated Knapsack and Traveling Salesman Problems
1 Introduction and Literature Review
1.1 Lagrange Decomposition
2 A General Integrated Optimization Methodology
2.1 Orchestration of Solvers
2.2 Sub-problem Input Variegation
2.3 Algorithms
3 Results
4 Conclusions and Future Work
References
On the Effectiveness of Genetic Operations in Symbolic Regression
1 Introduction
2 Methodology
2.1 Tracing of Genotype Fragments
2.2 Analysis of Population Dynamics
3 Experiments
4 Conclusion and Outlook
References
Smooth Symbolic Regression: Transformation of Symbolic Regression into a Real-Valued Optimization Problem
1 Introduction
1.1 Symbolic Regression
1.2 Fitness Landscape Analysis
2 Transformation
3 Experimental Results
4 Conclusions
References
A Scalable Approach for the K-Staged Two-Dimensional Cutting Stock Problem with Variable Sheet Size
1 Introduction
1.1 Cutting Tree
2 Related Work
3 A Congruency-Aware Construction Heuristic
3.1 Congruency-Aware Critical-Fit Insertion Heuristic
4 Sheet Type Selection by Beam-Search
4.1 Node Evaluation
5 Computational Results
6 Conclusions and Future Work
References
Diversity-Based Offspring Selection Criteria for Genetic Algorithms
1 Introduction
2 The Offspring Selection Genetic Algorithm
3 New Offspring Selection Approaches
3.1 Parent Diversity Offspring Selection Criterion
3.2 Population Diversity Preservative Offspring Selection
4 Experiments
4.1 Empirical Study
4.2 Comparison
5 Conclusion and Future Work
References
CPU Versus GPU Parallelization of an Ant Colony Optimization for the Longest Common Subsequence Problem
1 Introduction
2 Related Work
3 Longest Common Subsequence Problem
4 An Ant Colony Optimization for LCS
4.1 Construct Ant Solution
5 Results
5.1 Parallel Execution
5.2 Architecture Specific Parameter Tuning
6 Conclusions
References
Complexity Measures for Multi-objective Symbolic Regression
1 Introduction
2 Multi-objective Symbolic Regression
3 Experiments
4 Results
5 Conclusion
References
Using Contextual Information in Sequential Search for Grammatical Optimization Problems
1 Introduction
2 Motivation
3 Grammatical Optimization Problems
4 Sequential Decision Processes
5 Monte-Carlo Tree Search
6 Using Contextual Information
7 Summary
References
A New Type of Metamodel for Longitudinal Dynamics Optimization of Hybrid Electric Vehicles
1 Introduction
2 Related Work
3 Metamodels and HEV Optimization
4 Bottom-Up Metamodels for HEVs
4.1 Formal Description of Bottom-Up Metamodels
4.2 Obtaining Training Scenarios
5 Experiments
6 Conclusion and Future Work
References
Automatic Adaption of Operator Probabilities in Genetic Algorithms with Offspring Selection
1 Introduction
2 Offspring Selection
3 Automatic Adaption of Crossover and Mutation Operator Weights
4 Experimental Results and Analysis
5 Summary and Conclusion
References
A Cluster-First Route-Second Approach for Balancing Bicycle Sharing Systems
1 Introduction
2 Related Work
3 Problem Definition
4 Logic-Based Benders Decomposition Scheme
5 Computational Results
6 Conclusions and Future Work
References
Computer Methods, Virtual Reality and Image Processing for Clinical and Academic Medicine
MATLAB/Simulink-Supported EMG Classification on the Raspberry Pi
1 Introduction
2 Myoelectric Signal Classification
3 Raspberry Pi Prototype
3.1 Hardware Setup
3.2 Feature Extraction and Classifier Training
3.3 Classifier Operation and Prosthesis Actuation
3.4 Experimental Validation
4 Conclusion and Future Work
References
Applicability of Patient-Specific Simulation
1 Background
2 Simulator
3 Data Sources
3.1 High-Fidelity Segmentation
3.2 High-Speed Segmentation
3.3 Image Processing Pipeline
4 Simulation Engine
5 Conclusions
References
Application of Image Processing and Virtual Reality Technologies in Simulation of Laparoscopic Procedures
1 Introduction
2 Developing a Laparoscopic Simulators for the Future
2.1 Software Should Dominate Hardware
2.2 Minimally Invasive Surgery Simulators Cultivate Human Brain
2.3 Visual Channel Is the Most Important
2.4 Scope of Data Extraction
2.5 Tracking the Instrument Movement
3 Virtual Reality in Laparoscopic Surgery Simulations
3.1 Image Processing for Instrument Position Identification
3.2 3D Graphics Rendering Engine and Real-Time Physics
4 Conclusion
References
Differential Evolution Multi-objective Optimisation for Chemotherapy Treatment Planning
1 Introduction
2 Multi-objective Nature of Chemotherapy Process
2.1 Constraints of an Chemotherapy Optimization Problem
2.2 Treatment Objectives in a Chemotherapy Optimization Problem
3 Multi-objective Optimization with Differential Evolution Approach
3.1 Differential Mutation and Crossover Operators
3.2 Chemotherapy Treatment Planning
4 Conclusion
References
Automatic Selection of Video Frames for Hyperemia Grading
1 Introduction
2 Methodology
3 Results
4 Conclusions and Future Work
References
A Texture-Based Method for Choroid Segmentation in Retinal EDI-OCT Images
1 Introduction
2 Research Methodology
2.1 ROI Extraction
2.2 Texture-Based Characterization
2.3 Choroid Segmentation
3 Results
4 Conclusions
References
Analysis of Global and Local Intensity Distributions for the Segmentation of Computed Tomography Images
1 Introduction
2 Anisotropic Filtering
3 Global Segmentation
4 Local Analysis
5 Regularization
6 Results and Conclusion
References
Complexity Analysis of HEVC Decoding for Multi-core Platforms
1 Introduction
2 Complexity Model for HEVC Decoder
3 HEVC Tools for Parallel Processing
4 Tile Partitioning for Load Balancing
5 Conclusions
References
Signals and Systems in Electronics
On the Sensitivity Degradation Caused by Short-Range Leakage in FMCW Radar Systems
1 Introduction
2 System Model
3 Short-Range Leakage Analysis
3.1 Time-Domain Analysis
3.2 Frequency-Domain Analysis
4 Simulation Results
References
Parameter Optimization for Step-Adaptive Approximate Least Squares
1 Introduction
2 Approximate Least Squares
3 Step-Adaptive Approximate Least Squares (SALS)
4 Simulation Results
5 Conclusion
References
Extrinsic LLR Computation by the SISO LMMSE Detector: Four Different Approaches
1 Introduction
2 System Model
3 Extrinsic LLR Computation
3.1 Approach 1 - Tuechler Approach
3.2 Approach 2 - Joint Gaussian Approach
3.3 Approach 3 - Gaussian Model Approach
3.4 Approach 4 - Factor Graph Approach
4 Equivalence of the Approaches
5 Conclusion
References
CWCU LMMSE Estimation Under Linear Model Assumptions
1 Introduction
2 CWCU LMMSE Estimation
2.1 Complex Proper Gaussian Parameter Vectors
2.2 Complex Parameter Vectors with Mutually Independent Elements
2.3 Other Cases
3 Applications
3.1 QPSK Data Estimation
3.2 Channel Estimation
4 Conclusion
References
Model Based Design of Inductive Components - A Comparision Between Measurement and Simulation
1 Introduction
2 Application Description
3 Modelling Process
4 Measurement Setup
5 Comparison Between Measurement and Simulation
6 Conclusion and Future Prospects
References
Model-Based System Design, Verification and Simulation
Dynamic Validation of Contracts in Concurrent Code
1 Introduction
2 Related Work
3 Contracts for Concurrency
4 Dynamic Validation of Contracts
4.1 Detection of Contracts
4.2 Checking the Atomicity Condition
4.3 Discussion of the Proposed Approach
5 Experiments
6 Conclusion
References
Formal Modeling of a Client-Middleware Interaction System Regarding Content and Layout Adaptation
1 Introduction
2 Background
3 Client-Cloud Adaptivity Component
3.1 Requirements Elicitation
3.2 Formal Specification Using ASMs and ASMETA
3.3 Validation
3.4 Verification
4 Conclusions
References
Modeling Accuracy of Indoor Localization Systems
1 Introduction
2 Related Work
3 Challenges in Accuracy Modeling
4 Conclusions
References
Request Driven Generation of RFLP Elements at Product Definition
Abstract
1 Introduction
2 Knowledge Driven Self Adaptive Product Model
3 Request Driven Element and Feature Definition
4 Conclusions
References
Modeling of a High Voltage Ignition Coil with Nonlinear Magnetic Behavior
1 Introduction
2 Simulation
3 Test Rig and Measurement
4 Results
5 Conclusion and Outlook
References
Simple Models of Central Heating System with Heat Exchangers in the Quasi-static Conditions
Abstract
1 Introduction
2 The Basic Heat Exchangers
3 The Simple Models of Heat Exchangers
4 The Simulation Studies
5 The Analytical Studies
6 Conclusions
References
Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems
1 Introduction
2 Preliminaries
3 Description of the Proposed Data Hazard Verification Method
3.1 Static Detection of Data Hazards
3.2 Construction of Parameterized Systems Modelling the Potential Hazards
4 Experimental Evaluation
5 Conclusion
References
Digital Signal Processing Methods and Applications
Evaluation and Optimization of GPU Based Unate Covering Algorithms
1 Introduction
2 Unate Covering - the Problem
3 Evaluation of UCP-Algorithms
4 Optimization of the Fastest GPU-Algorithm
5 Experimental Results
6 Conclusion
References
On the Complexity of Rules for the Classification of Patterns
Abstract
1 Introduction
2 Scenarios
2.1 Introductory Remark
2.2 Gedanken Experiment
3 Analysis of Complexity
4 Conclusions
References
Remarks on Characterization of Bent Functions in Terms of Gibbs Dyadic Derivatives
1 Introduction
2 Background Theory
2.1 Bent Functions
3 Dyadic Gibbs Derivative
3.1 Matrix Interpretation of the Dyadic Gibbs Derivative
3.2 Computing the Dyadic Gibbs Derivative
4 Dyadic Derivative and Bent Functions
4.1 Checking if a Function Is Bent
5 Concluding Remarks
References
The Extended 1-D (One-Dimensional) Discrete Phase Retrieval Problem
1 Introduction
2 The Iterative Algorithm for 1-D DPhR Problem
3 Case Studies
4 The Extended 1-D DPhR Problem
4.1 Statement of the Extended One Dimensional Discrete Phase Retrieval Problem
4.2 Example Revisited
5 Conclusions
References
Statistically Characterizing Void Density by Ultrasonic Speckles
1 Introduction
2 Experimental Set--up
3 Theory of US--Speckles
4 Measurement Results
5 Conclusions
References
The Quantization Effect on Audio Signals for Wildlife Intruder Detection Systems
1 Introduction
2 Theoretical Background
3 Framework
4 Simulation Results -- Quantization Effect
5 Conclusions
References
Combining Relational and NoSQL Database Systems for Processing Sensor Data in Disaster Management
Abstract
1 Introduction and Motivation
2 Related Research
3 Combined Relational and NoSQL-Based Sensor Data Processing and Analysis
4 Results
5 Conclusion and Future Work
Acknowledgments
References
Modelling and Control of Robots
An Almost Time Optimal Route Planning Method for Complex Manufacturing Topologies
1 Introduction
2 Problem Formulation
3 Integer Linear Program Formulation
4 Heuristic Methods
4.1 MST - Heuristic
4.2 Christofides Heuristic
5 Results
6 Conclusion
References
Serre-Frenet Frame in n-dimensions at Regular and Minimally Singular Points
1 Introduction
2 n Dimensional Serre-Frenet Frame
3 n-SF Frame at Minimally Singular Points
4 Simulations
5 Conclusions
References
An Efficient Method for the Dynamical Modeling of Serial Elastic Link/Joint Robots
1 Introduction
2 Dynamical Modeling
2.1 Subsystems
2.2 Dynamical Stiffening
2.3 Equations of Motion - Linearization
3 Model Analysis
3.1 Choice of Ansatz Functions
3.2 Effect of Dynamical Stiffening
3.3 Eigenmode Analysis
4 Conclusion
References
On Impact Behavior of Force Controlled Robots in Environments with Varying Contact Stiffness
1 Introduction
2 Position and Force Control
2.1 Feed--Forward Control
2.2 Acceleration Feed--Back
3 Experiment
4 Conclusion
References
A Robotic Platform Prototype for Telepresence Sessions
Abstract
1 Introduction
2 Objectives
3 Critical Design Decisions
4 Architecture Overview
4.1 Hardware Components
4.2 Software System
4.3 Communication Interfaces
5 Results and Conclusions
References
Ocean Glider Path Planning Based on Automatic Structure Detection and Tracking
1 Ocean Features in Path Planning
2 Eddy Detection
2.1 Techniques
2.2 Detection Algorithm
2.3 Comparison of Detection
3 Feature Tracking
3.1 Tracking Algorithm
3.2 Statistical Examination
3.3 Multi-model Approach
4 Path Planning
5 Conclusion
References
Mobile Platforms, Autonomous and Computing Traffic Systems
Mobile AgeCI: Potential Challenges in the Development and Evaluation of Mobile Applications for Elderly People
1 Motivation and Setting
2 Mobile Training App for Rollator Users
3 Evaluation of the App
4 Challenges and Recommendations
4.1 Deviant Interaction
4.2 Fears and Trust
4.3 Reduction of Complexity
4.4 Fidelity of Prototype
4.5 Training Motivation
5 Conclusion
References
Cross Pocket Gait Authentication Using Mobile Phone Based Accelerometer Sensor
1 Introduction
2 Data Collection
3 Data Description and Processing
3.1 Walk Separation
3.2 Zero Normalization
3.3 Interpolation
3.4 Noise Removal
4 Segmentation
4.1 Cycle Length Estimation
4.2 Cycle Detection
4.3 Omitting Unusual Cycles
5 Results and Discussion
6 Conclusion and Future Outlook
References
SIFT and SURF Performance Evaluation and the Effect of FREAK Descriptor in the Context of Visual Odometry for Unmanned Aerial Vehicles
1 Introduction
2 Methods
3 Experiments
3.1 Datasets
3.2 Image Transformations
3.3 Evaluation
4 Results
5 Conclusion
References
Stereo Road Detection Based on Ground Plane
1 Introduction
2 Change Perspective to Bird View
2.1 Automatic Extrinsic Extraction from Road Plane
2.2 Homographic Transform
3 Road Segmentation
3.1 Road Markings Mask
3.2 Road Lines and Lanes Detection
3.3 Identification of Lanes on the Road in Adjacent Fashion
4 Line Classification
4.1 Descriptor
4.2 Classifier
5 Temporal Consistency
References
Clustering Traffic Flow Patterns by Fuzzy C-Means Method: Some Preliminary Findings
Abstract
1 Introduction
2 Relevant Literature
3 Flow Pattern Specification Process
3.1 Traffic Flow Simulation Process
3.2 Flow Pattern Classification by Fuzzy C-Means Clustering
3.2.1 Fuzzy C-Means Clustering Method
3.2.2 Fuzzy C-Means Algorithm
4 Numerical Implementations Using Fuzzy C-Means Clustering
5 Conclusions
Acknowledgments
References
Platoon Driving Intelligence. A Survey
1 Introduction
2 Intersections
3 Communications
4 Formations (Platooning Control)
5 Security
6 Future Directions
References
How to Simulate Traffic with SUMO
References
Cloud and Other Computation Systems
Using Data Mining to Improve the Public Transport in Gran Canaria Island
1 Introduction
2 Related Works
3 Methodology and Tools
3.1 CRISP-DM
3.2 Pentaho Community Edition
3.3 Weka
4 The Data Mining Project
4.1 Business Understanding
4.2 Data Understanding
4.3 Data Preparation
4.4 Modeling
4.5 Evaluation
5 Conclusions
References
A New Large Neighborhood Search Based Matheuristic Framework for Rich Vehicle Routing Problems
1 Introduction
2 The Multi Depot Multi Period Vehicle Routing Problem with Heterogeneous Fleet
2.1 Problem Definition
2.2 Definitions and Notations
3 A Mixed Integer Programming Model for the MDMPVRPHF
4 Algorithm Description
5 Computational Results
6 Conclusions
References
A Cloud Architecture Approximation to Collaborative Environments for Image Analysis Applications
1 Collaborative Environments and Cloud Architectures
1.1 Cloud Architectures
1.2 Background
2 Our Proposal: A Collaborative Cloud Computing Architecture
2.1 Architecture of a Basic Process
2.2 Complex Tasks: Chaining Processes
3 Conclusions
References
Deployment Models and Optimization Procedures in Cloud Computing
1 Cloud Computing
2 Virtual Machine
3 Deployment Model ? Problem Description
4 Optimization Problem
5 Orchestrator
5.1 Smarter Cloud Orchestrator at Wroclaw University of Technology
5.2 Lower Silesia Educational Cloud
5.3 Target LSEC Model
5.4 Functional Assumptions of LSEC
6 Reflections Concerning Cloud Computing
6.1 Roadmap for Education Transformation and Sustainability
6.2 Personalized Education Through Analytics on Learning Systems
7 Summary
References
A Model for Intelligent Treatment of Floodwaters
Abstract
1 Introduction
2 Brief Description of the Model
3 Mathematical Notation of the Model
4 The Computational Model
4.1 The Tables and Their Values
4.2 The Parameters, Variables and Their Values
4.3 Dependencies Between the Variables
4.4 The Definition of a Typical View Written in SQL
4.5 The Input Data Generator
5 Case Studies
5.1 The June 2013 Inundation
5.2 Same Inundation After Eliminating Sediments
5.3 Same Inundation Having Flood Preventing Constructions
6 Recommendations
6.1 Define Appropriate Rules of Operation
6.2 Eliminate Sediments
6.3 Build Flood Polders
6.4 Develop an App for Smart Phones
7 Conclusion
References
Hybrid Method for Forecasting Next Values of Time Series for Intelligent Building Control
Abstract
1 The Need for Forecasting Measurement Data in an Intelligent Building
2 The Neural Model and Forecast Behavior of an Object
3 Time Series Smoothing and Forecast Accuracy
4 Classification of Training Vectors by Means of Decision Trees
5 Forecast Generation Algorithm - Hybrid Method for Forecasting
6 Example of Forecasts
7 Summary
References
Marine Sensors and Manipulators
Low-Cost Plug-and-Play Optical Sensing Technology for USVs' Collision Avoidance
1 Introduction and Related Works
2 Functional Architecture
2.1 Passive Subsystem
2.2 Active Subsystem
3 Mechanical Design
3.1 Passive Subsystem
3.2 Active Subsystem
4 Simulative Results
References
Experimental Evaluation of Sealing Materials in 6-Axis Force/Torque Sensors for Underwater Applications
1 Introduction
2 Sensor Prototype
3 Calibration and Characterization
4 Characterization as Intrinsic Tactile Sensor
5 Slip Detection
6 Conclusions
References
Underwater Glider Path Planning and Population Size Reduction in Differential Evolution
1 Introduction
2 Related Work
2.1 Differential Evolution and Optimization
2.2 Underwater Glider Path Planning
3 Approach Extension
4 Results
5 Conclusion
References
On Underwater Vehicle Routing Problem
1 Introduction
2 Positioning System
2.1 Underwater Position Determination
2.2 Design of Measurement System
3 Routing Algorithm
3.1 Tabu Search
3.2 Swap-Type Neighborhood
3.3 Tabu Search Algorithm with Back Jump Tacking
3.4 Dynasearch
4 Computational Experiments
5 Conclusions
References
Belief Space Planning for an Underwater Floating Manipulator
1 Introduction
2 Related Works
3 Proposed Methodology
4 Experiments
4.1 Robotic Setup
4.2 Results
5 Conclusion and Future Work
References
Intervention Payload for Valve Turning with an AUV
1 Introduction
2 Payload Design
2.1 Manipulator
2.2 Custom End-Effector
2.3 Stereo Camera
3 Perception Systems
3.1 Manipulator-AUV Calibration
3.2 Panel and Valve Detection
3.3 F/T Contact Detection
4 Results and Conclusions
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken