A Sensitivity-Based Design Space Exploration Methodology for Embedded Systems

In this paper, we propose a system-level design methodology for the efficient exploration of the architectural parameters of the memory sub-systems, from the energy-delay joint perspective. The aim is to find the best configuration of the memory hierarchy without performing the exhaustive analysis of the parameters space. The target system architecture includes the processor, separated instruction and data caches, the main memory, and the system buses. To achieve a fast convergence toward the near-optimal configuration, the proposed methodology adopts an iterative local-search algorithm based on the sensitivity analysis of the cost function with respect to the tuning parameters of the memory sub-system architecture. The exploration strategy is based on the Energy-Delay Product (EDP) metric taking into consideration both performance and energy constraints. The effectiveness of the proposed methodology has been demonstrated through the design space exploration of a real-world case study: the optimization of the memory hierarchy of a MicroSPARC2-based system executing the set of Mediabench benchmarks for multimedia applications. Experimental results have shown an optimization speedup of 2 orders of magnitude with respect to the full search approach, while the near-optimal system-level configuration is characterized by a distance from the optimal full search configuration in the range of 2%.     

On the impact of physical layer awareness on scheduling and resource allocation in broadband multicellular IEEE 802.16 systems [Radio Resource Management and Protocol Engineering for IEEE 802.16]

Multicellular networks based on the IEEE 802.16 standard appear to be very promising candidates to provide end users with broadband wireless access. However, they also pose interesting challenges in terms of radio resource management, where several design choices are not specified in the standard, intentionally left open to implementors. For this reason, we focus in this article on scheduling and resource allocation, and investigate how they could operate in a cross-layer fashion. In particular, we describe the principles of joint scheduling and resource allocation for IEEE 802.16 operating in AMC mode, and discuss the critical role played by physical layer considerations, especially intercell interference estimation and channel state awareness, in the obtained performance. This leads to identifying key open issues and possible general solutions     

XML schema, tree logic and sheaves automata

XML documents may be roughly described as unranked, ordered trees and it is therefore natural to use tree automata to process or validate them. This idea has already been successfully applied in the context of Document Type Definition (DTD), the simplest standard for defining document validity, but additional work is needed to take into account XML Schema, a more advanced standard, for which regular tree automata are not satisfactory. In this paper, we introduce Sheaves Logic (SL), a new tree logic that extends the syntax of the – recursion-free fragment of – W3C XML Schema Definition Language (WXS). Then, we define a new class of automata for unranked trees that provides decision procedures for the basic questions about SL: model-checking; satisfiability; entailment. The same class of automata is also used to answer basic questions about WXS, including recursive schemas: decidability of type-checking documents; testing the emptiness of schemas; testing that a schema subsumes another one.This work was partially supported by the French government research grant ACI TRALALA and by IST Global Computing Profundis.     

The multimod application framework: a rapid application development tool for computer aided medicine

This paper describes a new application framework (OpenMAF) for rapid development of multimodal applications in computer-aided medicine. MAF applications are multimodal in data, in representation, and in interaction. The framework supports almost any type of biomedical data, including DICOM datasets, motion-capture recordings, or data from computer simulations (e.g. finite element modeling). The interactive visualization approach (multimodal display) helps the user interpret complex datasets, providing multiple representations of the same data. In addition, the framework allows multimodal interaction by supporting the simultaneous use of different input-output devices like 3D trackers, stereoscopic displays, haptics hardware and speech recognition/synthesis systems. The Framework has been designed to run smoothly even on limited power computers, but it can take advantage of all hardware capabilities. The Framework is based on a collection of portable libraries and it can be compiled on any platform that supports OpenGL, including Windows, MacOS X and any flavor of Unix/linux.     

Reforming of olive mill wastewater through a Pd-membrane reactor

This work investigates the exploitation of olive mill wastewater (OMW) for producing hydrogen in a membrane reformer.     

Evaluation of tritium diffusion through the Neutral Beam Injector calorimeter panel

The Neutral Beam Test Facility (NBTF) to be realized in Padoa will test the Neutral Beam Injection (NBI), one of the Heating and Current Drive Systems foreseen for ITER. The NBI is based on the acceleration of hydrogen or deuterium negative ions up to 1 MeV. This work has been aimed at assessing the tritium release from the NBTF in order to provide data for the safety analysis. In particular, the diffusion of the tritium through the neutral beam target material (the CuCrZr alloy calorimeter panels) has been assessed by using literature data of the diffusion coefficient. The tritium generated inside the calorimeter panels moves into both the vacuum and water side: the tritium diffusion flux has been evaluated during the beam-on (200 °C) and the beam-off (20 °C) phases of the NBTF experiments consisting of an interim campaign and a final test. The penetration depth of the tritium through the 2 mm thick CuCrZr alloy material has been also evaluated by using a Monte-Carlo code. As main result, the assessed diffusion flux of tritium during both the beam-on and the beam-off phases are modest. In fact, at the end of the interim campaign (100 days), about the 96% of the all generated tritium (626.5 MBq) exits the calorimeter while the residual tritium inventory (25 MBq) leaves the copper alloy with a diffusion time of about 1 month. At the end of the final test (14 days) about the 99% of the total generated tritium (1.023 × 10⁴ MBq) leaves the copper alloy and the remaining tritium inventory (152.2 MBq) is released by about 32 days. In both the interim campaign and the final test, more than the 99% of the total tritium is transferred into the vacuum side of the calorimeter panel while negligible tritium amounts enter the cooling water system thus showing a very low impact on the environment.     

Advanced oxidation and adsorption technologies for organic micropollutant removal from lake water used as drinking-water supply

The goal of this research is to evaluate the effectiveness of innovative drinking-water treatments designed to remove toxic and mutagenic organic micropollutants from lake waters used for human consumption. The widely used adsorption on granular activated carbon (GAC) filter technique was compared with the more innovative resin column techniques (XAD4 and Ambersorb-563) and with the advanced oxidation processes (AOPs) with UV/O3 and UV/O3/ H2O2. The water samples, collected from lake Como, treated with these techniques were analysed for mutagenic activity using Ames assay, toxicity using bioluminescent bacteria and organic compound were characterized using the GC-MS technique. The results found a decrease of the mutagenic and toxic activities of the lake water after adsorption on GAC and resins, while the AOP process generally increased these parameters. The absence of mutagenic activity was found only when a GAC adsorption step was performed in addition to the AOP process. Similar results were obtained by the toxicological and chemical analyses. In addition, the GC-MS analysis identified some possible mutagenic agents.