On undecidability results of real programming languages

Original article can be found at : http://www.vmars.tuwien.ac.at/ Copyright Institut fur Technische InformatikOften, it is argued that some problems in data-flow analysis such as e.g. worst case execution time analysis are undecidable (because the halting problem is) and therefore only a conservative approximation of the desired information is possible. In this paper, we show that the semantics for some important real programming languages – in particular those used for programming embedded devices – can be modeled as finite state systems or pushdown machines. This implies that the halting problem becomes decidable and therefore invalidates popular arguments for using conservative analysis

HOCl chemistry in the Antarctic stratospheric vortex 2002, as observed with the Michelson interferometer for passive atmospheric sounding (MIPAS)

In the 2002 Antarctic polar vortex enhanced HOCl mixing ratios were detected by the Michelson Interferometer for Passive Atmospheric Sounding both at altitudes of around 35 km (1000K potential temperature), where HOCl abundances are ruled by gas phase chemistry and at around 18–24 km (475–625 K), which belongs to the altitude domain where heterogeneous chlorine chemistry is relevant. At altitudes of 33 to 40 km polar vortex HOCl mixing ratios were found to be around 0.14 ppbv as long as the polar vortex was intact, centered at the pole, and thus received relatively little sunlight. This is the altitude region where in midlatitudinal and tropic atmospheres peak HOCl mixing ratios significantly above 0.2 ppbv (in terms of daily mean values) are observed. After deformation and displacement of the polar vortex in the course of a major warming, ClO-rich vortex air was more exposed to sunlight, where enhanced HOx abundances led to largely increased HOCl mixing ratios (up to 0.3 ppbv), exceeding typical midlatitudinal and tropical amounts significantly. The HOCl increase was preceded by an increase of ClO. Model runs could reproduce these measurements only when the Stimpfle et al. (1979) rate constant for the reaction ClO+HO2→HOCl+O2 was used but not with the current JPL recommendation. At an altitude of 24 km, HOCl mixing ratios of up to 0.15 ppbv were detected. This HOCl enhancement, which is already visible in 18 September data, is attributed to heterogeneous chemistry, which is in agreement with observations of polar stratospheric clouds. The measurements were compared to a model run where no polar stratospheric clouds appeared during the observation period. The fact that HOCl still was produced in the model run suggests that a significant part of HOCl was generated from ClO rather than directly via heterogeneous reaction. Excess ClO, lower ClONO2 and earlier loss of HOCl in the measurements are attributed to ongoing heterogeneous chemistry which is not reproduced by the model. On 11 October, polar vortex mean daytime mixing ratios were only 0.03 ppbv

Denitrification, dehydration and ozone loss during the 2015/2016 Arctic winter

The 2015/2016 Arctic winter was one of the coldest stratospheric winters in recent years. A stable vortex formed by early December and the early winter was exceptionally cold. Cold pool temperatures dropped below the nitric acid trihydrate (NAT) existence temperature of about 195 K, thus allowing polar stratospheric clouds (PSCs) to form. The low temperatures in the polar stratosphere persisted until early March, allowing chlorine activation and catalytic ozone destruction. Satellite observations indicate that sedimentation of PSC particles led to denitrification as well as dehydration of stratospheric layers. Model simulations of the 2015/2016 Arctic winter nudged toward European Centre for Medium-Range Weather Forecasts (ECMWF) analysis data were performed with the atmospheric chemistry–climate model ECHAM5/MESSy Atmospheric Chemistry (EMAC) for the Polar Stratosphere in a Changing Climate (POLSTRACC) campaign. POLSTRACC is a High Altitude and Long Range Research Aircraft (HALO) mission aimed at the investigation of the structure, composition and evolution of the Arctic upper troposphere and lower stratosphere (UTLS). The chemical and physical processes involved in Arctic stratospheric ozone depletion, transport and mixing processes in the UTLS at high latitudes, PSCs and cirrus clouds are investigated. In this study, an overview of the chemistry and dynamics of the 2015/2016 Arctic winter as simulated with EMAC is given. Further, chemical–dynamical processes such as denitrification, dehydration and ozone loss during the 2015/2016 Arctic winter are investigated. Comparisons to satellite observations by the Aura Microwave Limb Sounder (Aura/MLS) as well as to airborne measurements with the Gimballed Limb Observer for Radiance Imaging of the Atmosphere (GLORIA) performed aboard HALO during the POLSTRACC campaign show that the EMAC simulations nudged toward ECMWF analysis generally agree well with observations. We derive a maximum polar stratospheric O3 loss of ∼ 2 ppmv or 117 DU in terms of column ozone in mid-March. The stratosphere was denitrified by about 4–8 ppbv HNO3 and dehydrated by about 0.6–1 ppmv H2O from the middle to the end of February. While ozone loss was quite strong, but not as strong as in 2010/2011, denitrification and dehydration were so far the strongest observed in the Arctic stratosphere in at least the past 10 years

Dynamic Power Management for Reactive Stream Processing on the SCC Tiled Architecture

