The problem of formalizing architectural styles has been recently tackled with the introduction of the concept of architectural type. The internal behavior of the system components can vary from instance to instance of an architectural type in a controlled way, which preserves the absence of deadlock related architectural mismatches proved via the architectural compatibility and interoperabilit...

Routing is a process of finding a path from a source node to a target node. The time and space needed to find a route increase with the network size. In order to deal with the scaling problem, large networks are often structured hierarchically by grouping nodes into different domains. The internal topology of each domain is then aggregated into a simple topology that reflects the cost of routin...

One of the predominant schools of thought in networking today is that monitoring and control of large scale networks is only practical at the edge. With intelligent and adaptive elements at the edge of the network, core devices can function as simple, robust routers. However, the effectiveness of edge-based control can be significantly enhanced by information about the internal network state. I...

In this paper, we introduce the concepts of right, left and product stabilizers on hoops and study some properties and the relation between them.  And we try to find that how they can be equal and investigate that under what condition they can be filter, implicative filter, fantastic and positive implicative filter. Also, we prove that  right and product stabilizers are filters and if they are ...

Generalising Nachbin's theory of ``topology and order'', in this paper we   continue the study of quantale-enriched categories equipped with a compact   Hausdorff topology. We compare these $V$-categorical compact Hausdorff spaces   with ultrafilter-quantale-enriched categories, and show that the presence of a   compact Hausdorff topology guarantees Cauchy completeness and (suitably   defined) ...

in this paper, a new circuit is proposed for step-up z-source inverter based on qzsi (quasi-z-source inverter). the proposed topology inherits all advantages of the conventional topology. the proposed topology in comparison with conventional topology reduces the st (shoot-through) duty cycle by over 25% at the same voltage boost factor. theoretical analysis of the proposed qzsi in the st and no...

We present a framework for the construction of vascular systems based on optimality principles of theoretical physiology. Given the position and flow distribution of end points of a vascular system, we construct the topology and positions of internal nodes to complete the vascular system in a realistic manner. Optimization is driven by intravascular volume minimization with constraints derived ...