0
Your cart

Your cart is empty

Browse All Departments
Price
  • R100 - R250 (60)
  • R250 - R500 (367)
  • R500+ (11,728)
  • -
Status
Format
Author / Contributor
Publisher

Books > Professional & Technical > Energy technology & engineering > Electrical engineering

Proceedings of the FISITA 2012 World Automotive Congress - Volume 7: Vehicle Design and Testing (I) (Hardcover, 2013 ed.):... Proceedings of the FISITA 2012 World Automotive Congress - Volume 7: Vehicle Design and Testing (I) (Hardcover, 2013 ed.)
Sae-China, , Fisita
R5,374 Discovery Miles 53 740 Ships in 18 - 22 working days

Proceedings of the FISITA 2012 World Automotive Congress are selected from nearly 2,000 papers submitted to the 34th FISITA World Automotive Congress, which is held by Society of Automotive Engineers of China (SAE-China ) and the International Federation of Automotive Engineering Societies (FISITA). This proceedings focus on solutions for sustainable mobility in all areas of passenger car, truck and bus transportation. Volume 7: Vehicle Design and Testing (I) focuses on: *Vehicle Performance Development *Vehicle Integration Platformized and Universal Design *Development of CAD /CAE/CAM and CF Methods in Automotive Practice *Advanced Chassis, Body Structure and Design *Automotive Ergonomic, Interior and Exterior Trim Design *Vehicle Style and Aerodynamic Design *New Materials and Structures Above all researchers, professional engineers and graduates in fields of automotive engineering, mechanical engineering and electronic engineering will benefit from this book. SAE-China is a national academic organization composed of enterprises and professionals who focus on research, design and education in the fields of automotive and related industries. FISITA is the umbrella organization for the national automotive societies in 37 countries around the world. It was founded in Paris in 1948 with the purpose of bringing engineers from around the world together in a spirit of cooperation to share ideas and advance the technological development of the automobile.

Proceedings of the First Symposium on Aviation Maintenance and Management-Volume II (Hardcover, 2014 ed.): Jinsong Wang Proceedings of the First Symposium on Aviation Maintenance and Management-Volume II (Hardcover, 2014 ed.)
Jinsong Wang
R5,275 Discovery Miles 52 750 Ships in 18 - 22 working days

"Proceedings of the First Symposium on Aviation Maintenance and Management "collects selected papers from the conference of ISAMM 2013 in China held in Xi'an on November 25-28, 2013. The book presents state-of-the-art studies on the aviation maintenance, test, fault diagnosis, and prognosis for the aircraft electronic and electrical systems. The selected works can help promote the development of the maintenance and test technology for the aircraft complex systems. Researchers and engineers in the fields of electrical engineering and aerospace engineering can benefit from the book.

Jinsong Wang is a professor at School of Mechanical and Electronic Engineering of Northwestern Polytechnical University, China.

Magneto-Optics (Hardcover, 2000 ed.): Satoru Sugano, Norimichi Kojima Magneto-Optics (Hardcover, 2000 ed.)
Satoru Sugano, Norimichi Kojima
R4,199 Discovery Miles 41 990 Ships in 18 - 22 working days

The book is designed to provide graduate students and research novices with an introductory review of recent developments in the field of magneto-optics. The field encompasses many of the most important subjects in solid state physics, chemical physics and electronic engineering. The book deals with (1) optical spectroscopy of paramagnetic, antiferromagnetic, and ferromagnetic materials, (2) studies of photo-induced magnetism, and (3) their applications to opto-electronics. Many of these studies originate from those of ligand-field spectra of solids, which are considered to have contributed to advances in materials research for solid-state lasers.

Carbon Dioxide Removal from Coal-Fired Power Plants (Hardcover, 1994 ed.): C. Hendriks Carbon Dioxide Removal from Coal-Fired Power Plants (Hardcover, 1994 ed.)
C. Hendriks
R4,141 Discovery Miles 41 410 Ships in 18 - 22 working days

