Author: Peter Buchholz
Publisher: Springer
ISBN: 3319066749
Category : Mathematics
Languages : en
Pages : 137
Book Description
Containing a summary of several recent results on Markov-based input modeling in a coherent notation, this book introduces and compares algorithms for parameter fitting and gives an overview of available software tools in the area. Due to progress made in recent years with respect to new algorithms to generate PH distributions and Markovian arrival processes from measured data, the models outlined are useful alternatives to other distributions or stochastic processes used for input modeling. Graduate students and researchers in applied probability, operations research and computer science along with practitioners using simulation or analytical models for performance analysis and capacity planning will find the unified notation and up-to-date results presented useful. Input modeling is the key step in model based system analysis to adequately describe the load of a system using stochastic models. The goal of input modeling is to find a stochastic model to describe a sequence of measurements from a real system to model for example the inter-arrival times of packets in a computer network or failure times of components in a manufacturing plant. Typical application areas are performance and dependability analysis of computer systems, communication networks, logistics or manufacturing systems but also the analysis of biological or chemical reaction networks and similar problems. Often the measured values have a high variability and are correlated. It’s been known for a long time that Markov based models like phase type distributions or Markovian arrival processes are very general and allow one to capture even complex behaviors. However, the parameterization of these models results often in a complex and non-linear optimization problem. Only recently, several new results about the modeling capabilities of Markov based models and algorithms to fit the parameters of those models have been published.
Input Modeling with Phase-Type Distributions and Markov Models
Author: Peter Buchholz
Publisher: Springer
ISBN: 3319066749
Category : Mathematics
Languages : en
Pages : 137
Book Description
Containing a summary of several recent results on Markov-based input modeling in a coherent notation, this book introduces and compares algorithms for parameter fitting and gives an overview of available software tools in the area. Due to progress made in recent years with respect to new algorithms to generate PH distributions and Markovian arrival processes from measured data, the models outlined are useful alternatives to other distributions or stochastic processes used for input modeling. Graduate students and researchers in applied probability, operations research and computer science along with practitioners using simulation or analytical models for performance analysis and capacity planning will find the unified notation and up-to-date results presented useful. Input modeling is the key step in model based system analysis to adequately describe the load of a system using stochastic models. The goal of input modeling is to find a stochastic model to describe a sequence of measurements from a real system to model for example the inter-arrival times of packets in a computer network or failure times of components in a manufacturing plant. Typical application areas are performance and dependability analysis of computer systems, communication networks, logistics or manufacturing systems but also the analysis of biological or chemical reaction networks and similar problems. Often the measured values have a high variability and are correlated. It’s been known for a long time that Markov based models like phase type distributions or Markovian arrival processes are very general and allow one to capture even complex behaviors. However, the parameterization of these models results often in a complex and non-linear optimization problem. Only recently, several new results about the modeling capabilities of Markov based models and algorithms to fit the parameters of those models have been published.
Publisher: Springer
ISBN: 3319066749
Category : Mathematics
Languages : en
Pages : 137
Book Description
Containing a summary of several recent results on Markov-based input modeling in a coherent notation, this book introduces and compares algorithms for parameter fitting and gives an overview of available software tools in the area. Due to progress made in recent years with respect to new algorithms to generate PH distributions and Markovian arrival processes from measured data, the models outlined are useful alternatives to other distributions or stochastic processes used for input modeling. Graduate students and researchers in applied probability, operations research and computer science along with practitioners using simulation or analytical models for performance analysis and capacity planning will find the unified notation and up-to-date results presented useful. Input modeling is the key step in model based system analysis to adequately describe the load of a system using stochastic models. The goal of input modeling is to find a stochastic model to describe a sequence of measurements from a real system to model for example the inter-arrival times of packets in a computer network or failure times of components in a manufacturing plant. Typical application areas are performance and dependability analysis of computer systems, communication networks, logistics or manufacturing systems but also the analysis of biological or chemical reaction networks and similar problems. Often the measured values have a high variability and are correlated. It’s been known for a long time that Markov based models like phase type distributions or Markovian arrival processes are very general and allow one to capture even complex behaviors. However, the parameterization of these models results often in a complex and non-linear optimization problem. Only recently, several new results about the modeling capabilities of Markov based models and algorithms to fit the parameters of those models have been published.
Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance
Author: Kai Fischbach
Publisher: Springer
ISBN: 3319053590
Category : Computers
Languages : en
Pages : 277
Book Description
This book constitutes the refereed proceedings of the 17th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault-Tolerance, MMB & DFT 2014, held in Bamberg, Germany, in March 2014. The 21 papers presented (2 invited papers, 3 tool papers and 16 full papers) were carefully reviewed and selected from numerous submissions. MMB & DFT 2014 cover all aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, workflow systems, software, fault-tolerant and secure systems. The conference also featured 3 satellite workshops namely the International Workshop on Demand Modeling and Quantitative Analysis of Future Generation Energy Networks and Energy-Efficient Systems, FGENET 2014; the International Workshop on Modeling, Analysis and Management of Social Networks and their Applications, SOCNET 2014 and the 2nd Workshop on Network Calculus, WoNeCa 2014.
Publisher: Springer
ISBN: 3319053590
Category : Computers
Languages : en
Pages : 277
Book Description
This book constitutes the refereed proceedings of the 17th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault-Tolerance, MMB & DFT 2014, held in Bamberg, Germany, in March 2014. The 21 papers presented (2 invited papers, 3 tool papers and 16 full papers) were carefully reviewed and selected from numerous submissions. MMB & DFT 2014 cover all aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, workflow systems, software, fault-tolerant and secure systems. The conference also featured 3 satellite workshops namely the International Workshop on Demand Modeling and Quantitative Analysis of Future Generation Energy Networks and Energy-Efficient Systems, FGENET 2014; the International Workshop on Modeling, Analysis and Management of Social Networks and their Applications, SOCNET 2014 and the 2nd Workshop on Network Calculus, WoNeCa 2014.
Optimization in Large Scale Problems
Author: Mahdi Fathi
Publisher: Springer Nature
ISBN: 3030285650
Category : Mathematics
Languages : en
Pages : 333
Book Description
This volume provides resourceful thinking and insightful management solutions to the many challenges that decision makers face in their predictions, preparations, and implementations of the key elements that our societies and industries need to take as they move toward digitalization and smartness. The discussions within the book aim to uncover the sources of large-scale problems in socio-industrial dilemmas, and the theories that can support these challenges. How theories might also transition to real applications is another question that this book aims to uncover. In answer to the viewpoints expressed by several practitioners and academicians, this book aims to provide both a learning platform which spotlights open questions with related case studies. The relationship between Industry 4.0 and Society 5.0 provides the basis for the expert contributions in this book, highlighting the uses of analytical methods such as mathematical optimization, heuristic methods, decomposition methods, stochastic optimization, and more. The book will prove useful to researchers, students, and engineers in different domains who encounter large scale optimization problems and will encourage them to undertake research in this timely and practical field. The book splits into two parts. The first part covers a general perspective and challenges in a smart society and in industry. The second part covers several case studies and solutions from the operations research perspective for large scale challenges specific to various industry and society related phenomena.
Publisher: Springer Nature
ISBN: 3030285650
Category : Mathematics
Languages : en
Pages : 333
Book Description
This volume provides resourceful thinking and insightful management solutions to the many challenges that decision makers face in their predictions, preparations, and implementations of the key elements that our societies and industries need to take as they move toward digitalization and smartness. The discussions within the book aim to uncover the sources of large-scale problems in socio-industrial dilemmas, and the theories that can support these challenges. How theories might also transition to real applications is another question that this book aims to uncover. In answer to the viewpoints expressed by several practitioners and academicians, this book aims to provide both a learning platform which spotlights open questions with related case studies. The relationship between Industry 4.0 and Society 5.0 provides the basis for the expert contributions in this book, highlighting the uses of analytical methods such as mathematical optimization, heuristic methods, decomposition methods, stochastic optimization, and more. The book will prove useful to researchers, students, and engineers in different domains who encounter large scale optimization problems and will encourage them to undertake research in this timely and practical field. The book splits into two parts. The first part covers a general perspective and challenges in a smart society and in industry. The second part covers several case studies and solutions from the operations research perspective for large scale challenges specific to various industry and society related phenomena.
Statistical Methods and Modeling of Seismogenesis
Author: Nikolaos Limnios
Publisher: John Wiley & Sons
ISBN: 1119825040
Category : Social Science
Languages : en
Pages : 336
Book Description
The study of earthquakes is a multidisciplinary field, an amalgam of geodynamics, mathematics, engineering and more. The overriding commonality between them all is the presence of natural randomness. Stochastic studies (probability, stochastic processes and statistics) can be of different types, for example, the black box approach (one state), the white box approach (multi-state), the simulation of different aspects, and so on. This book has the advantage of bringing together a group of international authors, known for their earthquake-specific approaches, to cover a wide array of these myriad aspects. A variety of topics are presented, including statistical nonparametric and parametric methods, a multi-state system approach, earthquake simulators, post-seismic activity models, time series Markov models with regression, scaling properties and multifractal approaches, selfcorrecting models, the linked stress release model, Markovian arrival models, Poisson-based detection techniques, change point detection techniques on seismicity models, and, finally, semi-Markov models for earthquake forecasting.
Publisher: John Wiley & Sons
ISBN: 1119825040
Category : Social Science
Languages : en
Pages : 336
Book Description
The study of earthquakes is a multidisciplinary field, an amalgam of geodynamics, mathematics, engineering and more. The overriding commonality between them all is the presence of natural randomness. Stochastic studies (probability, stochastic processes and statistics) can be of different types, for example, the black box approach (one state), the white box approach (multi-state), the simulation of different aspects, and so on. This book has the advantage of bringing together a group of international authors, known for their earthquake-specific approaches, to cover a wide array of these myriad aspects. A variety of topics are presented, including statistical nonparametric and parametric methods, a multi-state system approach, earthquake simulators, post-seismic activity models, time series Markov models with regression, scaling properties and multifractal approaches, selfcorrecting models, the linked stress release model, Markovian arrival models, Poisson-based detection techniques, change point detection techniques on seismicity models, and, finally, semi-Markov models for earthquake forecasting.
Systems Performance Modeling
Author: Adarsh Anand
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 3110607638
Category : Technology & Engineering
Languages : en
Pages : 219
Book Description
This book describes methods to improve software performance and safety using advanced mathematical and computational analytics. The main focus is laid on the increase of software reliability by preventive and predictive maintenance with efficient usage of modern testing resources. The editors collect contributions from international researchers in the field.
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 3110607638
Category : Technology & Engineering
Languages : en
Pages : 219
Book Description
This book describes methods to improve software performance and safety using advanced mathematical and computational analytics. The main focus is laid on the increase of software reliability by preventive and predictive maintenance with efficient usage of modern testing resources. The editors collect contributions from international researchers in the field.
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
Author: Anne Remke
Publisher: Springer
ISBN: 3319315595
Category : Computers
Languages : en
Pages : 221
Book Description
This book constitutes the proceedings of the 18th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2016, held in Münster, Germany, in April 2016. The 12 full papers and 3 short papers included in this volume were carefully reviewed and selected from 23 submissions. The papers deal with the fields of performance evaluation, dependability, and fault-tolerance of computer and communication systems. A relatively new topic of smart grids is also covered.
Publisher: Springer
ISBN: 3319315595
Category : Computers
Languages : en
Pages : 221
Book Description
This book constitutes the proceedings of the 18th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2016, held in Münster, Germany, in April 2016. The 12 full papers and 3 short papers included in this volume were carefully reviewed and selected from 23 submissions. The papers deal with the fields of performance evaluation, dependability, and fault-tolerance of computer and communication systems. A relatively new topic of smart grids is also covered.
Man-Machine Interactions 5
Author: Aleksandra Gruca
Publisher: Springer
ISBN: 3319677926
Category : Technology & Engineering
Languages : en
Pages : 599
Book Description
This Proceedings book provides essential insights into the current state of research in the field of human–computer interactions. It presents the outcomes of the International Conference on Man–Machine Interactions (ICMMI 2017), held on October 3–6, 2017, in Cracow, Poland, which offers a unique international platform for researchers and practitioners to share cutting-edge developments related to technologies, algorithms, tools and systems focused on the means by which humans interact and communicate with computers. This book is the 5th edition in the series and includes a unique selection of high-quality, original papers highlighting the latest theoretical and practical research on technologies, applications and challenges encountered in the rapidly evolving new forms of human–machine relationships. Major research topics covered include human–computer interfaces, bio-data analysis and mining, image analysis and signal processing, decision support and expert systems, pattern recognition, algorithms and optimisations, computer networks, and data management systems. As such, the book offers a valuable resource for researchers in academia, industry and other fields whose work involves man–machine interactions.
Publisher: Springer
ISBN: 3319677926
Category : Technology & Engineering
Languages : en
Pages : 599
Book Description
This Proceedings book provides essential insights into the current state of research in the field of human–computer interactions. It presents the outcomes of the International Conference on Man–Machine Interactions (ICMMI 2017), held on October 3–6, 2017, in Cracow, Poland, which offers a unique international platform for researchers and practitioners to share cutting-edge developments related to technologies, algorithms, tools and systems focused on the means by which humans interact and communicate with computers. This book is the 5th edition in the series and includes a unique selection of high-quality, original papers highlighting the latest theoretical and practical research on technologies, applications and challenges encountered in the rapidly evolving new forms of human–machine relationships. Major research topics covered include human–computer interfaces, bio-data analysis and mining, image analysis and signal processing, decision support and expert systems, pattern recognition, algorithms and optimisations, computer networks, and data management systems. As such, the book offers a valuable resource for researchers in academia, industry and other fields whose work involves man–machine interactions.
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
Author: Jane Hillston
Publisher: Springer Nature
ISBN: 3031684168
Category :
Languages : en
Pages : 352
Book Description
Publisher: Springer Nature
ISBN: 3031684168
Category :
Languages : en
Pages : 352
Book Description
Software Engineering and Algorithms in Intelligent Systems
Author: Radek Silhavy
Publisher: Springer
ISBN: 3319911864
Category : Technology & Engineering
Languages : en
Pages : 501
Book Description
This book presents new software engineering approaches and methods, discussing real-world problems and exploratory research that describes novel approaches, modern design techniques, hybrid algorithms and empirical methods. This book constitutes part of the refereed proceedings of the Software Engineering and Algorithms in Intelligent Systems Section of the 7th Computer Science On-line Conference 2018 (CSOC 2018), held in April 2018.
Publisher: Springer
ISBN: 3319911864
Category : Technology & Engineering
Languages : en
Pages : 501
Book Description
This book presents new software engineering approaches and methods, discussing real-world problems and exploratory research that describes novel approaches, modern design techniques, hybrid algorithms and empirical methods. This book constitutes part of the refereed proceedings of the Software Engineering and Algorithms in Intelligent Systems Section of the 7th Computer Science On-line Conference 2018 (CSOC 2018), held in April 2018.
Computer Performance Engineering
Author: Philipp Reinecke
Publisher: Springer
ISBN: 3319665839
Category : Computers
Languages : en
Pages : 306
Book Description
This book constitutes the refereed proceedings of the 14th EuropeanWorkshop on Computer Performance Engineering, EPEW 2017, held in Berlin,Germany, in September 2017. The 18 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 30 submissions. The papers presented at the workshop reflect the diversity of modern performanceengineering, with topics ranging from advances in Markov models; advances in quantitative analysis; model checking; and cyber-physical systems to performance, energy and security.
Publisher: Springer
ISBN: 3319665839
Category : Computers
Languages : en
Pages : 306
Book Description
This book constitutes the refereed proceedings of the 14th EuropeanWorkshop on Computer Performance Engineering, EPEW 2017, held in Berlin,Germany, in September 2017. The 18 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 30 submissions. The papers presented at the workshop reflect the diversity of modern performanceengineering, with topics ranging from advances in Markov models; advances in quantitative analysis; model checking; and cyber-physical systems to performance, energy and security.