• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 10
  • 2
  • Tagged with
  • 12
  • 12
  • 6
  • 6
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 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.
1

Stylisation temporellement cohérente d'animations 3D basée sur des textures / Temporally coherent stylization of 3D animations based on textures

Bénard, Pierre 07 July 2011 (has links)
Cette thèse s'inscrit dans le thème du rendu expressif qui vise à définir des outils de création et de traitement d'images ou d'animations stylisées. Les applications concernent tous les métiers nécessitant une représentation visuelle plus stylisée qu'une photographie : création artistique (jeux vidéo, film d'animation, dessins animés), restitution archéologique, documentation technique, etc. Un critère fondamental de qualité d'une image est l'absence d'artefacts visuels. Cette considération a toujours existé, mais elle est particulièrement importante dans le cas de l'informatique graphique. En effet, la nature même de l'image – des pixels discrets – est source d'artefacts. Les artefacts sont encore plus visibles lorsque l'on s'intéresse aux animations, des artefacts temporels s'ajoutant aux artefacts spatiaux. L'objectif de cette thèse est d'une part de formaliser et mesurer ces artefacts en tenant compte de la perception humaine, et d'autre part de proposer de nouvelles méthodes de stylisation interactive d'animations 3D. Nous présentons tout d'abord un ensemble de techniques pour créer et assurer la cohérence de dessins au trait extraits de scènes 3D animées. Nous proposons ensuite deux méthodes de stylisation des régions de couleur permettant la créations d'un grand nombre de motifs. Le point commun à toutes ces approches est la représentation du médium simulé (pigment d'aquarelle, coup de crayon ou de pinceau...) par une texture évoluant au cours de l'animation. Nous décrivons enfin deux expériences utilisateurs visant à évaluer perceptuellement la qualité des résultats produits par ce type de techniques. / This PhD thesis deals with expressive rendering, a sub-field of computer graphics which aims at defining creation and processing tools to stylize images and animations. It has applications in all the fields that need depictions more stylized than photographs, such as entertainment (e.g., video games, animated films, cartoons), virtual heritage, technical illustration, etc. A crucial criterion to assert the quality of an image is the absence of visual artifacts. While already true for traditional art, this consideration is especially important in computer graphics. Indeed the intrinsic discrete nature of an image can lead to artifacts. This is even more noticeable during animations, as temporal artifacts are added to spatial ones. The goal of this thesis is twofold: (1) To formalize and measure these artifacts by taking into account human perception; (2) To propose new interactive methods to stylize 3D animations. First we present a set of techniques to ensure the coherence of line drawings extracted form 3D animated scenes. Then we propose two methods to stylize shaded regions, which allow to create a wide variety of patterns. The shared ground layer of all these approaches is the use of temporally varying textures to represent the simulated media (e.g., watercolor pigments, brush strokes). Finally we describe two user studies aiming at evaluating the quality of the results produced by such techniques.
2

Stylisation temporellement cohérente d'animations 3D basée sur des textures

Bénard, Pierre 07 July 2011 (has links) (PDF)
Cette thèse s'inscrit dans le thème du rendu expressif qui vise à définir des outils de création et de traitement d'images ou d'animations stylisées. Les applications concernent tous les métiers nécessitant une représentation visuelle plus stylisée qu'une photographie : création artistique (jeux vidéo, film d'animation, dessins animés), restitution archéologique, documentation technique, etc. Un critère fondamental de qualité d'une image est l'absence d'artefacts visuels. Cette considération a toujours existé, mais elle est particulièrement importante dans le cas de l'informatique graphique. En effet, la nature même de l'image - des pixels discrets - est source d'artefacts. Les artefacts sont encore plus visibles lorsque l'on s'intéresse aux animations, des artefacts temporels s'ajoutant aux artefacts spatiaux. L'objectif de cette thèse est d'une part de formaliser et mesurer ces artefacts en tenant compte de la perception humaine, et d'autre part de proposer de nouvelles méthodes de stylisation interactive d'animations 3D. Nous présentons tout d'abord un ensemble de techniques pour créer et assurer la cohérence de dessins au trait extraits de scènes 3D animées. Nous proposons ensuite deux méthodes de stylisation des régions de couleur permettant la créations d'un grand nombre de motifs. Le point commun à toutes ces approches est la représentation du médium simulé (pigment d'aquarelle, coup de crayon ou de pinceau...) par une texture évoluant au cours de l'animation. Nous décrivons enfin deux expériences utilisateurs visant à évaluer perceptuellement la qualité des résultats produits par ce type de techniques.
3

Effet de la stimulation rythmique audio-tactile sur les mouvements de coordination / Effect of audio-tactile rhythmic stimulation on the coordination of movements

Roy, Charlotte 24 March 2017 (has links)
Notre capacité à intégrer des informations venant de nos différents sens est fondamentale pour produire et réguler les mouvements de notre corps. L’objectif général de cette thèse est d’étudier les effets des déterminants de l’intégration multisensorielle sur nos comportements sensorimoteurs rythmiques. Les effets de l’intégration multisensorielle sur ce type de comportements sont peu connus car peu étudiés. Ces comportements caractérisent pourtant la majorité de nos activités quotidiennes comme marcher, écrire ou encore lors de la pratique d’activités sportives. Jusqu’à présent les processus multisensoriels ont été étudiés principalement dans le cadre de nos capacités de discrimination et de détection, révélant notamment la nécessaire synchronie temporelle entre les modalités pour leur intégration. Les conséquences de cette cohérence temporelle et des mécanismes associés n’ont jamais été testées sur les comportements sensorimoteurs rythmiques. Nous chercherons donc à généraliser leurs effets sur ces comportements. Par ailleurs, la littérature rapporte que les caractéristiques du mouvement modifient le traitement des informations sensorielles et semblent également influencer l’intégration multisensorielle. Nous testerons ainsi l’effet des caractéristiques de stabilité du système sensorimoteur, i.e. stabilité intrinsèque de la marche, sur l’intégration multisensorielle.Les deux contributions de cette thèse sont les suivantes : (1) Les comportements rythmiques obéissent aux mêmes principes que les comportements de discrimination temporelle ou de détection. Nos résultats généralisent les effets de cohérence temporelle et montrent pour la première fois l’effet de bénéfice multisensoriel sur la marche. (2) Nous formulons une hypothèse novatrice de compensation sensorimotrice, qui souligne l’utilisation adaptée des informations multisensorielles par le système sensorimoteur. Ce dernier compense la diminution de stabilité intrinsèque de la marche par une plus grande et/ou meilleure utilisation des informations externes audio-tactiles. / Our ability to merge information coming from several senses is crucial to produce and regulate our body movements. The main objective of this thesis is to study the effects of multisensory integration factors on our sensorimotor rhythmic behaviours. The multisensory integration effects on these behaviours are not well understood, being seldom studied. However, those behaviours characterize most of our daily activities such as walking, writing or doing sports. So far, multisensory processes have essentially been studied with regard to our discrimination and detection skills, highlighting the necessity of a temporal synchrony between senses for their integration. The consequences of this temporal coherence and the associated mechanisms have never been tested on sensorimotor rhythmic behaviours. Thus, we will extend their effects to these behaviours. Besides, literature shows that the movements’ features modify the processing of sensory information and can influence multisensory integration. We will test the effects of the stability of the sensorimotor system, i.e. intrinsic stability of gait, on the multisensory integration.The two main contributions of the thesis are the following ones: (1) Rhythmic behaviours obey the same principles as temporal discrimination and detection behaviours. Our results generalize the effects of temporal coherence and show for the first time a multisensory benefit on gait. (2) We suggest a novel sensorimotor compensatory assumption, highlighting the adaptive use of multisensory information by the sensorimotor system, which compensates the decrease of the intrinsic stability of the gait with a larger and/or better use of external audio-tactile information.
4

Vers les lasers XUV femtosecondes : étude des propriétés spectrales et temporelles de l'amplification de rayonnement XUV dans un plasma / Toward X-ray lasers : study of the spectral and temporal properties of X-ray radiation amplification in a plasma

Le Marec, Andréa 19 October 2016 (has links)
Cette thèse s’inscrit dans le contexte des travaux visant à réduire la durée d’impulsion des lasers XUV générés dans des plasmas au domaine femtoseconde. La bande spectrale très étroite du milieu amplificateur limite la durée minimum accessible (limite de Fourier). Le milieu amplificateur des lasers XUV sont des plasmas denses et chauds qui peuvent être créés aussi bien par décharge électrique rapide que par différents types de lasers de puissance. Il existe ainsi 4 types de sources lasers XUV distinctes dont les paramètres du plasma (densité, température) dans la zone de gain diffèrent. Or, les propriétés spectrales et temporelles du rayonnement émis sont fortement liées à ces paramètres. L’ensemble des 4 types de lasers XUV opèrent en mode d'amplification de l'émission spontanée (ASE) et 2 d'entre eux peuvent opérer en mode « injecté ». Cette technique consiste à injecter une impulsion harmonique d'ordre élevé femtoseconde, résonante avec la transition laser, à l'une des extrémités du plasma amplificateur. L'important désaccord entre la largeur spectrale du plasma et celle de l'harmonique ne permet pas de conserver la durée fs de cette dernière au cours de l'amplification. Les simulations (code Bloch-Maxwell COLAX) montrent que l'amplification est fortement non-linéaire dans ces systèmes, avec notamment l'apparition d’oscillations de Rabi. La génération d'oscillations de Rabi dans des lasers XUV en mode injecté est actuellement considérée comme un moyen prometteur de produire des lasers XUV fs, mais la manifestation de ces dernières n’a toutefois encore jamais été mise en évidence expérimentalement. Ainsi, une méticuleuse caractérisation expérimentale des propriétés spectrales des 4 types de lasers XUV en relation avec les conditions du plasma, associée à une meilleure compréhension des mécanismes d’amplification sous différentes conditions plasma basée sur des études théoriques et des simulations, sont nécessaires pour atteindre notre objectif. Une large campagne expérimentale visant à caractériser spectralement l'ensemble des différents types de lasers XUV a été menée par notre groupe sur la dernière décennie. La résolution spectrale nécessaire n'étant pas accessible avec les spectromètres actuels, la méthode employée consiste à mesurer la cohérence temporelle du laser XUV par autocorrélation du champ électrique à l'aide d'un interféromètre à division de front d'onde, spécifiquement conçu pour ces mesures, à partir desquelles la largeur spectrale peut être déduite. Le dernier type de laser XUV (PALS, Prague) a été caractérisé dans le cadre de cette thèse. Le temps de cohérence mesuré est de 0,68 ps, significativement inférieur aux valeurs mesurées sur les autres types de lasers XUV. L'analyse de l'ensemble des mesures a fait apparaître un comportement différent suivant que la durée d’impulsion est longue devant le temps de cohérence ou proche de celui-ci. Dans le premier cas les largeurs spectrales déduites sont en bon accord avec les calculs, dans le second l’accord est moins bon et la forme des traces d'autocorrélation n'était pas comprise. Ces observations ont motivé une étude détaillée de l'influence des propriétés temporelles de l'émission ASE des lasers XUV sur la méthode interférométrique employée pour caractériser leur largeur spectrale. Cette étude, basée sur un modèle emprunté aux lasers à électrons libres, a révélé un effet de la cohérence temporelle partielle sur les mesures d'autocorrélation en champ de ces sources. Elle ouvre des perspectives sur l'utilisation de notre méthode pour une mesure simultanée de la largeur spectrale et de la durée d'impulsion de la source. Enfin, une étude basée sur un modèle Bloch-Maxwell a été réalisée pour tenter de mieux comprendre les conditions d'apparition des oscillations de Rabi au cours de l'amplification de l'harmonique dans le plasma de laser XUV. Deux régimes d'amplification, adiabatique et dynamique, autour d'un seuil d'inversion de population ont été mis en évidence. / The work of this thesis was made in the context of the efforts made to reduce the pulse duration of plasma-based XUV lasers down to the femtosecond domain. The very narrow spectral width of the amplifier medium (~ 1E10 - 1E11 Hz) limits the minimum achievable pulse duration (Fourier limit). The amplifier medium of XUV lasers pumped by collisional excitation are dense and hot plasmas that can be created both by rapid electrical discharge and by different types of power lasers. There are thus 4 distinct types of XUV laser sources with different plasma parameters (density, temperature) in the gain region. Yet, the spectral and temporal properties of the emitted radiation are strongly linked to these parameters. All 4types of XUV lasers operate in amplification of spontaneous emission (ASE) mode, and 2 of them, for a few years, can operate in "seeded" mode. This technique consists in injecting a femtosecond high order harmonic pulse (the seed), resonant with the lasing transition, at one extremity of the plasma amplifier. Because of the major mismatch between the spectral width of the plasma and that of the seed the femtosecond duration of the latter is not preserved during amplification. Simulations (COLAX Maxwell-Bloch code) show that the amplification is highly non-linear in such systems, including the appearance of Rabi oscillations. Generating Rabi oscillations in seeded XUV lasers is currently considered a promising way to produce femtosecond XUV lasers. However Rabi oscillations have yet never been experimentally demonstrated. Thus, a meticulous experimental characterization of the spectral properties of the 4 types of XUV lasers in connection with the plasma conditions, combined with a better understanding of amplification mechanisms under different theoretical plasma conditions based on studies and simulations are needed to reach our goal. A wide experimental campaign aiming to spectrally characterize all different types of XUV lasers was conducted by our group over the past decade. The required spectral resolution is not available with the best current spectrometers, so the method we used consists on the measurement of the temporal coherence of the XUV laser through an electric field autocorrelation, using a wave front-division interferometer that was specifically designed for these measures, from which the spectral width can be deduced. The latter type of the four XUV laser types (PALS, Prague) was characterized during this thesis, closing this experimental campaign. The measured coherence time was 0.68 ps, which is significantly lower than the coherence times measured on the other XUV laser types. Analysis of the overall results revealed two different behavior whether the XUV laser has a long pulse duration compared to its coherence time or if the two durations are close. In the first case the inferred spectral widths are in good agreement with theoretical predictions, while in the second case the agreement was not as good and the shape of the electric field autocorrelation traces was not understood. This observation has prompted a detailed study of the influence of temporal properties of ASE XUV lasers on the interferometric methodology used to determine the spectral width of XUV lasers. The study, based on a model developed for X-free electron lasers, revealed an effect of partial temporal coherence in electric field autocorrelation measures of these sources. This study offers perspectives on a simultaneous measure of the spectral width and the duration of theses sources with our method. Finally, a study based on Maxwell-Bloch equations was carried out in order to understand better the conditions of apparition of Rabi oscillations. This study highlighted two amplification regimes, adiabatic and dynamic, around a population inversion threshold.
5

Simulation globale de l'éclairage pour des séquences animées prenant en en compte la cohérence temporelle

Damez, Cyrille 10 December 2001 (has links) (PDF)
Les méthodes globales de simulation de l'éclairage permettent, à la différence des méthodes d'éclairage local, d'exprimer l'équilibre énergétique dans les échanges entre différents objets, et donc de simuler précisément les effets subtils d'éclairage dûs aux nombreuses inter-réflexions. Il est donc naturel de souhaiter les utiliser pour la synthèse réaliste de films d'animation. Plutôt que de résoudre une succession d'équations intégrales tri-dimensionelles, nous modélisons les échanges lumineux ayant lieu au cours de l'animation sous la forme d'une unique équation intégrale quadri-dimensionelle. Dans le cas ou l'intégralité des mouvements est connue à l'avance, nous proposons une extension de l'algorithme de radiosité hiérarchique mettant à profit la cohérence temporelle. La radiosité en chaque point et à chaque instant y est exprimée dans une base de fonctions hiérarchiques définies sur un maillage produit par un processus de raffinement. L'extension de ce maillage à un espace à quatre dimensions nous permet de calculer des échanges lumineux sur un intervalle de temps fini au lieu d'une date donnée. L'algorithme ainsi défini permet la simulation de l'éclairage global diffus dans une scène animée, dans un temps largement inférieur, avec une qualité équivalente. Nous avons développé pour cela de nouveaux oracles de raffinement ad hoc, que nous présentons ici. Afin de permettre le calcul de scènes géométriquement complexes, nous présentons une nouvelle politique de regroupement hiérarchique des objets adaptée au cas quadri-dimensionnel. Nous présentons également un algorithme permettant la réduction des discontinuités temporelles dues aux approximations effectuées lors de la résolution, basé sur l'emploi de bases de multi-ondelettes. Finalement, nous présentons un mécanisme d'ordonnancement des calculs et de sauvegarde temporaire sur une mémoire de masse permettant de réduire la consommation en mémoire vive de l'algorithme.
6

Accélération du calcul d'animations de synthèse

Ponsi, Nicolas 30 January 1997 (has links) (PDF)
Le lancé de rayons est une technique très utilisée pour la production d'animations de synthèse. Les temps de calculs nécessaires sont cependant très importants.Nous proposons en conséquence une méthode permettant l'accélération de ceux-ci. Nous construirons tout d'abord les outils permettant de mesurer l'influence des translations et rotations de chaque objet sur son mouvement apparent dans l'espace de l'image, ceci entre deux instants de l'animation. A l'aide de cette information, nous proposerons une méthode permettant le calcul d'une animation visuellement équivalente à celle qui serait produite avec un calcul image par image, en un temps beaucoup plus court. Contrairement à d'autre méthodes, aucune limitation n'existe sur les mouvements ni de l'observateur ni des objets de la scène. De plus, la connaissance a priori de l'animation n'est pas nécessaire, ce qui permet d'appliquer la méthode au temps réel.
7

Experimental study and numerical simulations of the spectral properties of XUV lasers pumped by collisional excitation / Etude expérimentale et simulations numériques des propriétés spectrales de lasers X pompés par excitation collisionnelle

Meng, Limin 20 December 2012 (has links)
La caractérisation spectrale détaillée des lasers XUV générés dans des plasmas est un enjeu important des projets actuels de développement qui visent à augmenter la puissance crête de ces sources. En effet les propriétés spectrales de ces lasers conditionnent d'autres propriétés importantes, telle que la durée minimum accessible (limite de Fourier). La plus courte durée actuellement démontrée expérimentalement est de 1 picoseconde. La technique d'injection d'un plasma de laser XUV avec une impulsion femtoseconde de rayonnement harmonique d'ordre élevé offre des perspectives très prometteuses pour réduire la durée d'impulsion jusqu'à quelques 100 femtosecondes, pourvu que l'on sache maintenir une bande spectrale de gain suffisamment large.Les lasers XUV pompés par excitation collisionnelle dans des ions néonoïdes et nickeloïdes ont été développés dans des plasmas chauds créés aussi bien par décharge électrique rapide que par différents types de lasers de puissance. On a ainsi accès à une large variété de sources lasers XUV, qui diffèrent par les caractéristiques du faisceau émis, mais aussi par les paramètres du plasma (densité, température) dans la zone de gain. On peut donc s'attendre à des propriétés spectrales différentes. Le but du travail que nous présentons est d'étudier les propriétés spectrales des différents types de lasers XUV collisionnels existants, et d'évaluer leur capacité à amplifier des impulsions de durée inférieure à 1 picoseconde, dans un mode injecté.La caractérisation spectrale des lasers XUV est expérimentalement difficile parce que la résolution spectrale nécessaire (∆λ/λ ~10-5) n'est pas accessible avec les meilleurs spectromètres actuels. Dans notre étude, nous avons atteint cette résolution en mesurant la cohérence temporelle de la source à l'aide d'un interféromètre à division de front d'onde, spécifiquement conçu pour ces mesures, à partir desquelles largeur spectrale peut être déduite.Nous avons caractérisé trois types de lasers XUV collisionnels, développés dans trois laboratoires différents: pompage transitoire dans le molybdène nickeloïde, pompage par décharge électrique dans l'argon néonoïde et pompage quasi-stationnaire dans le zinc néonoïde. Dans chaque cas la cohérence temporelle a été mesurée précisément. De plus nous avons étudié l'effet de la saturation de l'amplification et (pour le Ni-like Mo) l'influence du mode injecté. Nous avons également étudié le comportement temporel du laser transitoire Ni-like Mo à l'aide d'une caméra streak X ultra-rapide. Nos mesures spectrales sont comparées à des résultats de simulations numériques prenant en compte les différents mécanismes d'élargissement ainsi que les effets de transfert radiatif. Nous avons étudié l'évolution du profil spectral avec l'amplification et la saturation, et nous avons évalué les limites de Fourier correspondantes.Le temps de cohérence le plus court (ie la largeur spectrale la plus grande) est mesuré pour le laser XUV quasi-stationnaire, qui correspond au plasma qui a la plus forte densité et la plus forte température ionique. / Improving the knowledge of the spectral and temporal properties of plasma-based XUV lasers is an important issue for the ongoing development of these sources towards significantly higher peak power. The spectral properties of the XUV laser line actually control several physical quantities that are important for applications, such as the minimum duration that can be achieved (Fourier-transform limit). The shortest duration experimentally achieved to-date is ~1 picosecond. The demonstrated technique of seeding XUV laser plasmas with a coherent femtosecond pulse of high-order harmonic radiation opens new and promising prospects to reduce the duration to a few 100 fs, provided that the gain bandwidth can be kept large enough.XUV lasers pumped by collisional excitation of Ni-like and Ne-like ions have been developed worldwide in hot plasmas created either by fast electrical discharge, or by various types of high-power lasers. This leads to a variety of XUV laser sources with distinct output properties, but also markedly different plasma parameters (density, temperature) in the amplification zone. Hence different spectral properties are expected. The purpose of our work was then to investigate the spectral behaviour of the different types of existing collisional excitation XUV lasers, and to evaluate their potential to support amplification of pulses with duration below 1 ps in a seeded mode.The spectral characterization of plasma-based XUV lasers is challenging because the extremely narrow bandwidth (typically ∆λ/λ ~10-5) lies beyond the resolution limit of existing spectrometers in this spectral range. In our work the narrow linewidth was resolved using a wavefront-division interferometer specifically designed to measure temporal coherence, from which the spectral linewidth is inferred. We have characterized three types of collisional XUV lasers, developed in three different laboratories: transient pumping in Ni-like Mo, capillary discharge pumping in Ne-like Ar and quasi-steady state pumping in Ne-like Zn. Besides the accurate measurement of the temporal coherence of the laser in each case, we have studied the spectral behaviour when the laser is operated in the saturation regime and (in Ni-like Mo) when it is seeded with high-order harmonic radiation. We have also investigated the temporal behaviour of the Ni-like Mo transient XUV laser, using an ultrafast X-ray streak camera. Our linewidth measurements are compared with detailed numerical calculations including relevant broadening mechanisms as well as radiative transfer effects. The evolution of the spectral profile with amplification and saturation was studied for different plasma parameters, and corresponding Fourier-transform limit duration were evaluated.The shortest temporal coherence (ie the largest bandwidth) is measured for the quasi-steady state pumping XUV laser, which operates at the highest density and ionic temperature.
8

Contribution à la conception de systèmes temps-réel s'appuyant sur la technique de description formelle RT-Lotos

Lohr, Christophe 19 December 2002 (has links) (PDF)
Ce mémoire de thèse s'intéresse à la conception de systèmes temps-réel en s'appuyant sur la méthode formelle RT-Lotos, extension temporelle à l'algèbre de processus Lotos. Il aborde plusieurs points relatifs à la spécification, la validation et l'ordonnancement de systèmes concurrents sujets à des contraintes logiques et temporelles. La première partie propose un éventail de méthodes formelles pour la spécification et la validation de systèmes temps-réel. Elle présente également le langage RT-Lotos et la technique de vérification formelle associée basée sur une analyse d'accessibilité. Elle détaille finalement un ensemble de travaux concernant l'automate temporisé (appelé un DTA) dérivé d'une spécification RT-Lotos, avec comme objectifs d'exécuter des simulations rapides, et de s'interfacer avec des outils de vérification de type model-checker. La deuxième partie présente une étude sur la notion de cohérence temporelle et propose une technique ainsi qu'un modèle formel pour exploiter sous un nouvel angle des informations issues de la vérification formelle par analyse d'accessibilité. Cette approche propose de raffiner le graphe des régions, d'en élaguer certaines branches jugées non souhaitables, d'extraire les dates de tir possible des actions, et de présenter ces informations sous la forme d'un nouveau type d'automate temporisé (appelé un TLSA) ayant pour vocation l'ordonnancement dans le temps des actions d'un système. Enfin, la troisième partie se penche sur les liens possibles entre méthodes formelles et semi-formelles. Dans ce cadre, nous proposons une sémantique formelle pour les diagrammes UML s'appuyant sur RT-Lotos, après avoir défini une extension temps-réel à UML (appelée TURTLE). Ainsi, nous définissons une méthodologie qui s'inscrit dans les techniques de développement industriel classiques et qui permet une vérification formelle de systèmes temps-réel.
9

Cohérence temporelle d'ordre supérieur d'un laser déclenché multimode

Sanchez, Francis 30 May 1975 (has links) (PDF)
Calcul, dans le cadre de la théorie des champs gaussiens d'intensité stationnaire, de l'effet de groupement absolu d'ordre quelconque d'un champ gaussien généralisé, ainsi que celui d'une classe plus générale. Etude dans le cadre de la théorie des fonctions aléatoires de plusieurs effets de groupements des champs périodiques. Réalisation du premier laser déclenché a cohérence variable (a nombre de modes axiaux variables). Concept de surintensité. Influence de la cohérence du champ laser sur la section efficace apparente d'ionisation multi photonique. Mesure, en optique statistique appliquée, des moments d'ordre élevé du champ émis par un laser déclenché multi mode. Modèle statistique du champ multi mode.
10

Temporal coherency in video tone mapping / Influence de la cohérence temporelle dans les techniques de Vidéo Tone Mapping

Boitard, Ronan 16 October 2014 (has links)
L'un des buts principaux de l'imagerie numérique est d'une part la capture et d'autre part la reproduction de scènes réelles ou synthétiques sur des dispositifs d'affichage aux capacités restreintes. Les techniques d'imagerie traditionnelles sont limitées par la gamme de luminance qu'elles peuvent capturer et afficher. L'imagerie à grande gamme de luminance (High Dynamic Range – HDR) vise à dépasser cette limitation en capturant, représentant et affichant les quantités physique de la lumière présente dans une scène. Cependant, les technologies d'affichage existantes ne vont pas disparaitre instantanément, la compatibilité entre ces nouveaux contenus HDR et les contenus classiques est donc requise. Cette compatibilité est assurée par une opération de réduction des gammes de luminance (tone mapping) qui adapte les contenus HDR aux capacités restreintes des écrans. Bien que de nombreux opérateurs de tone mapping existent, ceux-ci se focalisent principalement sur les images fixes. Les verrous scientifiques associés au tone mapping de vidéo HDR sont plus complexes du fait de la dimension temporelle. Les travaux recherche menés dans la thèse se sont focalisés sur la préservation de la cohérence temporelle du vidéo tone mapping. Deux principaux axes de recherche ont été traités : la qualité subjective de contenus tone mappés et l'efficacité de la compression des vidéos HDR. En effet, tone mapper individuellement chaque image d'une séquence vidéo HDR engendre des artefacts temporels. Ces artefacts affectent la qualité visuelle de la vidéo tone mappée et il est donc nécessaire de les minimiser. Au travers de tests effectués sur des vidéos HDR avec différents opérateurs de tone mapping, nous avons proposé une classification des artefacts temporels en six catégories. Après avoir testé les opérateurs de tone mapping vidéo existants sur les différents types d'artefacts temporels, nous avons observé que seulement trois des six types d'artefacts étaient résolus. Nous avons donc créé une technique de post-traitement qui permet de réduire les 3 types d'artefacts non-considérés. Le deuxième aspect considéré dans la thèse concerne les relations entre compression et tone mapping. Jusque là, les travaux effectués sur le tone mapping et la vidéo compression se focalisaient sur l'optimisation du tone mapping de manière à atteindre des taux de compression élevés. Ces techniques modifient fortement le rendu, c'est à dire l'aspect de la vidéo, modifiant ainsi l'intention artistique initiale en amont dans la chaine de distribution (avant la compression). Dans ce contexte, nous avons proposé une technique qui permet de réduire l'entropie d'une vidéo tone mappée sans en modifier son rendu. Notre méthode adapte la quantification afin d'accroitre les corrélations entre images successives d'une vidéo. / One of the main goals of digital imagery is to improve the capture and the reproduction of real or synthetic scenes on display devices with restricted capabilities. Standard imagery techniques are limited with respect to the dynamic range that they can capture and reproduce. High Dynamic Range (HDR) imagery aims at overcoming these limitations by capturing, representing and displaying the physical value of light measured in a scene. However, current commercial displays will not vanish instantly hence backward compatibility between HDR content and those displays is required. This compatibility is ensured through an operation called tone mapping that retargets the dynamic range of HDR content to the restricted dynamic range of a display device. Although many tone mapping operators exist, they focus mostly on still images. The challenges of tone mapping HDR videos are more complex than those of still images since the temporal dimensions is added. In this work, the focus was on the preservation of temporal coherency when performing video tone mapping. Two main research avenues are investigated: the subjective quality of tone mapped video content and their compression efficiency. Indeed, tone mapping independently each frame of a video sequence leads to temporal artifacts. Those artifacts impair the visual quality of the tone mapped video sequence and need to be reduced. Through experimentations with HDR videos and Tone Mapping Operators (TMOs), we categorized temporal artifacts into six categories. We tested video tone mapping operators (techniques that take into account more than a single frame) on the different types of temporal artifact and we observed that they could handle only three out of the six types. Consequently, we designed a post-processing technique that adapts to any tone mapping operator and reduces the three types of artifact not dealt with. A subjective evaluation reported that our technique always preserves or increases the subjective quality of tone mapped content for the sequences and TMOs tested. The second topic investigated was the compression of tone mapped video content. So far, work on tone mapping and video compression focused on optimizing a tone map curve to achieve high compression ratio. These techniques changed the rendering of the video to reduce its entropy hence removing any artistic intent or constraint on the final results. That is why, we proposed a technique that reduces the entropy of a tone mapped video without altering its rendering.

Page generated in 0.4708 seconds