1. 1. Greenhouse gas emissions and climate change . . . . . . . . . . . . . . 3 1. 1. 1. Emissions and concentrations of greenhouse gases 3 1. 1. 2. Impact of increasing greenhouse gases concentration 4 1. 2. Options to reduce carbon dioxide emissions 5 1. 2. 1. Carbon dioxide removal 8 1. 3. Scope of the thesis 10 1. 4. Outline of the thesis. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1. 4. 1. General evaluation method. . . . . . . . . . . . . . . . . . . . . . . 12 1. 4. 2. Some notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 II. Simulation and optimization of carbon dioxide recovery from the flue gases of a coal-fired power plant using amines 14 Abstract 19 2. 1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 2. 2. The chemical absorption process. . . . . . . . . . . . . . . . . . . . . . . . 22 2. 2. 1. General process description. . . . . . . . . . . . . . . . . . . . . . . 22 2. 2. 2. Types of absorbent 23 2. 2. 3. Effects of flue gas contaminants 24 2. 3. Simulation of the scrubber in ASPEN PLUS . . . . . . . . . . . . . . . . . 25 2. 3. 1. ASPEN PLUS for flow sheet simulation 26 2. 3. 2. Simulation of the performance for the base-case design . . 26 the scrubber . . . . . . . . . . . . . . . . . . . . . . 29 2. 3. 3. Optimization of 2. 3. 4. Design and results 32 2. 3. 5. Discussion. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 2. 4. Integration of the scrubber in the power plant 35 2. 4. 1. Power loss caused by steam extraction 36 2. 4. 2. Power saved by avoiding preheating boiler feed water . . . 38 2. 4. 3. Power consumption by the carbon dioxide scrubber . . . . . 38 2. 4. 4. Power consumption for carbon dioxide compression . . . . . 38 2. 4. 5. Calculation of plant efficiency losses " . . . . . . . . . . . . . . 39 2. 5.

Advances in Lithium-Ion Batteries (Hardcover, 2002 ed.): Walter Van Schalkwijk, B. Scrosati Advances in Lithium-Ion Batteries (Hardcover, 2002 ed.)
Walter Van Schalkwijk, B. Scrosati
R5,547 Discovery Miles 55 470 Ships in 18 - 22 working days

In the decade since the introduction of the first commercial lithium-ion battery research and development on virtually every aspect of the chemistry and engineering of these systems has proceeded at unprecedented levels. This book is a snapshot of the state-of-the-art and where the work is going in the near future. The book is intended not only for researchers, but also for engineers and users of lithium-ion batteries which are found in virtually every type of portable electronic product.

Markets and Policy Measures in the Evolution of Electric Mobility (Hardcover, 1st ed. 2016): Dirk Fornahl, Michael Hulsmann Markets and Policy Measures in the Evolution of Electric Mobility (Hardcover, 1st ed. 2016)
Dirk Fornahl, Michael Hulsmann
R3,873 R3,320 Discovery Miles 33 200 Save R553 (14%) Ships in 10 - 15 working days

This edited monograph collects theoretical, empirical and political contributions from different fields, focusing on the commercial launch of electric mobility, and intending to shed more light on the complexity of supply and demand. It is an ongoing discussion, both in the public as well as in academia, whether or not electric mobility is capable of gaining a considerable market share in the near future. The target audience primarily comprises researchers and practitioners in the field, but the book may also be beneficial for graduate students.

Fault Location and Service Restoration for Electrical Distribution Systems (Hardcover): J. Liu Fault Location and Service Restoration for Electrical Distribution Systems (Hardcover)
J. Liu
R3,117 Discovery Miles 31 170 Ships in 18 - 22 working days

In-depth and systemic examination of distribution automation with specific focus on fault location and service restoration Focuses on the detailed and systemic examination of fault location and service restoration in distribution grid Arms the readers with a complete picture of what fault location and service restoration is from both theoretical and practical perspectives Presents the authors research on fault location and restoration for distribution systems since 1995 Introduces the first-hand application experience obtained from over 30 DAS (Distribution Automation System) projects in China Examines the protection approaches of electrical distribution networks automation and on relevant mechanisms associated to electrical supply restoration after (local) blackouts

Overhead Electric Power Lines - Theory and practice (Hardcover): Surajit Chattopadhyay, Arabinda Das Overhead Electric Power Lines - Theory and practice (Hardcover)
Surajit Chattopadhyay, Arabinda Das
R3,321 R2,999 Discovery Miles 29 990 Save R322 (10%) Ships in 18 - 22 working days

