4,842 research outputs found

    2.9 Incorporation of Inorganic Carbon by Antarctic Cryptoendolithic Fungi

    Get PDF

    Aeroelastic stability of coupled flap-lag motion of hingeless helicopter blades at arbitrary advance ratios

    Get PDF
    Equations for large amplitude coupled flap-lag motion of a hingeless elastic helicopter blade in forward flight are derived. Only a torsionally rigid blade excited by quasi-steady aerodynamic loads is considered. The effects of reversed flow together with some new terms due to radial flow are included. Using Galerkin's method the spatial dependence is eliminated and the equations are linearized about a suitable equilibrium position. The resulting system of homogeneous periodic equations is solved using multivariable Floquet-Liapunov theory, and the transition matrix at the end of the period is evaluated by two separate methods. Computational efficiency of the two numerical methods is compared. Results illustrating the effects of forward flight and various important blade parameters on the stability boundaries are presented

    Social Learning: A Model for Policy Research

    Get PDF
    This paper concerns the question of how policy research can be made more useful in practice. Two types of policy research may be distinguished. The first is research on issues in the public realm and not addressed to a specific client. The "consumers" of this type of research -- those whom it stimulates to thought -- are other interested scholars and practitioners, and the arguments proceed from many different quarters and perspectives. Answers given in this context are neither right nor wrong: they merely illuminate an issue of public concern and enhance our understanding of it. In this special sense, policy research resembles, in Cohen and Garet's language, "a discourse about social reality -- a debate about social problems and their solutions". The second type of policy research does have a client and is therefore pitched to an existing social problem that is located within a specific policy environment. Although we recognize that the distinction we are attempting to draw is imprecise, we propose to deal in this paper with only the second type of policy research and further limit ourselves to social policy. Such research is bought and sold, but its results are rarely used in the solution of a problem. Our intention, then, is to find out why and in what circumstances this outcome is highly probable and what, if anything, might be done about it

    Local Strategy Improvement for Parity Game Solving

    Full text link
    The problem of solving a parity game is at the core of many problems in model checking, satisfiability checking and program synthesis. Some of the best algorithms for solving parity game are strategy improvement algorithms. These are global in nature since they require the entire parity game to be present at the beginning. This is a distinct disadvantage because in many applications one only needs to know which winning region a particular node belongs to, and a witnessing winning strategy may cover only a fractional part of the entire game graph. We present a local strategy improvement algorithm which explores the game graph on-the-fly whilst performing the improvement steps. We also compare it empirically with existing global strategy improvement algorithms and the currently only other local algorithm for solving parity games. It turns out that local strategy improvement can outperform these others by several orders of magnitude

    An Exponential Lower Bound for the Latest Deterministic Strategy Iteration Algorithms

    Full text link
    This paper presents a new exponential lower bound for the two most popular deterministic variants of the strategy improvement algorithms for solving parity, mean payoff, discounted payoff and simple stochastic games. The first variant improves every node in each step maximizing the current valuation locally, whereas the second variant computes the globally optimal improvement in each step. We outline families of games on which both variants require exponentially many strategy iterations

    Multidimensional perfect fluid cosmology with stable compactified internal dimensions

    Get PDF
    Multidimensional cosmological models in the presence of a bare cosmological constant and a perfect fluid are investigated under dimensional reduction to 4-dimensional effective models. Stable compactification of the internal spaces is achieved for a special class of perfect fluids. The external space behaves in accordance with the standard Friedmann model. Necessary restrictions on the parameters of the models are found to ensure dynamical behavior of the external (our) universe in agreement with observations.Comment: 11 pages, Latex2e, uses IOP packages, submitted to Class.Quant.Gra

    Symmetric Strategy Improvement

    Full text link
    Symmetry is inherent in the definition of most of the two-player zero-sum games, including parity, mean-payoff, and discounted-payoff games. It is therefore quite surprising that no symmetric analysis techniques for these games exist. We develop a novel symmetric strategy improvement algorithm where, in each iteration, the strategies of both players are improved simultaneously. We show that symmetric strategy improvement defies Friedmann's traps, which shook the belief in the potential of classic strategy improvement to be polynomial

    Classification of multifluid CP world models

    Full text link
    Various classification schemes exist for homogeneous and isotropic (CP) world models, which include pressureless matter (so-called dust) and Einstein's cosmological constant Lambda. We here classify the solutions of more general world models consisting of up to four non-interacting fluids, each with pressure P, energy density epsilon and an equation of state P = (gamma - 1) epsilon with 0 <= gamma <= 2. In addition to repulsive fluids with negative pressure and positive energy density, which generalize the classical repulsive (positive) Lambda component, we consider fluids with negative energy density as well. The latter generalize a negative Lambda component. This renders possible new types of models that do not occur among the classical classifications of world models. Singularity-free periodic solutions as well as further `hill-type', `hollow-type' and `shifting-type' models are feasible. However, if one only allows for three components (dust, radiation and one repulsive component) in a spatially flat universe the repulsive classical Lambda fluid (with Lambda > 0) tends to yield the smoothest fits of the Supernova Ia data from Perlmutter et al. (1999). Adopting the SN Ia constraints, exotic negative energy density components can be fittingly included only if the universe consists of four or more fluids.Comment: 12 pages, 11 figures, latex, A&A in pres

    Explaining the Electroweak Scale and Stabilizing Moduli in M Theory

    Get PDF
    In a recent paper \cite{Acharya:2006ia} it was shown that in MM theory vacua without fluxes, all moduli are stabilized by the effective potential and a stable hierarchy is generated, consistent with standard gauge unification. This paper explains the results of \cite{Acharya:2006ia} in more detail and generalizes them, finding an essentially unique de Sitter (dS) vacuum under reasonable conditions. One of the main phenomenological consequences is a prediction which emerges from this entire class of vacua: namely gaugino masses are significantly suppressed relative to the gravitino mass. We also present evidence that, for those vacua in which the vacuum energy is small, the gravitino mass, which sets all the superpartner masses, is automatically in the TeV - 100 TeV range.Comment: 73 pages, 39 figures, Minor typos corrected, Figures and References adde
    • …
    corecore