Striking a balance between state-of-the-art research and practical applications, this book provides a forum for contributions that cover the main research challenges in the cyclic modeling, development, and validation of concurrently acting distributed production systems: systems that employ multi-assortment production in large quantities, are characterized by gradual changes in their product mix, and exclusively manufacture products in a cyclic manner. Similar issues also arise in computer systems, e.g., embedded systems. Cyclic optimization problems that occur in them are unique and under-researched, but are attracting new interest primarily due to their great practical importance and the difficulty involved in obtaining efficient algorithms for solving specific cases with real constraints arising from manufacturing practice. Addressing these and other topics, the book will be of great interest to researchers in computer science, operations management, and production control, as well as practicing managers and engineers.

Striking a balance between state-of-the-art research and practical applications, this book provides a forum for contributions that cover the main research challenges in the cyclic modeling, development, and validation of concurrently acting distributed production systems: systems that employ multi-assortment production in large quantities, are characterized by gradual changes in their product mix, and exclusively manufacture products in a cyclic manner. Similar issues also arise in computer systems, e.g., embedded systems. Cyclic optimization problems that occur in them are unique and under-researched, but are attracting new interest primarily due to their great practical importance and the difficulty involved in obtaining efficient algorithms for solving specific cases with real constraints arising from manufacturing practice. Addressing these and other topics, the book will be of great interest to researchers in computer science, operations management, and production control, as well as practicing managers and engineers.

This textbook provides an introduction to common methods of performance modeling and analysis of communication systems. These methods form the basis of traffic engineering, teletraffic theory, and analytical system dimensioning. The fundamentals of probability theory, stochastic processes, Markov processes, and embedded Markov chains are presented. Basic queueing models are described with applications in communication networks. Advanced methods are presented that have been frequently used in recent practice, especially discrete-time analysis algorithms, or which go beyond classical performance measures such as Quality of Experience or energy efficiency. Recent examples of modern communication networks include Software Defined Networking and the Internet of Things. Throughout the book, illustrative examples are used to provide practical experience in performance modeling and analysis. Target group: The book is aimed at students and scientists in computer science and technical computer science, operations research, electrical engineering and economics.

This monograph presents a new declarative approach dedicated to the analysis of behaviors and synthesis of structures of Systems of Cyclic Concurrent Multimodal Processes (SCCMP). These kinds of problems are some of the most difficult cyclic scheduling problems - both from the computational side and the complexity of the models used. SCCMP is understood as a set of processes (in particular, multimodal processes) that execute operations cyclically on a set of jointly used (shared) resources (processors, machines, means of transport, etc.). They model the functioning of numerous systems encountered in practical settings and which are characterized by cyclic (periodic) behavior. Typical examples are the passenger railway system, the manufacturing system, the transportation system, and etc. Considered problems, i.e., the behavior analysis problem, the structure prototyping problem, and the problem of mutual reachability of various SCCMP behaviors, are strongly NP-hard. This feature implies that computationally-efficient algorithms need to be sought. They would enable the evaluation of selected aspects of the considered system's functions, such as service costs, transport time, etc., in real-time mode. In that context, the presented monograph fills the gap in the field of SCCMP modeling. Its aim is to present declarative models of systems of cyclic multimodal processes. Such models allow the development of computationally-efficient methods of analysis of the behavior and synthesis of the structure of SCCMP. The particular issues raised in this study concern: · Modeling of SCCMP with regular/fractal structures, i.e., structures composed of repeating fragments. · Determining the conditions of mutual reachability of various SCCMP behaviors. · Modeling of SCCMP described by fuzzy variables. The monograph is addressed to researchers, practitioners, and graduate students in operations management, operations research, computer science, and industrial engineering. Declarative models of concurrent cyclic processes will serve as an essential reference for professionals working on cyclic scheduling problems in computer science, manufacturing, communication, and transportation services, as well as in many other areas.

