73,572 research outputs found
Quantitative analysis of the leakage of confidential data
Basic information theory is used to analyse the amount of confidential information which may be leaked by programs written in a very simple imperative language. In particular, a detailed analysis is given of the possible leakage due to equality tests and if statements. The analysis is presented as a set of syntax-directed inference rules and can readily be automated
ScotGrid: A Prototype Tier 2 Centre
ScotGrid is a prototype regional computing centre formed as a collaboration
between the universities of Durham, Edinburgh and Glasgow as part of the UK's
national particle physics grid, GridPP. We outline the resources available at
the three core sites and our optimisation efforts for our user communities. We
discuss the work which has been conducted in extending the centre to embrace
new projects both from particle physics and new user communities and explain
our methodology for doing this.Comment: 4 pages, 4 diagrams. Presented at Computing for High Energy and
Nuclear Physics 2004 (CHEP '04). Interlaken, Switzerland, September 200
A static analysis for quantifying information flow in a simple imperative language
We propose an approach to quantify interference in a simple imperative language that includes a looping construct. In this paper we focus on a particular case of this definition of interference: leakage of information from private variables to public ones via a Trojan Horse attack. We quantify leakage in terms of Shannon's information theory and we motivate our definition by proving a result relating this definition of leakage and the classical notion of programming language interference. The major contribution of the paper is a quantitative static analysis based on this definition for such a language. The analysis uses some non-trivial information theory results like Fano's inequality and L1 inequalities to provide reasonable bounds for conditional statements. While-loops are handled by integrating a qualitative flow-sensitive dependency analysis into the quantitative analysis
Molecular cooling in the diffuse interstellar medium
We use a simple one-zone model of the thermal and chemical evolution of
interstellar gas to study whether molecular hydrogen (H2) is ever an important
coolant of the warm, diffuse interstellar medium (ISM). We demonstrate that at
solar metallicity, H2 cooling is unimportant and the thermal evolution of the
ISM is dominated by metal line cooling. At metallicities below 0.1 Z_solar,
however, metal line cooling of low density gas quickly becomes unimportant and
H2 can become the dominant coolant, even though its abundance in the gas
remains small. We investigate the conditions required in order for H2 to
dominate, and show that it provides significant cooling only when the ratio of
the interstellar radiation field strength to the gas density is small. Finally,
we demonstrate that our results are insensitive to changes in the initial
fractional ionization of the gas or to uncertainties in the nature of the dust
present in the low-metallicity ISM.Comment: 13 pages, 6 figures. Minor changes to match version accepted by MNRA
The nature of 1WGA J1958.2+3232: a new intermediate polar
We present low and intermediate resolution spectroscopy of the optical counterpart to the recently discovered pulsating X-ray source 1WGA J1958.2+3232. The presence of strong HI , HeI and HeII emission lines together with the absence of absorption features rules out the possibility that the object is a massive star, as had recently been suggested. The observed X-ray and optical characteristics are consistent with the object being an intermediate polar. The double-peaked structure of the emission lines indicates that an accretion disc is present
Approximations for modelling CO chemistry in GMCs: a comparison of approaches
We examine several different simplified approaches for modelling the
chemistry of CO in three-dimensional numerical simulations of turbulent
molecular clouds. We compare the different models both by looking at the
behaviour of integrated quantities such as the mean CO fraction or the
cloud-averaged CO-to-H2 conversion factor, and also by studying the detailed
distribution of CO as a function of gas density and visual extinction. In
addition, we examine the extent to which the density and temperature
distributions depend on our choice of chemical model.
We find that all of the models predict the same density PDF and also agree
very well on the form of the temperature PDF for temperatures T > 30 K,
although at lower temperatures, some differences become apparent. All of the
models also predict the same CO-to-H2 conversion factor, to within a factor of
a few. However, when we look more closely at the details of the CO
distribution, we find larger differences. The more complex models tend to
produce less CO and more atomic carbon than the simpler models, suggesting that
the C/CO ratio may be a useful observational tool for determining which model
best fits the observational data. Nevertheless, the fact that these chemical
differences do not appear to have a strong effect on the density or temperature
distributions of the gas suggests that the dynamical behaviour of the molecular
clouds on large scales is not particularly sensitive to how accurately the
small-scale chemistry is modelled.Comment: 18 pages, 10 figures. Minor revisions, including the addition of a
comparison of simulated and observed C/CO ratios. Accepted by MNRA
Communications network design and costing model programmers manual
Otpimization algorithms and techniques used in the communications network design and costing model for least cost route and least cost network problems are examined from the programmer's point of view. All system program modules, the data structures within the model, and the files which make up the data base are described
Communications network design and costing model technical manual
This computer model provides the capability for analyzing long-haul trunking networks comprising a set of user-defined cities, traffic conditions, and tariff rates. Networks may consist of all terrestrial connectivity, all satellite connectivity, or a combination of terrestrial and satellite connectivity. Network solutions provide the least-cost routes between all cities, the least-cost network routing configuration, and terrestrial and satellite service cost totals. The CNDC model allows analyses involving three specific FCC-approved tariffs, which are uniquely structured and representative of most existing service connectivity and pricing philosophies. User-defined tariffs that can be variations of these three tariffs are accepted as input to the model and allow considerable flexibility in network problem specification. The resulting model extends the domain of network analysis from traditional fixed link cost (distance-sensitive) problems to more complex problems involving combinations of distance and traffic-sensitive tariffs
Evidence that widespread star formation may be underway in G0.253+016, "The Brick"
Image cubes of differential column density as a function of dust temperature
are constructed for Galactic Centre molecular cloud G0.253+0.016 ("The Brick")
using the recently described PPMAP procedure. The input data consist of
continuum images from the Herschel Space Telescope in the wavelength range
70-500 m, supplemented by previously published interferometric data at 1.3
mm wavelength. While the bulk of the dust in the molecular cloud is consistent
with being heated externally by the local interstellar radiation field, our
image cube shows the presence, near one edge of the cloud, of a filamentary
structure whose temperature profile suggests internal heating. The structure
appears as a cool ( K) tadpole-like feature, pc in length, in
which is embedded a thin spine of much hotter ( 40-50 K) material. We
interpret these findings in terms of a cool filament whose hot central region
is undergoing gravitational collapse and fragmentation to form a line of
protostars. If confirmed, this would represent the first evidence of widespread
star formation having started within this cloud.Comment: 5 pages, 4 figures; accepted for publication in MNRAS Letter
- …