Statistical performance analysis with dynamic workload using S-NET

Volkmar Wieser, Philip K. F. Hölzenspies, Michael Roßbory, and Raimund Kirner, 'Statistical performance analysis with dynamic workload using S-NET'. Paper presented at the Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures. Paris, France 23-25 January 2012In this paper the ADVANCE approach for engineering con- current software systems with well-balanced hardware ef- ficiency is adressed using the stream processing language S-Net. To obtain the cost information in the concurrent system the metrics throughput, latency, and jitter are evalu- ated by analyzing generated synthetical data as well as using an industrial related application in the future. As fall-out an Eclipse plugin for S-Net has been developed to provide sup- port for syntax highlighting, content assistance, hover help, and more, for easier and faster development. The presented results of the current work are on the one hand an indicator for the status quo of the ADVANCE vision and on the other hand used to improve the applied statistical analysis tech- niques within ADVANCE. Like the ADVANCE project, this work is still under development, but further improvements and speedups are expected in the near future

Statistical Performance Analysis of an Ant-Colony Optimisation Application in S-NET

Kenneth MacKenzie, Philip K. F. Hölzenspies, Kevin Hammond, Raimund Kirner, Vu Thien Nga Nguyen, Iraneus te Boekhorst, Clemens Grelck, Raphael Poss, Merijn Verstraaten, 'Statistical Performance Analysis of an Ant-Colony Optimisation Application in S-NET'. Paper presented at the 2nd Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures. Berlin, Germany, 12 January 2013.We consider an ant-colony optimsation problem implemented on a multicore system as a collection of asynchronous stream- processing components under the control of the S-NET coordina- tion language. Statistical analysis and visualisation techniques are used to study the behaviour of the application, and this enables us to discover and correct problems in both the application program and the run-time system underlying S-NET

Exact Gap Computation for Code Coverage Metrics in ISO-C

Test generation and test data selection are difficult tasks for model based testing. Tests for a program can be meld to a test suite. A lot of research is done to quantify the quality and improve a test suite. Code coverage metrics estimate the quality of a test suite. This quality is fine, if the code coverage value is high or 100%. Unfortunately it might be impossible to achieve 100% code coverage because of dead code for example. There is a gap between the feasible and theoretical maximal possible code coverage value. Our review of the research indicates, none of current research is concerned with exact gap computation. This paper presents a framework to compute such gaps exactly in an ISO-C compatible semantic and similar languages. We describe an efficient approximation of the gap in all the other cases. Thus, a tester can decide if more tests might be able or necessary to achieve better coverage.Comment: In Proceedings MBT 2012, arXiv:1202.582

Non-solvolytic synthesis of aqueous soluble TiO2 nanoparticles and real-time dynamic measurements of the nanoparticle formation.

Highly aqueously dispersible (soluble) TiO2 nanoparticles are usually synthesized by a solution-based sol-gel (solvolysis/condensation) process, and no direct precipitation of titania has been reported. This paper proposes a new approach to synthesize stable TiO2 nanoparticles by a non-solvolytic method - direct liquid phase precipitation at room temperature. Ligand-capped TiO2 nanoparticles are more readily solubilized compared to uncapped TiO2 nanoparticles, and these capped materials show distinct optical absorbance/emission behaviors. The influence of ligands, way of reactant feeding, and post-treatment on the shape, size, crystalline structure, and surface chemistry of the TiO2 nanoparticles has been thoroughly investigated by the combined use of X-ray diffraction, transmission electron microscopy, UV-visible (UV-vis) spectroscopy, and photoluminescence (PL). It is found that all above variables have significant effects on the size, shape, and dispersivity of the final TiO2 nanoparticles. For the first time, real-time UV-vis spectroscopy and PL are used to dynamically detect the formation and growth of TiO2 nanoparticles in solution. These real-time measurements show that the precipitation process begins to nucleate after an initial inhibition period of about 1 h, thereafter a particle growth occurs and reaches the maximum point after 2 h. The synthesis reaction is essentially completed after 4 h.RIGHTS : This article is licensed under the BioMed Central licence at http://www.biomedcentral.com/about/license which is similar to the 'Creative Commons Attribution Licence'. In brief you may : copy, distribute, and display the work; make derivative works; or make commercial use of the work - under the following conditions: the original author must be given credit; for any reuse or distribution, it must be made clear to others what the license terms of this work are

Brachydactyly

