Описание: 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.
Автор: James Hamilton Название: Aharonov-Bohm and other Cyclic Phenomena ISBN: 3662148056 ISBN-13(EAN): 9783662148051 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Written for theoretical physicists, this book covers such topics as motion around a solenoid, flux measurements, and other phenomena involving movement on a closed circuit, as well as a discussion of a variety of physical phenomena where the A-B phase is a basic feature.
Название: 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.
Автор: 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.
Описание: 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.
Описание: 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.
Автор: 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.
Автор: Warnick, Karl F. (brigham Young University, Utah) Maaskant, Rob (chalmers University Of Technology, Gothenberg) Ivashina, Marianna V. (chalmers Univer Название: Phased arrays for radio astronomy, remote sensing, and satellite communications ISBN: 1108423922 ISBN-13(EAN): 9781108423922 Издательство: Cambridge Academ Рейтинг: Цена: 18216.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Discover a modern approach to the analysis and design of high sensitivity phased arrays for radio astronomy, remote sensing and satellite communications applications with this unique text. It covers the latest numerical methods and computational modeling tools, including beamforming, digital signal processing, and interferometric imaging.
Автор: Achim Rettberg; Mauro C. Zanella; Michael Amann; M Название: Analysis, Architectures and Modelling of Embedded Systems ISBN: 364204283X ISBN-13(EAN): 9783642042836 Издательство: Springer Рейтинг: Цена: 17043.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the technical program of the International Embedded Systems Symposium (IESS) 2009. Embedded systems meet their performance goals, including real-time constraints, through a combination of special-purpose hardware and software components tailored to the system requirements.
Описание: 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.
Описание: 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;
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
