8 research outputs found

    ARL FALLOUT PREDICTION TECHNIQUES.

    Full text link

    On the variability of simulated source-receptor relationships for sulfur deposition

    Full text link
    The use of Lagrangian models to estimate source-receptor relationships for ambient SO 4 = concentrations and S deposition has become fairly widespread over the past several years. This paper addresses the sensitivity of long-term simulations of a Lagrangian S transport and deposition model to actual variations in SO 2 emissions and meteorological conditions. The variations of predicted source-receptor relationships due to (1) the inclusion of day to day variations in emissions strength as opposed to the use of the annual average daily emission rate and (2) year-to-year variations in meteorological conditions were studied to identify causes of uncertainty in a Lagrangian model. The results suggested that adding information on day to day emission variations for a specific point source resulted in variations in estimated S wet deposition of the order of only 20% within 500 km of the source.Year-to-year variations in meteorological conditions, on the other hand, resulted in variations in predicted S wet deposition of the order of 50% for some receptors. The variation in estimated source-receptor relationships for a given source/receptor combination was found to range as high as 70% over a 5-yr modeling period.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/43900/1/11270_2004_Article_BF00303346.pd

    Integrating Domain Specific Language Design in the Software Life Cycle

    No full text
    . Domain Specific Languages help to split the software live cycle in different independent cycles. While the use of the newly created language is just an additional tool in the established cycle, the language live cycle is independent and opens the doors for the application of formal methods. We report on an industrial case study, where a driver specification language has been designed, formally specified, and finally an implementation has been generated from the specification. Using Abstract State Machines and Montages for the language specification, it was possible that the industrial partners learned how to maintain and extend the language specification. On the other hand the formal semantics of the method allows to apply different verification-oriented methods to the artifacts. 1 Introduction Today's software and hardware systems are characterized by a composition of complex subsystems and complex interactions between them. These subsystems are very often based on different models..

    Pharmacokinetic and Pharmacodynamic Aspects of Peyote and Mescaline: Clinical and Forensic Repercussions

    No full text
    corecore