Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification

International audienceThe purpose of ARINC 661 specification [1] is to define interfaces to a Cockpit Display System (CDS) used in any types of aircraft installations. ARINC 661 provides precise information for communication protocol between application (called User Applications) and user interface components (called widgets) as well as precise information about the widgets themselves. However, in ARINC 661, no information is given about the behaviour of these widgets and about the behaviour of an application made up of a set of such widgets. This paper presents the results of the application of a formal description technique to the various elements of ARINC 661 specification within an industrial project. This formal description technique called Interactive Cooperative Objects defines in a precise and non-ambiguous way all the elements of ARINC 661 specification. The application of the formal description techniques is shown on an interactive application called MPIA (Multi Purpose Interactive Application). Within this application, we present how ICO are used for describing interactive widgets, User Applications and User Interface servers (in charge of interaction techniques). The emphasis is put on the model-based management of the feel of the applications allowing rapid prototyping of the external presentation and the interaction techniques. Lastly, we present the CASE (Computer Aided Software Engineering) tool supporting the formal description technique and its new extensions in order to deal with large scale applications as the ones targeted at by ARINC 661 specification

Perception of Nuclear Energy and Coal in France and the Netherlands

This study focuses on the perception of large scale application of nuclear energy and coal in the Netherlands and France. The application of these energy-sources and the risks and benefits are judged differently by various group in society. In Europe, France has the highest density of nuclear power plants and the Netherlands has one of the lowest. In both countries scientists and social scientists completed a questionnaire assessing the perception of the large scale application of both energy sources. Furthermore, a number of variables relating to the socio cultural and political circumstances were measured. The results indicate that the French had a higher risk perception and a more negative attitude toward nuclear power than the Dutch. But they also assess the benefits of the use of nuclear power to be higher. Explanations for these differences are discussed

Superconductivity with hard-core repulsion: BCS-Bose crossover and s-/d-wave competition

We consider fermions on a 2D lattice interacting repulsively on the same site and attractively on the nearest neighbor sites. The model is relevant, for instance, to study the competition between antiferromagnetism and superconductivity in a Kondo lattice. We first solve the two-body problem to show that in the dilute and strong coupling limit the s-wave Bose condensed state is always the ground state. We then consider the many-body problem and treat it at mean-field level by solving exactly the usual gap equation. This guarantees that the superconducting wave-function correctly vanishes when the two fermions (with antiparallel spin) sit on the same site. This fact has important consequences on the superconducting state that are somewhat unusual. In particular this implies a radial node-line for the gap function. When a next neighbor hopping t' is present we find that the s-wave state may develop nodes on the Fermi surface.Comment: 10 pages, 9 fig

Structure and Thermodynamics of the Mixed Alkali Alanates

The thermodynamics and structural properties of the hexahydride alanates (M2M'AlH6) with the elpasolite structure have been investigated. A series of mixed alkali alanates (Na2LiAlH6, K2LiAlH6 and K2NaAlH6) were synthesized and found to reversibly absorb and desorb hydrogen without the need for a catalyst. Pressure-composition isotherms were measured to investigate the thermodynamics of the absorption and desorption reactions with hydrogen. Isotherms for catalyzed (4 mol% TiCl3) and uncatalyzed Na2LiAlH6 exhibited an increase in kinetics, but no change in the bulk thermodynamics with the addition of a dopant. A structural analysis using synchrotron x-ray diffraction showed that these compounds favor the Fm-3m space group with the smaller ion (M') occupying an octahedral site. These results demonstrate that appropriate cation substitutions can be used to stabilize or destabilize the material and may provide an avenue to improving the unfavorable thermodynamics of a number of materials with promising gravimetric hydrogen densities.Comment: 6 pages, 7 figures,3 tables, submitted to PR

Phase Diagram of the 1D Anderson Lattice

We map out the phase diagram of the one--dimensional Anderson lattice by studying the ground state magnetization as a function of band--filling using the density matrix renormalization group technique. For strong coupling, we find that the quarter--filled system has an S=0 ground state with strong antiferromagnetic correlations. As additional electrons are put in, we find first a ferromagnetic phase, as reported by M\"{o}ller and W\"{o}lfle, and then a phase in which the ground state has total spin $S=0$. Within this $S=0$ phase, we find RKKY oscillations in the spin--spin correlation functions.Comment: REVTEX manuscript with 5 Postcript figures included in uu file. Submitted to Phys. Rev.

Phase separation in a lattice model of a superconductor with pair hopping

