Assessment of different techniques for quantification of α-Al(FeMn)Si and β-AlFeSi intermetallics in AA 6xxx alloys

During homogenisation of AA 6xxx aluminium alloys, the platelike β-AlFeSi intermetallic phase will transform to a less Si-rich and more spheroidised α-Al(FeMn)Si phase which is more favourable for extrusion. In this study, several quantitative methods, which determine the relative volume fraction of α-Al(FeMn)Si and β-AlFeSi, are compared and an assessment of each method is made. The methods used are optical microscopy, scanning electron microscopy (SEM) in combination with electron dispersive X-ray (EDX) using polished samples, and X-ray diffraction (XRD) on intermetallics, extracted through selective dissolution of the Al matrix. The highest accuracy is obtained by using SEM/EDX analysis and applying two criteria.     

An Intelligent Man-Machine Dialogue System Based on AI Planning

We describe the modular architecture of a generic dialogue system that assists a user/operator in performing a task with a tool. This coaching system is named CALLIOPE after the Greek goddess of eloquence. It aims at being an active partner in an intelligent man-machine dialogue. The intelligent dimension of the coaching system is reflected by its ability to adapt to the user and the situation at hand. The CALLIOPE system contains an explicit user model and world model to situate its dialogue actions. A plan library allows it to follow loosely predetermined dialogue scenarios.The heart of the coaching system is an AI planning module, which plans a series of dialogue actions. We present a coherent set of three dialogue or speech actions that will make up the physical form of the man-machine communication.The use of the AI planning paradigm as a basis for man-machine interaction is motivated by research in various disciplines, as e.g., AI, Cognitive Science and Social Sciences. Starting from the man-man communication metaphor, we can view the thinking before speaking of a human communication partner as constructing an underlying plan which is responsible for the purposiveness, the organisation and the relevance of the communication.CALLIOPE has been fully implemented and tested on theoretical examples. At present, also three tailored versions of CALLIOPE are in operational use in different industrial application domains: operator support for remedying tasks in chemical process industry, operator support for a combined task of planning, plan execution and process control in the area of chemical process development, and thirdly decision support in production scheduling.     

Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking

A wide range of parser generators are used to generate parsers for programming languages. The grammar formalisms that come with parser generators provide different approaches for defining operator precedence. Some generators (e.g. YACC) support precedence declarations, others require the grammar to be unambiguous, thus encoding the precedence rules. Even if the grammar formalism provides precedence rules, a particular grammar might not use it. The result is grammar variants implementing the same language. For the C language, the GNU Compiler uses YACC with precedence rules, the C-Transformers uses SDF without priorities, while the SDF library does use priorities. For PHP, Zend uses YACC with precedence rules, whereas PHP-front uses SDF with priority and associativity declarations.The variance between grammars raises the question if the precedence rules of one grammar are compatible with those of another. This is usually not obvious, since some languages have complex precedence rules. Also, for some parser generators the semantics of precedence rules is defined operationally, which makes it hard to reason about their effect on the defined language. We present a method and tool for comparing the precedence rules of different grammars and parser generators. Although it is undecidable whether two grammars define the same language, this tool provides support for comparing and recovering precedence rules, which is especially useful for reliable migration of a grammar from one grammar formalism to another. We evaluate our method by the application to non-trivial mainstream programming languages, such as PHP and C.     

Advanced methods for container stacking

In this paper, we study stacking policies for containers at an automated container terminal. It is motivated by the increasing pressure on terminal performance put forward by the increase in the size of container ships. We consider several variants of category stacking, where containers can be exchanged during the loading process. The categories facilitate both stacking and online optimization of stowage. We also consider workload variations for the stacking cranes.     

A nonlinear set‐membership filter for on‐line applications

