Semi-physical Verification Technology for Dynamic Performance of Internet of Things System, Xiaolei Yu; Donghua Wang; Zhimin Zhao
Автор: Xiaolei Yu; Donghua Wang; Zhimin Zhao Название: Semi-physical Verification Technology for Dynamic Performance of Internet of Things System ISBN: 9811317585 ISBN-13(EAN): 9789811317583 Издательство: Springer Рейтинг: Цена: 130430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: 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 Рейтинг: Цена: 113190.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Ovidiu Vermesan, Peter Friess Название: Internet of Things Connecting the Physical, Digital and Virtual Worlds: Digitising the Industry ISBN: 8793379811 ISBN-13(EAN): 9788793379817 Издательство: Taylor&Francis Рейтинг: Цена: 93910.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Marilyn Wolf; Dimitrios Serpanos Название: Safe and Secure Cyber-Physical Systems and Internet-of-Things Systems ISBN: 3030258076 ISBN-13(EAN): 9783030258078 Издательство: Springer Рейтинг: Цена: 53100.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
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; Ulrich K?hne Название: Formal Modeling and Verification of Cyber-Physical Systems ISBN: 3658099933 ISBN-13(EAN): 9783658099930 Издательство: Springer Рейтинг: Цена: 79190.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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
Автор: Mohammad Hossein Keshavarz, Thomas M. Klapotke Название: Energetic Compounds: Methods for Prediction of their Performance ISBN: 3110521849 ISBN-13(EAN): 9783110521849 Издательство: Walter de Gruyter Цена: 61920.00 T Наличие на складе: Невозможна поставка. Описание: Since the synthesis and development of new energetic materials require identification of promising candidates for additional study and elimination of poor candidates from further consideration, it is important for engineers, scientists and industries to assess the performance of the new compounds for reducing costs associated with synthesis, testing and evaluation of these materials. Nowadays different approaches have been used to predict the performance of energetic compounds, which can be recognized to be cost-effective, environmentally-desirable and time-saving capabilities. This book reviews different methods for the assessment of the performance of an energetic compound through its heat of detonation, detonation pressure, detonation velocity, detonation temperature, Gurney energy and power (strength). The book also focuses on the detonation pressure and detonation velocity of non-ideal aluminized energetic compounds. Simple and reliable methods are demonstrated in detail where they can be easily used for the design, synthesis and development of novel energetic compounds.
Автор: Rolf Drechsler Название: Formal System Verification ISBN: 3319576836 ISBN-13(EAN): 9783319576831 Издательство: Springer Рейтинг: Цена: 111790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 148020.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Meinhard T. Schobeiri Название: Turbomachinery Flow Physics and Dynamic Performance ISBN: 3662517558 ISBN-13(EAN): 9783662517550 Издательство: Springer Рейтинг: Цена: 156720.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Schobeiri, Meinhard T. Название: Turbomachinery flow physics and dynamic performance ISBN: 3642061141 ISBN-13(EAN): 9783642061141 Издательство: Springer Рейтинг: Цена: 121070.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 130590.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
