Functional interpretations of linear and intuitionistic logic

This paper surveys several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higher-order functionals in the language of finite types. All interpretations discussed treat the exponential-free fragment of linear logic in a common way. They only differ in how much advantage one of the players has in the exponential games. We discuss how the several choices for the interpretation of the modalities correspond to various well-known functional interpretations of intuitionistic logic, including Gödel’s Dialectica interpretation and Kreisel’s modified realizability.     

Defensive Compounds and Male-Produced Sex Pheromone of the Stink Bug, Agroecus griseus

Agroecus griseus is a serious corn pest in Brazil. Contents of the dorsal abdominal glands (DAGs) in nymphs, and the metathoracic gland (MTG) in adults of this species were characterized and quantified. Compounds found were similar to those of other Pentatomidae species and included aliphatic hydrocarbons, aldehydes, oxo-alkenals, and esters. However, two compounds were found in the MTG that have not been described previously for this family. Mass spectrometry, infrared spectroscopy, and gas chromatographic analysis using coinjection with authentic standards confirmed the identities of the compounds as enantiopure (S)-2-methylbutyl acetate and 3-methyl-2-butenyl acetate. The five nymphal instars showed significantly different ratios of components, mainly between those of the first and later instars. No significant differences were detected in MTG contents between sexes. Gas chromatography (GC) analysis of aeration extracts of males and females showed the presence of a compound released exclusively by males. Gas chromatography – electroantennographic detection (GC-EAD) assays indicated that the male-specific compound is bioactive in females, suggesting the presence of an attractant pheromone. The mass spectrum and infrared data for this compound matched with methyl 2,6,10-trimethyltridecanoate, a sex pheromone component previously detected in the stink bugs, Euschistus heros and E. obscurus. The synthetic standard coeluted with the natural pheromone on two different GC stationary phases, confirming the proposed structure. Y-tube olfactometer assays showed that the synthetic standard was strongly attractive to females, and GC-EAD tests produced responses with antennae from females similar to those of the natural pheromone.     

艺术中心-Casa das Mudas，卡列塔，马德拉，葡萄牙

概念，这个艺术中心是卡列塔文化馆（Casa das Mudas）的扩建项目，它是一个独立的建筑，内部包含复杂的功能，其中有展览空间，视听室、图书室，多媒体室，商店和书店、餐吧，餐厅，管理人员办公室，艺术工厂以及停车设施。建筑的目的是建成一个具有特色的场所，它既能容纳当代艺术展览又能举办多种文化活动。     

Iterative Frequency-Domain Packet Combining Techniques for UWB Systems with Strong Interference Levels

UWB (Ultra Wideband) systems tend to suffer strong interference from signals that occupy a significant part of the transmission band. This is an important constraint, especially when the channel remains fixed for a long period of time. In order to overcome this limitation, this paper considers UWB systems employing Single-Carrier with Frequency-Domain Equalization techniques. We propose the corresponding receiver, which also allows the soft packet combining associated to different Automatic Repeat ReQuest transmission attempts, as a measure to improve the performance through the exploitation of diversity. Our techniques are able to cope with strong interference levels as well as deep fading, even for fixed channels.     

NETmix®, a new type of static mixer: Modeling,simulation, macromixing,and micromixing characterization

NETmix® is a new technology for static mixing based on a network of chambers connected by channels. The NETmix® model is the basis of a flow simulator coupled with chemical reaction used to characterize macro and micromixing in structured porous media. The chambers are modeled as perfectly mixing zones and the channels as plug flow perfect segregation zones. A segregation parameter is introduced as the ratio between the channels volume and the whole network volume. Different kinetics and reactants injection schemes can be implemented. Results show that the number of rows in the flow direction and the segregation parameter control both macro and micromixing, but the degree of micromixing is also controlled by the reactants injection scheme. The NETmix® model enables the systematic study of micromixing and macromixing for different network structures and reaction schemes, enabling the design of network structures to ensure the desired yield and selectivity. © 2009 American Institute of Chemical Engineers AIChE J, 2009     

Online Identification of Horizontal Two-Phase Flow Regimes Through Gabor Transform and Neural Network Processing

The fundamental objective of this work is the development of a specialist system capable of diagnosing different configurations of horizontal two-phase flow regimes. It is important to emphasize that this knowledge is of capital importance to the efficient operation of facilities for the manipulation and transportation of multiphase fluids, and it represents one of the most important challenges in petrochemical and thermonuclear industries today. The working principle of the proposed methodology is based on the signals acquired by a rapid response pressure gradient sensor and their decomposition into Gabor coefficients, followed by processing through a previously trained artificial neural network. The implementation is accomplished in such a way that the diagnosis operation is performed online, from the acquisition of the signal to its post-processing. An experimental campaign was conducted at the facilities of the Thermal and Fluids Engineering Laboratory (NETeF) at the University of São Paulo in order to validate the proposed methodology. Experimental pressure gradient signals were obtained for all main horizontal air-water flow regimes (stratified smooth, stratified wavy, intermittent, annular, and bubbly) produced in a 12 m long test section with an internal diameter of 30 mm. Results show that the percentage of correct flow regime diagnosis in steady-state conditions is practically 100%, provided the detection level is adequately set.     

