The cycle contraction mapping theorem

This report lays the foundation for a theory of total correctness for programs not based upon termination. The Cycle Contraction Mapping Theorem is both an extension of Wadge's cycle sum theorem for Kahn data flow and a generalisation of Banach's contraction mapping theorem to a class of quasi metric spaces definable using the symmetric Partial Metric distance function. This work provides considerable evidence that it is possible after all to construct a metric theory for Scott style partial order domains

The topology of partial metric spaces

The T0 world of Scott's topological models used in the denotational semantics of programming languages may at first sight appear to have nothing whatever in common with the Hausdorff world of metric space theory. Can this be true though when the notion of "distance" is so important in the application of inductive proof theory to recursive definitions? This paper shows that existing work on the application of quasi metrics to denotational semantics can be taken much further than just describing Scott topologies. Using our "partial metric" we introduce a new approach by constructing each semantic domain as an Alexandrov topology "sandwiched" between two metric topologies. To be presented at the Eighth Summer Conference on General Topology and Applications, June 18-20 1992, Queens College, New York City

Characterisation of the porous structure of Gilsocarbon graphite using pycnometry, cyclic porosimetry and void-network modeling

file: :C$$:/pdf/1-s2.0-S000862231400164X-main.pdf:pdfThe cores of the fourteen Advanced Gas-cooled nuclear Reactors (AGRs) within the UK comprise Gilsocarbon graphite, a manufactured material surrounded predominantly by CO2 at high pressure and temperature to provide heat exchange. The intense ionising radiation within the reactors causes radiolytic oxidation, and the resulting mass loss is a primary factor in determining reactor lifetime. The void structure of the porous Gilsocarbon graphite affects the permeability and diffusion of the carbon dioxide, and the sites of oxidation. To model this void structure, the porosities and densities of ten virgin Gilsocarbon graphite samples have been measured by powder and helium pycnometry. For comparison, results are also presented for highly ordered pyrolytic graphite (HOPG), and a fine-grained Ringsdorff graphite. Samples have been examined at a range of magnifications by electron microscopy. Total porosities and percolation characteristics have been measured by standard and cyclic mercury porosimetry up to an applied mercury pressure of 400MPa. Inverse modelling of the cyclic intrusion curves produces simulated void structures with characteristics which closely match those of experiment. Void size distributions of the structures are presented, together with much Supplementary Information. The simulated void networks provide the bases for future simulations of the radiolytic oxidation process itself

Outbursts of Young Stellar Objects

We argue that the outbursts of the FU Orionis stars occur on timescales which are much longer than expected from the standard disc instability model with \alpha_{c} \gtrsim 10^{-3}. The outburst, recurrence, and rise times are consistent with the idea that the accretion disc in these objects is truncated at a radius R_{i} \sim 40 \rsun. In agreement with a number of previous authors we suggest that the inner regions of the accretion discs in FU Ori objects are evacuated by the action of a magnetic propeller anchored on the central star. We develop an analytic solution for the steady state structure of an accretion disc in the presence of a central magnetic torque, and present numerical calculations to follow its time evolution. These calculations confirm that a recurrence time that is consistent with observations can be obtained by selecting appropriate values for viscosity and magnetic field strength.Comment: 13 pages, 7 figures, accepted by MNRA

Two-micron spectrophotometry of the galaxy NGC 253

A very strong Brackett-gamma hydrogen emission line, and the 2.3 micron CO stellar absorption feature were measured in NGC 253. The presence and strength of the CO feature indicates that late type giant stars produce most of the 2.2 micron continuum emission, while the rate of ionization implied by strength of the Brackett-gamma line indicates that much, perhaps all, of the luminosity detected at far infrared wavelengths originates from a large number of OB stars. As compared to the corresponding region of the Galaxy, the number of massive young stars in the central 200 pc of NGC 253 is thirty times greater, but the total mass of stars is roughly the same

Analysis and Monte Carlo simulation of near-terminal aircraft flight paths

The flight paths of arriving and departing aircraft at an airport are stochastically represented. Radar data of the aircraft movements are used to decompose the flight paths into linear and curvilinear segments. Variables which describe the segments are derived, and the best fitting probability distributions of the variables, based on a sample of flight paths, are found. Conversely, given information on the probability distribution of the variables, generation of a random sample of flight paths in a Monte Carlo simulation is discussed. Actual flight paths at Dulles International Airport are analyzed and simulated

Short article: When are moving images remembered better? Study–test congruence and the dynamic superiority effect

It has previously been shown that moving images are remembered better than static ones. In two experiments, we investigated the basis for this dynamic superiority effect. Participants studied scenes presented as a single static image, a sequence of still images, or a moving video clip, and 3 days later completed a recognition test in which familiar and novel scenes were presented in all three formats. We found a marked congruency effect: For a given study format, accuracy was highest when test items were shown in the same format. Neither the dynamic superiority effect nor the study–test congruency effect was affected by encoding (Experiment 1) or retrieval (Experiment 2) manipulations, suggesting that these effects are relatively impervious to strategic control. The results demonstrate that the spatio-temporal properties of complex, realistic scenes are preserved in long-term memory. </jats:p

Near Infrared Observations of a Redshift 4.92 Galaxy: Evidence for Significant Dust Absorption

Near-infrared imaging and spectroscopy have been obtained of the gravitationally lensed galaxy at z=4.92 discovered in HST images by Franx et al. (1997). Images at 1.2, 1.6 and 2.2 microns show the same arc morphology as the HST images. The spectrum with resolution \lambda / \Delta\lambda ~ 70 shows no emission lines with equivalent width stronger than 100 A in the rest frame wavelength range 0.34 to 0.40 microns. In particular, [OII]3727 A and [NeIII]3869 A are not seen. The energy distribution is quite blue, as expected for a young stellar population with the observed Ly alpha flux. The spectral energy distribution can be fit satisfactorily for such a young stellar population when absorption by dust is included. The models imply a reddening 0.1 mag < E(B-V) < 0.4 mag. The stellar mass of the lensed galaxy lies in the range of 2 to 16 x 10^9 Msun. This is significantly higher than estimates based on the HST data alone. Our data imply that absorption by dust is important to redshifts of ~5.Comment: LaTeX with ApJ journal format, 2 postscript figures, ApJL, accepte