Far-ultraviolet Spectroscopy of Venus and Mars at 4 A Resolution with the Hopkins Ultraviolet Telescope on Astro-2

Far-ultraviolet spectra of Venus and Mars in the range 820-1840 A at 4 A resolution were obtained on 13 and 12 March 1995, respectively, by the Hopkins Ultraviolet Telescope (HUT), which was part of the Astro-2 observatory on the Space Shuttle Endeavour. Longward of 1250 A, the spectra of both planets are dominated by emission of the CO Fourth Positive band system and strong OI and CI multiplets. In addition, CO Hopfield-Birge bands, B - X (0,0) at 1151 A and C - X (0,0) at 1088 A, are detected for the first time, and there is a weak indication of the E - X (0,0) band at 1076 A in the spectrum of Venus. The B - X band is blended with emission from OI 1152. Modeling the relative intensities of these bands suggests that resonance fluorescence of CO is the dominant source of the emission, as it is for the Fourth Positive system. Shortward of Lyman-alpha, other emission features detected include OII 834, OI lambda 989, HI Lyman-beta, and NI 1134 and 1200. For Venus, the derived disk brightnesses of the OI, OII, and HI features are about one-half of those reported by Hord et al. (1991) from Galileo EUV measurements made in February 1990. This result is consistent with the expected variation from solar maximum to solar minimum. The ArI 1048, 1066 doublet is detected only in the spectrum of Mars and the derived mixing ratio of Ar is of the order of 2%, consistent with previous determinations.Comment: 8 pages, 5 figures, accepted for publication in ApJ, July 20, 200

Managing Dynamic User Communities in a Grid of Autonomous Resources

