TGV: theory, principles and algorithms

This paper presents the TGV tool, which allows for the automatic synthesis of conformance test cases from a formal specification of a (non-deterministic) reactive system. TGV was developed by Irisa Rennes and Verimag Grenoble, with the support of the Vasy team of Inria Rhônes-Alpes. The paper describes the main elements of the underlying testing theory, which is based on a model of transitions system which distinguishes inputs, outputs and internal actions, and is based on the concept of conformance relation. The principles of the test synthesis process, as well as the main algorithms, are explained. We then describe the main characteristics of the TGV tool and refer to some industrial experiments that have been conducted to validate the approach. As a conclusion, we describe some ongoing work on test synthesis.     

Towards Reduced Basis Approaches in ab initio Electronic Structure Computations

Due to the high dimensionality of the spaces where the problems are set, adapted discretization basis are often advocated in complex physical problems (Navier–Stokes equations, solid mecanics, ab initio electronic structure computations) to express the solution in terms of solution of similar (but easier to solve) problems. However, very few mathematical studies have been undertaken to asses the numerical properties of these approximations. Within this context, we will present in this paper an overview of the tools required to develop more rigorous reduced basis approaches for quantum chemistry: a posteriori numerical analysis and fast exponential decay of the n-width of the solution set.     

Study and experimental validation of the calculation of the ECT signal induced by a minute crack using a FEM–BIM combination

A combination of the boundary integral (BIM) and finite element (FEM) methods is presented for the calculation of the signal induced by small cracks. This approach—by preserving the attractive properties of both methods—allows considering a large variety of probe structures while the computation time remains low, especially if the signal of a complete scan is calculated. To validate the calculation results, experiments are carried out using a large number of minute cracks. The good agreement obtained between the measured and calculated data shows the applicability of the presented method.     

Mapping sky and surface luminance distribution using a flux mapper

A prototype, all-sky flux mapper has been developed at the Solar Energy Research Institute (SERI). The flux mapper is a video system which provides a rapid, real time processing of daylightning luminance data. The system uses an orthographic-projection fish-eye lens to project the entire image of a 180° field onto a vidicon target. The signal is then digitized and may be plotted as equal brightness comtours or recorded on tape for later analysis. The system has great potential for use in delineating illuminance distribution of the sky and of interior spaces.     

Radiosity for dynamic scenes in flatland with the visibility complex

The radiosity method is particularly suitable for global illumination calculations in static environments. Nonetheless, recent applications of image synthesis such as architectural simulation or lighting design require the ability to modify environments. Previous methods have attempted to deal with dynamic environments (environments where the geometry, the material properties, etc., can change)but still suffer some limitations in the case of moving objects. One of the main problems remaining is the efficient and accurate detection of which form factors must really be recomputed, since their calculation is the most time-consuming part of the radiosity method. To correctly understand and solve this problem, we start with a method in 2D for polygonal scenes using the visibility complex. It is a powerful data structure representing the visibility relationships between objects in the plane. We have developed and implemented an algorithm which uses this structure to efficiently compute the discontinuity mesh and the form factors for static scenes. We also propose an extension to our algorithm to efficiently update only the modified form factors when an object is moving. This approach enhances our understanding and will hopefully lead to efficient solutions in 3D.     

Un modèle statistique pour les échos réverbérés par une surface fluctuante aléatoire

The authors have treated a statistical model which describes time intervals distribution between successive echos scattered by a fluctuating surface. A sonar signal scattered by sea surface is taken as a practical example. It is shown that scattered echos are achieved by random deleting of transmitted signals.     

Isolation of a lactone,structurally related to the esterifying acids of pyrrolizidine alkaloids,from the costal fringes of male Ithomiinae

Adult male Ithomiinae feed at plants containing pyrrolizidine alkaloids. Certain species secrete on hairs of the costal fringe, a specialized organ on their hindwings, a novel -lactone structurally related to the unusual branched-chain acids that are unique to these alkaloids.     

Poly(β-malic acid) : a new polymeric drug-carrier

Summary Poly(-malic acid) is a new synthetic functional polyester of the poly(-hydroxy-acid)-type whose properties are investigated in regard to possible uses as bioresorbable polyvalent drug-carrier. Degradation of polymer chains in 0.15 N phosphate buffer at pH=7.5 is monitored by aqueous GPC on SEPHADEX gels and by enzymatic titration of ultimate degradation products. It is shown that the rate of degradation obeys first order kinetics at the begining and that poly(-malic acid) degrades to malic acid at last.Presented at the 26th IUPAC Microsymposium on Macromolecules: Polymers in Medicine and Biology, Prague, July 9–12, 1984     

Simulation of electron energy loss near-edge structure at the Al and N K edges and Al L(23) edge in cubic aluminium nitride

Calculations of electron energy near edge structures (ELNES) are compared with experimental data obtained in a high-resolution transmission electron microscope. This study concerns small precipitates of aluminium nitride in low carbon steel. The ELNES technique allows to clearly establish that these precipitates crystallize in a cubic rather than in a hexagonal crystallographic cell. The influence on simulated spectra of different parameters are investigated: the size of the atomic shell and its relation with the electron inelastic mean free path. We also examine the influence of the core hole and the sensitivity to cell parameters. We particularly examine the Al L(23) near edge structure and features relating to the different transition channels (A(1g), E(g) and T(2g)). Results of a multiple scattering and band structure calculations using ICXANES and WIEN97 codes, respectively, are compared in the region from 0 to 30 eV above the edge onsets. Both calculations are in a rather good agreement.