Development of mullite fibers and novel zirconia-toughened mullite fibers for high temperature applications

Polycrystalline mullite fibers and novel zirconia-toughened mullite (ZTM) fibers with average diameters between 9.7 and 10.3 μm containing 3, 7 and 15 wt.-% tetragonal ZrO₂ (ZTM3, ZTM7, ZTM15) in the final ceramic were prepared via dry spinning followed by continuous calcination and sintering in air. A shift in the formation of transient alumina phases and tetragonal ZrO₂ to higher temperatures with increasing amounts of ZrO₂ was observed. Concomitantly, the mullite formation temperature was lowered to 1229 °C for ZTM15 fibers. X-ray diffraction revealed formation of the desired tetragonal crystal structure of ZrO₂ directly from the amorphous precursor. Room temperature Weibull strengths of 1320, 1390 and 1740 MPa and Weibull moduli of 9.5, 7.1 and 9.0 were determined for mullite, ZTM3 and ZTM15 fibers, respectively. Average Young’s moduli ranged from 190 to 220 GPa. SEM images revealed crack-free fiber surfaces and compact microstructures independent of the amount of ZrO₂.     

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.

     

High-temperature behavior of oxide dispersion strengthening CoNiCrAlY

To fabricate oxide dispersion strengthened bond coatings, commercial Co–30wt-%Ni–20Cr–8Al–0?4Y powder was milled with 2% additions of Al₂O₃, Y₂O₃ or Y₂O₃ + HfO₂. Low-pressure plasma sprayed, free-standing specimens were oxidised in air + 10%H2O at 1100 °C both isothermally (100 h) and in 500, 1?h cycles. Dry air cyclic testing conducted at both ORNL and FZJ showed remarkably similar results. In general, the water vapour addition caused more scale spallation. Two LPPS specimens without oxide additions were tested for comparison. The specimens with 2%Al₂O₃ addition exhibited the best behaviour as the powder already contained 0?4%Y. Additions of 2%Y₂O₃ and especially 1%Y₂O₃ + 1%HfO₂ resulted in over-doping as evidenced by high mass gains and the formation of Y- and Hf-rich pegs. Scanning transmission electron microscopy of the isothermal specimens showed no Hf and/or Y segregation to the alumina scale grain boundaries in the over-doped specimens.     

Self-determined nudging: a system concept for human–machine interaction

Humans sometimes struggle when making decisions, because what they want to do in a specific moment can differ from what they feel they should do in general. This phenomenon can also be found in situations of human–machine interaction. In order to support humans in making decisions about their behavior, a new form of support is proposed, which is especially suitable for human–machine interaction: self-determined decision-making with nudging methods (or shortly: self-determined nudging). In this concept, firstly the aspirations of the human are assessed and then supporting mechanisms are offered to guide humans towards their self-set goals. With this procedure, machines can for example support humans in driving safely or economically, help them refraining from scheduling other appointments in their gym-timeslots or push them towards going to bed on time. While originally nudging is based on libertarian paternalism, the concept of self-determined nudging enables the person to decide which goals to get nudged towards. By different examples, it is shown that nudging ideas are already present in numerous technical applications. Then, it is demonstrated how the aspect of self-determination can enrich these approaches. Moreover, already existing as well as potential new implementations of self-determined nudging in the automotive domain are described. As an outlook, the set-up of a study on automated driving is presented.

     

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.     

Utility assessment in automated driving for cooperative human–machine systems

Cognition, Technology & Work - Currently, car manufacturers, suppliers, and IT companies are surpassing each other with ambitious plans regarding their driving automation technology. However,...     

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.     

Realizing fragment spawning and fragment growth in the parallelized Discrete Element Method (DEM) during modelling of comminution

The particle based Discrete Element Method (DEM) can be applied to examine comminution processes. In this study, a DEM framework has been extended to model particle breakage without mass loss. After a breakage event occurs, spherical particles, as often considered in the DEM, are replaced by size reduced spherical fragments. During the following time steps, the fragments grow to their desired sizes, so that the mass loss can be counterbalanced. Previously defined overlaps with adjacent unbroken and broken particles (fragments) as well as walls are allowed. The breakage model has been realized in a parallelized DEM framework because comminution processes are often attributed to large numbers of particles and by parallelization the computational time can be reduced efficiently. An oedometer (one-dimensional compression in axial direction of a confined particle bed) has been modelled to investigate the parallelization efficiency and the influence of the permitted overlaps during the growth process on the growth duration. A simplified roller mill has been considered to examine the applicability of the breakage procedure considering parallelization. The results show that parallelization reduces computational time considerably. The breakage procedure is suitable to model comminution processes involving even densely packed particle systems and is superior to existing approaches.