Mg-bearing quartz solid solutions as structural intermediates between low and high quartz

Glass powder samples of cordierite composition (doped with 8 mol% TiO₂) were heat-treated to produce a series of increasingly SiO₂-enriched Mg-bearing quartz solid solutions (Qss). The obtained materials were then analyzed by X-ray diffraction: Rietveld structural refinements revealed that Mg-bearing Qss phases possess trigonal symmetry and a compositionally dependent intermediate structural arrangement between those of low and high quartz. High-temperature diffraction measurements were performed up to 700°C to characterize the thermal expansion behavior of the crystals. At SiO₂-rich compositions, a reversible high-to-intermediate inversion of the quartz structure is observed, which shifts with increasing stuffing to lower temperatures than the conventional 573°C for pure quartz. Similarities and differences to the better-established Li-bearing Qss are discussed in the text.     

Catalytic Activity of Ceramic Honeycombs in the Exhaust Gas Oxidation of a Waste Treatment Plant

The activity of ceramic honeycombs with varying material composition and degree of utilization is compared on a suitable model gas in a test plant. The tested honeycombs are standard products that have not been surface‐treated in any way. A propane‐air mixture was fed to the test plant and then oxidized in a high‐temperature furnace. The analysis of the conversion rate over the reaction temperature showed remarkable differences in activity. The honeycomb with the most promising results was further investigated with the exhaust gas from the drying process of a waste treatment plant. Finally, the activity of this honeycomb was assessed in a large‐scale trial in an existing running regenerative thermal oxidizer.     

Stray current-induced corrosion in cathodic protection installations of steel-reinforced concrete structures: FEM study of the critical parameters

A wide range of parameters was investigated by numerical calculations concerning their impact on DC stray current corrosion of reinforced concrete (RC) structures. A simplified model geometry was used to extract the relevant parameters and their interaction in terms of stray current-affected structures. This study mainly focuses on RC structures that are fitted with cathodic protection installations. The findings reveal a complex interaction between the investigated parameters. The possible relevance of further parameters, which is not the subject of this study, was emphasised.     

On the Room-Temperature Mechanical Properties of an Ion-Irradiated TiZrNbHfTa Refractory High Entropy Alloy

JOM - Refractory high-entropy alloys (RHEAs) are potential candidate materials for use in next-generation nuclear reactors due to their excellent mechanical performance at high temperatures. Here,...     

Efficient monitoring of hyperproperties using prefix trees

Hyperproperties, such as non-interference and observational determinism, relate multiple computation traces with each other and are thus not monitorable by tools that consider computations in isolation. We present the monitoring approach implemented in the latest version of \(\text {RVHyper}\), a runtime verification tool for hyperproperties. The input to the tool are specifications given in the temporal logic \(\text {HyperLTL}\), which extends linear-time temporal logic (LTL) with trace quantifiers and trace variables. \(\text {RVHyper}\) processes execution traces sequentially until a violation of the specification is detected. In this case, a counterexample, in the form of a set of traces, is returned. \(\text {RVHyper}\) employs a range of optimizations: a preprocessing analysis of the specification and a procedure that minimizes the traces that need to be stored during the monitoring process. In this article, we introduce a novel trace storage technique that arranges the traces in a tree-like structure to exploit partially equal traces. We evaluate \(\text {RVHyper}\) on existing benchmarks on secure information flow control, error correcting codes, and symmetry in hardware designs. As an example application outside of security, we show how \(\text {RVHyper}\) can be used to detect spurious dependencies in hardware designs.

     

Design and Characterization of a New pVII Combinatorial Phage Display Peptide Library for Protease Substrate Mining Using Factor VII Activating Protease (FSAP) as Model

We describe a novel, easy and efficient combinatorial phage display peptide substrate-mining method to map the substrate specificity of proteases. The peptide library is displayed on the pVII capsid of the M13 bacteriophage, which renders pIII necessary for infectivity and efficient retrieval, in an unmodified state. As capture module, the 3XFLAG was chosen due to its very high binding efficiency to anti-FLAG mAbs and its independency of any post-translational modification. This library was tested with Factor-VII activating protease (WT-FSAP) and its single-nucleotide polymorphism variant Marburg-I (MI)-FSAP. The WT-FSAP results confirmed the previously reported Arg/Lys centered FSAP cleavage site consensus as dominant, as well as reinforcing MI-FSAP as a loss-of-function mutant. Surprisingly, rare substrate clones devoid of basic amino acids were also identified. Indeed one of these peptides was cleaved as free peptide, thus suggesting a broader range of WT-FSAP substrates than previously anticipated.     

Shape Factor Effect on Inclusion Sedimentation in Aluminum Melts

Metallurgical and Materials Transactions B - The quality requirements of aluminum products are steadily increasing, and the presence of non-metallic inclusions have a large impact on the quality of...     

Chemotherapy response of pancreatic cancer by diffusion-weighted imaging (DWI) and intravoxel incoherent motion DWI (IVIM-DWI) in an orthotopic mouse model

Magnetic Resonance Materials in Physics, Biology and Medicine - To investigate the value of using diffusion-weighted imaging (DWI) and intravoxel incoherent motion DWI (IVIM-DWI) to assess the...     

Availability analysis and maintainability optimization of an offshore wind farm using high-level Petri nets

Forschung im Ingenieurwesen - When evaluating wind turbines, their availability as well as the operational costs are very important parameters. One factor to achieve high availabilities is the...