19,845 research outputs found
Gain Enhancement of a Wide Slot Antenna Using a Second-Order Bandpass Frequency Selective Surface
Gain enhancement of a wide slot antenna over a wide frequency band using a low profile, second order bandpass frequency selective surface (FSS) as a superstrate is presented in this paper. The proposed multilayered FSS with non-resonant unit cells in each layer allows in-phase transmission of waves radiated from the antenna over a 3dB bandwidth of about 50%. The design allows an enhancement of upto 4dBi in the antenna gain over the entire frequency band (5-8GHz) of operation. The FSS provides a very low insertion loss between the two transmission poles along with a linearly decreasing transmission phase over the band. The composite structure shows an impedance bandwidth (-10dB) of 65% with an average gain between 6-8dBi over the frequency band with a peak gain of 9dBi. Measurement results of the fabricated prototype matches well with the predicted values
Minimizing Running Costs in Consumption Systems
A standard approach to optimizing long-run running costs of discrete systems
is based on minimizing the mean-payoff, i.e., the long-run average amount of
resources ("energy") consumed per transition. However, this approach inherently
assumes that the energy source has an unbounded capacity, which is not always
realistic. For example, an autonomous robotic device has a battery of finite
capacity that has to be recharged periodically, and the total amount of energy
consumed between two successive charging cycles is bounded by the capacity.
Hence, a controller minimizing the mean-payoff must obey this restriction. In
this paper we study the controller synthesis problem for consumption systems
with a finite battery capacity, where the task of the controller is to minimize
the mean-payoff while preserving the functionality of the system encoded by a
given linear-time property. We show that an optimal controller always exists,
and it may either need only finite memory or require infinite memory (it is
decidable in polynomial time which of the two cases holds). Further, we show
how to compute an effective description of an optimal controller in polynomial
time. Finally, we consider the limit values achievable by larger and larger
battery capacity, show that these values are computable in polynomial time, and
we also analyze the corresponding rate of convergence. To the best of our
knowledge, these are the first results about optimizing the long-run running
costs in systems with bounded energy stores.Comment: 32 pages, corrections of typos and minor omission
Unified Concept of Bottleneck
The term `bottleneck` has been extensively used in operations management literature. Management paradigms like the Theory of Constraints focus on the identification and exploitation of bottlenecks. Yet, we show that the term has not been rigorously defined. We provide a classification of bottleneck definitions available in literature and discuss several myths associated with the concept of bottleneck. The apparent diversity of definitions raises the question whether it is possible to have a single bottleneck definition which has as much applicability in high variety job shops as in mass production environments. The key to the formulation of an unified concept of bottleneck lies in relating the concept of bottleneck to the concept of shadow price of resources. We propose an universally applicable bottleneck definition based on the concept of average shadow price. We discuss the procedure for determination of bottleneck values for diverse production environments. The Law of Diminishing Returns is shown to be a sufficient but not necessary condition for the equivalence of the average and the marginal shadow price. The equivalence of these two prices is proved for several environments. Bottleneck identification is the first step in resource acquisition decisions faced by managers. The definition of bottleneck presented in the paper has the potential to not only reduce ambiguity regarding the meaning of the term but also open a new window to the formulation and analysis of a rich set of problems faced by managers.
Quantitative multi-objective verification for probabilistic systems
We present a verification framework for analysing multiple quantitative objectives of systems that exhibit both nondeterministic and stochastic behaviour. These systems are modelled as probabilistic automata, enriched with cost or reward structures that capture, for example, energy usage or performance metrics. Quantitative properties of these models are expressed in a specification language that incorporates probabilistic safety and liveness properties, expected total cost or reward, and supports multiple objectives of these types. We propose and implement an efficient verification framework for such properties and then present two distinct applications of it: firstly, controller synthesis subject to multiple quantitative objectives; and, secondly, quantitative compositional verification. The practical applicability of both approaches is illustrated with experimental results from several large case studies
Non-Zero Sum Games for Reactive Synthesis
In this invited contribution, we summarize new solution concepts useful for
the synthesis of reactive systems that we have introduced in several recent
publications. These solution concepts are developed in the context of non-zero
sum games played on graphs. They are part of the contributions obtained in the
inVEST project funded by the European Research Council.Comment: LATA'16 invited pape
Decidability Results for Multi-objective Stochastic Games
We study stochastic two-player turn-based games in which the objective of one
player is to ensure several infinite-horizon total reward objectives, while the
other player attempts to spoil at least one of the objectives. The games have
previously been shown not to be determined, and an approximation algorithm for
computing a Pareto curve has been given. The major drawback of the existing
algorithm is that it needs to compute Pareto curves for finite horizon
objectives (for increasing length of the horizon), and the size of these Pareto
curves can grow unboundedly, even when the infinite-horizon Pareto curve is
small. By adapting existing results, we first give an algorithm that computes
the Pareto curve for determined games. Then, as the main result of the paper,
we show that for the natural class of stopping games and when there are two
reward objectives, the problem of deciding whether a player can ensure
satisfaction of the objectives with given thresholds is decidable. The result
relies on intricate and novel proof which shows that the Pareto curves contain
only finitely many points. As a consequence, we get that the two-objective
discounted-reward problem for unrestricted class of stochastic games is
decidable.Comment: 35 page
Kinetic market models with single commodity having price fluctuations
We study here numerically the behavior of an ideal gas like model of markets
having only one non-consumable commodity. We investigate the behavior of the
steady-state distributions of money, commodity and total wealth, as the
dynamics of trading or exchange of money and commodity proceeds, with local (in
time) fluctuations in the price of the commodity. These distributions are
studied in markets with agents having uniform and random saving factors. The
self-organizing features in money distribution are similar to the cases without
any commodity (or with consumable commodities), while the commodity
distribution shows an exponential decay. The wealth distribution shows
interesting behavior: Gamma like distribution for uniform saving propensity and
has the same power-law tail, as that of the money distribution, for a market
with agents having random saving propensity.Comment: RevTeX4, 6 pages, 5 eps figures, accepted in Eur. Phys. J.
Effect of Zn doping on the Magneto-Caloric effect and Critical Constants of Mott Insulator MnV2O4
X-ray absorption near edge spectra (XANES) and magnetization of Zn doped
MnV2O4 have been measured and from the magnetic measurement the critical
exponents and magnetocaloric effect have been estimated. The XANES study
indicates that Zn doping does not change the valence states in Mn and V. It has
been shown that the obtained values of critical exponents \b{eta}, {\gamma} and
{\delta} do not belong to universal class and the values are in between the 3D
Heisenberg model and the mean field interaction model. The magnetization data
follow the scaling equation and collapse into two branches indicating that the
calculated critical exponents and critical temperature are unambiguous and
intrinsic to the system. All the samples show large magneto-caloric effect. The
second peak in magneto-caloric curve of Mn0.95Zn0.05V2O4 is due to the strong
coupling between orbital and spin degrees of freedom. But 10% Zn doping reduces
the residual spins on the V-V pairs resulting the decrease of coupling between
orbital and spin degrees of freedom.Comment: 19 pages, 9 Figures. arXiv admin note: substantial text overlap with
arXiv:1311.402
- âŠ