This article is distributed under the terms of the Creative Commons Attribution 4.0 International License(http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.Dynamic voltage and frequency scaling} (DVFS) is a means to adjust the computing capacity and power consumption of computing systems to the application demands. DVFS is generally useful to provide a compromise between computing demands and power consumption, especially in the areas of resource-constrained computing systems. Many modern processors support some form of DVFS. In this article we focus on the development of an execution framework that provides light-weight DVFS support for reactive stream-processing systems (RSPS). RSPS are a common form of embedded control systems, operating in direct response to inputs from their environment. At the execution framework we focus on support for many-core scheduling for parallel execution of concurrent programs. We provide a DVFS strategy for RSPS that is simple and lightweight, to be used for dynamic adaptation of the power consumption at runtime. The simplicity of the DVFS strategy became possible by sole focus on the application domain of RSPS. The presented DVFS strategy does not require specific assumptions about the message arrival rate or the underlying scheduling method. While DVFS is a very active field, in contrast to most existing research, our approach works also for platforms like many-core processors, where the power settings typically cannot be controlled individually for each computational unit. We also support dynamic scheduling with variable workload. While many research results are provided with simulators, in our approach we present a parallel execution framework with experiments conducted on real hardware, using the SCC many-core processor. The results of our experimental evaluation confirm that our simple DVFS strategy provides potential for significant energy saving on RSPS.Peer reviewe

Observed and simulated time evolution of HCl, ClONO2, and HF total column abundances

Time series of total column abundances of hydrogen chloride (HCl), chlorine nitrate (ClONO2), and hydrogen fluoride (HF) were determined from ground-based Fourier transform infrared (FTIR) spectra recorded at 17 sites belonging to the Network for the Detection of Atmospheric Composition Change (NDACC) and located between 80.05°N and 77.82°S. By providing such a near-global overview on ground-based measurements of the two major stratospheric chlorine reservoir species, HCl and ClONO2, the present study is able to confirm the decrease of the atmospheric inorganic chlorine abundance during the last few years. This decrease is expected following the 1987 Montreal Protocol and its amendments and adjustments, where restrictions and a subsequent phase-out of the prominent anthropogenic chlorine source gases (solvents, chlorofluorocarbons) were agreed upon to enable a stabilisation and recovery of the stratospheric ozone layer. The atmospheric fluorine content is expected to be influenced by the Montreal Protocol, too, because most of the banned anthropogenic gases also represent important fluorine sources. But many of the substitutes to the banned gases also contain fluorine so that the HF total column abundance is expected to have continued to increase during the last few years. The measurements are compared with calculations from five different models: the two-dimensional Bremen model, the two chemistry-transport models KASIMA and SLIMCAT, and the two chemistry-climate models EMAC and SOCOL. Thereby, the ability of the models to reproduce the absolute total column amounts, the seasonal cycles, and the temporal evolution found in the FTIR measurements is investigated and inter-compared. This is especially interesting because the models have different architectures. The overall agreement between the measurements and models for the total column abundances and the seasonal cycles is good. Linear trends of HCl, ClONO2, and HF are calculated from both measurement and model time series data, with a focus on the time range 2000–2009. This period is chosen because from most of the measurement sites taking part in this study, data are available during these years. The precision of the trends is estimated with the bootstrap resampling method. The sensitivity of the trend results with respect to the fitting function, the time of year chosen and time series length is investigated, as well as a bias due to the irregular sampling of the measurements. The measurements and model results investigated here agree qualitatively on a decrease of the chlorine species by around 1%yr-1. The models simulate an increase of HF of around 1%yr-1. This also agrees well with most of the measurements, but some of the FTIR series in the Northern Hemisphere show a stabilisation or even a decrease in the last few years. In general, for all three gases, the measured trends vary more strongly with latitude and hemisphere than the modelled trends. Relative to the FTIR measurements, the models tend to underestimate the decreasing chlorine trends and to overestimate the fluorine increase in the Northern Hemisphere. At most sites, the models simulate a stronger decrease of ClONO2 than of HCl. In the FTIR measurements, this difference between the trends of HCl and ClONO2 depends strongly on latitude, especially in the Northern Hemisphere.Peer reviewe

Revisiting the Mystery of Recent Stratospheric Temperature Trends

