Synthesis and Optimization of Reversible Circuits - A Survey

Reversible logic circuits have been historically motivated by theoretical research in low-power electronics as well as practical improvement of bit-manipulation transforms in cryptography and computer graphics. Recently, reversible circuits have attracted interest as components of quantum algorithms, as well as in photonic and nano-computing technologies where some switching devices offer no signal gain. Research in generating reversible logic distinguishes between circuit synthesis, post-synthesis optimization, and technology mapping. In this survey, we review algorithmic paradigms --- search-based, cycle-based, transformation-based, and BDD-based --- as well as specific algorithms for reversible synthesis, both exact and heuristic. We conclude the survey by outlining key open challenges in synthesis of reversible and quantum logic, as well as most common misconceptions.Comment: 34 pages, 15 figures, 2 table

The 1991 3rd NASA Symposium on VLSI Design

Papers from the symposium are presented from the following sessions: (1) featured presentations 1; (2) very large scale integration (VLSI) circuit design; (3) VLSI architecture 1; (4) featured presentations 2; (5) neural networks; (6) VLSI architectures 2; (7) featured presentations 3; (8) verification 1; (9) analog design; (10) verification 2; (11) design innovations 1; (12) asynchronous design; and (13) design innovations 2

A computer-aided design for digital filter implementation

Imperial Users onl

Mechanical Engineering

The book substantially offers the latest progresses about the important topics of the "Mechanical Engineering" to readers. It includes twenty-eight excellent studies prepared using state-of-art methodologies by professional researchers from different countries. The sections in the book comprise of the following titles: power transmission system, manufacturing processes and system analysis, thermo-fluid systems, simulations and computer applications, and new approaches in mechanical engineering education and organization systems

Particle Physics Reference Library

This second open access volume of the handbook series deals with detectors, large experimental facilities and data handling, both for accelerator and non-accelerator based experiments. It also covers applications in medicine and life sciences. A joint CERN-Springer initiative, the “Particle Physics Reference Library” provides revised and updated contributions based on previously published material in the well-known Landolt-Boernstein series on particle physics, accelerators and detectors (volumes 21A,B1,B2,C), which took stock of the field approximately one decade ago. Central to this new initiative is publication under full open access

Handbook of Mathematical Geosciences

This Open Access handbook published at the IAMG's 50th anniversary, presents a compilation of invited path-breaking research contributions by award-winning geoscientists who have been instrumental in shaping the IAMG. It contains 45 chapters that are categorized broadly into five parts (i) theory, (ii) general applications, (iii) exploration and resource estimation, (iv) reviews, and (v) reminiscences covering related topics like mathematical geosciences, mathematical morphology, geostatistics, fractals and multifractals, spatial statistics, multipoint geostatistics, compositional data analysis, informatics, geocomputation, numerical methods, and chaos theory in the geosciences

Control Architecture Modeling for Future Power Systems

Uncontrollable power generation, distributed energy resources, controllable demand, etc. are fundamental aspects of energy systems largely based on renewable energy supply. These technologies have in common that they contradict the conventional categories of electric power system operation. As their introduction has proceeded incrementally in the past, operation strategies of the power system could be adapted. For example much more wind power could be integrated than originally anticipated, largely due to the flexibility reserves already present in the power system, and the possibility of interregional electricity exchange. However, at the same time, it seems that the overall system design cannot keep up by simply adapting in response to changes, but that also new strategies have to be designed in anticipation. Changes to the electricity markets have been suggested to adapt to the limited predictability of wind power, and several new control strategies have been proposed, in particular to enable the control of distributed energy resources, including for example, distributed generation or electric vehicles. Market designs addressing the procurement of balancing resources are highly dependent on the operation strategies specifying the resource requirements. How should one decide which control strategy and market configuration is best for a future power system? Most research up to this point has addressed single isolated aspects of this design problem. Those of the ideas that fit with current markets and operation concepts are lucky; they can be evaluated on the present design. But how could they be evaluated on a potential future power system? Approaches are required that support the design and evaluation of power system operation and control in context of future energy scenarios. This work addresses this challenge, not by providing a universal solution, but by providing basic modeling methodology that enables better problem formulation and by suggesting an approach to addressing the general chicken/egg problem of planning and re-design of system operation and control. The dissertation first focuses on the development of models, diagrams, that support the conceptual design of control and operation strategies, where a central theme is the focus on modeling system goals and functions rather than system structure. The perspective is then shifted toward long-term energy scenarios and adaptation of power system operation, considering the integration of energy scenario models with the re-design of operation strategies. The main contributions in the first part are, firstly, by adaptation of an existing functional modeling approach called Multilevel Flow Modeling (MFM) to the power systems domain, identifying the means-ends composition of control levels and development of principles for the consistent modeling of control structures, a formalization of control-as-a-service; secondly, the formal mapping of fluctuating and controllable resources to a multi-scale and multi-stage representation of control and operation structures; and finally the application to some concrete study cases, including a present system balancing, and proposed control structures such as Microgrids and Cells. In the second part, the main contributions are the outline of a formation strategy, integrating the design and model-based evaluation of future power system operation concepts with iterative energy scenario development. Finally, a new modeling framework for development and evaluation of power system operation in context of energy-storage based power system balancing is introduced.<br/