17,922 research outputs found
Performance of reflecting silica heat shields during entry into Saturn and Uranus
The performance of silica heat shields in the outer planet atmospheres is analyzed and described in a set of differential equations. Results are presented and discussed
Analysis of coastal upwelling and the production of a biomass
The coastal upwelling index derived from weather data is input to a set of coupled differential equations that describe the production of a biomass. The curl of the wind stress vector is discussed in the context of the physical extent of the upwelling structure. An analogy between temperature and biomass concentration in the upwelled coastal water is derived and the relationship is quantified. The use of remote satellite or airborne sensing to obtain biomass rate production coefficients is considered
Recommended from our members
Specialising finite domain programs with polyhedra
A procedure is described for tightening domain constraints of finite domain logic programs by applying a static analysis based on convex polyhedra. Individual finite domain constraints are over-approximated by polyhedra to describe the solution space over ninteger variables as an n dimensional polyhedron. This polyhedron is then approximated, using projection, as an n dimensional bounding box that can be used to specialise and improve the domain constraints. The analysis can be implemented straightforwardly and an empirical evaluation of the specialisation technique is given
Half-maximal supergravity in three dimensions: supergeometry, differential forms and algebraic structure
The half-maximal supergravity theories in three dimensions, which have local
SO(8)\xz SO(n) and rigid SO(8,n) symmetries, are discussed in a superspace
setting starting from the superconformal theory. The on-shell theory is
obtained by imposing further constraints; it is essentially a non-linear sigma
model that induces a Poincar\'e supergeometry. The deformations of the geometry
due to gauging are briefly discussed. The possible -form field strengths are
studied using supersymmetry and SO(8,n) symmetry. The set of such forms obeying
consistent Bianchi identities constitutes a Lie super co-algebra while the
demand that these identities admit solutions places a further constraint on the
possible representations of SO(8,n) that the forms transform under which can be
easily understood using superspace cohomology. The dual Lie superalgebra can
then be identified as the positive sector of a Borcherds superalgebra that
extends the Lie algebra of the duality group. In addition to the known
forms, which we construct explicitly, there are five-forms that can
be non-zero in supergravity, while all forms with vanish. It is shown
that some six-forms can have non-trivial contributions at order \a'.Comment: 30 pages. References added. Some clarification of the tex
Recommended from our members
Integer polyhedra for program analysis
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from imprecision when it is necessary to take into account the integrality of the represented space. Imprecision also arises when non-linear constraints occur. Moreover, in terms of tractability, even a space defined by linear constraints can become unmanageable owing to the excessive number of inequalities. Thus it is useful to identify those inequalities whose omission has least impact on the represented space. This paper shows how these issues can be addressed in a novel way by growing the integer hull of the space and approximating the number of integral points within a bounded polyhedron
Codimension zero superembeddings
Superembeddings which have bosonic codimension zero are studied in 3,4 and 6
dimensions. The worldvolume multiplets of these branes are off-shell vector
multiplets in these dimensions, and their self-interactions include a
Born-Infeld term. It is shown how they can be written in terms of standard
vector multiplets in flat superspace by working in the static gauge. The action
formula is used to determine both Green-Schwarz type actions and superfield
actions.Comment: Improved spelling, one reference adde
The supermembrane revisited
The M2-brane is studied from the perspective of superembeddings. We review
the derivation of the M2-brane dynamics and the supergravity constraints from
the standard superembedding constraint and we discuss explicitly the induced
d=3, N=8 superconformal geometry on the worldvolume. We show that the gauged
supermembrane, for a target space with a U(1) isometry, is the standard
D2-brane in a type IIA supergravity background. In particular, the D2-brane
action, complete with the Dirac-Born-Infeld term, arises from the gauged
Wess-Zumino worldvolume 4-form via the brane action principle. The discussion
is extended to the massive D2-brane considered as a gauged supermembrane in a
massive D=11 superspace background. Type IIA supergeometry is derived using
Kaluza-Klein techniques in superspace.Comment: Latex, 46 pages, clarifying remarks and references adde
Plant diversity to support humans in a CELSS ground based demonstrator
A controlled ecological life support system (CELSS) for human habitation in preparation for future long duration space flights is considered. The success of such a system depends upon the feasibility of revitalization of food resources and the human nutritional needs which are to be met by these food resources. Edible higher plants are prime candidates for the photoautotrophic components of this system if nutritionally adequate diets can be derived from these plant sources to support humans. Human nutritional requirements information based on current knowledge are developed for inhabitants envisioned in the CELSS ground based demonstrator. Groups of plant products that can provide the nutrients are identified
- …