Process optimisation in sunflower oil extraction by supercritical CO2

A continuous process for the extraction of sunflower oil using supercritical CO₂, featuring multiple extractors, one oil separator and three cascaded CO₂ recovery vessels operating at different pressures, was devised and studied. For every single equipment of the plant making up the process a mathematical model was built. Experimental tests—consisting in measurements of oil solubility in supercritical CO₂—were carried out in a laboratory-scale apparatus to characterise the behaviour of sunflower oil in the separation from the supercritical fluid. The mathematical model of the whole process was coded in the commercial gPROMS process modelling environment where both its simulation and optimisation—this latter assuming the overall oil production cost as the objective function—were carried out. The process- and economics-related results are discussed and compared with those obtained with traditional and cold-pressing extraction.     

Kinetics of discontinuous precipitation in a Zn-2.5 at % Cu alloy

The morphology and growth kinetics of discontinuous precipitation in a Zn-2.5 at % Cu alloy have been studied in the temperature range 383–583 K by optical and scanning electron microscopy. The precipitate phase has a lamellar morphology, and maintains a statistically constant interlamellar spacing under isothermal growth conditions. The interlamellar spacing increases with an increase in temperature. The isothermal growth kinetics in terms of reaction front migration rate is maximum at 523 K. The upper temperature limit for the occurrence of reaction in this alloy has been predicted to be 643 K. A detailed kinetic analysis of the experimental data using several analytical models has confirmed discontinuous precipitation in this system to be a boundary diffusion controlled reaction, and enabled the determination of the grain boundary chemical diffusivity of Cu in a Zn-rich Zn-Cu alloy in the temperature range studied. The corresponding activation energy values determined in this study, range between 65 to 86 kJ/mol^–1, which compare well with the relevant data in the literature.     

Coreference resolution: an empirical study based on SemEval-2010 shared Task 1

This paper presents an empirical evaluation of coreference resolution that covers several interrelated dimensions. The main goal is to complete the comparative analysis from the SemEval-2010 task on Coreference Resolution in Multiple Languages. To do so, the study restricts the number of languages and systems involved, but extends and deepens the analysis of the system outputs, including a more qualitative discussion. The paper compares three automatic coreference resolution systems for three languages (English, Catalan and Spanish) in four evaluation settings, and using four evaluation measures. Given that our main goal is not to provide a comparison between resolution algorithms, these are merely used as tools to shed light on the different conditions under which coreference resolution is evaluated. Although the dimensions are strongly interdependent, making it very difficult to extract general principles, the study reveals a series of interesting issues in relation to coreference resolution: the portability of systems across languages, the influence of the type and quality of input annotations, and the behavior of the scoring measures.     

Deductive verification of alternating systems

Alternating systems are models of computer programs whose behavior is governed by the actions of multiple agents with, potentially, different goals. Examples include control systems, resource schedulers, security protocols, auctions and election mechanisms. Proving properties about such systems has emerged as an important new area of study in formal verification, with the development of logical frameworks such as the alternating temporal logic ATL*. Techniques for model checking ATL* over finite-state systems have been well studied, but many important systems are infinite-state and thus their verification requires, either explicitly or implicitly, some form of deductive reasoning. This paper presents a theoretical framework for the analysis of alternating infinite-state systems. It describes models of computation, of various degrees of generality, and alternating-time logics such as ATL* and its variations. It then develops a proof system that allows to prove arbitrary ATL* properties over these infinite-state models. The proof system is shown to be complete relative to validities in the weakest possible assertion language. The paper then derives auxiliary proof rules and verification diagrams techniques and applies them to security protocols, deriving a new formal proof of fairness of a multi-party contract signing protocol where the model of the protocol and of the properties contains both game-theoretic and infinite-state (parameterized) aspects.     

High power GaN‐HEMT SPDT switches for microwave applications

