The stability of refractory oxides in sodium-rich environments

The infiltration of molten electrolyte and sodium is known to deteriorate the refractory in aluminum electrolysis. The mineralogical changes due to reactions with molten fluorides have previously been described throughly, while the effect of sodium has not been considered in detail. This paper presents an experimental study of the chemical stability of some refractory materials in sodium-rich environments. The materials were exposed to sodium vapor at 800°C for 4 hours. The mineralogical transformations and deterioration of the materials due to reactions with sodium were analyzed by x-ray diffraction and optical and electron microscopy.     

Plasma Electrolytic Oxidation of Arc-Sprayed Aluminum Coatings

Different posttreatment methods, such as heat treatment, mechanical processing, sealing, etc., are known to be capable to improve microstructure and exploitation properties of thermal spray coatings. In this work, a plasma electrolytic oxidation of aluminum coatings obtained by arc spraying on aluminum and carbon steel substrates is carried out. Microstructure and properties of oxidized layers formed on sprayed coating as well as on bulk material are investigated. Oxidation is performed in electrolyte containing KOH and liquid glass under different process parameters. It is shown that thick uniform oxidized layers can be formed on arc-sprayed aluminum coatings as well as on solid material. Distribution of alloying elements and phase composition of obtained layers are investigated. A significant improvement of wear resistance of treated layers in two types of abrasive wear conditions is observed. This article is an invited paper selected from presentations at the 2007 International Thermal Spray Conference and has been expanded from the original presentation. It is simultaneously published in Global Coating Solutions, Proceedings of the 2007 International Thermal Spray Conference, Beijing, China, May 14-16, 2007, Basil R. Marple, Margaret M. Hyland, Yuk-Chiu Lau, Chang-Jiu Li, Rogerio S. Lima, and Ghislain Montavon, Ed., ASM International, Materials Park, OH, 2007.     

Impact of virtual atmospherics and functional qualities on the online gambler's experience

This study empirically tests a stimulus–organism–response (S–O–R) structural model that proposes that an online casino's atmospheric cues and functional qualities influence individuals' affective and cognitive responses, which in turn impact consumer behavioural intentions. Using self-reported data from a primarily US-based sample, analysed elements of the online gambling site stimulus included high and low task-relevant cues, financial trust, and gambling value. Demographic characteristics were found to moderate the relationship between the stimulus and internal satisfaction, with demographic group differences found among all stimulus constructs. Results emphasise the significant role that atmospherics and functional qualities play in generating positive behaviours from online gamblers, with additional implications in marketplace competitiveness and in responsible gambling practices.     

Unpopuläre E-Mail-Verschlüsselung – Auflösung des Henne-Ei-Problems

E-Mail-Verschlüsselung könnte längst flächendeckend Verwendung finden. Der Beitrag gibt eine Antwort auf die Frage, warum dies nicht der Fall ist–und macht Vorschläge, was getan werden sollte, um dies zu ändern.     

Real-time control of sewer systems using turbidity measurements

Real-time control (RTC) of urban drainage systems has been proven useful as a means to reduce pollution by combined sewer overflow discharges. So far, RTC has been investigated mainly with a sole focus on water quantity aspects. However, as measurement techniques for pollution of wastewater are advancing, pollution-based RTC might be of increasing interest. For example, turbidity data sets from an extensive measurement programme in two Paris catchments allow a detailed investigation of the benefits of using pollution-based data for RTC. This paper exemplifies this, comparing pollution-based RTC with flow-based RTC. Results suggest that pollution-based RTC indeed has some potential, particularly when measurements of water-quality characteristics are readily available.     

Real-Time Global Illumination for VR Applications

Real-time global illumination in VR systems enhances scene realism by incorporating soft shadows, reflections of objects in the scene, and color bleeding. The Virtual Light Field (VLF) method enables real-time global illumination rendering in VR. The VLF has been integrated with the Extreme VR system for real-time GPU-based rendering in a Cave Automatic Virtual Environment.     

An algebra of hybrid systems

Hybrid systems are heterogeneous systems characterised by the interaction of discrete and continuous dynamics. We present a trajectory-based algebraic model for describing hybrid systems; the trajectories used are closely related to streams. The algebra is based on left quantales and left semirings and provides a new application for these algebraic structures. We show that hybrid automata, which are probably the standard tool for describing hybrid systems, can conveniently be embedded into our algebra. Moreover we point out some important advantages of the algebraic approach. In particular, we show how to handle Zeno effects, which are excluded by most other authors. The development of the theory is illustrated by a running example and a larger case study.     

Tool-supported enhancement of diagnosis in model-driven verification

We show on a case study from an autonomous aerospace context how to apply a game-based model-checking approach as a powerful technique for the verification, diagnosis, and adaptation of system behaviors based on temporal properties. This work is part of our contribution within the SHADOWS project, where we provide a number of enabling technologies for model-driven self-healing. We propose here to use GEAR, a game-based model checker, as a user-friendly tool that can offer automatic proofs of critical properties of such systems. Although it is a model checker for the full modal μ-calculus, it also supports derived, more user-oriented logics. With GEAR, designers and engineers can interactively investigate automatically generated winning strategies for the games, by this way exploring the connection between the property, the system, and the proof. This work has been partially supported by the European Union Specific Targeted Research Project SHADOWS (IST-2006-35157), exploring a Self-Healing Approach to Designing cOmplex softWare Systems. The project’s web page is at . This article is an extended version of Renner et al. [18] presented at ISoLA 2007, Poitiers, December 2007.