We study the verification problem for parameterized communicating automata (PCA), in which processes synchronize via message passing. A given PCA can be run on any topology of bounded degree (such as pipelines, rings, or ranked trees), and communication may take place between any two processes that are adjacent in the topology. Parameterized verification asks if there is a topology from a given...

Let Aut(X, B) be the group of all Borel automorphisms of a standard Borel space (X, B). We study topological properties of Aut(X, B) with respect to the uniform and weak topologies, τ and p, defined in [BDK1]. It is proved that the class of smooth automorphisms is dense in (Aut(X, B), p). Let Ctbl(X) denote the group of Borel automorphisms with countable support. It is shown that the topologica...

Each node in a wireless multi-hop network can adjust the power level at which it transmits and thus change the topology of the network to save energy by choosing the neighbors with which it directly communicates. Many previous algorithms for distributed topology control have assumed an ability at each node to deduce some location-based information such as the direction and the distance of its n...

This present study, proposes a new 3D face correspondence method. A uniform mesh re-sampling algorithm is combined with mesh simplification algorithm to make correspondence between vertices of prototypical 3D faces. Uniform mesh re-sampling algorithm is developed to obtain the same topology between 3D faces with different structures. A global error metrics is proposed and mesh simplification is...

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...

This paper gives analogies of Hutton’s quasi-uniformities for complete lattices and extensions of Shi’s pointwise quasi-uniformities to closed set lattices.CLGOH denotes the category of all complete lattices with generalized order homomorphisms asmorphisms and CSL the category of all closed set lattices.HQUnif and SPQUnif denote the categories of Hutton quasi-uniform spaces on complete lattices...

The second improvement upon [13] is based upon the observation that an 0-sequence may be used to check the final state of a transition. This property is utilized, in the generation of checking sequences, to allow overlap between the 0-sequences and the test segments. This further contributes to a reduction in the length of the checking sequence. The method given in this paper might be further e...

Salas and Tapia-García introduced the concept of an extended locally convex space in [13] which extends idea normed (introduced by Beer [2]). This article gives attractive formulation finest topology provides a systematic study resulting space. As application, we characterize coincidence topologies corresponding to uniform strong convergences on bornology for function C(X).

The null distance for Lorentzian manifolds was recently introduced by Sormani and Vega. Under mild assumptions on the time function of spacetime, gives rise to an intrinsic, conformally invariant metric that induces manifold topology. We show when warped products low regularity globally hyperbolic spacetimes endowed with are (local) integral current spaces. This structure sets stage investigati...