In this article, the design, fabrication, and on‐wafer test of X‐Band and 2–18 GHz wideband high‐power SPDT MMIC switches in AlGaN/GaN technology are presented. The switches have demonstrated state‐of‐the‐art performance and RF fabrication yield better than 65%. Linear and power measurements for different control voltages have been reported and an explanation of the dependence of the power performances on the control voltage is given. In particular, the X‐band switch exhibits a 0.4 dB compression level at 10 GHz when driven by a 38 dBm input signal. The wideband switch shows a compression level of 1 dB at an input drive higher than 38 dBm across the entire bandwidth. © 2009 Wiley Periodicals, Inc. Int J RF and Microwave CAE, 2009.     

Preprogramming Floating Time of Liquid Marble

Non-sticking droplets wrapped with fine hydrophobic particles, namely liquid marbles, can be transported both on solid and water pool without an undesired spill of the inner encapsulated liquid. While the stimuli-responsive release of the inner liquid in the target area is proposed, the time-programmed release is not yet achieved. Herein, the hydrophobicity of nanoclay is modulated via a catalyst-free 1,4-conjugate addition reaction to form liquid marbles. This nanoclay liquid marble is robust and stable in air but collapses on the liquid pool with a specific lifetime. The lifetime of the liquid marble can be modulated over seconds to hours scale depending on the selection of chemically modulated wettability of the nanoclay. The critical mechanism of lifetime modulation is responsible for controlling the coalescence kinetics between the water pool and inner liquid by nanoclays’ high diffusion length and chemically varied water spreading potential. The NC liquid marble's programmable lifetime to ‘time-bomb’ type drug release and cascade chemical reaction is applied—without requiring any external intervention.     

PM10 remote sensing from geostationary SEVIRI and polar-orbiting MODIS sensors over the complex terrain of the European Alpine region

The subject of this study is to investigate the capability of spaceborne remote sensing data to predict ground concentrations of PM₁₀ over the European Alpine region using satellite derived Aerosol Optical Depth (AOD) from the geostationary Spinning Enhanced Visible and InfraRed Imager (SEVIRI) and the polar-orbiting MODerate resolution Imaging Spectroradiometer (MODIS). The spatial and temporal resolutions of these aerosol products (10 km and 2 measurements per day for MODIS, ∼ 25 km and observation intervals of 15 min for SEVIRI) permit an evaluation of PM estimation from space at different spatial and temporal scales. Different empirical linear relationships between coincident AOD and PM₁₀ observations are evaluated at 13 ground-based PM measurement sites, with the assumption that aerosols are vertically homogeneously distributed below the planetary Boundary Layer Height (BLH). The BLH and Relative Humidity (RH) variability are assessed, as well as their impact on the parameterization. The BLH has a strong influence on the correlation of daily and hourly time series, whilst RH effects are less clear and smaller in magnitude. Despite its lower spatial resolution and AOD accuracy, SEVIRI shows higher correlations than MODIS (r_SEV∼ 0.7, r_MOD∼ 0.6) with regard to daily averaged PM₁₀. Advantages from MODIS arise only at hourly time scales in mountainous locations but lower correlations were found for both sensors at this time scale (r∼ 0.45). Moreover, the fraction of days in 2008 with at least one satellite observation was 27% for SEVIRI and 17% for MODIS. These results suggest that the frequency of observations plays an important role in PM monitoring, while higher spatial resolution does not generally improve the PM estimation. Ground-based Sun Photometer (SP) measurements are used to validate the satellite-based AOD in the study region and to discuss the impact of aerosols' micro-physical properties in the empirical models. A lower error limit of 30 to 60% in the PM₁₀ assessment from space is estimated in the study area as a result of AOD uncertainties, variability of aerosols properties and the heterogeneity of ground measurement sites. It is concluded that SEVIRI has a similar capacity to map PM as sensors on board polar-orbiting platforms, with the advantage of a higher number of observations. However, the accuracy represents a serious limitation to the applicability of satellites for ground PM mapping, especially in mountainous areas.     

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial

We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions of the Bakery Mutual exclusion algorithm for mutual exclusion. We verify the classic two-process algorithm and simple variants, as well as an atomic parameterized version. The methods used include deductive verification rules, verification diagrams, automatic invariant generation, and finite-state model checking and abstraction.