Chloride emission from glass melting furnaces

By means of chloride measurements in input and output flows of glass melting furnaces, chloride balances have been established. The measurements were carried out on industrial container and flat glass furnaces. The balances show a good consistence. It has been found that from the chloride in the feed of the furnace roughly the first 110 mg Cl-/kg molten glass wih be incorporated into the glass. The rest will be divided between flue gas and glass (50 %/50 %), however, this depends slightly on the concentration of chloride in the feed, the amount of recycled cullet and the Na2O content in the glass composition. By formulating a model with the three mentioned factors the amount of incorporated chloride can be accurately predicted. The model presented is an empirical one and is applicable to soda-lime-silica glasses. It is valid between the limits: chloride in the feed 160 to 560 mg Cl-/kg molten glass, 0.15 to 0.80 kg cullet/kg molten glass and 0.11 to 0.16 kg Na2O/kg molten glass. The chloride concentration in the flue gas is given by the difference between the chloride content in the feed and in the glass divided by the gas volume per quantity of molten glass. This volume depends on the energy economy of the furnace, the raw materials and the amount of recycled glass used. European emission standards for HCl are expressed per volume of flue gas and, therefore, do not stimulate a more efficient use of energy and of recycled raw materials. This can be changed by providing emission standards which are basded on the quantity of molten glass rather than on the released flue gas volume

Tools and verification

This chapter presents different tools that have been developed inside the Sensoria project. Sensoria studied qualitative analysis techniques for verifying properties of service implementations with respect to their formal specifications. The tools presented in this chapter have been developed to carry out the analysis in an automated, or semi-automated, way. We present four different tools, all developed during the Sensoria project, exploiting new techniques and calculi from the Sensoria project itself

A state/event-based model-checking approach for the analysis of abstract system properties.

AbstractWe present the UMC framework for the formal analysis of concurrent systems specified by collections of UML state machines. The formal model of a system is given by a doubly labelled transition system, and the logic used to specify its properties is the state-based and event-based logic UCTL. UMC is an on-the-fly analysis framework which allows the user to interactively explore a UML model, to visualize abstract behavioural slices of it and to perform local model checking of UCTL formulae. An automotive scenario from the service-oriented computing (SOC) domain is used as case study to illustrate our approach

Teaching reading strategies in history lessons:A micro-level analysis of professional development training and its practical challenges

Reading comprehension is an important skill in secondary education, yet many history teachers find it difficult to provide adequate reading strategy instruction. In this study, we designed a digital learning environment to support teachers’ instruction of reading strategies based on student data. We provided history teachers in the experimental conditions with a visualisation of student performance data. Additionally, these teachers received professional development (PD) training and a guiding manual on how to translate these data into structured, explicit reading strategy instruction. Teachers in the control condition were only provided with basic data. We investigated teachers’ personal experiences through micro-level analysis of qualitative interview data. Our results show that teachers in the experimental condition improved the variation of their strategy instruction and used modelling behaviour more often after the PD training. However, we also identified multiple contextual implementation barriers that provided us with important suggestions for future practice-oriented educational research

Relationships between adolescent students’ reading skills, historical content knowledge and historical reasoning ability

The ability to apply various reading skills is an important prerequisite to comprehend expository texts commonly found in history textbooks, but it is unclear which specific skills contribute to students’ historical content knowledge and historical reasoning abilities. This study used a digital learning environment (DLE) to measure and support lower secondary students’ subject-specific reading skills, and explored the relationships with students’ historical content knowledge and historical reasoning ability. Results showed that subject-specific reading skills, such as explaining historical events, correlated significantly with both historical content knowledge and historical reasoning ability, but not all skills were significant predictors. These findings indicate that to promote the advanced practice of historical reasoning, history teachers should pay attention to students’ reading comprehension skills

Method for coregistration of optical measurements of breast tissue with histopathology : the importance of accounting for tissue deformations

For the validation of optical diagnostic technologies, experimental results need to be benchmarked against the gold standard. Currently, the gold standard for tissue characterization is assessment of hematoxylin and eosin (H&E)-stained sections by a pathologist. When processing tissue into H&E sections, the shape of the tissue deforms with respect to the initial shape when it was optically measured. We demonstrate the importance of accounting for these tissue deformations when correlating optical measurement with routinely acquired histopathology. We propose a method to register the tissue in the H&E sections to the optical measurements, which corrects for these tissue deformations. We compare the registered H&E sections to H&E sections that were registered with an algorithm that does not account for tissue deformations by evaluating both the shape and the composition of the tissue and using microcomputer tomography data as an independent measure. The proposed method, which did account for tissue deformations, was more accurate than the method that did not account for tissue deformations. These results emphasize the need for a registration method that accounts for tissue deformations, such as the method presented in this study, which can aid in validating optical techniques for clinical use. (C) The Authors. Published by SPIE under a Creative Commons Attribution 4.0 Unported License