The word ‘reversible’ has two (apparently) distinct applications in statistical thermodynamics. A thermodynamically reversible process indicates an experimental protocol for which the entropy change is zero, whereas the principle of microscopic reversibility asserts that the probability of any trajectory of a system through phase space equals that of the time reversed trajectory. However, these...

Today, the use of CMOS technology for the manufacture of electronic ICs has faced many limitations. Many alternatives to CMOS technology are offered and made every day. Quantum-dot cellular automata (QCA) is one of the most widely used. QCA gates and circuits have many advantages including small size, low power consumption and high speed. On the other hand, using special digital gates called re...

electrochemical behavior of i-hydroxypyridine-2-thione and its vanadium complex is studied using polarographic techniques. polarograms of ligand and that of the complex is shown with diffusion characteristics of the waves. cyclic voltagram of thione is investigated which shows that a reversible oxidation reduction of one electron process is taking place. pka of the thione is found to be in clos...

recently testing of quantum-dot cellular automata (qca) circuits has attracted a lot of attention. in this paper, qca is investigated for testable implementations of reversible logic. to amplify testability in reversible qca circuits, a test method regarding to built in self test technique is developed for detecting all simulated defects. a new reversible qca mux 2×1 design is proposed for the ...

We design an axiomatization for reversible computation called reversible ACP (RACP). It has four extendible modules: basic reversible processes algebra, algebra of reversible communicating processes, recursion and abstraction. Just like process algebra ACP in classical computing, RACP can be treated as an axiomatization foundation for reversible computation.