1,677 research outputs found

    Policy Driven Management for Distributed Systems

    No full text
    Separating management policy from the automated managers which interpret the policy facilitates the dynamic change of behavior of a distributed management system. This permits it to adapt to evolutionary changes in the system being managed and to new application requirements. Changing the behavior of automated managers can be achieved by changing the policy without having to reimplement them—this permits the reuse of the managers in different environments. It is also useful to have a clear specification of the policy applying to human managers in an enterprise. This paper describes the work on policy which has come out of two related ESPRIT funded projects, SysMan and IDSM. Two classes of policy are elaborated—authorization policies define what a manager is permitted to do and obligation policies define what a manager must do. Policies are specified as objects which define a relationship between subjects (managers) and targets (managed objects). Domains are used to group the objects to which a policy applies. Policy objects also have attributes specifying the action to be performed and constraints limiting the applicability of the policy. We show how a number of example policies can be modeled using these objects and briefly mention issues relating to policy hierarchy and conflicts between overlapping policies. © 1994, Plenum Publishing Corporation. All rights reserved.Accepted versio

    ECO and RESOLVE: Galaxy Disk Growth in Environmental Context

    Get PDF
    We study the relationships between galaxy environments and galaxy properties related to disk (re)growth, considering two highly complete samples that are approximately baryonic mass limited into the high-mass dwarf galaxy regime, the Environmental COntext (ECO) catalog (data release herein) and the B-semester region of the REsolved Spectroscopy Of a Local VolumE (RESOLVE) survey. We quantify galaxy environments using both group identification and smoothed galaxy density field methods. We use by-eye and quantitative morphological classifications plus atomic gas content measurements and estimates. We find that blue early-type (E/S0) galaxies, gas-dominated galaxies, and UV-bright disk host galaxies all become distinctly more common below group halo mass ~10^11.5 Msun, implying that this low group halo mass regime may be a preferred regime for significant disk growth activity. We also find that blue early-type and blue late-type galaxies inhabit environments of similar group halo mass at fixed baryonic mass, consistent with a scenario in which blue early types can regrow late-type disks. In fact, we find that the only significant difference in the typical group halo mass inhabited by different galaxy classes is for satellite galaxies with different colors, where at fixed baryonic mass red early and late types have higher typical group halo masses than blue early and late types. More generally, we argue that the traditional morphology-environment relation (i.e., that denser environments tend to have more early types) can be largely attributed to the morphology-galaxy mass relation for centrals and the color-environment relation for satellites.Comment: 26 pages and 28 figures; v2 contains minor figure and text updates to match final published version in ApJ; ECO data table release now available at http://resolve.astro.unc.edu/pages/data.ph

    A goal-based approach to policy refinement

    Get PDF
    As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of policy specifications. Although this is an area that researchers have devoted some attention to, none of the proposed solutions address the issue of deriving implementable policies from high-level goals. A key part of the solution to this problem is having the ability to identify the operations, available on the underlying system, which can achieve a given goal. This paper presents an approach by which a formal representation of a system, based on the Event Calculus, can be used in conjunction with abductive reasoning techniques to derive the sequence of operations that will allow a given system to achieve a desired goal. Additionally it outlines how this technique might be used for providing tool support and partial automation for policy refinement. Building on previous work on using formal techniques for policy analysis, the approach presented here applies a transformation of both policy and system behaviour specifications into a formal notation that is based on Event Calculus. Finally, it shows how the overall process could be used in conjunction with UML modelling and illustrates this by means of an example. 1

    Correlation between X-ray Lightcurve Shape and Radio Arrival Time in the Vela Pulsar

    Get PDF
    We report the results of simultaneous observations of the Vela pulsar in X-rays and radio from the RXTE satellite and the Mount Pleasant Radio Observatory in Tasmania. We sought correlations between the Vela's X-ray emission and radio arrival times on a pulse by pulse basis. At a confidence level of 99.8% we have found significantly higher flux density in Vela's main X-ray peak during radio pulses that arrived early. This excess flux shifts to the 'trough' following the 2nd X-ray peak during radio pulses that arrive later. Our results suggest that the mechanism producing the radio pulses is intimately connected to the mechanism producing X-rays. Current models using resonant absorption of radio emission in the outer magnetosphere as a cause of the X-ray emission are explored as a possible explanation for the correlation.Comment: 6 pages, 5 figures, accepted by Ap

    A VLA Search for the Geminga Pulsar: A Bayesian Limit on a Scintillating Source

    Get PDF
    We derive an upper limit of 3 mJy (95% confidence) for the flux density at 317 MHz of the Geminga pulsar (J0633+1746). Our results are based on 7 hours of fast-sampled VLA data, which we averaged synchronously with the pulse period using a period model based on CGRO/EGRET gamma-ray data. Our limit accounts for the fact that this pulsar is most likely subject to interstellar scintillations on a timescale much shorter than our observing span. Our Bayesian method is quite general and can be applied to calculate the fluxes of other scintillated sources. We also present a Bayesian technique for calculating the flux in a pulsed signal of unknown width and phase. Comparing our upper limit of 3 mJy with the quoted flux density of Geminga at 102 MHz, we calculate a lower limit to its spectral index of 2.7. We discuss some possible reasons for Geminga's weakness at radio wavelengths, and the likelihood that many of the unidentified EGRET sources are also radio-quiet or radio-weak Geminga-like pulsars.Comment: 27 pages, including figures. Published in Ap

    The Shape and Scale of Galactic Rotation from Cepheid Kinematics

    Get PDF
    A catalog of Cepheid variables is used to probe the kinematics of the Galactic disk. Radial velocities are measured for eight distant Cepheids toward l = 300; these new Cepheids provide a particularly good constraint on the distance to the Galactic center, R_0. We model the disk with both an axisymmetric rotation curve and one with a weak elliptical component, and find evidence for an ellipticity of 0.043 +/- 0.016 near the Sun. Using these models, we derive R_0 = 7.66 +/- 0.32 kpc and v_circ = 237 +/- 12 km/s. The distance to the Galactic center agrees well with recent determinations from the distribution of RR Lyrae variables, and disfavors most models with large ellipticities at the solar orbit.Comment: 36 pages, LaTeX, 10 figure

    Microbiology and atmospheric processes: Biological, physical and chemical characterization of aerosol particles

    Get PDF
    The interest in bioaerosols has traditionally been linked to health hazards for humans, animals and plants. However, several components of bioaerosols exhibit physical properties of great significance for cloud processes, such as ice nucleation and cloud condensation. To gain a better understanding of their influence on climate, it is therefore important to determine the composition, concentration, seasonal fluctuation, regional diversity and evolution of bioaerosols. In this paper, we will review briefly the existing techniques for detection, quantification, physical and chemical analysis of biological particles, attempting to bridge physical, chemical and biological methods for analysis of biological particles and integrate them with aerosol sampling techniques. We will also explore some emerging spectroscopy techniques for bulk and single-particle analysis that have potential for in-situ physical and chemical analysis. Lastly, we will outline open questions and further desired capabilities (e. g., in-situ, sensitive, both broad and selective, on-line, time-resolved, rapid, versatile, cost-effective techniques) required prior to comprehensive understanding of chemical and physical characterization of bioaerosols

    Electron temperatures during rapid subauroral ion drift events

    No full text
    International audienceExamples of data from DE-2 satellite instruments are presented. These illustrate the behaviour of plasma parameters in the F-region and adjacent topside ionosphere during rapid sub-auroral ion drift (SAID) events. In particular, a variety of behaviours of the electron temperature (Te) is demonstrated, both within and equatorward of the SAID region. The Sheffield University plasmasphere-ionosphere model (SUPIM) is used to perform calculations in which a model SAID is applied to a plasma flux tube. The model results indicate that strongly elevated ion temperature (a recognised signature of SAID events) is on occasion sufficient to raise Te to observed values by ion-electron heat transfer. On other occasions, an additional heat source is required. It is suggested that such a source for the electron gas may be due to interaction between the ring current and the plasmasphere at high altitudes. The magnitude of the downward heat flux is consistent with that necessary to produce sub-auroral red arcs. The resulting strongly heated electron gas causes vibrational excitation of molecular nitrogen in the thermosphere
    corecore