Cyclic Plasticity of Metals: Modeling Fundamentals and Applications provides an exhaustive overview of the fundamentals and applications of various cyclic plasticity models including forming and spring back, notch analysis, fatigue life prediction, and more. Covering metals with an array of different structures, such as hexagonal close packed (HCP), face centered cubic (FCC), and body centered cubic (BCC), the book starts with an introduction to experimental macroscopic and microscopic observations of cyclic plasticity and then segues into a discussion of the fundamentals of the different cyclic plasticity models, covering topics such as kinematics, stress and strain tensors, elasticity, plastic flow rule, and an array of other concepts. A review of the available models follows, and the book concludes with chapters covering finite element implementation and industrial applications of the various models. - Reviews constitutive cyclic plasticity models for various metals and alloys with different cell structures (cubic, hexagonal, and more), allowing for more accurate evaluation of a component's performance under loading - Provides real-world industrial context by demonstrating applications of cyclic plasticity models in the analysis of engineering components - Overview of latest models allows researchers to extend available models or develop new ones for analysis of an array of metals under more complex loading conditions

Queueing network models have been widely applied as a powerful tool for modelling, performance evaluation, and prediction of discrete flow systems, such as computer systems, communication networks, production lines, and manufacturing systems. Queueing network models with finite capacity queues and blocking have been introduced and applied as even more realistic models of systems with finite capacity resources and with population constraints. In recent years, research in this field has grown rapidly. Analysis of Queueing Networks with Blocking introduces queueing network models with finite capacity and various types of blocking mechanisms. It gives a comprehensive definition of the analytical model underlying these blocking queueing networks. It surveys exact and approximate analytical solution methods and algorithms and their relevant properties. It also presents various application examples of queueing networks to model computer systems and communication networks. This book is organized in three parts. Part I introduces queueing networks with blocking and various application examples. Part II deals with exact and approximate analysis of queueing networks with blocking and the condition under which the various techniques can be applied. Part III presents a review of various properties of networks with blocking, describing several equivalence properties both between networks with and without blocking and between different blocking types. Approximate solution methods for the buffer allocation problem are presented.

This book presents emerging concepts in data mining, big data analysis, communication, and networking technologies, and discusses the state-of-the-art in data engineering practices to tackle massive data distributions in smart networked environments. It also provides insights into potential data distribution challenges in ubiquitous data-driven networks, highlighting research on the theoretical and systematic framework for analyzing, testing and designing intelligent data analysis models for evolving communication frameworks. Further, the book showcases the latest developments in wireless sensor networks, cloud computing, mobile network, autonomous systems, cryptography, automation, and other communication and networking technologies. In addition, it addresses data security, privacy and trust, wireless networks, data classification, data prediction, performance analysis, data validation and verification models, machine learning, sentiment analysis, and various data analysis techniques.

Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of sugnificant, lasting value in this rapidly expanding field. - In-depth surveys and tutorials on new computer technology - Well-known authors and researchers in the field - Extensive bibliographies with most chapters - Many of the volumes are devoted to single themes or subfields of computer science

M. Silva Significant changes have been occurring in industrialized countries since the Second World War. Production is moving towards sophisticated high qUality products, economy of scale has been replaced by economy of scope, jerky demands are progressively replacing steady demands, and competi tiveness is becoming a worldwide phenomenon. These trends require highly automated manufacturing systems with small set-up times and high flex ibility. As a consequence, implementation and running costs of modem manufacturing systems are drastically increasing, whereas their fields of application remain limited, and every day become even narrower, which increases the risk of early obsolescence. This is the reason why designers are trying to improve the preliminary design phase, also known as the 'paper study phase'. The preliminary design phase includes, but is not limited to, the func tional specification, and the evaluation of the system. Many tools exist to support the functional specification of manufactur ing systems. IDEFO is one of these tools. It leads, using a top-down ap proach, to a precise functional description of the required system. However, its use cannot be extended further. In general, the evaluation starts with a modeling step, which depends on the evaluation tool used, and ends by applying the model to find out its main dynamic characteristics. Two main approaches can be used to perform this task, namely simulation and math ematical approach. Using simulation, the modeling tool is either a classical computer language, or a simulation language.