Boosting the superconducting spin valve effect in a metallic superconductor/ferromagnet heterostructure

Superconducting spin valves based on the superconductor/ferromagnet (S/F) proximity effect are considered to be a key element in the emerging field of superconducting spintronics. Here, we demonstrate the crucial role of the morphology of the superconducting layer in the operation of a multilayer S/F1/F2 spin valve. We study two types of superconducting spin valve heterostructures, with rough and with smooth superconducting layers, using transmission electron microscopy in combination with transport and magnetic characterization. We find that the quality of the S/F interface is not critical for the S/F proximity effect, as regards the suppression of the critical temperature of the S layer. However, it appears to be of paramount importance in the performance of the S/F1/F2 spin valve. As the morphology of the S layer changes from the form of overlapping islands to a smooth case, the magnitude of the conventional superconducting spin valve effect significantly increases. We attribute this dramatic effect to a homogenization of the Green function of the superconducting condensate over the S/F interface in the S/F1/F2 valve with a smooth surface of the S layer.

Open image in new window

     

On rotational pre-alignment for tree log identification using methods inspired by fingerprint and iris recognition

Tree log end biometrics is an approach to track logs from forest to further processing companies by means of log end images. The aim of this work is to investigate how to deal with the unrestricted rotational range of cross sections in log end images. Thus, the applicability of three different rotational pre-alignment strategies in the registration procedure is assessed. Template computation and matching is based on fingerprint and iris recognition techniques which were adopted and extended to work with log end images. To address these questions, a testset built up on 279 tree logs is utilized in the experiments. The evaluation assesses the basic performance of the rotational pre-alignment strategies and their impact on the verification and identification performances for different fingerprint- and iris-based configurations. Results indicate that rotational pre-alignment in the registration procedure is the main component to deal with rotation in log end biometrics. The best configurations achieve identification rates \({>}93\,\%\). By showing that cross sections in log end images can be rotated to a distinctive position, this work is a first step towards real word log end biometrics.     

Time-constrained services: a framework for using real-time web services in industrial automation

The use of web services in industrial automation, e.g. in fully automated production processes like car manufacturing, promises simplified interaction among the manufacturing devices due to standardized protocols and increased flexibility with respect to process implementation and reengineering. Moreover, the adoption of web services as a seamless communication backbone within the overall industrial enterprise has additional benefits, such as simplified interaction with suppliers and customers (i.e. horizontal integration) and avoidance of a break in the communication paradigm within the enterprise (i.e. vertical integration). The Time-Constrained Services (TiCS) framework is a development and execution environment that empowers automation engineers to develop, deploy, publish, compose, and invoke time-constrained web services. TiCS consists of four functional layers—tool support layer, real-time infrastructural layer, real-time service layer, and hardware layer—which contain several components to meet the demands of a web service based automation infrastructure. This article gives an overview of the TiCS framework. More precisely, the general design considerations and an architectural blueprint of the TiCS framework are presented. Subsequently, selected key components of the TiCS framework are discussed in detail: the SOAP4PLC engine for equipping programmable logic controllers with a web service interface, the SOAP4IPC engine for processing web services in real-time on industrial PCs, the WS-TemporalPolicy language for describing time constraints, and the TiCS Modeler for composing time-constrained web services into a time-constrained BPEL4WS workflow.     

Beyond contracts for concurrency

SCOOP is a concurrent programming language with a new semantics for contracts that applies equally well in concurrent and sequential contexts. SCOOP eliminates race conditions and atomicity violations by construction. However, it is still vulnerable to deadlocks. In this paper we describe how far contracts can take us in verifying interesting properties of concurrent systems using modular Hoare rules and show how theorem proving methods developed for sequential Eiffel can be extended to the concurrent case. However, some safety and liveness properties depend upon the environment and cannot be proved using the Hoare rules. To deal with such system properties, we outline a SCOOP Virtual Machine (SVM) as a fair transition system. The SVM makes it feasible to use model-checking and theorem proving methods for checking global temporal logic properties of SCOOP programs. The SVM uses the Hoare rules where applicable to reduce the number of steps in a computation. P. J. Brooke, R. F. Paige and Dong Jin Song This work was conducted under an NSERC Discovery grant.     

