Reasoning with graph constraints

Graph constraints were introduced in the area of graph transformation, in connection with the notion of (negative) application conditions, as a form to limit the applicability of transformation rules. However, we believe that graph constraints may also play a significant role in the area of visual software modelling or in the specification and verification of semi-structured documents or websites (i.e. HTML or XML sets of documents). In this sense, after some discussion on these application areas, we concentrate on the problem of how to prove the consistency of specifications based on this kind of constraints. In particular, we present proof rules for two classes of graph constraints and show that our proof rules are sound and (refutationally) complete for each class. In addition, we study clause subsumption in this context as a form to speed up refutation.     

<Superscript>1</Superscript>H-NMR Spectroscopy as a New Tool in the Assessment of the Oxidative State in Edible Oils

Within the course of lipid peroxidation, hydroperoxides are formed as primary products. They can be used as analytical markers to assess the deterioration status of oils and fats. Here a new ¹H-NMR assay to determine the hydroperoxide amount in edible oils is presented. We were able to show that the analytical performance of the method is similar to that of the commonly used peroxide value (PV) according to Wheeler. A total of 290 edible oil samples were analyzed using both methods. For some oil varieties considerable discrepancies were found between the results obtained. In the case of black seed and olive oil, two substances could be identified that cause positive (black seed oil) and negative (olive oils) deviations from the theoretical PV expected from the NMR values.     

Preparation and characterization of organic layers for UV protection of polycarbonate

In many applications, polycarbonate surfaces need to be coated as a protection against abrasion and decomposition caused by weathering. In particular, UV radiation during exposure to sunlight degrades polycarbonate, which causes delamination of the protective layer. To avoid coating delamination, the layer itself needs an absorption edge near 400 nm. One option is to use UV-absorbing organic molecules. The aim of the present study was to develop UV-protective layer stacks containing suitable organic molecules deposited in a vacuum process, with a focus on the stability of UV-absorbing organic layers during UV irradiation and their optical properties. The commercial UV absorber Tinuvin™ 360 and the organic compound N,N′-di(naphth-1-yl)-N,N′-diphenyl-benzidine were used. Thin layers of the organic materials were evaporated thermally. The optical properties and UV stability were investigated using UV-VIS and infrared spectroscopy.     

Electron microscopy techniques for the analysis of the polymer electrolyte distribution in proton exchange membrane fuel cells

The polymer electrolyte distribution in PEMFC electrodes plays an important role for the catalyst utilization and various transport processes in the electrode. Moreover, its influence on the transport processes is not only limited to proton transport but it may also affect gas transport, electron conductivity and water management of the cell. However, experimental techniques to study the polymer electrolyte distribution are scarce. In this paper we present various approaches based on scanning electron microscopy (SEM) and transmission electron microscopy (TEM) to characterize the polymer electrolyte distribution. The methods presented include staining of the polymer electrolyte with heavy metal ions, energy dispersive X-ray (EDX) mapping and energy filtered imaging (EFI). Their use for the analysis of the polymer electrolyte distribution and electrode structure will be presented and current limitations of these techniques will be discussed.     

Verformungsbezogene mittragende Breite niedriger Verbundträger

Effective width due to deflections of composite girders with shallow height. Due to the high slenderness of composite girders with shallow height their deflection behaviour is of great importance. In many cases the cross sectional dimensions are determined by the limitation of the deflections. In contrary to high composite beams the deflection behaviour of these girders is influenced especially by the bending state and cracking behaviour of the concrete slab. Among others the deflection or the stiffness of the composite girders depend on the effective width of the slab. This article reports on investigations of the deflection behaviour and the effective width of shallow composite girders taking into account the bending state and the cracking of the concrete slab. At first it is shown that for the calculation of stresses a different value of the effective width has to be taken into account than for the calculation of deflections. On basis of extensive experimental, analytical and numerical investigations the influences on the effective width are analysed. A wide‐ranging parametric study leads to the development of an approach of the effective width for the calculation of deflections and a proposal for a quasi‐elastic calculation of the deflections of shallow composite girders. At this it turns out that the effective width due to deflections is influenced above all by the bending state of the concrete slab, its cracking behaviour, its ratio width to length, the ratio of the individual stiffness components of the composite cross section and the load level. On basis of the proposed approach for the calculation of the effective width the deflections of shallow composite girders can be determined realistically. This leads to a more economic design of composite shallow girders than until now.     

Directed evolution of an esterase from Pseudomonas fluorescens yields a mutant with excellent enantioselectivity and activity for the kinetic resolution of a chiral building block

A triple mutant of an esterase from Pseudomonas fluorescens (PFE) that was created by directed evolution exhibited high enantioselectivity (E=89) in a kinetic resolution and yielded the building block (S)-but-3-yn-2-ol. Surprisingly, a mutation close to the active site caused the formation of inclusion bodies, but remote mutations were found to be responsible for the high selectivity. Back mutations gave a variant (double mutant PFE Ile76Val/Val175Ala) that showed excellent selectivity (E=96) and activity (20 min for 50% conversion, which corresponds to 1.25 U per mg of protein).