This paper presents a heuristic cost minimization approach to synthes­ izing linear reversible circuits. Two bidirectional linear reversible circuit syn­ thesis methods are introduced, the Alternating Elimination with Cost Minimiza­ tion method (AECM) and the Multiple CNOT Gate method (MCG). Al­ gorithms, example syntheses, and extensions to these methods are presented. An MCG variant which inc...

We consider a phase-field model for a phase change process with phase-dependent heat absorption. This model describes the behaviour of films exposed to radiative heating, where the film can change reversibly between amorphous and crystalline states. Existence and uniqueness of solutions as well as stability are established. Moreover, a maximum principle is proved for the phase-field equation.

We consider a system of rotators subject to a small quasi-periodic forcing. We require the forcing to be analytic and satisfy a time-reversibility property and we assume its frequency vector to be Bryuno. Then we prove that, without imposing any nondegeneracy condition on the forcing, there exists at least one quasi-periodic solution with the same frequency vector as the forcing. The result can...

The present paper studies a discrete-time storage process with discrete states. This model has the inflow which is defined as independent random variables with a common negative binomial distribution and has the certain outflow discipline. Reversibility and quasi-reversibility for the process are investigated and the reversible measure is given. And thus, under a certain condition, it is shown ...

In recent year’s reversible logic has been considered as an important issue for designing low power digital circuits. It has voluminous applications in the present rising nanotechnology such as DNA computing, Quantum Computing, low power VLSI and quantum dot automata. In this paper we have proposed optimized design of reversible sequential circuits in terms of number of gates, delay and hardwar...

Reversible computing is a paradigm of computation that reflects physical reversibility, one of the fundamental microscopic laws of Nature. In this survey, we discuss topics on reversible logic elements with memory (RLEM), which can be used to build reversible computing systems, and their universality. An RLEM is called universal, if any reversible sequential machine (RSM) can be realized as a c...

Reversible computing allows one to execute programs both in the standard, forward direction, and backward, going back to past states. In a concurrent scenario, the correct notion of reversibility is causal-consistent reversibility: any action can be undone, provided that all its consequences (if any) are undone beforehand. In this paper we present an overview of the main approaches, results, an...

Bennett has shown how to simulate arbitrary forwards-only computations by fully reversible computation. In particular he has given a space-efficient linear time simulation. After describing a different lineartime reversible simulation with improved space efficiency, we initiate the study of real-time simulations. In addition to being linear-time, these must offer continuous progress, meaning th...

Zusammenfassung Traditionelle Technologien (z. B. CMOS) stoßen durch die stetig steigende Miniaturisierung sowie das exponentielle Wachstum der Anzahl an Komponenten immer mehr an ihre Grenzen. Daher werden in Zukunft Alternativen, welche traditionelle Computerchips ersetzen oder zumindest ergänzen, benötigt. Reversible Logik mit ihren Anwendungen z. B. im Gebiet der Quantencomputer, des Low-Po...

Reversible logic has received great attention in the recent years due to their ability to reduce the power dissipation which is the main requirement in low power digital design. It has wide applications advanced computing, low power CMOS design, Optical information processing, DNA computing, bio information, quantum computation and nanotechnology. This paper presents an optimized reversible BCD...