Effects of competing environmental variables and signage on route-choices in simulated everyday and emergency wayfinding situations

This study examined the relative influence of environmental variables (corridor width and brightness) and signage (directional and exit signs), when presented in competition, on participants' route-choices in two situational variables (everyday vs. emergency), during indoor wayfinding in virtual environments. A virtual reality-based methodology was used. Thus, participants attempted to find a room (everyday situation) in a virtual hotel, followed by a fire-related emergency egress (emergency situation). Different behaviours were observed. In the everyday situation, for no-signs condition, participants choose mostly the wider and brighter corridors, suggesting a heavy reliance on the environmental affordances. Conversely, for signs condition, participants mostly complied with signage, suggesting a greater reliance on the signs rather than on the environmental cues. During emergency, without signage, reliance on environmental affordances seems to be affected by the intersection type. In the sign condition, the reliance on environmental affordances that started strong decreases along the egress route.     

Aerosol composition and source apportionment in Santiago de Chile

Santiago de Chile, São Paulo and Mexico City are Latin American urban areas that suffer from heavy air pollution. In order to study air pollution in Santiago area, an aerosol source apportionment study was designed to measure ambient aerosol composition and size distribution for two downtown sampling sites in Santiago. The aerosol monitoring stations were operated in Gotuzo and Las Condes during July and August 1996. The study employed stacked filter units (SFU) for aerosol sampling, collecting fine mode aerosol (dp<2 μm) and coarse mode aerosol (210 mass of particles smaller than 10 μm) and black carbon concentration were also measured. Particle-Induced X-ray Emission (PIXE) was used to measure the concentration of 22 trace elements at levels below 0.5 ng m⁻³. Quantitative aerosol source apportionment was performed using Absolute Principal Factor Analysis (APFA). Very high aerosol concentrations were observed (up to 400 μg/m³ PM₁₀). The main aerosol particle sources in Santiago are resuspended soil dust and traffic emissions. Coarse particles account for 63% of PM₁₀ aerosol in Gotuzo and 53% in Las Condes. A major part of this component is resuspended soil dust. In the fine fraction, resuspended soil dust accounts for 15% of fine mass, and the aerosols associated with transportation activities account for a high 64% of the fine particle mass. Sulfate particle is an important component of the aerosol in Santiago, mainly originating from gas-to-particle conversion from SO₂. In the Gotuzo site, sulfates are the highest aerosol component, accounting for 64.5% of fine mass. Direct traffic emissions are generally mixed with resuspended soil dust. It is difficult to separate the two components, because the soil dust in downtown Santiago is contaminated with Pb, Br, Cl, and other heavy metals that are also tracers for traffic emissions. Residual oil combustion is observed, with the presence of V, S and Ni. An aerosol components from industrial emissions is also present, with the presence of several heavy metals such as Zn, Cu and others. A factor with molybdenum, arsenic, copper and sulfur was observed frequently, and it results from emissions of copper smelters.     

Vacuum frying of high-quality fruit and vegetable-based snacks

Sweet potato, green beans, Tommy Atkins mango, and blue potato were fried in a vacuum frying process at a temperature of 120-130 ± 1°C. Before frying, green beans and mango slices were soaked in a 50% maltodextrine 0.15% citric acid solution. The products were also fried in a traditional (atmospheric pressure) fryer at 160-165 ± 1°C for 4 min. A 30-member consumer panel rated the sensory quality of both types of fried snacks using a 1-9 hedonic scale. Compared with traditional frying, oil content of vacuum-fried sweet-potato chips and green beans was 24% and 16% lower, respectively. Blue potato and mango chips had 6% and 5% more oil, respectively, than the traditional-fried samples. Anthocyanin (mg/100 g d.b.) of vacuum-fried blue potato chips was 60% higher. Final total carotenoids (mg/g d.b.) were higher by 18% for green beans, 19% for mango chips, and by 51% for sweet-potato chips. Sensory panelists overwhelmingly preferred (p < 0.05) the vacuum-fried products for color, texture, taste, and overall quality. Most of the products retained or accentuated their original colors when fried under vacuum. The traditional-fried products showed excessive darkening and scorching. These results support the applicability of vacuum frying technology to provide high-quality fruit and vegetable snacks.