274 research outputs found
Reachability problems for products of matrices in semirings
We consider the following matrix reachability problem: given square
matrices with entries in a semiring, is there a product of these matrices which
attains a prescribed matrix? We define similarly the vector (resp. scalar)
reachability problem, by requiring that the matrix product, acting by right
multiplication on a prescribed row vector, gives another prescribed row vector
(resp. when multiplied at left and right by prescribed row and column vectors,
gives a prescribed scalar). We show that over any semiring, scalar reachability
reduces to vector reachability which is equivalent to matrix reachability, and
that for any of these problems, the specialization to any is
equivalent to the specialization to . As an application of this result and
of a theorem of Krob, we show that when , the vector and matrix
reachability problems are undecidable over the max-plus semiring
. We also show that the matrix, vector, and scalar
reachability problems are decidable over semirings whose elements are
``positive'', like the tropical semiring .Comment: 21 page
Palm pairs and the general mass-transport principle
We consider a lcsc group G acting properly on a Borel space S and measurably
on an underlying sigma-finite measure space. Our first main result is a
transport formula connecting the Palm pairs of jointly stationary random
measures on S. A key (and new) technical result is a measurable disintegration
of the Haar measure on G along the orbits. The second main result is an
intrinsic characterization of the Palm pairs of a G-invariant random measure.
We then proceed with deriving a general version of the mass-transport principle
for possibly non-transitive and non-unimodular group operations first in a
deterministic and then in its full probabilistic form.Comment: 26 page
Complete solution of a constrained tropical optimization problem with application to location analysis
We present a multidimensional optimization problem that is formulated and
solved in the tropical mathematics setting. The problem consists of minimizing
a nonlinear objective function defined on vectors over an idempotent semifield
by means of a conjugate transposition operator, subject to constraints in the
form of linear vector inequalities. A complete direct solution to the problem
under fairly general assumptions is given in a compact vector form suitable for
both further analysis and practical implementation. We apply the result to
solve a multidimensional minimax single facility location problem with
Chebyshev distance and with inequality constraints imposed on the feasible
location area.Comment: 20 pages, 3 figure
Optimal design of measurements on queueing systems
We examine the optimal design of measurements on queues with particular reference to the M/M/1 queue. Using the statistical theory of design of experiments, we calculate numerically the Fisher information matrix for an estimator of the arrival rate and the service rate to find optimal times to measure the queue when the number of measurements are limited for both interfering and non-interfering measurements. We prove that in the non-interfering case, the optimal design is equally spaced. For the interfering case, optimal designs are not necessarily equally spaced. We compute optimal designs for a variety of queuing situations and give results obtained under the - and -optimality criteria
Gibbsian Method for the Self-Optimization of Cellular Networks
In this work, we propose and analyze a class of distributed algorithms
performing the joint optimization of radio resources in heterogeneous cellular
networks made of a juxtaposition of macro and small cells. Within this context,
it is essential to use algorithms able to simultaneously solve the problems of
channel selection, user association and power control. In such networks, the
unpredictability of the cell and user patterns also requires distributed
optimization schemes. The proposed method is inspired from statistical physics
and based on the Gibbs sampler. It does not require the concavity/convexity,
monotonicity or duality properties common to classical optimization problems.
Besides, it supports discrete optimization which is especially useful to
practical systems. We show that it can be implemented in a fully distributed
way and nevertheless achieves system-wide optimality. We use simulation to
compare this solution to today's default operational methods in terms of both
throughput and energy consumption. Finally, we address concrete issues for the
implementation of this solution and analyze the overhead traffic required
within the framework of 3GPP and femtocell standards.Comment: 25 pages, 9 figures, to appear in EURASIP Journal on Wireless
Communications and Networking 201
Visual Evoked Potentials Change as Heart Rate and Carotid Pressure Change
The relationship between cardiovascular activity and the brain was explored by recording visual evoked potentials from the occipital regions of the scalp during systolic and diastolic pressure (Experiment I) and during fast and slow heartbeats at systolic and diastolic pressure (Experiment II). Visual evoked potentials changed significantly as heart rate and carotid pressure fluctuated normally, and these changes were markedly different in the right and left cerebral hemispheres. Evoked potentials recorded from the right hemisphere during various cardiac events differed significantly, whereas those recorded from the left did not. In both experiments, differences in the right hemisphere were due primarily to the P1 component, which was larger at diastolic than at systolic pressure. The present findings are consistent with formulations from behavioral studies suggesting that baroreceptor activity can influence sensory intake, and suggest that hemispheric specialization may play an important role in the relationship between cardiac events, the brain and behavior.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/73146/1/j.1469-8986.1982.tb02579.x.pd
- …