Описание: The combination of VLSI process technology and real-time digital signal processing (DSP) has brought a break-through in information technology. This book deals with the modeling, timing verification and analysis, and the automatic synthesis of integrated real-time DSP systems.
Автор: P. Pandurang Nayak Название: Automated Modeling of Physical Systems ISBN: 3540606416 ISBN-13(EAN): 9783540606413 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph investigates the problem of selecting adequate models for reasoning about physical systems and applications to engineering problem solving. Treatments of both the theoretical and practical sides are present.
Автор: Vincent Duindam; Alessandro Macchelli; Stefano Str Название: Modeling and Control of Complex Physical Systems ISBN: 3642031951 ISBN-13(EAN): 9783642031953 Издательство: Springer Рейтинг: Цена: 20896.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book starts from the basic concept of port-based modeling and extends it to Port-Hamiltonian systems. This generic paradigm is then applied to various physical domains, showing its power and unifying flexibility for real multi-domain systems.
Автор: Vincent Duindam; Alessandro Macchelli; Stefano Str Название: Modeling and Control of Complex Physical Systems ISBN: 3642420753 ISBN-13(EAN): 9783642420757 Издательство: Springer Рейтинг: Цена: 16977.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book starts from the basic concept of port-based modeling and extends it to Port-Hamiltonian systems. This generic paradigm is then applied to various physical domains, showing its power and unifying flexibility for real multi-domain systems.
Автор: Tiller Название: Introduction to Physical Modeling with Modelica ISBN: 0792373677 ISBN-13(EAN): 9780792373674 Издательство: Springer Рейтинг: Цена: 12850.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This title describes "Modelica", a modelling language that can be used to simulate both continuous and discrete behaviour, It provides the necessary
background to develop Modelica models of almost any physical system. The author starts with basic differential equations from several engineering domains and describes how these
equations can be used to create reusable component models. Next, he describes techniques for modelling complex non-linear behaviour, exploiting the powerful array handling features
and mixing continuous and discrete behaviour.
The second part of the book focuses on effective use of all the language features provided by the Modelica modelling
language. This includes, among other things, discussions on maximizing the reusability of component models being developed, managing the model development process, and making
models as computationally efficient as possible. The book includes a companion CD-ROM with the Modelica source code for all examples as well as an evaluation copy of
Dymola.
Using Dymola, readers can immediately begin to explore the dynamics of the models included with the book or to develop their own models. Nearly 100 examples of
mechanical, electrical, biological, chemical, thermal and hydraulic models are included.
Автор: Franck Cassez; Claude Jard Название: Formal Modeling and Analysis of Timed Systems ISBN: 354085777X ISBN-13(EAN): 9783540857778 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. This book contains 17 papers that were presented together with 3 invited talks and selected from 37 submissions.
Автор: Alessandro Abate; Gilles Geeraerts Название: Formal Modeling and Analysis of Timed Systems ISBN: 331965764X ISBN-13(EAN): 9783319657646 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Hybrid systems.- Probabilistic models.- Quantitative logics and monitoring.- Reachability Analysis.- Testing and simulation.
Автор: Armando W. Colombo; Thomas Bangemann; Stamatis Kar Название: Industrial Cloud-Based Cyber-Physical Systems ISBN: 3319382659 ISBN-13(EAN): 9783319382654 Издательство: Springer Рейтинг: Цена: 13059.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Intro and Vision of IMC-AESOP.- State of the Art.- Envisioned Architecture.- Promising Technologies.- Infrastructure Migration.- Engineering Methods.- Application: Usecase1.- Application: Usecase2.- Application: Usecase3.- Application: Usecase4.- Conclusions and Future Challenges.
Автор: Feng Xia; Azizur Rahim Название: MAC Protocols for Cyber-Physical Systems ISBN: 3662463601 ISBN-13(EAN): 9783662463604 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides a literature review of various wireless MAC protocols and techniques for achieving real-time and reliable communications in the context of cyber-physical systems (CPS).
Описание: This book applies computational intelligence and soft computing techniques to Cyber Physical Systems, where physical and communication segments of networked entities interact. Discusses how to ensure dependability, safety, security and efficiency in real time.
Автор: Katarzyna Radecka; Zeljko Zilic Название: Verification by Error Modeling ISBN: 1441954023 ISBN-13(EAN): 9781441954022 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the basis for reusing the test vector generation and simulation for the purpose of implementation verification, to result in a significant timesaving. It brings the results in the direction of merging manufacturing test vector generation and verification.
Автор: Sang C. Suh; U. John Tanik; John N. Carbone; Abdul Название: Applied Cyber-Physical Systems ISBN: 1461473357 ISBN-13(EAN): 9781461473350 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Applied Cyber-Physical Systems presents the latest methods and technologies in the area of cyber-physical systems including medical and biological applications. Cyber-physical systems (CPS) integrate computing and communication capabilities by monitoring, and controlling the physical systems via embedded hardware and computers.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
