Описание: This brief examines a deterministic, ODE-based model for gene regulatory networks (GRN) that incorporates nonlinearities and time-delayed feedback. One chapter is devoted to the analysis of GRNs under negative feedback with time delays and a special case of a homogenous GRN is considered.
Описание: This book aims to provide a unified treatment on the analysis and synthesis for discrete-time stochastic systems with guarantee of certain performances against network-enhanced complexities with applications in sensor networks and mobile robotics.
Описание: This thesis introduces novel and significant results regarding the analysis and synthesis of positive systems, especially under l1 and L1 performance. It describes stability analysis, controller synthesis, and bounding positivity-preserving observer and filtering design for a variety of both discrete and continuous positive systems.It subsequently derives computationally efficient solutions based on linear programming in terms of matrix inequalities, as well as a number of analytical solutions obtained for special cases. The thesis applies a range of novel approaches and fundamental techniques to the further study of positive systems, thus contributing significantly to the theory of positive systems, a “hot topic” in the field of control.
Автор: Wojciech Bo?ejko; Grzegorz Bocewicz Название: Modelling and Performance Analysis of Cyclic Systems ISBN: 3030276511 ISBN-13(EAN): 9783030276515 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 book focuses on surface layers fracture of cyclical contacting bodies (machine parts). Calculation models and calculating procedures of stress-strain states of cyclically contacting solids with cracks, are included. Recommendations for the optimization of operating parameters of joints (contact stresses magnitude, friction/lubrication conditions, materials crack resistance etc) for elements of rolling pairs (wheel–rail systems, backup roll – working roll of rolling mills etc.) and some fretting pairs are formulated.
Название: High Performance Programming for Soft Computing ISBN: 146658601X ISBN-13(EAN): 9781466586017 Издательство: Taylor&Francis Рейтинг: Цена: 22968.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book examines the present and future of soft computer techniques. It explains how to use the latest technological tools, such as multicore processors and graphics processing units, to implement highly efficient intelligent system methods using a general purpose computer.
Автор: Tayfur Altiok Название: Performance Analysis of Manufacturing Systems ISBN: 1461273412 ISBN-13(EAN): 9781461273417 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Manufacturing industries are devoted to producing high-quality products in the most economical and timely manner. In fact, we see an increasing number of manufacturing systems engineering departments and manufacturing research centers in universities not only in the US but also in Europe, Japan, and many developing countries.
Описание: This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019. They cover a range of topics including railways system and infrastructure advance modelling;
Автор: Meng Ziyang, Yang Tao, Johansson Karl H. Название: Modelling, Analysis, and Control of Networked Dynamical Systems ISBN: 3030846814 ISBN-13(EAN): 9783030846817 Издательство: Springer Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Introduction.- Part I Modelling.- Preliminaries.- Networked Dynamical Systems Models.- Part II Analysis.- System Synchronization.- Synchronization with Non-expansive Dynamics.- Periodic Solutions.- Modulus Consensus.- Part III Control.- Control of Networked Dynamical System with Input Saturation.- Control of Networked Dynamical System with Large Delays.- Control of Networked Dynamical System with Heterogeneous Dynamics.- Part IV Applications.- Spacecraft Formation Flying.- Multi-robot Rendezvous.- Energy Resource Coordination.- References.
Автор: Emilia Villani; Paulo Eigi Miyagi; Robert Valette Название: Modelling and Analysis of Hybrid Supervisory Systems ISBN: 1849966370 ISBN-13(EAN): 9781849966375 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book introduces a formalism for modeling complex and large-scale systems that merges Petri nets, differential equation systems, and object-oriented methods. It describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system.
Описание: This book demonstrates how to apply modern approaches to complex system control in practical applications involving knowledge-based systems. Moreover, specialised forms of knowledge-based systems (like e-learning, social network, and production systems) are introduced with a new formal approach to knowledge system modelling.
Описание: The Risk Assessment of ERTMS-Based Railway Systems from a Cyber SecurityPerspective: Methodology and Lessons Learned.- Using Formal Proof and B Method at System Level for Industrial Projects.- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.- A Formal Security Analysis of ERTMS Train to Trackside Protocols.- Operational Security - A Coming Evolution of Railway Operational Procedures under the IT Security Threat.- Risk Assessment of the 3Des in the ERTMS.- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods.- Static Verification of Railway Scheme and Interlocking Design Data.- Verification of Railway Interlocking - Compositional Approach with OCRA.- Safety Verification of Heterogeneous Railway Networks.- Comparing Formal Verification Approaches of Interlocking Systems.- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems.- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.- The PERF Approach for Formal Verification.- Abstract Software Specifications and Automatic Proof of Refinement.- S3: Proving the Safety of Critical Systems.- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
