• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 5001
  • 2040
  • 536
  • 206
  • 39
  • 18
  • 16
  • 14
  • 7
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • Tagged with
  • 8022
  • 1352
  • 1239
  • 993
  • 900
  • 784
  • 750
  • 736
  • 678
  • 606
  • 595
  • 528
  • 509
  • 461
  • 454
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
431

Impact de l'humidité et des solutions salines sur le comportement dimensionnel de grès du Buntsandstein : contribution à la sélection de faciès de restauration / Humidity and salt solution impact on dimensional behavior of Buntsandstein sandstones : contribution to the selection of restoration stone

Colas, Estel 02 December 2011 (has links)
L'objectif de ce travail est d'appréhender l'altérabilité des grès en s'appuyant sur la définition de paramètres physiques pertinents. Il est appliqué à l'évaluation de grès du Buntsandstein afin de contribuer à la sélection de faciès de restauration des monuments historiques du nord-est de la France et, plus particulièrement, de la cathédrale Notre Dame de Strasbourg. Pour y répondre, l'étude expérimentale comparative s'est fondée sur cinq faciès de carrière dont les sensibilités à l'altération doivent être appréciées et sur deux faciès mis en œuvre qui ont montré des cinétiques et des états d'altération divergents. La considération de ces faciès exposés a constitué un garde-fou qui permet d'apprécier la différence de tenue entre ces grès. Les caractéristiques des structures de pores et des matrices argilo-ferrugineuses impliquées dans la réponse dilatométrique des grès ont souligné la forte incidence de la quantité, de la nature et des propriétés de surface des argiles sur les comportements hydrodynamique et mécanique, à l'origine de leur fatigue. L'application de tests en laboratoire de résistance aux sels a mis en évidence l'implication des interactions minéraux-solution saline dans la réponse des grès à une contamination en NaCl et Na2SO4. La discrimination des faciès selon leur sensibilité à l'altération par les sels a pu être établie et un indice de sensibilité aux sels a été formulé. Les propriétés des matrices argileuses et la qualité des contacts de grains jouent un rôle déterminant dans la réponse des grès à l'altération par les sels. / The aim of this study was to highlight relevant stone parameters on which the durability of Triassic siliceous sandstones could be predicted in order to contribute to the selection of the potential restoration stones in the built heritage and especially on the cathedral of Strasbourg. An experimental comparative study was made on 5 quarry sandstones to discriminate and 2 exposed sandstones from the monument. The two exposed pieces showed opposite weathering behaviors and states of cohesion that could allow a better definition of the parameters involved in the salt weathering of sandstones. The pore structures and the clay coating properties of sandstones underlined the major role of the clay minerals (quantity, nature and specific surface area) in the dilation behavior under humidity variations as well as in hydrodynamical and mechanical behaviors of sandstones. Three types of salt weathering test were carried out on sandstones. The clay-salt interaction was emphasized by the modifications of the dilation behaviors after salt contamination upon salt nature, NaCl or Na2SO4. A classification of stone susceptibility to salt damages had been proposed as well as an index of salt susceptibility of sandstone had been formulated. The mineralogical and mechanical contributions could justify stone susceptibility to salt damage.
432

Caractérisation non linéaire et analyse de transistors à effet de champ pour applications hyperfréquences dans le domaine temporel / Non linear characterization and analysis of field effect transistors for microwave applications in time domain