A geoscience perspective on immersive 3D gridded data visualization

We describe visualization software, Visualizer, that was developed specifically for interactive, visual exploration in immersive virtual reality (VR) environments. Visualizer uses carefully optimized algorithms and data structures to support the high frame rates required for immersion and the real-time feedback required for interactivity. As an application developed for VR from the ground up, Visualizer realizes benefits that usually cannot be achieved by software initially developed for the desktop and later ported to VR. However, Visualizer can also be used on desktop systems (unix/linux-based operating systems including Mac OS X) with a similar level of real-time interactivity, bridging the “software gap” between desktop and VR that has been an obstacle for the adoption of VR methods in the Geosciences. While many of the capabilities of Visualizer are already available in other software packages used in a desktop environment, the features that distinguish Visualizer are: (1) Visualizer can be used in any VR environment including the desktop, GeoWall, or CAVE, (2) in non-desktop environments the user interacts with the data set directly using a wand or other input devices instead of working indirectly via dialog boxes or text input, (3) on the desktop, Visualizer provides real-time interaction with very large data sets that cannot easily be viewed or manipulated in other software packages. Three case studies are presented that illustrate the direct scientific benefits realized by analyzing data or simulation results with Visualizer in a VR environment. We also address some of the main obstacles to widespread use of VR environments in scientific research with a user study that shows Visualizer is easy to learn and to use in a VR environment and can be as effective on desktop systems as native desktop applications.     

Blockchain Energy: Blockchain in Future Energy Systems

The ongoing, in-depth transformation of the electricity sector towards increased use of alternative, renewable energy sources extends beyond a simple decentralisation drive in the electricity market. The transformation process is characterised by the interplay of old and new technologies from the energy sector as well as structural coupling with other sectors, such as the information and communications technology (ICT), enabling the technology transfer as well as market entry by information technology (IT) actors. Blockchain-based technologies have the potential to play a key role in this transition by offering decentralised interfaces and systems as well as an alternative approach to the current organisation form of the energy market. This paper discusses the applicability and prospects for blockchain-based technologies in the energy sector, which are described using the term “blockchain energy”. For the purposes of this study, blockchain energy encompasses all socio-technical and organisational configurations in the energy sector based on the utilisation of the blockchain principle for energy trading, information storage, and/or increased transparency of energy flows and energy services. In the following chapters, the authors present and discuss the current transformation in the electricity market, followed by a review of the different utilisation possibilities for blockchain technologies in the energy sector and a discussion of the barriers and potential for blockchain energy using a transition studies perspective. Finally, the opportunities and risks of blockchain energy are discussed.     

Micropatterned silicone elastomer substrates for high resolution analysis of cellular force patterns

Cellular forces are closely related to many physiological processes, including cell migration, growth, division, and differentiation. Here, we describe newly developed techniques to measure these forces with high spatial resolution. Our approach is based on ultrasoft silicone elastomer films with a regular microstructure molded into the surface. Mechanical forces applied by living cells to such films result in elastomer deformation which can be quantified by video microscopy and digital image processing. From this deformation field forces can be calculated. Here we give detailed accounts of the following issues: (1) the preparation of silicon wafers as molds for the microstructures, (2) the fabrication of microstructured elastomer substrates, (3) the in-depth characterization of the mechanical properties of these elastomers, (4) the image processing algorithms for the extraction of cellular deformation fields, and (5) the generalized first moment tensor as a robust mathematical tool to characterize whole cell activity. We present prototype experiments on living myocytes as well as on cardiac fibroblasts and discuss the characteristics and performance of our force measurement technique.