Huafeng (159 results)

Paperback. Condition: Good. *Text in Chinese* GOOD. Pink paperback. Approx. 9" x 6". Bumps/chips to edges and corners. Rub wear, dust markings and light scratches to covers. Front cover book edge is beginning to curl. Once Read Books, cover scan available - just ask, OnceReadBooks com Orders shipped via USPS.…

Condition: New. A brand new book in pristine condition. Showing zero signs of shelf wear, creases, or damage.

Condition: As New. Unread book in perfect condition.

Condition: New. A brand new book in pristine condition. Showing zero signs of shelf wear, creases, or damage.

Condition: New.

Condition: New. In English.

Condition: New. A brand new book in pristine condition. Showing zero signs of shelf wear, creases, or damage.

Condition: New. In English.

Condition: New.

Condition: New. Softcover reprint of the original 1st ed. 2017 edition NO-PA16APR2015-KAP.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model driven engineering methods including architecture description languages, virtual prototyping, and formal analysis methods. CPS are based on a new design paradigm intended to enable emerging software-intensive systems. Embedded computers and networks monitor and control the physical processes, usually with the help of feedback loops where physical processes affect computations and vice versa. The principal challenges in system design lie in this constant interaction of software, hardware and physics. Developing reliable CPS has become a critical issue for the industry and society, because many applications such as transportation, power distribution, medical equipment and tele-medicine are dependent on CPS. Safety and security requirements must be ensured by means of powerful validation tools. Satisfying such requirements, including quality of service, implies having formally proven the required properties of the system before it is deployed.The book is concerned with internationally standardized modeling languages such as AADL, SysML, and MARTE. As the effectiveness of the technologies is demonstrated with industrial sample cases from the automotive and aerospace sectors, links between the methods presented and industrial problems are clearly understandable. Each chapter is self-contained, addressing specific scientific or engineering problems, and identifying further issues. In closing, it includes perspectives on future directions in CPS design from an architecture analysis viewpoint.…

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model driven engineering methods including architecture description languages, virtual prototyping, and formal analysis methods. CPS are based on a new design paradigm intended to enable emerging software-intensive systems. Embedded computers and networks monitor and control the physical processes, usually with the help of feedback loops where physical processes affect computations and vice versa. The principal challenges in system design lie in this constant interaction of software, hardware and physics. Developing reliable CPS has become a critical issue for the industry and society, because many applications such as transportation, power distribution, medical equipment and tele-medicine are dependent on CPS. Safety and security requirements must be ensured by means of powerful validation tools. Satisfying such requirements, including quality of service, implies having formally proven the required properties of the system before it is deployed.The book is concerned with internationally standardized modeling languages such as AADL, SysML, and MARTE. As the effectiveness of the technologies is demonstrated with industrial sample cases from the automotive and aerospace sectors, links between the methods presented and industrial problems are clearly understandable. Each chapter is self-contained, addressing specific scientific or engineering problems, and identifying further issues. In closing, it includes perspectives on future directions in CPS design from an architecture analysis viewpoint.…

Condition: New.

Condition: New. In English.

Hardcover. Condition: Brand New. 159 pages. 9.50x6.25x0.75 inches. In Stock.

Condition: New.

Taschenbuch. Condition: Neu. Cyber-Physical System Design from an Architecture Analysis Viewpoint | Communications of NII Shonan Meetings | Shin Nakajima (u. a.) | Taschenbuch | xiv | Englisch | 2018 | Springer | EAN 9789811351365 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

Condition: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book is essential and valuable reference for graduate students and academics majored in power electronics, engineers engaged in developing distributed grid-connected inverters, and senior undergraduate students majored in electrical engineering and automation engineering. Soft-switching (SS) technique is an important way to achieve high conversion efficiency and high switching frequency for power converters, which is beneficial to improve power density and reduce volume and cost of power electronics equipment. This book mainly discusses SS technique for transformerless grid-connected inverters (TLIs), and a SS configuration named as ¿Freewheeling-Resonance-Tank Inverters¿ is proposed for TLIs fulfilling requirements of switching loss-free, full power factor range, and constant common-mode voltage performance. The detailed theoretical analysis and experimental validations are presented from ZCT and ZVT type topologies, respectively.…

Condition: New.

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book covers the start-of-the-art research and development for the emerging area of autonomous and intelligent systems. In particular, the authors emphasize design and validation methodologies to address the grand challenges related to safety. This book offers a holistic view of a broad range of technical aspects (including perception, localization and navigation, motion control, etc.) and application domains (including automobile, aerospace, etc.), presents major challenges and discusses possible solutions.…

Condition: New.

Condition: New. In English.

Hardcover. Condition: new. Hardcover. This book is essential and valuable reference for graduate students and academics majored in power electronics, engineers engaged in developing distributed grid-connected inverters, and senior undergraduate students majored in electrical engineering and automation engineering. Soft-switching (SS) technique is an important way to achieve high conversion efficiency and high switching frequency for power converters, which is beneficial to improve power density and reduce volume and cost of power electronics equipment. This book mainly discusses SS technique for transformerless grid-connected inverters (TLIs), and a SS configuration named as Freewheeling-Resonance-Tank Inverters is proposed for TLIs fulfilling requirements of switching loss-free, full power factor range, and constant common-mode voltage performance. The detailed theoretical analysis and experimental validations are presented from ZCT and ZVT type topologies, respectively. This book is essential and valuable reference for graduate students and academics majored in power electronics, engineers engaged in developing distributed grid-connected inverters, and senior undergraduate students majored in electrical engineering and automation engineering. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Condition: New.