Ducatteau, Damien 22 September 2008 (has links)
De nos jours, les systèmes de télécommunications deviennent de plus en plus complexes et sophistiqués. Les perfonnances électriques des transistors hyperfréquences qui les constituent, doivent être améliorées en terme de fréquence, de puissance, de rendement et de linéarité. Dans le cas des transistors de puissance la caractérisation non linéaire est une étape indispensable afin de mieux comprendre et appréhender les effets limitatifs et d'optimiser leur conception. Dans ce cadre, l'objectif de cette thèse a été de mettre en œuvre un analyseur de réseaux non linéaire, de valider les mesures provenant de cet équipement et de développer des outils de mesures et d'analyse dans le domaine temporel afin de mieux appréhender les effets limitatifs des transistors à effet de champ aux fréquences micro-ondes. Dans un premier temps, nous avons montré l'importance de la caractérisation non linéaire hyperfréquence lors de la conception de circuits actifs. Nous avons effectué ensuite une étude bibliographique des principaux systèmes de caractérisation non linéaires existants et qui ont été précurseurs dans ce domaine. Dans le deuxième chapitre, nous avons décrit le principe de fonctionnement de l'analyseur de réseaux vectoriel non linéaire et sa mise en œuvre. Ensuite, afin d'évaluer les perfonnances de cet équipement, nous avons comparé les mesures provenant de ce dernier à celles effectuées par d'autres laboratoires de recherche sur un même composant de référence. Le troisième chapitre décrit le fonctionnement de l'analyseur de réseaux non linéaire à charge active développé au laboratoire. Une étude de l'incertitude de mesure en fonction de la charge sera présentée. Enfin, afin de valider expérimentalement notre banc, nous avons confronté les mesures effectuées avec ce dernier à des résultats de simulations électriques sur un composant de référence. La suite de ce travail a été consacrée à l'étude expérimentale dans le domaine temporel aux fréquences micro-ondes des effets limitatifs de l'ionisation par impact dans les transistors à effet de champ à hétérojonction de la filière GaAs. Nous avons présenté la technique et les résultats expérimentaux des mesures en régime grand signal effectuées avec le LSNA. Un modèle électrique non linéaire permettant de rendre compte des effets de l'ionisation a été décrit et discuté. La dernière partie est consacrée à une étude expérimentale de passivation et de prétraitement de surface effectuée sur des transistors HEMT à hétérostructure Al0.81In0.19/GaN. Nous avons montré l'avantage d'utiliser l'analyseur de réseaux non linéaire à charge active pour regarder l'influence de la passivation et du prétraitement de surface sur les perfonnances en puissance. Ensuite, nous avons discuté sur la localisation des pièges et de leur dynamique. / The goal of this PhD work has been to implement a non linear network analyzer (LSNA), to validate measurements, to develop measurements and analysis tools in time domain in order to understand limiting effects on field effect transistors at microwave frequencies. First, we show the importance of the non linear characterization for the design of active circuits. Second, we de scribe the Large Signal Network Analyzer setup and its implementation. After that, in order to evaluate the performance of this equipment, we have compared measurements provided by equipment and by those coming from other laboratories on the same reference device. ln the next part, we describe the setup of an active load pull large signal network analyzer developed in our laboratory. Then, in order to validate our setup, we compare non linear measurements obtained under in load pull conditions with data coming from simulation performed on a reference device. The following of this work is devoted to an experimental study in time domain, using LSNA, on the lirniting effects of impact ionization inside GaAs HEMT devices. We present sorne experimental results and mainly measurements under large signal conditions in time domain. A non linear electrical model allows us to account for the impact ionization effects on the time domain waveforms. The next part is devoted to a specific study of passivation and surface pretreatrnent carried out on A 10. 81InO.19N/GaN HEMT device. We show the advantages to use the active load pull large signal network analyzer for studying the influence of passivation and surface pretreatrnent on the power performance. To fmish, we discuss on the traps localization and dynamic
433

Le kanban actif pour assurer l’intéropérabilité décisionnelle centralisé/distribué : Application à un industriel de l’ameublement / Active kanban to ensure decisional interoperability : application to a furniture manufacture

