Computer Aided Systems Theory -- EUROCAST 2011

Name: Computer Aided Systems Theory -- EUROCAST 2011 | 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I

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

Springer (Verlag)

Erschienen am 2. Februar 2012

XXV, 637 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-27549-4 (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

Title page
Preface
Organization
IN MEMORIAM
Table of Contents - Part I
Concepts and Formal Tools
A Framework for Combining Multivalued Data: A Practical Approach
Introduction to Knowledge Discovery in Databases
Fundamental Concepts
Multivalued Algebra
Operations between Arrays
Array Expressions
Combining Data Tables
A Practical Approach
Conclusion
References
On Modelling Metabolism-Repair by Convolution and Partial Realization
Introduction
Modelling Metabolism-Repair and Metabolism Replication
Repair
Replication
Representation of the Model by Convolution
Repair by Convolution
Replication by Convolution
Construction of Partial Realizations
Computation Dynamical Representations
Application of the Rissanen Method of Partial Realization
Possible Use of Partial Realizations in Modelling Metabolism-Repair Systems
Conclusion
References
Cost Oriented Humanoid Robots
Introduction
Categories of Humanoid Robots
State of the Art
Cost Oriented Design
Mechanical Construction [10]
Control
Cloud Robots [11]
Conclusions
References
New Biomimetic Neural Structures for Artificial Neural Nets
Objectives
Neural Nets with Interaction of Afferents
Dendritic-Like Computation
References
Software Applications
Extending OLSR Functionalities to PKI Management
Introduction
Foundations
Mathematical MPR Modelling
Alternatives for Extending PKI to MANETs
Integrating MPR into the PKI Model
Implementation Details and Experimental Results
Conclusions
References
Bandwidth Usage Optimization for NNTP Protocol
Introduction
NNTP Traffic Measurement
Improving the Bandwidth Usage
NNTP Protocol Extension for Delayed Feeds
Integration with the Existing Server Network
Implementation Considerations
References
The Dilemma of Choice in Management of Communication Processes in WSN
Introduction
Problem Formulation
The First Choice - A Mathematical Abstraction
The Second Choice - Neighborhoods, Sectors or Clusters
Global or Local Dilemma
Concluding Remarks
References
A Distributed Authorization System with Mobile Usage Control Policies
Overview
Mobile Usage Control Policies
Related Work
Policy Specification
Motivating Scenario: Cloud Computing
Discussion and Conclusion
References
Fuzzy Logic for the Performance Assessment of the Innovation Management in Tourism
Introduction
Theoretical Framework
The Nature of Innovation in Tourism
Performance Assessment of the Innovation Management
Fuzzy Logic and Innovation Management Assessment
Methodological Frameworks
Fuzzification
Defuzzification
Interface Decisions
Conclusions and Future Works
References
Computation and Simulation in Modelling Biological Systems
Neuronal Data Analysis Based on the Empirical Cumulative Entropy
Introduction
Entropies
Empirical Cumulative Entropy
Neural Coding
Concluding Remarks
References
On the Construction of Densities for Time Non-homogeneous Diffusion Processes
Introduction
Construction of Transition Pdf's and FPT Densities
Time Non-homogeneous Hyperbolic Process
References
Rational Function Systems in ECG Processing
Introduction
Rational Function Systems
Orthogonal Rational Function Systems
Biorthogonal Rational Function Systems
Localization of Poles
Discretization
Summary
References
First-Passage-Time for Gauss-Diffusion Processes via Integrated Analytical, Simulation and Numerical Methods
Introduction
Background and Notation
Numerical and Simulative Approach
Some Computional Results
References
Modelling Aspects and Structural Properties of a Fed-Batch Bioprocess
Introduction
Dynamical Nonlinear State-Space Model of the Fed-Batch Bioprocess
Classical Modelling
Pseudo Bond Graph Modelling
Structural Properties of the Model
Conclusion
References
Intelligent Information Processing
A Certified Module to Study Digital Images with the Kenzo System
Introduction
Mathematical Preliminaries
The Simplicial Framework to Study Digital Images
A New Kenzo Module
Certification of the Kenzo Module in ACL2
Conclusions and Further Work
References
Modelling the Psychographic Behaviour of Users Using Ontologies in Web Marketing Services
Introduction
Ad Recommendation Architecture
Content Types and Their Relationships
Ontologies
Psychographic Segmentation
Conclusions
References
Understanding the System Dynamics of High-Technology Markets: Pólya Processes with Positive Feedback, Path Dependence and Lock-In
Introduction
The Structure of Pólya Processes
Patterns of Behavior
Understanding Market Dynamics
Implications for the Management of Innovations
Conclusions
References
R2RIF - Rule Integration Plugin for Protégé OWL
Introduction
Ontologies and Rules
R2RIF in a Nutshell
Workflow
Related Work
Conclusion and Future Work
References
GenComp - A Generic Transformation System
Introduction
Generic Compiler
Design of GenComp
Interpreter Pattern
GenComp Architecture
Implementation
Parser for GenComp
Parsing
Generating the JavaScript Functions
Further Work
References
Implementing the Universal Virtual Computer
Introduction
UVC and Related Work
Evaluation Experiments
CDC Cyber 180/960-31
CDC 4680
SUN Enterprise 10000
Implementation for Personal Computers
Lessons Learned
Conclusion and Future Work
References
Using GPS Trajectories to Create a Dynamic Network of Significant Locations as an Abstraction of Road Maps
Introduction
Related Research
Hotspot Detection
Extracting Features from Object Traces
Classification of Activities from Object Traces
Extracting Significant Locations
Example: Finding Hotspots in a Limited Test Area
Tests and Experiments
Spatial-temporal Reasoning
Conclusion and Future Work
References
On the Confluence of the Graphic Calculus with Penrose Diagrams (I)
Introduction
Modeling Directly in Coq
The Interchange Law
References
System for Recommendation of Information Based on a Management Content Model Using Software Agents
Introduction
Methodology
SisMA Description
Clustering Algorithm
Evaluation
Conclusions
References
Dynamic Cellular Automata-Based S-Boxes
Introduction
S-Boxes in Cryptography
Cryptographic Characteristics of S-Boxes
Cellular Automata and Designing of Dynamical S-boxes
Analysis of Parameters of Dynamic CA-Based S-Boxes
Analysis of Cryptographical Properties of Dynamic CA-Based S-Boxes
Conclusions
References
People Transfer in City Transport Modeled via CPN
Introduction
Preliminaries
Contribution
Our Model
Results
Conclusion
References
Adaptive Change Estimation in the Context of Online Market Monitoring
The Problem
The Approach
Related Work
Adaptive Estimator
Estimating
Evaluation
Evaluation Metrics
Evaluation Results
Conclusion
References
On Transforming a Knowledge Base from Topic Maps to OWL
Introduction
Topic Map Based Knowledge Modelling
VCDECIS Knowledge Base
Ontology Modelling Issues
Final Solution
Conclusions
References
Heuristic Problem Solving
Automated Building Construction Design Optimization for Reduction of Construction Costs and Energy Demand
Introduction
Methodology
Precise Modeling of the Building Environment and Construction Parameters
Definition of the Efficiency Metrics
Normalized Reference System
Implementation
Resulting Field of Application
Quantitative Assessment of Construction Design Quality
Automated Optimization of the Construction Plan Design
Comparison of Construction Material and Processing Thickness
Discussion
References
Using a Multiobjective OpenMP+MPI DE for the Static RWA Problem
Introduction
Static RWA Problem
Hybrid OpenMP+MPI Differential Evolution
Experimental Results
Conclusions and Future Work
References
Discovering DNA Motifs with a Parallel Shared Memory Differential Evolution
Introduction
Motif Discovery Problem
Description of the Parallel Algorithms
Experimental Evaluation and Comparisons
Conclusions and Future Lines
References
Optimization of Parameter Settings for Genetic Algorithms in Music Segmentation
Introduction
Application of Genetic Algorithms to the Music Segmentation Problem
Parameter Settings
Crossover Operators
Mutation Operators
Results
Selection Operators
Crossover Operators
Mutation Operators
Mutation Rates
Offspring Selection
Conclusion
References
Automatic Generation of 2-AntWars Players with Genetic Programming
Introduction and Applications
Related Work
Implementation
Results
Greedy Opponent
Scorched Earth Opponent
Hunting Opponent
Evolving Opponent
Additional Results
Conclusion and Future Work
References
A Multilevel Heuristic for the Rooted Delay-Constrained Minimum Spanning Tree Problem
Introduction
Previous Work
Ranking Score
Ranking-Based Multilevel Heuristic (RBMH)
Selecting Supervertices
The Merge Process
Experimental Results
Conclusions and Future Work
References
Improving the Parsimony of Regression Models for an Enhanced Genetic Programming Process
Introduction
The Ehd-GP Process
Test Setup
Ehd-GP Performance Analysis
A Bloat Control System for Ehd-GP
Conclusions
References
GPU-Based Evaluation to Accelerate Particle Swarm Algorithm
Introduction
Related Work
Methods and Materials
Parallel Models of Evolutionary Algorithm
Particle Swarm Optimizer
Statistical Inference
Production Setup and Code Adaptation
Adaptation of PSO
Results and Analysis
Study of the Rosenbrock Function
Study of Schwefel Problem 1.2
Varying Population
Conclusions and Future Work
References
Simulation-Based Fitness Landscape Analysis and Optimisation for Vehicle Scheduling Problem
Problem Statement
Fitness Landscape Analysis Tool
Simulation Optimisation
Experimental Results
Fitness Landscape Analysis
Optimisation Experiments
Conclusions
References
An Evolutionary Algorithm with Solution Archive for the Generalized Minimum Spanning Tree Problem
Introduction
Evolutionary Algorithm for the GMSTP
Solution Encodings
Genetic Operators
Solution Archives
Computational Results
Conclusions and Future Work
References
Variable Neighborhood and Greedy Randomized Adaptive Search for Capacitated Connected Facility Location
Introduction
Previous and Related Work
Greedy Solution Construction
Metaheuristic Approaches
Variable Neighborhood Descent
Variable Neighborhood Search
Greedy Randomized Adaptive Search Procedure
Computational Results
Summary and Outlook
References
Effectively Evolving Finite State Machines Compared to Enumeration
Introduction
Modeling the MAS as CA
Finding the Optimum by Enumeration
Evolving FSMs with a Genetic Algorithm
Conclusion
References
Heuristic Power Scheduling of Electric Vehicle Battery Charging Based on Discrete Event Simulation
Introduction
The Simulation-Based Approach
Modelling Electric Mobility
Formulation of the Optimization Problem
Testcase
Conclusion
References
Exploring the Accuracy of a Parallel Cooperative Model for Trajectory-Based Metaheuristics
Introduction
Parallel Cooperative Model Used
Experimentation
Optimization Problems
Simulated Annealing
Experimental Design
Results
Conclusions
References
Combination and Comparison of Different Genetic Encodings for the Vehicle Routing Problem
Introduction
Genetic Encodings
Analysis
Success Analysis
Runtime Analysis
Results
Conclusion
References
Analysis of Selected Evolutionary Algorithms in Feature Selection and Parameter Optimization for Data Based Tumor Marker Modeling
Research Goal: Identification of Models for Tumor Markers
Optimization of Feature Selections and Modeling Parameters Using Evolutionary Algorithms
Population Diversity Analysis
Empirical Tests
The AKH Data Base and Selected Tumor Markers
Modeling Algorithms
Optimization Algorithms
Results
Conclusion
References
Neural Networks Based System for Cancer Diagnosis Support
Introduction
Tumor Marker Values Based Cancer Diagnosis Support System
Group of Separate Neural Networks for Individual Marker (Cnet)
Feed Forward and Pattern Recognition Neural Networks for Tumor Marker Group
Case Study: Tumor Markers Based Breast Cancer Diagnosis Support System
Setup
Tumor Markers and Blood Parameters Based Cancer Diagnosis Support System
System with Additional Networks for Cancer Occurrence Prediction Trained with Blood Parameter Data
Results
References
A Memetic Algorithm and a Solution Archive for the Rooted Delay-Constrained Minimum Spanning Tree Problem
Introduction
Memetic Algorithm
Tackling Duplicates
Computational Results
Conclusions and Future Work
References
Effects of Data Grouping on Calibration Measures of Classifiers
Introduction
Previous Work
Experiments
Artificial Data Sets
Acute Myocardial Infarction Data Set
Conclusion
References
Parameter Meta-optimization of Metaheuristic Optimization Algorithms
Introduction
Parameter Optimization
Parameter Meta-optimization for HeuristicLab
HeuristicLab
Solution Encoding
Fitness Function
Operators
Experimental Results
Conclusion and Outlook
References
Systolic Optimization on GPU Platforms
Introduction
Systolic Computation and Related Work
Graphic Processing Units
Systolic Neighborhood Search
Other Variations
Experimentation
The Subset Sum Problem
Parameterization
Results
Conclusion and Future Works
References
Applying Heuristic Approaches for Predicting Defect-Prone Software Components
Introduction
Background and Study Design
Results
Q1: Predictions for the Next Version
Q2: Predictions for New or Modified Components in the Next Version
Q3: Predictions for Future Versions
Conclusions and Future Work
References
Improved Packing and Routing of Vehicles with Compartments
Introduction
Variable Neighborhood Search for the VRPC
Initial Solution
Shaking Neighborhoods
Insertion of Orders
Solving the Packing Problem
Experimental Results
Conclusions
References
Application of Symbolic Regression on Blast Furnace and Temper Mill Datasets
Introduction
Symbolic Regression
Methods
Offspring Selection
Fitness Function
Sampling
Experiments
Datasets
Results
Conclusion
References
Analysis of Single-Objective and Multi-Objective Evolutionary Algorithms in Keyword Cluster Optimization
Keyword Cluster Optimization
Population Diversity Analysis
Empirical Tests
Test Setup
Single-Objective Test Results
Multi-objective Test Results
Conclusion and Outlook
References
A Heuristic Scheduling and Resource Management System for Solving Bioinformatical Problems via High Performance Computing on Heterogeneous Multi-platform Hardware
Introduction
Motivation
Project Background
System Comparison
Algorithm Toolkit, Resource Manager, Job Manager and Scheduler
Scheduling
Scheduling System Layout
Heuristic Approach
'Primer Design' Use Case
Results
Conclusion
Outlook
References
Comprehensive and Automatic Fitness Landscape Analysis Using HeuristicLab
Introduction
Purpose
Definition
Existing Fitness Landscape Analysis Methods
Local Methods
Global Methods
Isotropy
Implementation
Results
Conclusions
References
Particle Swarm Optimization with Two Swarms for the Discrete (r|p)-Centroid Problem
Introduction
The Model
The Discrete PSO for the (r|p)-Centroid Problem
Computational Experiments
Concluding Remarks
References
ACO-GRASP-VNS Metaheuristic for VRP with Fuzzy Windows Time Constraints
Introduction
Fuzzy Model for VRPTW
Vehicle Routing Problem with Fuzzy Time Windows Constraints
Fuzzy Optimization Approach
The ACO-GRASP-VNS Hybrid Solution
Experimentation and Results
Conclusion
References
Using Statistical Tests for Improving State-of-the-Art Heuristics for the Probabilistic Traveling Salesman Problem with Deadlines
Introduction
Related Work
The Probabilistic Traveling Salesman Problem with Deadlines
Heuristics for the PTSPD Based on Monte Carlo Sampling and Statistical Tests
Computational Studies
Experimental Setup
Computational Results
Conclusions
References
Solving the Two-Dimensional Bin-Packing Problem with Variable Bin Sizes by Greedy Randomized Adaptive Search Procedures and Variable Neighborhood Search
Introduction
Related Work
Construction Algorithms
Metaheuristics
A GRASP-Like Algorithm
Variable Neighborhood Search
Experimental Results
Conclusions
References
Market Basket Analysis of Retail Data: Supervised Learning Approach
Introduction
Formalization
Supervised Learning Approach to Frequent Itemset Mining
Bump Hunting
Comparison of Apriori and PRIM
Experiments
Results
Summary
References
Computer Aided Systems Optimization
A Flexible and Reliable Radar Simulator in Matlab OOP for Optimizing Tracking Algorithms
Introduction
Solution Approach
Implementation
Exemplary Results
References
Frequency Estimation beyond Nyquist Using Sparse Approximation Methods
Introduction
Sampling Scheme
Estimation Methods
Sparse Approximation Methods
Pseudo Inverse
Simulations
Simulation Parameters
Simulation Results
Conclusion
References
Refinement of Simulation Models for Point-of-Load DC-DC Converters to Enable Accurate Simulation-Based Compensator Design
Introduction
System Representation
Experimental Results
Conclusions
References
Optimized Filter Design for a Filter Bank Based Blocker Detection Concept for LTE Systems
Introduction
Spectral Environment for an LTE UE
Basic Filter Properties
Comparison of Different Filter Implementations
Conclusions
References
Clustering and Data Aggregation as Factors of Wireless Sensor Network Lifetime
Introduction
Algorithms and Procedures Verified
Testing Methodology
Results
Conclusions
References
Synthesis of Logic Circuits Based on Negative Differential Resistance Property
Introduction
Synthesis of GTG Gates
PPRM Synthesis Algorithm
SOP Synthesis Algorithm
MTTG Synthesis
Synthesis of MTTG Gates
Conclusions
References
Simulation Based Optimization of Signal Processing for RFID
Introduction
Simulation Model
Circuit Representation
Switching State Space Representation
Equalization
Simulation Results
Simulation Speed
Performance Evaluation of Signal Processing Algorithm
Conclusion
References
Model-Based System Design, Simulation, and Verification
A Uniform Classification of Common Concurrency Errors
Introduction
Safety Errors
Data Races
Atomicity Violation
Order Violations
Deadlocks
Missed Signals
Liveness and Mixed Errors
Livelocks and Non-progress Behaviour
Blocked Threads
Conclusions
References
An Easy to Use Infrastructure for Building Static Analysis Tools
Introduction
Intermediate Representation of Source Programs
Intermediate Instruction Set
The Code Listener Infrastructure
The Code Listener API
Conclusion
References
Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems
Introduction
Preliminaries
Choice of the Directions for the Approximations
Experimental Results
Conclusion
References
Unfoldings of Bounded Hybrid Petri Nets
Introduction
Hybrid Petri Nets
Continuous Petri Nets
Hybrid Petri Nets
Unfoldings
Conclusion and Future Work
References
State Encoding and Minimization Methodology for Self-Checking Sequential Machines
Introduction
Self-Checking Circuits
Totally Self Checking Sequential Machines
Unordered Codes
Necessary and Sufficient Conditions for ST
Inputs, Outputs and Internal States Encoding
Design of TSC/STC Circuits
Self-Testing Property of Minimized Circuits
Numerical Results
Conclusion
References
A Novel Approach to Modechart Verification of Real-Time Systems
Introduction
Preliminaries
Modechart Verification
System Specification
Computation Description
Conversion to RRTL Formulae and Their Reduction
RRTL Verification
Experimental Results
Conclusion and Future Work
References
Cloud Computing in Educational Applications Methods of Virtual Desktops Deployment
Introduction
Cloud Computing
Benefits and Concerns
Trends and Examples
Problem Description
Optimization Problem and Its Properties
Numerical Experiments
Conclusions
References
Computer Vision and Image Processing
Monocular Vision-Based Target Detection on Dynamic Transport Infrastructures
Introduction
Related Work
System Description
Background Subtraction
Shadow and Highlight Detection
Feature Extraction and Tracking
Implementation and Results
Summary and Conclusions
References
Precise Segmentation of the Optic Disc in Retinal Fundus Images
Introduction
Methodology
Luminosity and Contrast Normalization
Optic Disc Location
Optic Disc Segmentation
Results
Conclusions
References
Speeding Up a Chaos-Based Image Encryption Algorithm Using GPGPU
Introduction
Related Work
Methodology
Algorithm
Parallel Implementation
Experimental Setup
Results and Analysis
OpenMP
GPGPU
Conclusions
References
Surface Classification for Road Distress Detection System Enhancement
Introduction
Distress Detection System Overview
Features Vector
Gray-Level Co-occurrence Matrix (GLCM)
Maximally Stable Extremal Regions (MSER)
Local Binary Patterns (LBP)
Experimental Results
Conclusions and Future Work
References
Analysis of Recent Advances in Optical Flow Estimation Methods
Introduction
A General Framework for Optical Flow Estimation
Recent Contributions
Conclusions
References
Contextual and Skin Color Region Information for Face and Arms Location
Introduction
Methodology
Skin Pixel Classification and Face Detection
Arms Detection
Experimental Results
Conclusions and Future Research
References
Stereo-Vision Algorithm Based on Bio-Inspired Silicon Retinas for Implementation in Hardware
Introduction
Related Work
Concept of the Event-Based Algorithm
Results
Conclusion
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken