Scanning tunneling microscope operating as a spin diode

We theoretically investigate spin-polarized transport in a system composed of a ferromagnetic scanning-tunneling-microscope (STM) tip coupled to an adsorbed atom (adatom) on a host surface. Electrons can tunnel directly from the tip to the surface or via the adatom. Since the tip is ferromagnetic and the host surface (metal or semiconductor) is nonmagnetic we obtain a spin-diode effect when the adatom is in the regime of single occupancy. This effect leads to an unpolarized current for direct bias (V > 0) and polarized current for reverse (V < 0) bias voltages, if the tip is nearby the adatom. Within the nonequilibrium Keldysh technique we analyze the interplay between the lateral displacement of the tip and the intra adatom Coulomb interaction on the spin-diode effect. As the tip moves away from the adatom the spin-diode effect vanishes and the currents become polarized for both V > 0 and V < 0. We also find an imbalance between the up and down spin populations in the adatom, which can be tuned by the tip position and the bias. Finally, due to the presence of the adsorbate on the surface, we observe spin-resolved Friedel oscillations in the current, which reflects the oscillations in the calculated local density of states (LDOS) of the subsystem surface + adatom.

Density functional theory and ab initio molecular dynamics study of NO adsorption on Pd(111) and Pt(111) surfaces

The origin of the unique geometry for nitric oxide (NO) adsorption on Pd(111) and Pt(111) surfaces as well as the effect of temperature were studied by density functional theory calculations and ab initio molecular dynamics at finite temperature. We found that at low coverage, the adsorption geometry is determined by electronic interactions, depending sensitively on the adsorption sites and coverages, and the effect of temperature on geometries is significant. At coverage of 0.25 monolayer (ML), adsorbed NO at hollow sites prefer an upright configuration, while NO adsorbed at top sites prefer a tilting configuration. With increase in the coverage up to 0.50 ML, the enhanced steric repulsion lead to the tilting of hollow NO. We found that the tilting was enhanced by the thermal effects. At coverage of 0.75 ML with p(2 x 2)-3NO(fcc+hcp+top) structure, we found that there was no preferential orientation for tilted top NO. The interplay of the orbital hybridization, thermal effects, steric repulsion, and their effects on the adsorption geometries were highlighted at the end.

Pt/TiO(2)/poly(vinyl sulfonic acid) Layer-by-Layer Films for Methanol Electrocatalytic Oxidation

One major challenge for the widespread application of direct methanol fuel cells (DMFCs) is to decrease the amount of platinum used in the electrodes, which has motivated a search for novel electrodes containing platinum nanoparticles. In this study, platinum nanoparticles were electrodeposited on layer-by-layer (LbL) films from TiO(2) and poly(vinyl sulfonic) (PVS), by immersing the films into a H(2)PtCl(6) solution and applying a 100 mu A current during different electrode position times. Scanning tunnel microscopy (STM) and atomic force microscopy (AFM) images showed increased platinum particle size and electrode roughness for increasing electrodeposition times. The potentiodynamic profile of the electrodes indicated that oxygen-like species in 0.5 mol L(-1) H(2)SO(4) were formed at less positive potentials for the smallest platinum particles. Electrochemical impedance spectroscopy measurements confirmed the high reactivity for the water dissociation and the large amount of oxygen-like species adsorbed on the smallest platinum nanoparticles. This high oxophilicity of the smallest nanoparticles was responsible for the electrocatalytic activity of Pt-TiO(2)/PVS systems for methanol electrooxidation, according to the Langmuir-Hinshelwood bifunctional mechanism. Significantly, the approach used here combining platinum electrodeposition and LbL matrices allows one to both control the particle size and optimize methanol electrooxidation, being therefore promising for producing membrane-electrode assemblies of DMFCs.

Root Secretion of Defense-related Proteins Is Development-dependent and Correlated with Flowering Time

Proteins found in the root exudates are thought to play a role in the interactions between plants and soil organisms. To gain a better understanding of protein secretion by roots, we conducted a systematic proteomic analysis of the root exudates of Arabidopsis thaliana at different plant developmental stages. In total, we identified 111 proteins secreted by roots, the majority of which were exuded constitutively during all stages of development. However, defense-related proteins such as chitinases, glucanases, myrosinases, and others showed enhanced secretion during flowering. Defense-impaired mutants npr1-1 and NahG showed lower levels of secretion of defense proteins at flowering compared with the wild type. The flowering-defective mutants fca-1, stm-4, and co-1 showed almost undetectable levels of defense proteins in their root exudates at similar time points. In contrast, root secretions of defense-enhanced cpr5-2 mutants showed higher levels of defense proteins. The proteomics data were positively correlated with enzymatic activity assays for defense proteins and with in silico gene expression analysis of genes specifically expressed in roots of Arabidopsis. In conclusion, our results show a clear correlation between defense-related proteins secreted by roots and flowering time.

The electrochemical corrosion of pure magnesium in 1 N NaCl

An electrochemical investigation was carried out to study the corrosion of pure magnesium in 1 N NaCl at different pH values involving electrochemical polarisation, scanning tunnel microscopy (STM), measurement of hydrogen gas evolution and measurement of the elements dissolved from the magnesium specimen which were determined by inductively coupled plasma atomic emission spectrophotometry (ICPAES). A partially protective surface film was a principal factor controlling corrosion. Film coverage decreased with increasing applied electrode potential. Application of a suitable external cathodic current density was shown to inhibit magnesium dissolution whilst at the same time the hydrogen evolution rate was relatively small. This showed that cathodic protection could be used to significantly reduce magnesium corrosion. A new definition is proposed for the negative difference effect (NDE). (C) 1997 Elsevier Science Ltd.

Runtime Elision of Transactional Barriers for Captured Memory

In this paper, we propose a new technique that can identify transaction-local memory (i.e. captured memory), in managed environments, while having a low runtime overhead. We implemented our proposal in a well known STM framework (Deuce) and we tested it in STMBench7 with two different STMs: TL2 and LSA. In both STMs the performance improved significantly (4 times and 2.6 times, respectively). Moreover, running the STAMP benchmarks with our approach shows improvements of 7 times in the best case for the Vacation application.

Revisiting transactions in Ada

Classical lock-based concurrency control does not scale with current and foreseen multi-core architectures, opening space for alternative concurrency control mechanisms. The concept of transactions executing concurrently in isolation with an underlying mechanism maintaining a consistent system state was already explored in fault-tolerant and distributed systems, and is currently being explored by transactional memory, this time being used to manage concurrent memory access. In this paper we discuss the use of Software Transactional Memory (STM), and how Ada can provide support for it. Furthermore, we draft a general programming interface to transactional memory, supporting future implementations of STM oriented to real-time systems.

Software transactional memory as a building block for parallel embedded realtime systems

The recent trends of chip architectures with higher number of heterogeneous cores, and non-uniform memory/non-coherent caches, brings renewed attention to the use of Software Transactional Memory (STM) as a fundamental building block for developing parallel applications. Nevertheless, although STM promises to ease concurrent and parallel software development, it relies on the possibility of aborting conflicting transactions to maintain data consistency, which impacts on the responsiveness and timing guarantees required by embedded real-time systems. In these systems, contention delays must be (efficiently) limited so that the response times of tasks executing transactions are upper-bounded and task sets can be feasibly scheduled. In this paper we assess the use of STM in the development of embedded real-time software, defending that the amount of contention can be reduced if read-only transactions access recent consistent data snapshots, progressing in a wait-free manner. We show how the required number of versions of a shared object can be calculated for a set of tasks. We also outline an algorithm to manage conflicts between update transactions that prevents starvation.

Managing contention of software transactional memory in real-time systems