Klein, Thomas 10 November 2008 (has links)
La thèse défendue est le résultat d’un partenariat entre d’une part le groupe Parisot, et plus particulièrement la société Parisot Meuble, et d’autre part l’équipe de recherche technologique TRACILOG du Centre de Recherche en Automatique de Nancy. Ce travail a porté sur une étude des opportunités apportées par les nouvelles technologies de l’information sur les processus de pilotage de la production, ainsi que la proposition d’un système d’aide à la décision de pilotage des flux sur le terrain. L’architecture proposée s’appuie sur l’infotronisation du flux de kanbans, qui deviennent des « kanbans actifs » et assurent l’interopérabilité et la synchronisation entre un système de décision centralisé et les différentes entités décisionnelles distribuées, afin de coordonner l’ensemble des décisions. Ces propositions ont été validées à l’aide d’une architecture d’émulation, permettant d’utiliser un système de pilotage dans les conditions réelles. Par ailleurs, certaines structures proposées ont pu être validées sur le système de production réel. Les contributions de ce travail de thèse reposent sur : • la proposition d’une architecture d’évaluation par émulation de systèmes de pilotage de la production, à une échelle industrielle, ainsi que la méthode de construction. • La proposition d’un système d’aide au pilotage de la production permettant d’assurer la cohérence globale du système de décision. / The defended thesis is the result of a partnership enters on one hand the group Parisot, and particularly the corporation Parisot Furnishes, and on the other hand the team of research technological TRACILOG of the Center of Research in Automatic of Nancy. This work has focused on a study of the opportunities provided by new information technologies on the procedures of production and the proposal of a decision support steering flow on the ground. The proposed architecture relies on the flow infotronisation kanban, which become "kanban assets and ensure interoperability and synchronization between a centralized system of decision-making and different decision-making distribution entities, to coordinate all decisions. These proposals have been validated through an architecture emulation, allowing the use of a flight control system under real conditions. In addition, some proposed structures have been validated in the real production system. The contributions of this thesis work based on: • The proposal of an architecture evaluation emulation control systems of production on an industrial scale, and the method of construction. • The proposal of a system of aid to the management of the production to ensure the overall coherence of the decision system.
434

Two problems of digital image formation : recovering the camera point spread function and boosting stochastic renderers by auto-similarity filtering / Deux problèmes dans la formation des images numériques : l'estimation du noyau local de flou d'une caméra et l'accélération de rendus stochastiques par filtrage auto-similaire

Delbracio, Mauricio 25 March 2013 (has links)
Cette thèse s'attaque à deux problèmes fondamentaux dans la formation des images numériques : la modélisation et l'estimation du flou introduit par une caméra numérique optique, et la génération rapide des images de synthèse photoréalistes. L'évaluation précise du flou intrinsèque d'une caméra est un problème récurrent en traitement d'image. Des progrès technologiques récents ont eu un impact significatif sur la qualité de l'image. Donc, une amélioration de la précision des procédures de calibration est impérative pour pousser plus loin cette évolution. La première partie de cette thèse présente une théorie mathématique de l'acquisition physique de l’image par un appareil photo numérique. Sur la base de cette mo\-dé\-li\-sa\-tion, deux algorithmes automatiques pour estimer le flou intrinsèque de la l’appareil sont proposés. Pour le premier, l'estimation est effectuée à partir d'une photographie d'une mire d’étallonnage spécialement conçue à cet effet. L'une des principales contributions de cette thèse est la preuve qu’une mire portant l’image d’un bruit blanc est proche de l'optimum pour estimer le noyau de flou. Le deuxième algorithme évite l'utilisation d'une mire d’étallonnage, procédure qui peut devenir un peu encombrante. En effet, nous montrons que deux photos d'une scène plane texturée, prises à deux distances différentes avec la même configuration de l’appareil photo, suffisent pour produire une estimation précise. Dans la deuxième partie de cette thèse, nous proposons un algorithme pour accélérer la synthèse d'images réalistes. Plusieurs heures, et même plusieurs jours peuvent être nécessaires pour produire des images de haute qualité. Dans un rendu typique, les pixels d'une image sont formés en établissant la moyenne de la contribution des rayons stochastiques lancés à partir d'une caméra virtuelle. Le principe d'accélération, simple mais puissant, consiste à détecter les pixels similaires en comparant leurs histogrammes de rayons et à leur faire partager leurs rayons. Les résultats montrent une accélération significative qui préserve la qualité de l’image. / This dissertation contributes to two fundamental problems of digital image formation: the modeling and estimation of the blur introduced by an optical digital camera and the fast generation of realistic synthetic images. The accurate estimation of the camera's intrinsic blur is a longstanding problem in image processing. Recent technological advances have significantly impacted on image quality. Thus improving the accuracy of calibration procedures is imperative to further push this development. The first part of this thesis presents a mathematical theory that models the physical acquisition of digital cameras. Based on this modeling, two fully automatic algorithms to estimate the intrinsic camera blur are introduced. For the first one, the estimation is performed from a photograph of a specially designed calibration pattern. One of the main contributions of this dissertation is the proof that a pattern with white noise characteristics is near optimal for the estimation purpose. The second algorithm circumvents the tedious process of using a calibration pattern. Indeed, we prove that two photographs of a textured planar scene, taken at two different distances with the same camera configuration, are enough to produce an accurate estimation. In the second part of this thesis, we propose an algorithm to accelerate realistic image synthesis. Several hours or even days may be necessary to produce high-quality images. In a typical renderer, image pixels are formed by averaging the contribution of stochastic rays cast from a virtual camera. The simple yet powerful acceleration principle consists of detecting similar pixels by comparing their ray histograms and letting them share their rays. Results show a significant acceleration while preserving image quality.
435

