Описание: Electrical motor products reviews the energy efficiency management laws for electrical motor products in United States, European Union (EU) and China. The energy efficiency certification requirements for the electrical motor products vary from country to country and are summarised here. International standards, testing methods and certification requirements for specific electrical motor products are discussed, including electric motors, pumps and fans. Finally, methods for improving energy efficiency are examined.
Автор: Eugenio Villar Название: Embedded Systems Specification and Design Languages ISBN: 9048178347 ISBN-13(EAN): 9789048178346 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL`07), in September 2007. It highlights the role of specification and modelling languages, and presents practical experiences with specification and modelling languages
Описание: Specification and design methodology has seen significant growth as a research area over the last decade, tracking but lagging behind VLSI design technology in general and the CAD industry in particular.
Автор: Graham Birtwistle; P.A. Subrahmanyam Название: VLSI Specification, Verification and Synthesis ISBN: 1461291976 ISBN-13(EAN): 9781461291978 Издательство: Springer Рейтинг: Цена: 16979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: VLSI Specification, Verification and Synthesis Proceedings of a workshop held in Calgary from 12-16 January 1987.
Автор: Pierre Boulet Название: Advances in Design and Specification Languages for SoCs ISBN: 1489984690 ISBN-13(EAN): 9781489984692 Издательство: Springer Рейтинг: Цена: 27951.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: List of Figures. List of Tables. Foreword. Part I Analog and Mixed-Signal Systems. Introduction, Alain Vachoux. 1. Prediction of Conducted-Mode Emission, Anne-Marie Trullemans-Anckaert, Richard Perdriau, Mohamed Ramdani, and Jean-Luc Levant. 2. Refinement of Mixed-Signal Systems: Between HEAVEN and HELL, Christoph Grimm, Rьdiger Schroll, Klaus Waldschmidt. 3. Mixed Nets, Conversion Models, and VHDL-AMS, John Shields and Ernst Christen. 4. Monte Carlo Simulation Using VHDL-AMS, Ekkehart-Peter Wagner and Joachim Haase. 5. Practical Case Example of Inertial MEMS Modeling with VHDL-AMS, Elena Martнn, Laura Barrachina, Carles Ferrer. Acknowledgments. References. Part II UML-based System Specification and Design. Introduction, Piet van der Putten. 6. Metamodels and MDA Transformations for Embedded Systems, Lossan Bondй, Cйdric Dumoulin and Jean-Luc Dekeyser. 7. Model Based Testing and Re_nement in MDA Based Development, Ian Oliver. 8. Predictability in Real-time System Development, Jinfeng Huang, Jeroen Voeten, Oana Florescu, Piet van der Putten and Henk Corporaal. 9. Timing Performances and MDA Approaches, Mathieu Maranzana, Jean-Francois Ponsignon, Jean-Louis Sourrouille, and Franck Bernier. 10. UML-EFM, P.F. Lister, V. Trignano, M.C. Bassett and P.L. Watten. Acknowledgments. Part III C/C++-Based System Design. Introduction, Eugenio Villar. 11. Designing for dynamic partially recon_gurable FPGAs with SystemC and OSSS, Andreas Schallenberg, Frank Oppenheimer and Wolfgang Nebel. 12. Heterogeneous System-Level Specification in SystemC, Fernando Herrera, Pablo Sбnchez, Eugenio Villar. 13. The Meta-language xHDL, Miguel A. Sбnchez Marcos, Бngel Fernбndez Herrero, Marisa Lуpez-Vallejo. 14. SystemC Models for Realistic Simulations Involving RTOS Services, Prih Hastono, Stephan Klaus, and Sorin A. Huss. References. 15. System-Level Desgin for RSoC, Kari Tiensyrjд, Miroslav Cupak, Kostas Masselos, Marko Pettissalo, Konstantinos Potamianos, Yang Qu, Luc Rynders, Geert Vanmeerbeeck, Nikos Voros and Yan Zhang. Acknowledgments. Part IV Invited Contributions. Introduction, Wolfgang Mьller. 16. Symbolic Model Checking and Simulation, Roland J. Weiss, Jьrgen Ruf, Thomas Kropf and Wolfgang Rosenstiel. Introduction, Christoph Grimm. 17. Automotive System Design and AutoSAR, Georg Pelz, Peter Oehler, Eliane Fourgeau, Christoph Grimm.
Описание: Current research into formal methods for hardware design is presented in the papers in this volume. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs.
Автор: A. Vachoux Название: Applications of Specification and Design Languages for SoCs ISBN: 9048172497 ISBN-13(EAN): 9789048172498 Издательство: Springer Рейтинг: Цена: 29209.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book includes a selection of the best contributions to the Forum on Specification and Design Languages held in 2005 (FDL`05). It provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design.
Автор: Eugenio Villar; Jean Mermet Название: System Specification & Design Languages ISBN: 1441953485 ISBN-13(EAN): 9781441953483 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The UML-based system specification and design contributions address latest results on hot-topic areas such as system profiling, performance analysis and UML application to complex, HW/SW embedded systems and SoC design.C/C++-for HW/SW systems design is entering standard industrial design flows.
Автор: Tadanori Mizuno; Teruo Higashino; Norio Shiratori Название: Protocol Test Systems ISBN: 1475763107 ISBN-13(EAN): 9781475763102 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Manoj Sachdev; Jose Pineda de Gyvez Название: Defect-Oriented Testing for Nano-Metric CMOS VLSI Circuits ISBN: 1441942858 ISBN-13(EAN): 9781441942852 Издательство: Springer Рейтинг: Цена: 26120.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 2nd edition of defect oriented testing has been extensively updated. New chapters on Functional, Parametric Defect Models and Inductive fault Analysis and Yield Engineering have been added to provide a link between defect sources and yield.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