In order to fulfill the tremendous worldwide demand for electrification, power line professionals will need to adopt rapid, reliable and sustainable solutions. For example, in a fast-developing country like India, which had the largest population without electricity in 2014 and 1.34 billion inhabitants in 2017, the demand for electrification is immense. In recent years, a new program facilitated 0.73 million new household connections per month and almost 19,000 villages per year. Wide-spread experience in geographical, geological, social and economic diversity leaves no doubt that overhead power lines (OHL) are the only way to provide electricity to communities where underground lines are technically unfeasible or too expensive. This book presents the technology and recent research into OHL in a concise and systematic way. After brief introductory sections, chapters cover line support, foundation and mechanical sag, corona discharge, overhead line insulators and conductors, earthing and earth wire, lightning and surge protection, insulation and coordination, route selection, commissioning, operation and maintenance. This book is a must-read for researchers and experts involved with utilities and particularly for anyone associated with the installation, electrification, operation and maintenance of overhead lines in transmission and distribution networks.

Transactions of the Seventh Prague Conference - on Information Theory, Statistical Decision Functions, Random Processes and of... Transactions of the Seventh Prague Conference - on Information Theory, Statistical Decision Functions, Random Processes and of the 1974 European Meeting of Statisticians held in Prague, 18 to 23 August 1974 Volume B (Hardcover, 1978 ed.)
J. Kozesnik
R2,947 Discovery Miles 29 470 Ships in 18 - 22 working days

The Prague Conferences on Information Theory, Statistical Decision Functions, and Random Processes have been organized every three years since 1956. During the eighteen years of their existence the Prague Conferences developed from a platform for presenting results obtained by a small group of researchers into a probabilistic congress, this being documented by the increasing number of participants as well as of presented papers. The importance of the Seventh Prague Conference has been emphasized by the fact that this Conference was held jointly with the eighth European Meeting of Statisticians. This joint meeting was held from August 18 to 23, 1974 at the Technical University of Prague. The Conference was organized by the Institute of Information Theory and Automation of the Czechoslovak Academy of Sciences and was sponsored by the Czechoslovak Academy of Sciences, by the Committee for the European Region of the Institute of Mathematical Statistics, and by the International As sociation for Statistics in Physical Sciences. More than 300 specialists from 25 countries participated in the Conference. In 57 sessions 164 papers (including 17 invited papers) were read, 128 of which are published in the present two volumes of the Transactions of the Conference. Volume A includes papers related mainly to probability theory and stochastic processes, whereas the papers of Volume B concern mainly statistics and information theory."

Proceedings of the 11th European Conference on Thermoelectrics - ECT 2013 (Hardcover, 2014 ed.): Andrea Amaldi, Francois Tang Proceedings of the 11th European Conference on Thermoelectrics - ECT 2013 (Hardcover, 2014 ed.)
Andrea Amaldi, Francois Tang
R4,029 Discovery Miles 40 290 Ships in 18 - 22 working days

The Proceedings of the 11th European Conference on Thermoelectrics contains manuscripts from leading experts on topics spanning from material processing to applications in the field of thermoelectrics. The selected manuscripts also describe recent developments on measurement systems of thermoelectric properties, and the design and modelling of thermoelectric generators.

STM Investigation of Molecular Architectures of Porphyrinoids on a Ag(111) Surface - Supramolecular Ordering, Electronic... STM Investigation of Molecular Architectures of Porphyrinoids on a Ag(111) Surface - Supramolecular Ordering, Electronic Properties and Reactivity (Hardcover, Edition.)
Florian Buchner
R2,660 Discovery Miles 26 600 Ships in 18 - 22 working days

The functionalization of surfaces on the nanoscale is one of the most fascinating and at the same time challenging topics in science. It is the key to tailoring catalysts, sensors, or devices for solar energy conversion, whose functional principle is based on the interaction of an active solid surface with another (liquid or gaseous) phase. As an example, planar transition metal complexes adsorbed on solid supports are promising candidates for novel heterogeneous catalysts. An important feature of these catalysts, compared to supported metal clusters, is the fact that the active sites, i. e. , the coordinated metal centers with their vacant axial coordination sites, are well de?ned and uniform. Metalloporphyrinoids are particularly suitable in this respect because they combine a structure forming element-the rigid molecular frame, which often induces long range order-with an active site, the coordinated metal ion. Its planar coordination environment leaves two axial coordination sites available for additional ligands. If adsorbed on a surface, one of these axial sites is occupied by the underlying substrate. The resulting electronic interaction with the surface can be used to tailor the electronic structure and thereby the reactivity of the metal center. The remaining site is free for the attachment of molecules (sensor functionality) and/or operates as a reaction center (single-site catalysis). Prototype examples are omnipresent in nature, where in particular metallo-tetrapyrrols play a decisive role in important biological processes, with the most prominent examples being iron porphyrins in heme, magnesium porphyrins in chlorophyll, and cobalt corrin in vitamin B12.