We have studied the extended Hubbard model with pair hopping in the atomic limit for arbitrary electron density and chemical potential. The Hamiltonian considered consists of (i) the effective on-site interaction U and (ii) the intersite charge exchange interactions I, determining the hopping of electron pairs between nearest-neighbour sites. The model can be treated as a simple effective model of a superconductor with very short coherence length in which electrons are localized and only electron pairs have possibility of transferring. The phase diagrams and thermodynamic properties of this model have been determined within the variational approach, which treats the on-site interaction term exactly and the intersite interactions within the mean-field approximation. We have also obtained rigorous results for a linear chain (d=1) in the ground state. Moreover, at T=0 some results derived within the random phase approximation (and the spin-wave approximation) for d=2 and d=3 lattices and within the low density expansions for d=3 lattices are presented. Our investigation of the general case (as a function of the electron concentration and as a function of the chemical potential) shows that, depending on the values of interaction parameters, the system can exhibit not only the homogeneous phases: superconducting (SS) and nonordered (NO), but also the phase separated states (PS: SS-NO). The system considered exhibits interesting multicritical behaviour including tricritical points.Comment: 15 pages, 9 figures; pdf-ReVTeX, final version, corrected typos; submitted to Journal of Physics: Condensed Matte

ISML: an interface specification meta-language

In this paper we present an abstract metaphor model situated within a model-based user interface framework. The inclusion of metaphors in graphical user interfaces is a well established, but mostly craft-based strategy to design. A substantial body of notations and tools can be found within the model-based user interface design literature, however an explicit treatment of metaphor and its mappings to other design views has yet to be addressed. We introduce the Interface Specification Meta-Language (ISML) framework and demonstrate its use in comparing the semantic and syntactic features of an interactive system. Challenges facing this research are outlined and further work proposed

Superconductivity in the SU(N) Anderson Lattice at U=\infty

We present a mean-field study of superconductivity in a generalized N-channel cubic Anderson lattice at U=\infty taking into account the effect of a nearest-neighbor attraction J. The condition U=\infty is implemented within the slave-boson formalism considering the slave bosons to be condensed. We consider the $f$-level occupancy ranging from the mixed valence regime to the Kondo limit and study the dependence of the critical temperature on the various model parameters for each of three possible Cooper pairing symmetries (extended s, d-wave and p-wave pairing) and find interesting crossovers. It is found that the d- and p- wave order parameters have, in general, very similar critical temperatures. The extended s-wave pairing seems to be relatively more stable for electronic densities per channel close to one and for large values of the superconducting interaction J.Comment: Seven Figures; one appendix. Accepted for publication in Phys. Rev.

An automatic critical care urine meter

Nowadays patients admitted to critical care units have most of their physiological parameters measured automatically by sophisticated commercial monitoring devices. More often than not, these devices supervise whether the values of the parameters they measure lie within a pre-established range, and issue warning of deviations from this range by triggering alarms. The automation of measuring and supervising tasks not only discharges the healthcare staff of a considerable workload but also avoids human errors in these repetitive and monotonous tasks. Arguably, the most relevant physiological parameter that is still measured and supervised manually by critical care unit staff is urine output (UO). In this paper we present a patent-pending device that provides continuous and accurate measurements of patient’s UO. The device uses capacitive sensors to take continuous measurements of the height of the column of liquid accumulated in two chambers that make up a plastic container. The first chamber, where the urine inputs, has a small volume. Once it has been filled it overflows into a second bigger chamber. The first chamber provides accurate UO measures of patients whose UO has to be closely supervised, while the second one avoids the need for frequent interventions by the nursing staff to empty the containe

Soft and non-soft structural transitions in disordered nematic networks

Properties of disordered nematic elastomers and gels are theoretically investigated with emphasis on the roles of non-local elastic interactions and crosslinking conditions. Networks originally crosslinked in the isotropic phase lose their long-range orientational order by the action of quenched random stresses, which we incorporate into the affine-deformation model of nematic rubber elasticity. We present a detailed picture of mechanical quasi-Goldstone modes, which accounts for an almost completely soft polydomain-monodomain (P-M) transition under strain as well as a ``four-leaf clover'' pattern in depolarized light scattering intensity. Dynamical relaxation of the domain structure is studied using a simple model. The peak wavenumber of the structure factor obeys a power-law-type slow kinetics and goes to zero in true mechanical equilibrium. The effect of quenched disorder on director fluctuation in the monodomain state is analyzed. The random frozen contribution to the fluctuation amplitude dominates the thermal one, at long wavelengths and near the P-M transition threshold. We also study networks obtained by crosslinking polydomain nematic polymer melts. The memory of initial director configuration acts as correlated and strong quenched disorder, which renders the P-M transition non-soft. The spatial distribution of the elastic free energy is strongly dehomogenized by external strain, in contrast to the case of isotropically crosslinked networks.Comment: 19 pages, 15 EPS figure