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.     

Towards a better assessment of the ecological status of coastal waters using satellite-derived chlorophyll-a concentrations

The application of the new Water Framework Directive (WFD) of the European Union will require a dense and frequent monitoring of chlorophyll-a near the coast. Not counting the transitional water bodies located in the vicinity of estuaries, not less than seventy four coastal water bodies have to be monitored along the coast of the French Atlantic continental shelf and the English Channel. All the available data have to be gathered to implement a comprehensive monitoring scheme. To this purpose, we evaluate the capacity of ocean colour imagery to complete the conventional in situ data set collected in coastal networks. Satellite-derived chlorophyll-a concentration is obtained by the application of a coastal Look-Up-Table to water-leaving radiance of the Sea-viewing Wide Field Instrument Sensor (SeaWiFS) for the 1998–2004 period. Seven years of satellite-derived and in situ chlorophyll-a concentrations are compared at seven representative stations of different water bodies. These comparisons show that the satellite products are reliable in most of the situations studied and throughout the seasons. Then the satellite imagery is used to classify the coastal waters following the eutrophication risk criterion of the WFD. This classification is made according to the percentile-90 of chlorophyll-a calculated during the productive season, from March to October. Despite a lack of sensor coverage over a small fraction of the near shore waters, this work shows that the satellite monitoring can considerably ease the application of the WFD.     

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.