We study the properties of input-consuming derivations of moded logic programs. Inputconsuming derivations can be used to model the behavior of logic programs using dynamic scheduling and employing constructs such as delay declarations. We consider the class of nicely-moded programs and queries. We show that for these programs a weak version of the well-known switching lemma holds also for inpu...

In this paper a fuzzy logic scheme is applied for direct torque fuzzy control (DTFC) of five phase induction machine (FPIM). The proposed DTFC based on fuzzy logic technique switching table is described and compared with conventional direct torque control (DTC). The proposed fuzzy control strategy is simulated using Matlab/Simulink software. The simulation results show that DTFC method reduces ...

Submitted for the MAR13 Meeting of The American Physical Society Experimental realization of straintronic nanomagnetic logic using strain-induced magnetization switching in magnetostrictive nanomagnets elastically coupled to PMN-PT1 NOEL D’SOUZA, MOHAMMAD SALEHIFASHAMI, SUPRIYO BANDYOPADHYAY, JAYASIMHA ATULASIMHA, Virginia Commonwealth University — Single-domain magnetostrictive Ni nanomagnets ...

Decision diagrams (DDs) for representation of discrete functions permit a direct technology mapping into multi-level logic networks. In these networks, the number of logic elements is equal to the number of non-terminal nodes in DDs. Complexity of interconnections is proportional to the number of paths from the root node to the constant nodes. Therefore, the complexity of the network can be est...

By using two main effects of cross-gain modulation and cross-phase modulation in semiconductor optical amplifier-based devices, many logic functions of logic AND, OR, XOR, NOR and XNOR are successfully demonstrated. Also, complex systems including all-optical half and full adders in a combination of multiple logic functions are successfully demonstrated. These functions will provide not only in...

This paper presents an empirical formula C=Ki(K2)ng h/(g+h) for the average cost C of a two-level combinational logic network (switching circuit) implementing a single Boolean function with specified numbers of independent variables n, "one" vertices g, and "zero" vertices h (or don't-care vertices d =2n-g -h). K, and Kp are constants that depend, generally, on the used technology and available...

ABSTRACT This paper reviews the recent developments in the use of reversible expansions and reversible spectral transforms in the reversible logic circuit design of binary and multiple-valued switching functions. Since Shannon and Davio expansions are two basic expansions in the general Reed-Muller families of expansions that play an essential role in the spectral-based design of logic circuits...

This paper presents few extensions to the logic form representation and a method for transforming WordNet glosses into logic forms using a set of high-precision rules combined with a set of high recall heuristics. An almost 3% increase in POS tagging accuracy is achieved over state-of-the art results at the expense of user intervention on only 7.52% of words. We apply a nearest neighbor solutio...

This paper proposes a nine level cascaded multilevel inverter based on the flip flops and logic gates. Generally multilevel inverter is used to achieve the high power by using a series of power semiconductor switches with the several dc voltage sources which is used to perform the power conversion. In this paper the flip flop based CMLI is compared with the conventional CMLI. The flip flops and...

A novel intelligent multiple-controller framework incorporating a fuzzy-logic based switching supervisor is presented for adaptive control of non-linear systems . The proposed methodology provides the designer with an automated choice of using either: a conventional Proportional-Integral-Derivative (PID) controller, a PID structure based pole (only) placement controller, or a PID structure base...