21,038 research outputs found
Linguistic Reflection in Java
Reflective systems allow their own structures to be altered from within. Here
we are concerned with a style of reflection, called linguistic reflection,
which is the ability of a running program to generate new program fragments and
to integrate these into its own execution. In particular we describe how this
kind of reflection may be provided in the compiler-based, strongly typed
object-oriented programming language Java. The advantages of the programming
technique include attaining high levels of genericity and accommodating system
evolution. These advantages are illustrated by an example taken from persistent
programming which shows how linguistic reflection allows functionality (program
code) to be generated on demand (Just-In-Time) from a generic specification and
integrated into the evolving running program. The technique is evaluated
against alternative implementation approaches with respect to efficiency,
safety and ease of use.Comment: 25 pages. Source code for examples at
http://www-ppg.dcs.st-and.ac.uk/Java/ReflectionExample/ Dynamic compilation
package at http://www-ppg.dcs.st-and.ac.uk/Java/DynamicCompilation
On Krein-like theorems for noncanonical Hamiltonian systems with continuous spectra: application to Vlasov-Poisson
The notions of spectral stability and the spectrum for the Vlasov-Poisson
system linearized about homogeneous equilibria, f_0(v), are reviewed.
Structural stability is reviewed and applied to perturbations of the linearized
Vlasov operator through perturbations of f_0. We prove that for each f_0 there
is an arbitrarily small delta f_0' in W^{1,1}(R) such that f_0+delta f_0f_0$ is perturbed by an area preserving rearrangement, f_0 will
always be stable if the continuous spectrum is only of positive signature,
where the signature of the continuous spectrum is defined as in previous work.
If there is a signature change, then there is a rearrangement of f_0 that is
unstable and arbitrarily close to f_0 with f_0' in W^{1,1}. This result is
analogous to Krein's theorem for the continuous spectrum. We prove that if a
discrete mode embedded in the continuous spectrum is surrounded by the opposite
signature there is an infinitesimal perturbation in C^n norm that makes f_0
unstable. If f_0 is stable we prove that the signature of every discrete mode
is the opposite of the continuum surrounding it.Comment: Submitted to the journal Transport Theory and Statistical Physics. 36
pages, 12 figure
Evolving database systems : a persistent view
Submitted to POS7 This work was supported in St Andrews by EPSRC Grant GR/J67611 "Delivering the Benefits of Persistence"Orthogonal persistence ensures that information will exist for as long as it is useful, for which it must have the ability to evolve with the growing needs of the application systems that use it. This may involve evolution of the data, meta-data, programs and applications, as well as the users' perception of what the information models. The need for evolution has been well recognised in the traditional (data processing) database community and the cost of failing to evolve can be gauged by the resources being invested in interfacing with legacy systems. Zdonik has identified new classes of application, such as scientific, financial and hypermedia, that require new approaches to evolution. These applications are characterised by their need to store large amounts of data whose structure must evolve as it is discovered by the applications that use it. This requires that the data be mapped dynamically to an evolving schema. Here, we discuss the problems of evolution in these new classes of application within an orthogonally persistent environment and outline some approaches to these problems.Postprin
An occultation satellite system for determining pressure levels in the atmosphere
A two-satellite microwave occultation system is described that will fix, as an absolute function of altitude, the pressure-temperature profile generated by a passive infrared sounder. The 300 mb pressure level is determined to within 24 m rms, assuming the temperture errors produced by the infrared sensor are not greater than 2 K rms. Error caused by water vapor in the radio path is corrected by climatological adjustments. A ground test of the proposed system is described. A microwave signal propagating between two mountain tops was found to be subject to periods of intense fading. Computer analysis of the raypath between the transmitting and receiving stations indicates that multipath and defocusing were responsible for this fading. It is unlikely that an operational pressure-reference-level system will be subject to the deep fades observed in the ground test, because the phenomena are associated with lower altitudes than the closest approach altitude of an occultation-system raypath
Zero-g propellant gauging of cryogenics
Measurement of cryogenic propellant quantities under conditions of weightlessnes
Galaxy Luminosity Functions from Deep Spectroscopic Samples of Rich Clusters
Using a new spectroscopic sample and methods accounting for spectroscopic
sampling fractions that vary in magnitude and surface brightness, we present
R-band galaxy luminosity functions (GLFs) for six nearby galaxy clusters with
redshifts 4000 < cz < 20000 km/s and velocity dispersions 700 < sigma < 1250
km/s. In the case of the nearest cluster, Abell 1060, our sample extends to
M_R=-14 (7 magnitudes below M*), making this the deepest spectroscopic
determination of the cluster GLF to date. Our methods also yield composite GLFs
for cluster and field galaxies to M_R=-17 (M*+4), including the GLFs of
subsamples of star forming and quiescent galaxies. The composite GLFs are
consistent with Schechter functions (M*_R=-21.14^{+0.17}_{-0.17},
alpha=-1.21^{+0.08}_{-0.07} for the clusters, M*_R=-21.15^{+0.16}_{-0.16},
alpha=-1.28^{+0.12}_{-0.11} for the field). All six cluster samples are
individually consistent with the composite GLF down to their respective
absolute magnitude limits, but the GLF of the quiescent population in clusters
is not universal. There are also significant variations in the GLF of quiescent
galaxies between the field and clusters that can be described as a steepening
of the faint end slope. The overall GLF in clusters is consistent with that of
field galaxies, except for the most luminous tip, which is enhanced in clusters
versus the field. The star formation properties of giant galaxies are more
strongly correlated with the environment than those of fainter galaxies.Comment: 53 pages, 8 figures, 1 ASCII table; accepted for publication in Ap
Mode signature and stability for a Hamiltonian model of electron temperature gradient turbulence
Stability properties and mode signature for equilibria of a model of electron
temperature gradient (ETG) driven turbulence are investigated by Hamiltonian
techniques. After deriving the infinite families of Casimir invariants,
associated with the noncanonical Poisson bracket of the model, a sufficient
condition for stability is obtained by means of the Energy-Casimir method. Mode
signature is then investigated for linear motions about homogeneous equilibria.
Depending on the sign of the equilibrium "translated" pressure gradient, stable
equilibria can either be energy stable, i.e.\ possess definite linearized
perturbation energy (Hamiltonian), or spectrally stable with the existence of
negative energy modes (NEMs). The ETG instability is then shown to arise
through a Kre\u{\i}n-type bifurcation, due to the merging of a positive and a
negative energy mode, corresponding to two modified drift waves admitted by the
system. The Hamiltonian of the linearized system is then explicitly transformed
into normal form, which unambiguously defines mode signature. In particular,
the fast mode turns out to always be a positive energy mode (PEM), whereas the
energy of the slow mode can have either positive or negative sign
High daily energy expenditure of incubating shorebirds on High Arctic tundra: a circumpolar study
1. Given the allometric scaling of thermoregulatory capacity in birds, and the cold and exposed Arctic environment, it was predicted that Arctic-breeding shorebirds should incur high costs during incubation. Using doubly labelled water (DLW), daily energy expenditure (DEE) during incubation was measured in eight shorebird species weighing between 29 and 142 g at various sites in the Eurasian and Canadian High Arctic. The results are compared with a compilation of similar data for birds at lower latitudes.
2. There was a significant positive correlation between species average DEE and body mass (DEE (kJ dayâ1) = 28·12 BM (g)^0·524, r^2 = 0·90). The slopes of the allometric regression lines for DEE on body mass of tundra-breeding birds and lower latitude species (a sample mostly of passerines but including several shorebirds) are similar (0·548 vs 0·545). DEE is about 50% higher in birds on the tundra than in temperate breeding areas.
3. Data for radiomarked Red Knots for which the time budgets during DLW measurements were known, indicated that foraging away from the nest on open tundra is almost twice as costly as incubating a four-egg clutch.
4. During the incubation phase in the High Arctic, tundra-breeding shorebirds appear to incur among the highest DEE levels of any time of the year. The rates of energy expenditure measured here are among the highest reported in the literature so far, reaching inferred ceilings of sustainable energy turnover rates.
Optimal Timing and Legal Decisionmaking: The Case of the Liquidation Decision in Bankruptcy
Until the firm is sold or a plan of reorganization is confirmed, Chapter 11 entrusts a judge with the decision of whether to keep a firm as a going concern or to shut it down. The judge revisits this liquidation decision multiple times. The key is to make the correct decision at the optimal time. This paper models this decision as the exercise of a real option and shows that it depends critically on particular types of information about the firm and its industry. Liquidations take place too soon if we merely compare the liquidation value of the assets with the expected earnings of the firm. Moreover, existing law undermines effective decisionmaking. Even though the judge makes the liquidation decision, a number of rules prevent the judge from controlling the timing of the decision, and those who do control it lack the incentive to ensure it is made at the optimal time. The paper introduces a framework that can illuminate many areas of law, such as summary judgment motions, parole, and agency rule making
- âŠ