Planification optimiste pour systèmes déterministes / Optimistic planning for deterministic dystems

Hren, Jean-François 21 June 2012 (has links)
Dans le domaine de l'apprentissage par renforcement, la planification dans le cas de systèmes déterministes consiste à effectuer une recherche avant grâce à un modèle génératif du système considéré et ce pour trouver l'action à appliquer dans son état courant. Dans notre cas, cette recherche avant conduira à la construction d'un arbre des possibilités, sa racine correspondant à l'état courant du système. Dans le cas où les ressources computationnelles sont limitées et inconnues, il convient d'utiliser un algorithme cherchant à minimiser son regret. Autrement dit, un algorithme retournant une action à effectuer qui soit la plus proche possible de l'optimale en terme de qualité et en fonction des ressources computationnelles. Nous présentons l'algorithme de planification optimiste dans le cas où l'espace d'action est discret. Nous prouvons une borne inférieure et supérieure sur son regret dans le pire des cas ainsi que dans une classe particulière de problèmes. Nous présentons ensuite deux autres algorithmes inspirés de l'approche optimiste dans le cas où l'espace d'action est continu. / In the field of reinforcement learning, planning in the case of deterministic systems consists of doing a forward search using a generative model of the system so as to find the action to apply in its current state. In our case, the forward search leads us to build a look-ahead tree, its root being the current state of the system. If the computational resources are limited and unknown, we have to use an algorithm which tries to minimize its regret. In other words, an algorithm returning an action to apply which is as close as possible to the optimal one in term of quality and with respect to the computational resources used. We present the optimistic planing algorithm in the case of a discrete action space. We prove a lower and upper bound in the worst case and in a particular class of problems. Also we present two algorithms using the optimistic approach but in the case of a continuous action space.
436

Synthèse de films minces de CNx et de SiCN par dépôt chimique en phase vapeur assisté par plasma micro-onde et par dépôt physique en phase vapeur assisté par pulvérisation magnétron réactive / Synthesis of CNx and SiCN thin films by Microwave Plasma Assisted Chemical Vapour Deposition and by reactive magnetron sputtering assisted Physical Vapour Deposition

