955 research outputs found
The natural history of bugs: using formal methods to analyse software related failures in space missions
Space missions force engineers to make complex trade-offs between many different constraints including cost, mass, power, functionality and reliability. These constraints create a continual need to innovate. Many advances rely upon software, for instance to control and monitor the next generation âelectron cyclotron resonanceâ ion-drives for deep space missions.Programmers face numerous challenges. It is extremely difficult to conduct valid ground-based tests for the code used in space missions. Abstract models and simulations of satellites can be misleading. These issues are compounded by the use of âband-aidâ software to fix design mistakes and compromises in other aspects of space systems engineering. Programmers must often re-code missions in flight. This introduces considerable risks. It should, therefore, not be a surprise that so many space missions fail to achieve their objectives. The costs of failure are considerable. Small launch vehicles, such as the U.S. Pegasus system, cost around 4 million up to 73 million from the failure of a single uninsured satellite. It is clearly important that we learn as much as possible from those failures that do occur. The following pages examine the roles that formal methods might play in the analysis of software failures in space missions
Spherical Solutions due to the Exterior Geometry of a Charged Weyl Black Hole
Firstly we derive peculiar spherical Weyl solutions, using a general
spherically symmetric metric due to a massive charged object with definite mass
and radius. Afterwards, we present new analytical solutions for relevant
cosmological terms, which appear in the metrics. Connecting the metrics to a
new geometric definition of a charged Black Hole, we numerically investigate
the effective potentials of the total dynamical system, considering massive and
massless test particles, moving on such Black Holes.Comment: 8 pages, 5 figure
Overview of the Tevatron Collider Complex: Goals, Operations and Performance
For more than two decades the Tevatron proton-antiproton collider was the
centerpiece of the world's high energy physics program. The collider was
arguably one of the most complex research instruments ever to reach the
operation stage and is widely recognized for numerous physics discoveries and
for many technological breakthroughs. In this article we outline the historical
background that led to the construction of the Tevatron Collider, the strategy
applied to evolution of performance goals over the Tevatron's operational
history, and briefly describe operations of each accelerator in the chain and
achieved performance.Comment: Includes modifications suggested by reviewer
Review of the environmental assessment of the Buccaneer Gas and Oil Field in the northwestern Gulf of Mexico
Measuring black-hole parameters and testing general relativity using gravitational-wave data from space-based interferometers
Among the expected sources of gravitational waves for the Laser
Interferometer Space Antenna (LISA) is the capture of solar-mass compact stars
by massive black holes residing in galactic centers. We construct a simple
model for such a capture, in which the compact star moves freely on a circular
orbit in the equatorial plane of the massive black hole. We consider the
gravitational waves emitted during the late stages of orbital evolution,
shortly before the orbiting mass reaches the innermost stable circular orbit.
We construct a simple model for the gravitational-wave signal, in which the
phasing of the waves plays the dominant role. The signal's behavior depends on
a number of parameters, including , the mass of the orbiting star, ,
the mass of the central black hole, and , the black hole's angular momentum.
We calculate, using our simplified model, and in the limit of large
signal-to-noise ratio, the accuracy with which these quantities can be
estimated during a gravitational-wave measurement. Our simplified model also
suggests a method for experimentally testing the strong-field predictions of
general relativity.Comment: ReVTeX, 16 pages, 5 postscript figure
Link between increased gut hormones signaling satiety and reduced food reward following gastric bypass surgery for obesity
CONTEXT:
Roux-en-Y gastric bypass (RYGB) surgery is an effective long-term intervention for weight loss maintenance, reducing appetite, and also food reward, via unclear mechanisms.
OBJECTIVE:
To investigate the role of elevated satiety gut hormones after RYGB, we examined food hedonic-reward responses after their acute post-prandial suppression.
DESIGN:
These were randomized, placebo-controlled, double-blind, crossover experimental medicine studies.
PATIENTS:
Two groups, more than 5 months after RYGB for obesity (n = 7-11), compared with nonobese controls (n = 10), or patients after gastric banding (BAND) surgery (n = 9) participated in the studies.
INTERVENTION:
Studies were performed after acute administration of the somatostatin analog octreotide or saline. In one study, patients after RYGB, and nonobese controls, performed a behavioral progressive ratio task for chocolate sweets. In another study, patients after RYGB, and controls after BAND surgery, performed a functional magnetic resonance imaging food picture evaluation task.
MAIN OUTCOME MEASURES:
Octreotide increased both appetitive food reward (breakpoint) in the progressive ratio task (n = 9), and food appeal (n = 9) and reward system blood oxygen level-dependent signal (n = 7) in the functional magnetic resonance imaging task, in the RYGB group, but not in the control groups.
RESULTS:
Octreotide suppressed postprandial plasma peptide YY, glucagon-like peptide-1, and fibroblast growth factor-19 after RYGB. The reduction in plasma peptide YY with octreotide positively correlated with the increase in brain reward system blood oxygen level-dependent signal in RYGB/BAND subjects, with a similar trend for glucagon-like peptide-1.
CONCLUSIONS:
Enhanced satiety gut hormone responses after RYGB may be a causative mechanism by which anatomical alterations of the gut in obesity surgery modify behavioral and brain reward responses to food
Molecular structures and vibrations of neutral and anionic CuOx (x = 1-3,6) clusters
We report equilibrium geometric structures of CuO2, CuO3, CuO6, and CuO
clusters obtained by an all-electron linear combination of atomic orbitals
scheme within the density-functional theory with generalized gradient
approximation to describe the exchange-correlation effects. The vibrational
stability of all clusters is examined on the basis of the vibrational
frequencies. A structure with Cs symmetry is found to be the lowest-energy
structure for CuO2, while a -shaped structure with C2v symmetry is the most
stable structure for CuO3. For the larger CuO6 and CuO clusters, several
competitive structures exist with structures containing ozonide units being
higher in energy than those with O2 units. The infrared and Raman spectra are
calculated for the stable optimal geometries. ~Comment: Uses Revtex4, (Better quality figures can be obtained from authors
Bound states between dark matter particles and emission of gravitational radiation
Bound states of two weakly interactive massive particles are studied. It is
assumed that the WIMPonium is formed due to the gravitational interaction,
since the weak interaction can sometimes be repulsive. The lifetimes of the
spontaneous emission of gravitational radiation and of the WIMPs annihilation
into a pair of gravitons are computed, and are shown to be many orders of
magnitude larger than the age of the universe.Comment: Accepted for publication in GER
An axiomatic approach to electromagnetic and gravitational radiation reaction of particles in curved spacetime
The problem of determining the electromagnetic and gravitational
``self-force'' on a particle in a curved spacetime is investigated using an
axiomatic approach. In the electromagnetic case, our key postulate is a
``comparison axiom'', which states that whenever two particles of the same
charge have the same magnitude of acceleration, the difference in their
self-force is given by the ordinary Lorentz force of the difference in their
(suitably compared) electromagnetic fields. We thereby derive an expression for
the electromagnetic self-force which agrees with that of DeWitt and Brehme as
corrected by Hobbs. Despite several important differences, our analysis of the
gravitational self-force proceeds in close parallel with the electromagnetic
case. In the gravitational case, our final expression for the (reduced order)
equations of motion shows that the deviation from geodesic motion arises
entirely from a ``tail term'', in agreement with recent results of Mino et al.
Throughout the paper, we take the view that ``point particles'' do not make
sense as fundamental objects, but that ``point particle equations of motion''
do make sense as means of encoding information about the motion of an extended
body in the limit where not only the size but also the charge and mass of the
body go to zero at a suitable rate. Plausibility arguments for the validity of
our comparison axiom are given by considering the limiting behavior of the
self-force on extended bodies.Comment: 37 pages, LaTeX with style package RevTeX 3.
A Derivation of Three-Dimensional Inertial Transformations
The derivation of the transformations between inertial frames made by
Mansouri and Sexl is generalised to three dimensions for an arbitrary direction
of the velocity. Assuming lenght contraction and time dilation to have their
relativistic values, a set of transformations kinematically equivalent to
special relativity is obtained. The ``clock hypothesis'' allows the derivation
to be extended to accelerated systems. A theory of inertial transformations
maintaining an absolute simultaneity is shown to be the only one logically
consistent with accelerated movements. Algebraic properties of these
transformations are discussed. Keywords: special relativity, synchronization,
one-way velocity of light, ether, clock hypothesis.Comment: 16 pages (A5), Latex, one figure, to be published in Found. Phys.
Lett. (1997
- âŠ