Electrical Power System Protection (Hardcover, 2nd ed. 1999): C. Christopoulos, A. Wright Electrical Power System Protection (Hardcover, 2nd ed. 1999)
C. Christopoulos, A. Wright
R10,691 Discovery Miles 106 910 Ships in 18 - 22 working days

The death of Professor Arthur Wright in the summer of 1996 deprived me of a friend and a colleague whose judgement and experience shaped this book. I pay tribute to his contributions to protection and electrical engineering education. In the five years since the first edition appeared, many developments have taken place and it is now necessary to update the book. The use of digital communications and advanced signal processing techniques is now widespread and several fully numeric relays are available from manu facturers. Two new Chapters 13 and 14 have been added to introduce readers to these concepts and associated techniques. Artificial intelligence is making its impact in all engineering applications and power system protection is no exception. Expert systems, fuzzy logic, artificial neural networks, adaptive and integrated protection, synchronized measurements using the global positioning system, genetic algorithms, flexible a.c. transmission systems, are some of the techniques considered in connection with protection. Although many of these techniques have not yet found major application in protection, it is nevertheless essential for the educated protection engineer to have a basic understanding of the underlying principles and methodology so that he, or she, can evaluate their suitability for new relaying problems and applications. Chapter 15 was therefore added to guide readers through this developing area. I have also added some new material in other chapters to reflect changes over the past years."

Perturbation Analysis of Discrete Event Dynamic Systems (Hardcover, 1991 ed.): Yu-Chi (Larry) Ho, Xi-Ren Cao Perturbation Analysis of Discrete Event Dynamic Systems (Hardcover, 1991 ed.)
Yu-Chi (Larry) Ho, Xi-Ren Cao
R2,902 Discovery Miles 29 020 Ships in 18 - 22 working days

Dynamic Systems (DEDS) are almost endless: military C31 Ilogistic systems, the emergency ward of a metropolitan hospital, back offices of large insurance and brokerage fums, service and spare part operations of multinational fums . . . . the point is the pervasive nature of such systems in the daily life of human beings. Yet DEDS is a relatively new phenomenon in dynamic systems studies. From the days of Galileo to Newton to quantum mechanics and cosmology of the present, dynamic systems in nature are primarily differential equations based and time driven. A large literature and endless success stories have been built up on such Continuous Variable Dynamic Systems (CVDS). It is, however, equally clear that DEDS are fundamentally different from CVDS. They are event driven, asynchronous, mostly man-made and only became significant during the past generation. Increasingly, however, it can be argued that in the modem world our lives are being impacted by and dependent upon the efficient operations of such DEDS. Yet compared to the successful paradigm of differential equations for CVDS the mathematical modelling of DEDS is in its infancy. Nor are there as many successful and established techniques for their analysis and synthesis. The purpose of this series is to promote the study and understanding of the modelling, analysis, control, and management of DEDS. The idea of the series came from editing a special issue of the Proceedings of IEEE on DEOS during 1988.

Renewable Resources for Electric Power - Prospects and Challenges (Hardcover): Raphael Edinger, Sanjay Kaul Renewable Resources for Electric Power - Prospects and Challenges (Hardcover)
Raphael Edinger, Sanjay Kaul
R2,526 Discovery Miles 25 260 Ships in 10 - 15 working days

The liberalization of U.S. and European electric power markets presents a critical challenge for renewable sources of energy. Edinger and Kaul survey the technological state-of-the-art and economic aspects of renewable electricity generation, and outline the role of other renewable sources, such as solar, wind, and micro-hydroelectric technologies. Offering an empirical and theoretical assessment of these technologies and their assets and liabilities, the book shows how it is possible to restructure our electric power systems and reorient them toward sustainable and environmentally friendly alternatives.

