Modelling and Implementation of Complex Systems

Name: Modelling and Implementation of Complex Systems | Proceedings of the 5th International Symposium, MISC 2018, December 16-18, 2018, Laghouat, Algeria
Brand: Springer
Price: 149.79 EUR
Availability: OnlineOnly

Proceedings of the 5th International Symposium, MISC 2018, December 16-18, 2018, Laghouat, Algeria

Salim Chikhi Abdelmalek Amine Allaoua Chaoui Djamel Eddine Saidouni(Editor)

Springer (Publisher)

Published on 29. November 2018

XV, 346 pages

E-Book

PDF with digital watermarking

System requirements

978-3-030-05481-6 (ISBN)

€149.79incl. 7% vat

System requirements

for PDF with digital watermarking

E-Book Single Licence

Available for download

Description

More details

Other editions

Content

Intro
Preface
Organization
Honorary Chairs
General Chairs
Steering Committee
Invited Speakers
Organizing Committee Chairs
Organizing Committee
Publication Chairs
Publicity and Sponsor Chairs
Program Committee Chairs
Program Committee
Co-editors
Additional Reviewers
Contents
Cloud Computing and IoT
Enhanced RECCo Controller with Integrated Removing Clouds Mechanism
1 Introduction
2 RECCo Controller Design
3 Clouds Removing Mechanism
4 Application to Heat Exchanger Temperature Control
5 Conclusion
References
Virtual Machines Allocation and Migration Mechanism in Green Cloud Computing
Abstract
1 Introduction
2 Related Work
3 Mechanism Principle
4 VMs Allocation Rules
5 VMs Migration Rules
6 Tests and Simulation Results
6.1 Simulation Parameters
6.2 Experience
7 Conclusion
References
Secure Data Transmission Scheme Based on Elliptic Curve Cryptography for Internet of Things
1 Introduction
2 Background
3 Related Work
4 Secure Data Transmission Scheme (SDTS)
4.1 System Model, Assumptions, and Notations
4.2 Proposed Algorithm
5 Security Analysis
6 Performance Analysis
6.1 Computation Costs
6.2 Communication Costs
7 Comparative Analysis
8 Conclusion
References
QoS Multicast Routing Based on a Quantum Chaotic Dragonfly Algorithm
1 Introduction
2 Multicast Routing Problem Formulation
3 Dragonfly Algorithm and Quantum Evolutionary Algorithm
3.1 Dragonfly Algorithm
3.2 Quantum Evolutionary Algorithm
4 Proposed Algorithm Based on the Hybridization of DFA and QEA for QoS Multicast Routing
5 Simulation Results
5.1 First Scenario
5.2 Second Scenario
6 Conclusion
References
Service Discovery in the Internet of Things: A Survey
1 Introduction
2 Classification Scheme
2.1 Description
2.2 Architecture
2.3 Search Method
2.4 Internet Dependency
2.5 Push/Pull Modes
2.6 Scope
3 Service Discovery in IoT
3.1 Local Discovery
3.2 Remote Discovery
3.3 IoT Search Engine
3.4 IoT Recommendation System
4 Evaluation
5 Conclusion and Future Research Directions
References
Spectral Band Selection Using Binary Gray Wolf Optimizer and Signal to Noise Ration Measure
1 Introduction
2 Spectral Band Selection Using Binary Gray Wolf Optimizer
2.1 Gray Wolf Optimizer
2.2 BGWO: Binary Gray Wolf Optimizer for Spectral Band Selection
2.3 Fitness Function
3 Experimental Results
3.1 Hyperspectral Datasets
3.2 Parameters Setting
3.3 Results and Discussion
4 Conclusions and Perspectives
References
Metaheuristics and Optimization
New Solutions for the Density Classification Task in One Dimensional Cellular Automata
Abstract
1 Introduction
2 Basic Concepts and Properties
2.1 Cellular Automata
2.2 The Symmetry Property
2.3 The Number-Conserving Property
3 The Density Classification Task
3.1 Overview
3.2 Related Works on the DCT
4 Designing New Solutions for the DCT Using CAs of Radius r = 4
4.1 Context and Motivation
4.2 Computational Mechanisms of Good Solutions of Radius r = 3
4.3 Designing New Efficient Solutions
4.4 Numerical Results and Discussion
4.5 Evaluation of the Proposed Procedure
4.5.1 The Advantages
4.5.2 The Limitations
4.6 Implementation Details and Running Time Measurements
5 Conclusion
References
A Chaotic Binary Salp Swarm Algorithm for Solving the Graph Coloring Problem
1 Introduction
2 Graph Coloring Problem Formulation
3 Salp Swarm Algorithm and Binary Salp Swarm Algorithm
3.1 Salp Swarm Algorithm
3.2 Binary Salp Swarm Algorithm
4 Chaotic Binary Salp Swarm Algorithm for the Graph Coloring Problem
4.1 Chaotic Binary Salp Swarm Algorithm
4.2 Representation of the Solution
4.3 Objective Function
4.4 Initialization of the Population
4.5 Complexity Analysis of CBSSA
5 Experimental Results
6 Conclusion
References
Gene Selection for Microarray Data Classification Using Hybrid Meta-Heuristics
1 Introduction
2 Related Works
3 Materials and Methods
3.1 Differential Evolution
3.2 Artificial Immune System
3.3 Firefly Algorithm
3.4 BAT Algorithm
3.5 Penguin Search Optimization Algorithm
4 Hybridizations
4.1 Modified Version of PeSOA (PeSOA-C)
4.2 FA and DE Hybridization (HFA)
4.3 BAT and AIS Hybridization (AIS-BAT)
5 Results and Discussion
6 Conclusion
References
Optimization of PID Sliding Surface Using Ant Lion Optimizer
Abstract
1 Introduction
2 Ant Lion Algorithm
2.1 Random Movement of Ants
2.2 Trapping of Ants
2.3 Construction of Trap
2.4 Catching the Prey and Reconstruction of the Pit
2.5 Elitism
3 Sliding Mode Controller Design Using PID Sliding Surface
4 Results and Discussion
4.1 Case 1: Unit Step Reference Trajectory
4.2 Case 2: Sinusoidal Reference Trajectory
5 Conclusion
References
Computational Intelligence
Deep Neural Network for Supervised Inference of Gene Regulatory Network
Abstract
1 Introduction
2 System and Method
2.1 Data Classification
2.2 Deep Neural Network
2.3 DNN for Gene Regulatory Network Inference
3 Experimental Study
3.1 Datasets
3.2 Results
4 Conclusion
References
Sentiment Analysis of Arabic Tweets: Opinion Target Extraction
Abstract
1 Introduction
2 Related Work
3 Proposed Method
3.1 Corpus Building
3.2 Preprocessing
3.3 Classification
4 Experiments and Discussions
4.1 Experiment 1: Impact of Simple Words by Varying the Corpus Size
4.2 Experiment 2: Impact of Stemming
4.3 Experiment 3: Impact of Stemming and Part of Speech Tagging
4.4 Discussions
5 Conclusion
References
Shifted 1D-LBP Based ECG Recognition System
Abstract
1 Introduction
2 Literature Review
3 Proposed Methodology
3.1 Basic LBP
3.2 Shifted 1D LBP
3.3 Proposed System
4 Experimental Result
4.1 Database
4.2 Evaluation Metrics
4.3 Results and Discussion
5 Conclusion
References
Dynamic Time Warping Inside a Genetic Algorithm for Automatic Speech Recognition
Abstract
1 Introduction
2 Architecture of the Suggested System
2.1 The Learning Process
2.2 The Signal Pre-treatment Process
2.3 The Signal Parameterization Process
2.4 The Recognition Process
2.5 The Statistical Process
3 The Experiments Results
4 Conclusion and Perspectives
References
Enhancing the Sales Diversity Using a Two-Stage Improved KNN Algorithm
1 Introduction
2 Related Works
3 Proposed Approach
3.1 An Adjusted Similarity Based Neighborhood Selection
3.2 An Optimized Neighborhood Using Genetic Algorithm
3.3 Description
4 Experimental Design
4.1 Evaluation Metrics
4.2 Results and Discussion
5 Conclusion
References
A Statistical Approach for the Best Deep Neural Network Configuration for Arabic Language Processing
1 Introduction
2 Related Work
3 Arabic Morphology
4 Architecture of the Neural Network
4.1 Preprocessing of Datasets
4.2 Propagation
4.3 Backpropagation
5 Parallel Computing
5.1 Parallel Computing Using CPU
5.2 Parallel Computing Using GPU
6 Taguchi Method
6.1 Levels for Factor Design
6.2 Optimal Configuration Choice
7 Experimental Results
8 Conclusions and Future Work
References
Implementation of Real Time Reconfigurable Embedded Architecture for People Counting in a Crowd Area
1 Introduction
2 Related Work
3 Proposed System
3.1 HOG Based Head Detections
3.2 LBP Feature
3.3 Training of Joint HOG-LBP Classifiers
4 Experimental Results
5 Conclusion
6 Future Work
References
Towards a Better Training for Siamese CNNs on Kinship Verefication
1 Introduction
2 Related Work
3 The Proposed Approach
3.1 The Proposed Siamese Architecture
3.2 Interpretation of the Layers and their Outputs
3.3 The Siamese CNN Training
4 Experimental Results
4.1 Data Collection
4.2 Experimental Protocol
4.3 Results
5 Discussion
6 Conclusions
References
A Context-Aware Distributed Protocol for Updating BDI Agents Abilities
1 Introduction
2 Approach Overview
2.1 Problem Definition
2.2 Required Properties
2.3 Proposed Solution
3 Distributed Protocol for Updating Agents Abilities
3.1 Entities
3.2 Assumptions
3.3 Distributed Protocol
4 Implementation
4.1 Scenario (Smart Laboratory)
4.2 Illustration
5 Conclusion
References
Software Engineering and Formal Methods
Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code
1 Introduction
2 Context
3 Background
3.1 Transformation of a Metamodel to Inductive Types
3.2 Mechanization of the Type System and Implementation of the Type Checker
4 Generation of Proofs
5 Transformation of Model Elements Into Terms
5.1 Correspondence Information
5.2 Generic Transformation
5.3 Generation of the Transformation
6 Related Works
7 Conclusion
References
Optimization of Component-Based Systems Run Time Verification
1 Introduction
2 Related Work
3 Monitoring and Runtime Verification
4 Runtime Verification in Framework BIP
4.1 Runtime Verification Functions
4.2 Verification Monitors
4.3 Example
5 Optimization of Runtime Verification in BIP
5.1 Atomic Components Transformations
5.2 Transformed Monitor
5.3 Experimental Result
6 Conclusion
References
Meta-ECATNets for Modelling and Analyzing Clinical Pathways
1 Introduction
2 Related Work
3 Basic Concepts
4 The Proposed Approach
4.1 Case Study: Chronic Obstructive Pulmonary Disease (COPD)
4.2 Description
5 Conclusion
References
Ontologies-Based Process in Software Reengineering
Abstract
1 Introduction
2 Background
3 Ontology as Software Artefacts
4 Ontology as Domain Knowledge
5 Comparative Study
6 Open Challenges
7 Conclusion
References
An Improved Fuzzy Analytical Hierarchy Process for K-Representative Skyline Web Services Selection
Abstract
1 Introduction
2 Background
2.1 K-Representative Skyline Operator
2.2 Fuzzy AHP Method
3 An Improved Fuzzy AHP for Selecting K-Representative Skyline Web Services
3.1 Computing K-Representative Skyline Web Services
3.2 An Improved Fuzzy AHP
4 Experiment
4.1 Selecting K-Representative Skyline Web Services
4.2 QoS Attributes Weighting for the Full DataSet
4.3 QoS Matrix Discretization
4.4 Computing Eigenvectors with Respect to Each Attribute
4.5 Ranking K-Representative Skyline Web Services
5 Conclusion
References
ATL Based Refinement of WS-CDL Choreography into BPEL Processes
Abstract
1 Introduction
2 Composition of Web Services
2.1 The Process of Web Services Composition
2.2 Types of Web Services Composition
3 ATL (Atlas Transformation Language)
4 Translation CDL into BPEL Based on ATL
4.1 Mapping CDL-BPEL
4.2 Generation of Meta-Models
4.3 Chain of Transformation
4.4 ATL Rules of the Translation
5 Related Work
5.1 Comparison of Existing Work with the Proposed Approach
6 Conclusion
References
Correction to: Spectral Band Selection Using Binary Gray Wolf Optimizerand Signal to Noise Ration Measure
Correction to: Chapter "Spectral Band Selection Using Binary Gray Wolf Optimizerand Signal to Noise Ration Measure" in: S. Chikhi et al. (Eds.): MISC 2018, LNNS 64, 2019. https://doi.org/10.1007/978-3-030-05481-66
Author Index

System requirements

Save as PDF Copy link into clipboard

Schweitzer Fachinformationen

Modelling and Implementation of Complex Systems

Description

More details

Other editions

Additional editions

Content

System requirements