We introduce proof nets and sequent calculus for the multiplicative fragment of non-commutative logic, which is an extension of both linear logic and cyclic linear logic. The two main technical novelties are a third switching position for the non-commutative disjunction, and the structure of order variety.

Abstract: Dynamic Domino logic circuits are widely used in modern digital VLSI circuits. Because it is simple to implement, low cost designs in CMOS Domino logic are presented. Compared to static CMOS logic, dynamic logic offers good performance. Wide fan-in logic such as domino circuits is used in high-performance applications. Domino gates typically consume higher dynamic switching and leakag...

this paper proposes an approach for the minimum time swing upof a rotary inverted pendulum. our rotary inverted pendulum is supported bya pivot arm. the pivot arm rotates in a horizontal plane by means of a servomotor. the opposite end of the arm is instrumented with a joint whose axisis along the radial direction of the motor. a pendulum is suspended at thejoint. the task is to design a contro...

In this work a monolithic architecture to realize a highperformance switching regulator with non-linear fuzzy logic control is introduced. An overview of the main issues related to PWh4 DCDC conversion in continuous mode is reported and an introduction to nonlinear fuzzy logic control is given. The main analog Fuzzy Logic blocks are illustrated and the overall architecture presented with the ma...

A programmable FPGA-based digital logic circuit is enhanced with high-speed, positive emitter-coupled logic (PECL) to create a standalone tester for a self routing optical packet switching network. This tester serves as a test bed for evaluating high-speed electrical to optical conversion techniques and the difficulties associated with burst packet transmissions across the switching network. Th...

Harmonic pollution and low power factor in power systems caused by power converters have been a great concern. To overcome these problems several converter topologies and control schemes have been proposed in recent years. This paper is proposed to study the control techniques for such converters to improve the Power Factor (PF) and reduce total harmonic distortion (THD) in the input current wi...

of the Thesis Energy-Performance Characterization of CMOS/Magnetic Tunnel Junction (MTJ) Hybrid Logic Circuits by Fengbo Ren Master of Science in Electrical Engineering University of California, Los Angeles, 2011 Professor Dejan Marković, Chair Magnetic Tunnel Junction (MTJ) devices are CMOS compatible with high stability, high reliability and non-volatility. All these features are promising fo...

Multivalve logic is a reliable method for defining, analyzing, testing and implementing the basic combinational circuitry with VHDL simulator. It offers better utilization of transmission channels because of its high speed for higher information carried out and it gives more efficient performance. One of the main realizing of the MVL (ternary logic) is that reduces the number of required comput...