International climate conferences such as those in Rio de Janeiro and Kyoto have proclaimed the need for environmentally hospitable technologies. A new electricity system, based on renewable resources and small-scale power technologies, is needed badly; their economics and other efficiencies over conventional central power generation with fossil fuels is clear. Edinger and Kaul assess the rewards and risks associated with renewable technologies and outline a feasible path toward a more environmentally friendly, and reasonable, use of limited natural resources and the global ecosystem. One promising approach for industrialized countries is the decentralization of our current public grid systems. This offers an opportunity for developing countries to leapfrog the stage of fossil fuel, held responsible now for environmental pollution, resource depletion and possibly global climate change. The authors present theoretical analyses and empirical evidence to buttress their contentions, mainly, that electric power systems founded on renewable resources are vital prerequisites if we are to achieve the United Nations' target of globally sustained development.

Smart Power Systems and Renewable Energy System Integration (Hardcover, 1st ed. 2016): Dilan Jayaweera Smart Power Systems and Renewable Energy System Integration (Hardcover, 1st ed. 2016)
Dilan Jayaweera
R3,952 Discovery Miles 39 520 Ships in 10 - 15 working days

This monograph presents a wider spectrum of researches, developments, and case specific studies in the area of smart power systems and integration of renewable energy systems. The book will be for the benefit of a wider audience including researchers, postgraduate students, practicing engineers, academics, and regulatory policy makers. It covers a wide range of topics from fundamentals, and modelling and simulation aspects of traditional and smart power systems to grid integration of renewables; Micro Grids; challenges in planning and operation of a smart power system; risks, security, and stability in smart operation of a power system; and applied research in energy storage.

Communications and Cryptography - Two Sides of One Tapestry (Hardcover, 1994 ed.): Richard E Blahut, Daniel J. Costello Jr,... Communications and Cryptography - Two Sides of One Tapestry (Hardcover, 1994 ed.)
Richard E Blahut, Daniel J. Costello Jr, Ueli Maurer, Thomas Mittelholzer
R5,528 Discovery Miles 55 280 Ships in 18 - 22 working days

Information theory is an exceptional field in many ways. Technically, it is one of the rare fields in which mathematical results and insights have led directly to significant engineering payoffs. Professionally, it is a field that has sustained a remarkable degree of community, collegiality and high standards. James L. Massey, whose work in the field is honored here, embodies the highest standards of the profession in his own career. The book covers the latest work on: block coding, convolutional coding, cryptography, and information theory. The 44 contributions represent a cross-section of the world's leading scholars, scientists and researchers in information theory and communication. The book is rounded off with an index and a bibliography of publications by James Massey.

Advances in Design and Specification Languages for SoCs - Selected Contributions from FDL'04 (Hardcover, 2005 ed.): Pierre... Advances in Design and Specification Languages for SoCs - Selected Contributions from FDL'04 (Hardcover, 2005 ed.)
Pierre Boulet
R4,177 Discovery Miles 41 770 Ships in 18 - 22 working days

