Detecting and Explaining Conflicts in Attributed Feature Models

Product configuration systems are often based on a variability model. The development of a variability model is a time consuming and error-prone process. Considering the ongoing development of products, the variability model has to be adapted frequently. These changes often lead to mistakes, such that some products cannot be derived from the model anymore, that undesired products are derivable or that there are contradictions in the variability model. In this paper, we propose an approach to discover and to explain contradictions in attributed feature models efficiently in order to assist the developer with the correction of mistakes. We use extended feature models with attributes and arithmetic constraints, translate them into a constraint satisfaction problem and explore those for contradictions. When a contradiction is found, the constraints are searched for a set of contradicting relations by the QuickXplain algorithm.Comment: In Proceedings FMSPLE 2015, arXiv:1504.0301

Frequency-splitting estimators of single-propagator traces

Single-propagator traces are the most elementary fermion Wick contractions which occur in numerical lattice QCD, and are usually computed by introducing random-noise estimators to profit from volume averaging. The additional contribution to the variance induced by the random noise is typically orders of magnitude larger than the one due to the gauge field. We propose a new family of stochastic estimators of single-propagator traces built upon a frequency splitting combined with a hopping expansion of the quark propagator, and test their efficiency in two-flavour QCD with pions as light as 190 MeV. Depending on the fermion bilinear considered, the cost of computing these diagrams is reduced by one to two orders of magnitude or more with respect to standard random-noise estimators. As two concrete examples of physics applications, we compute the disconnected contributions to correlation functions of two vector currents in the isosinglet omega channel and to the hadronic vacuum polarization relevant for the muon anomalous magnetic moment. In both cases, estimators with variances dominated by the gauge noise are computed with a modest numerical effort. Theory suggests large gains for disconnected three and higher point correlation functions as well. The frequency-splitting estimators and their split-even components are directly applicable to the newly proposed multi-level integration in the presence of fermions.Comment: 26 pages, 8 figures, LaTe

White top-emitting organic light-emitting diodes with solution-processed nano-particle scattering layers

The authors are grateful to Novaled GmbH (Dresden) for financial support and material supply. M. C. Gather acknowledges financial support from the Scottish Founding Council through SUPA.A random scattering approach to enhance light extraction in white top-emitting organic light-emitting diodes (OLEDs) is reported. Through solution processing from fluorinated solvents, a nano-particlescattering layer (NPSL) can be deposited directly on top of small molecule OLEDs without affecting their electrical performance. The scattering length for light inside the NPSL is determined from transmission measurements and found to be in agreement with Mie scattering theory. Furthermore, the dependence of the light outcoupling enhancement on electron transport layer thickness is studied. Depending on the electron transport layer thickness, the NPSL enhances the external quantum efficiency of the investigated white OLEDs by between 1.5 and 2.3-fold. For a device structure that has been optimized prior to application of the NPSL, the maximum external quantum efficiency is improved from 4.7% to 7.4% (1.6-fold improvement). In addition, the scattering layer strongly reduces the undesired shift in emission color with viewing angle.Publisher PDFPeer reviewe

The role of Antarctic overwintering teams and their significance for German polar research

Germany has been operating permanently crewed research stations in Antarctica for more than 45 years. The opening of the Georg Forster Station (1976) and Georg von Neumayer Station (1981) initiated a period of continuous environmental monitoring that allowed both the former East Germany and West Germany to become contracting parties in, and achieve consultative status with, the framework of the Antarctic Treaty. This marked a milestone in German polar research. Continuous research at the Neumayer Station III, its two predecessors, and the now-dismantled former German Democratic Republic (GDR) Georg Forster Station is undertaken by teams of so-called “overwinterers”, presently with nine members, who stay at the base for longer than an entire Antarctic winter. Their long-term stay in Antarctica is defined by isolation, separation from civilization, routine work to sustain long-term scientific observations, and unique personal experiences. This article is dedicated to them and outlines their part and role in the German Antarctic research landscape