Semi-physical Verification Technology for Dynamic Performance of Internet of Things System, Xiaolei Yu; Donghua Wang; Zhimin Zhao
Автор: Antonio Guerrieri; Valeria Loscri; Anna Rovella; G Название: Management of Cyber Physical Objects in the Future Internet of Things ISBN: 3319268678 ISBN-13(EAN): 9783319268675 Издательство: Springer Рейтинг: Цена: 16979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book focuses on new methods, architectures, and applications for the management of Cyber Physical Objects (CPOs) in the context of the Internet of Things (IoT).It covers a wide range of topics related to CPOs, such as resource management, hardware platforms, communication and control, and control and estimation over networks.
Автор: Rolf Drechsler; Ulrich K?hne Название: Formal Modeling and Verification of Cyber-Physical Systems ISBN: 3658099933 ISBN-13(EAN): 9783658099930 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany.
Internet of Things: Technologies and Applications for a New Age of Intelligence outlines the background and overall vision for the Internet of Things (IoT) and Cyber-Physical Systems (CPS), as well as associated emerging technologies. Key technologies are described including device communication and interactions, connectivity of devices to cloud-based infrastructures, distributed and edge computing, data collection, and methods to derive information and knowledge from connected devices and systems using artificial intelligence and machine learning. Also included are system architectures and ways to integrate these with enterprise architectures, and considerations on potential business impacts and regulatory requirements.
New to this edition: - Updated material on current market situation and outlook. - A description of the latest developments of standards, alliances, and consortia. More specifically the creation of the Industrial Internet Consortium (IIC) and its architecture and reference documents, the creation of the Reference Architectural Model for Industrie 4.0 (RAMI 4.0), the exponential growth of the number of working groups in the Internet Engineering Task Force (IETF), the transformation of the Open Mobile Alliance (OMA) to OMA SpecWorks and the introduction of OMA LightweightM2M device management and service enablement protocol, the initial steps in the specification of the architecture of Web of Things (WoT) by World Wide Consortium (W3C), the GS1 architecture and standards, the transformation of ETSI-M2M to oneM2M, and a few key facts about the Open Connectivity Forum (OCF), IEEE, IEC/ISO, AIOTI, and NIST CPS. - The emergence of new technologies such as distributed ledgers, distributed cloud and edge computing, and the use of machine learning and artificial intelligence for IoT. - A chapter on security, outlining the basic principles for secure IoT installations. - New use case description material on Logistics, Autonomous Vehicles, and Systems of CPS
Standards organizations covered: IEEE, 3GPP, IETF, IEC/ISO, Industrial Internet Consortium (IIC), ITU-T, GS1, Open Geospatial Consortium (OGC), Open Mobile Alliance (OMA, e.g. LightweightM2M), Object Management Group (OMG, e.g. Business Process Modelling Notation (BPMN)), oneM2M, Open Connectivity Forum (OCF), W3C
Key technologies for IoT covered: Embedded systems hardware and software, devices and gateways, capillary networks, local and wide area networking, IoT data management and data warehousing, data analytics and big data, complex event processing and stream analytics, control systems, machine learning and artificial intelligence, distributed cloud and edge computing, and business process and enterprise integration.
In-depth security solutions for IoT systems
Technical explanations combined with design features of IoT and use cases, which help the development of real-world solutions
Detailed descriptions of the architectures and technologies that form the basis of IoT
Clear examples of IoT use cases from real-world implementations such as Smart Grid, Smart Buildings, Smart Cities, Logistics and Participatory Sensing, Industrial Automation, and Systems of CPS
Market perspectives, IoT evolution, and future outlook
Автор: Schobeiri, Meinhard T. Название: Turbomachinery flow physics and dynamic performance ISBN: 3642061141 ISBN-13(EAN): 9783642061141 Издательство: Springer Рейтинг: Цена: 18161.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book provides senior undergraduate students, graduate students and engineers in the turbomachinery industry with a solid background of turbomachinery flow physics and performance fundamentals that are essential for understanding turbomachinery performance and flow complexes.
Автор: Mike Mintz; Robert Ekendahl Название: Hardware Verification with System Verilog ISBN: 1441944087 ISBN-13(EAN): 9781441944085 Издательство: Springer Рейтинг: Цена: 19589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book focuses on Object Orientation Programming and its applications for C++ and SystemVerilog. It includes discussion on why and when certain features should be used. The book also includes an open source verification framework as well as examples.
Автор: Meinhard T. Schobeiri Название: Turbomachinery Flow Physics and Dynamic Performance ISBN: 3662517558 ISBN-13(EAN): 9783662517550 Издательство: Springer Рейтинг: Цена: 23508.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Rigorously updated and enhanced for this second edition, with fresh chapters on laminar turbulent transition, turbulence and boundary layer, this textbook is a solid source of information for designing state-of-the art turbomachinery components and systems.
Описание: This book combines semi-physical simulation technology with an Internet of Things (IOT) application system based on novel mathematical methods such as the Fisher matrix, artificial neural networks, thermodynamic analysis, support vector machines, and image processing algorithms. The dynamic testing and semi-physical verification of the theory and application were conducted for typical IOT systems such as RFID systems, Internet of Vehicles systems, and two-dimensional barcode recognition systems. The findings presented are of great scientific significance and have wide application potential for solving bottlenecks in the development of RFID technology and IOT engineering. The book is a valuable resource for postgraduate students in fields such as computer science and technology, control science and engineering, and information science. Moreover, it is a useful reference resource for researchers in IOT and RFID-related industries, logistics practitioners, and system integrators.
Описание: Provides an overview of the current Internet of Things (IoT) landscape, ranging from the research, innovation and development priorities to enabling technologies in a global context. The book presents global views and state of the art results on the challenges facing the research, innovation, development and deployment of IoT.
This book provides the first comprehensive view of safe and secure CPS and IoT systems. The authors address in a unified manner both safety (physical safety of operating equipment and devices) and computer security (correct and sound information), which are traditionally separate topics, practiced by very different people.
Offers readers a unified view of safety and security, from basic concepts through research challenges;
Provides a detailed comparison of safety and security methodologies;
Describes a comprehensive threat model including attacks, design errors, and faults;
Identifies important commonalities and differences in safety and security engineering.
Автор: Rolf Drechsler Название: Formal System Verification ISBN: 3319576836 ISBN-13(EAN): 9783319576831 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL).
Автор: Prakash Rashinkar; Peter Paterson; Leena Singh Название: System-on-a-Chip Verification ISBN: 1475774680 ISBN-13(EAN): 9781475774689 Издательство: Springer Рейтинг: Цена: 22203.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is the first book to cover verification strategies and methodologies for SOC verification from system level verification to the design sign-off. All the verification aspects in this exciting new book are illustrated with a single reference design for Bluetooth application.
Автор: Rolf Drechsler Название: Formal System Verification ISBN: 3319862235 ISBN-13(EAN): 9783319862231 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