Kouakou, Ahoutou Paul 30 May 2008 (has links)
Ce travail de thèse a été consacré à une contribution à l'étude de la synthèse des films minces de CNx et de SiCN par Dépôt Chimique en Phase Vapeur Assisté par Plasma Micro-onde (MPACVD) et par Dépôt Physique en phase Vapeur (PVD) assisté par pulvérisation magnétron réactive. Cette étude motivée par la prédiction de l'existence d'un matériau qui pourrait avoir des propriétés proches de celles du diamant, en l'occurrence la phase ß-C3N4, a pour objectif principal d'étudier les mécanismes de croissance de ces films minces afin d'optimiser leur synthèse. Le travail a été subdivisé en 5 chapitres. Un état de l'art réalisé sur les matériaux de type CNx et SICN et sur leurs techniques de synthèse nous a permis de montrer les intérêts pour ce type de films minces et leurs applications potentielles. Une étude in-situ du plasma micro-onde dans le mélange gazeux N2/CH4 a systématiquement été réalisée en régime continu, en fonction des paramètres expérimentaux, à savoir la puissance micro-onde, la pression, le débit total, le pourcentage de gaz, par Spectroscopie Optique d’Emission (OES). Des films ont été réalisés en fonction de ces paramètres expérimentaux. Cette étude nous a permis de montrer que le taux de méthane devrait être inférieur ou égal à 4 % pour éviter la formation de billes de carbone à la surface des films obtenus. Les observations par microscopie électronique à balayage et en transmission montrent que les films sont constitués de nanocristallites de taille comprise entre 20 et 70 nm. Une étude structurale réalisée à partir de la diffraction des rayons X, couplée à la diffraction électronique a permis de montrer qu’ils sont probablement constitués d’un mélange de phases de ß-C3N4, de c-C3N4 et de c-SiCN. Nous avons ensuite étudié la décharge micro-onde en régime pulsé en fonction des paramètres du pulse à savoir, le rapport cyclique, la fréquence et la durée de la post-décharge. Nous avons observé une gravure du film beaucoup plus importante au-delà d’une fréquence de 700 Hz. Dans le quatrième chapitre, nous avons cherché, à comprendre les mécanismes de croissance et à définir l’origine et le rôle du silicium lors des dépôts. Cette étude nous a permis de comprendre clairement que le silicium observé dans les films réalisés sur les substrats contenant du silicium provient de la gravure de ce dernier par des espèces du plasma. Le silicium sert de catalyseur au dépôt et favorise l’incorporation de l’azote dans les films. Il permet également de stabiliser les phases de C3N4. Enfin, une étude de dépôt de films minces amorphes de SiCN en PVD avec une cible de carbone et une cible de silicium sous azote a été réalisée. Contrairement aux cibles métalliques, la cible de carbone se pulvérise beaucoup plus facilement lorsqu’elle est nitrurée. La vitesse de dépôt des films de SiCN augmente avec la proportion d’azote contenue dans le mélange gazeux sans polarisation du substrat alors qu’elle diminue très rapidement lorsque le substrat est polarisé du fait de la re-pulvérisation du film en croissance sous l’effet du bombardement ionique. La polarisation du substrat favorise la formation de liaisons fortes de types C=N observée par spectroscopie InfraRouge à Transformé de Fourier (FTIR). Les tests d’adhésion réalisés par nanoscratch pour des films déposés sur des sous-couches différentes ont permis de montrer que la sous-couche de SiNx est la plus appropriée pour obtenir une meilleure adhésion des films de SiCN sur le substrat de WC-Co. / This thesis contributes to the study of the synthesis of CNx and SiCN thin films by Microwave Plasma Assisted Chemical Vapour Deposition (MPACVD) and by reactive magnetron sputtering assisted Physical Vapour Deposition (PVD). The study on this subject has begun since the prediction of the existence of a material, particularly the ß-C3N4 phase that could have properties close to those of diamond. The main object of this thesis is to study the growth mechanisms of these thin films in order to optimize their synthesis. The work was divided into 5 chapters. A state of the art made on these types of materials enabled us to show that they have many potential applications. An in-situ study of the microwave discharge in the gas mixture N2/CH4 was systematically carried out according to the experimental parameters, namely, the microwave power, the gas pressure, the total flow rate, the gas percentage, by Optical Emission Spectroscopy (OES). It permits us to observe a maximum reactivity of the discharge at 4% CH4. The films were also realised according to the experimental parameters. This study permits us to show that the methane percentage should be less or equal to 4 % in order to avoid the formation of carbon balls on the surface of obtained films. The micrographs obtained by scanning and transmission electron microscopy show that films are made of nanocristallites with size varying between 20 and 70 nm. A structural study carried out by X-Ray Diffraction, coupled with Electronic Diffraction has shown that the films are probably made of a mixture of ß-C3N4, c-C3N4 and c-SiCN phases. We then studied the microwave discharge in pulsed mode according to the pulse parameters namely, the duty cycle, the frequency and the post-discharge duration. We found more important etching of the film beyond a frequency of 700 Hz. In the fourth chapter, we proposed growth mechanisms of the films and found the role of the silicon in deposition process. This study has enabled us to clearly understand that the silicon in the films comes from the etching of the silicon by the plasma species. The silicon acts as a catalyst and promotes the incorporation of nitrogen in the films. It also helps to stabilize the C3N4 phases. Finally, amorphous SiCN thin films depositing by PVD with silicon and carbon target have been studied. Unlike metallic target, the sputtering of carbon target is easier when it is nitride. The SiCN film deposition rate increases with the nitrogen flow rate without substrate polarization while it decreases very quickly when the substrate is biased because of the re-sputtering of the deposited film as a result of ion bombardment. The substrate biasing promotes formation of strong C=N types bonds observed by Fourier Transformed Infrared Spectroscopy (FTIR). Nanoscratch tests realised on films deposited on different kinds of under-layers have shown that the SiNx under-layer is most appropriate to get a better SiCN film adhesion on the WC-Co substrate.
437

