AUTOMATED CODE GENERATION FOR SAFETY-RELATED APPLICATIONS: A CASE STUDY

This paper addresses issues relating to the suitability of using automated code generation(ACG) technologies for the development of real-time, safety-critical systems. This researchexplored the characteristics of model-based software development methodologies and the automatedcode generation tools that support them. Specifically, data related to the engineeringchallenges, skills, and effort associated with ACG practices and technologies were collectedas part of a case study. Characteristics such as the generated code’s organization, size, readability,traceability to model, real-time constructs, and exception handling were identified. Inaddition, the case study involved software engineering practices that incorporate integratedanalysis and design iterations throughout a model-based development process. The researchinvestigated both the static and dynamic characteristics of the selected techniques and tools,identified characteristics of ACG tools with potential impact on safety, and considered thesemantic consistency between representations

High-resolution kinetic energy release distributions and dissociation energies for fullerene ions C(n)(+), 42 \u3c= n \u3c= 90

We have measured the kinetic energy released in the unimolecular dissociation of fullerene ions, C(n)(+)--\u3eC(n-2)(+)+C(2), for sizes 42less than or equal tonless than or equal to90. A three-sector-field mass spectrometer equipped with two electric sectors has been used in order to ensure that contributions from isotopomers of different masses do not distort the experimental kinetic energy release distributions. We apply the concept of microcanonical temperature to derive from these data the dissociation energies of fullerene cations. They are converted to dissociation energies of neutral fullerenes with help of published adiabatic ionization energies. The results are compared with literature values. (C) 2004 American Institute of Physics

High resolution measurements of kinetic energy release distributions of neon, argon, and krypton cluster ions using a three sector field mass spectrometer

Using a newly constructed three sector field mass spectrometer (resulting in a BE1E2 field configuration) we have measured the kinetic energy release distributions of neon, argon, and krypton cluster ions. In the present study we used the first two sectors, B and E1, constituting a high resolution mass spectrometer, to select the parent ions in terms of mass, charge, and energy, and studied the decay of those ions in the third field free region. Due to the improved mass resolution we were able to extend earlier studies carried out with a two sector field machine, where an upper size limit arose from the fact that several isotopomers contribute to a decaying parent ion beam when the cluster size exceeds a certain value. Furthermore we developed a new data analysis. It allows us to model also fragment ion peaks that are a superposition of different decay reactions and thus we can determine the average kinetic energy release for all decay reactions of a given cluster ion. In a further step we used these results to determine the binding energies of cluster ions Rg(n) (ngreater than or equal to10) by applying finite heat bath theory. The smaller sizes have not been included in this analysis, because the validity of finite heat bath theory becomes questionable below napproximate to10. The present average kinetic energy releases and binding energies are compared with other experiments and various calculations. (C) 2004 American Institute of Physics

Kinetic-energy release in Coulomb explosion of metastable C3H52+

C3H52+, formed by electron impact ionization of propane, undergoes metastable decay into C2H2++CH3+. We have monitored this reaction in a magnetic mass spectrometer of reversed geometry that is equipped with two electric sectors (BEE geometry). Three different techniques were applied to identify the fragment ions and determine the kinetic-energy release (KER) of spontaneous Coulomb explosion of C3H52+ in the second and third field free regions of the mass spectrometer. The KER distribution is very narrow, with a width of about 3% [root-mean square standard deviation]. An average KER of 4.58+/-0.15 eV is derived from the distribution. High level ab initio quantum-chemical calculations of the structure and energetics of C3H52+ are reported. The activation barrier of the reverse reaction, CH3++C2H2+ (vinylidene), is computed. The value closely agrees with the experimental average KER, thus indicating that essentially all energy available in the reaction is partitioned into kinetic energy. (C) 2003 American Institute of Physics

Mechanisms and dynamics of the metastable decay in Ar-2(+)

A detailed experimental as well as theoretical investigation of the properties of the metastable dissociation Ar-2(+)--\u3eAr++Ar is presented. The mass-analyzed ion kinetic energy (MIKE) scan technique has been performed using a three sector field mass spectrometer. The possible mechanisms of the metastability of Ar-2(+) have been examined and the observed decay process is assigned to the II(1/2)(u)--\u3eI(1/2)(g) bound to continuum radiative transition, in agreement with earlier work. The calculation of the theoretical shape of the kinetic energy release distribution of fragment ions allowed us to construct the theoretical MIKE peak and compare it with the raw experimental data. The accuracy of various sets of potential energy curves for Ar-2(+) is discussed, as well as the way of production of the metastable Ar-2(+)[II(1/2)(u)] electronic state by electron impact. Excellent agreement between the experimental data and theoretical model has been observed. (C) 2004 American Institute of Physics

Automated Code Generation For Safety-Related Applications: A Case Study

