metaSMT: focus on your application and not on solver integration

International Journal on Software Tools for Technology Transfer - Many applications from artificial intelligence and formal methods use decision procedures as their core solving engines. In this...     

Visualisierung der Partikelbewegung in einem Abweiseradsichter

In spite of its great importance for the dry classification of fine powders, the processes in deflector wheel classifiers are to a large extent unknown. Therefore, in the present work a commercial available classifier was modified to gain an optical access to the deflector wheel. For the first time, the obtained photographs enable an observation of the gas flow and the particle motion between the blades of the deflector wheel. Especially the importance of particle‐particle‐ and particle‐blade‐collisions could be shown.     

Evaluation of Gene Expression Knock-Down by Chemically and Structurally Modified Gapmer Antisense Oligonucleotides

We analyzed the effect of modified nucleotides within gapmer antisense oligonucleotides on RNase H mediated gene silencing. Additionally, short hairpins were introduced into antisense oligonucleotides as structural motifs, and their influence on biological and physicochemical properties of pre-structured gapmers was investigated for the first time. The results indicate that two LNA residues in specified positions of the gap flanking regions are sufficient and favorable for efficient knock-down of the β-actin gene. Furthermore, the introduction of other modified nucleotides, i. e. glycyl-amino-LNA−T, 2′-O-propagyluridine, polyamine functionalized uridine, and UNA, in specified positions, also increases the inhibition of β-actin expression. Importantly, the presence of hairpins within the gapmers improves their silencing properties.     

Gallium gradients in Cu(In,Ga)Se2 thin‐film solar cells

The gallium gradient in Cu(In,Ga)Se₂ (CIGS) layers, which forms during the two industrially relevant deposition routes, the sequential and co‐evaporation processes, plays a key role in the device performance of CIGS thin‐film modules. In this contribution, we present a comprehensive study on the formation, nature, and consequences of gallium gradients in CIGS solar cells. The formation of gallium gradients is analyzed in real time during a rapid selenization process by in situ X‐ray measurements. In addition, the gallium grading of a CIGS layer grown with an in‐line co‐evaporation process is analyzed by means of depth profiling with mass spectrometry. This gallium gradient of a real solar cell served as input data for device simulations. Depth‐dependent occurrence of lateral inhomogeneities on the µm scale in CIGS deposited by the co‐evaporation process was investigated by highly spatially resolved luminescence measurements on etched CIGS samples, which revealed a dependence of the optical bandgap, the quasi‐Fermi level splitting, transition levels, and the vertical gallium gradient. Transmission electron microscopy analyses of CIGS cross‐sections point to a difference in gallium content in the near surface region of neighboring grains. Migration barriers for a copper‐vacancy‐mediated indium and gallium diffusion in CuInSe₂ and CuGaSe₂ were calculated using density functional theory. The migration barrier for the In_Cu antisite in CuGaSe₂ is significantly lower compared with the Ga_Cu antisite in CuInSe₂, which is in accordance with the experimentally observed Ga gradients in CIGS layers grown by co‐evaporation and selenization processes. Copyright © 2014 John Wiley & Sons, Ltd.     

Discontinuous Precipitation and Phase Stability In Re- and Ru-Containing Nickel-Base Superalloys

The phase stability of nickel-base superalloys has been investigated using a new in-house-designed alloy series with stepwise increased additions of Re and Ru at otherwise fixed atomic fractions of alloying elements. Results presented in this study are focused on the lesser-known topologically closed packed (TCP) formation of columnar colonies or so-called discontinuous precipitation. A detailed investigation of these colonies allowed for identifying compositional changes during the growth process and for providing a three-dimensional (3-D) illustration of the TCP phases within these colonies. The results were used to compare the colony growth process with existing growth models. Furthermore, the influence of Re and Ru on the appearance of discontinuous precipitation has been investigated by means of colony width and the effect on creep properties. Larson-Miller plots are given to illustrate the creep strength of directionally solidified samples with and without TCP colonies compared with single crystalline samples free from TCP colonies.     

Spectral characterization of periglacial surfaces and geomorphological units in the Arctic Lena Delta using field spectrometry and remote sensing

Important environmental parameters in arctic periglacial landscapes (i.e. permafrost temperature, active-layer depth, soil moisture, precipitation, vegetation cover) will very likely change in a warming climate. The thawing of permafrost, especially, might cause massive landscape changes due to thermokarst and an enhanced release of greenhouse gasses from the large amounts of carbon stored in frozen deposits, resulting in positive climate-warming feedback. For the identification, mapping, and quantification of such changes on various scales up to the entire circum-Arctic, remote sensing and spatial data analysis are essential tools. In this study an extensive field-work dataset including spectral surface properties, vegetation, soils, and geomorphology was acquired in the largest Arctic delta formed by a single river, the Siberian Lena River Delta. A portable field spectrometer (ASD FieldSpec Pro FR®) was used for spectral surveys of terrain surfaces, and optical satellite data (Landsat Enhanced Thematic Mapper (ETM+), CHRIS-Proba) were used for the characterization, manual mapping, and automatic classification of typical periglacial land-cover units in the Lena Delta. Qualitative data from soils, vegetation, soil moisture, and relief units were correlated with the field-spectral data and catalogued for a wide variety of surface types. The wide range of micro- and meso-scale variations of periglacial surface features in the delta results in distinctive spectral characteristics for different land-cover units. The three main delta terraces could also be spectrally separated and characterized. The present dataset provides a basis for further spectral data acquisitions in the Lena Delta and for comparisons with periglacial surfaces from other regions.     

Synthesis and thermal decomposition of potassium tetraamidoboranealuminate,K[Al(NH2BH3)4]

A new potassium tetraamidoboranealuminate, K[Al(NH₂BH₃)₄], has been synthesized by a mechanochemical reaction between KAlH₄ and NH₃BH₃. The compound, K[Al(NH₂BH₃)₄], crystallizes in a triclinic unit cell with space group symmetry P?1. The crystal structure consists of [K(NH₂BH₃)₆]^5? octahedra which facilitate the bridging between K⁺ in 1D chains, while also bridging K⁺ to Al³⁺ to connect the 1D chains in a 3D network. Thermal analysis reveals that K[Al(NH₂BH₃)₄] decomposes in two exothermic steps at T ～ 94 and 138 °C and releases primarily hydrogen. The total gas release amounts to ～6.0 wt% H₂. The decomposition products are investigated ex situ by powder X-ray diffraction, infrared spectroscopy, and ¹¹B and ²⁷Al NMR and identified as KBH₄ and amorphous phases, possibly BN₃, N₂BH, and/or NBH₂ whereas aluminum is found in four-, five-, and six-fold coordination. Unfortunately, the decomposed sample shows no hydrogen absorption at T = 260 °C and p(H₂) = 110 bar.