Préparation catalytique de nouveaux matériaux polyesters et polycarbonate / Catalytic engineering for the synthesis of new polyester and polycarbonate materials

Guérin, William 11 October 2013 (has links)
Les polyesters et polycarbonates aliphatiques biocompatibles et biodégradables sont typiquement utilisés pour la fabrication de matériaux médicaux tels que les fils de sutures ou les capsules de libération contrôlée de principe actif. Ces polymères synthétiques sont aussi développés comme substituts aux plastiques issus du pétrole. La méthode de choix pour obtenir des polycarbonates ou polyesters de longueur et de structure contrôlée est la polymérisation par ouverture de cycle (ROP) de monomères cycliques à cinq ou six chaînons. Actuellement, la majorité de ces polymères présentent des propriétés physiques intéressantes mais souvent limitées à certaines applications spécifiques. Des efforts sont donc consacrés à la synthèse de nouveaux monomères et polymères ou copolymères avec des microstructures contrôlées afin de moduler à convenance les propriétés thermiques et mécaniques du matériau final. Tandis que le poly(triméthylène carbonate), PTMC, est un élastomère, le poly(L-lactide), PLLA, est un polyester fragile. L’association de ces monomères au sein d’un copolymère a permis d’améliorer et de moduler les propriétés thermo-mécaniques du PLLA. Selon la nature de la copolymérisation (séquentielle ou simultanée) et du système catalytique utilisé, des copolymères de microstructures différentes ont été obtenus. Cette approche a permis de synthétiser de nouveaux polycarbonates ou poly(carbonate-co-ester) bien définis, notamment à partir de carbonates cycliques à cinq chaînons, comme le carbonate d’éthylène ou le carbonate de cyclohexène, réputés non polymérisable. Il devient alors envisageable de préparer de nouveaux polymères jusqu’alors supposés non synthétisable et ainsi d’accéder à de nouveaux matériaux biodégradable susceptibles de pouvoir remplacer les polymères de commodités problématiques comme le polycarbonate de bisphénol A. / Biocompatible and biodegradable aliphatic polyesters and polycarbonates are typically used for the manufacture of medical devices such as sutures or capsules for controlled release of active molecules. These synthetic polymers are also developed as substitutes for petroleum-based plastics. The method of choice for the synthesis of polycarbonates or polyesters with controlled length and structure is the ring-opening polymerization (ROP) of five or six membered ring cyclic monomers. Currently, the majority of these polymers exhibit interesting physical properties but often limited to specific applications. Efforts are therefore devoted to the synthesis of new monomers and polymers or copolymers with controlled microstructure to modulate at convenience the thermal and mechanical properties of the final material. Whereas poly(trimethylene carbonate), PTMC, is an elastomer, poly(L-lactide), PLLA, is a fragile polyester. The combination of these monomers in a copolymer has improved and modulate the thermo-mechanical properties of PLLA. Depending on the nature of the copolymerization (sequential or simultaneous) and the catalytic system used, copolymers of different microstructures were obtained. This approach has allowed to synthesize new well defined polycarbonates or poly(carbonate-co-ester), especially from five-membered cyclic carbonates such as ethylene carbonate or cyclohexene carbonate, known for being not polymerizable. It then becomes possible to prepare new polymers supposed to be not synthesizable and access to new biodegradable materials that can replace problematic commodity polymers such as bisphenol A polycarbonate.
438

