Описание: This book presents the proceedings of the International Conference on Systems, Control and Information Technologies 2016. It includes research findings from leading experts in the fields connected with INDUSTRY 4.0 and its implementation, especially: intelligent systems, advanced control, information technologies, industrial automation, robotics, intelligent sensors, metrology and new materials. Each chapter offers an analysis of a specific technical problem followed by a numerical analysis and simulation as well as the implementation for the solution of a real-world problem.
Описание: 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.
Автор: Mike Barley; Haris Mouratidis; Amy Unruh; Diana F. Название: Safety and Security in Multiagent Systems ISBN: 3642048781 ISBN-13(EAN): 9783642048784 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: As intelligent autonomous agents and multiagent system applications become more pervasive, it becomes increasingly important to understand the risks associated with using these systems.
Описание: The amount of data used in the business world has been growing at a rapid and exponential rate. These large volumes of data have led not only to the rise of big data analytics, but to the need for improvements and advancements in the management of it.Recent Advances in Intelligent Technologies and Information Systems brings together current practices and innovations in the management and processing of diverse big data sets through technological integration. Focusing on concepts such as semantic technologies, open source tools, and soft computing, this book is an integral reference source for professionals, researchers, and practitioners interested in the application of technological advancements.
Автор: J?nos Fodor; Ryszard Klempous; Carmen Paz Su?rez A Название: Recent Advances in Intelligent Engineering Systems ISBN: 3642270069 ISBN-13(EAN): 9783642270062 Издательство: Springer Рейтинг: Цена: 23508.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Written by leading experts in the field, this volume`s three parts cover foundational aspects, intelligent computation in networks, and applications of computational intelligence to engineering systems, which, as the book shows, is an area of vast potential.
Описание: In today's society the issue of security has become a crucial one. The use of knowledge-based technology in security applications emerges with important
applications in monitoring, control, crisis, and rescue management. This volume contains extended and improved versions of selected contributions presented at the International
Workshop "Monitoring, Security and Rescue Techniques in Multiagent Systems" (MSRAS 2004) held in Plock, Poland, June 7-9, 2004, bringing together the world's leading
researchers in the field.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