One of the fundamental concepts in Grid computing is the creation of Virtual Organizations (VO's): a set of resource consumers and providers that join forces to solve a common problem. Typical examples of Virtual Organizations include collaborations formed around the Large Hadron Collider (LHC) experiments. To date, Grid computing has been applied on a relatively small scale, linking dozens of users to a dozen resources, and management of these VO's was a largely manual operation. With the advance of large collaboration, linking more than 10000 users with a 1000 sites in 150 counties, a comprehensive, automated management system is required. It should be simple enough not to deter users, while at the same time ensuring local site autonomy. The VO Management Service (VOMS), developed by the EU DataGrid and DataTAG projects[1, 2], is a secured system for managing authorization for users and resources in virtual organizations. It extends the existing Grid Security Infrastructure[3] architecture with embedded VO affiliation assertions that can be independently verified by all VO members and resource providers. Within the EU DataGrid project, Grid services for job submission, file- and database access are being equipped with fine- grained authorization systems that take VO membership into account. These also give resource owners the ability to ensure site security and enforce local access policies. This paper will describe the EU DataGrid security architecture, the VO membership service and the local site enforcement mechanisms Local Centre Authorization Service (LCAS), Local Credential Mapping Service(LCMAPS) and the Java Trust and Authorization Manager.Comment: Talk from the 2003 Computing in High Energy and Nuclear Physics (CHEP03), La Jolla, Ca, USA, March 2003, 7 pages, LaTeX, 5 eps figures. PSN TUBT00

A type reduction theory for systems with replicated components

The Parameterised Model Checking Problem asks whether an implementation Impl(t) satisfies a specification Spec(t) for all instantiations of parameter t. In general, t can determine numerous entities: the number of processes used in a network, the type of data, the capacities of buffers, etc. The main theme of this paper is automation of uniform verification of a subclass of PMCP with the parameter of the first kind, i.e. the number of processes in the network. We use CSP as our formalism. We present a type reduction theory, which, for a given verification problem, establishes a function \phi that maps all (sufficiently large) instantiations T of the parameter to some fixed type T^ and allows us to deduce that if Spec(T^) is refined by \phi(Impl(T)), then (subject to certain assumptions) Spec(T) is refined by Impl(T). The theory can be used in practice by combining it with a suitable abstraction method that produces a t-independent process Abstr that is refined by {\phi}(Impl(T)) for all sufficiently large T. Then, by testing (with a model checker) if the abstract model Abstr refines Spec(T^), we can deduce a positive answer to the original uniform verification problem. The type reduction theory relies on symbolic representation of process behaviour. We develop a symbolic operational semantics for CSP processes that satisfy certain normality requirements, and we provide a set of translation rules that allow us to concretise symbolic transition graphs. Based on this, we prove results that allow us to infer behaviours of a process instantiated with uncollapsed types from known behaviours of the same process instantiated with a reduced type. One of the main advantages of our symbolic operational semantics and the type reduction theory is their generality, which makes them applicable in a wide range of settings

Synthetic High-Resolution Line Spectra of Star-Forming Galaxies Below 1200A

We have generated a set of far-ultraviolet stellar libraries using spectra of OB and Wolf-Rayet stars in the Galaxy and the Large and Small Magellanic Cloud. The spectra were collected with the Far Ultraviolet Spectroscopic Explorer and cover a wavelength range from 1003.1 to 1182.7A at a resolution of 0.127A. The libraries extend from the earliest O- to late-O and early-B stars for the Magellanic Cloud and Galactic libraries, respectively. Attention is paid to the complex blending of stellar and interstellar lines, which can be significant, especially in models using Galactic stars. The most severe contamination is due to molecular hydrogen. Using a simple model for the H$_2$ line strength, we were able to remove the molecular hydrogen lines in a subset of Magellanic Cloud stars. Variations of the photospheric and wind features of CIII 1176, OVI 1032, 1038, PV 1118, 1128, and SIV 1063, 1073, 1074 are discussed as a function of temperature and luminosity class. The spectral libraries were implemented into the LavalSB and Starburst99 packages and used to compute a standard set of synthetic spectra of star-forming galaxies. Representative spectra are presented for various initial mass functions and star formation histories. The valid parameter space is confined to the youngest ages of less than 10 Myr for an instantaneous burst, prior to the age when incompleteness of spectral types in the libraries sets in. For a continuous burst at solar metallicity, the parameter space is not limited. The suite of models is useful for interpreting the restframe far-ultraviolet in local and high-redshift galaxies.Comment: 33 pages including 13 figures, accepted for publication in Ap

Far Ultraviolet Spectra of B Stars near the Ecliptic

Spectra of B stars in the wavelength range of 911-1100 A have been obtained with the EURD spectrograph onboard the Spanish satellite MINISAT-01 with ~5 A spectral resolution. IUE spectra of the same stars have been used to normalize Kurucz models to the distance, reddening and spectral type of the corresponding star. The comparison of 8 main-sequence stars studied in detail (alpha Vir, epsilon Tau, lambda Tau, tau Tau, alpha Leo, zeta Lib, theta Oph, and sigma Sgr) shows agreement with Kurucz models, but observed fluxes are 10-40% higher than the models in most cases. The difference in flux between observations and models is higher in the wavelength range between Lyman alpha and Lyman beta. We suggest that Kurucz models underestimate the FUV flux of main-sequence B stars between these two Lyman lines. Computation of flux distributions of line-blanketed model atmospheres including non-LTE effects suggests that this flux underestimate could be due to departures from LTE, although other causes cannot be ruled out. We found the common assumption of solar metallicity for young disk stars should be made with care, since small deviations can have a significant impact on FUV model fluxes. Two peculiar stars (rho Leo and epsilon Aqr), and two emission line stars (epsilon Cap and pi Aqr) were also studied. Of these, only epsilon Aqr has a flux in agreement with the models. The rest have strong variability in the IUE range and/or uncertain reddening, which makes the comparison with models difficult.Comment: 25 pages, 6 figures, to be published in The Astrophysical Journa

Curricular orientations to real-world contexts in mathematics

A common claim about mathematics education is that it should equip students to use mathematics in the ‘real world’. In this paper, we examine how relationships between mathematics education and the real world are materialised in the curriculum across a sample of eleven jurisdictions. In particular, we address the orientation of the curriculum towards application of mathematics, the ways that real-world contexts are positioned within the curriculum content, the ways in which different groups of students are expected to engage with real-world contexts, and the extent to which high-stakes assessments include real-world problem solving. The analysis reveals variation across jurisdictions and some lack of coherence between official orientations towards use of mathematics in the real world and the ways that this is materialised in the organisation of the content for students

Overview of the Far Ultraviolet Spectroscopic Explorer Mission

The Far Ultraviolet Spectroscopic Explorer satellite observes light in the far-ultraviolet spectral region, 905 - 1187 A with high spectral resolution. The instrument consists of four coaligned prime-focus telescopes and Rowland spectrographs with microchannel plate detectors. Two of the telescope channels use Al:LiF coatings for optimum reflectivity from approximately 1000 to 1187 A and the other two use SiC coatings for optimized throughput between 905 and 1105 A. The gratings are holographically ruled to largely correct for astigmatism and to minimize scattered light. The microchannel plate detectors have KBr photocathodes and use photon counting to achieve good quantum efficiency with low background signal. The sensitivity is sufficient to examine reddened lines of sight within the Milky Way as well as active galactic nuclei and QSOs for absorption line studies of both Milky Way and extra-galactic gas clouds. This spectral region contains a number of key scientific diagnostics, including O VI, H I, D I and the strong electronic transitions of H2 and HD.Comment: To appear in FUSE special issue of the Astrophysical Journal Letters. 6 pages + 4 figure

UV and EUV Instruments

We describe telescopes and instruments that were developed and used for astronomical research in the ultraviolet (UV) and extreme ultraviolet (EUV) regions of the electromagnetic spectrum. The wavelength ranges covered by these bands are not uniquely defined. We use the following convention here: The EUV and UV span the regions ~100-912 and 912-3000 Angstroem respectively. The limitation between both ranges is a natural choice, because the hydrogen Lyman absorption edge is located at 912 Angstroem. At smaller wavelengths, astronomical sources are strongly absorbed by the interstellar medium. It also marks a technical limit, because telescopes and instruments are of different design. In the EUV range, the technology is strongly related to that utilized in X-ray astronomy, while in the UV range the instruments in many cases have their roots in optical astronomy. We will, therefore, describe the UV and EUV instruments in appropriate conciseness and refer to the respective chapters of this volume for more technical details.Comment: To appear in: Landolt-Boernstein, New Series VI/4A, Astronomy, Astrophysics, and Cosmology; Instruments and Methods, ed. J.E. Truemper, Springer-Verlag, Berlin, 201

Modeling magnetospheric fields in the Jupiter system

The various processes which generate magnetic fields within the Jupiter system are exemplary for a large class of similar processes occurring at other planets in the solar system, but also around extrasolar planets. Jupiter's large internal dynamo magnetic field generates a gigantic magnetosphere, which is strongly rotational driven and possesses large plasma sources located deeply within the magnetosphere. The combination of the latter two effects is the primary reason for Jupiter's main auroral ovals. Jupiter's moon Ganymede is the only known moon with an intrinsic dynamo magnetic field, which generates a mini-magnetosphere located within Jupiter's larger magnetosphere including two auroral ovals. Ganymede's magnetosphere is qualitatively different compared to the one from Jupiter. It possesses no bow shock but develops Alfv\'en wings similar to most of the extrasolar planets which orbit their host stars within 0.1 AU. New numerical models of Jupiter's and Ganymede's magnetospheres presented here provide quantitative insight into the processes that maintain these magnetospheres. Jupiter's magnetospheric field is approximately time-periodic at the locations of Jupiter's moons and induces secondary magnetic fields in electrically conductive layers such as subsurface oceans. In the case of Ganymede, these secondary magnetic fields influence the oscillation of the location of its auroral ovals. Based on dedicated Hubble Space Telescope observations, an analysis of the amplitudes of the auroral oscillations provides evidence that Ganymede harbors a subsurface ocean. Callisto in contrast does not possess a mini-magnetosphere, but still shows a perturbed magnetic field environment. Callisto's ionosphere and atmospheric UV emission is different compared to the other Galilean satellites as it is primarily been generated by solar photons compared to magnetospheric electrons.Comment: Chapter for Book: Planetary Magnetis

Control of Jupiter's radio emission and aurorae by the solar wind

Radio emissions from Jupiter provided the first evidence that this giant planet has a strong magnetic field(1,2) and a large magnetosphere(3). Jupiter also has polar aurorae(4), which are similar in many respects to Earth's aurorae(5). The radio emissions are believed to be generated along the high-latitude magnetic field lines by the same electrons that produce the aurorae, and both the radio emission in the hectometric frequency range and the aurorae vary considerably(6,7). The origin of the variability, however, has been poorly understood. Here we report simultaneous observations using the Cassini and Galileo spacecraft of hectometric radio emissions and extreme ultraviolet auroral emissions from Jupiter. Our results show that both of these emissions are triggered by interplanetary shocks propagating outward from the Sun. When such a shock arrives at Jupiter, it seems to cause a major compression and reconfiguration of the magnetosphere, which produces strong electric fields and therefore electron acceleration along the auroral field lines, similar to the processes that occur during geomagnetic storms at the Earth.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/62740/1/415985a.pd