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

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

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

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

Infrared properties of serendipitous X-ray quasars

Near infrared measurements were obtained of 30 quasars originally found serendipitously as X-ray sources in fields of other objects. The observations show that the infrared characteristics of these quasars do not differ significantly from those of quasars selected by other criteria. Because this X-ray selected sample is subject to different selection biases than previous radio and optical surveys, this conclusion is useful in validating previous inferences regarding the infrared colors of 'typical' quasars

Temporal fuzzy association rule mining with 2-tuple linguistic representation

This paper reports on an approach that contributes towards the problem of discovering fuzzy association rules that exhibit a temporal pattern. The novel application of the 2-tuple linguistic representation identifies fuzzy association rules in a temporal context, whilst maintaining the interpretability of linguistic terms. Iterative Rule Learning (IRL) with a Genetic Algorithm (GA) simultaneously induces rules and tunes the membership functions. The discovered rules were compared with those from a traditional method of discovering fuzzy association rules and results demonstrate how the traditional method can loose information because rules occur at the intersection of membership function boundaries. New information can be mined from the proposed approach by improving upon rules discovered with the traditional method and by discovering new rules

The steady-state structure of accretion discs in central magnetic fields

We develop a new analytic solution for the steady-state structure of a thin accretion disc under the influence of a magnetic field that is anchored to the central star. The solution takes a form similar to that of Shakura and Sunyaev and tends to their solution as the magnetic moment of the star tends to zero. As well as the Kramer's law case, we obtain a solution for a general opacity. The effects of varying the mass transfer rate, spin period and magnetic field of the star as well as the opacity model applied to the disc are explored for a range of objects. The solution depends on the position of the magnetic truncation radius. We propose a new approach for the identification of the truncation radius and present an analytic expression for its position.Comment: 11 pages, 7 figures, accepted by MNRA