Realizing Change-Driven Consistency for Component Code, Architectural Models, and Contracts in Vitruvius

During the development of component-based software systems, it is often impractical or even impossible to include all development information into the source code. Instead, specialized languages are used to describe components and systems on different levels of abstraction or from different viewpoints: Component-based architecture models and contracts, for example, can be used to describe the system on a high level of abstraction, and to formally specify component constraints. Since models, contracts, and code contain redundant information, inconsistencies can occur if they are modified independently. Keeping this information consistent manually can require considerable effort, and can lead to costly errors, for example, when security-relevant components are verified against inconsistent contracts. In this technical report, we present details on realizing an approach for keeping component-based architecture models and contracts specified in the Java Modeling Language (JML) consistent with Java source code. We use change-driven incremental transformations and the Vitruvius framework to automate the consistency preservation where this is possible. Using two case studies, we demonstrate how to detect and propagate changes and refactoring operations to keep models and contracts consistent with the source code

In-Situ Li-Ion Pouch Cell Diagnostics Utilising Plasmonic Based Optical Fibre Sensors

As the drive to improve the cost, performance characteristics and safety of lithium-ion batteries increases with adoption, one area where significant value could be added is that of battery diagnostics. This paper documents an investigation into the use of plasmonic-based optical fibre sensors, inserted internally into 1.4 Ah lithium-ion pouch cells, as a real time and in-situ diagnostic technique. The successful implementation of the fibres inside pouch cells is detailed and promising correlation with battery state is reported, while having negligible impact on cell performance in terms of capacity and columbic efficiency. The testing carried out includes standard cycling and galvanostatic intermittent titration technique (GITT) tests, and the use of a reference electrode to correlate with the anode and cathode readings separately. Further observations are made around the sensor and analyte interaction mechanisms, robustness of sensors and suggested further developments. These finding show that a plasmonic-based optical fibre sensor may have potential as an opto-electrochemical diagnostic technique for lithium-ion batteries, offering an unprecedented view into internal cell phenomena

Asthma, asthma control and risk of ischemic stroke:The HUNT study

Background: Asthma, a chronic inflammatory airway disease, shares common pathophysiological mechanisms with ischemic stroke. The aim of the study is to assess the association between asthma, levels of asthma control and ischemic stroke risk in men and women and by smoking habits. Methods: This prospective population-based cohort study utilized data on 58 712 adults from HUNT Study in Norway free from stroke. Self-reported asthma was categorized as ever asthma, non-active asthma and active asthma (i.e., being on asthma medication within 12 months of the baseline). Asthma control was defined ac-cording to the Global Initiative for Asthma questionnaire and was categorized into controlled and not controlled asthma. Stroke was ascertained by linking HUNT data with Nord-Trøndelag hospital records and the Norwegian Patient Registry. Results: During a mean follow-up of 17.3 �5.3 years, 2619 participants (4.5%) had a first stroke. Not controlled asthma was associated with a modest increased risk of stroke (adjusted HR 1.34, 95%CI 1.03–1.73). Subgroup analyses revealed that the respective association was stronger among those with history of smoking (HR 1.48, 95%CI 1.10–2.00) and males (HR 1.55, 95%CI 1.12–2.16) while absent in non-smokers (HR 1.02, 95%CI 0.61–1.70) and females (HR 1.05, 95%CI 0.69–1.60). Likewise, active asthma was associated with similar increased stroke risk among smokers and males and absent in non-smokers and females. Conclusions: Symptomatic and active asthma was associated with a modest increased relative risk for ischemic stroke in smokers and males. Future studies should clarify the difference in risks and mechanisms between different phenotypes of asthma

Fighting a losing battle: Vigorous immune response countered by pathogen suppression of host defenses in the chytridiomycosis-susceptible frog Atelopus zeteki

The emergence of the disease chytridiomycosis caused by the chytrid fungus Batrachochytrium dendrobatidis (Bd) has been implicated in dramatic global amphibian declines. Although many species have undergone catastrophic declines and/or extinctions, others appear to be unaffected or persist at reduced frequencies after Bd outbreaks. The reasons behind this variance in disease outcomes are poorly understood: differences in host immune responses have been proposed, yet previous studies suggest a lack of robust immune responses to Bd in susceptible species. Here, we sequenced transcriptomes from clutchmates of a highly susceptible amphibian, Atelopus zeteki, with different infection histories. We found significant changes in expression of numerous genes involved in innate and inflammatory responses in infected frogs despite high susceptibility to chytridiomycosis. We show evidence of acquired immune responses generated against Bd, including increased expression of immunoglobulins and major histocompatibility complex genes. In addition, fungal-killing genes had significantly greater expression in frogs previously exposed to Bd compared with Bd-naïve frogs, including chitinase and serine-type proteases. However, our results appear to confirm recent in vitro evidence of immune suppression by Bd, demonstrated by decreased expression of lymphocyte genes in the spleen of infected compared with control frogs. We propose susceptibility to chytridiomycosis is not due to lack of Bd-specific immune responses but instead is caused by failure of those responses to be effective. Ineffective immune pathway activation and timing of antibody production are discussed as potential mechanisms. However, in light of our findings,suppression of key immune responses by Bd is likely an important factor in the lethality of this fungus

Shrinking-Hole Colloidal Lithography: Self-Aligned Nanofabrication of Complex Plasmonic Nanoantennas

Plasmonic nanoantennas create locally strongly enhanced electric fields in so-called hot spots. To place a relevant nanoobject with high accuracy in such a hot spot is crucial to fully capitalize on the potential of nanoantennas to control, detect, and enhance processes at the nanoscale. With state-of-the-art nanofabrication, in particular when several materials are to be used, small gaps between antenna elements are sought, and large surface areas are to be patterned, this is a grand challenge. Here we introduce self-aligned, bottom-up and self-assembly based Shrinking-Hole Colloidal Lithography, which provides (i) unique control of the size and position of subsequently deposited particles forming the nanoantenna itself, and (ii) allows delivery of nanoobjects consisting of a material of choice to the antenna hot spot, all in a single lithography step and, if desired, uniformly covering several square centimeters of surface. We illustrate the functionality of SHCL nanoantenna arrangements by (i) an optical hydrogen sensor exploiting the polarization dependent sensitivity of an Au-Pd nanoantenna ensemble; and (ii) single particle hydrogen sensing with an Au dimer nanoantenna with a small Pd nanoparticle in the hot spot

An air-liquid interphase approach for modeling the early embryo-maternal contact zone

We developed an air-liquid interphase culture procedure for mammalian oviduct epithelial cells leading to the formation of functional epithelial tissues, which generate oviduct fluid surrogates. These in vitro oviduct epithelia can be co-cultured with living zygotes and enable embryonic development up to the blastocyst stage without addition of embryo culture medium. The described strategy is broadly applicable to analyze early embryo-maternal interactions under standardized in vitro conditions

Low-energy neutron-deuteron reactions with N3LO chiral forces

We solve three-nucleon Faddeev equations with nucleon-nucleon and three-nucleon forces derived consistently in the framework of chiral perturbation theory at next-to-next-to-next-to-leading order in the chiral expansion. In this first investigation we include only matrix elements of the three-nucleon force for partial waves with the total two-nucleon (three-nucleon) angular momenta up to 3 (5/2). Low-energy neutron-deuteron elastic scattering and deuteron breakup reaction are studied. Emphasis is put on Ay puzzle in elastic scattering and cross sections in symmetric-space-star and neutron-neutron quasi-free-scattering breakup configurations, for which large discrepancies between data and theory have been reported.Comment: 22 pages, 7 figure