A guaranteed estimator for a general class of nonlinear systems and on‐line usage is developed and analysed. This filter bounds the linearization error, then applies a linear set‐membership filter such that stability guarantees hold for nonlinear systems. A tight bound on the linearization error is found using interval analysis. This filter recursively estimates an ellipsoidal set in which the true state lies. General assumptions include the use of bounded noises and twice continuously differentiable dynamics. When the system is uniformly observable, it is proven that the nonlinear set‐membership filter is stable. In addition, if no noise is present and the initial error is small, the error between the centre of the estimated set and the true value converges to zero. The result is an estimator which is computationally attractive and can be implemented robustly in real‐time. The proposed method is applied to a two‐state example to demonstrate the theoretical results. Copyright © 2003 John Wiley & Sons, Ltd.     

Detection of Salmonella in food,feed and veterinary samples by EU laboratories

The European Union Reference Laboratory (EURL) for Salmonella organises interlaboratory comparison studies on bacteriological detection of Salmonella in different matrices (veterinary, food and animal feed) amongst National Reference Laboratories for Salmonella of the 27 European Member States (EU-MS). The EURL also gives non-EU Member States (EU candidate countries, member countries of the European Free Trade Association (EFTA) and third countries from outside Europe) the opportunity to participate in these studies. The objective of the studies is to test the ability of the participating laboratories to detect Salmonella at different contamination levels in the various matrices. In addition a comparison is made between the prescribed method of the food and animal feed studies (ISO 6579: RVS and MKTTn) and the prescribed method of the veterinary studies (annex D of ISO 6579: MSRV).This article describes the performance of the individual laboratories in the interlaboratory comparison studies as organised by the EURL for Salmonella in the period 2004-2010.The performance of the majority of the NRLs improved during the course of the studies. Overall the NRL laboratories performed well and were able to detect Salmonella in the different tested matrices. After improvement of the samples, it was possible to define criteria for good performance in the studies organised since 2006. In the eight interlaboratory comparison studies organised in the period 2006–2010, 15 laboratories found in total 19 deviations of which eight concerned a false positive blank result. The other deviations concerned sensitivity problems (false negative results). After checking and improving several technical aspects, the underperforming participating laboratories were able to improve their performance in a follow-up study.     

Aero-elastic behavior of a flexible blade for wind turbine application: A 2D computational study

This paper presents a computational study into the static aeroelastic response of a 2D wind turbine airfoil under varying wind conditions. An efficient and accurate code that couples the X-Foil software for computation of airfoil aerodynamics and the MATLAB PDE toolbox for computation of the airfoil deformation is developed for the aero-elastic computations. The code is validated qualitatively against computational results in literature. The impact of a flexibility of the airfoil is studied for a range of design parameters including the free stream velocity, pitch angle, airfoil thickness, and airfoil camber. Static aero-elastic effects have the potential to improve lift and the lift over drag ratio at off-design wind speed conditions. Flexibility delays stall to a large pitch angle, increasing the operating range of a flexible blade airfoil. With increased thickness the airfoil deformation decrease only linearly.     

Optimisation of sulphate reduction in a methanol-fed thermophilic bioreactor

Several methods were tested to optimise sulphate reduction and minimise methane formation in thermophilic (65 degrees) expanded granular sludge bed reactors fed with a medium containing sulphate and methanol. Lowering the pH from 7.5 to 6.75 resulted in a rapid decrease of methane formation and a concomitant increase in sulphate reduction. The inhibition of methane formation was irreversible on the short-term. Lowering the COD/SO4(2-) ratio (COD: chemical oxygen demand) from 6 to 0.34 (g/g) rapidly favoured sulphate reduction over methanogenesis. Continuous addition of 2 g L(-1) 2-bromoethanesulphonate was ineffective as complete inhibition of methanogenesis was obtained only for two days. Inhibition of methanogens by sulphide at pH 7.5 was only effective when the total sulphide concentration was above 1200 mg S L(-1). For practical applications, a relatively short exposure to a slightly acidic pH in combination with operating the reactor at a volumetric methanol-COD loading rate close to the maximum volumetric sulphide-COD formation rate.