10,790 research outputs found

    Supporting ODP - Translating LOTOS to Z

    Get PDF
    This paper describes a translation of full LOTOS into Z. A common semantic model is defined and the translation is proved correct with respect to the semantics. The motivation for such a translation is the use of multiple viewpoints for specifying complex systems defined by the reference model of the Open Distributed Processing (ODP) standardization initiative. The postscript version available here is an extended version of what was published

    Viewpoint consistency in Z and LOTOS: A case study

    Get PDF
    Specification by viewpoints is advocated as a suitable method of specifying complex systems. Each viewpoint describes the envisaged system from a particular perspective, using concepts and specification languages best suited for that perspective. Inherent in any viewpoint approach is the need to check or manage the consistency of viewpoints and to show that the different viewpoints do not impose contradictory requirements. In previous work we have described a range of techniques for consistency checking, refinement, and translation between viewpoint specifications, in particular for the languages LOTOS and Z. These two languages are advocated in a particular viewpoint model, viz. that of the Open Distributed Processing (ODP) reference model. In this paper we present a case study which demonstrates how all these techniques can be combined in order to show consistency between a viewpoint specified in LOTOS and one specified in Z. Keywords: Viewpoints; Consistency; Z; LOTOS; ODP

    Handbook on Hypergolic Propellant Discharges and Disposal

    Get PDF
    The efficiency of all treatment methods formerly or currently used in treating chemical wastes is assessed with emphasis on the disposal of hypergolic propellants. Maximum focus is on the space shuttle propellants MMH and N2O4. Except for hydrogen peroxide oxidizers, all the propellants are nitrogen based and can be potentially reduced to valuable plant nutrients. In theory, all the propellants can be reduced to carbon, hydrogen, nitrogen, and oxygen, except of fuming nitric acid which contains a small amount of fluorine. Appendices cover: (1) a general design criteria for disposal ponds; (2) thermal aspects of reaction in dilute solution; (3) gas bubble growth, detachment, and rise (4) absorption scrubber fundamentals and descriptions; (5) separation of a propellant vapor from a helium stream by permeation; and (6) atmospheric emission limits

    A unifying explanation of complex frequency spectra of gamma Dor, SPB and Be stars: combination frequencies and highly non-sinusoidal light curves

    Get PDF
    There are many Slowly Pulsating B (SPB) stars and γ Dor stars in the Kepler mission data set. The light curves of these pulsating stars have been classified phenomenologically into stars with symmetric light curves and with asymmetric light curves. In the same effective temperature ranges as the γ Dor and SPB stars, there are variable stars with downward light curves that have been conjectured to be caused by spots. Among these phenomenological classes of stars, some show ‘frequency groups’ in their amplitude spectra that have not previously been understood. While it has been recognized that non-linear pulsation gives rise to combination frequencies in a Fourier description of the light curves of these stars, such combination frequencies have been considered to be a only a minor constituent of the amplitude spectra. In this paper, we unify the Fourier description of the light curves of these groups of stars, showing that many of them can be understood in terms of only a few base frequencies, which we attribute to g-mode pulsations, and combination frequencies, where sometimes a very large number of combination frequencies dominate the amplitude spectra. The frequency groups seen in these stars are thus tremendously simplified. We show observationally that the combination frequencies can have amplitudes greater than the base frequency amplitudes, and we show theoretically how this arises. Thus for some γ Dor and SPB stars, combination frequencies can have the highest observed amplitudes. Among the B stars are pulsating Be stars that show emission lines in their spectra from occasional ejection of material into a circumstellar disc. Our analysis gives strong support to the understanding of these pulsating Be stars as rapidly rotating SPB stars, explained entirely by g-mode pulsations

    Reference gene selection and RNA preservation protocol in the cat flea, Ctenocephalides felis, for gene expression studies

    Get PDF
    This work was supported by a Knowledge Transfer Network BBSRC Industrial Case (#414 BB/L502467/1) studentship in association Zoetis Inc.Peer reviewedPostprin

    Labor Law and Workmen\u27s Compensation--1959 Tennessee Survey

    Get PDF
    What is the meaning of the term actual cash value in the standard fire policy? The middle section of the court of appeals, following a prior Tennessee case and the weight of authority, held that the phrase is synonomous with market value only where the goods are readily replaceable in a current market. Where there is no market, or where the market value is inadequate to properly indemnify the insured, actual cash value means the \u27value to the owner\u27 or the loss he suffers in being deprived of the goods. Since the goods involved in this case were personal effects, clothing and household goods, the latter standard was considered appropriate. Describing this standard as an elastic one, the court noted that value to the owner was to be determined by reference to evidence of original cost, of the cost of replacement, the condition of the goods, the use to which they were being put, and all other relevant facts .... Though holding the valued policy law inapplicable to a policy covering personal property, the court affirmed an award of the face amount of the policy because the sole testimony of the owner sufficiently showed the value of the goods to be in excess of the policy limits

    Deuterium site occupancy and phase boundaries in ZrNiDx (0.87<=x<=3.0)

    Get PDF
    ZrNiDx samples with compositions between x=0.87 and x=3.0 were investigated by 2H magic-angle spinning nuclear magnetic resonance spectroscopy (MAS-NMR), powder x-ray diffraction (XRD), neutron vibrational spectroscopy (NVS), and neutron powder diffraction (NPD). The rigid-lattice MAS-NMR spectrum for a ZrNiD0.88 sample in the triclinic beta phase shows a single phase with two well-resolved resonances at +11.5 and −1.7 ppm, indicating that two inequivalent D sites are occupied, as was observed previously in ZrNiD1.0. For ZrNiD0.88, the ratio of spectral intensities of the two lines is 1:0.76, indicating that the D site corresponding to the +11.5 ppm line has the lower site energy and is fully occupied. Similarly, the neutron vibrational spectra for ZrNiD0.88 clearly confirm that at least two sites are occupied. For ZrNiD1.0, XRD indicates that ~5% of the metal atoms are in the gamma phase, corresponding to an upper composition for the beta phase of x=0.90±0.04, consistent with the MAS-NMR and neutron vibrational spectra indicating that x=0.88 is single phase. The MAS-NMR and NVS of ZrNiD1.87 indicate a mixed-phase sample (beta+gamma) and clearly show that the two inequivalent sites observed at x=0.88 cannot be attributed to the sites normally occupied in the gamma phase. For ZrNiD2.75, NPD results indicate a gamma-phase boundary of x=2.86±0.03 at 300 K, increasing to 2.93±0.02 at 180 K and below, in general agreement with the phase boundary estimated from the NVS and MAS-NMR spectra of ZrNiD1.87. Rigid-lattice 2H MAS-NMR spectra of ZrNiD2.75 and ZrNiD2.99 show a ratio of spectral intensities of 1.8±0.1:1 and 2.1±0.1:1 (Zr3Ni:Zr3Ni2), respectively, indicating complete occupancy of the lower-energy Zr3Ni2 site, consistent with the NPD results. For each composition, the correlation time for deuterium hopping was determined at the temperature where resolved peaks in the MAS-NMR spectrum coalesce due to motion between inequivalent D sites. The measured correlation times are consistent with previously determined motional parameters for ZrNiHx

    Book Reviews

    Get PDF
    corecore