Brachydactyly ("short digits") is a general term that refers to disproportionately short fingers and toes, and forms part of the group of limb malformations characterized by bone dysostosis. The various types of isolated brachydactyly are rare, except for types A3 and D. Brachydactyly can occur either as an isolated malformation or as a part of a complex malformation syndrome. To date, many different forms of brachydactyly have been identified. Some forms also result in short stature. In isolated brachydactyly, subtle changes elsewhere may be present. Brachydactyly may also be accompanied by other hand malformations, such as syndactyly, polydactyly, reduction defects, or symphalangism

An emission module for ICON-ART 2.0: implementation and simulations of acetone

We present a recently developed emission module for the ICON (ICOsahedral Non-hydrostatic)-ART (Aerosols and Reactive Trace gases) modelling framework. The emission module processes external flux data sets and increments the tracer volume mixing ratios in the boundary layer accordingly. The performance of the emission module is illustrated with simulations of acetone, using a simplified chemical depletion mechanism based on a reaction with OH and photolysis only. In our model setup, we calculate a tropospheric acetone lifetime of 33 days, which is in good agreement with the literature. We compare our results with ground-based as well as with airborne IAGOS-CARIBIC measurements in the upper troposphere and lowermost stratosphere (UTLS) in terms of phase and amplitude of the annual cycle. In all our ICON-ART simulations the general seasonal variability is well represented but uncertainties remain concerning the magnitude of the acetone mixing ratio in the UTLS region. In addition, the module for online calculations of biogenic emissions (MEGAN2.1) is implemented in ICON-ART and can replace the offline biogenic emission data sets. In a sensitivity study we show how different parametrisations of the leaf area index (LAI) change the emission fluxes calculated by MEGAN2.1 and demonstrate the importance of an adequate treatment of the LAI within MEGAN2.1. We conclude that the emission module performs well with offline and online emission fluxes and allows the simulation of the annual cycles of emissions-dominated substances

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

The representation of solar cycle signals in stratospheric ozone –Part 2: Analysis of global models

The impact of changes in incoming solar irradiance on stratospheric ozone abundances should be included in climate simulations to aid in capturing the atmospheric response to solar cycle variability. This study presents the first systematic comparison of the representation of the 11-year solar cycle ozone response (SOR) in chemistry–climate models (CCMs) and in pre-calculated ozone databases specified in climate models that do not include chemistry, with a special focus on comparing the recommended protocols for the Coupled Model Intercomparison Project Phase 5 and Phase 6 (CMIP5 and CMIP6). We analyse the SOR in eight CCMs from the Chemistry–Climate Model Initiative (CCMI-1) and compare these with results from three ozone databases for climate models: the Bodeker Scientific ozone database, the SPARC/Atmospheric Chemistry and Climate (AC&C) ozone database for CMIP5 and the SPARC/CCMI ozone database for CMIP6. The peak amplitude of the annual mean SOR in the tropical upper stratosphere (1–5hPa) decreases by more than a factor of 2, from around 5 to 2%, between the CMIP5 and CMIP6 ozone databases. This substantial decrease can be traced to the CMIP5 ozone database being constructed from a regression model fit to satellite and ozonesonde measurements, while the CMIP6 database is constructed from CCM simulations. The SOR in the CMIP6 ozone database therefore implicitly resembles the SOR in the CCMI-1 models. The structure in latitude of the SOR in the CMIP6 ozone database and CCMI-1 models is considerably smoother than in the CMIP5 database, which shows unrealistic sharp gradients in the SOR across the middle latitudes owing to the paucity of long-term ozone measurements in polar regions. The SORs in the CMIP6 ozone database and the CCMI-1 models show a seasonal dependence with enhanced meridional gradients at mid- to high latitudes in the winter hemisphere. The CMIP5 ozone database does not account for seasonal variations in the SOR, which is unrealistic. Sensitivity experiments with a global atmospheric model without chemistry (ECHAM6.3) are performed to assess the atmospheric impacts of changes in the representation of the SOR and solar spectral irradiance (SSI) forcing between CMIP5 and CMIP6. The larger amplitude of the SOR in the CMIP5 ozone database compared to CMIP6 causes a likely overestimation of the modelled tropical stratospheric temperature response between 11-year solar cycle minimum and maximum by up to 0.55K, or around 80% of the total amplitude. This effect is substantially larger than the change in temperature response due to differences in SSI forcing between CMIP5 and CMIP6. The results emphasize the importance of adequately representing the SOR in global models to capture the impact of the 11-year solar cycle on the atmosphere. Since a number of limitations in the representation of the SOR in the CMIP5 ozone database have been identified, we recommend that CMIP6 models without chemistry use the CMIP6 ozone database and the CMIP6 SSI dataset to better capture the climate impacts of solar variability. The SOR coefficients from the CMIP6 ozone database are published with this paper