INCREMENT : une approche hybride pour modéliser et analyser dans le large les exigences réglementaires de sûreté / INCREMENT : an hybrid approach for modeling and analyzing regulatory safety requirements in the large

Sannier, Nicolas 12 December 2013 (has links)
Les systèmes de contrôle-commande importants pour la sûreté de fonctionnement doivent répondre à un certain nombre d’exigences, au premier rang desquelles se trouvent les exigences réglementaires, édictées par les autorités nationales et complétées par un ensemble de recommandations pratiques et de textes normatifs. Les exigences de ce domaine sont peu formalisées, les relations de traçabilité, et par conséquent l'organisation des exigences de ce vaste domaine est souvent implicite. Enfin, les passerelles entre contextes nationaux différents sont très peu développées. Les travaux de cette thèse se situent dans ce contexte industriel en partenariat avec EDF R&D et au sein du projet CONNEXION regroupant les acteurs majeurs du contrôle-commande nucléaire français. Les contributions de la thèse s'articulent autour de l'approche INCREMENT (Intrumentation aNd Control regulatory REquirement Modeling Environment) qui adresse les deux premiers challenges présentés, et en particulier : (1) la formalisation du domaine où nous proposons à la fois une description du domaine et un métamodèle permettant une capitalisation et une vue globale d'un référentiel d'exigences, (2) une base outillée pour l'acquisition automatique de documents, un environnement graphique pour la manipulation de modèles et l'apport de techniques de recherche d'information pour la traçabilité des exigences, (3) une approche originale avec une hybridation entre modélisation et recherche d'information pour une amélioration de la traçabilité des exigences. Le métamodèle proposé et ses outils sont utilisés dans l'industrie dans le projet CONNEXION. Notre approche hybride a permis dans nos expérimentations de réduire, en moyenne, la taille de ces espaces de 65% comparé aux approches standard de recherche d'information, sans en dégrader le contenu. / Instrumentation and Control (I&C) Systems important to safety must conform to their requirements, where regulatory requirements are first class entities, written by national safety authorities and completed using a set of national recommendation guides or standards. The global domain knowledge is scattered, not formalized and traceability links and the organization within the domain are implicit. Bridges between different national practices are not developed, whereas the understanding of requirements and practices variability concerns becomes a significant industrial issue. The thesis sets up in an industrial context with EDF R&D and the CONNEXION project that gathered the French nuclear I&C industry. Its contributions are defined around the INCREMENT approach (Instrumentation aNd Control Regulatory Requirement Modeling Environment) that addresses the two first challenges previously introduced. In particular, they consist in: (1) the domain formalization itself by the proposal of a metamodel that allows a high level capitalization of a requirements corpus as well as its organization, (2) a tool-support basis to gather partial knowledge from the textual documents, manipulate such models that conform to the proposed metamodel, and Information retrieval techniques to support better requirements traceability, (3) the proposal of an original hybrid approach, mixing both metamodeling and information retrieval, and combine them in a mutual beneficial joint use. The metamodel and its tool support are used in the industrial context of the CONNEXION project. Where information retrieval techniques for requirements traceability suffer from large sets of false positives limitations, our hybrid approach allowed us to reduce this noise and the size of the candidate links research space by a mean of 65% without decreasing their global quality.
439

Smart & Seamless Collaboration : bringing pervasive computing to the Computer Supported Collaborative Work / Apports de l'informatique pervasive au travail collaboratif assisté par ordinateur

