Testing attribute grammars for circularity

Summary The problem of deciding whether a given attribute grammar is noncircular is known to require exponential time for infinitely many grammars. Here the time requirement of a simple circularity test is analyzed. It is shown that the reason for the exponential time requirement is the number of graphs in a collection formed for every nonterminal. By practical experiments it is argued that for real grammars the number is very small. Therefore it is feasible to actually perform the circularity test in practice. Different techniques to improve the implementation of the circularity test are discussed, too.     

Supporting visually impaired children with software agents in a multimodal learning environment

Visually impaired children have a great disadvantage in the modern society since their ability to use modern computer technology is limited due to inappropriate user interfaces. The aim of the work presented in this paper was to develop a multimodal software architecture and applications to support learning of visually impaired children. The software architecture is based on software agents, and has specific support for visual, auditory and haptic interaction. It has been used successfully with different groups of 7-8 year-old and 12 year-old visually impaired children. In this paper we discuss the enabling software technology and interaction techniques aimed to realize our goal and our experiences in the actual use of the system.     

A 3D model for the free-breathing direct methanol fuel cell: Methanol crossover aspects and validations with current distribution measurements

A three-dimensional model has been developed for the free-breathing direct methanol fuel cell (DMFC) assuming steady-state isothermal and single-phase conditions. Especially the MeOH crossover phenomenon is investigated and the model validations are done using previous cathodic current distribution measurements. A free convection of air is modelled in the cathode channels and diffusion and convection of liquid (anode) and gaseous species (cathode) in the porous transport layers. The MeOH flow in the membrane is described with diffusion and protonic drag. The parameter ψ$\psi$ in the model describes the MeOH oxidation rate at the cathode and it is fitted according to the measured current distributions. The model describes the behaviour of the free-breathing DMFC, when different operating parameters such as cell temperature, MeOH concentration and flow rate are varied in a wide range. The model also predicts the existence of the experimentally observed electrolytic domains, i.e. local regions of negative current densities. Altogether, the developed model is in reasonable agreement with both the measured current distributions and polarization curves. The spatial information gained of mass transfer phenomena inside the DMFC is valuable for the optimization of the DMFC operating parameters.     

A Synchronized Wireless Sensor Network for Experimental Modal Analysis in Structural Health Monitoring

Abstract: Structural health monitoring aims to provide an accurate diagnosis of the condition of civil infrastructures during their life span using data acquired by sensors. Wireless sensor networks represent a suitable monitoring technology to collect reliable information about the structure's condition, replacing visual inspections, and reducing installation and maintenance time and costs. This article introduces a time synchronized and configurable wireless sensor network for structural health monitoring enabling a highly accurate identification of the modal properties of the monitored structure. The wireless sensor nodes forming the network are equipped with a 3‐axis digital accelerometer and a temperature and humidity sensor. The implemented Medium Access Control layer time synchronization protocol (μ‐Sync) ensures a highly accurate synchronicity among the samples collected by the nodes, the absolute error being constantly below 10 μs, also when high sampling frequency (up to 1 kHz) and extended sampling periods (up to 10 minutes) are applied. The experimental results obtained on a wooden model bridge, compared with those derived from acceleration signals acquired by high‐quality wired sensors, show that the so synchronized wireless sensor nodes allow a precise identification of the natural frequencies of vibration of the monitored structure (1% maximum relative difference).     

Broadband semiconductor saturable absorber mirrors in the1.55-μm wavelength range for pulse generation in fiber lasers

Broadband low-loss semiconductor saturable absorber mirrors (SESAMs) in the 1.55-μm wavelength range were monolithically grown by solid source molecular beam epitaxy using a Burstein-Moss blue-shifted Ga_0.47In_0.53As-InP distributed Bragg reflector. Absorbers with fast and slow temporal responses were used to start up and to stabilize a stretched pulse mode-locked fiber laser. Reliable operation at a fundamental repetition rate was obtained without multiple pulse break-up with pulse energy of over 250 pJ     

Analyses of PACTEL passive safety injection experiments GDE-21 through GDE-25

In advanced light water reactors (ALWR), gravity-driven passive safety injection systems (PSIS) replace pump-driven emergency core cooling systems. PSISs often rely on small density differences and driving forces for natural circulation. In a typical loss-of-coolant accident (LOCA), interactions between different parts of the emergency core cooling system also take place. VTT Energy in Finland, in co-operation with the Lappeenranta University of Technology (LUT), performed five experiments in the PACTEL loop to study PSIS performance during SBLOCAs. The purpose of the PSIS, a passive core make-up tank (CMT), was to provide high-pressure safety injection water to the primary circuit. The purpose of these experiments was to produce data to validate the current thermal-hydraulic safety codes, and to study the effects of break size on the PSIS behaviour. In all experiments the CMT ran as planned. No problems with rapid condensation in the CMT, as seen in earlier passive safety injection experiments in PACTEL. The main reason was the new CMT arrangement, with a flow distributor (sparger) installed. The analyses of the test data supported the use of McAdams correlation for calculating the heat transfer from the hot liquid layer to the CMT wall. The use of Nusselt film condensation correlation for condensation at the CMT walls seems correct. The APROS code simulated successfully the overall primary system behaviour in the GDE-24 experiment, such as timing of the core heat-up at the end of the experiment. The code had some problems, in the simulation of thermal stratification in the CMT.