Unified model for assessing checkpointing protocols at extreme‐scale

In this paper, we present a unified model for several well‐known checkpoint/restart protocols. The proposed model is generic enough to encompass both extremes of the checkpoint/restart space, from coordinated approaches to a variety of uncoordinated checkpoint strategies (with message logging). We identify a set of crucial parameters, instantiate them, and compare the expected efficiency of the fault tolerant protocols, for a given application/platform pair. We then propose a detailed analysis of several scenarios, including some of the most powerful currently available high performance computing platforms, as well as anticipated Exascale designs. The results of this analytical comparison are corroborated by a comprehensive set of simulations. Altogether, they outline comparative behaviors of checkpoint strategies at very large scale, thereby providing insight that is hardly accessible to direct experimentation. Copyright © 2013 John Wiley & Sons, Ltd.     

Integrating Computing Resources on Multiple Grid-Enabled Job Scheduling Systems Through a Grid RPC System

We present a framework for a parallel programming model by remote procedure calls, which bridge large-scale computing resource pools managed by multiple Grid-enabled job scheduling systems. With this system, the user can exploit not only remote servers and clusters, but also the computing resources provided by Grid-enabled job scheduling systems located on different sites. This framework requires a Grid remote procedure call (RPC) system to decouple the computation in a remote node from the Grid RPC mechanism and uses document-based communication rather than connection-based communication. We implemented the proposed framework as an extension of the OmniRPC system, which is a Grid RPC system for parallel programming. We designed a general interface to easily adapt the OmniRPC system to various Grid-enabled job scheduling systems, including XtremWeb, CyberGRIP, Condor and Grid Engine. We show the preliminary performance of these implementations using a phylogenetic application. We found that the proposed system can achieve approximately the same performance as OmniRPC and can handle interruptions in worker programs on remote nodes. Yoshihiro Nakajima is a Research Fellow of the Japan Society for the Promotion of Science     

Delay and state observation for SISO nonlinear systems with input delay

This paper deals with the problem of state and delay estimation for SISO nonlinear systems with an unknown time‐varying delay in the input. The main idea is to approximate the delayed input by using Taylor's theorem and to create an extended system with the delay as part of the extended state. Then, the construction of an observer is proposed to estimate both state and delay. The results are illustrated by simulations.     

Impulsive second‐order sliding mode control in reduced information environment

The perturbed system with input‐output dynamics of arbitrary and well‐defined relative degree is considered in a reduced information environment. A novel impulsive second‐order sliding mode control in the reduced information environment is proposed. The almost instantaneous convergence to the origin is achieved via impulsive control acting in a concert with second‐order sliding mode control, specifically supertwisting and twisting algorithms. The impulsive actions are implemented in a piecewise constant format. Numerical examples illustrate the efficiency of the proposed control algorithms.     

On the use of formal methods to model and verify neuronal archetypes

Having a formal model of neural networks can greatly help in understanding and verifying their properties, behavior, and response to external factors such as disease and medicine. In this paper, we adopt a formal model to represent neurons, some neuronal graphs, and their composition. Some specific neuronal graphs are known for having biologically relevant structures and behaviors and we call them archetypes. These archetypes are supposed to be the basis of typical instances of neuronal information processing. In this paper we study six fundamental archetypes (simple series, series with multiple outputs, parallel composition, negative loop, inhibition of a behavior, and contralateral inhibition), and we consider two ways to couple two archetypes: (i) connecting the output(s) of the first archetype to the input(s) of the second archetype and (ii) nesting the first archetype within the second one. We report and compare two key approaches to the formal modeling and verification of the proposed neuronal archetypes and some selected couplings. The first approach exploits the synchronous programming language Lustre to encode archetypes and their couplings, and to express properties concerning their dynamic behavior. These properties are verified thanks to the use of model checkers. The second approach relies on a theorem prover, the Coq Proof Assistant, to prove dynamic properties of neurons and archetypes.     

Non-Catalyzed and Pt/γ-Al2O3 Catalyzed Hydrothermal Cellulose Dissolution-Conversion: Influence of the Reaction Parameters

The dissolution of cellulose under 5 MPa of H₂ in the absence of catalyst is temperature and time dependant. The presence of Pt/γ-Al₂O₃ increases the initial rate of dissolution. The presence of H₂/Pt is essential although its exact role has not been well elucidated.     

Encoding Information on the Excited State of a Molecular Spin Chain

The quantum states of nano-objects can drive electrical transport properties across lateral and local-probe junctions. This raises the prospect, in a solid-state device, of electrically encoding information at the quantum level using spin-flip excitations between electron spins. However, this electronic state has no defined magnetic orientation and is short-lived. Using a novel vertical nanojunction process, these limitations are overcome and this steady-state capability is experimentally demonstrated in solid-state spintronic devices. The excited quantum state of a spin chain formed by Co phthalocyanine molecules coupled to a ferromagnetic electrode constitutes a distinct magnetic unit endowed with a coercive field. This generates a specific steady-state magnetoresistance trace that is tied to the spin-flip conductance channel, and is opposite in sign to the ground state magnetoresistance term, as expected from spin excitation transition rules. The experimental 5.9 meV thermal energy barrier between the ground and excited spin states is confirmed by density functional theory, in line with macrospin phenomenological modeling of magnetotransport results. This low-voltage control over a spin chain's quantum state and spintronic contribution lay a path for transmitting spin wave-encoded information across molecular layers in devices. It should also stimulate quantum prospects for the antiferromagnetic spintronics and oxides electronics communities.     

Isotope Studies of the CMR Compounds La1−xCaxMnO3+δ

Oxygen isotope effect studies of the ferromagnetic Curie temperature T _c of La_1?x Ca _x MnO₃ are presented. The isotope exponent α₀=?ΔlnT _c/Δlnm ₀ changes from 0.4 to 0.14 in the range 0.2<x<0.43. The isotope exponent decreases strongly with increasing tolerance factor, or decreasing lattice distortion. Above Tc the conductivity is characteristic of small polarons. Raman scattering shows a prominent peak at 230 cm?1. The peak width could be related to site-dependent Jahn–Teller distortions above T _c, becoming significantly smaller at and below T _c. IR reflectivity data show a much larger zero frequency IR conductivity than dc conductivity. The IR peaks are independent of temperature between 150 and 295 K.     

Photodétecteurs en intégration monolithique sur guides optiques : modélisation et vérifications expérimentales

The authors developed a model on optical guided structures with complex refractive indices, on 9 desktop-computer. This model allows to predict the coupling efficiency of photodetectors monolithically integrated with optical waveguides. An oscillatory behaviour of the absorption coefficient versus the absorbing layer thinkness has been pointed out. Comparisons with experimental resuylts obtained with device made in different laboratories show a good agrement