Locales: A Module System for Mathematical Theories

Locales are a module system for managing theory hierarchies in a theorem prover through theory interpretation. They are available for the theorem prover Isabelle. In this paper, their semantics is defined in terms of local theories and morphisms. Locales aim at providing flexible means of extension and reuse. Theory modules (which are called locales) may be extended by definitions and theorems. Interpretation to Isabelle’s global theories and proof contexts is possible via morphisms. Even the locale hierarchy may be changed if declared relations between locales do not adequately reflect logical relations, which are implied by the locales’ specifications. By discussing their design and relating it to more commonly known structuring mechanisms of programming languages and provers, locales are made accessible to a wider audience beyond the users of Isabelle. The discussed mechanisms include ML-style functors, type classes and mixins (the latter are found in modern object-oriented languages).     

Improved γ-alumina support based pseudo-boehmite shaped by micro-extrusion process for oxygen carrier support application

γ-Alumina extrudates for chemical-looping combustion in fluidized bed reactors were shaped by varying acetic acid concentrations between 0.07 and 3.76 M. Influence of pseudo-boehmite peptization on structural properties, microstructure, chemical phases and attrition resistance was determined. With addition of acetic acid, the d₉₀ of boehmite agglomerates after 1 h kneading decreased from 134 to 40 μm at pH 4. Due to this, the extrusion diameter was reduced from 1500 to 200 μm, as well as median pore radii (from 30.1 to 5.3 nm). Porosity was about 70%. Addition of more than 1.87 M acid lead to a slight increase in mesopore sizes caused by some pore blocking caused by the formation of aluminium acetate salts. A small micropore surface was determined with t-layer model from Harkins and Jura. Higher attrition resistance was observed for samples peptized with lower acid concentration because of the closer contact between particles after decomposition.     

Properties and microstructure of copper-alloyed solid solution-strengthened ductile iron

Solid solution-strengthened ductile iron (DI) exhibits outstanding mechanical properties due to the high silicon content. The strengthening by silicon addition is limited since additions above 4.3?wt-% lead to embrittlement. For a further improvement of mechanical properties, other alloying elements need to be considered. In the present work, the effect of various copper additions on the microstructure and the mechanical properties of solid solution-strengthened DI were investigated. The results show that no appreciable strengthening can be achieved by copper addition without the formation of pearlite in the matrix. The pearlite content increases considerably for Cu-additions above 0.23?wt-% and is independent of the cooling rate for the cooling conditions analysed.     

Phase Transformations and Grain Growth in β-stabilized TiAl Alloys

Solid-state phase transformations and grain growth of an intermetallic γ-TiAl alloy were investigated in-situ using high-temperature laser scanning confocal microscopy (HTLSCM). During isothermal annealing in the single β-phase region, significant grain coarsening was observed. On cooling beneath the β-transus temperature with different rates, a CCT diagram was evaluated for the initiation of β to α phase transformation and changes in the morphology were observed.     

Blast furnace slags as functional fillers on rheological,thermal, and mechanical behavior of thermoplastics

Blast furnace slags (BFS) is a secondary byproduct of iron industry, which has a combination of acidic and basic oxides and show a complex, multiphase structure. If appropriately tailored, BFS could be an effective functional filler, improving the property profile of thermoplastics such as polypropylene (PP) and polystyrene (PS). As a raw material, the proposed filler may introduce both economic and ecological advantages, as it is considered an inexpensive secondary product rather than a natural resource. The current study aims at investigating the effect of incorporating BFS as a micro‐sized filler on the rheological, thermal, and mechanical behavior of PP and PS. BFS types in this study are air‐cooled, crystalline, and amorphous, grounded types. Both types are ground into 71, 40, and 20 μm batches and introduced in 10, 20, and 30 weight fractions via melt kneading. Mixtures are then formed into 4‐mm and 2‐mm thick plates via compression molding. Slight increase in rheological factors is observed with increasing filler loading. BFS hinders the crystallization of PP, resulting in slight increase of crystallization temperatures (T_c) and lowering of crystallization enthalpy (ΔH_c). No significant effect of filler on transition temperatures (T_g) is reported. Mechanically, BFS increases the tensile modulus of PP, but decreases its strength. For PS formulations, a modest toughening effect is observed by slag filler. © 2015 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2016 , 133, 43021.     

Investigation of the Sharkskin melt instability using optical Fourier analysis

An optical method allowing the characterization of melt flow instabilities typically occurring during an extrusion process of polymers and polymer compounds is presented. It is based on a camera-acquired image of the extruded compound with a reference length scale. Application of image processing and transformation of the calibrated image to the frequency domain yields the magnitude spectrum of the instability. The effectiveness of the before mentioned approach is shown on Styrene-butadiene rubber (SBR) compounds, covering a wide range of silica filler content, extruded through a Göttfert capillary rheometer. The results of the image-based analysis are compared with the results from the sharkskin option, a series of highly sensitive pressure transducers installed inside the rheometer. A simplified version of the code used to produce the optical analysis results is included as supplementary material. © 2019 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2020 , 137, 48806.