This paper presents a novel topology of single-phase multilevel inverter for low and high power applications. It consists of polarity (Level) generation circuit and H Bridge. The proposed topology can produce higher output voltage levels by connecting dc voltage sources   in series and parallel. The proposed topology utilizes minimum number of power electronic devices which helps in reduction o...

Robust Loop-free On-demand Routing in Ad hoc Networks by Hari Rangarajan In this thesis, we explore new techniques for robust, efficient, loop-free on-demand routing in Mobile Ad hoc Networks (MANETs) using the same information (i.e., topology information, sequence numbers, etc.,) used in prior on-demand routing protocol proposals. We provide new insights into the robustness of protocols based ...

Varieties of the Fan Theorem have recently been developed in reverse constructive mathematics, corresponding to different continuity principles. They form a natural implicational hierarchy. Earlier work showed all of these implications to be strict. Here we re-prove one of the strictness results, using very different arguments. The technique used is a mixture of realizability, forcing in the gu...

This paper deals with uniform synchronization analysis of multi-agent systems with switching topologies. The agents are assumed to have general, yet identical, linear dynamics. The underlying communication topology may switch arbitrarily within a finite set of admissible topologies. We establish conditions under which the network is uniformly synchronized meaning that synchronization is valid u...

Multi-replication definition (MRD) is a new trend of database replication, but it will increase the propagation costs. In this paper, three optimized propagation algorithms for MRD are presented, D-M, ILS and LIS. D-M Algorithm gets the minimum individual propagation cost by dividing replication objects and merging propagation objects. Based on it, ILS makes the total costs to the least in stri...

We give the nuclear analogue of Dadarlat’s characterization of exact quasidiagonal C∗-algebras. Specifically, we prove the following: Theorem 0.1. Let A be a unital separable simple C∗-algebra. Then the following conditions are equivalent: i) A is nuclear and quasidiagonal. ii) A has the stabilization principle. iii) If π : A → M(A ⊗ K) is a unital, purely large ∗-homomorphism, then the image π...

In this paper we solve a long-standing open problem by showing that strict superposition|that is, superposition without equality factoring|is refutationally complete. The diiculty of the problem arises from the fact that the strict calculus, in contrast to the standard calculus with equality factoring, is not compatible with arbitrary removal of tautologies, so that the usual techniques for pro...