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.     

Hydrogen sorption properties of V85Ni15

An alloy with nominal composition V₈₅Ni₁₅ was prepared in a vacuum induction melting apparatus. The chemical analysis of the sample showed a V (Ni) content of 82.63 (15.68) at% and small contaminations by carbon and aluminum. XRD measurements confirmed that the bcc Ni-V solid solution phase is the main constituent of the sample. However, a minor impurity (approximately 6.5 wt%) due to the precipitation of the sigma NiV_3-x phase is present in the sample.Hydrogen sorption measurements extending from 150 °C up to 400 °C in a wide pressure range (up to 90 bar) were performed. Upon hydrogenation below 250 °C, one observes the subsequent presence of an α phase and of two hydride phases with different values of dehydrogenation enthalpy: ΔH_dehydr = 21 ± 1 kJ/mol for 0.15 ≤ H/M ≤ 0.30 and ΔH_dehydr = 26 ± 2 kJ/mol for 0.53 ≤ H/M ≤ 0.59. Above 300 °C, there is no evidence of the formation of hydrides and only an α phase is present up to the maximum measured composition, with a hydrogenation enthalpy ΔH_hydr = 10.0 ± 0.5 kJ/mol.     

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.     

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%.     

Influence of surface activation on the hydrogen permeation properties of PdAg cathode membrane

The influence of surface oxidation and hydrogen upload into the Pd_0.79Ag_0.21 membrane on hydrogen permeation was examined by measuring the permeation of: 1) gas-phase H₂ sent from the electrode back-side and 2) electrolytic H₂ produced on electrolyte side. It was verified that hydrogen upload into PdAg lattice has positive effect i.e. increases hydrogen permeation, while surface oxides formed during and after electrolysis cycles are the main factors acting on decrease of hydrogen permeation. Particularly, silver oxides are identified as permeation-blocking species. Consequently, several treatments were proposed aiming to reduce electrode deactivation; beside wet chemistry treatments applicable after electrolysis, the in situ electrode reactivation by ultrasonic pulses was presented.