Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications

International Journal on Software Tools for Technology Transfer - We use runtime verification (RV) to check various specifications in a smart apartment. The specifications can be broken down into...     

Non-invasive Raman identification of crystalline and glassy phases in a 1781 Sèvres Royal Factory soft paste porcelain plate

A Raman study of a Sèvres soft paste (frit) porcelain plate allowed the identification of both the crystalline and amorphous phases. Cristobalite and pseudowollastonite gave main Raman signatures in the body where also tridymite, amorphous alkali silicate glass and lead arsenate apatite were detected. Na_0.4K_0.1Ca_0.5Pb₄(AsO₄)₃ lacunar apatite is identified as opacifier in blue and green overglaze enamel. Pb-Sb-reach pyrochlore (Naples Yellow) pigment was found in yellow and green overglaze enamels. The orange hue is obtained by superposing a hematite bearing red paint stroke over the yellow. These results are compared to those previously obtained by detailed OM, SEM, XRD and XRF analyses. Some of the phases identified by XRD (quartz, tridymite) are hardly detected by Raman and vice versa cristobalite was not found by XRD, most probably due to its low amount.     

Indoor heterogeneous photochemistry of furfural drives emissions of nitrous acid

People spend approximately 80% of their time indoor, making the understanding of the indoor chemistry an important task for safety. The high surface-area-to-volume ratio characteristic of indoor environments leads the semi-volatile organic compounds (sVOCs) to deposit on the surfaces. Using a long path absorption photometer (LOPAP), this work investigates the formation of nitrous acid (HONO) through the photochemistry of adsorbed nitrate anions and its enhancement by the presence of furfural. Using a high-resolution proton-transfer-reaction time-of-flight mass spectrometer (PTR-TOF-MS), this work also investigates the surface emissions of VOCs from irradiated films of furfural and a mix of furfural and nitrate anions. Among the emitted VOCs, 2(5H)-furanone/2-Butenedial was observed at high concentrations, leading to maleic anhydride formation after UV irradiation. Moreover, the addition of potassium nitrate to the film formed NO_x and HONO concentrations up to 10 ppb, which scales to ca. 4 ppb for realistic indoor conditions. This work helps to understand the high levels of HONO and NO_x measured indoors.     

High‐Pressure High‐Temperature Transparent Fixed‐Bed Reactor for Operando Gas‐Liquid Reaction Follow‐up

A 3‐MPa, 350 °C fixed‐bed reactor was designed to follow‐up gas‐liquid‐solid reactions on a millimetric size heterogeneous catalyst with Raman spectroscopy. The transparent reactor is a quartz cylinder enclosed in a Joule effect heated stainless‐steel tube. A methodology to determine how to focus the microscope for liquid and solid phase characterization is presented. The setup was validated by performing diesel hydrodesulfurization on a CoMo/alumina extrudate catalyst with a conversion very close to expected values along with the acquisition of Raman spectra of the solid catalyst showing an evolution of the catalyst phase during sulfidation.     

Impact of Functionalized Polystyrenes as the Electron Injection Layer on Gold and Aluminum Surfaces: A Combined Theoretical and Experimental Study

At metal/organic interfaces, the insertion of an organic monolayer can significantly modify the surface properties of the substrate, especially in terms of charge injection across the interface. Herein, we study the formation of an insulating monolayer of morpholine or amine-functionalized polystyrene on Al(111) and Au(111) surfaces and its impact on surface work-function and charge injection. First-principles calculations based on Density Functional Theory have been carried out and point to a significant decrease in the work-function of modified metal surfaces; this is in very good agreement with ultraviolet photoemission spectroscopy measurements performed on the Au(111) surface. In addition, a bilayer cathode, consisting of a thin film of high-work-function metal, such as Al and Au, and a layer of amine-functionalized polystyrene, was also fabricated and tested in organic light-emitting diodes. Such bilayer structures exhibit substantially enhanced efficiency when compared with controls without the functionalized polymers. Our combined theoretical and experimental investigation gives insight into how a thin layer of a commodity polymer can be used to transform rather high-work-function metals into high-performance cathodes to provide efficient electron injection.     

Regional science: back to the future?

After initiating a provocative discussion on “regional science in crisis” (Bailly and Coffey 1994; Gibson 1994; Plane 1994; Stough 1994; Anas 1994; Vickerman 1994; Casetti 1995), we now wish to present some additional thoughts on how regional scientists can simultaneously make their field more relevant scientifically and more useful for society. At a time when resources are tight, when the number of regional science students is small, when administrators are scrutinizing our budgets and our ability to generate outside money, we need to do something to regain (or is it simply to gain?) our place in the sun. In this paper, we argue that regional scientists will not reestablish their field by using classical approaches to regional analysis alone. It is essential that we look at new ways to answer questions raised by our social, economic, and political institutions. More specifically, we make some observations concerning the history of regional science, its role within universities, and its nature, as well as offering some suggestions concerning how regional scientists can attempt to improve the situation.