This paper addresses issues relating to the suitability of using automated code generation(ACG) technologies for the development of real-time, safety-critical systems. This researchexplored the characteristics of model-based software development methodologies and the automatedcode generation tools that support them. Specifically, data related to the engineeringchallenges, skills, and effort associated with ACG practices and technologies were collectedas part of a case study. Characteristics such as the generated code’s organization, size, readability,traceability to model, real-time constructs, and exception handling were identified. Inaddition, the case study involved software engineering practices that incorporate integratedanalysis and design iterations throughout a model-based development process. The researchinvestigated both the static and dynamic characteristics of the selected techniques and tools,identified characteristics of ACG tools with potential impact on safety, and considered thesemantic consistency between representations

Numerical simulation of the thermal fragmentation process in fullerene C60

The processes of defect formation and annealing in fullerene C60 at T=(4000-6000)K are studied by the molecular dynamics technique with a tight-binding potential. The cluster lifetime until fragmentation due to the loss of a C2 dimer has been calculated as a function of temperature. The activation energy and the frequency factor in the Arrhenius equation for the fragmentation rate have been found to be Ea = (9.2 +- 0.4) eV and A = (8 +- 1)10^{19} 1/s. It is shown that fragmentation can occur after the C60 cluster loses its spherical shape. This fact must be taken into account in theoretical calculations of Ea.Comment: 12 pages, 3 figure

Redesign and initial validation of an instrument to assess the motivational qualities of music in exercise: The Brunel Music Rating Inventory-2

In the present study, a measure to assess the motivational qualities of music in exercise was redesigned, extending previous research efforts (Karageorghis et al., 1999). The original measure, the Brunel Music Rating Inventory (BMRI), had shown limitations in its factor structure and its applicability to non-experts in music selection. Redesign of the BMRI used in-depth interviews with eight participants (mean age 31.9 years, s¼8.9 years) to establish the initial item pool, which was examined using a series of confirmatory factor analyses. A single-factor model provided a good fit across three musical selections with different motivational qualities (comparative fit index, CFI: 0.95 – 0.98; standardized root mean residual, SRMR: 0.03 – 0.05). The single-factor model also demonstrated acceptable fit across two independent samples and both sexes using one piece of music (CFI: 0.86 – 1.00; SRMR: 0.04 – 0.07). The BMRI was designed for experts in selecting music for exercise (e.g. dance aerobic instructors), whereas the BMRI-2 can be used both by exercise instructors and participants. The psychometric properties of the BMRI-2 are stronger than those of the BMRI and it is easier to use. The BMRI-2 provides a valid and internally consistent tool by which music can be selected to accompany a bout of exercise or a training session. Furthermore, the BMRI-2 enables researchers to standardize music in experimental protocols involving exercise-related tasks

Innovation, low energy buildings and intermediaries in Europe: systematic case study review

As buildings throughout their lifecycle account for circa 40% of total energy use in Europe, reducing energy use of the building stock is a key task. This task is, however, complicated by a range of factors, including slow renewal and renovation rates of buildings, multiple non- coordinated actors, conservative building practices, and limited competence to innovate. Drawing from academic literature published during 2005-2015, this article carries out a systematic review of case studies on low energy innovations in the European residential building sector, analysing their drivers. Specific attention is paid to intermediary actors in facilitating innovation processes and creating new opportunities. The study finds that qualitative case study literature on low energy building innovation has been limited, particularly regarding the existing building stock. Environmental concerns, EU, national and local policies have been the key drivers; financial, knowledge and social sustainability and equity drivers have been of modest importance; while design, health and comfort, and market drivers have played a minor role. Intermediary organisations and individuals have been important through five processes: (1) facilitating individual building projects, (2) creating niche markets, (3) implementing new practices in social housing stock, (4) supporting new business model creation, and (5) facilitating building use post construction. The intermediaries have included both public and private actors, while local authority agents have acted as intermediaries in several cases

Nuclear Scaffold Attachment Sites within ENCODE Regions Associate with Actively Transcribed Genes

The human genome must be packaged and organized in a functional manner for the regulation of DNA replication and transcription. The nuclear scaffold/matrix, consisting of structural and functional nuclear proteins, remains after extraction of nuclei and anchors loops of DNA. In the search for cis-elements functioning as chromatin domain boundaries, we identified 453 nuclear scaffold attachment sites purified by lithium-3,5-iodosalicylate extraction of HeLa nuclei across 30 Mb of the human genome studied by the ENCODE pilot project. The scaffold attachment sites mapped predominately near expressed genes and localized near transcription start sites and the ends of genes but not to boundary elements. In addition, these regions were enriched for RNA polymerase II and transcription factor binding sites and were located in early replicating regions of the genome. We believe these sites correspond to genome-interactions mediated by transcription factors and transcriptional machinery immobilized on a nuclear substructure