scholarly journals Brownian models of open processing networks: canonical representation of workload

2000 ◽  
Vol 10 (1) ◽  
pp. 75-103 ◽  
Author(s):  
J. Michael Harrison
Keyword(s):  
Canonical Representation ◽  
Brownian Models ◽  
Processing Networks

scholarly journals Unbounded Wiener–Hopf Operators and Isomorphic Singular Integral Operators

2021 ◽  
Vol 15 (3) ◽  
Author(s):  
Domenico P. L. Castrigiano
Keyword(s):  
Singular Integral ◽  
Polar Decomposition ◽  
Integral Operators ◽  
Canonical Representation ◽  
Friedrichs Extension ◽  
Finite Dimensional ◽  
Transformation Type ◽  
Rational Symbols ◽  
Shift Invariance ◽  
Densely Defined

AbstractSome basics of a theory of unbounded Wiener–Hopf operators (WH) are developed. The alternative is shown that the domain of a WH is either zero or dense. The symbols for non-trivial WH are determined explicitly by an integrability property. WH are characterized by shift invariance. We study in detail WH with rational symbols showing that they are densely defined, closed and have finite dimensional kernels and deficiency spaces. The latter spaces as well as the domains, ranges, spectral and Fredholm points are explicitly determined. Another topic concerns semibounded WH. There is a canonical representation of a semibounded WH using a product of a closable operator and its adjoint. The Friedrichs extension is obtained replacing the operator by its closure. The polar decomposition gives rise to a Hilbert space isomorphism relating a semibounded WH to a singular integral operator of Hilbert transformation type. This remarkable relationship, which allows to transfer results and methods reciprocally, is new also in the thoroughly studied case of bounded WH.

Practical Tools for Reasoning About Linear Constraints

1991 ◽  
Vol 15 (3-4) ◽  
pp. 357-379
Author(s):  
Tien Huynh ◽  
Leo Joskowicz ◽  
Catherine Lassez ◽  
Jean-Louis Lassez
Keyword(s):  
Logic Programming ◽  
Intelligent Systems ◽  
Optimization Problem ◽  
Spatial Reasoning ◽  
Quantifier Elimination ◽  
Canonical Representation ◽  
Linear Constraints ◽  
Practical Applications ◽  
Variable Elimination ◽  
Fourier Algorithm

We address the problem of building intelligent systems to reason about linear arithmetic constraints. We develop, along the lines of Logic Programming, a unifying framework based on the concept of Parametric Queries and a quasi-dual generalization of the classical Linear Programming optimization problem. Variable (quantifier) elimination is the key underlying operation which provides an oracle to answer all queries and plays a role similar to Resolution in Logic Programming. We discuss three methods for variable elimination, compare their feasibility, and establish their applicability. We then address practical issues of solvability and canonical representation, as well as dynamical updates and feedback. In particular, we show how the quasi-dual formulation can be used to achieve the discriminating characteristics of the classical Fourier algorithm regarding solvability, detection of implicit equalities and, in case of unsolvability, the detection of minimal unsolvable subsets. We illustrate the relevance of our approach with examples from the domain of spatial reasoning and demonstrate its viability with empirical results from two practical applications: computation of canonical forms and convex hull construction.

PROPERTIES OF QUASI-RELABELING TREE BIMORPHISMS

2010 ◽  
Vol 21 (03) ◽  
pp. 257-276 ◽  
Author(s):  
ANDREAS MALETTI ◽  
CĂTĂLIN IONUŢ TÎRNĂUCĂ
Keyword(s):  
Cartesian Product ◽  
Canonical Representation ◽  
Finite Union ◽  
Top Down ◽  
Tree Language ◽  
Regular Tree ◽  
Fundamental Properties ◽  
Tree Transducers ◽  
Tree Languages ◽  
Context Free

The fundamental properties of the class QUASI of quasi-relabeling relations are investigated. A quasi-relabeling relation is a tree relation that is defined by a tree bimorphism (φ, L, ψ), where φ and ψ are quasi-relabeling tree homomorphisms and L is a regular tree language. Such relations admit a canonical representation, which immediately also yields that QUASI is closed under finite union. However, QUASI is not closed under intersection and complement. In addition, many standard relations on trees (e.g., branches, subtrees, v-product, v-quotient, and f-top-catenation) are not quasi-relabeling relations. If quasi-relabeling relations are considered as string relations (by taking the yields of the trees), then every Cartesian product of two context-free string languages is a quasi-relabeling relation. Finally, the connections between quasi-relabeling relations, alphabetic relations, and classes of tree relations defined by several types of top-down tree transducers are presented. These connections yield that quasi-relabeling relations preserve the regular and algebraic tree languages.

scholarly journals Robust scheduling for flexible processing networks

2017 ◽  
Vol 49 (2) ◽  
pp. 603-628 ◽  
Author(s):  
Ramtin Pedarsani ◽  
Jean Walrand ◽  
Yuan Zhong
Keyword(s):  
Queueing Networks ◽  
Complex Structure ◽  
Job Flows ◽  
Heterogeneous Servers ◽  
Robust Scheduling ◽  
System Parameters ◽  
Balanced Allocation ◽  
Service Rates ◽  
Length Changes ◽  
Processing Networks

Abstract Modern processing networks often consist of heterogeneous servers with widely varying capabilities, and process job flows with complex structure and requirements. A major challenge in designing efficient scheduling policies in these networks is the lack of reliable estimates of system parameters, and an attractive approach for addressing this challenge is to design robust policies, i.e. policies that do not use system parameters such as arrival and/or service rates for making scheduling decisions. In this paper we propose a general framework for the design of robust policies. The main technical novelty is the use of a stochastic gradient projection method that reacts to queue-length changes in order to find a balanced allocation of service resources to incoming tasks. We illustrate our approach on two broad classes of processing systems, namely the flexible fork-join networks and the flexible queueing networks, and prove the rate stability of our proposed policies for these networks under nonrestrictive assumptions.

Sign in / Sign up

Export Citation Format

Share Document