Reversible computing is a paradigm where computing models are so defined that they reflect physical reversibility, one of the fundamental microscopic physical property of Nature. In this survey/tutorial paper, we discuss how computation can be carried out in a reversible system, how a universal reversible computer can be constructed by reversible logic elements, and how such logic elements are ...

This paper presents an online trained Fuzzy logic system based on FPGA to fault detection of broken rotor bar for squirrel cage induction motor. Fuzzy logic approach may help to diagnose induction motor faults in remote site and transmit fault diagnosis (via GSM\GPRS cellular network technology) to maintenance office or a programmed cell phone. The motor current signal is analyzed through the F...

The performance and the power consumption of single-electron transistor (SET) technology-based ultra-energy-efficient signal processing circuits are compared based on the SPICE model including non-ideal effects of the experimental data for the first time. In terms of ultra-energy-efficient logic circuits, the binary decision diagram (BDD) logic circuit is the most promising with a dissipated po...

Quantum-dot Cellular Automata (QCA) seek potential benefits over CMOS devices such as low power consumption, small dimensions, and high speed operation. Two prominent QCA concerns of wire crossing complexity and circuit robustness are addressed by developing a three-step Bilayer Logic Decomposition (BLD) methodology to design QCA-based logic circuits. The partitioning of QCA computing operation...

Quantum-Dot Cellular Automata (QCAs) are becoming more and more one of the most promising candidates for the alternative processing platform of the future. Since their advent in the early 1990s the required technological processes, as well as the QCA structures that implement the basic and functionally complete set of binary logic functions, have been developed. This article, however, presents ...

Quantum dot Cellular Automata (QCA) technology is a possible CMOS substitute. It requires a clock-like signal to assure information propagation. This likens a QCA circuit to a fully pipelined architecture, where pipeline depth is layout dependent. Only asynchronous organization of architectural blocks enables the realization of complex circuits. The use of Null Convention Logic (NCL) is one amo...

A non-volatile 4-valued content-addressable memory (CAM) is proposed for fully parallel template-matching operations in real-time cellular logic image processing with fixed templates. A universal literal in each CAM cell is used to compare a 4-ualued input pixel with a 4valued template pattern. Any CAM cell functions are performed by a pair of a simple threshold operation and a logic-value conv...

This paper deals with descriptive complexity of picture languages of any dimension by syntactical fragments of existential second-order logic. • We uniformly generalize to any dimension the characterization by Giammarresi et al. [GRST96] of the class of recognizable picture languages in existential monadic second-order logic. • We state several logical characterizations of the class of picture ...