The foreseen evolution of chip architectures to higher number of, heterogeneous, cores, with non-uniform memory and non-coherent caches, brings renewed attention to the use of Software Transactional Memory (STM) as an alternative to lock-based synchronisation. However, STM relies on the possibility of aborting conflicting transactions to maintain data consistency, which impacts on the responsiveness and timing guarantees required by real-time systems. In these systems, contention delays must be (efficiently) limited so that the response times of tasks executing transactions are upperbounded and task sets can be feasibly scheduled. In this paper we defend the role of the transaction contention manager to reduce the number of transaction retries and to help the real-time scheduler assuring schedulability. For such purpose, the contention management policy should be aware of on-line scheduling information.

Consistent state software transactional memory

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Cooperative memory and database transactions

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Optimizing memory transactions for large-scale programs

Even though Software Transactional Memory (STM) is one of the most promising approaches to simplify concurrent programming, current STM implementations incur significant overheads that render them impractical for many real-sized programs. The key insight of this work is that we do not need to use the same costly barriers for all the memory managed by a real-sized application, if only a small fraction of the memory is under contention lightweight barriers may be used in this case. In this work, we propose a new solution based on an approach of adaptive object metadata (AOM) to promote the use of a fast path to access objects that are not under contention. We show that this approach is able to make the performance of an STM competitive with the best fine-grained lock-based approaches in some of the more challenging benchmarks. (C) 2015 Elsevier Inc. All rights reserved.

Non-preemptive and SRP-based fullypreemptive scheduling of real-time Software Transactional Memory

Recent embedded processor architectures containing multiple heterogeneous cores and non-coherent caches renewed attention to the use of Software Transactional Memory (STM) as a building block for developing parallel applications. STM promises to ease concurrent and parallel software development, but relies on the possibility of abort conflicting transactions to maintain data consistency, which in turns affects the execution time of tasks carrying transactions. Because of this fact the timing behaviour of the task set may not be predictable, thus it is crucial to limit the execution time overheads resulting from aborts. In this paper we formalise a FIFO-based algorithm to order the sequence of commits of concurrent transactions. Then, we propose and evaluate two non-preemptive and one SRP-based fully-preemptive scheduling strategies, in order to avoid transaction starvation.

A modular distributed transactional memory framework

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Electroquímica de metales de transición; óxidos: propiedades, reacciones de transferencia de carga; electrodeposición, aspectos tecnológicos

Se estudiarán los procesos relacionados con la formación y crecimiento de películas de óxidos de metales válvula simples y modificados con materiales nobles. Por otra parte se investigará la cinética de reacciones de transferencia de carga electrónica de cuplas rédox en solución sobre óxidos de metales válvula simples, modificados y óxidos complejos del tipo perovskita. Se intentará estudiar además el comportamiento electroquímico de mezclas binarias de óxidos e hidróxidos de metales de transición con el objetivo de obtener buenos electrocatalizadores de las reacciones de electrogeneración y electrorreducción de oxígeno de interés en bacterias secundarias, celdas de combustión y electrólisis de agua. También se estudiarán los procesos de deposición metálica de cobre, plata, cromo y níquel con el objetivo de adquirir un amplio conocimiento tecnológico del comportamiento electroquímico de estos sistemas lo que permite modificar las condiciones experimentales para lograr mayor efectividad de los métodos y de los baños utilizados para el metalizado. Se utilizarán técnicas electroquímicas convencionales conjuntamente con medidas de impedancia y de elipsometría. Para mayor información sobre la estructura de bandas de los óxidos estudiados y la cinética de reacciones de transferencia de carga a través de los mismos, se usará la técnica de fotoelectroquímica convencional y modificada mediante un láser pulsado. También se emplearán técnicas superficiales como microscopía electrónica de barrido, de efecto túnel (STM), espectroscopía Auger y espectroscopía fotoelectrónica de Rayos X (XPS).