The seventh book in the CHDL Series is composed of a selection of the best articles from the Forum on Specification and Design Languages (FDL'04). FDL is the European Forum to learn and exchange on new trends on the application of languages and models for the design of electronic and heterogeneous systems.

The forum was structured around four workshops that are all represented in the book by outstanding articles: Analog and Mixed-Signal Systems, UML-based System Specification and Design, C/C++-Based System Design and Languages for Formal Specification and Verification.

The Analog and Mixed-Signal Systems contributions bring some answers to the difficult problem of co-simulating discrete and continuous models of computation. The UML-based System Specification and Design chapters bring insight into how to use the Model Driven Engineering to design Systems-on-Chip. The C/C++-Based System Design articles mainly explore system level design with SystemC. The Languages for Formal
Specification and Verification is represented by an invited contribution on the use of temporal assertions for symbolic model checking and simulation. And finally chapter in this book contributed by preeminent members of the automotive design industry presents the recent industry standard AutoSAR.

Overall Advances in Design and Specification Languages for SoCs is an excellent opportunity to catch up with the latest research developments in the field of languages for electronic and heterogeneous system design.

Robust Control in Power Systems (Hardcover, 2005 ed.): Bikash Pal, Balarko Chaudhuri Robust Control in Power Systems (Hardcover, 2005 ed.)
Bikash Pal, Balarko Chaudhuri
R4,125 Discovery Miles 41 250 Ships in 18 - 22 working days

Robust Control in Power Systems deals with the applications of new techniques in linear system theory to control low frequency oscillations in power systems. The book specifically focuses on the analysis and damping of inter-area oscillations in the systems which are in the range of 0.2-1 Hz. The damping control action is injected through high power electronic devices known as flexible AC transmission system (FACTS) controllers. Three commonly used FACTS controllers: controllable series capacitors (CSCs) controllable phase shifters (CPSs) and static var compensators (SVCs) have been used in this book to control the inter-area oscillations.

The overview of linear system theory from the perspective of power system control is explained through examples. The damping control design is formulated as norm optimization problem. The H_infinity, H2 norm of properly defined transfer functions are minimized in linear matrix inequalities (LMI) framework to obtain desired performance and stability robustness. Both centralized and decentralized control structures are used.

Usually the transmission of feedback signal from a remote location encounters delays making it difficult to control the system. Smith predictor based approach has been successfully explored in this book as a solution to such a problem.

Robust Control in Power Systems will be valuable to academicians in the areas of power, control and system theory, as well as professionals in the power industry.

Advanced Linear Machines and Drive Systems (Hardcover, 1st ed. 2019): Wei Xu, Md. Rabiul Islam, Marcello Pucci Advanced Linear Machines and Drive Systems (Hardcover, 1st ed. 2019)
Wei Xu, Md. Rabiul Islam, Marcello Pucci
R2,704 Discovery Miles 27 040 Ships in 18 - 22 working days

This book collects the latest theoretical and technological concepts in the design and control of various linear machines and drive systems. Discussing advances in the new linear machine topologies, integrated modeling, multi-objective optimization techniques, and high-performance control strategies, it focuses on emerging applications of linear machines in transportation and energy systems. The book presents both theoretical and practical/experimental results, providing a consistent compilation of fundamental theories, a compendium of current research and development activities as well as new directions to overcome critical limitations.

Electrician's Guide to the Building Regulations (Spiral bound, 6th edition): The Institution of Engineering and Technology Electrician's Guide to the Building Regulations (Spiral bound, 6th edition)
The Institution of Engineering and Technology
R971 Discovery Miles 9 710 Ships in 9 - 17 working days

Electrician's Guide to the Building Regulations includes the latest guidance on third-party certification schemes and covers relevant parts of the Building Regulations, including Fire Safety, Ventilation and Conservation of Energy. This guide has been fully updated to BS 7671:2018+A2:2022. BS 7671:2018+A2:2022 incorporates changes from the first amendment, published in 2020, regarding Electric Vehicle Charging Installations to provide greater guidance on embracing changing technology within this sector. Additional changes within the second amendment include protection against thermal effects and fire caused by electrical equipment, protection against voltage disturbances and electromagnetic disturbances, and a new chapter on prosumer's low-voltage electrical installations covering energy efficiency measures, the interface with the smart grid, the management of electricity consumption, the management of renewable sources of electricity, and energy storage.

Formal Verification of Circuits (Hardcover, 2000 ed.): Rolf Drechsler Formal Verification of Circuits (Hardcover, 2000 ed.)
Rolf Drechsler
R4,108 Discovery Miles 41 080 Ships in 18 - 22 working days

Formal verification has become one of the most important steps in circuit design. Since circuits can contain several million transistors, verification of such large designs becomes more and more difficult. Pure simulation cannot guarantee the correct behavior and exhaustive simulation is often impossible. However, many designs, like ALUs, have very regular structures that can be easily described at a higher level of abstraction. For example, describing (and verifying) an integer multiplier at the bit-level is very difficult, while the verification becomes easy when the outputs are grouped to build a bit-string. Recently, several approaches for formal circuit verification have been proposed that make use of these regularities. These approaches are based on Word-Level Decision Diagrams (WLDDs) which are graph-based representations of functions (similar to BDDs) that allow for the representation of functions with a Boolean range and an integer domain. Formal Verification of Circuits is devoted to the discussion of recent developments in the field of decision diagram-based formal verification. Firstly, different types of decision diagrams (including WLDDs) are introduced and theoretical properties are discussed that give further insight into the data structure. Secondly, implementation and minimization concepts are presented. Applications to arithmetic circuit verification and verification of designs specified by hardware description languages are described to show how WLDDs work in practice. Formal Verification of Circuits is intended for CAD developers and researchers as well as designers using modern verification tools. It will help people working with formal verification (in industry or academia) to keep informed about recent developments in this area.

Elliptic Curve Public Key Cryptosystems (Hardcover, 1993 ed.): Alfred J. Menezes Elliptic Curve Public Key Cryptosystems (Hardcover, 1993 ed.)
Alfred J. Menezes
R2,723 Discovery Miles 27 230 Ships in 18 - 22 working days

Elliptic curves have been intensively studied in algebraic geometry and number theory. In recent years they have been used in devising efficient algorithms for factoring integers and primality proving, and in the construction of public key cryptosystems. Elliptic Curve Public Key Cryptosystems provides an up-to-date and self-contained treatment of elliptic curve-based public key cryptology. Elliptic curve cryptosystems potentially provide equivalent security to the existing public key schemes, but with shorter key lengths. Having short key lengths means smaller bandwidth and memory requirements and can be a crucial factor in some applications, for example the design of smart card systems. The book examines various issues which arise in the secure and efficient implementation of elliptic curve systems. Elliptic Curve Public Key Cryptosystems is a valuable reference resource for researchers in academia, government and industry who are concerned with issues of data security. Because of the comprehensive treatment, the book is also suitable for use as a text for advanced courses on the subject.

Interconnected Power Systems - Wide-Area Dynamic Monitoring and Control Applications (Hardcover, 1st ed. 2016): Yong Li,... Interconnected Power Systems - Wide-Area Dynamic Monitoring and Control Applications (Hardcover, 1st ed. 2016)
Yong Li, Dechang Yang, Fang Liu, Yijia Cao, Christian Rehtanz
R3,638 R1,886 Discovery Miles 18 860 Save R1,752 (48%) Ships in 10 - 15 working days

This book reports on the latest findings in the application of the wide area measurement systems (WAMS) in the analysis and control of power systems. The book collects new research ideas and achievements including a delay-dependent robust design method, a wide area robust coordination strategy, a hybrid assessment and choice method for wide area signals, a free-weighting matrices method and its application, as well as the online identification methods for low-frequency oscillations. The main original research results of this book are a comprehensive summary of the authors' latest six-year study. The book will be of interest to academic researchers, R&D engineers and graduate students in power systems who wish to learn the core principles, methods, algorithms, and applications of the WAMS.

Water Demand for Steam Electric Generation (Routledge Revivals) (Hardcover): Paul H. Cootner, George O. G Lof Water Demand for Steam Electric Generation (Routledge Revivals) (Hardcover)
Paul H. Cootner, George O. G Lof
R3,640 Discovery Miles 36 400 Ships in 10 - 15 working days

In this book, first published in 1965, the authors identify the technological opportunities and costs of water recirculation and water quality adjustment in thermal plants, relating them to the possibilities for minimal expenditure and maximum efficiency in the use of water for servicing an entire region with thermal power. Water Demand for Steam Electric Generation will be of interest to students of environmental studies.

Application Guide for Power Engineers - Earthing and Grounding of Electrical Systems (Paperback): K. Rajamani Application Guide for Power Engineers - Earthing and Grounding of Electrical Systems (Paperback)
K. Rajamani
R647 Discovery Miles 6 470 Ships in 18 - 22 working days
Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Archives of Data-Processing History - A…
James W. Cortada Hardcover R1,342 R1,205 Discovery Miles 12 050
Global Trends in Intelligent Computing…
B. K. Tripathy, D P Acharjya Hardcover R5,999 Discovery Miles 59 990
S5000F, International specification for…
Asd Hardcover R1,137 Discovery Miles 11 370
Handbook of Big Data Analytics, Volume 1…
Vadlamani Ravi, Aswani Kumar Cherukuri Hardcover R3,428 R3,093 Discovery Miles 30 930
Research Anthology on Implementing…
Information R Management Association Hardcover R15,739 Discovery Miles 157 390
Big and Complex Data Analysis…
S. Ejaz Ahmed Hardcover R4,154 Discovery Miles 41 540
Data Science From Scratch - The #1 Data…
Steven Cooper Hardcover R633 R577 Discovery Miles 5 770
Research Anthology on Implementing…
Information R Management Association Hardcover R15,732 Discovery Miles 157 320
Challenges and Applications of Data…
V. Sathiyamoorthi, Atilla Elci Hardcover R6,734 Discovery Miles 67 340
Artificial Intelligence for HR - Use AI…
Ben Eubanks Hardcover R3,064 Discovery Miles 30 640

 

Partners