Cantitate/Preț
Produs
Total produse
Vezi coșul
Analytical and Stochastic Modeling Techniques and Applications: 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings de Khalid Al-Begain

Analytical and Stochastic Modeling Techniques and Applications: 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings: Lecture Notes in Computer Science, cartea 6148

Editat de Khalid Al-Begain, Dieter Fiems, William Knottenbelt
en Limba Engleză Paperback – iun 2010

Abordarea practică a acestui volum se concentrează pe transpunerea modelelor matematice complexe în soluții aplicabile pentru optimizarea sistemelor de calcul și telecomunicații. Ne-a atras atenția modul în care fundamentul teoretic al proceselor stocastice este echilibrat de instrumente software concrete, precum toolbox-ul 'qnetworks' sau studiile de caz privind evaluarea performanței sistemelor embedded. Dacă lucrarea Advances in Queueing Theory and Network Applications de Wuyi Yue v-a oferit cadrul teoretic necesar înțelegerii modelelor matematice, volumul Analytical and Stochastic Modeling Techniques and Applications oferă instrumentele practice și metodologiile de implementare necesare inginerilor de sistem.

Structura volumului reflectă o progresie logică de la cercetarea fundamentală la aplicații industriale. Primele secțiuni sunt dedicate teoriei așteptării (Queueing Theory), explorând modele de servicii de tip batch și sisteme discrete, esențiale pentru gestionarea traficului de date. Ulterior, cuprinsul ghidează cititorul către zona de limbaje de specificație și instrumente, unde sunt prezentate metode de estimare a performanței prin logică de rescriere și evaluări ale securității sistemelor. Recomandăm acest titlu pentru rigoarea cu care analizează sistemele de telecomunicații, oferind soluții pentru minimizarea pierderilor de pachete și planificarea operațiunilor complexe prin logica CAST. Apartenența la seria Lecture Notes in Computer Science garantează un standard înalt de revizuire academică, transformând cele 28 de lucrări într-o resursă tehnică densă pentru modelarea predictivă.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32736 lei

Preț vechi: 40920 lei
-20%

Puncte Express: 491

Carte disponibilă

Livrare economică 13-27 mai

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783642135675
ISBN-10: 3642135676
Pagini: 424
Ilustrații: XI, 409 p. 132 illus.
Dimensiuni: 9 x 92 x 27 mm
Greutate: 0.64 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Professional/practitioner

De ce să citești această carte

Recomandăm această resursă profesioniștilor din inginerie software și telecomunicații care doresc să aplice modelarea stocastică în optimizarea rețelelor. Cititorul câștigă acces la metodologii verificate pentru analiza performanței și securității sistemelor, beneficiind de exemple concrete de utilizare a limbajelor de specificație și a instrumentelor de modelare, esențiale pentru proiectarea unor sisteme reziliente și eficiente.

Cuprins

Queueing Theory I.- A Batch-Service Queueing Model with a Discrete Batch Markovian Arrival Process.- Queueing System MAP/PH/N with Propagated Failures.- Analysis of a Discrete-Time Queueing System with an NT-Policy.- Packet Loss Minimization in Load-Balancing Switch.- Queueing Theory II.- The Preemptive Repeat Hybrid Server Interruption Model.- Networks of Symmetric Multi-class Queues with Signals Changing Classes.- Product-Form Solutions for Models with Joint-State Dependent Transition Rates.- The qnetworks Toolbox: A Software Package for Queueing Networks Analysis.- Specification Languages and Tools.- Rewriting Logic Based Performance Estimation of Embedded Systems.- A Formal Language toward the Unification of Model Checking and Performance Evaluation.- Security Evaluation of Layered Intrusion Tolerant Systems.- Stochastic PERT and CAST Logic Approach for Computer Support of Complex Operation Planning.- Telecommunication Systems I.- Perfect Sampling of Load Sharing Policies in Large Scale Distributed Systems.- Stochastic Comparisons for Performability of Telecommunication Systems.- Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System.- Performance Evaluation of Media Segmentation Heuristics Using Non-markovian Multi-class Arrival Processes.- Telecommmunication Systems II.- A Formal Approach to Investigate the Performance of Modern E-commerce Services.- Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption.- Upper Bound on Overall Delay in Wireless Broadband Networks with Non Real-Time Traffic.- Estimation.- Robustness of the Whittle Estimator Applied to Non-Gaussian Long-Range Dependent Processes.- Service Time Estimation with a Refinement Enhanced Hybrid Clustering Algorithm.- Invariant Embedding Technique and Its Applications for Improvement or Optimization of Statistical Decisions.- Prediction.- Prediction Model Selection and Spare Parts Ordering Policy for Efficient Support of Maintenance and Repair of Equipment.- Prediction-Based Dynamic Target Interception Using Discrete Markov Chains.- Neural Networks as Surrogate Models for Measurements in Optimization Algorithms.- Stochastic Modelling.- Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras.- Analysis of an Automated Auction with Concurrent Multiple Unit Acceptance Capacity.- Congestive Collapse and Its Avoidance in a Dynamic Dial-a-Ride System with Time Windows.

Descriere

This book constitutes the refereed proceedings of the 17th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2010, held in Cardiff, UK, in June 2010. The 28 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers are organized in topical sections on queueing theory, specification languages and tools, telecommunication systems, estimation, prediction, and stochastic modelling.