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_0$is unstable. When$f_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