Analytical and Stochastic Modeling Techniques and Applications

Name: Analytical and Stochastic Modeling Techniques and Applications | 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011, Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011, Proceedings

Khalid Al-Begain Simonetta Balsamo Dieter Fiems Andrea Marin(Herausgeber*in)

Springer (Verlag)

Erschienen am 12. Juni 2011

XI, 347 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-21713-5 (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
Preface
Organization
Table of Contents
Queueing Theory I
Departure Process in Finite-Buffer Queue with Batch Arrivals
Introduction
System Description and Potential Approach
System of Integral Equations for Departure Process
Limit Theorem
Numerical Results
References
A Two-Class Continuous-Time Queueing Model with Dedicated Servers and Global FCFS Service Discipline
Introduction
Mathematical Model
System with a Global FCFS Service Discipline
System State Diagram and Balance Equations
Analysis of the System
System without Global FCFS
Network Model
Analysis of the System
Comparison of Models and Numerical Examples
Conclusions and Future Work
References
M/G/1 Queue with Exponential Working Vacation and Gated Service
Introduction
Model Description
The Stationary Number of Customers at the End of Vacation Period
Transient Behavior of the M/G/1 Queue
Evolution of the System over the Vacation Period
Computation of f(z)
The Stationary Number of Customers at an Arbitrary Epoch
The Stationary Number of Customers in the Service Period
The Stationary Number of Customers in the Vacation Period
Computation of q(z)
The Stationary Waiting Time
References
Software and Computer Systems
The Application of FSP Models in Automatic Optimization of Software Deployment
Introduction
Related Works
Deployment Methodology
Performance Function
Implementation
Case Study: An Accounting Web Application
Discussion
Conclusion
References
Model-Based Decision Framework for Autonomous Application Migration
Introduction
Background on the Migration Process
Model of the Migratory Framework
Design of the Decision Framework
State Estimation and Prediction
Reward Model
Instantaneous Policy Generation
Markov Decision Process Policy Generation
Case Study and Numerical Results
Simulation Model
Generation Approach Impact on Generated Policies
Generation Approach Impact on Application Quality
State Estimation Accuracy
Inaccurate State Estimation Impact on Performance
Conclusion and Future Work
References
Optimisation of Virtual Machine Garbage Collection Policies
Introduction
Theoretical Background
Neuts' Matrix Geometric Method
Quasi-Birth and Death Processes
Model Definition and Analysis
Heuristic for Minimal Average Response Time
Numerical Examples
Conclusion
References
Queueing Theory II
Performance Evaluation of a Single Node with General Arrivals and Service
Introduction and State of the Art
Model and Its Solution
Performance of the Proposed Approach
Conclusion
References
Tandem Queueing System with Different Types of Customers
Introduction
Model Description
Process of the System States
Stationary Distribution
Performance Measures
Numerical Results
Conclusion
References
Fast Evaluation of Appointment Schedules for Outpatients in Health Care
Introduction
Situation
Modelling Issues
Schedule Optimalisation
Discrete-Time Model and Assumptions
Evaluation of an Appointment Schedule
Model Description
Analysis
Examples
Assisted Sequential Scheduling
Cost Function
Sequential vs. Advance Scheduling
Visualisation of Mean Performance
Examples
Conclusions
References
Statistics and Inference
Technique of Statistical Validation of Rival Models for Fatigue Crack Growth Process and Its Identification
Introduction
Formulation of Models for the Fatigue Crack Growth Process
Deterministic Models for the Fatigue Crack Growth Process
Stochastic Models for the Fatigue Crack Growth Process
Conceptual Model Validation
Statistical Estimation of the Unknown Parameters
Goodness-of-Fit Testing for the Normality Assumption
Operational Model Validation
Hypotheses for Testing the Operational Validity
Statistic for Testing the Operational Validity
Test for the Operational Validity
Fatigue Crack Growth Process Identification
Example
Validation of Models 1 and 2 for the Fatigue Crack Growth Process
Identification of the Fatigue Crack Growth Process
Planning Inspections in Service of Fatigued Structures
Conclusion
References
Suitability of the M/G/8 Process for Modeling Scalable H.264 Video Traffic
Introduction
M/G/ Process
Whittle Estimator
M/G/-Based Models
Modeling H.264/SVC Video Traffic at the GoP Level
Conclusions and Further Work
References
Reconstructing Model Parameters in Partially-Observable Discrete Stochastic Systems
Introduction
Related Work
Background
PODS Models
Analyzing PODS Systems
Iterative Analysis Algorithm
Symbolic Polynomial Analysis
Experiments
Computational Accuracy
Computation Time
Analysis of Ambiguous Systems
Conclusion and Outlook
Future Work
References
Queueing Theory III
Performance Evaluation of a Kitting Process
Introduction
Model Description
Analysis
Balance Equations
Performance Measures
Methodology: The Sparse Matrix Techniques
Numerical Results
Bursty Part Arrivals
Phase-Type Distributed Kitting Times
Conclusion
References
Perfect Sampling of Phase-Type Servers Using Bounding Envelopes
Introduction
Simulation Method
Perfect Sampling
Bounding Envelopes
Phase-Type Server
Non Monotonicity of a Phase-Type Server
Envelopes for Phase-Type Service Events
Coupling of Phase-Type Systems Envelopes
The Tandem Case
Extension to Networks of Queues
Experimental Results
Conclusion
References
Monotone Queuing Networks and Time Parallel Simulation
Introduction
A Brief Introduction to Monotonicity in Simulation
Monotone Networks of Queues
Finite Queues Jackson Networks
Index Based Routing, Poisson Arrivals and Exponential Services
Monotone Phase Type Service Times, Exponential Arrivals
Networks of G/G/1 Queues
G-Networks of Queues with Positive and Negative Customers
Conclusions
References
Telecommunication Networks I
Traffic-Centric Modelling by IEEE 802.11 DCF Example
Introduction
Traffic-Centric Modelling
System Behaviour
DCF Behaviour as a Semi-Markov Process
General Semi-Markov Theory
SMP Model for the Example Network
Calculating Common Performance Metrics
Steady-State Analysis of the SMP
Verification of the SMP Analysis
Conclusion
References
Flexible Traffic Engineering in Full Mesh Networks: Analysis of the Gain in Throughput and Cost Savings
Introduction: Traffic Engineering and Its Effect on Costs
Modeling of Link Utilization during Bandwidth Upgrade Cycles
Traffic Path Optimization for Upgrades in a Full Mesh
Modeling and Analysis of Costs
(Sub-)Linear Upgrade Cost Model with Exponential Decrease in Time
Evaluation of Full and Stepwise Upgrades Based on the Cost Model
Discussion of Cost Aspects for Special Cases and Extensions
Failure Resilience: Throughput and Fast Redirection of Traffic Paths
Conclusions
References
Investigation of the Reliability of Multiserver Computer Networks
Introduction
The Network Model
The Main Results
The Reliability of a Multiserver Computer Network
References
Performance and Performability
Performability Modeling of Exceptions-Aware Systems in Multiformalism Tools
Introduction
Related Works
SIMTHESys Overview
Exceptions in Multiformalism Models
Exception-Enabled Models
State-Based Exceptions
Implementation
Case Study
A Motivating Example
An Agri-Food Tracking System
Conclusions and Future Work
References
The Impact of Input Error on the Scheduling of Task Graphs with Imprecise Computations in Heterogeneous Distributed Real-Time Systems
Introduction
Related Work
Our Approach
System and Workload Model
Imprecise Computations Model
Scheduling Strategy
Task Selection Phase
Processor Selection Phase
Performance Evaluation
Performance Parameters
Task Graph Generation
Simulation Input Parameters
Simulation Results and Discussion
Conclusions and Future Work
References
Simple Correlated Flow and Its Application
Introduction
Flow Analysis
Flow Analysis: Special Case
Markovian System
Single-Server Queueing System
Conclusions
References
Telecommunication Networks II
A Practical Tree Algorithm with Successive Interference Cancellation for Delay Reduction in IEEE 802.16 Networks
Introduction and Background
System Model and Algorithms
Conventional Tree Algorithms
Successive Interference Cancellation
Imperfect Interference Cancellation
Proposed Throughput Calculation Technique
General Procedure
Baseline SICTA Algorithm
Proposed R-SICTA Algorithm
IEEE 802.16 Performance Improvement and Conclusions
References
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks
Introduction
The Calculus
Measuring Energy Consumption
Analysing the SW-ARQ and GBN-ARQ Protocols
Conclusion
References
Size-Based Flow-Scheduling Using Spike-Detection
Introduction
Size-Based Scheduling Using Spike-Detection
Related Work
Spike-Detection Mechanism
Integrated Packet/Spike Model
Spike Level
Packet Level
Integrated Model
Simulations: Goals and Settings
Goals
Settings
Performance Analysis
Efficiency
Analysis Using Flow Metric
Conclusions
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken