Author: "Université Henri Poincaré - Nancy I" - Searchworks@Jio Institute Digital Library Search Results

Your search keyword '"Université Henri Poincaré - Nancy I"' showing total 645 results

Start Over Author "Université Henri Poincaré - Nancy I"

645 results on '"Université Henri Poincaré - Nancy I"'

1. On a class of switched linear systems

Author: CORIDA (INRIA Nancy - Grand Est / IECN / LMAM) ; CNRS - CNRS - INRIA - Université de Lorraine, Institut Elie Cartan Nancy (IECN) ; CNRS - INRIA - Université Henri Poincaré - Nancy I - Université Nancy II - Institut National Polytechnique de Lorraine (INPL), Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), CPER MISN: AOC action SC2, European Project : 232501, SME, FP7-SME-2008-1, HYCON(2009), Serres, Ulysse, Vivalda, Jean-Claude, Riedinger, Pierre, CORIDA (INRIA Nancy - Grand Est / IECN / LMAM) ; CNRS - CNRS - INRIA - Université de Lorraine, Institut Elie Cartan Nancy (IECN) ; CNRS - INRIA - Université Henri Poincaré - Nancy I - Université Nancy II - Institut National Polytechnique de Lorraine (INPL), Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), CPER MISN: AOC action SC2, European Project : 232501, SME, FP7-SME-2008-1, HYCON(2009), Serres, Ulysse, Vivalda, Jean-Claude, and Riedinger, Pierre
Abstract: International audience, This paper investigates sucient conditions for the convergence to zero of the trajectories of linear switched systems. We provide a collection of results that use weak dwell-time, dwell-time, strong dwell-time, permanent and persistent activation hypothesis. The obtained results are shown to be tight by counterexample. Finally, we apply our result to the three-cell converter.

2. Estimation d'état de bioprocédés par un observateur linéaire commuté ensembliste

Author: GCSP ; Laboratoire d'automatique de Grenoble (LAG) ; CNRS - Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG) - CNRS - Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG) - Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL) - CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL) - LABORATOIRE G-SCOP (LGS) ; CNRS - Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG) - CNRS - Laboratoire des sciences pour la conception, l'optimisation et la production (G-SCOP) ; Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG) - CNRS - CNRS, GCSP ; Laboratoire d'automatique de Grenoble (LAG) ; CNRS - Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG) - CNRS - Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG) - LABORATOIRE G-SCOP (LGS) ; CNRS - Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG) - CNRS - Laboratoire des sciences pour la conception, l'optimisation et la production (G-SCOP) ; Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG) - CNRS - CNRS, Laboratoire d'Electrochimie et de Physico-chimie des Matériaux et des Interfaces (LEPMI) ; CNRS - Université de Savoie - Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG), Adrot, Olivier, Flaus, Jean-Marie, Magnin, Jean-Pierre, GCSP ; Laboratoire d'automatique de Grenoble (LAG) ; CNRS - Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG) - CNRS - Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG) - Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL) - CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL) - LABORATOIRE G-SCOP (LGS) ; CNRS - Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG) - CNRS - Laboratoire des sciences pour la conception, l'optimisation et la production (G-SCOP) ; Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG) - CNRS - CNRS, GCSP ; Laboratoire d'automatique de Grenoble (LAG) ; CNRS - Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG) - CNRS - Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG) - LABORATOIRE G-SCOP (LGS) ; CNRS - Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG) - CNRS - Laboratoire des sciences pour la conception, l'optimisation et la production (G-SCOP) ; Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG) - CNRS - CNRS, Laboratoire d'Electrochimie et de Physico-chimie des Matériaux et des Interfaces (LEPMI) ; CNRS - Université de Savoie - Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG), Adrot, Olivier, Flaus, Jean-Marie, and Magnin, Jean-Pierre
Abstract: National audience, The objective consists in estimating some state variables of a bioreactor, which can not be easily measured in practice. This estimation is based on a switching model, i.e. a set of linear time-discrete state-space models. The set-membership approach is used to take model uncertainties and accuracy of sensor measurements into account. It allows to compute an enclosure containing state variables to be estimated.

3. Influence of transmission faults on the dependability level of networked control systems: application to a control loop

Author: Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), SA-IGA ; Grenoble Images Parole Signal Automatique (GIPSA-lab) ; CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology - CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology, IFAC, Ghostine, Rony, Thiriet, Jean-Marc, Aubry, Jean-François, Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), SA-IGA ; Grenoble Images Parole Signal Automatique (GIPSA-lab) ; CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology - CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology, IFAC, Ghostine, Rony, Thiriet, Jean-Marc, and Aubry, Jean-François
Abstract: International audience, The development of new technologies for automation, particularly the use of networks (notably wireless networks) and the generalisation of digital components, allows envisaging their use in several kinds of applications, with an induced low cost, particularly in embedded systems. When designing such digital-based systems, we must take care of the dependability level of these systems. Due to the complexity of these architectures, it is not trivial to evaluate this dependability level. The present paper proposes a modelling strategy in order to achieve this evaluation, with an application to a control loop.

4. Modélisation formelle d'un instrument intelligent dans le cadre d'analyse de sureté de fonctionnement

Author: Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), SA-IGA ; Grenoble Images Parole Signal Automatique (GIPSA-lab) ; CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology - CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology, RUFEREQ, Mkhida, Abdelhak, Thiriet, Jean-Marc, Aubry, Jean-François, Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), SA-IGA ; Grenoble Images Parole Signal Automatique (GIPSA-lab) ; CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology - CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology, RUFEREQ, Mkhida, Abdelhak, Thiriet, Jean-Marc, and Aubry, Jean-François
Abstract: International audience, Cet article présente une démarche de modélisation d'un instrument intelligent en langage formel Altarica. Il permet d'illustrer une approche méthodologique de sûreté de fonctionnement. Cette méthodologie s'appuie sur l'utilisation de Altarica/OCAS. Le système instrument intelligent est découpé en plusieurs sous-systèmes et les aspects modulaires et hiérarchiques du système sont conservés lors de la modélisation. L'analyse de sûreté de fonctionnement est traitée par génération automatique des séquences d'événements redoutés, et la construction des arbres de défaillances pour une analyse qualitative (coupes minimales) et quantitative (calcul des probabilités).

5. A simulation-based approach for the evaluation of transmission faults consequences on networked control system dependability

Author: Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), SA-IGA ; Grenoble Images Parole Signal Automatique (GIPSA-lab) ; CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology - CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology, AIAI, Ghostine, Rony, Thiriet, Jean-Marc, Aubry, Jean-François, Robert, Michel, Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), SA-IGA ; Grenoble Images Parole Signal Automatique (GIPSA-lab) ; CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology - CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology, AIAI, Ghostine, Rony, Thiriet, Jean-Marc, Aubry, Jean-François, and Robert, Michel
Abstract: International audience, The validation of network systems is mandatory to guarantee the dependability levels, that international standard impose in many safety-critical applications. Due to the complexity of networked control system architectures, it is not trivial to evaluate there dependability level. The present paper aims at bringing a contribution relative to this aspect. Since the medium is the most critical components, we focus our interest on analysing the effect of the transmission errors on the dependability parameter of an NCS. Transmission errors occur when perturbations attack the medium, and affect messages circulating on the medium. Our approach consists of modelling the functional behaviour of classical control system components, and both functional and dysfunctional behaviour of the network. Dependability parameters are evaluated by simulation.

6. Crédibilité de l'évaluation de la fiabilité de systèmes automatisés à intelligence distribuée

Author: Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), SA-IGA ; Grenoble Images Parole Signal Automatique (GIPSA-lab) ; CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology - CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology, AIAI, Simon, Christophe, Thiriet, Jean-Marc, Aubry, Jean-François, Robert, Michel, Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), SA-IGA ; Grenoble Images Parole Signal Automatique (GIPSA-lab) ; CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology - CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology, AIAI, Simon, Christophe, Thiriet, Jean-Marc, Aubry, Jean-François, and Robert, Michel
Abstract: International audience, Dans cet article, nous posons le problème de l'évaluation de la fiabilité d'un système à intelligence distribuée (SAID). Nous évaluons l'influence du type de commande sur le comportement fiabiliste du SAID. Le recours à la simulation de Monte-Carlo est nécessaire, mais nous proposons un modèle possibiliste pour obtenir une estimation de la fiabilité et une mesure de la crédibilité de cette évaluation avec un nombre réduit de simulation.

7. EIE-Surveyor: Observatory of the Bologna-process in EIE: an aid for the enhancement of mobility

Author: SA-IGA ; Grenoble Images Parole Signal Automatique (GIPSA-lab) ; CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology - CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology, Instituto Superior Tecnico [Lisboa] (IST) ; Universidade de Lisboa, Ampère ; Université Claude Bernard - Lyon I (UCBL) - Ecole Centrale de Lyon - Institut National des Sciences Appliquées [INSA] - Lyon - CNRS, Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Laboratoire d'études de l'intégration des composants et systèmes électroniques (IXL) ; CNRS - Université Sciences et Technologies - Bordeaux I - École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), EIE-Surveyor ERASMUS Thematic Network, EAEEIE, Thiriet, Jean-Marc, Martins, Maria João, Yahoui, Hamed, Robert, Michel, Fremont, Hélène, SA-IGA ; Grenoble Images Parole Signal Automatique (GIPSA-lab) ; CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology - CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology, Instituto Superior Tecnico [Lisboa] (IST) ; Universidade de Lisboa, Ampère ; Université Claude Bernard - Lyon I (UCBL) - Ecole Centrale de Lyon - Institut National des Sciences Appliquées [INSA] - Lyon - CNRS, Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Laboratoire d'études de l'intégration des composants et systèmes électroniques (IXL) ; CNRS - Université Sciences et Technologies - Bordeaux I - École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), EIE-Surveyor ERASMUS Thematic Network, EAEEIE, Thiriet, Jean-Marc, Martins, Maria João, Yahoui, Hamed, Robert, Michel, and Fremont, Hélène
Abstract: International audience, An accurate survey of the present status of the situation of the implementation of the Bologna-process in the fields of Electrical and Information Engineering in Europe is one of the objectives of the EIE-Surveyor project (www.eie-surveyor.org) ERASMUS thematic network. To attain this goal, a survey is proposed, identifying the curricula available in Europe in these disciplines, at the levels of bachelor, master and doctoral studies. The results obtained will be presented in a dedicated website and also a paper monograph in order to allow free access of students or colleagues to this information.

8. Impact de l'utilisation d'un réseau de communication sur les performances en sécurité d'un système instrumenté de sécurité

Author: Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), SA-IGA ; Grenoble Images Parole Signal Automatique (GIPSA-lab) ; CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology - CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology, Mkhida, Abdelhak, Thiriet, Jean-Marc, Aubry, Jean-François, Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), SA-IGA ; Grenoble Images Parole Signal Automatique (GIPSA-lab) ; CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology - CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology, Mkhida, Abdelhak, Thiriet, Jean-Marc, and Aubry, Jean-François
Abstract: International audience, Dans ce papier, la modélisation et l'évaluation des performances relatives à la sûreté de fonctionnement des systèmes instrumentés de sécurité (SIS) sont traitées pour des structures classiques. La contribution de la fonctionnalité communication est ensuite évaluée après l'introduction d'un réseau de communication dans les systèmes instrumentés de sécurité. Une approche dynamique utilisant les réseaux d'activité stochastiques est proposée. Les paramètres utilisés pour l'évaluation de la sûreté de fonctionnement des SIS se réfèrent à deux modes de défaillances mentionnés par les normes de sécurité relatives aux systèmes instrumentés de sécurité CEI 61508 et CEI 61511. Ces modes sont le mode de défaillances dangereuses et le mode de défaillances sûres.

9. Definition and modelling of the communication architecture for the control of a helicopter drone

Author: SA-IGA ; Grenoble Images Parole Signal Automatique (GIPSA-lab) ; CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology - CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology, Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Department of Cybernetics and Artificial Intelligence ; Technical University of Kosice, IFAC, Thiriet, Jean-Marc, Ghostine, Rony, Galdun, Jan, Ligus, Jan, Sarnovsky, Jan, SA-IGA ; Grenoble Images Parole Signal Automatique (GIPSA-lab) ; CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology - CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology, Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Department of Cybernetics and Artificial Intelligence ; Technical University of Kosice, IFAC, Thiriet, Jean-Marc, Ghostine, Rony, Galdun, Jan, Ligus, Jan, and Sarnovsky, Jan
Abstract: International audience

10. Sûreté de fonctionnement des systèmes commandés en réseau : influences des fautes transitoires

Author: Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), SA-IGA ; Grenoble Images Parole Signal Automatique (GIPSA-lab) ; CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology - CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology, Ghostine, Rony, Thiriet, Jean-Marc, Aubry, Jean-François, Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), SA-IGA ; Grenoble Images Parole Signal Automatique (GIPSA-lab) ; CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology - CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology, Ghostine, Rony, Thiriet, Jean-Marc, and Aubry, Jean-François
Abstract: 10 pages, National audience, Ce travail a pour but de proposer une approche pour l'évaluation de la fiabilité dans les systèmes commandés en réseau. L'aspect dynamique des systèmes commandés en plus de l'utilisation des réseaux de communications, font que les méthodes traditionnelles de la sûreté de fonctionnement sont difficilement utilisables. En absence d'une solution analytique notre approche est basée sur la modélisation et la simulation, elle consiste à modéliser le fonctionnement du système commandé ainsi que le fonctionnement et le dysfonctionnement du réseau de communication. La méthode de Monte-Carlo est utilisée pour l'évaluation probabiliste.

11. EIE-Surveyor : un programme européen pour favoriser les échanges et la reconnaissance des diplômes au niveau européen

Author: Dispositifs électroniques (DE) ; Institut d'Electronique et de Télécommunications de Rennes (IETR) ; CNRS - SUPELEC - Université de Rennes 1 - Institut National des Sciences Appliquées (INSA) - Rennes - CNRS - SUPELEC - Université de Rennes 1 - Institut National des Sciences Appliquées (INSA) - Rennes - Institut d'Electronique et de Télécommunications de Rennes (IETR) ; Université de Nantes - SUPELEC - Université de Rennes 1 - Institut National des Sciences Appliquées (INSA) - Rennes - CNRS - Université de Nantes, Laboratoire d'études de l'intégration des composants et systèmes électroniques (IXL) ; CNRS - Université Sciences et Technologies - Bordeaux I - École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Instituto Superior Tecnico [Lisboa] (IST) ; Universidade de Lisboa, Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), SA-IGA ; Grenoble Images Parole Signal Automatique (GIPSA-lab) ; CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology - CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology, Ampère ; Université Claude Bernard - Lyon I (UCBL) - Ecole Centrale de Lyon - Institut National des Sciences Appliquées [INSA] - Lyon - CNRS, EIE-Surveyor, Bonnaud, Olivier, Fremont, Hélène, Martins, Maria João, Pasquet, Daniel, Robert, Michel, Thiriet, Jean-Marc, Yahoui, Hamed, Dispositifs électroniques (DE) ; Institut d'Electronique et de Télécommunications de Rennes (IETR) ; CNRS - SUPELEC - Université de Rennes 1 - Institut National des Sciences Appliquées (INSA) - Rennes - CNRS - SUPELEC - Université de Rennes 1 - Institut National des Sciences Appliquées (INSA) - Rennes - Institut d'Electronique et de Télécommunications de Rennes (IETR) ; Université de Nantes - SUPELEC - Université de Rennes 1 - Institut National des Sciences Appliquées (INSA) - Rennes - CNRS - Université de Nantes, Laboratoire d'études de l'intégration des composants et systèmes électroniques (IXL) ; CNRS - Université Sciences et Technologies - Bordeaux I - École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Instituto Superior Tecnico [Lisboa] (IST) ; Universidade de Lisboa, Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), SA-IGA ; Grenoble Images Parole Signal Automatique (GIPSA-lab) ; CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology - CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology, Ampère ; Université Claude Bernard - Lyon I (UCBL) - Ecole Centrale de Lyon - Institut National des Sciences Appliquées [INSA] - Lyon - CNRS, EIE-Surveyor, Bonnaud, Olivier, Fremont, Hélène, Martins, Maria João, Pasquet, Daniel, Robert, Michel, Thiriet, Jean-Marc, and Yahoui, Hamed
Abstract: papier n° 27, 4 pages, International audience, Avec l'évolution continue du paysage universitaire au niveau européen, mais également en dehors de l'Europe, le but de ce réseau thématique ERASMUS est d'agir à la fois comme un observatoire et une force de proposition pour cette évolution dans les domaines de l'"Electrical and Information Engineering" (EIE). EIE-Surveyor est un réseau thématique ERASMUS [1] financé par la Commission européenne pour une période de trois ans, d'octobre 2005 à octobre 2008. Le projet inclut une définition et une étude des compétences génériques et spécifiques, des procédures d'accréditation ou d'habilitation des diplômes, du contenu des programmes et des cursus internationaux

12. New results for the EIE-Surveyor project

Author: SA-IGA ; Grenoble Images Parole Signal Automatique (GIPSA-lab) ; CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology - CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology, Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Instituto Superior Tecnico [Lisboa] (IST) ; Universidade de Lisboa, University of York [York] ; University of York, Dispositifs électroniques (DE) ; Institut d'Electronique et de Télécommunications de Rennes (IETR) ; CNRS - SUPELEC - Université de Rennes 1 - Institut National des Sciences Appliquées (INSA) - Rennes - CNRS - SUPELEC - Université de Rennes 1 - Institut National des Sciences Appliquées (INSA) - Rennes - Institut d'Electronique et de Télécommunications de Rennes (IETR) ; Université de Nantes - SUPELEC - Université de Rennes 1 - Institut National des Sciences Appliquées (INSA) - Rennes - CNRS - Université de Nantes, Universität Ulm, Institut für Mikrowellentechnik ; Universität Ulm, Institut für Mikrowellentechnik, Ampère ; Université Claude Bernard - Lyon I (UCBL) - Ecole Centrale de Lyon - Institut National des Sciences Appliquées [INSA] - Lyon - CNRS, Laboratoire d'études de l'intégration des composants et systèmes électroniques (IXL) ; CNRS - Université Sciences et Technologies - Bordeaux I - École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Projet européen Réseau Thématique EIE-Surveyor, EAEEIE, Thiriet, Jean-Marc, Robert, Michel, Martins, Maria João, Ward, Anthony E., Bonnaud, Olivier, Hoffmann, Michael, Yahoui, Hamed, Fremont, Hélène, SA-IGA ; Grenoble Images Parole Signal Automatique (GIPSA-lab) ; CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology - CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Université Stendhal - Grenoble III - Institut Polytechnique de Grenoble - Grenoble Institute of Technology, Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Instituto Superior Tecnico [Lisboa] (IST) ; Universidade de Lisboa, University of York [York] ; University of York, Dispositifs électroniques (DE) ; Institut d'Electronique et de Télécommunications de Rennes (IETR) ; CNRS - SUPELEC - Université de Rennes 1 - Institut National des Sciences Appliquées (INSA) - Rennes - CNRS - SUPELEC - Université de Rennes 1 - Institut National des Sciences Appliquées (INSA) - Rennes - Institut d'Electronique et de Télécommunications de Rennes (IETR) ; Université de Nantes - SUPELEC - Université de Rennes 1 - Institut National des Sciences Appliquées (INSA) - Rennes - CNRS - Université de Nantes, Universität Ulm, Institut für Mikrowellentechnik ; Universität Ulm, Institut für Mikrowellentechnik, Ampère ; Université Claude Bernard - Lyon I (UCBL) - Ecole Centrale de Lyon - Institut National des Sciences Appliquées [INSA] - Lyon - CNRS, Laboratoire d'études de l'intégration des composants et systèmes électroniques (IXL) ; CNRS - Université Sciences et Technologies - Bordeaux I - École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Projet européen Réseau Thématique EIE-Surveyor, EAEEIE, Thiriet, Jean-Marc, Robert, Michel, Martins, Maria João, Ward, Anthony E., Bonnaud, Olivier, Hoffmann, Michael, Yahoui, Hamed, and Fremont, Hélène
Abstract: 4 pages, International audience, The EIE-Surveyor ERASMUS thematic network has been launched in October 2005 for three years, the end will be in 2008. The purpose of this paper is to present a state of development of the outcomes developed within the project as well as the dissemination policy. This gives an overview of the results of the project, which are available freely from the web-site www.eie-surveyor.org

13. Approches de la fiabilité dynamique pour modéliser des systèmes critiques

Author: Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Institut Charles Delaunay (ICD) ; Université de Technologie de Troyes - CNRS, Université de Technologie de Troyes (UTT) ; Université de Technologie de Troyes, Institut Charles Delaunay Laboratoire de Modélisation et Sûreté des Systèmes (LM2S) ; Université de Technologie de Troyes, E.D.F. Division Recherche et Développement [Clamart] ; EDF, Institut National de l'Environnement Industriel et des Risques (INERIS) ; INERIS, Institut de Mathématiques de Bordeaux (IMB) ; Université Sciences et Technologies - Bordeaux I - Université Victor Segalen - Bordeaux II - CNRS, CQFD (INRIA Bordeaux - Sud-Ouest) ; CNRS - INRIA - Université de Bordeaux, Groupe de Recherche en Economie Théorique et Appliquée (GREThA) ; Université Montesquieu - Bordeaux IV - CNRS, Laboratoire Jean Kuntzmann (LJK) ; CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Institut Polytechnique de Grenoble - Grenoble Institute of Technology, Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes (LITIS) ; Université du Havre - Université de Rouen - Institut National des Sciences Appliquées [INSA] - Rouen, Babykina, Génia, Barros, Anne, Bérenguer, Christophe, Bouissou, Marc, Brinzei, Nicolae, Brissaud, Florent, Broy, Perrine, Deleuze, Gilles, De Saporta, Benoîte, Dufour, François, Dijoux, Yann, Donat, Roland, Do Van, Phuc, Langeron, Yves, Nguyen, Danh Ngoc, Medjaher, Slimane, Zhang, Huilong, Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Institut Charles Delaunay (ICD) ; Université de Technologie de Troyes - CNRS, Université de Technologie de Troyes (UTT) ; Université de Technologie de Troyes, Institut Charles Delaunay Laboratoire de Modélisation et Sûreté des Systèmes (LM2S) ; Université de Technologie de Troyes, E.D.F. Division Recherche et Développement [Clamart] ; EDF, Institut National de l'Environnement Industriel et des Risques (INERIS) ; INERIS, Institut de Mathématiques de Bordeaux (IMB) ; Université Sciences et Technologies - Bordeaux I - Université Victor Segalen - Bordeaux II - CNRS, CQFD (INRIA Bordeaux - Sud-Ouest) ; CNRS - INRIA - Université de Bordeaux, Groupe de Recherche en Economie Théorique et Appliquée (GREThA) ; Université Montesquieu - Bordeaux IV - CNRS, Laboratoire Jean Kuntzmann (LJK) ; CNRS - Université Joseph Fourier - Grenoble I - Université Pierre-Mendès-France - Grenoble II - Institut Polytechnique de Grenoble - Grenoble Institute of Technology, Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes (LITIS) ; Université du Havre - Université de Rouen - Institut National des Sciences Appliquées [INSA] - Rouen, Babykina, Génia, Barros, Anne, Bérenguer, Christophe, Bouissou, Marc, Brinzei, Nicolae, Brissaud, Florent, Broy, Perrine, Deleuze, Gilles, De Saporta, Benoîte, Dufour, François, Dijoux, Yann, Donat, Roland, Do Van, Phuc, Langeron, Yves, Nguyen, Danh Ngoc, Medjaher, Slimane, and Zhang, Huilong
Abstract: National audience, Le projet consiste à expérimenter et comparer des approches de la fiabilité dynamique. L'enjeu est de modéliser de façon probabiliste la sûreté de fonctionnement des systèmes critiques, en particulier les interactions entre les processus physiques (modélisé par des variables continues) et le contrôle-commande (modélisé par des variables discrètes), en présence de défaillances (stochastiques) ou de contextes rares. Les domaines industriels visés sont la production d'énergie et les industries des procédés. Les partenaires sont l'Université de Technologie de Troyes (UTT-ICD), Nancy-Université-INPL (CRAN), Institut de Mathématiques de Bordeaux-INRIA (CQFD), EDF R&D. Le projet part du constat que les méthodes classiques, binaires ou par états, d'évaluation de la sûreté de fonctionnement (Arbres de Défaillance, Arbres d'Evènements, réseaux de Petri stochastiques) présentent des limites pour les systèmes critiques à caractère hybride.. Face à ces systèmes, qui combinent en général des variables continues de nature déterministe, et des évènements discrets de nature stochastique, les approches statiques et même dynamiques à espace d'états discret, peuvent conduire, passé un certain niveau de complexité ou de réalisme, à des simplifications excessives qui mettent en cause la crédibilité de l'analyse ou peuvent mener à des marges excessives, ou pire, à des parades inappropriées.

14. Analysis of a numerical benchmark for 2D columnar solidification of binary alloys

Author: Institut Jean Lamour : Matériaux -Métallurgie - Nanosciences - Plasma - Surfaces (IJL) ; CNRS - Université Paul Verlaine - Metz - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Centre de Mise en Forme des Matériaux (CEMEF) ; CNRS - MINES ParisTech - École nationale supérieure des mines de Paris, Science et Ingénierie des Matériaux et Procédés (SIMaP) ; CNRS - Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG), Laboratoire d'Énergétique Moléculaire et Macroscopique, Combustion (EM2C) ; CNRS - Ecole Centrale Paris, Institut de Mécanique et d'Ingénierie de Bordeaux (I2M) ; CNRS - Arts et Métiers ParisTech - Université Sciences et Technologies - Bordeaux I - Institut Polytechnique de Bordeaux, Combeau, Hervé, Bellet, Michel, Fautrelle, Yves, Gobin, Dominique, Arquis, Eric, Budenkova, Olga, Dussoubs, Bernard, Duterrail, Yves, Kumar, Arvind, Gandin, Charles-André, Goyeau, Benoit, Mosbah, S., Quatravaux, Thibault, Rady, Mohamed, Zaloznik, Miha, Institut Jean Lamour : Matériaux -Métallurgie - Nanosciences - Plasma - Surfaces (IJL) ; CNRS - Université Paul Verlaine - Metz - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Centre de Mise en Forme des Matériaux (CEMEF) ; CNRS - MINES ParisTech - École nationale supérieure des mines de Paris, Science et Ingénierie des Matériaux et Procédés (SIMaP) ; CNRS - Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG), Laboratoire d'Énergétique Moléculaire et Macroscopique, Combustion (EM2C) ; CNRS - Ecole Centrale Paris, Institut de Mécanique et d'Ingénierie de Bordeaux (I2M) ; CNRS - Arts et Métiers ParisTech - Université Sciences et Technologies - Bordeaux I - Institut Polytechnique de Bordeaux, Combeau, Hervé, Bellet, Michel, Fautrelle, Yves, Gobin, Dominique, Arquis, Eric, Budenkova, Olga, Dussoubs, Bernard, Duterrail, Yves, Kumar, Arvind, Gandin, Charles-André, Goyeau, Benoit, Mosbah, S., Quatravaux, Thibault, Rady, Mohamed, and Zaloznik, Miha
Abstract: International audience, During the solidification of metal alloys, chemical heterogeneities at the scale of the product develop. It is referred to as "macrosegregation". Numerical simulation tools exist in the industry. However, their predictive capabilities are not validated and are still limited. A 2D numerical benchmark is presented, based on the solidification of metallic Pb-Sn alloys. Concerning the numerical benchmark, a "minimal" common model of solidification is assumed, including columnar growth without undercooling, fixed solid, isotropic permeability of the mushy region, local thermodynamic equilibrium, lever-rule assumption for the local average composition. We focus our attention on the numerical method used to solve the average conservation equations: Finite Volume, Finite Element, Velocity-Pressure coupling treatment, scheme for convective terms, etc. At this stage of the work, we cannot exhibit a reference solution. However we draw some conclusions on the effects of the grid dependency, in particular on the location and sizes of the segregate channels. The development of both thermally and solutal driven convections in the first stage of the process (cf. low Prandtl and high Lewis numbers) and the relative independency of the convective scheme are also discussed. This presentation also have the goal to call other contributors to join this benchmark [1] in order to enrich the exercise and to reach a reference solution for this important problem in metallurgy.

15. Channel segregation during columnar solidification : influence of inertia

Author: Institut Jean Lamour : Matériaux -Métallurgie - Nanosciences - Plasma - Surfaces (IJL) ; CNRS - Université Paul Verlaine - Metz - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Laboratoire d'Énergétique Moléculaire et Macroscopique, Combustion (EM2C) ; CNRS - Ecole Centrale Paris, Kumar, Arvin, Zaloznik, Miha, Combeau, Hervé, Goyeau, Benoit, Gobin, Dominique, Institut Jean Lamour : Matériaux -Métallurgie - Nanosciences - Plasma - Surfaces (IJL) ; CNRS - Université Paul Verlaine - Metz - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Laboratoire d'Énergétique Moléculaire et Macroscopique, Combustion (EM2C) ; CNRS - Ecole Centrale Paris, Kumar, Arvin, Zaloznik, Miha, Combeau, Hervé, Goyeau, Benoit, and Gobin, Dominique
Abstract: International audience, The numerical prediction of channel segregations during two-dimensional columnar solidification of Sn-Pb alloy is analyzed when inertia is considered in the dendritic mushy zone. This contribution is included in the momentum transport equation through the quadratic Forchheimer correction term. A significant influence of the Forchheimer term in the vicinity of the liquidus region is found. The natural convective flow field and therefore the global shape of the mushy zone are modified giving rise to significant decrease of channel segregation, due to additional drag in these regions.

16. Ellipse detection through decomposition of circular arcs and line segments

Author: ADAGIO (LORIA) ; CNRS - INRIA - Université Henri Poincaré - Nancy I - Université Nancy II - Institut National Polytechnique de Lorraine (INPL), Laboratoire de Mathématiques (LAMA) ; CNRS - Université de Savoie, Nguyen, Thanh Phuong, Kerautret, Bertrand, ADAGIO (LORIA) ; CNRS - INRIA - Université Henri Poincaré - Nancy I - Université Nancy II - Institut National Polytechnique de Lorraine (INPL), Laboratoire de Mathématiques (LAMA) ; CNRS - Université de Savoie, Nguyen, Thanh Phuong, and Kerautret, Bertrand
Abstract: International audience, In this work we propose an efficient and original method for ellipse detection which relies on a recent contour representation based on arcs and line segments \cite{NguyenD11a}. The first step of such a detection is to locate ellipse candidate with a grouping process exploiting geometric properties of adjacent arcs and lines. Then, for each ellipse candidate we extract a compact and significant representation defined from the segment and arc extremities together with the arc middle points. This representation allows then a fast ellipse detection by using a simple least square technique. Finally some first comparisons with other robust approaches are proposed.

17. Unsupervised, Fast and Precise Recognition of Digital Arcs in Noisy Images

Author: ADAGIO (LORIA) ; CNRS - INRIA - Université Henri Poincaré - Nancy I - Université Nancy II - Institut National Polytechnique de Lorraine (INPL), Laboratoire de Mathématiques (LAMA) ; CNRS - Université de Savoie, Nguyen, Thanh Phuong, Kerautret, Bertrand, Debled-Rennesson, Isabelle, Lachaud, Jaques Oliver, ADAGIO (LORIA) ; CNRS - INRIA - Université Henri Poincaré - Nancy I - Université Nancy II - Institut National Polytechnique de Lorraine (INPL), Laboratoire de Mathématiques (LAMA) ; CNRS - Université de Savoie, Nguyen, Thanh Phuong, Kerautret, Bertrand, Debled-Rennesson, Isabelle, and Lachaud, Jaques Oliver
Abstract: International audience, In image processing and pattern recognition, the accuracy of most algorithms is dependent on a good parameterization, generally a computation scale or an estimation of the amount of noise, which may be global or variable within the input image. Recently, a simple and linear time algorithm for arc detection in images was proposed \cite{NKDL-Unsupervised_Nguyen10a}. Its accuracy is dependent on the correct evaluation of the amount of noise, which was set by the user in this former version. In the present work we integrate a promising unsupervised noise detection method \cite{NKDL-Unsupervised_KerautretL09} in this arc recognition method, in order to process images with or without noise, uniformly distributed or variable within the picture. We evaluate the performance of this algorithm and we compare it with standard arc and circle detection methods based on extensions of the Hough transform.

18. Cheating to achieve Formal Concept Analysis over a large formal context

Author: Departamento de Informatica [Valparaíso, Chile] ; Universidad Técnica Federico Santa María (UTFSM), ORPAILLEUR (INRIA Lorraine - LORIA) ; CNRS - INRIA - Université Henri Poincaré - Nancy I - Université Nancy II - Institut National Polytechnique de Lorraine (INPL), Centre de recherche en épistémologie appliquée (CREA) ; CNRS - Polytechnique - X, Quaero Program, funded by OSEO, French State agency for innovation, Codocedo, Victor, Taramasco, Carla, Astudillo, Hernan, Departamento de Informatica [Valparaíso, Chile] ; Universidad Técnica Federico Santa María (UTFSM), ORPAILLEUR (INRIA Lorraine - LORIA) ; CNRS - INRIA - Université Henri Poincaré - Nancy I - Université Nancy II - Institut National Polytechnique de Lorraine (INPL), Centre de recherche en épistémologie appliquée (CREA) ; CNRS - Polytechnique - X, Quaero Program, funded by OSEO, French State agency for innovation, Codocedo, Victor, Taramasco, Carla, and Astudillo, Hernan
Abstract: International audience, Researchers are facing one of the main problems of the Information Era. As more articles are made electronically available, it gets harder to follow trends in the different domains of research. Cheap, coherent and fast to construct knowledge models of research domains will be much required when information becomes unmanageable. While Formal Concept Analysis (FCA) has been widely used on several areas to construct knowledge artifacts for this purpose (Ontology development, Information Retrieval, Software Refactoring, Knowledge Discovery), the large amount of documents and terminology used on research domains makes it not a very good option (because of the high computational cost and humanly-unprocessable output). In this article we propose a novel heuristic to create a taxonomy from a large term-document dataset using Latent Semantic Analysis and Formal Concept Analysis. We provide and discuss its implementation on a real dataset from the Software Architecture community obtained from the ISI Web of Knowledge (4400 documents).

19. Nitriding process at low temperature for thin metal films in (Ar-N2-H2) expanding ternary plasma

Author: Axe 2 : procédés de traitements de surface ; Science des Procédés Céramiques et de Traitements de Surface (SPCTS) ; Université de Limoges - Ecole Nationale Supérieure de Céramique Industrielle - Institut des Procédés Appliqués aux Matériaux - CNRS - Université de Limoges - Ecole Nationale Supérieure de Céramique Industrielle - Institut des Procédés Appliqués aux Matériaux - CNRS - Science des Procédés Céramiques et de Traitements de Surface (SPCTS) ; Université de Limoges - Ecole Nationale Supérieure de Céramique Industrielle - Institut des Procédés Appliqués aux Matériaux - CNRS - CNRS, Laboratoire de physique des matériaux (LPM) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), MINACOM ; XLIM (XLIM) ; Université de Limoges - CNRS - Université de Limoges - CNRS - XLIM (XLIM) ; Université de Limoges - CNRS - CNRS, XLIM (XLIM) ; Université de Limoges - CNRS, Science des Procédés Céramiques et de Traitements de Surface (SPCTS) ; Université de Limoges - Ecole Nationale Supérieure de Céramique Industrielle - Institut des Procédés Appliqués aux Matériaux - CNRS, Touimi, Said, Jauberteau, Isabelle, Weber, S., Bessaudou, Annie, Passelergue, Armand, Mayet, Richard, Jauberteau, Jean-Louis, Aubreton, A., Axe 2 : procédés de traitements de surface ; Science des Procédés Céramiques et de Traitements de Surface (SPCTS) ; Université de Limoges - Ecole Nationale Supérieure de Céramique Industrielle - Institut des Procédés Appliqués aux Matériaux - CNRS - Université de Limoges - Ecole Nationale Supérieure de Céramique Industrielle - Institut des Procédés Appliqués aux Matériaux - CNRS - Science des Procédés Céramiques et de Traitements de Surface (SPCTS) ; Université de Limoges - Ecole Nationale Supérieure de Céramique Industrielle - Institut des Procédés Appliqués aux Matériaux - CNRS - CNRS, Laboratoire de physique des matériaux (LPM) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), MINACOM ; XLIM (XLIM) ; Université de Limoges - CNRS - Université de Limoges - CNRS - XLIM (XLIM) ; Université de Limoges - CNRS - CNRS, XLIM (XLIM) ; Université de Limoges - CNRS, Science des Procédés Céramiques et de Traitements de Surface (SPCTS) ; Université de Limoges - Ecole Nationale Supérieure de Céramique Industrielle - Institut des Procédés Appliqués aux Matériaux - CNRS, Touimi, Said, Jauberteau, Isabelle, Weber, S., Bessaudou, Annie, Passelergue, Armand, Mayet, Richard, Jauberteau, Jean-Louis, and Aubreton, A.
Abstract: International audience

20. Plasma and material surface investigations in a nitriding process of thin molybdenum films using an expanding (Ar-N2-H2) plasma

Author: Axe 2 : procédés de traitements de surface ; Science des Procédés Céramiques et de Traitements de Surface (SPCTS) ; Université de Limoges - Ecole Nationale Supérieure de Céramique Industrielle - Institut des Procédés Appliqués aux Matériaux - CNRS - Université de Limoges - Ecole Nationale Supérieure de Céramique Industrielle - Institut des Procédés Appliqués aux Matériaux - CNRS - Science des Procédés Céramiques et de Traitements de Surface (SPCTS) ; Université de Limoges - Ecole Nationale Supérieure de Céramique Industrielle - Institut des Procédés Appliqués aux Matériaux - CNRS - CNRS, Laboratoire de physique des matériaux (LPM) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), MINACOM ; XLIM (XLIM) ; Université de Limoges - CNRS - Université de Limoges - CNRS - XLIM (XLIM) ; Université de Limoges - CNRS - CNRS, XLIM (XLIM) ; Université de Limoges - CNRS, Touimi, Said, Jauberteau, Isabelle, Jauberteau, Jean-Louis, Weber, S., Bessaudou, Annie, Passelergue, Armand, Aubreton, Jacques, Axe 2 : procédés de traitements de surface ; Science des Procédés Céramiques et de Traitements de Surface (SPCTS) ; Université de Limoges - Ecole Nationale Supérieure de Céramique Industrielle - Institut des Procédés Appliqués aux Matériaux - CNRS - Université de Limoges - Ecole Nationale Supérieure de Céramique Industrielle - Institut des Procédés Appliqués aux Matériaux - CNRS - Science des Procédés Céramiques et de Traitements de Surface (SPCTS) ; Université de Limoges - Ecole Nationale Supérieure de Céramique Industrielle - Institut des Procédés Appliqués aux Matériaux - CNRS - CNRS, Laboratoire de physique des matériaux (LPM) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), MINACOM ; XLIM (XLIM) ; Université de Limoges - CNRS - Université de Limoges - CNRS - XLIM (XLIM) ; Université de Limoges - CNRS - CNRS, XLIM (XLIM) ; Université de Limoges - CNRS, Touimi, Said, Jauberteau, Isabelle, Jauberteau, Jean-Louis, Weber, S., Bessaudou, Annie, Passelergue, Armand, and Aubreton, Jacques
Abstract: International audience

21. Life Cycle Assessment of hydrogen energy pattern

Author: Centre Sciences, Information et Technologies pour l'Environnement (SITE-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne, École Nationale Supérieure des Mines de Saint-Étienne (ENSM-SE) ; Groupe des Écoles des Mines (GEM), Département Maîtrise des Impacts Environnementaux et des Risques Industriels (MIRI-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne - SITE, Laboratoire de combustion et de détonique (LCD) ; CNRS, Centre Sciences des Processus Industriels et Naturels (SPIN-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne, Laboratoire de Science et Génie des Matériaux et de Métallurgie (LSG2M) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Aissani, Lynda, Rousseaux, P., Bourgois, Jacques, Périer-Camby, Laurent, Sessiecq, P., Jabouille, F., Loget, Sébastien, Centre Sciences, Information et Technologies pour l'Environnement (SITE-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne, École Nationale Supérieure des Mines de Saint-Étienne (ENSM-SE) ; Groupe des Écoles des Mines (GEM), Département Maîtrise des Impacts Environnementaux et des Risques Industriels (MIRI-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne - SITE, Laboratoire de combustion et de détonique (LCD) ; CNRS, Centre Sciences des Processus Industriels et Naturels (SPIN-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne, Laboratoire de Science et Génie des Matériaux et de Métallurgie (LSG2M) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Aissani, Lynda, Rousseaux, P., Bourgois, Jacques, Périer-Camby, Laurent, Sessiecq, P., Jabouille, F., and Loget, Sébastien
Abstract: International audience

22. Life Cycle Assessment of hydrogen energy pattern

Author: Centre Sciences, Information et Technologies pour l'Environnement (SITE-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne, École Nationale Supérieure des Mines de Saint-Étienne (ENSM-SE) ; Groupe des Écoles des Mines (GEM), Département Maîtrise des Impacts Environnementaux et des Risques Industriels (MIRI-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne - SITE, Laboratoire de combustion et de détonique (LCD) ; CNRS, Centre Sciences des Processus Industriels et Naturels (SPIN-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne, Laboratoire de Science et Génie des Matériaux et de Métallurgie (LSG2M) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Aissani, Lynda, Rousseaux, P., Bourgois, Jacques, Périer-Camby, Laurent, Sessiecq, P., Jabouille, F., Loget, Sébastien, Centre Sciences, Information et Technologies pour l'Environnement (SITE-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne, École Nationale Supérieure des Mines de Saint-Étienne (ENSM-SE) ; Groupe des Écoles des Mines (GEM), Département Maîtrise des Impacts Environnementaux et des Risques Industriels (MIRI-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne - SITE, Laboratoire de combustion et de détonique (LCD) ; CNRS, Centre Sciences des Processus Industriels et Naturels (SPIN-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne, Laboratoire de Science et Génie des Matériaux et de Métallurgie (LSG2M) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Aissani, Lynda, Rousseaux, P., Bourgois, Jacques, Périer-Camby, Laurent, Sessiecq, P., Jabouille, F., and Loget, Sébastien
Abstract: International audience

23. Life Cycle Assessment of hydrogen energy pattern- energy and matter balance

Author: Centre Sciences, Information et Technologies pour l'Environnement (SITE-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne, École Nationale Supérieure des Mines de Saint-Étienne (ENSM-SE) ; Groupe des Écoles des Mines (GEM), Département Maîtrise des Impacts Environnementaux et des Risques Industriels (MIRI-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne - SITE, Laboratoire de combustion et de détonique (LCD) ; CNRS, Laboratoire de Science et Génie des Matériaux et de Métallurgie (LSG2M) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Centre Sciences des Processus Industriels et Naturels (SPIN-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne, Département Procédés et évolution des systèmes avec solides (ProcESS-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne - SPIN, Laboratoire des Procédés en Milieux Granulaires (LPMG-EMSE) ; CNRS - École Nationale Supérieure des Mines - Saint-Étienne, Aissani, Lynda, Bourgois, Jacques, Rousseaux, P., Sessiecq, P., Périer-Camby, Laurent, Jabouille, F., Loget, S., Centre Sciences, Information et Technologies pour l'Environnement (SITE-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne, École Nationale Supérieure des Mines de Saint-Étienne (ENSM-SE) ; Groupe des Écoles des Mines (GEM), Département Maîtrise des Impacts Environnementaux et des Risques Industriels (MIRI-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne - SITE, Laboratoire de combustion et de détonique (LCD) ; CNRS, Laboratoire de Science et Génie des Matériaux et de Métallurgie (LSG2M) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Centre Sciences des Processus Industriels et Naturels (SPIN-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne, Département Procédés et évolution des systèmes avec solides (ProcESS-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne - SPIN, Laboratoire des Procédés en Milieux Granulaires (LPMG-EMSE) ; CNRS - École Nationale Supérieure des Mines - Saint-Étienne, Aissani, Lynda, Bourgois, Jacques, Rousseaux, P., Sessiecq, P., Périer-Camby, Laurent, Jabouille, F., and Loget, S.
Abstract: International audience

24. Analyse du Cycle de Vie de la filière hydrogène énergie – Première étape : définition des objectifs et du champ de l'étude

Author: Centre Sciences, Information et Technologies pour l'Environnement (SITE-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne, École Nationale Supérieure des Mines de Saint-Étienne (ENSM-SE) ; Groupe des Écoles des Mines (GEM), Département Maîtrise des Impacts Environnementaux et des Risques Industriels (MIRI-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne - SITE, Laboratoire de combustion et de détonique (LCD) ; CNRS, Laboratoire de Science et Génie des Matériaux et de Métallurgie (LSG2M) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Centre Sciences des Processus Industriels et Naturels (SPIN-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne, Département Procédés et évolution des systèmes avec solides (ProcESS-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne - SPIN, Laboratoire des Procédés en Milieux Granulaires (LPMG-EMSE) ; CNRS - École Nationale Supérieure des Mines - Saint-Étienne, Aissani, Lynda, Bourgois, Jacques, Rousseaux, P., Sessiecq, P., Périer-Camby, Laurent, Jabouille, F., Centre Sciences, Information et Technologies pour l'Environnement (SITE-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne, École Nationale Supérieure des Mines de Saint-Étienne (ENSM-SE) ; Groupe des Écoles des Mines (GEM), Département Maîtrise des Impacts Environnementaux et des Risques Industriels (MIRI-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne - SITE, Laboratoire de combustion et de détonique (LCD) ; CNRS, Laboratoire de Science et Génie des Matériaux et de Métallurgie (LSG2M) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Centre Sciences des Processus Industriels et Naturels (SPIN-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne, Département Procédés et évolution des systèmes avec solides (ProcESS-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne - SPIN, Laboratoire des Procédés en Milieux Granulaires (LPMG-EMSE) ; CNRS - École Nationale Supérieure des Mines - Saint-Étienne, Aissani, Lynda, Bourgois, Jacques, Rousseaux, P., Sessiecq, P., Périer-Camby, Laurent, and Jabouille, F.
Abstract: National audience, Dans le contexte actuel de pollution atmosphérique, de démocratisation de l'énergie et d'épuisement des ressources fossiles, le Groupement des Ecoles des Mines (GEM) s'est lancé dans la recherche d'une filière énergétique propre et renouvelable dans le secteur du transport: la production à partir de biomasse, le stockage et l'utilisation de l'hydrogène dans une pile à combustible « Polymer Exchange Membran Fuel Cell ». Le GEM, souhaitant connaître les performances environnementales de cette filière tout le long de son cycle de vie, a commandité la réalisation d'une Analyse du Cycle de Vie (ACV) de cette filière. Cette ACV compare d'un point de vue environnemental la filière hydrogène à la filière essence et à la filière bioéthanol (issu de la biomasse lignocellulosique et reformé pour obtenir de l'hydrogène). La première étape de cette ACV a été effectuée, elle consiste en la définition des objectifs et du champ de l'étude. Deux finalités ont, tout d'abord, été déterminées : - dans un premier temps, la sélection d'une filière énergétique par rapport à ses performances environnementales - dans un second temps, l'amélioration de la filière hydrogène développée par le GEM grâce à l'identification de ses points forts et faibles. Le système « motorisation d'une voiture citadine » a, ensuite, été choisi comme objet de l'étude. L'unité fonctionnelle choisie pour quantifier les performances de ce système est la quantité de carburant consommée pendant toute la durée de vie du système. Le système de référence choisi est le moteur essence puisqu'il s'agit du système présentant les meilleures performances à l'heure actuelle (les filières hydrogène et bioéthanol n'étant qu'au stade de développement). Dès lors, la durée de vie du moteur à explosion est déterminée par 150 000 km parcourus pendant 12 ans. Puis, pour fixer les frontières de chacun des trois systèmes, un arbre des processus ou diagramme de flux a été réalisé, suivi d'un bilan matière et énergie « théorique » pour cha

25. Life Cycle Assessment of hydrogen energy pattern- energy and matter balance

Author: Centre Sciences, Information et Technologies pour l'Environnement (SITE-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne, École Nationale Supérieure des Mines de Saint-Étienne (ENSM-SE) ; Groupe des Écoles des Mines (GEM), Département Maîtrise des Impacts Environnementaux et des Risques Industriels (MIRI-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne - SITE, Laboratoire de combustion et de détonique (LCD) ; CNRS, Laboratoire de Science et Génie des Matériaux et de Métallurgie (LSG2M) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Centre Sciences des Processus Industriels et Naturels (SPIN-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne, Département Procédés et évolution des systèmes avec solides (ProcESS-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne - SPIN, Laboratoire des Procédés en Milieux Granulaires (LPMG-EMSE) ; CNRS - École Nationale Supérieure des Mines - Saint-Étienne, Aissani, Lynda, Bourgois, Jacques, Rousseaux, P., Sessiecq, P., Périer-Camby, Laurent, Jabouille, F., Loget, S., Centre Sciences, Information et Technologies pour l'Environnement (SITE-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne, École Nationale Supérieure des Mines de Saint-Étienne (ENSM-SE) ; Groupe des Écoles des Mines (GEM), Département Maîtrise des Impacts Environnementaux et des Risques Industriels (MIRI-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne - SITE, Laboratoire de combustion et de détonique (LCD) ; CNRS, Laboratoire de Science et Génie des Matériaux et de Métallurgie (LSG2M) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Centre Sciences des Processus Industriels et Naturels (SPIN-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne, Département Procédés et évolution des systèmes avec solides (ProcESS-ENSMSE) ; École Nationale Supérieure des Mines - Saint-Étienne - SPIN, Laboratoire des Procédés en Milieux Granulaires (LPMG-EMSE) ; CNRS - École Nationale Supérieure des Mines - Saint-Étienne, Aissani, Lynda, Bourgois, Jacques, Rousseaux, P., Sessiecq, P., Périer-Camby, Laurent, Jabouille, F., and Loget, S.
Abstract: International audience

26. Towards Validating a Platoon of Cristal Vehicles using CSP||B

Author: DEDALE (LORIA) ; CNRS - INRIA - Université Henri Poincaré - Nancy I - Université Nancy II - Institut National Polytechnique de Lorraine (INPL), Laboratoire d'Informatique de Franche-Comté (LIFC) ; Université de Franche-Comté, Projet ANR-06-SETI-017 TACOS, Springer, ANR-06-SETI-017, TACOS, Trustworthy Assembling of Components : frOm Requirements to Specifications(2006), Colin, Samuel, Lanoix, Arnaud, Kouchnarenko, Olga, Souquières, Jeanine, DEDALE (LORIA) ; CNRS - INRIA - Université Henri Poincaré - Nancy I - Université Nancy II - Institut National Polytechnique de Lorraine (INPL), Laboratoire d'Informatique de Franche-Comté (LIFC) ; Université de Franche-Comté, Projet ANR-06-SETI-017 TACOS, Springer, ANR-06-SETI-017, TACOS, Trustworthy Assembling of Components : frOm Requirements to Specifications(2006), Colin, Samuel, Lanoix, Arnaud, Kouchnarenko, Olga, and Souquières, Jeanine
Abstract: 24 pages, International audience, The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles is developed using the combination, named CSP||B, of two well-known formal methods. This large -- both distributed and embedded -- system typically corresponds to a multi-level composition of components that have to cooperate. We show how to develop and verify the specification and check some properties in a compositional way. We make use of previous theoretical results on CSP||B to validate this complex multi-agent system.

27. Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles

Author: DEDALE (LORIA) ; CNRS - INRIA - Université Henri Poincaré - Nancy I - Université Nancy II - Institut National Polytechnique de Lorraine (INPL), Projet ANR-06-SETI-017 TACOS, projet Pôle de compétitivité Alsace/Franche-comté CRISTAL, ANR-06-SETI-017, TACOS, Trustworthy Assembling of Components : frOm Requirements to Specifications(2006), Lanoix, Arnaud, DEDALE (LORIA) ; CNRS - INRIA - Université Henri Poincaré - Nancy I - Université Nancy II - Institut National Polytechnique de Lorraine (INPL), Projet ANR-06-SETI-017 TACOS, projet Pôle de compétitivité Alsace/Franche-comté CRISTAL, ANR-06-SETI-017, TACOS, Trustworthy Assembling of Components : frOm Requirements to Specifications(2006), and Lanoix, Arnaud
Abstract: 10 pages, International audience, Situated Multi-Agents Systems (MAS), and other Agent-based systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. Event-B is a formal method with tool support allowing a stepwise development of reactive distributed systems. MAS being a subclass of such systems, we propose using Event-B to helpful their specification and their safe development. In this article, we mainly report our experience with the Even-B stepwise development of a situated MAS which study the displacement of vehicles in a convoy. This article aims also at serving as a guide for the development of other MAS, taking agents-specific features into account.

28. Using CSP||B Components: Application to a Platoon of Vehicles

Author: DEDALE (LORIA) ; CNRS - INRIA - Université Henri Poincaré - Nancy I - Université Nancy II - Institut National Polytechnique de Lorraine (INPL), Laboratoire d'Informatique de Franche-Comté (LIFC) ; Université de Franche-Comté, ANR TACOS project, ANR-06-SETI-017 and Pôle de compétitivité Alsace/Franche-Comté CRISTAL project, ANR-06-SETI-017, TACOS, Trustworthy Assembling of Components : frOm Requirements to Specifications(2006), Colin, Samuel, Lanoix, Arnaud, Kouchnarenko, Olga, Souquières, Jeanine, DEDALE (LORIA) ; CNRS - INRIA - Université Henri Poincaré - Nancy I - Université Nancy II - Institut National Polytechnique de Lorraine (INPL), Laboratoire d'Informatique de Franche-Comté (LIFC) ; Université de Franche-Comté, ANR TACOS project, ANR-06-SETI-017 and Pôle de compétitivité Alsace/Franche-Comté CRISTAL project, ANR-06-SETI-017, TACOS, Trustworthy Assembling of Components : frOm Requirements to Specifications(2006), Colin, Samuel, Lanoix, Arnaud, Kouchnarenko, Olga, and Souquières, Jeanine
Abstract: 27 pages, International audience, This paper presents an experience report on the specification and the validation of a real case study in the context of the industrial CRISTAL project. The case study concerns a platoon of a new type of urban vehicles with new functionalities and services. It is specified using the combination, named CSP$\|$B, of two well-known formal methods, and validated using the corresponding support tools. This large -- both distributed and embedded -- system typically corresponds to a multi-level composition of components that have to cooperate. We identify some lessons learned, showing how to develop and verify the specification and check some properties in a compositional way using theoretical results and support tools to validate this complex system.

29. Model-free control of shape memory alloys antagonistic actuators

Author: Laboratoire brestois de mécanique et des systèmes (LBMS) ; Université de Bretagne Occidentale (UBO) - Institut Supérieur des Sciences et Technologies de Brest (ISSTB) - ENSTA Bretagne - Ecole Nationale d'Ingénieurs de Brest, Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), ALIEN (INRIA Futurs) ; INRIA - Polytechnique - X, Gédouin, Pierre-Antoine, Join, Cédric, Delaleau, Emmanuel, Bourgeot, Jean-Matthieu, Arbab-Chirani, Shabnam, Calloch, Sylvain, Laboratoire brestois de mécanique et des systèmes (LBMS) ; Université de Bretagne Occidentale (UBO) - Institut Supérieur des Sciences et Technologies de Brest (ISSTB) - ENSTA Bretagne - Ecole Nationale d'Ingénieurs de Brest, Centre de recherche en automatique de Nancy (CRAN) ; CNRS - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), ALIEN (INRIA Futurs) ; INRIA - Polytechnique - X, Gédouin, Pierre-Antoine, Join, Cédric, Delaleau, Emmanuel, Bourgeot, Jean-Matthieu, Arbab-Chirani, Shabnam, and Calloch, Sylvain
Abstract: International audience, This paper deals with a first application of the new framework of model-free control to the promising technology of shape memory alloys actuators. In particular antagonistic shape memory alloys actuator. These devices are known to be difficult to model in a control perspective. Simulations results are exposed and some preliminary experimental results illustrates the paper.

30. Beijing

Author: Laboratoire d'Etude des Microstructures et de Mécanique des Matériaux (LEM3) ; CNRS - Arts et Métiers ParisTech - Université Henri Poincaré - Nancy I - Ecole Nationale d'Ingénieurs de Metz - Université de Lorraine, DFMS ; Laboratoire brestois de mécanique et des systèmes (LBMS) ; Université de Bretagne Occidentale (UBO) - Institut Supérieur des Sciences et Technologies de Brest (ISSTB) - ENSTA Bretagne - Ecole Nationale d'Ingénieurs de Brest - Université de Bretagne Occidentale (UBO) - Institut Supérieur des Sciences et Technologies de Brest (ISSTB) - ENSTA Bretagne - Ecole Nationale d'Ingénieurs de Brest, Mercier, Sebastien, Jacques, Nicolas, Molinari, A., Laboratoire d'Etude des Microstructures et de Mécanique des Matériaux (LEM3) ; CNRS - Arts et Métiers ParisTech - Université Henri Poincaré - Nancy I - Ecole Nationale d'Ingénieurs de Metz - Université de Lorraine, DFMS ; Laboratoire brestois de mécanique et des systèmes (LBMS) ; Université de Bretagne Occidentale (UBO) - Institut Supérieur des Sciences et Technologies de Brest (ISSTB) - ENSTA Bretagne - Ecole Nationale d'Ingénieurs de Brest - Université de Bretagne Occidentale (UBO) - Institut Supérieur des Sciences et Technologies de Brest (ISSTB) - ENSTA Bretagne - Ecole Nationale d'Ingénieurs de Brest, Mercier, Sebastien, Jacques, Nicolas, and Molinari, A.
Abstract: International audience

31. On the influence of microscale inertia on dynamic ductile crack extension.

Author: DFMS ; Laboratoire brestois de mécanique et des systèmes (LBMS) ; Université de Bretagne Occidentale (UBO) - Institut Supérieur des Sciences et Technologies de Brest (ISSTB) - ENSTA Bretagne - Ecole Nationale d'Ingénieurs de Brest - Université de Bretagne Occidentale (UBO) - Institut Supérieur des Sciences et Technologies de Brest (ISSTB) - ENSTA Bretagne - Ecole Nationale d'Ingénieurs de Brest, Laboratoire d'Etude des Microstructures et de Mécanique des Matériaux (LEM3) ; CNRS - Arts et Métiers ParisTech - Université Henri Poincaré - Nancy I - Ecole Nationale d'Ingénieurs de Metz - Université de Lorraine, Jacques, Nicolas, Mercier, Sebastien, Molinari, A., DFMS ; Laboratoire brestois de mécanique et des systèmes (LBMS) ; Université de Bretagne Occidentale (UBO) - Institut Supérieur des Sciences et Technologies de Brest (ISSTB) - ENSTA Bretagne - Ecole Nationale d'Ingénieurs de Brest - Université de Bretagne Occidentale (UBO) - Institut Supérieur des Sciences et Technologies de Brest (ISSTB) - ENSTA Bretagne - Ecole Nationale d'Ingénieurs de Brest, Laboratoire d'Etude des Microstructures et de Mécanique des Matériaux (LEM3) ; CNRS - Arts et Métiers ParisTech - Université Henri Poincaré - Nancy I - Ecole Nationale d'Ingénieurs de Metz - Université de Lorraine, Jacques, Nicolas, Mercier, Sebastien, and Molinari, A.
Abstract: International audience

32. Modélisation du comportement mécanique des matériaux poreux sous chargement dynamique avec prise en compte de l'effet de forme des cavités

Author: Laboratoire d'Etude des Microstructures et de Mécanique des Matériaux (LEM3) ; CNRS - Arts et Métiers ParisTech - Université Henri Poincaré - Nancy I - Ecole Nationale d'Ingénieurs de Metz - Université de Lorraine, DFMS ; Laboratoire brestois de mécanique et des systèmes (LBMS) ; Université de Bretagne Occidentale (UBO) - Institut Supérieur des Sciences et Technologies de Brest (ISSTB) - ENSTA Bretagne - Ecole Nationale d'Ingénieurs de Brest - Université de Bretagne Occidentale (UBO) - Institut Supérieur des Sciences et Technologies de Brest (ISSTB) - ENSTA Bretagne - Ecole Nationale d'Ingénieurs de Brest, Sartori, C., Mercier, Sebastien, Jacques, Nicolas, Molinari, Alain, Laboratoire d'Etude des Microstructures et de Mécanique des Matériaux (LEM3) ; CNRS - Arts et Métiers ParisTech - Université Henri Poincaré - Nancy I - Ecole Nationale d'Ingénieurs de Metz - Université de Lorraine, DFMS ; Laboratoire brestois de mécanique et des systèmes (LBMS) ; Université de Bretagne Occidentale (UBO) - Institut Supérieur des Sciences et Technologies de Brest (ISSTB) - ENSTA Bretagne - Ecole Nationale d'Ingénieurs de Brest - Université de Bretagne Occidentale (UBO) - Institut Supérieur des Sciences et Technologies de Brest (ISSTB) - ENSTA Bretagne - Ecole Nationale d'Ingénieurs de Brest, Sartori, C., Mercier, Sebastien, Jacques, Nicolas, and Molinari, Alain
Abstract: National audience

33. Armouring of well cement in H2S-CO2 saturated brine by calcite coating -- experiments and numerical modelling

Author: Géologie et gestion des ressources minérales et énergétiques (G2R) ; CNRS - INSU - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Bureau de recherches géologiques et minières (BRGM) ; Bureau de Recherches Géologiques et Minières (BRGM), Centre de Géosciences (GEOSCIENCES) ; MINES ParisTech - École nationale supérieure des mines de Paris, Centre scientifique et Technique Jean Feger (CSTJF) ; TOTAL FINA ELF, Jacquemet, Nicolas, Pironon, Jacques, Lagneau, Vincent, Saint-Marc, Jérémie, Géologie et gestion des ressources minérales et énergétiques (G2R) ; CNRS - INSU - Université Henri Poincaré - Nancy I - Institut National Polytechnique de Lorraine (INPL), Bureau de recherches géologiques et minières (BRGM) ; Bureau de Recherches Géologiques et Minières (BRGM), Centre de Géosciences (GEOSCIENCES) ; MINES ParisTech - École nationale supérieure des mines de Paris, Centre scientifique et Technique Jean Feger (CSTJF) ; TOTAL FINA ELF, Jacquemet, Nicolas, Pironon, Jacques, Lagneau, Vincent, and Saint-Marc, Jérémie
Abstract: International audience, The active acid gas (H2S-CO2 mixture) injection operations in Nortn America provide practical experience for the operators in charge of industrial scale CO2 geological storage sites. Potential leakage via wells and their environmental impacts make well construction durability an issue for efficiency/safety of gas geological storage. In such operations, the well cement is in contact with reservoir brines and the injected gas, meaning that gas-water-solid chemical reactions may change the physical properties of the cement ans its ability to confine the gas downhole. The cement-forming Calicum silicate hydrates carbonation (by CO2) and feriite sulfidation (by H2S) reactions are expected. The main objective of this study is to determine their consequences on cement mineralogy and trasfert ability. 15 and 60 days duration batch experiments were performed, as welle as numerical simulation of the experiments. The work suggest that in both acid gas and CO2 geological storage, clogging of cement or at least mineral assemblage conservation and slowing of carbonation progress could occur in near-well zones where slight water flow occurs e.g. in the vicinity of caprock shales.

34. Quantum-mechanical simulation of the IR reflectance spectrum of Mn{sub 3}Al{sub 2}Si{sub 3}O{sub 12} spessartine

Author: Pascale, F. [Laboratoire de Cristallographie et Modélisation des Matériaux Minéraux et Biologiques, UMR-CNRS-7036, Université Henri Poincaré - Nancy I, B.P. 239, 54506 Vandoeuvre-lès-Nancy Cedex 05 (France)]
Published: 2015
Full Text: View/download PDF

35. Ecuaciones Diferenciales en Derivadas Parciales relacionadas con la Mecánica

Author: Saouri, Fatima-Zahra, Conca, Carlos, and Université Henri Poincaré Nancy I
Abstract: FONDAP FONDAP CMM
Published: 2020

36. Modélisation stochastique du dépôt de particules colloïdales transportées par des écoulements turbulents isothermes et non isothermes

Author: Martineau, Clara, Laboratoire Énergies et Mécanique Théorique et Appliquée (LEMTA ), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Université Henri Poincaré - Nancy I, and Anne Tanière(anne.taniere@univ-lorraine.fr)
Subjects: thermophorèse, particle polydispersed flows, modélisation lagrangienne stochastique, turbulent structures, écoulement diphasique polydispersé, colloidal particle, thermophoresis, particules colloïdales, [PHYS.MECA.MEFL]Physics [physics]/Mechanics [physics]/Fluid mechanics [physics.class-ph], lagrangian stochastic modeling, structures turbulentes, CFD, [SPI.MECA.MEFL]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Fluids mechanics [physics.class-ph]
Abstract: We present here new results obtained with the generalisation to non isothermal flows of a near-wall particle deposition model. This work is divided in two parts. The first part consists in coupling the Generalised Langevin Model used to compute the particles statistics in the core of the flow with the Near-Wall Model that calculates particles motion in the vicinity of the wall. In order to achieve the coupling in a consistent way, we focus on the balance of fluxes of fluid particles crossing the interface between the two models. This amounts to assessing if the coupling is valid in the fluid limit case, as non-physical accumulation of fluid particles can occur at the interface. This part of the study has lead to theoretical and numerical developments on the conditional statistics of particles crossing an interface. The particle deposition rate is then computed with inertial particles and the model reproduces satisfactorily experimental studies in isothermal flow. In the case of non isothermal flows, particles can experience thermophoresis (which is a mechanism that induces a particle flux in the presence of a temperature gradient in the flow) that may strongly affect the particle deposition rate. We thus choose to model thermophoresis in our Near-Wall deposition Model in order to predict accurate particule deposition in non isothermal flows. In this part of the study we first investigate thermophoresis in gas as it is well explained, thanks to the gas kinetic theory. Thermophoresis in liquids is then studied. In contrast to the gases, the theory and experiment of thermophoresis in liquids are far from being well established. The last part of this work is dedicated to the modelisation of thermophoresis in liquids in the Near-Wall Model. It has lead to new promising numerical results of particle deposition enhanced by thermophoresis in liquids.; Nous présentons la généralisation d'un modèle de dépôt de particules aux écoulements non isothermes. Ce travail comporte deux parties. La première partie présente l'approche de modélisation lagrangienne stochastique adoptée pour simuler le dépôt de particules colloïdales et traite du raccord entre le Modèle de Langevin Généralisé qui calcule le transport des particules dans le cœur de l'écoulement et le Modèle de Proche Paroi destiné au transport des particules au voisinage de la paroi. Le raccord est assuré par l'équilibre du flux de particules traversant l'interface entre les deux modèles. La validation du couplage s'effectue par le passage en particules fluides, il s'agit de vérifier que le raccord est valable dans le cas limite du fluide. En effet, des accumulations non physiques de particules fluides peuvent se produire autour de l'interface. Le travail de couplage a donné lieu à des développements théoriques et numériques sur les statistiques conditionnées d'une particule traversant une interface. Des calculs de dépôt de particules montrent que le modèle reproduit correctement les résultats expérimentaux pour des écoulements isothermes. Cependant, dans un écoulement non isotherme, les particules peuvent faire l'expérience du phénomène de thermophorèse (qui est le mécanisme de déplacement des particules induit par un gradient de température) qui peut considérablement influencer le dépôt de particules. Nous avons donc choisi d'intégrer la modélisation de la thermophorèse dans le Modèle de Proche Paroi afin d'évaluer au mieux le taux de dépôt de particules dans un écoulement non isotherme. Nous commençons par étudier la thermophorèse en milieu gazeux car elle est très bien expliquée par la théorie cinétique des gaz. L'étude de la thermophorèse en milieu liquide est plus ardue car elle ne dispose pas encore de théorie unifié ni de travaux expérimentaux qui étudient ce phénomène. La dernière partie de ce document est donc consacrée à la prise en compte du phénomène de thermophorèse en liquide dans le Modèle de Proche Paroi. Cette étude fournit de nouveaux résultats numériques de dépôt de particules en présence d'un gradient de température dans un milieu liquide.
Published: 2013

37. Premiers travaux relatifs au concept de matière communicante : Processus de dissémination des informations relatives au produit

Author: Kubler, Sylvain, Centre de Recherche en Automatique de Nancy (CRAN), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Université Henri Poincaré - Nancy I, and Eric Rondeau, André Thomas(Eric.Rondeau@univ-lorraine.fr)
Subjects: bases de données distribuées, intelligent products, Internet of things, produit intelligents, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], Internet des objets, dissémination des données, data dissemination, ubiquitous computing, informatique ubiquitaire, [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing, [INFO.INFO-MC]Computer Science [cs]/Mobile Computing, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], distributed database, Product life cycle management, Gestion du cycle de vie du produit, [SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics
Abstract: Over the last decade, communities involved with intelligent-manufacturing systems (IMS - Intelligent Manufacturing Systems, HMS - Holonic Manufacturing System) have demonstrated that systems that integrate intelligent products can be more efficient, flexible and adaptable. Intelligent products may prove to be beneficial economically, to deal with product traceability and information sharing along the product lifecycle. Nevertheless, there are still some open questions such as the specification of what information should be gathered, stored and distributed and how it should be managed during the lifecycle of the product. The contribution of this thesis is to define a process for disseminating information related to the product over the its lifecycle. This process is combined with a new paradigm, which changes drastically the way we view the material. This concept aims to give the ability for the material to be intrinsically and wholly communicating. The data dissemination process allow users to store context-sensitive information on communicating product. In addition to the data dissemination process, this thesis gives insight into the technological and scientific research fields inherent to the concept of communicating material, which remain to be explored.; Depuis de nombreuses années, plusieurs communautés telles que IMS (Intelligent Manufacturing Systems), HMS (Holonic Manufacturing System) ont suggéré l'utilisation de produits intelligents pour rendre les systèmes adaptables et adaptatifs et ont montré les bénéfices pouvant être réalisés, tant au niveau économique, qu'au niveau de la traçabilité des produits, qu'au niveau du partage des informations ou encore de l'optimisation des procédés de fabrication. Cependant, un grand nombre de questions restent ouvertes comme la collecte des informations liées au produit, leur stockage à travers la chaîne logistique, ou encore la dissémination et la gestion de ces informations tout au long de leur cycle de vie. La contribution de cette thèse est la définition d'un cadre de dissémination des informations relatives au produit durant l'ensemble de son cycle de vie. Ce cadre de dissémination est associé à un nouveau paradigme qui change radicalement la manière de voir le produit et la matière. Ce nouveau concept consiste à donner la faculté au produit d'être intrinsèquement et intégralement communicant. Le cadre de dissémination des informations offre la possibilité à l'utilisateur d'embarquer des informations sensibles au contexte d'utilisation du produit communicant. Outre la définition du processus de dissémination des informations, cette thèse offre un aperçu des champs de recherche, tant scientifiques que technologiques, à investiguer par l'avenir concernant le concept de matière communicante.
Published: 2012

38. Modelling, estimation and control of a coaxial rotor UAV

Author: Koehl, Arnaud, Centre de Recherche en Automatique de Nancy (CRAN), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Université Henri Poincaré - Nancy I, Mohamed Boutayeb(mohamed.boutayeb@univ-lorraine.fr), Zasadzinski, Michel, Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), and UL, Thèses
Subjects: Automatic control, Filtre de Kalman, Aérodynamique-Modèles mathématiques, Mathematical models, [SPI.OTHER] Engineering Sciences [physics]/Other, Identification des systèmes, Estimation de paramètres, Mécanique du vol, Drones-Aérodynamique, Aérodynamique subsonique, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Filtres de Kalman, Aerodynamics, [SPI.AUTO] Engineering Sciences [physics]/Automatic, Modélisation, Contrôle automatique, Parameter estimation, System identification, Kalman filtering, Systèmes de commande (vol), Drone aircraft, Drones
Abstract: The miniature rotary wing UAVs are now tending to become the new tools of the soldier, with the versatility of missions they can be used. Their main advantage concerns their ability to combine the hovering and translational fast flight in narrow and congested environments. We propose the study of a new and atypical UAV concept called GLMAV (Gun Launched Micro Air Vehicle), which must bring a hybrid projectile/UAV very quickly on a site of interest, using the energy delivered by a portable weapon. The first task concerns the modelling of the aerodynamic GLMAV model. The parametric identification of the aerodynamic model is then realized from experimental load data, that can be a priori quantified by a persistent-excitability-algebraic-criterion. We then propose two filtering techniques to estimate the unknown aerodynamic parameters but needful to determine the aerodynamic environment in which the vehicle operates. In addition, to compensate the failure of embedded sensors that can affect the linear speed information after the shooting, we propose a reduced-order estimator to conserve a good linear speed information. In both estimation problems we prove the stability of the proposed observers. Finally, we propose a control scheme for the stabilization of the aircraft in the quasistationary flight mode from a linearized GLMAV model. The efficiencies of the proposed methods are illustrated through numerical results and experimental tests, Les drones miniatures à voilures tournantes tendent aujourd'hui à devenir les nouveaux outils du fantassin, grâce à la polyvalence des missions auxquelles ils peuvent être employés. Leur principal atout concerne leur capacité à combiner le vol stationnaire et le vol de translation rapide, dans des environnements étroits et encombrés. Nous proposons ici l'étude d'un nouveau concept de drone atypique appelé GLMAV (Gun Launched Micro Air Vehicle), qui consiste à amener un véhicule hybride projectile/drone très rapidement sur un site d'intérêt éloigné, en utilisant l'énergie fournie par une arme portable. La première tâche concerne la modélisation aérodynamique du GLMAV. L'identification paramétrique du modèle aérodynamique est alors réalisée à partir de données expérimentales d'efforts, que nous pouvons a priori quantifier par un critère algébrique d'excitabilité persistante. Nous proposons ensuite des techniques de filtrage, afin d'estimer les paramètres anémométriques inconnus mais nécessaires pour connaître l'environnement aérodynamique dans lequel l'engin évolue. De plus, pour palier à la défaillance de capteurs embarqués et qui peuvent affecter l'information de vitesse linéaire après le tir, nous proposons un estimateur d'ordre réduit de la vitesse linéaire. Dans ces deux problèmes d'estimation, nous prouvons la stabilité des observateurs proposés. Enfin, nous proposons une structure de commande pour la stabilisation de l'engin en vol quasi-stationnaire à partir d'un modèle de synthèse linéaire. Les efficacités des méthodes proposées sont illustrées par des résultats de simulations numériques et des essais expérimentaux
Published: 2012

39. Curved finite elements and acceleration for the neutron transport

Author: Moller, Jean-Yves, Service des Réacteurs et de Mathématiques Appliquées (SERMA), Département de Modélisation des Systèmes et Structures (DM2S), CEA-Direction des Energies (ex-Direction de l'Energie Nucléaire) (CEA-DES (ex-DEN)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-CEA-Direction des Energies (ex-Direction de l'Energie Nucléaire) (CEA-DES (ex-DEN)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Université Henri Poincaré - Nancy I, Simon Labrunie, Richard Sanchez, UL, Thèses, and Service d’Études des Réacteurs et de Mathématiques Appliquées (SERMA)
Subjects: Théorie du-Modèles mathématiques, Théorie du, Méthode des, Transport, éléments finis, [MATH.MATH-GM] Mathematics [math]/General Mathematics [math.GM], Transport des neutrons, synthetic acceleration, neutron transport, transport neutronique, accélération synthétique, mathématiques appliquées, Analyse numérique -- Accélération de la convergence, [MATH.MATH-MP]Mathematics [math]/Mathematical Physics [math-ph], finite elements, applied mathematics, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
Abstract: To model the nuclear reactors, the stationnary linear Boltzmann equation is solved. After discretising the energy and the angular variables, the hyperbolic equation is numerically solved with the discontinuous finite element method. The MINARET code uses this method on a triangular unstructured mesh in order to deal with complex geometries (like containing arcs of circle). However, the meshes with straight edges only approximate such geometries. With curved edges, the mesh fits exactly to the geometry, and in some cases, the number of triangles decreases. The main task of this work is the study of finite elements on curved triangles with one or several curved edges. The choice of the basis functions is one of the main points for this kind of finite elements. We obtained a convergence result under the assumption that the curved triangles are not too deformed in comparison with the associated straight triangles. Furthermore, a code has been written to treat triangles with one, two or three curved edges. Another part of this work deals with the acceleration of transport calculations. Indeed, the problem is solved iteratively, and, in some cases, can converge really slowly. A DSA (Diffusion Synthetic Acceleration) method has been implemented using a technique from interior penalty methods. A Fourier analysis in 1D and 2D allows to estimate the acceleration for infinite periodical media, and to check the stability of the numerical scheme when strong heterogeneities exist, La modélisation des réacteurs nucléaires repose sur la résolution de l'équation de Boltzmann linéaire. Pour la résolution spatiale de la forme stationnaire de cette équation, le solveur MINARET utilise la méthode des éléments finis discontinus sur un maillage triangulaire non structuré afin de pouvoir traiter des géométries complexes. Cependant, l'utilisation d'arêtes droites introduit une approximation de la géométrie. Autoriser l'existence d'arêtes courbes permet de coller parfaitement à la géométrie, et dans certains cas de diminuer le nombre de triangles du maillage. L'objectif principal de cette thèse est l'étude d'éléments finis sur des triangles possédant plusieurs bords courbes. Le choix des fonctions de base est un des points importants pour ce type d'éléments finis. Un résultat de convergence a été obtenu sous réserve que les triangles courbes ne soient pas trop éloignés des triangles droits associés. D'autre part, un solveur courbe a été développé pour traiter des triangles avec plusieurs bords courbes. Une autre partie de ce travail porte sur l'accélération de la convergence des calculs. En effet, la résolution du problème est itérative et peut converger très lentement. Une méthode d'accélération dite DSA (Diffusion Synthetic Acceleration) permet de diminuer le nombre d'itérations et le temps de calcul. L'opérateur de diffusion est utilisé comme un préconditionneur de l'opérateur de transport. La DSA a été mise en oeuvre en utilisant une technique issue des méthodes de pénalisation intérieure. Une analyse de Fourier en 1D et 2D permet de vérifier la stabilité du schéma pour des milieux périodiques avec de fortes hétérogénéités
Published: 2012

40. Eléments finis courbes et accélération pour le transport de neutrons

Author: Moller, Jean-Yves, Service des Réacteurs et de Mathématiques Appliquées (SERMA), Département de Modélisation des Systèmes et Structures (DM2S), CEA-Direction des Energies (ex-Direction de l'Energie Nucléaire) (CEA-DES (ex-DEN)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-CEA-Direction des Energies (ex-Direction de l'Energie Nucléaire) (CEA-DES (ex-DEN)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Université Henri Poincaré - Nancy I, Simon Labrunie, Richard Sanchez, Moller, Jean-Yves, and UL, Thèses
Subjects: Théorie du-Modèles mathématiques, Théorie du, Méthode des, Transport, éléments finis, [MATH.MATH-GM] Mathematics [math]/General Mathematics [math.GM], [MATH.MATH-NA] Mathematics [math]/Numerical Analysis [math.NA], Transport des neutrons, synthetic acceleration, neutron transport, transport neutronique, accélération synthétique, mathématiques appliquées, Analyse numérique -- Accélération de la convergence, [MATH.MATH-MP]Mathematics [math]/Mathematical Physics [math-ph], finite elements, applied mathematics, [MATH.MATH-MP] Mathematics [math]/Mathematical Physics [math-ph], [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
Abstract: To model the nuclear reactors, the stationnary linear Boltzmann equation is solved. After discretising the energy and the angular variables, the hyperbolic equation is numerically solved with the discontinuous finite element method. The MINARET code uses this method on a triangular unstructured mesh in order to deal with complex geometries (like containing arcs of circle). However, the meshes with straight edges only approximate such geometries. With curved edges, the mesh fits exactly to the geometry, and in some cases, the number of triangles decreases. The main task of this work is the study of finite elements on curved triangles with one or sevevral curved edges. The choice of the basis functions is one of the main points for this kind of finite elements.We obtained a convergence result under the assumption that the curved triangles are not too deformed in comparison with the associated straight triangles. Furthermore, a code has been written to treat triangles with one, two or three curved edges. Another part of this work deals with the acceleration of transport calculations. Indeed, the problem is solved iteratively, and, in some cases, can converge really slowly. A DSA (Diffusion Synthetic Acceleration) method has been implemented using a technique from interior penalty methods. A Fourier analysis in 1D and 2D allows to estimate the acceleration for infinite periodical media, and to check the stability of the numerical scheme when strong heterogeneities exist. Keywords, La modélisation des réacteurs nucléaires repose sur la résolution de l'équation de Boltzmann linéaire. Nous nous sommes intéressés à la résolution spatiale de la forme stationnaire de cette équation. Après discrétisation en énergie et en angle, l'équation hyperbolique est résolue numériquement par la méthode des éléments finis discontinus. Le solveur MINARET utilise cette méthode sur un maillage triangulaire non structuré afin de pouvoir traiter des géométries complexes (comprenant entre autres des arcs de cercle). Cependant, l'utilisation d'arêtes droites introduit une approximation de la géométrie. Autoriser l'existence d'arêtes courbes permet de coller parfaitement à la géométrie, et dans certains cas de diminuer le nombre de triangles du maillage. L'objectif principal de cette thèse est l'étude d'éléments finis sur des triangles possédant un ou plusieurs bords courbes. Le choix des fonctions de base est un des points importants pour ce type d'éléments finis. Un résultat de convergence a été obtenu sous réserve que les triangles courbes ne soient pas trop éloignés des triangles droits associés. D'autre part, un solveur courbe a été développé pour traiter des triangles avec un, deux ou trois bords courbes. Une autre partie de ce travail porte sur l'accélération de la convergence des calculs. En effet, la résolution du problème est itérative et peut, dans certains cas, converger très lentement. Une méthode d'accélération dite DSA (Diffusion Synthetic Acceleration) permet de diminuer le nombre d'itérations et le temps de calcul : un calcul de diffusion est ajouté à chaque itération. L'opérateur de diffusion est un préconditionneur de l'opérateur de transport. La DSA a été mise en oeuvre en utilisant une technique issue des méthodes de pénalisation intérieure. Une analyse de Fourier en 1D et 2D permet d'évaluer l'accélération dans le cas de milieux infinis périodiques et de vérifier la stabilité du schéma lorsque de fortes hétérogénéités existent.
Published: 2012

41. Prise en compte des connaissances du domaine dans l'analyse transcriptomique : Similarité sémantique, classification fonctionnelle et profils flous. Application au cancer colorectal

Author: Benabderrahmane, Sidahmed, Knowledge representation, reasonning (ORPAILLEUR), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Université Henri Poincaré - Nancy I, and Marie-dominique Devignes(desvignes@loria.fr)
Subjects: Réduction d'attributs, Graphe acyclique dirigé enraciné, Ontologie GO, Semantic similarity measure, Données transcriptomiques, Mesure de similarité sémantique, [SDV.BIBS]Life Sciences [q-bio]/Quantitative Methods [q-bio.QM], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Cancer colorectal, Profils d'expression, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], Expression profile, Transcriptomic data, Rooted directed acyclic graph, Dimension reduction, Gene ontology, Classification fonctionnelle de gènes, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], Gene functional classification
Abstract: Bioinformatic analyses of transcriptomic data aims to identify genes with variations in their expression level in different tissue samples, for example tissues from healthy versus seek patients, and to characterize these genes on the basis of their functional annotation. In this thesis, I present four contributions for taking into account domain knowledge in these methods. Firstly, I define a new semantic and functional similarity measure which optimally exploits functional annotations from Gene Ontology (GO). Then, I show, thanks to a rigorous evaluation method, that this measure is efficient for the functional classification of genes. In the third contribution, I propose a differential approach with fuzzy assignment for building differential expression profiles (DEPs). I define an algorithm for analyzing overlaps between functional clusters and reference sets such as DEPs here, in order to point out genes that have both similar functional annotation and similar variations in expression. This method is applied to experimental data produced from samples of healthy tissue, colorectal tumor and cancerous cultured cell line. Finally the similarity measure IntelliGO is generalized to another structured vocabulary organized as GO as a rooted directed acyclic graph, with an application concerning the semantic reduction of attributes before mining.; L'analyse bioinformatique des données de transcriptomique a pour but d'identifier les gènes qui présentent des variations d'expression entre différentes situations, par exemple entre des échantillons de tissu sain et de tissu malade et de caractériser ces gènes à partir de leurs annotations fonctionnelles. Dans ce travail de thèse, je propose quatre contributions pour la prise en compte des connaissances du domaine dans ces méthodes. Tout d'abord je définis une nouvelle mesure de similarité sémantique et fonctionnelle (IntelliGO) entre les gènes, qui exploite au mieux les annotations fonctionnelles issues de l'ontologie GO ('Gene Ontology'). Je montre ensuite, grâce à une méthodologie d'évaluation rigoureuse, que la mesure IntelliGO est performante pour la classification fonctionnelle des gènes. En troisième contribution je propose une approche différentielle avec affectation floue pour la construction de profils d'expression différentielle (PED). Je définis alors un algorithme d'analyse de recouvrement entre classes fonctionnelles et ensemble des références, ici les PEDs, pour mettre en évidence des gènes ayant à la fois les mêmes variations d'expression et des annotations fonctionnelles similaires. Cette méthode est appliquée à des données expérimentales produites à partir d'échantillons de tissus sains, de tumeur colo-rectale et de lignée cellulaire cancéreuse. Finalement, la mesure de similarité IntelliGO est généralisée à d'autres vocabulaires structurés en graphe acyclique dirigé et enraciné (rDAG) comme l'est l'ontologie GO, avec un exemple d'application concernant la réduction sémantique d'attributs avant la fouille.
Published: 2011

42. Nombres de Helly, théorèmes d'épinglement et projection de complexes simpliciaux

Author: Goaoc, Xavier, Effective Geometric Algorithms for Surfaces and Visibility (VEGAS), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Lorraine (INPL)-Université Nancy 2-Université Henri Poincaré - Nancy 1 (UHP)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Lorraine (INPL)-Université Nancy 2-Université Henri Poincaré - Nancy 1 (UHP), Université Henri Poincaré - Nancy I, and Daniel Barlet
Subjects: Line geometry, Helly's theorem, Géométrie algorithmique et combinatoire, Théorème de Helly, Discrete and computational geometry, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], Géométrie des droites, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]
Abstract: The efficient resolution of various problems in computational geometry, for instance visibility computation or shape approximation, raises new questions in line geometry, a classical area going back to the mid-19th century. This thesis fits into this theme, and studies Helly numbers of certain sets of lines, an index related to certain basis theorems arising in computational geometry and combinatorial optimization. Formally, the Helly number of a family of sets with empty intersection is the size of its largest inclusion-wise minimal sub-family with empty intersection. For $d\ge 2$ let $h_d$ denote the least integer such that for any family $\{B_1, \ldots, B_n\}$ of pairwise disjoint balls of equal radius in $R^d$, the Helly number of $\{T(B_1), \ldots, T(B_n)\}$ is at most $h_d$, where $T(B_i)$ denotes the set of lines intersecting $B_i$. In 1957, Ludwig Danzer showed that $h_2$ equals $5$ and conjectured that $h_d$ is finite for all $d \ge 2$ and increases with $d$. We establish that $h_d$ is at least $2d-1$ and at most $4d-1$ for any $d \ge 2$, proving the first conjecture and providing evidence in support of the second one. To study Danzer's conjectures, we introduce the pinning number, a local analogue of the Helly number that is related to grasping questions studied in robotics. We further show that pinning numbers can be bounded for sufficiently generic families of polyhedra or ovaloids in $R^3$, two situations where Helly numbers can be arbitrarily large. A theorem of Tverberg asserts that when $\{B_1, \ldots, B_n\}$ are disjoint translates of a convex figure in the plane, the Helly number of $\{T(B_1), \ldots, T(B_n)\}$ is at most $5$. Although quite different, both our and Tverberg's proofs use, in some way, that the intersection of at least two $T(B_i)$'s has a bounded number of connected components, each contractible. Using considerations on homology of projection of simplicial complexes and posets, we unify the two proofs and show that such topological condition suffice to ensure explicit bounds on Helly numbers.; La résolution efficace de certaines questions de géométrie algorithmique, par exemple les calculs de visibilité ou l'approximation de forme, soulève de nouvelles questions de géométrie des droites, domaine classique dont l'origine remonte à la seconde moitié du 19e siècle. Ce mémoire s'inscrit dans ce cadre, et étudie les nombres de Helly de certains ensembles de droites, un indice reliée à certains théorèmes de la base apparaissant en optimimisation combinatoire. Formellement, le nombre de Helly d'une famille d'ensembles d'intersection vide est le cardinal de sa plus petite sous-famille d'intersection vide et minimale pour l'inclusion relativement à cette propriété. En 1957, Ludwig Danzer a formulé la conjecture que pour tout $d \ge 2$ il existe une constante $h_d$ telle que pour toute famille $\{B_1, \ldots, B_n\}$ de boules deux à deux disjointes et de même rayon, le nombre de Helly de $\{T(B_1), \ldots, T(B_n)\}$ est au plus $h_d$; ici, $T(B_i)$ désigne l'ensemble des droites coupant $B_i$. Danzer a, de plus, spéculé que la constante $h_d$ (minimale) croît strictement avec $d$. Nous prouvons que de telles constantes existent, et que $h_d$ est au moins $2d-1$ et au plus $4d-1$ pour tout $d \ge 2$. Cela prouve la première conjecture et étaye la seconde. Nous introduisons, pour étudier les conjectures de Danzer, un analogue local du nombre de Helly que nous appellons nombre d'épinglement et qui se rattache à la notion d'immobilisation étudiée en robotique. Nous montrons que le nombre d'épinglement est borné pour toute famille (suffisament générique) de polyèdres ou d'ovaloides de $R^3$, deux cas où les nombres de Helly peuvent être arbitrairement grands. Un théorème de Tverberg énonce que si $\{B_1, \ldots, B_n\}$ est une famille de convexes du plan disjoints et congruents par translation alors le nombre de Helly de $\{T(B_1), \ldots, T(B_n)\}$ est au plus $5$. Quoique relativement différentes, notre preuve et celle de Tverberg exploitent toutes deux le fait que toute intersection d'au moins deux $T(B_i)$ a un nombre borné de composantes connexes, chacune contractile. Par des considérations sur l'homologie de projections de complexes et d'ensembles simpliciaux, nous unifions ces deux preuves et montrons que cette condition topologique suffit à établir une borne explicite sur le nombre de Helly.
Published: 2011

43. Fouille de textes : des méthodes symboliques pour la construction d'ontologies et l'annotation sémantique guidée par les connaissances

Author: Toussaint, Yannick, Knowledge representation, reasonning (ORPAILLEUR), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Université Henri Poincaré - Nancy I, Jean-Marie Pierrel, Professeur, Université UHP-Nancy 1, ATILF, and Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Lorraine (INPL)-Université Nancy 2-Université Henri Poincaré - Nancy 1 (UHP)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Lorraine (INPL)-Université Nancy 2-Université Henri Poincaré - Nancy 1 (UHP)
Subjects: [INFO.INFO-TT]Computer Science [cs]/Document and Text Processing, formal concept analysis, itemsets, Ontology, terminology, Ontologies, terminologie, motifs, Analyse formelle de concepts
Abstract: Extracting knowledge from texts is highly contextual and depends on the domain and on the task. We show that information retrieval, Natural Language Processing, data mining and Knowledge representation are research domains that all contribute to improve knowledge extraction from texts. My research project aims at building a semantic continuum between texts and knowledge. I claim that symbolic and formal classification methods such as Formal Concept Analysis are very promissing for the conceptualization phase in building ontology, to support interaction with experts and to ensure a direct link between texts and knowledge and in return, between knowledge and texts. Moreover this symbolic classification tool could prove very powerful for building sysnthesis of complexe phenomena such as diseases descriptions.; Il n'existe pas d'outils clé en main pour extraire des connaissances de textes et le passage de la langue naturelle à des connaissances est très fortement contextualisé et dépendant de la tâche que l'on s'est fixée. Nous montrons que le défi d'extraction de connaissances à partir de textes reste aujourd'hui très vaste, avec de très nombreuses pistes de recherche que ce soit en lien avec des approche de type recherche d'information, traitement automatique des langues, fouille de données ou représentation des connaissances. Chacun de ces domaines de recherche recensent de nombreux sous-domaines tous très actifs. Le projet de recherche que je souhaite développer peut être vu comme un chemin au travers de ces domaines qui vise à créer un continuum (sémantique) entre les différentes étapes de la fouille de textes. L'extraction de connaissances à partir de textes est avant tout une construction de connaissances et suppose une cohérence méthodologique entre les différentes étapes de la fouille de textes. J'ai fait le choix d'ancrer mes travaux dans le domaine du formel en visant notamment une représentation des connaissances en logique, plus particulièrement en logique de descriptions. Malgré les restrictions liées à ce choix, notamment en ce qui concerne l'interaction avec des humains experts d'un domaine, la mise à jour, ou la correction d'une ontologie, une représentation formelle reste à mon sens la solution pour raisonner sur les textes et assurer la cohérence d'une ontologie. Si le but final d'un processus de fouille est de construire une représentation formelle qui puisse être le support de raisonnements, je me suis concentré dans ce projet de recherche sur la construction des connaissances en exploitant des méthodes à base de motifs, d'extraction de règles d'association ou de l'analyse formelle de concepts. L'intérêt de ces approches est qu'elles assureront un lien constant entre les textes et les connaissances. La modification des textes engendre une modification des connaissances et inversement la modification des connaissances (les ressources externes par exemple) modifient l'annotation des textes et l'ontologie. Des environnements coopératifs pourraient à terme intégrer nos travaux et faciliter ainsi la synergie entre les processus humains et les processus automatiques.
Published: 2011

44. Text Mining: Symbolic methods to build ontologies and to semantically annotate texts

Author: Toussaint, Yannick, Knowledge representation, reasonning (ORPAILLEUR), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Lorraine (INPL)-Université Nancy 2-Université Henri Poincaré - Nancy 1 (UHP)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Lorraine (INPL)-Université Nancy 2-Université Henri Poincaré - Nancy 1 (UHP), Université Henri Poincaré - Nancy I, and Jean-Marie Pierrel, Professeur, Université UHP-Nancy 1, ATILF
Subjects: [INFO.INFO-TT]Computer Science [cs]/Document and Text Processing, formal concept analysis, itemsets, Ontology, terminology, Ontologies, terminologie, motifs, Analyse formelle de concepts
Abstract: Extracting knowledge from texts is highly contextual and depends on the domain and on the task. We show that information retrieval, Natural Language Processing, data mining and Knowledge representation are research domains that all contribute to improve knowledge extraction from texts. My research project aims at building a semantic continuum between texts and knowledge. I claim that symbolic and formal classification methods such as Formal Concept Analysis are very promissing for the conceptualization phase in building ontology, to support interaction with experts and to ensure a direct link between texts and knowledge and in return, between knowledge and texts. Moreover this symbolic classification tool could prove very powerful for building sysnthesis of complexe phenomena such as diseases descriptions.; Il n'existe pas d'outils clé en main pour extraire des connaissances de textes et le passage de la langue naturelle à des connaissances est très fortement contextualisé et dépendant de la tâche que l'on s'est fixée. Nous montrons que le défi d'extraction de connaissances à partir de textes reste aujourd'hui très vaste, avec de très nombreuses pistes de recherche que ce soit en lien avec des approche de type recherche d'information, traitement automatique des langues, fouille de données ou représentation des connaissances. Chacun de ces domaines de recherche recensent de nombreux sous-domaines tous très actifs. Le projet de recherche que je souhaite développer peut être vu comme un chemin au travers de ces domaines qui vise à créer un continuum (sémantique) entre les différentes étapes de la fouille de textes. L'extraction de connaissances à partir de textes est avant tout une construction de connaissances et suppose une cohérence méthodologique entre les différentes étapes de la fouille de textes. J'ai fait le choix d'ancrer mes travaux dans le domaine du formel en visant notamment une représentation des connaissances en logique, plus particulièrement en logique de descriptions. Malgré les restrictions liées à ce choix, notamment en ce qui concerne l'interaction avec des humains experts d'un domaine, la mise à jour, ou la correction d'une ontologie, une représentation formelle reste à mon sens la solution pour raisonner sur les textes et assurer la cohérence d'une ontologie. Si le but final d'un processus de fouille est de construire une représentation formelle qui puisse être le support de raisonnements, je me suis concentré dans ce projet de recherche sur la construction des connaissances en exploitant des méthodes à base de motifs, d'extraction de règles d'association ou de l'analyse formelle de concepts. L'intérêt de ces approches est qu'elles assureront un lien constant entre les textes et les connaissances. La modification des textes engendre une modification des connaissances et inversement la modification des connaissances (les ressources externes par exemple) modifient l'annotation des textes et l'ontologie. Des environnements coopératifs pourraient à terme intégrer nos travaux et faciliter ainsi la synergie entre les processus humains et les processus automatiques.
Published: 2011

45. Observer and controller design for nonlinear descriptor systems

Author: Zerrougui, Mohamed, Centre de Recherche en Automatique de Nancy (CRAN), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Université Henri Poincaré - Nancy I, Mohamed Darouach, UL, Thèses, Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), and Darouach, Mohamed
Subjects: Commande basée observateur, inégalités matricielles linéaires (LMI), Systèmes non linéaires, Inégalités matricielles, [SPI.OTHER] Engineering Sciences [physics]/Other, Linear matrix inequalities, Synthèse H infini, Commande H-infini, stability analysis, non linear observers, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Commande automatique, Singular systems, stabilité au sens de Lyapunov, [SPI.AUTO] Engineering Sciences [physics]/Automatic, Liapounov, commande basée observateur, observateurs non linéaires, Systèmes singuliers non linéaires, Stabilité de, Inégalités matricielles linéaires (LMI), H infinity synthesis, synthèse H_inf, H_inf synthesis, observer based control
Abstract: This thesis work is realized in the Research Center in Automatic Control of Nancy (CRAN). It concerns the observation and control of nonlinear singular systems. Firstly, we were interested in the observer design and H infinity filtering for singular bilinear systems. In a second step, we studied the observers design for Lipschitz nonlinear singular systems. The last part of this work relates to the stabilization and observer based controller for a classe of singular nonlinear systems. The objective is to develop a simple and straightforward results which covers a large class of nonlinear systems. The main contribution of this thesis is in the H infinity observers design for nonlinear singular systems. It is based on the parametrization of the solution of the constrained generalized Sylvester equation. The second contribution relates to the design of stabilizing control and using the proposed observer to design an obsever based controller for nonlinear singular systems. Solutions of these problems are obtained by using Linear Matrix Inequalities (LMI) Formulation., Les travaux présentés dans cette thèse ont été effectués au Centre de Recherche en Automatique de Nancy (CRAN). Ils portent sur l'observation et la commande des systèmes singuliers non linéaires. Dans un premier temps nous nous sommes intéressés à la synthèse d'observateur et au filtrage H infini des systèmes singuliers bilinéaires. Dans un deuxième temps, nous avons étudié la synthèse d'observateur pour les systèmes singuliers non linéaires Lipschitziens. La dernière partie de ce travail concerne la stabilisation et la commande basée observateurs des systèmes singuliers non linéaires. L'objectif de ce travail a été de proposer des résultats facilement implémentables et de couvrir une large classe de systèmes non linéaires. La contribution principale de ce mémoire a été de proposer des observateurs H infini pour les systèmes singuliers non linéaires, en utilisant le non biais de l'erreur d'estimation. Les paramètres de ces observateurs sont obtenus par la résolution des inégalités matricielles linéaires (LMIs). Le deuxième apport concerne la synthèse de commande stabilisante et l'utilisation d'un des observateurs proposés dans cette thèse pour la synthèse d'une commande basée observateur pour les systèmes singuliers non linéaires. Cette dernière est réalisée grâce à la réécriture des fonctions non linéaires sous des formes adéquates à l'application de la commande des systèmes.
Published: 2011

46. Génération de modèles de simulation adaptatifs, pilotée par les trajectoires produits

Author: Véjar, Andrés, Centre de Recherche en Automatique de Nancy (CRAN), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Université Henri Poincaré - Nancy I, and Patrick Charpentier (patrick.charpentier@univ-lorraine.fr)
Subjects: trajectoires, localisation, modelisation adaptative, trajectories, flow simulation, adaptative modeling, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, location, simulation de flux
Abstract: This thesis work proposes a novel method for the automatic generation of simulation code of discrete event systems. This method uses the location information of the products during operation of the system. This flow, of tuples (product id, location, time) is the input of the proposed algorithm that generates a queueing-network simulation model. This type of approach can achieve a significant time gain for the design, maintenance and on-line reconfiguration of the model. The thesis is composed on five chapters. The first chapter poses the problem and fixes the theoretical framework of the thesis. The second chapter is a literature review of the broad sense of simulation and present works using the notion of trajectories for modeling. The third chapter is to highlight the proposal of the heart of this thesis. The fourth chapter describes the generator developed. The fifth and final chapter presents the experiments and the validation of the generator.; Cette thèse propose une méthode originale pour la génération automatique d'un code de simulation pour les systèmes à événements discrets. Cette méthode utilise l'information de localisation des produits lors du fonctionnement du système. Ce flux composé par des tuples (product id, location, time) constitue le point d'entrée pour l'algorithme proposé de génération d'un modèle de simulation de type réseau de files d'attente. Ce type d'approche permet, outre un gain important de temps pour la conception initiale du modèle, une maintenance et reconfiguration " on line " du modèle. La thèse est composée de 5 chapitres. Le premier chapitre pose la problématique et fixe le cadre théorique de la thèse. Le second chapitre est une revue de la littérature sur la simulation en général et sur les travaux utilisant la notion de trajectoires à des fins de modélisation. Le troisième chapitre sert à mettre en avant la proposition au cœur de cette thèse. Le quatrième chapitre décrit le générateur développé. Le cinquième et dernier chapitre présente les travaux d'expérimentation et de validation du générateur.
Published: 2011

47. Adaptive generation of simulation models driven by product-trajectories

Author: Véjar, Andrés, Centre de Recherche en Automatique de Nancy (CRAN), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Université Henri Poincaré - Nancy I, Patrick Charpentier (patrick.charpentier@univ-lorraine.fr), and Charpentier, Patrick
Subjects: trajectoires, localisation, modelisation adaptative, trajectories, flow simulation, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, adaptative modeling, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, location, simulation de flux
Abstract: This thesis work proposes a novel method for the automatic generation of simulation code of discrete event systems. This method uses the location information of the products during operation of the system. This flow, of tuples (product id, location, time) is the input of the proposed algorithm that generates a queueing-network simulation model. This type of approach can achieve a significant time gain for the design, maintenance and on-line reconfiguration of the model. The thesis is composed on five chapters. The first chapter poses the problem and fixes the theoretical framework of the thesis. The second chapter is a literature review of the broad sense of simulation and present works using the notion of trajectories for modeling. The third chapter is to highlight the proposal of the heart of this thesis. The fourth chapter describes the generator developed. The fifth and final chapter presents the experiments and the validation of the generator., Cette thèse propose une méthode originale pour la génération automatique d'un code de simulation pour les systèmes à événements discrets. Cette méthode utilise l'information de localisation des produits lors du fonctionnement du système. Ce flux composé par des tuples (product id, location, time) constitue le point d'entrée pour l'algorithme proposé de génération d'un modèle de simulation de type réseau de files d'attente. Ce type d'approche permet, outre un gain important de temps pour la conception initiale du modèle, une maintenance et reconfiguration " on line " du modèle. La thèse est composée de 5 chapitres. Le premier chapitre pose la problématique et fixe le cadre théorique de la thèse. Le second chapitre est une revue de la littérature sur la simulation en général et sur les travaux utilisant la notion de trajectoires à des fins de modélisation. Le troisième chapitre sert à mettre en avant la proposition au cœur de cette thèse. Le quatrième chapitre décrit le générateur développé. Le cinquième et dernier chapitre présente les travaux d'expérimentation et de validation du générateur.
Published: 2011

48. Applications of theta functions to hyperelliptic curves cryptography

Author: Cosset, Romain, Cryptology, Arithmetic: Hardware and Software (CARAMEL), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Algorithms, Computation, Image and Geometry (LORIA - ALGO), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Université Henri Poincaré - Nancy I, Guillaume Hanrot, Cosset, Romain, Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), and UL, Thèses
Subjects: Algorithmes, variétés abéliennes, Courbes elliptiques, fonctions thêta, theta functions, isogénies, [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], abelian varieties, hyperelliptic curves, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], factorization, factorisation, Cryptography, Cryptographie à clé publique, Cryptographie, courbes hyperelliptiques, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]
Abstract: Since the mid 1980's, abelian varieties have been widely used in cryptography: the discrete logarithm problem and the protocols that rely on it allow asymmetric encryption, signatures, authentification... For cryptographic applications, one of the most interesting examples of principally polarized abelian varieties is given by the Jacobians of hyperelliptic curves. The theory of theta functions provides efficient algorithms to compute with abelian varieties. In particular, using decomposable curves of genus 2, we present a generalization of the ECM algorithm. In this thesis, we also study the correspondences between Mumford coordinates and theta functions. This led to the construction of complete addition laws in genus 2. Finally we present an algorithm to compute isogenies between abelian varieties. Most of the results of this thesis are valid for hyperelliptic curves of arbitrary genus. More specifically we emphasize on genus 2 hyperelliptic curves, which is the most relevant case in cryptography. These results have been implemented in a Magma package called AVIsogenies., Depuis le milieu des années 1980, les variétés abéliennes ont été abondamment utilisées en cryptographie à clé publique: le problème du logarithme discret et les protocoles qui s'appuient sur celles-ci permettent le chiffrement asymétrique, la signature, l'authentification. Dans cette perspective, les jacobiennes de courbes hyperelliptiques constituent l'un des exemples les plus intéressants de variétés abéliennes principalement polarisées. L'utilisation des fonctions thêta permet d'avoir des algorithmes efficaces sur ces variétés. En particulier nous proposons dans cette thèse une variante de l'algorithme ECM utilisant les jacobiennes de courbes de genre 2 décomposables. Par ailleurs, nous étudions les correspondances entre les coordonnées de Mumford et les fonctions thêta. Ce travail a permis la construction de lois d'additions complètes en genre 2. Finalement nous présentons un algorithme de calcul d'isogénies entre variétés abéliennes. La majorité des résultats de cette thèse sont valides pour des courbes hyperelliptiques de genre quelconque. Nous nous sommes cependant concentré sur le cas du genre 2, le plus intéressant en pratique. Ces résultats ont été implémentés dans un package Magma appelé AVIsogenies.
Published: 2011

49. Évaluation de la Performance et de la Correction de Systèmes Distribués

Author: Rosa, Cristian, Algorithms for the Grid (ALGORILLE), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Networks, Systems and Services (LORIA - NSS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Université Henri Poincaré - Nancy I, Stephan MERZ(stephan.merz@loria.fr), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), and Rosa, Cristian
Subjects: parallelization, model-checking, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, parallèlisation, distributed, simulation, distribuées, verification, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Abstract: Distributed systems are in the mainstream of information technology. It has become standard to rely on multiple distributed units to improve the performance of the application, help tolerate component failures, or handle problems too large to fit in a single processing unit. The design of algorithms adapted to the distributed context is particularly difficult due to the asynchrony and the nondeterminism that characterize distributed systems. Simulation offers the ability to study the performance of distributed applications without the complexity and cost of the real execution platforms. On the other hand, model checking allows to assess the correctness of such systems in a fully automatic manner. In this thesis, we explore the idea of integrating a model checker with a simulator for distributed systems in a single framework to gain performance and correctness assessment capabilities. To deal with the state explosion problem, we present a dynamic partial order reduction algorithm that performs the exploration based on a reduced set of networking primitives, that allows to verify programs written for any of the communication APIs offered by the simulator. This is only possible after the development of a full formal specification with the semantics of these networking primitives, that allows to reason about the independency of the communication actions as required by the DPOR algorithm. We show through experimental results that our approach is capable of dealing with non trivial unmodified C programs written for the SimGrid simulator. Moreover, we propose a solution to the problem of scalability for CPU bound simulations, envisioning the simulation of Peer-to-Peer applications with millions of participating nodes. Contrary to classical parallelization approaches, we propose parallelizing some internal steps of the simulation, while keeping the whole process sequential. We present a complexity analysis of the simulation algorithm, and we compare it to the classical sequential algorithm to obtain a criteria that describes in what situations a speed up can be expected. An important result is the observation of the relation between the precision of the models used to simulate the hardware resources, and the potential degree of parallelization attainable with this approach. We present several case studies that benefit from the parallel simulation, and we show the results of a simulation at unprecedented scale of the Chord Peer-to-Peer protocol with two millions nodes executed in a single machine., Les systèmes distribués sont au cœur des technologies de l'information. Il est devenu classique de s'appuyer sur multiples unités distribuées pour améliorer la performance d'une application, la tolérance aux pannes, ou pour traiter problèmes dépassant les capacités d'une seule unité de traitement. La conception d'algorithmes adaptés au contexte distribué est particulièrement difficile en raison de l'asynchronisme et du non-déterminisme qui caractérisent ces systèmes. La simulation offre la possibilité d'étudier les performances des applications distribuées sans la complexité et le coût des plates-formes d'exécution réelles. Par ailleurs, le model checking permet d'évaluer la correction de ces systèmes de manière entièrement automatique. Dans cette thèse, nous explorons l'idée d'intégrer au sein d'un même outil un model checker et un simulateur de systèmes distribués. Nous souhaitons ainsi pouvoir évaluer la performance et la correction des applications distribuées. Pour faire face au problème de l'explosion combinatoire des états, nous présentons un algorithme de réduction dynamique par ordre partiel (DPOR), qui effectue une exploration basée sur un ensemble réduit de primitives de réseau. Cette approche permet de vérifier les programmes écrits avec n'importe laquelle des interfaces de communication proposées par le simulateur. Nous avons pour cela développé une spécification formelle complète de la sémantique de ces primitives réseau qui permet de raisonner sur l'indépendance des actions de communication nécessaire à la DPOR. Nous montrons au travers de résultats expérimentaux que notre approche est capable de traiter des programmes C non triviaux et non modifiés, écrits pour le simulateur SimGrid. Par ailleurs, nous proposons une solution au problème du passage à l'échelle des simulations limitées pour le CPU, ce qui permet d'envisager la simulation d'applications pair-à-pair comportant plusieurs millions de nœuds. Contrairement aux approches classiques de parallélisation, nous proposons une parallélisation des étapes internes de la simulation, tout en gardant l'ensemble du processus séquentiel. Nous présentons une analyse de la complexité de l'algorithme de simulation parallèle, et nous la comparons à l'algorithme classique séquentiel pour obtenir un critère qui caractérise les situations où un gain de performances peut être attendu avec notre approche. Un résultat important est l'observation de la relation entre la précision numérique des modèles utilisés pour simuler les ressources matérielles, avec le degré potentiel de parallélisation atteignables avec cette approche. Nous présentons plusieurs cas d'étude bénéficiant de la simulation parallèle, et nous détaillons les résultats d'une simulation à une échelle sans précédent du protocole pair-à-pair Chord avec deux millions de nœuds, exécutée sur une seule machine avec un modèle précis du réseau.
Published: 2011

50. Application de la théorie de la révision des connaissances au raisonnement à partir de cas

Author: Cojan, Julien, Knowledge representation, reasonning (ORPAILLEUR), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Université Henri Poincaré - Nancy I, Jean Lieber, Taaable, UL, Thèses, and Cojan, Julien
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], belief revision, Case-Based Reasoning, minimal change theory, Raisonnement à partir de cas, adaptation, Intelligence artificielle, Systèmes experts (informatique), théorie du changement minimal, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], Systèmes adaptatifs, révision des connaissances, Raisonnement par cas
Abstract: Case-Based Reasoning is a reasoning model for problem resolution by reusing the experience of previously solved problems, called source cases. The solution given by a source case cannot always be applied directly to a target case, it may need to be adapted. We focus in this thesis on an adaptation approach defined thanks to belief revision. The belief revision theory deals with the changes to apply to some initial knowledge in order to integrate possibly conflicting new knowledge. For both adaptation and belief revision, the changes are minimal. This parallel between adaptation and revision enables the adaptation process to benefit from the logical formalisation of belief revision. The definition of adaptation by revision aims at providing a formal framework to adaptation. For this purpose, we define revision operators in useful formalisms for case-based reasoning : a revision operator in attributes-simple values and an operator in an expressive description logic (ALC ). We show as well that several adaptation approach previously defined could be expressed as adaptation by revision. In addition we consider generalising the adaptation by revision to a case combination that takes into account more than one source case to solve a problem. This approach to case combination is defined thanks to integrity constrains belief merging that generalises belief revision. These results were applied in the cooking recipe elaboration system Taaable for ingredient quantities adaptation, Le raisonnement à partir de cas est un modèle de raisonnement dont le but est de résoudre des problèmes à partir de l'expérience de résolution de problèmes connus, appelés cas sources. Une solution tirée d'un cas source peut ne pas être applicable directement au problème traité, il faut alors l'adapter. Nous nous intéressons dans cette thèse à une approche de l'adaptation qui s'appuie sur la théorie de la révision des connaissances. La révision des connaissances consiste à modifier des connaissances initiales pour prendre en compte de nouvelles connaissances avec lesquelles elles peuvent être en contradiction. Comme pour l'adaptation, les modifications apportés aux connaissances sont minimales. Ce rapprochement entre adaptation et révision permet de s'appuyer sur la formalisation logique de la révision pour donner un cadre formel à l'adaptation. Dans ce but nous définissons des opérateurs de révision dans des formalismes utiles au raisonnement à partir de cas : dans un formalisme attributs-valeurs simples et dans une logique de descriptions expressive (ALC). Nous montrons aussi que plusieurs approches de l'adaptation précédemment définies peuvent être mises sous la forme d'adaptation par la révision. Nous considérons aussi une extension de l'adaptation par la révision à une combinaison de cas où ce n'est plus un seul mais plusieurs cas sources qui sont exploités pour résoudre un problème. Cette approche de combinaison de cas s'appuie sur la fusion contrainte de connaissances qui généralise la révision. Ces travaux ont été appliqués dans le système d'élaboration de recettes de cuisine Taaable pour l'adaptation des quantités d'ingrédients suivant le modèle de l'adaptation par la révision
Published: 2011

Catalog

Books, media, physical & digital resources

See catalog results

Searchworks

Select search scope, currently: Articles Catalog books, media & more in Jio Institute collections Articles journal articles & other e-resources

Search

Search Constraints

Refine your results

Search Limiters

Topic

Publication Year Range

Language

Publication Type

Journal

Region

Database

Publisher

645 results on '"Université Henri Poincaré - Nancy I"'

Search Results

Catalog

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources