Effects of Sulfur Additive EP in Ester Coolants during Friction with CBN

A study was undertaken to investigate the effects of the EP additives during tribological tests using a CBN tool against steel. Ester oil with and without sulfur additive were used as lubricants in a tribometer. Tribochemical interactions between the S additive and steel have been investigated under boundary lubrication conditions by SEM and EDX analysis. The relative abundance of different elements on the surface of the CBN tools, which are present in the workpiece material such as Fe (iron) and Cr (chromium), suggests that adhesion occurred when the ester oil without sulfur additive was tested. Tribochemical interactions between the additive and the steel could be observed when using the ester oil containing the sulfur additive. These interactions contribute to the formation of a uniform layer on the CBN tool. This layer is composed by S (sulfur), Fe, and O (oxygen). The presence of these elements indicate that FeO (iron oxide) and FeS (iron sulfide) were formed.     

Kinetic Model of Two‐Phase Epoxidation with Ionic Liquids as Micellar Catalysts

The biphasic catalytic epoxidation of cyclooctene using the ionic liquid (IL) 1,2‐dimethyl‐3‐octyl‐imidazolium perrhenate ([OMMIM]ReO₄) as micellar catalyst and H₂O₂ as oxidant was investigated. Kinetic experiments were carried out in the intrinsic kinetic regime as proved by variation of stirring rate and temperature. Variation of catalyst concentration allowed for determination of the critical micellar concentration (CMC) of the catalytic IL. The effect of substrate concentrations on the reaction rate was also assessed. Based on the experiments, a kinetic model adapted from enzyme catalysis was proposed to account for the micellar reaction environment. The model takes into account the onset of micelle formation at the CMC. The application of the kinetic model illustrated the good agreement with the experimental data. The model will be applied to other micellar epoxidation reactions and for the design of an appropriate reaction setup in the future.     

Walking dynamics are symmetric (enough)

Many biological phenomena such as locomotion, circadian cycles and breathing are rhythmic in nature and can be modelled as rhythmic dynamical systems. Dynamical systems modelling often involves neglecting certain characteristics of a physical system as a modelling convenience. For example, human locomotion is frequently treated as symmetric about the sagittal plane. In this work, we test this assumption by examining human walking dynamics around the steady state (limit-cycle). Here, we adapt statistical cross-validation in order to examine whether there are statistically significant asymmetries and, even if so, test the consequences of assuming bilateral symmetry anyway. Indeed, we identify significant asymmetries in the dynamics of human walking, but nevertheless show that ignoring these asymmetries results in a more consistent and predictive model. In general, neglecting evident characteristics of a system can be more than a modelling convenience—it can produce a better model.     

Calculating morphology development of polymer blends in extruders on the basis of results of boundary and finite element simulations using the sigma simulation software

Models have been developed for binary, incompatible polymer blends that can be used to estimate the morphology development that takes place in drops of the second component that are dispersely embedded in the matrix. The calculations are based on the results of flow simulations using the boundary element (BEM) and finite element (FEM) methods and, more particularly, on an analysis of the stresses that act on fluid particles over their trajectories as a function of the residence time. The models formulated are converted into algorithms, which can then be implemented in the SIGMA simulation software for designing and simulating the process behavior in tightly intermeshing co‐rotating twin‐screw extruders. In this way, it is possible to estimate the morphology development that takes place in incompatible polymer systems by describing the mean drop size and the drop size distribution as a function of the material properties, the geometry of the barrel and the screw, and the process parameters.     

Model checking C source code for embedded systems

In this paper, the applicability of model checking to C code for embedded systems is studied. The paper is divided into two parts. In the first part, 13 existing model checkers for C code are detailed and evaluated for their applicability in the verification of C code for embedded systems. A case study is presented that applied CBMC as one representative C code model checker to an exemplary microcontroller program. As a consequence of this case study, we decided to develop a new model checker for source code for microcontrollers, called [mc]square. It is described in the second part of this paper. We present the architecture and the peculiarities of [mc]square, and we successfully applied [mc]square to the same microcontroller program used in the case study.     

Three-way-catalyst induced benzene formation: A precursor study

The implementation of the three-way-catalyst technology was the major step for pollutant abatement of gasoline vehicles. There are, however, situations, where the engine has to be operated at sub-stoichiometric combustion. At such fuel-rich conditions, an intense formation of benzene was observed over a Pd/Rh-based three-way-catalyst (TWC), when operating the catalyst in a critical temperature window of 600–730 °C. At least four different reaction pathways can lead to benzene formation on the catalyst, viz. (i) dealkylation of alkylbenzenes under steam reforming conditions, (ii) hydrodealkylation, (iii) aromatization of cyclohexanes, and (iv) cyclotrimerization of ethyne. Based on the engine-out exhaust composition only routes (i) and (ii) seem to be reasonable. The pre-catalyst application of 12 different alkylbenzenes indeed revealed that benzene formation is possible from all these precursors. At most up to 60% of the spiked precursors were converted to benzene. For meta- and para-substituted alkylbenzenes, a multi-step mechanism is proposed because partial dealkylation products such as toluene were formed as well. But a different, one-step mechanism is assumed for ortho-substituted alkylbenzenes, since no intermediates could be detected. No C–C-bond cleavage was observed within alkyl side chains. It is concluded that dealkylation reactions of alkylbenzenes are the major pathways leading to benzene formation in the TWC. Because fuel-rich combustion conditions have to be applied for the regeneration of deNO_X traps or certain particulate traps as well, this chemistry might also be of relevance for these exhaust gas treatment systems.