Une introduction à la Ludique et à ses applications à la Pragmatique

Ce texte, écrit avec l'aide de spécialistes de la ludique (Marie-Renée Fleury et Myriam Quatrini) introduit à ce difficile sujet. En résumé, la ludique est une nouvelle manière de penser la logique, imaginée par Jean-Yves Girard, qui tente de dépasser le dualisme bien connu entre les preuves (objets syntaxiques) et les modèles (objets sémantiques). En ludique, les preuves s'opposent à des contre-preuves, le tout pouvant être subsumé sous le concept général d'épreuves (appellation proposée par Pierre Livet). On retrouve alors des notions mathématiques générales comme celle d'orthogonalité qui permettent de dessiner l'espace des "disputes". Les figures ainsi obtenues, appelées "dessins", peuvent être interprétées en termes de jeu et sont alors vues aussi comme des "desseins". La logique qu'on espère trouver au terme de cette exploration est celle qui possède les dessins les plus simples et les plus convaincants. Elle peut être la logique linéaire ou une de ses variantes (logique affine?). Le point de vue présenté dans ce papier introductif, qui sert de base à un programme financé par l'ANR (PRELUDE) est qu'on peut trouver dans la ludique un fondement commun à la logique et à la pragmatique des dialogues

A quasi-Monte Carlo integration method applied to the computation of the Pollaczek integral

Nos remerciements à IEEE pour l'autorisation de mise à disposition du papier complet. © IEEE Copyright Notice : Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.International audienceThis paper presents an effective numeric method to compute Pollaczek integral. This integral is widely used in transmission-line theory when computing the mutual impedance between an overhead conductor and another overhead or underground conductor and the earth-return impedance of an underground cable. At first, we present mutual expressions proposed by Pollaczek and underline the numerical complexities that often lead to the adoption of alternative simplified methods. Then a brief review of the so called "quasi-Monte Carlo" integration method along with its advantages is given. Such an approach is then applied to compute numerically Pollaczek expressions. Comparison between our numerical procedure and an algorithm that has already been published proves both the procedure accuracy, one of its main advantages along with its ease of implementation, and its relatively low time consumption, independent of the input parameters. Finally, as an application example, quasi-Monte Carlo method is used to assess the adequacy, for several study cases, of the simplified formula by Lucca, which is a widely used approximate expression of interest

Portable x-ray fluorescence spectrometer for coating thickness measurement

peer reviewedA handheld x-ray spectrometer has been realized and tested. The purpose of the device is to measure the thickness of coated samples in the range of 1-1500 nm in an industrial environment. Accuracy of similar to 3% has been achieved in this range with a measurement time of 1 min. Automated software has been implemented to allow utilization by a nonspecialist operator. An automated calibration procedure, based on measurements of reference samples, is used. (C) 2007 American Institute of Physics