Ultraviolet Dust Grain Properties in Starburst Galaxies: Evidence from Radiative Transfer Modeling and Local Group Extinction Curves

This paper summarizes the evidence of the ultraviolet properties of dust grains found in starburst galaxies. Observations of starburst galaxies clearly show that the 2175 A feature is weak or absent. This can be the result of radiative transfer effects (mixing the dust and stars) or due to dust grains which do not have this feature. Spherical DIRTY radiative transfer models imply that it is not radiative transfer effects, but other radiative transfer models with disk/bulge geometries have found cases where it could be radiative transfer effects. Recent work on the extinction curves in the Magellanic Clouds and Milky Way has revealed that the traditional explanation of low metallicity for the absence of the 2175 A feature in the Small Magellanic Cloud is likely incorrect. The SMC has one sightline with a 2175 A feature and the Milky Way has sightlines without this feature. In addition, where the 2175 A feature is found to be weak or absent in both Magellanic Clouds and the Milky Way, there is evidence for recent star formation. Taking the sum of the radiative transfer modeling of starburst galaxies and the behavior of Local Group extinction curves, it is likely that the dust grains in starburst galaxies intrinsically lack the 2175 A feature.Comment: 7 pages, To appear in the proceedings of: "The Spectral Energy Distribution of Gas-Rich Galaxies: Confronting Models with Data", Heidelberg, 4-8 Oct. 2004, eds. C.C. Popescu and R.J. Tuffs, AIP Conf. Ser., in press [fixed typo in title

Asimovian Adaptive Agents

The goal of this research is to develop agents that are adaptive and predictable and timely. At first blush, these three requirements seem contradictory. For example, adaptation risks introducing undesirable side effects, thereby making agents' behavior less predictable. Furthermore, although formal verification can assist in ensuring behavioral predictability, it is known to be time-consuming. Our solution to the challenge of satisfying all three requirements is the following. Agents have finite-state automaton plans, which are adapted online via evolutionary learning (perturbation) operators. To ensure that critical behavioral constraints are always satisfied, agents' plans are first formally verified. They are then reverified after every adaptation. If reverification concludes that constraints are violated, the plans are repaired. The main objective of this paper is to improve the efficiency of reverification after learning, so that agents have a sufficiently rapid response time. We present two solutions: positive results that certain learning operators are a priori guaranteed to preserve useful classes of behavioral assurance constraints (which implies that no reverification is needed for these operators), and efficient incremental reverification algorithms for those learning operators that have negative a priori results

Validating a Web Service Security Abstraction by Typing

An XML web service is, to a first approximation, an RPC service in which requests and responses are encoded in XML as SOAP envelopes, and transported over HTTP. We consider the problem of authenticating requests and responses at the SOAP-level, rather than relying on transport-level security. We propose a security abstraction, inspired by earlier work on secure RPC, in which the methods exported by a web service are annotated with one of three security levels: none, authenticated, or both authenticated and encrypted. We model our abstraction as an object calculus with primitives for defining and calling web services. We describe the semantics of our object calculus by translating to a lower-level language with primitives for message passing and cryptography. To validate our semantics, we embed correspondence assertions that specify the correct authentication of requests and responses. By appeal to the type theory for cryptographic protocols of Gordon and Jeffrey's Cryptyc, we verify the correspondence assertions simply by typing. Finally, we describe an implementation of our semantics via custom SOAP headers.Comment: 44 pages. A preliminary version appears in the Proceedings of the Workshop on XML Security 2002, pp. 18-29, November 200

Design evolution of a low shock release nut

Design improvements and detailed functional analyses are reviewed to trace the development of a pyroactuated release device with segmented thread design from its intermediate design into one that reduces the levels of shock spectra generated during its operation by 50%. Comparisons of shock output and internal load distribution are presented, along with descriptions of mechanical operation for both designs. Results also show the potential areas where design development activity can gain further progress in lowering actuation shock levels

Procedures for minimizing the effects of high solar activity on satellite tracking and ephemeris generation

We are currently experiencing a period of high solar radiation combined with wide short-term fluctuations in the radiation. The short-term fluctuations, especially when combined with highly energetic solar flares, can adversely affect the mission of U.S. Space Command's Space Surveillance Center (SSC) which catalogs and tracks the satellites in orbit around the Earth. Rapidly increasing levels of solar electromagnetic and/or particle radiation (solar wind) causes atmospheric warming, which, in turn, causes the upper-most portions of the atmosphere to expand outward, into the regime of low altitude satellites. The increased drag on satellites from this expansion can cause large, unmodeled, in-track displacements, thus undermining the SSC's ability to track and predict satellite position. On 13 March 1989, high solar radiation levels, combined with a high-energy solar flare, caused an exceptional amount of short-term atmospheric warming. The SSC temporarily lost track of over 1300 low altitude satellites--nearly half of the low altitude satellite population. Observational data on satellites that became lost during the days following the 13 March 'solar event' was analyzed and compared with the satellites' last element set prior to the event (referred to as a geomagnetic storm because of the large increase in magnetic flux in the upper atmosphere). The analysis led to a set of procedures for reducing the impact of future geomagnetic storms. These procedures adjust selected software limit parameters in the differential correction of element sets and in the observation association process and must be manually initiated at the onset of a geomagnetic storm. Sensor tasking procedures must be adjusted to ensure that a minimum of four observations per day are received for low altitude satellites. These procedures have been implemented and, thus far, appear to be successful in minimizing the effect of subsequent geomagnetic storms on satellite tracking and ephemeris computation

The generation of rapid solar flare hard X-ray and microwave fluctuations in current sheets

The generation of rapid fluctuations, or spikes, in hard X-ray and microwave bursts via the disruption of electron heating and acceleration in current sheets is studied. It is found that 20 msec hard X-ray fluctuations can be thermally generated in a current sheet if the resistivity in the sheet is highly anomalous, the plasma density in the emitting region is relatively high, and the volume of the emitting region is greater than that of the current sheet. A specific mechanism for producing the fluctuations, involving heating in the presence of ion acoustic turbulence and a constant driving electric field, and interruption of the heating by a strong two-stream instability, is discussed. Variations upon this mechanism are also discussed. This mechanism also modulates electron acceleration, as required for the microwave spike emission. If the hard X-ray emission at energies less than approx. 1000 keV is nonthermal bremsstrahlung, the coherent modulation of electron acceleration in a large number of current sheets is required