A test of the applicability of independent scattering to high albedo planetary regoliths

We show that 'independent scattering' is a useful approximation for high albedo particles whose size and packing density are similar to typical particles in the lunar regolith. Laboratory measurements of the intensity and linear polarization of light scattered from a laboratory sample of glass spheres of know size and composition are compared to radiative transfer calculations of the same observable quantities. Mie scattering is integrated over the size distribution of the particles to determine the mean phase and polarization functions, or phase matrix, of the particle. Assuming that the particles scatter independently, the 'doubling method' is used to rigorously calculate multiple scattering in an optically thick layer of these anisotropically scattering particles. All of the major features 'predicted' in the calculated intensity (double peaks at small phase angles) and polarization (negative branch at small phase angles, large positive peak near 20 degrees phase, and small polarization elsewhere) are observed in the laboratory measurements, with good quantitative agreement indicated at phase angles less than 90 degrees. Even though the particles are supported by physical contact with each other in the sample, as are the particles in planetary regoliths, the independent scattering calculation yields a good approximation to both the intensity and polarization. The physical parameters input to the calculation are only the size distribution of the particles and their complex index of refraction (composition). Significant advantages of this approach are that the phase matrix is calculated from basic physical principles and both the intensity and polarization are determined simultaneously. This model may have broad applications to the interpretation of photometry, spectroscopy, and polarimetry of the icy regoliths of high albedo satellites. The intent of this effort is to perform a controlled experiment that tests the utility of the independent scattering assumptio

Triton's global heat budget

Internal heat flow from radioactive decay in Triton's interior along with absorbed thermal energy from Neptune total 5 to 20 percent of the insolation absorbed by Triton, thus comprising a significant fraction of Triton's surface energy balance. These additional energy inputs can raise Triton's surface temperature between approx. 0.5 to 1.5 K above that possible with absorbed sunlight alone, resulting in a factor of approx. 1.5 to 2.5 increase in Triton's basal atmospheric pressure. If Triton's internal heatflow is concentrated in some areas, as is likely, local effects such as enhanced sublimation with subsequent modification of albedo could be quite large. Furthermore, indications of recent albedo change on Triton suggest that Triton's surface temperature and pressure may not now be in steady state, further suggesting that atmospheric pressure on Triton was as much as 10 times higher in the recent past

A decade's overview of Io's volcanic activity

Over the past decade some aspects of Io's volcanic activity have changed greatly, while others have essentially remained constant. This contrast has emerged from our study of multi-wavelength, infrared, observations of Io's thermal emission. From 1983 to 1992 we observed the disk integrated flux density of Io from the NASA Infrared Telescope Facility (IRTF) on Mauna Kea, Hawaii. Our spectral coverage allows us to separate out the emission components due to volcanic thermal anomalies which are warmer than the background emission caused by solar heating. Our temporal coverage allows us to resolve individual eruptions and also to obtain the disk-integrated flux density as a function of longitude (or, equivalently, orbital phase angle). Characteristics that persisted over the decade involve Loki's location and intensity of emission, the leading hemisphere emission, and the average heat flow. The variable aspects of Io over the decade include Loki's hotter area(s) and the outbursts in the leading hemisphere

Distilling Privacy Requirements for Mobile Applications

As mobile computing applications have become commonplace, it is increasingly important for them to address end-users’ privacy requirements. Privacy requirements depend on a number of contextual socio-cultural factors to which mobility adds another level of contextual variation. However, traditional requirements elicitation methods do not sufficiently account for contextual factors and therefore cannot be used effectively to represent and analyse the privacy requirements of mobile end users. On the other hand, methods that do investigate contextual factors tend to produce data that does not lend itself to the process of requirements extraction. To address this problem we have developed a Privacy Requirements Distillation approach that employs a problem analysis framework to extract and refine privacy requirements for mobile applications from raw data gathered through empirical studies involving end users. Our approach introduces privacy facets that capture patterns of privacy concerns which are matched against the raw data. We demonstrate and evaluate our approach using qualitative data from an empirical study of a mobile social networking application

A decision procedure for bisimilarity of generalized regular expressions.

Contains fulltext : 84383.pdf (publisher's version ) (Closed access)SBMF '2010, 8 november 201

Six-color photometry of Iapetus, Titan, Rhea, Dione and Tethys

The extensive photometric observations of Titan, Iapetus, Rhea, Dione and Tethys have made it possible to separate the solar phase and orbital phase contributions to the observed light variations of these satellites. For Titan, the wavelength dependence of its solar phase coefficient has been obtained. This dependence should prove useful in constructing future model atmospheres. The other four satellites show a surprising array of different photometric behaviors. Despite these differences, all four satellites have similar spectral reflectivities. Clearly Iapetus, Rhea, Dione and Tethys are complex objects, varying substantially from one another in surface structure and/or composition

On the Multi-Language Construction

Modern software is no more developed in a single programming language. Instead, programmers tend to exploit cross-language interoperability mechanisms to combine code stemming from different languages, and thus yielding fully-fledged multi-language programs. Whilst this approach enables developers to benefit from the strengths of each single-language, on the other hand it complicates the semantics of such programs. Indeed, the resulting multi-language does not meet any of the semantics of the combined languages. In this paper, we broaden the boundary functions-based approach a la Matthews and Findler to propose an algebraic framework that provides a constructive mathematical notion of multi-language able to determine its semantics. The aim of this work is to overcome the lack of a formal method (resp., model) to design (resp., represent) a multi-language, regardless of the inherent nature of the underlying languages. We show that our construction ensures the uniqueness of the semantic function (i.e., the multi-language semantics induced by the combined languages) by proving the initiality of the term model (i.e., the abstract syntax of the multi-language) in its category

Asymmetric Combination of Logics is Functorial: A Survey

Asymmetric combination of logics is a formal process that develops the characteristic features of a specific logic on top of another one. Typical examples include the development of temporal, hybrid, and probabilistic dimensions over a given base logic. These examples are surveyed in the paper under a particular perspective—that this sort of combination of logics possesses a functorial nature. Such a view gives rise to several interesting questions. They range from the problem of combining translations (between logics), to that of ensuring property preservation along the process, and the way different asymmetric combinations can be related through appropriate natural transformations