Hamadache, Kahina 30 November 2011 (has links)
Ces travaux de thèse apportent une contribution aux domaines de l’informatique pervasive et du travail collaboratif assisté par ordinateur. Nous explorons ces domaines par une présentation étendue de différents travaux se rapportant aux modèles de collaboration, aux différentes conceptions ainsi qu’aux méthodes d’évaluation. Notre principale contribution pour ces domaines est le modèle PCSCW, qui propose une approche originale pour l’intégration de l’aspect pervasif au sein de la collaboration. En se basant sur un modèle ontologique représentant le contexte des utilisateurs ainsi que sur un ensemble de règles de collaborations entres machines, notre travail permet aux dispositifs intelligents d’analyser et de trouver la meilleure façon de se comporter et de collaborer avec les autres machines de l’environnement afin de canaliser et de faciliter de manière transparente et efficace la collaboration entres les humains. Nous proposons également une méthodologie permettant aux développeurs de systèmes collaboratifs pervasifs de construire leurs propres stratégies d’évaluations. / This thesis work contributes both in the pervasive computing and computer supported collaborative work domains. We explore these domains by an extended presentation of related works concerning models, designs and evaluation methods. Our main contribution for these areas is the PCSCW model, which proposes an original approach to the integration of the pervasive aspect inside the collaboration. By relying on an ontological model representing users’ context and a set of devices collaboration rules, our work enables smart devices to analyse their context and find the best way to behave and collaborate with other devices of the environment in order to seamlessly and efficiently channel and facilitate the collaboration of humans. We also propose a methodology allowing collaborative systems’ developers to build their own evaluation strategies.
440

Modélisation et classification de comportements dynamiques des systèmes hybrides / Modelling and classification of dynamical behaviour of hybrid systems

Boukharouba, Khaled 12 July 2011 (has links)
Les travaux de cette thèse portent sur l'identification des systèmes dynamiques hybrides. Nous nous intéressons plus précisément à l'identification d'une classe particulière des systèmes hybrides qui est la classe des modèles dynamiques affines par morceaux (PWA). Nous faisons tout d'abord un état de l'art sur d'identification des modèles PWA. Nous proposons ensuite de nouvelles méthodes d'identification des modèles PWA basées sur des techniques innovantes de classification non supervisée combinées avec des techniques de régression pour grouper les données selon leurs sous-modèles respectifs. Puis nous procédons à l'estimation des régions de validité des sous-modèles. Nous proposons ensuite un algorithme récursif d'identification de modèles dynamiques affines par morceaux (PWA) et de modèles dynamiques non linéaires par morceaux dont les paramètres des sous-modèles et des régions peuvent varier dans le temps. Une technique de régression par des LS-SVM récursifs permettant l'adaptation des fonctions de régression est ainsi proposée. L'adaptation des paramètres des régions de validité est assurée par un nouvel algorithme de classification incrémentale et décrémentale multi-classe à vecteurs de support. La dernière partie de ce travail est consacrée à la validation de nos méthodes sur des exemples réels. Nous appliquons nos méthodes à l'identification d'un système hydraulique à surface libre puis à la modélisation d'une machine de montage de composants électroniques sur circuit imprimé. Nous montrons aussi comment la segmentation temporelle de vidéos en différentes scènes peut être effectuée en se basant sur une estimation de sous-modèles linéaires locaux. / In this thesis, we consider the identification of a special class of hybrid systems which is the class of PieceWise Affine (PWA) systems from input-output data. The identification of PWA models is a challenging problem. It involves the estimation of both the parameters of the affine sub-models, and the coefficients of the hyperplanes defining the partition of the state + input set. First, we give an overview of the different approaches available in the literature for the identification of PWA systems. Then, we propose new methods for identifying PWA models from data. The solution includes the estimation of the number of sub-models, the identification of the parameter vectors that describe the different sub-models and the determination of the bounding hyperplanes of the polyhedral regions associated with the sub-models. After this, we propose a recursive algorithm for identifying PieceWise Affine systems (PWA) and PieceWise nonlinear systems where the parameters of the sub-models and the regions can vary over time. A recursive LS-SVM technique is proposed for recursive updating of the parameters of each sub-model. The adaptation of the parameters of the regions is ensured by an online multi-category support vector classifier. The last part of this work is devoted to the validation of our methods on real examples. We apply our methods to the identification of a hydraulic system and a pick-and-place machine. We also show how the temporal segmentation of video into different shots can be performed, based on the estimation of local linear sub-models.

Page generated in 0.0644 seconds