Simulated stratospheric temperatures over the period 1979–2016 in models from the Chemistry-Climate Model Initiative are compared with recently updated and extended satellite data sets. The multimodel mean global temperature trends over 1979–2005 are -0.88 ± 0.23, -0.70 ± 0.16, and -0.50 ± 0.12 K/decade for the Stratospheric Sounding Unit (SSU) channels 3 (~40–50 km), 2 (~35–45 km), and 1 (~25–35 km), respectively (with 95% confidence intervals). These are within the uncertainty bounds of the observed temperature trends from two reprocessed SSU data sets. In the lower stratosphere, the multimodel mean trend in global temperature for the Microwave Sounding Unit channel 4 (~13–22 km) is -0.25 ± 0.12 K/decade over 1979–2005, consistent with observed estimates from three versions of this satellite record. The models and an extended satellite data set comprised of SSU with the Advanced Microwave Sounding Unit-A show weaker global stratospheric cooling over 1998–2016 compared to the period of intensive ozone depletion (1979–1997). This is due to the reduction in ozone-induced cooling from the slowdown of ozone trends and the onset of ozone recovery since the late 1990s. In summary, the results show much better consistency between simulated and satellite-observed stratospheric temperature trends than was reported by Thompson et al. (2012, https://doi.org/10.1038/nature11579) for the previous versions of the SSU record and chemistry-climate models. The improved agreement mainly comes from updates to the satellite records; the range of stratospheric temperature trends over 1979–2005 simulated in Chemistry-Climate Model Initiative models is comparable to the previous generation of chemistry-climate models

Patterns and Perceptions of Climate Change in a Biodiversity Conservation Hotspot

Quantifying local people's perceptions to climate change, and their assessments of which changes matter, is fundamental to addressing the dual challenge of land conservation and poverty alleviation in densely populated tropical regions To develop appropriate policies and responses, it will be important not only to anticipate the nature of expected changes, but also how they are perceived, interpreted and adapted to by local residents. The Albertine Rift region in East Africa is one of the world's most threatened biodiversity hotspots due to dense smallholder agriculture, high levels of land and resource pressures, and habitat loss and conversion. Results of three separate household surveys conducted in the vicinity of Kibale National Park during the late 2000s indicate that farmers are concerned with variable precipitation. Many survey respondents reported that conditions are drier and rainfall timing is becoming less predictable. Analysis of daily rainfall data for the climate normal period 1981 to 2010 indicates that total rainfall both within and across seasons has not changed significantly, although the timing and transitions of seasons has been highly variable. Results of rainfall data analysis also indicate significant changes in the intra-seasonal rainfall distribution, including longer dry periods within rainy seasons, which may contribute to the perceived decrease in rainfall and can compromise food security. Our results highlight the need for fine-scale climate information to assist agro-ecological communities in developing effective adaptive management

Semiconductor-based narrow-line and high-brilliance 193-nm laser system for industrial applications

We present a novel industrial-grade prototype version of a continuous-wave 193 nm laser system entirely based on solid state pump laser technology. Deep-ultraviolet emission is realized by frequency-quadrupling an amplified diode laser and up to 20 mW of optical power were generated using the nonlinear crystal KBBF. We demonstrate the lifetime of the laser system for different output power levels and environmental conditions. The high stability of our setup was proven in > 500 h measurements on a single spot, a crystal shifter multiplies the lifetime to match industrial requirements. This laser improves the relative intensity noise, brilliance, wall-plug efficiency and maintenance cost significantly. We discuss first lithographic experiments making use of this improvement in photon efficiency

Three Prochlorococcus cyanophage genomes : signature features and ecological interpretations

© 2005 Sullivan et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. The definitive version was published in PLoS Biology 3 (2005): e144, doi:10.1371/journal.pbio.0030144.The oceanic cyanobacteria Prochlorococcus are globally important, ecologically diverse primary producers. It is thought that their viruses (phages) mediate population sizes and affect the evolutionary trajectories of their hosts. Here we present an analysis of genomes from three Prochlorococcus phages: a podovirus and two myoviruses. The morphology, overall genome features, and gene content of these phages suggest that they are quite similar to T7-like (P-SSP7) and T4-like (P-SSM2 and P-SSM4) phages. Using the existing phage taxonomic framework as a guideline, we examined genome sequences to establish ‘‘core’’ genes for each phage group. We found the podovirus contained 15 of 26 core T7-like genes and the two myoviruses contained 43 and 42 of 75 core T4-like genes. In addition to these core genes, each genome contains a significant number of ‘‘cyanobacterial’’ genes, i.e., genes with significant best BLAST hits to genes found in cyanobacteria. Some of these, we speculate, represent ‘‘signature’’ cyanophage genes. For example, all three phage genomes contain photosynthetic genes (psbA, hliP) that are thought to help maintain host photosynthetic activity during infection, as well as an aldolase family gene (talC) that could facilitate alternative routes of carbon metabolism during infection. The podovirus genome also contains an integrase gene (int) and other features that suggest it is capable of integrating into its host. If indeed it is, this would be unprecedented among cultured T7-like phages or marine cyanophages and would have significant evolutionary and ecological implications for phage and host. Further, both myoviruses contain phosphate-inducible genes (phoH and pstS) that are likely to be important for phage and host responses to phosphate stress, a commonly limiting nutrient in marine systems. Thus, these marine cyanophages appear to be variations of two well-known phages—T7 and T4—but contain genes that, if functional, reflect adaptations for infection of photosynthetic hosts in low-nutrient oceanic environments.This research was supported by the US DOE under grant numbers DEFG02– 99ER62814 and DE-FG02–02ER63445, and the National Science Foundation under grant number OCE-9820035 (to SWC)