3,293 research outputs found
Review of AIDS development
The operation and implementation of the aircraft integrated data system AIDS are described. The system is described as an engineering tool with strong emphasis on analysis of recorded information. The AIDS is primarily directed to the monitoring of parameters related to: the safety of the flight; the performance of the aircraft; the performance of the flight guidance system; and the performance and condition of the engines. The system provide short term trend analysis on a trend chart that is updated by the flight engineer on every flight that lasts more than 4 flight hours. Engine data prints are automatically presented during take-off and in the case of limit excedance, e.g., the print shows an automatically reported impending hotstarts on engine nr. 1. Other significant features are reported
Universal dS vacua in STU-models
Stable de Sitter solutions in minimal F-term supergravity are known to lie
close to Minkowski critical points. We consider a class of STU-models arising
from type IIB compactifications with generalised fluxes. There, we apply an
analytical method for solving the equations of motion for the moduli fields
based on the idea of treating derivatives of the superpotential of different
orders up to third as independent objects. In particular, supersymmetric and
no-scale Minkowski solutions are singled out by physical reasons. Focusing on
the study of dS vacua close to supersymmetric Minkowski points, we are able to
elaborate a complete analytical treatment of the mass matrix based on the
sGoldstino bound. This leads to a class of interesting universal dS vacua. We
finally explore a similar possibility around no-scale Minkowski points and
discuss some examples.Comment: 31 pages, 4 figures and 7 table
Creation of Fundamental Strings by Crossing D-branes
We study the force balance between orthogonally positioned -brane and
-brane. The force due to graviton and dilaton exchange is repulsive in
this case. We identify the attractive force that balances this repulsion as due
to one-half of a fundamental string stretched between the branes. As the
-brane passes through the -brane, the connecting string changes
direction, which may be interpreted as creation of one fundamental string. We
show this directly from the structure of the Chern-Simons terms in the D-brane
effective actions. We also discuss the effect of string creation on the 0-brane
quantum mechanics in the type I' theory. The creation of a fundamental string
is related by U-duality to the creation of a 3-brane discussed by Hanany and
Witten. Both processes have a common origin in M-theory: as two M5-branes with
one common direction cross, a M2-brane stretched between them is created.Comment: 6 pages, Late
Baryons and String Creation from the Fivebrane Worldvolume Action
We construct BPS-exact solutions of the worldvolume Born-Infeld plus WZW
action of a D5-brane in the background of N D3-branes. The non-trivial
background metric and RR five-form field strength play a crucial role in the
solution. When a D5-brane is dragged across a stack of N D3-branes a bundle of
N fundamental strings joining the two types of branes is created, as in the
Hanany-Witten effect. Our solutions give a detailed description of this bundle
in terms of a D5-brane wrapped on a sphere. We discuss extensions of these
solutions which have an interpretation in terms of gauge theory multi-quark
states via the AdS/CFT correspondence.Comment: LaTeX, 18 pages, 5 eps figures; v2: added reference which had been
inadvertently omitte
Have ozone effects on carbon sequestration been overestimated?: a new biomass response function for wheat
Elevated levels of tropospheric ozone can significantly impair the growth of crops. The reduced removal of CO2 by plants leads to higher atmospheric concentrations of CO2, enhancing radiative forcing. Ozone effects on economic yield, e.g. the grain yield of wheat (Triticum aestivum L.), are currently used to model effects on radiative forcing. However, changes in grain yield do not necessarily reflect changes in total biomass. Based on an analysis of 22 ozone exposure experiments with field-grown wheat, we investigated whether the use of effects on grain yield as a proxy for effects on biomass under- or overestimates effects on biomass. First, we confirmed that effects on partitioning and biomass loss are both of significant importance for wheat yield loss. Then we derived ozone dose response functions for biomass loss and for harvest index (the proportion of above-ground biomass converted to grain) based on 12 experiments and recently developed ozone uptake modelling for wheat. Finally, we used a European-scale chemical transport model (EMEP MSC-West) to assess the effect of ozone on biomass (â9%) and grain yield (â14%) loss over Europe. Based on yield data per grid square, we estimated above-ground biomass losses due to ozone in 2000 in Europe, totalling 22.2 million tonnes. Incorrectly applying the grain yield response function to model effects on biomass instead of the biomass response function of this paper would have indicated total above-ground biomass losses totalling 38.1 million (i.e. overestimating effects by 15.9 million tonnes). A key conclusion from our study is that future assessments of ozone-induced loss of agroecosystem carbon storage should use response functions for biomass, such as that provided in this paper, not grain yield, to avoid overestimation of the indirect radiative forcing from ozone effects on crop biomass accumulation
An implementation of Deflate in Coq
The widely-used compression format "Deflate" is defined in RFC 1951 and is
based on prefix-free codings and backreferences. There are unclear points about
the way these codings are specified, and several sources for confusion in the
standard. We tried to fix this problem by giving a rigorous mathematical
specification, which we formalized in Coq. We produced a verified
implementation in Coq which achieves competitive performance on inputs of
several megabytes. In this paper we present the several parts of our
implementation: a fully verified implementation of canonical prefix-free
codings, which can be used in other compression formats as well, and an elegant
formalism for specifying sophisticated formats, which we used to implement both
a compression and decompression algorithm in Coq which we formally prove
inverse to each other -- the first time this has been achieved to our
knowledge. The compatibility to other Deflate implementations can be shown
empirically. We furthermore discuss some of the difficulties, specifically
regarding memory and runtime requirements, and our approaches to overcome them
Extracting the bulk metric from boundary information in asymptotically AdS spacetimes
We use geodesic probes to recover the entire bulk metric in certain
asymptotically AdS spacetimes. Given a spectrum of null geodesic endpoints on
the boundary, we describe two remarkably simple methods for recovering the bulk
information. After examining the issues which affect their application in
practice, we highlight a significant advantage one has over the other from a
computational point of view, and give some illustrative examples. We go on to
consider spacetimes where the methods cannot be used to recover the complete
bulk metric, and demonstrate how much information can be recovered in these
cases.Comment: 33 pages, 11 figures; v2 references adde
Baryons and Flux Tubes in Confining Gauge Theories from Brane Actions
We study baryon configurations in large N non-supersymmetric SU(N) gauge
theories, applying the AdS/CFT correspondence. Using the D5-brane worldvolume
theory in the near-horizon geometry of non-extremal D3-branes, we find
embeddings which describe baryonic states in three-dimensional QCD. In
particular, we construct solutions corresponding to a baryon made of N quarks,
and study what happens when some fraction of the total number of quarks
are bodily moved to a large spatial separation from the others. The individual
clumps of quarks are represented by Born-Infeld string tubes obtained from a
D5-brane whose spatial section has topology . They are connected
by a confining color flux tube, described by a portion of the fivebrane that
runs very close and parallel to the horizon. We find that this flux tube has a
tension with a nontrivial -dependence (not previously obtained by other
methods). A similar picture is presented for the four-dimensional case.Comment: LaTeX, 20 pages, 6 eps figures; v2: added reference, corrected
numerical error in Eqs. (13) and (23
- âŠ