n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

The recent developments in virtualization change completely the panorama of the Hardware/OS deployment. New bottlenecks arise in the deployment of application stacks, where IT industry will spend most of the time to assure automation. VIRTU tool aims at managing, configuring and testing distributed ground applications of space systems on a virtualized environment, based on open tools and cross virtualization support. This tool is a spin-off of previous activities performed by the European Space Operations Center (ESOC) and thus it covers the original needs from the ground data systems infrastructure division of the European Space Agency. VIRTU is a testing oriented solution. Its ability to group several virtual machines in an assembly provides the means to easily deploy a full testing infrastructure, including the client/server relationships. The possibility of making on-demand request of the testing infrastructure will provide some infrastructure optimizations, specially having in mind that ESA maintains Ground Control software of various missions, and each mission cam potentially have a different set of System baselines and last up to 15 years. The matrix array of supported system combinations is therefore enormous and any improvement on the process provides substantial benefits to ESA, by reducing the effort and schedule of each maintenance activity. The ESOC’s case study focuses on the development and validation activities of infrastructure or mission Ground Systems solutions. The Ground Systems solutions are typically composed of distributed systems that could take advantage of virtualized environments for testing purposes. Virtualization is used as way to optimize maintenance for tasks such as testing new releases and patches, test different system’s configurations and replicate tests. The main benefits identified are related to deployment test environment and the possibility to have on-demand infrastructure.

n/a

n/a

n/a

n/a

n/a

n/a

The inductive fault current limiter is less compact and harder to scale to high voltage networks than the resistive one. Nevertheless, its simple construction and mechanical robustness make it attractive in low voltage grids. Thus, it might be an enabling technology for the advent of microgrids, low voltage networks with dispersed generation, controllable loads and energy storage. A new methodology for reverse engineering of inductive fault current limiters based on the independent analysis of iron cores and HTS cylinders is presented in this paper. Their electromagnetic characteristics are used to predict the devices' hysteresis loops and consequently their dynamic behavior. Previous models based on the separate analysis of the limiters' components were already derived, e.g. in transformer like equivalent models. Nevertheless, the assumptions usually made may limit these models' application, as shown in the paper. The proposed methodology obviates these limitations. Results are validated through simulations.

Some performance issues of transactional memory are caused by unnecessary abort situations where non serializable and yet non conflicting transactions are scheduled to execute concurrently. Smartly relaxing the isolation properties of transactions may overcome these issues and attain considerable performance improvements. However, it is known that relaxing isolation restrictions may lead to runtime anomalies. In some situations, like database management systems, developers may choose that compromise, hence avoiding anomalies explicitly. Memory transactions protect the state of the program, therefore execution anomalies may have more severe consequences in the semantics of programs. So, the compromise between a relaxed isolation strategy and enforcing the necessary program correctness is harder to setup. The solution we devise is to statically analyse programs to detect the kind of anomalies that emerge under snapshot isolation. Our approach allows a compiler to either warn the developer about the possible snapshot isolation anomalies in a given program, or possibly inform automatic correctness strategies to ensure Serializability.

Programs containing concurrency anomalies will most probably exhibit harmful erroneous and unpredictable behaviors. To ensure program correctness, the sources of those anomalies must be located and corrected. Concurrency anomalies in Transactional Memory (TM) programs should also be diagnosed and fixed. In this paper we propose a framework to deal with two different categories of concurrency anomalies in TM. First, we will address low-level TM anomalies, also called dataraces, which arise from executing programs in weak isolation. Secondly, we will address high-level TM anomalies, also called high-level dataraces, bringing the programmer’s attention to pairs of transactions that the programmer has misspecified, and should have been combined into a single transaction. Our framework was validated against a set of programs with well known anomalies and demonstrated high accuracy and effectiveness, thus contributing for improving the correctness of TM programs

This study deals with SiO2-P2O5 powders obtained by sol-gel process, starting from tetraethoxysilane (TEOS) as precursor for SiO2 and either triethylphosphate (TEP) or phosphoric acid (H3PO4) as precursors for P2O5. In the case of samples prepared with H3PO4, TG-DTA data showed an accentuated weight loss associated to an endothermic effect up to about 140 °C, specific for the evaporation of water and ethylic alcohol from structural pores, and also due to alkyl-amines evaporation. Sol-gel samples prepared with TEP exhibited different thermal effects, depending on the type of atmosphere used in the experiments, i.e. argon or air. XRD analysis revealed that annealed sol-gel samples prepared with H3PO4 showed specific peaks for silicophosphate compounds such as Si3(PO4)4, Si2P2O9, and SiP2O7. XRD results for annealed sol-gel samples prepared with TEP indicated mainly the presence of a vitreous (amorphous) phase, which could be correlated with SEM images. The presence of SiO2 in the sample might be expected. Thus, we have searched for any SiO2 polymorph possible to crystallize. Only potential peaks of cristobalite were identified but some of them are overlapping with peaks of other crystalline phosphates. SEM analysis indicated a decrease of the amount of crystalline phases with the increase in the annealing temperature. © 2009 Elsevier B.V. All rights reserved.