Transitions-based system: A relevant use case

International audienc

A useful logical semantics of UML for querying and checking UML class diagram

Date du colloque : 01/2009International audienc

Using UML Class Diagram as a Knowledge Engineering Tool

Date du colloque : 05/2000International audienc

Aperçus de recherche : interroger efficacement un ensemble de bases RDF

In the context of information retrieval in the Web of Data, we propose a kind of compact version of a RDF triplestore, that acts as an overview on this base of RDF triples. An overview is not only more compact that the initial triplestore, but also SPARQL can be used on it. An overview is built in such a way that if a SPARQL query on overview has no result, then there is no result too to this query into the initial triplestore. So, querying overviews is a more efficient solution than querying the whole triplestores when the query has often no result from these RDF databases. It is usually the case when a user query triplestores on the web of data. Our solution has been evaluated using RDF bases extracted from DBPedia and queries extracted either from the most common used on DBPedia or because of their resolution complexity

Une synthèse des modèles de représentation des connaissances à base de Graphes Conceptuels et OWL

Nous présentons et comparons deux approches de modélisation, formelles et concrètes, pour représenter et manipuler des connaissances d’un domaine. Le modèle des graphes conceptuels permet de modéliser des connaissances en terme de graphes, basés sur un support. Cette approche de modélisation est intensionnelle, est munie d’une sémantique en logique du premier ordre, et fait l’hypothèse d’un monde fermé pour ses raisonnements. Le langage OWL permet de décrire des ontologies et des faits sur le Web, suivant une approche de modélisation extensionnelle. Il possède une sémantique issue des logiques de descriptions, et fait l’hypothèse d’un monde ouvert pour ses raisonnements

Periodic formation and propagation of double layers in the expanding chamber of an inductive discharge operating in Ar/SF₆ mixtures

It has previously been shown [Tuszewski et al., Plasma Sources Sci. Technol.12, 396 (2003)] that inductive discharges in electronegative gases are subject to two types of instability: the sourceinstability related to the E to H transition and a transport instability, occurring downstream when an expanding chamber is present. These two types of instability are observed in our “helicon” reactor operated without a static magnetic field in low-pressure Ar∕SF6 mixtures. Temporally and spatially resolved measurements show that, in our experiment, the downstream instability is a periodic formation and propagation of a double layer. The double layer is born at the end of the source tube and propagates slowly to the end of the expansion region with a velocity of 150ms⁻¹

Equilibrium model for two low-pressure electronegative plasmas connected by a double layer

Plihon et al. [J. Appl. Phys.98, 023306 (2005)] have recently shown that double layers usually form during the expansion of a low pressure electronegative plasma. These double layers act as permeable internal boundaries between the source (upstream) plasma and the downstream expanding plasma; positive ions flow from upstream to downstream whereas negative ions flow in the opposite direction. So far, the detailed physical mechanisms leading to their formation have not been identified. In this paper, we develop a model for the two plasma equilibria, upstream and downstream, assuming that the double layer exists and couples the two plasmas. At very low pressure, typically 0.5mTorr, the coupling is strong and acts both ways. The negative ions created downstream contributes to the upstream equilibrium as well as the upstream positive ions contribute to the downstream equilibrium. As the pressure increases, the situation becomes asymmetric. The sourceplasma is not affected by the negative ions flowing from downstream, whereas the positive ions coming from the source control the downstream plasma equilibrium, where local ionization is negligible.This work has been supported by the European Space Agency, under Ariadna Study Contract No. ACT-04-3101. One of the authors A.J.L. acknowledges the hospitality of the LPTP, where the collaboration was begun

A linear radiofrequency ion trap for accumulation, bunching, and emittance improvement of radioactive ion beams

An ion beam cooler and buncher has been developed for the manipulation of radioactive ion beams. The gas-filled linear radiofrequency ion trap system is installed at the Penning trap mass spectrometer ISOLTRAP at ISOLDE/CERN. Its purpose is to accumulate the 60-keV continuous ISOLDE ion beam with high efficiency and to convert it into low-energy low-emittance ion pulses. The efficiency was found to exceed 10% in agreement with simulations. A more than 10-fold reduction of the ISOLDE beam emittance can be achieved. The system has been used successfully for first on-line experiments. Its principle, setup and performance will be discussed

A cylindrical Penning trap for capture, mass selective cooling, and bunching of radioactive ion beams

A Penning trap ion accumulator, cooler, and buncher for low energy ion beams has been developed for the ISOLTRAP mass spectrometer at ISOLDE/CERN. A cylindrical electrode configuration is used for the creation of a nested trapping potential. This is required for efficient accumulation of externally produced ions and for high mass selectivity by buffer gas cooling. The design goal of a mass resolving power of about $1\cdot 10^{5}$ has been achieved. Isobar separation has been demonstrated for radioactive rare earth ion beams delivered by the ISOLDE on-line mass separator

Magnetic field stabilization for high-accuracy mass measurements on exotic nuclides

The magnetic-field stability of a mass spectrometer plays a crucial role in precision mass measurements. In the case of mass determination of short-lived nuclides with a Penning trap, major causes of instabilities are temperature fluctuations in the vicinity of the trap and pressure fluctuations in the liquid helium cryostat of the superconducting magnet. Thus systems for the temperature and pressure stabilization of the Penning trap mass spectrometer ISOLTRAP at the ISOLDE facility at CERN have been installed. A reduction of the fluctuations by at least one order of magnitude downto dT=+/-5mK and dp=+/-50mtorr has been achieved, which corresponds to a relative frequency change of 2.7x10^{-9} and 1.5x10^{-10}, respectively. With this stabilization the frequency determination with the Penning trap only shows a linear temporal drift over several hours on the 10 ppb level due to the finite resistance of the superconducting magnet coils.Comment: 23 pages, 13 figure