n/a

n/a

n/a

n/a

n/a

n/a

n/a

The Thermally Stimulated Discharge Current (TSDC) method is a very sensitive technique to analyze the movement of dipoles and of space charge (SC). To increase the selectivity of the method we have proposed a variant of the TSDC method, namely the final thermally stimulated discharge current (FTSDC) technique. The experimental conditions can be selected so that the FTSDC is mainly determined by SC de-trapping. The aim of this paper is to analyze if the elementary peaks obtained by using the two methods can be assumed as elementary Debye peaks and to determine the best experimental conditions to obtain a narrow experimental peak which means to increase the selectivity of the method.

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.

SmART (Smart Application Reconfiguration Tool) is a framework for the automatic configuration of systems and applications. The tool implements an application configuration workflow that resorts to the similarities between configuration files (i.e., patterns such as parameters, comments and blocks) to allow a syntax independent manipulation and transformation of system and application configuration files.Without compromising its generality, SmART targets virtualized IT infrastructures, configuring virtual appliances and its applications. SmART reduces the time required to (re)configure a set of applications by automating time-consuming steps of the process, independently of the nature of the application to be configured. Industrial experimentation and utilization of SmART show that the framework is able to correctly transform a large amount of configuration files into a generic syntax and back to their original syntax. They also show that the elapsed time in that process is adequate to what would be expected of an interactive tool. SmART is currently being integrated into the VIRTU bundle, whose trial version is available for download from the project’s web page.

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

Benzyl azide and the three methylbenzyl azides were synthesized and characterized by mass spectrometry (MS) and ultraviolet photoelectron spectroscopy (UVPES). The electron ionization fragmentation mechanisms for benzyl azide and their methyl derivatives were studied by accurate mass measurements and linked scans at constant B/E. For benzyl azide, in order to clarify the fragmentation mechanism, labelling experiments were performed. From the mass analysis of methylbenzyl azides isomers it was possible to differentiate the isomers ortho, meta and para. The abundance and nature of the ions resulting from the molecular ion fragmentation, for the three distinct isomers of substituted benzyl azides, were rationalized in terms of the electronic properties of the substituent. Concerning the para-isomer, IRC calculations were performed at UHF/6-31G(d) level. The photoionization study of benzyl azide, with He(I) radiation, revealed five bands in the 8-21 eV ionization energies region. From every photoelectron spectrum of methylbenzyl azides isomers it has been identified seven bands, on the same range as the benzyl azide. Interpretation of the photoelectron spectra was accomplished applying Koopmans' theorem to the SCF orbital energies obtained at HF/6-311++G(d, p) level.

Benzyl azide and the three methylbenzyl azides were synthesized and characterized by mass spectrometry (MS) and ultraviolet photoelectron spectroscopy (UVPES). The electron ionization fragmentation mechanisms for benzyl azide and their methyl derivatives were studied by accurate mass measurements and linked scans at constant B/E. For benzyl azide, in order to clarify the fragmentation mechanism, labelling experiments were performed. From the mass analysis of methylbenzyl azides isomers it was possible to differentiate the isomers ortho, meta and para. The abundance and nature of the ions resulting from the molecular ion fragmentation, for the three distinct isomers of substituted benzyl azides, were rationalized in terms of the electronic properties of the substituent. Concerning the para-isomer, IRC calculations were performed at UHF/6-31G(d) level. The photoionization study of benzyl azide, with He(I) radiation, revealed five bands in the 8-21 eV ionization energies region. From every photoelectron spectrum of methylbenzyl azides isomers it has been identified seven bands, on the same range as the benzyl azide. Interpretation of the photoelectron spectra was accomplished applying Koopmans' theorem to the SCF orbital energies obtained at HF/6-311++G(d, p) level.

n/a

n/a

The electrical methods used to study the molecular movements are based on the movement of the dipoles under DC or AC electric field. We have proposed recently a combined measuring protocol to analyze charge injection/extraction, transport, trapping and de-trapping in polar or non-polar dielectric materials. The method is used here to analyze the molecular movements in polyimide in the temperature range from 293 to 572 K. A strong relaxation was observed around 402 K and a very weak relaxation around 345 K. This is the beta relaxation which is quite complex. As concern the behavior at high temperatures, above the beta relaxation, a high peak was observed that shifts continuously to higher temperatures as the charging temperature and/or the charging field increase. The maximum current of the peak increases and the temperature corresponding to the maximum current increases as the charging temperature and/or the charging field increase, given a direct observation of the so called cross-over effect related to current decay for sample charged at high fields and/or high temperatures.

n/a

n/a

In this work the depth of interfaces in multilayered structures was estimated. The fractions of positron annihilation as function of the implantation energy were estimated from an S-W plot and then converted into a function of the sample depth through the positron implantation profile in the multilayer system computed from a reduced positron profile. The results of this method in Ti/Al samples are comparable to those using the common analysis based on positron diffusion equations. The positron analyses results were compared with SIMS profiles for the same samples.

We present some selected results indicating the feasibility of preparing therapeutic finished ophthalmic articles, namely commercially available soft contact lenses, using a supercritical solvent impregnation (SSI) technique. Several commercial soft contact lenses were tested and, among these, four lenses were selected for more complete studies: Nelfilcon A (FocusDailies®, CIBA Vision), Omafilcon A (Proclear® Compatibles, CooperVision), Methafilcon A (Frequency® 55, CooperVision) and Hilafilcon B (SofLens® 59 Comfort, Bausch {&} Lomb). Supercritical carbon dioxide (scCO2) was the chosen supercritical fluid and two ophthalmic drugs were tested: flurbiprofen (a NSAID, hydrophobic) and timolol maleate (an anti-glaucoma drug, hydrophilic). The effects of operational pressure, of impregnation duration and of the addition of a cosolvent (ethanol) were studied on the overall drug loading yields. Depending on the experiment, we employed pressures from 9 up to 16 MPa and impregnation times from 30 up to 180 min. Temperature was kept constant and equal to 313 K. The employed depressurization rates were kept low and between 0.1 and 0.2 MPa/min. Results are discussed in terms of the employed operational conditions and taking in consideration all the possible interactions between supercritical fluids, drugs, cosolvents and the polymers which compose the employed hydrogel contact lenses. In vitro drug release experiments were carried out in order to evaluate the resulting drug release profiles. Obtained results were also compared with drug-loaded contact lenses obtained by conventional drug "soaking" in aqueous solutions. Results also proved that SSI can be considered as a viable, efficient and safe alternative for the impregnation of drugs, including those of hydrophobic character or presenting low aqueous solubility, into commercial soft contact lenses. SSI proved to be a "tunable" process since the variation of the employed operational conditions indicated that it is possible to control the amount of impregnated drug. In the end, the ophthalmic articles were recovered undamaged and without the presence of harmful solvent residues. This method also permits to process already prepared commercial contact lenses, without interfering with their manufacture methods and, after processing, store them for future use. © 2010 Elsevier B.V. All rights reserved.

n/a