The Synchronous Approach to Designing Reactive Systems

Synchronous programming is available through several formally defined languages having very different characteristics: Esterel is imperative, while Lustre and Signal are declarative in style; Statecharts and Argos are graphical languages that allow one to program by constructing hierarchical automata. Our motivation for taking the synchronous design paradigm further, integrating imperative, declarative (or dataflow), and graphical programming styles, is that real systems typically have components that match each of these profiles. This paper motivates our interest in the mixed language programming of embedded software around a number of examples, and sketches the semantical foundation of the Synchronie toolset which ensures a coherent computational model. This toolset supports a design trajectory that incorporates rapid prototyping and systematic testing for early design validation, an object oriented development methodology for long term software management, and formal verification at the level of automatically generated object code.     

Ligand‐Free Synthesis of Aluminum‐Doped Zinc Oxide Nanocrystals and their Use as Optical Spacers in Color‐Tuned Highly Efficient Organic Solar Cells

The color of polymer solar cells using an opaque electrode is given by the reflected light, which depends on the composition and thickness of each layer of the device. Metal‐oxide‐based optical spacers are intensively studied in polymer solar cells aiming to optimize the light absorption. However, the low conductivity of materials such as ZnO and TiO₂ limits the thickness of such optical spacers to tenths of nanometers. A novel synthesis route of cluster‐free Al‐doped ZnO (AZO) nanocrystals (NCs) is presented for solution processing of highly conductive layers without the need of temperature annealing, including thick optical spacers on top of polymer blends. The processing of 80 nm thick optical spacers based on AZO nanocrystal solutions on top of 200 nm thick polymer blend layer is demonstrated leading to improved photocurrent density of 17% compared to solar cells using standard active layers of 90 nm in combination with thin ZnO‐based optical spacers. These AZO NCs also open new opportunities for the processing of high‐efficiency color tuned solar cells. For the first time, it is shown that applying solution‐processed thick optical spacer with polymer blends of different thicknesses can process solar cells of similar efficiency over 7% but of different colors.     

Emission cross sections and spectroscopy of Ho3+ laserchannels in KGd(WO4)2 single crystal

The spectroscopic properties of Ho³⁺ laser channels in KGd(WO₄)₂ crystals have been investigated using optical absorption, photoluminescence, and lifetime measurements. The radiative lifetimes of Ho³⁺ have been calculated through a Judd-Ofelt (JO) formalism using 300-K optical absorption results. The JO parameters obtained were Ω₂=15.35×10^-20 cm², Ω ₄=3.79×10^-20 cm², Ω₆ =1.69×10^-20 cm². The 7-300-K lifetimes obtained in diluted (8·10¹⁸ cm^-3) KGW:0.1% Ho samples are: τ(⁵F₃)≈0.9 μs, τ( ⁵S₂)=19-3.6 μs, and τ(⁵F₅ )≈1.1 μs. For Ho concentrations below 1.5×10²⁰ cm^-3, multiphonon emission is the main source of non radiative losses, and the temperature independent multiphonon probability in KGW is found to follow the energy gap law τ_ph ^-1(0)=βexp(-αΔE), where β=1.4×10^-7 s^-1, and α=1.4×10³ cm. Above this holmium concentration, energy transfer between Ho impurities also contributes to the losses. The spectral distributions of the Ho³⁺ emission cross section σ_EM for several laser channels are calculated in σ- and π-polarized configurations. The peak a σ_EM values achieved for transitions to the ⁵I₈ level are ≈2×10^-20 cm² in the σ-polarized configuration, and three main lasing peaks at 2.02, 2.05, and 2.07 μm are envisaged inside the ⁵I₇→⁵I₈ channel     

Reverse engineering expert visual observations: From fixations to the learning of spatial filters with a neural-gas algorithm

Human beings can become experts in performing specific vision tasks, for example, doctors analysing medical images, or botanists studying leaves. With sufficient knowledge and experience, people can become very efficient at such tasks. When attempting to perform these tasks with a machine vision system, it would be highly beneficial to be able to replicate the process which the expert undergoes. Advances in eye-tracking technology can provide data to allow us to discover the manner in which an expert studies an image. This paper presents a first step towards utilizing these data for computer vision purposes. A growing-neural-gas algorithm is used to learn a set of Gabor filters which give high responses to image regions which a human expert fixated on. These filters can then be used to identify regions in other images which are likely to be useful for a given vision task. The algorithm is evaluated by learning filters for locating specific areas of plant leaves.     

On the measurement of privacy as an attacker’s estimation error

A wide variety of privacy metrics have been proposed in the literature to evaluate the level of protection offered by privacy-enhancing technologies. Most of these metrics are specific to concrete systems and adversarial models and are difficult to generalize or translate to other contexts. Furthermore, a better understanding of the relationships between the different privacy metrics is needed to enable more grounded and systematic approach to measuring privacy, as well as to assist system designers in selecting the most appropriate metric for a given application. In this work, we propose a theoretical framework for privacy-preserving systems, endowed with a general definition of privacy in terms of the estimation error incurred by an attacker who aims to disclose the private information that the system is designed to conceal. We show that our framework permits interpreting and comparing a number of well-known metrics under a common perspective. The arguments behind these interpretations are based on fundamental results related to the theories of information, probability, and Bayes decision.     

Modelling of through silicon via and devices electromagnetic coupling

This paper is essentially composed of two parts for future synthesis. We developed 2D and 3D simulations, starting from a 0.35 μm standard CMOS technology, focusing on through silicon via or redistribution layer induced coupling; nMOSFET, pMOSFET, and the sensitive regions of the CMOS inverter are investigated. We also study stacked devices in 3D circuits, in the radiofrequency range, and propagation of electromagnetic waves along some interconnections with discontinuities. This study is performed in the time domain—a finite-difference time-domain method is applied to the analysis of some vias flanked by two striplines, all embedded in silicon. Electric and magnetic field distributions, transmission and reflexion parameters, and pulse propagations along a transverse via are presented.     

First-principles study of nickel-silicides ordered phases

We present a study of nickel-silicides ordered alloys by means of first-principles calculations. Emphasis was put on the phases (low and high temperatures) identified in the binary phase diagram, namely: Ni₃Si-β₁, -β₂, and -β₃, Ni₃₁Si₁₂-γ, Ni₂Si-δ, -θ, Ni₃Si₂-?, NiSi-MnP and NiSi₂-α. In addition, some common structures are computed for information: L1₂, D0₃ and D0₂₂. The simulations reproduce with a high accuracy lattice parameters and formation energies of main experimental structures, except for β₂ and β₃. Our results clarify the crystallographic nature of the γ structure, and the comparison of experimental Raman spectra and vibrational calculations will help experimentalists to identify without ambiguity NiSi₃ structures.