We solve the Firing Squad Synchronization Problem (FSSP), for P systems based on digraphs with simplex channels, where communication is restricted by the direction of structural arcs. Previous work on FSSP for P systems focused exclusively on P systems with duplex channels, where communication between parents and children is bidirectional. Our P solution, the first for simplex channels, require...

in this paper, we generalize fuzzy banach contraction theorem establishedby v. gregori and a. sapena [fuzzy sets and systems 125 (2002) 245-252]using notion of altering distance which was initiated by khan et al. [bull. austral.math. soc., 30(1984), 1-9] in metric spaces.

For reliability-based topology optimization (RBTO) of double layer grids, a two-stage optimization method is presented by applying “Solid Isotropic Material with Penalization” and “Ant Colony Optimization” (SIMP-ACO method). To achieve this aim, first, the structural stiffness is maximized using SIMP. Then, the characteristics of the obtained topology are used to enhance ACO through six modific...

Peer-to-peer based multimedia distribution service draws great attention in recent years. In order to improve system performance and provide high service availability, we propose a hierarchy replication strategy based on the topology-aware overlay, which can achieve the scalable and QoS-awareness. Specifically, we propose two distributed heuristic replication strategies: inter-group replication...

Freehand sketching is an important part of the conceptual design process, and the increasing number of recent sketching applications shows a developing awareness of this importance. We aim to provide an automated tool to turn engineers’ freehand sketches into CAD models. This would allow engineers to spend their time more productively and to be more creative. One natural component of such a too...

We consider the transitive linear maps on the operator algebra $B(X)$for a separable Banach space $X$. We show if a bounded linear map is norm transitive on $B(X)$,then it must be hypercyclic with strong operator topology. Also we provide a SOT-transitivelinear map without being hypercyclic in the strong operator topology.

following the categorical approach to universal algebra through algebraic theories, proposed by f.~w.~lawvere in his phd thesis, this paper aims at introducing a similar setting for general topology. the cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. we introduce t...