• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 51
  • 29
  • 5
  • Tagged with
  • 86
  • 23
  • 21
  • 16
  • 14
  • 14
  • 13
  • 12
  • 11
  • 11
  • 11
  • 10
  • 10
  • 10
  • 10
  • 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.
61

Effet de masquage fréquentiel dans les vibrations du corps pour un sujet assis / Masking effect for vertical whole body vibration

Hernandez Yanez, Carmen Rosa 06 September 2012 (has links)
Dans les sociétés industrialisées, les humains sont exposés à multiples sources de mouvements vibratoires. Jusqu'à présent, l’analyse de l'effet des stimuli vibratoire dans son ensemble a été bien développée, plus précisément en ce qui concerne le seuil de perception. Au cours des dernières années, diverses études ont analysé l'influence de certains facteurs.Cependant, l'effet d'une des composantes du stimulus sur la perception d'autres composants a été rarement rapporté. Dans ce cas, très peu d'information a été trouvée dans la littérature. Dans les deux études trouvées, le seuil absolu a été réévalué en considérant un second signal sinusoïdal. La valeur du seuil était plus élevée que ce qui a été estimé avec le stimulus simple. L'augmentation du seuil a été attribuée à l'effet de masquage. Basé sur ces observations, cette étude examine l'existence de l'effet de masquage dans les vibrations vertical du corps entière. Afin d'examiner l'effet de masquage, la différence entre le seuil absolu et le seuil masqué est nécessaire. Deux types de stimuli ont été utilisés : le stimulus masquage et le stimulus de test. Le masque est un signal de bruit à bande étroite entre 10 et 20 Hz, à trois niveaux d'amplitude différents. La sélection du stimulus de masque a été basée sur le modèle de masquage largement étudié dans certains domaines tels que l'acoustique, le domaine visuel et vibrotactile. Le stimulus de test est un signal sinusoïdale d'amplitude modulée à six fréquences différentes (30, 35, 40, 50, 60, 80 Hz. L'effet de la fréquence sur le seuil absolu estimé est similaire à ce qui a été indiqué par d'autres études. La détection du stimulus en présence du signal de masquage a été empêchée. Par conséquent, il est certainement clair que le phénomène de masquage a eu lieu. Les valeurs des seuils masqués étaient considérablement plus élevées que ceux correspondant aux seuils absolus. Le seuil décroît en fonction de la fréquence de test et l'effet de masque est plus important à haute qu’à faible niveau d'intensité du masque. Le démasquage est lié à l’écart entre les fréquences des signaux masquant et de test. Lorsque l’écart est faible, prévaut la reconnaissance de l’augmentation de l’intensité globale d'énergie. Si l’écart augmente, la discrimination des signaux prédomine. / In industrialized societies, humans are exposed to multiple sources of vibratory motions. To date, the analyses of the impact of vibratory stimuli as a whole have been well developed, more precisely with respect to perception threshold. Along recent years various studies have been analyzed the influence of some factors involved.However, the effect of one component of the stimulus in to perception of other components has been rarely reported. In this case, little information was found in the literature. In two studies found, the absolute threshold was revalued by integrating a second sinusoidal signal. The threshold value was higher that which has been estimated with the simple stimulus. The increase of threshold has been attributed to a masking effect. Based on these remarks, this study investigates the existence of masking effect for vertical whole body vibration, in particular to sitting position. To examine the masking effect, the difference between absolute and masked thresholds is required. Two types of stimuli have been used: the masking and the test stimulus. The masker is a narrow-band noise from 10 to 20 Hz at three different magnitude levels. The selection of mask stimulus was based on the masking model widely studied in acoustic, visual and vibrotactile areas. The test stimulus is a sinusoidal modulated amplitude signal at six different frequencies (30, 35, 40, 50, 60, 80 Hz). The frequency dependence of the absolute threshold estimated is similar to the results presented in other studies. The stimulus detection in the presence of the masking signal has been prevented. Therefore, it is certainly clear that the masking phenomenon occurred. The masked thresholds values were considerably higher than those absolute thresholds. The threshold decreases as a function of test frequency and the mask effect is more important at high than at low intensity masker levels. The unmasking is related to the difference between the mask and test signals frequencies. When the difference is small, the recognition of the increase in the overall energy intensity predominates. However, if the difference increases, then the discrimination of signals is dominant.
62

Genome-wide modeling of mutation spectra of human cancer-risk agents using experimental systems / Modélisation à l'échelle du génome des spectres de mutations des agents de risque de cancer humain en employant des systèmes expérimentaux

Zhivagui, Maria 30 November 2017 (has links)
Les génomes du cancer présentent une mosaïque de types de mutations. Trente signatures mutationnelles ont été identifiées à partir d'un grand nombre de tumeurs humaines primaires. Déchiffrer l'origine de ces signatures mutationnelles pourrait aider à identifier les causes du cancer humain. Environ 40% des signatures décrites sont d'origine inconnue, soulignant la nécessité de modèles expérimentaux contrôlés pour étudier l'origine de ces signatures. Au cours de mon travail de doctorat, j'ai caractérisé et utilisé des modèles in vitro et in vivo d'exposition aux cancérogènes, caractériser les signatures mutationnelles au niveau de génome entier de plusieurs composés cancérogènes pour lesquels le spectre de mutations n'était pas connu ou controversé. Tout d'abord, les conditions de cytotoxicités et genotoxicités pour chaque composé ont été établies et la formation d'adduits d'ADN a été évaluée. Suite au séquençage du gène TP53, on a effectué un séquençage au niveau du génome des clones MEF immortalisés dérivés de l'exposition à l'acrylamide, au glycidamide et à l'ochratoxine A. Le travail suggère une nouvelle signature mutationnelle unique pour l'acrylamide et médiée par son métabolite actif, le glycidamide. En fait, le motif des mutations de glycidamide, correspondant au profil de sa signature mutationnelle, a récapitulé les types de mutations attendus en fonction de l'analyse des adduits d'ADN. En outre, une analyse intégrée utilisant des modèles in vitro et in vivo suggère un manque de mutagénicité directe pour l'OTA avec une contribution potentielle d'un mode d'action lié à la production des radicaux libres à la signature mutationnelle OTA dans les MEF. Cette stratégie expérimentale simple et puissante peut faciliter l'interprétation des empreintes de mutations identifiées dans les tumeurs humaines, élucider l'étiologie du cancer et finalement soutenir la classification des cancers du CIRC en fournissant des preuves mécanistes / Cancer genomes harbour a mosaic of mutation patterns from which thirty mutational signatures have been identified, each attributable to a particular known or yet undetermined causal process. Deciphering the origins of these global mutational signatures in full could help identify the causes of human cancer, especially for about 40% of those signatures identified thus far that remain without a known etiological factor. Thus, well-controlled experimental exposure models can be used to assign particular mutational signatures to various mutagenic factors.During the time frame of my PhD work, I characterized and employed innovative in vitro and in vivo models of carcinogen exposure, namely, primary Hupki MEF cells, HepaRG and lymphoblastoid cell lines as well as rodent tumors. The cytotoxic and genotoxic conditions for each tested exposure compound were established and DNA adduct formation was assessed in select cases. Following a pre-screen by TP53 gene sequencing, genome-wide sequencing of immortalized Hupki MEF clones derived from exposure to acrylamide, glycidamide and ochratoxin A was performed, alongside whole genome sequencing of ochratoxin A induced rat renal tumors. The results reveal a novel mutational signature of acrylamide mediated by its active metabolite, glycidamide, a pattern that can be explained by the parallel analysis of individual glycidamide-DNA adducts. In addition, an integrative mutation analysis using in vitro and in vivo models suggests a lack of direct mutagenicity for OTA and possible indirect effects due to the ROS-mediated mode-of-action in MEF cells. The presented robust experimental strategy can facilitate the interpretation of mutation fingerprints identified in human tumors, thereby elucidating cancer etiology, elucidating the relationship between mutagenesis and carcinogenesis and ultimately providing mechanistic evidence for IARC’s carcinogen classification
63

Custom floating-point arithmetic for integer processors : algorithms, implementation, and selection / Arithmétique à virgule flottante spécifique pour processeurs entiers : algorithmes, implémentation et sélection

Jourdan, Jingyan 15 November 2012 (has links)
Les applications multimédia se composent généralement de blocs numériques exhibant des schémas de calcul flottant réguliers. Sur les processeurs sans support architectural pour l'arithmétique flottante, ils peuvent être profitablement transformés en opérateurs dédiés, s'ajoutant aux 5 opérateurs élémentaires (+, -, X, / et √) : en traitant plus d'opérations simultanément, ils permettent d'obtenir de meilleures performances. Cette thèse porte sur la conception de tels opérateurs, et les techniques de compilation mises en œuvre pour les sélectionner. Nous avons réalisé des implémentations optimisées pour un ensemble d'opérateurs dédiés : élévation au carré, mise à l'échelle, fused multiply-add, produit scalaire en dimension deux (DP2), addition/soustraction simultané et sinus/cosinus simultanés. En proposant de nouveaux algorithmes cherchant à maximiser le parallélisme d'instructions et détaillés ici, nous obtenons des accélérations d'un facteur allant jusqu'à 4.2 par appel. Nous détaillons également les changements apportés dans le compilateur pour effectuer la sélection. La plupart des opérateurs sont sélectionnés au niveau syntaxique. Cependant, pour certains opérateurs, nous avons dû améliorer l'analyse d'intervalles entiers pour prendre en compte les variables de type flottant, afin de prouver certaines conditions de positivité requises à leur sélection. Enfin, nous apportons la preuve en pratique de la pertinence de cette approche : sur des noyaux typiques du traitement du signal et sur certaines applications, nous mesurons une amélioration de performance allant jusqu'à 1.59x en comparaison avec la performance obtenue avec les seuls opérateurs élémentaires. / Media processing applications typically involve numerical blocks that exhibit regular floating-point computation patterns. For processors whose architecture supports only integer arithmetic, these patterns can be profitably turned into custom operators, coming in addition to the five basic ones (+, -, X, / and √), but achieving better performance by treating more operations. This thesis addresses the design of such custom operators as well as the techniques developed in the compiler to select them in application codes. We have designed optimized implementations for a set of custom operators which includes squaring, scaling, adding two nonnegative terms, fused multiply-add, fused square-add (x*x+z, with z>=0), two-dimensional dot products (DP2), sums of two squares, as well as simultaneous addition/subtraction and sine/cosine. With novel algorithms targeting high instruction-level parallelism and detailed here for squaring, scaling, DP2, and sin/cos, we achieve speedups of up to 4.2x for individual custom operators even when subnormal numbers are fully supported. Furthermore, we introduce the optimizations developed in the ST231 C/C++ compiler for selecting such operators. Most of the selections are achieved at high level, using syntactic criteria. However, for fused square-add, we also enhance the framework of integer range analysis to support floating-point variables in order to prove the required positivity condition z>= 0. Finally, we provide quantitative evidence of the benefits to support this selection of custom operations: on DSP kernels and benchmarks, our approach allows us to be up to 1.59x faster compared to the sole usage of basic ones.
64

Méthodes d'optimisation et de gestion de l’énergie dans les réseaux intelligents "Smart Grids" / Optimization methods and energy management in "smart grids"

Melhem, Fady Y. 12 July 2018 (has links)
Les réseaux électriques actuels connaîtront un profond changement dans les années à venir. La nouvelle génération est le Smart Grid (SG) ou le réseau électrique intelligent qui se caractérise par une couche d'information et de communication qui permet aux différents composants du réseau de communiquer. Il doit considérer tous les aspects du réseau électrique, le rendant plus intelligent et flexible. Cette notion est présentée comme une réponse à l'évolution du marché de l'électricité, visant à gérer l’augmentation de la demande tout en assurant une meilleure qualité de service et plus de sécurité.Premièrement, nous présentons une formulation de programmation linéaire mixte en entier pour optimiser les systèmes de production et de consommation d'énergie dans une maison intelligente avec un déploiement efficace de plusieurs ressources énergétiques distribuées. Ensuite, à travers la conception d'expériences avec la méthode de Taguchi, divers scénarios sont introduits en faisant varier des facteurs significatifs. Par la suite, une technique heuristique est proposée pour résoudre le problème de la gestion de l'énergie résidentielle en trouvant la solution optimale globale pendant plusieurs jours consécutifs avec une réduction significative du temps d'exécution.Deuxièmement, un modèle de gestion de l'énergie est assuré grâce à des modèles mathématiques pour optimiser l’utilisation du réseau, des ressources énergétiques renouvelables, des véhicules électriques et de la batterie, ainsi que pour différents types d'appareils thermiques et électriques. Une méthode de solution exacte est mise en œuvre pour réduire le coût de l'électricité dans une maison intelligente et pour trouver des modes de fonctionnement de différentes charges. Ensuite, un algorithme d'optimisation math-heuristique est proposé pour résoudre le problème avec un temps de simulation étendu.Enfin, nous étudions le problème de gestion de l'énergie dans un microréseau constitué de plusieurs maisons intelligentes. Chacune d'elles dépose de ressources énergétiques renouvelables, d’un véhicule électrique et d’appareils intelligents. Les ressources d'énergie renouvelable injectent l’excès de l'énergie dans un système de stockage d'énergie partagé. Un modèle mathématique linéaire mixte en entier pour la gestion d'énergie est proposé pour réduire le coût total de fonctionnement du microréseau. Des comparaisons avec des scénarios conventionnels où chaque maison intelligente possède son propre système de stockage d'énergie sont effectuées pour démontrer l’efficacité de la démarche proposée. / The current electricity grids will experience a profound change in the coming years. The new generation is the Smart Grid (SG) which is characterized by information and communication layer enabling the communication between the different components of the grid. It needs to consider all sides of power grid, making it more intelligent and flexible. This notion is presented as an answer to changes in the electricity market, aiming to manage the increased demand while ensuring a better quality of service and more safety.First, we present a mixed integer linear programming formulation to optimize the energy production and consumption systems in a smart home with an effective deployment of several distributed energy resources. Then through the design of experiments with the Taguchi method, diverse scenarios are introduced by varying significant factors. Afterward, a heuristic technique is proposed to solve the problem of residential energy management by finding the global optimum solution for many consecutive days with significant reduction of execution time.Second, an energy management model is proposed thanks to mathematical models to optimize the grid, renewable energy resources, battery and electric vehicles are presented as well as for different type of thermal and electrical appliances. An exact solution method is implemented to reduce the electricity cost in a smart home and find out operation modes of different loads. Then a math-heuristic optimization algorithm is proposed to solve the problem with extended simulation time horizon.Finally, we study a microgrid energy management problem which comprises multiple smart homes. Each of them owns renewable energy resources, one electric vehicle and smart appliances. The renewable energy resources inject the excess energy in the shared energy storage system. An optimized energy management model using mixed integer linear programming is proposed to reduce the total electricity cost in the microgrid. Comparisons with conventional scenarios where each smart home has its individual small energy storage system without sharing energy with their neighbors are done to ensure that the proposed formulation is well efficient.
65

Empilements de sphères et bêta-entiers

Verger-Gaugry, Jean-Louis 09 June 2006 (has links) (PDF)
Les objets considérés dans cette thèse sont les empilements de sphères égales, principalement de $R^n$, et les beta-entiers, pour lesquels on utilise indifféremment le langage des empilements de sphères ou celui des ensembles uniformément discrets pour les décrire. Nous nous sommes concentrés sur les problèmes suivants : (i) aspects métriques et topologiques de l'espace des empilements de sphères pour lequels nous prouvons un théorème de compacité qui généralise le Théorème de Sélection de Mahler relatif aux réseaux, (ii) les relations entre trous profonds et la densité par la constante de Delone ainsi que la structure interne asymptotique, en couches, des empilements les plus denses, (iii) les empilements autosimilaires de type fini pour lesquels nous montrons, pour chacun, l'existence d'un schéma de coupe-et-projection associé à un entier algébrique (l'autosimilarité) dont le degré divise le rang de l'empilement, dans le contexte des quasicristaux mathématiques, (iv) les empilements de sphères sur beta-réseaux, dont l'étude a surtout consisté à comprendre l'ensemble discret localement fini $Z_\beta$ des beta-entiers et à proposer une classification des nombres algébriques qui complémente celle de Bertrand-Mathis, reportée dans un article de Blanchard, et où la mesure de Mahler de beta intervient naturellement.
66

Analyse du geste dansé et retours visuels par modèles physiques : apport des qualités de mouvement à l'interaction avec le corps entier

Fdili Alaoui, Sarah 19 December 2012 (has links) (PDF)
La présente thèse a pour but d'approfondir l'étude du geste dans le cadre de l'interaction Homme Machine. Il s'agit de créer de nouveaux paradigmes d'interaction qui offrent à l'utilisateur de plus amples possibilités d'expression basées sur le geste. Un des vecteurs d'expression du geste, très rarement traité en Interaction Homme Machine, qui lui confère sa coloration et son aspect, est ce que les théoriciens et praticiens de la danse appellent " les qualités de mouvement ". Nous mettons à profit des collaborations avec le domaine de la danse pour étudier la notion de qualités de mouvement et l'intégrer à des paradigmes d'interaction gestuelle. Notre travail analyse les apports de l'intégration des qualités de mouvement comme modalité d'interaction, fournit les outils propices à l'élaboration de cette intégration (en termes de méthodes d'analyse, de visualisation et de contrôle gestuel), en développe et évalue certaines techniques d'interaction.Les contributions de la thèse se situent d'abord dans la formalisation de la notion de qualités de mouvement et l'évaluation de son intégration dans un dispositif interactif en termes d'expérience utilisateur. Sur le plan de la visualisation des qualités de mouvement, les travaux menés pendant la thèse ont permis de démontrer que les modèles physiques masses-ressorts offrent de grandes possibilités de simulation de comportements dynamiques et de contrôle en temps réel. Sur le plan de l'analyse, la thèse a permis de développer des approches novatrices de reconnaissance automatique des qualités de mouvement de l'utilisateur. Enfin, à partir des approches d'analyse et de visualisation des qualités de mouvement, la thèse a donné lieu à l'implémentation d'un ensemble de techniques d'interaction. Elle a appliqué et évalué ses techniques dans le contexte de la pédagogie de la danse et de la performance.
67

Malformation Chiari-Like : l’investigation d’une maladie complexe par l’utilisation d’un modèle canin

Lemay, Philippe 08 1900 (has links)
La malformation de Chiari type 1 (MCI) est une anomalie congénitale de la jonction cranio-cérébrale fréquente avec une incidence de 1:1280. MCI est caractérisée par la descente des amygdales cérébelleuses à travers le foramen magnum et est souvent associée à la syringomyélie. Les causes de cette maladie semblent être multifactorielles incluant des facteurs génétiques. La MCI est similaire à une malformation fréquente chez la race des Griffon Bruxellois (GB) connue sous le nom de Malformation Chiari-like (MCL). Le modèle canin offre l’avantage d’une forte homogénéité génétique réduisant ainsi la complexité de la maladie et facilitant l’identification d’un locus causatif. Une étude d’association du génome entier sur une cohorte de 56 GB suivie d’une cartographie fine sur une cohorte de 217 GB a identifié un locus fortement associé à la MCL sur le chromosome 2 (22 SNPs, valeur P= 7 x 10-8) avec un haplotype de 1.9 Mb plus fréquent chez les non affectés. Une seconde étude d’association du génome entier sur une cohorte de 113 GB a permis d’identifier un 2 ème locus fortement associé à la MCL sur le chromosome 13 (25 SNPs , valeur P= 3 x 10 -7) avec un haplotype de 4 Mb surreprésenté chez les non affectés. Ces régions candidates constituent la première étape vers l’identification de gènes causatifs pour la MCL. Notre étude offre un point d’entrée vers une meilleure compréhension des mécanismes moléculaires sous-tendant la pathogénèse de la MCI humaine. / Chiari I malformation (CMI) represents a common congenital abnormality of the craniocerebral junction with an estimated incidence of 1 in 1280. CMI is characterized by a descent of the cerebellar tonsils into the foramen magnum, often in association with syringomyelia. The developmental defect in CMI is thought to be the result of an underdeveloped occipital bone and small posterior fossa. The etiology of CMI is thought to be multifactorial involving genetic factors. CMI in humans is similar to a condition in the dog called Chiari-like malformation (CM) that is particularly common in the Griffon Bruxellois (GB) breeds. A genome wide association study on a 56 GB cohort followed by a fine mapping in a 217 GB cohort have identified a locus on chromosome 2 that was strongly associated with CM (22 SNPs, P value= 7 x 10-8). Haploview analysis of this locus identified a haplotype of 1.9 Mb that was more frequent in non-affected dogs. A second genome wide association study in a 113 GB cohort lead to the identification of another locus on chromosome 13 that was strongly associated with CM (25 SNPs , P value= 3 x 10-7). Analysis of this region identified a 4Mb haplotype that was more frequent in non-affected dogs. Our study constitutes the first essential step towards identification of the causative genes in CM. Our study provides an entry point for better understanding of the molecular genetic mechanisms underlying the pathogenesis of human CMI.
68

Synthèse et caractérisations de nouvelles sondes fluorescentes et réactifs chimiques pour l'étude structurale de l'ARN

Barhoum, Patrick 30 September 2013 (has links) (PDF)
L'étude de la structure de l'ARN est reconnue un sujet d'actualité qui permet de connaître sa fonction. Il existe différentes techniques enzymatiques ou chimiques classiques et récentes couplées au séquençage à haut débit pour étudier la structure de l'ARN. Le projet de thèse vise l'optimisation de deux techniques de cartographie déjà existantes et se divise en deux parties. La première partie concerne l'optimisation de la technique de hSHAPE et ceci en synthétisant de nouvelles sondes fluorescentes à transfert d'énergie capables d'étudier de faibles quantités d'ARN et adaptées au séquenceur d'ADN. Mon travail a permis la synthèse de 5 molécules fluorescentes intermédiaires et l'obtention d'une sonde finale. L'étude de cette sonde a montrée que l'interaction entre les deux fluorophores est majoritairement due à un mécanisme de couplage excitonique causé par la flexibilité et la distance entre les deux entités fluorescentes. De plus, les propriétés de la molécule sont fortement dépendantes du solvant. Dans la deuxième partie, nous cherchons à optimiser la cartographie en solution afin d'étudier le génome entier du VIH-1 in virio. Pour cela, nous avons synthétisé 4 molécules dérivées de l'anhydride isatoïque et modifiées sur la fonction amine N1 par un groupement propyn-2-yle. Nous avons aussi préparé 8 molécules de référence. De plus, des études préliminaires réalisées sur l'ARN 1-311 du VIH-1 ont montré que nos composés modifient l'ARN et qu'il est possible de fixer la biotine-PEG3-azoture par click chemistry sur les ARN ainsi modifiés.
69

Modèle fractionnaire pour la sous-diffusion : version stochastique et edp

Rakotonasy, Solonjaka Hiarintsoa 06 December 2012 (has links) (PDF)
Ce travail a pour but de proposer des outils visant 'a comparer des résultats exp'erimentaux avec des modèles pour la dispersion de traceur en milieu poreux, dans le cadre de la dispersion anormale.Le "Mobile Immobile Model" (MIM) a été à l'origine d'importants progrès dans la description du transport en milieu poreux, surtout dans les milieux naturels. Ce modèle généralise l'quation d'advection-dispersion (ADE) e nsupposant que les particules de fluide, comme de solut'e, peuvent ˆetre immo-bilis'ees (en relation avec la matrice solide) puis relˆachées, le piégeage et le relargage suivant de plus une cin'etique d'ordre un. Récemment, une version stochastique de ce modèle a 'eté proposée. Malgré de nombreux succès pendant plus de trois décades, le MIM reste incapable de repr'esenter l''evolutionde la concentration d'un traceur dans certains milieux poreux insaturés. Eneffet, on observe souvent que la concentration peut d'ecroˆıtre comme unepuissance du temps, en particulier aux grands temps. Ceci est incompatible avec la version originale du MIM. En supposant une cinétique de piégeage-relargage diff'erente, certains auteurs ont propos'e une version fractionnaire,le "fractal MIM" (fMIM). C'est une classe d''equations aux d'eriv'ees par-tielles (e.d.p.) qui ont la particularit'e de contenir un op'erateur int'egral li'e'a la variable temps. Les solutions de cette classe d'e.d.p. se comportentasymptotiquement comme des puissances du temps, comme d'ailleurs cellesde l''equation de Fokker-Planck fractionnaire (FFPE). Notre travail fait partie d'un projet incluant des exp'eriences de tra¸cageet de vélocimétrie par R'esistance Magn'etique Nucl'eaire (RMN) en milieuporeux insatur'e. Comme le MIM, le fMIM fait partie des mod'eles ser-vant 'a interpréter de telles exp'eriences. Sa version "e.d.p." est adapt'eeaux grandeurs mesur'ees lors d'exp'eriences de tra¸cage, mais est peu utile pour la vélocimétrie RMN. En effet, cette technique mesure la statistiquedes d'eplacements des mol'ecules excit'ees, entre deux instants fixés. Plus précisément, elle mesure la fonction caractéristique (transform'ee de Fourier) de ces d'eplacements. Notre travail propose un outil d'analyse pour ces expériences: il s'agit d'une expression exacte de la fonction caract'eristiquedes d'eplacements de la version stochastique du mod'ele fMIM, sans oublier les MIM et FFPE. Ces processus sont obtenus 'a partir du mouvement Brown-ien (plus un terme convectif) par des changement de temps aléatoires. Ondit aussi que ces processus sont des mouvement Browniens, subordonnéspar des changements de temps qui sont eux-mˆeme les inverses de processusde L'evy non d'ecroissants (les subordinateurs). Les subordinateurs associés aux modèles fMIM et FFPE sont des processus stables, les subordinateursassoci'es au MIM sont des processus de Poisson composites. Des résultatsexp'erimenatux tr'es r'ecents on sugg'er'e d''elargir ceci 'a des vols de L'evy (plusg'en'eraux que le mouvement Brownien) subordonnés aussi.Le lien entre les e.d.p. fractionnaires et les mod'eles stochastiques pourla sous-diffusion a fait l'objet de nombreux travaux. Nous contribuons 'ad'etailler ce lien en faisant apparaˆıtre les flux de solut'e, en insistant sur une situation peu 'etudiée: nous examinons le cas o'u la cinétique de piégeage-relargage n'est pas la mˆeme dans tout le milieu. En supposant deux cinétiques diff'erentes dans deux sous-domaines, nous obtenons une version du fMIMavec un opérateur intégro-diff'erentiel li'e au temps, mais dépendant de la position.Ces r'esultats sont obtenus au moyen de raisonnements, et sont illustrés par des simulations utilisant la discrétisation d'intégrales fractionnaires etd'e.d.p. ainsi que la méthode de Monte Carlo. Ces simulations sont en quelque sorte des preuves numériques. Les outils sur lesquels elles s'appuient sont présentés aussi.
70

Propriétés géométriques du nombre chromatique : polyèdres, structures et algorithmes / Geometric properties of the chromatic number : polyhedra, structure and algorithms

Benchetrit, Yohann 12 May 2015 (has links)
Le calcul du nombre chromatique et la détermination d'une colo- ration optimale des sommets d'un graphe sont des problèmes NP- difficiles en général. Ils peuvent cependant être résolus en temps po- lynomial dans les graphes parfaits. Par ailleurs, la perfection d'un graphe peut être décidée efficacement. Les graphes parfaits sont caractérisés par la structure de leur poly- tope des stables : les facettes non-triviales sont définies exclusivement par des inégalités de cliques. Réciproquement, une structure similaire des facettes du polytope des stables détermine-t-elle des propriétés combinatoires et algorithmiques intéressantes? Un graphe est h-parfait si les facettes non-triviales de son polytope des stables sont définies par des inégalités de cliques et de circuits impairs. On ne connaît que peu de résultats analogues au cas des graphes parfaits pour la h-perfection, et on ne sait pas si les problèmes sont NP-difficiles. Par exemple, les complexités algorithmiques de la re- connaissance des graphes h-parfaits et du calcul de leur nombre chro- matique sont toujours ouvertes. Par ailleurs, on ne dispose pas de borne sur la différence entre le nombre chromatique et la taille maxi- mum d'une clique d'un graphe h-parfait. Dans cette thèse, nous montrons tout d'abord que les opérations de t-mineurs conservent la h-perfection (ce qui fournit une extension non triviale d'un résultat de Gerards et Shepherd pour la t-perfection). De plus, nous prouvons qu'elles préservent la propriété de décompo- sition entière du polytope des stables. Nous utilisons ce résultat pour répondre négativement à une question de Shepherd sur les graphes h-parfaits 3-colorables. L'étude des graphes minimalement h-imparfaits (relativement aux t-mineurs) est liée à la recherche d'une caractérisation co-NP com- binatoire de la h-perfection. Nous faisons l'inventaire des exemples connus de tels graphes, donnons une description de leur polytope des stables et énonçons plusieurs conjectures à leur propos. D'autre part, nous montrons que le nombre chromatique (pondéré) de certains graphes h-parfaits peut être obtenu efficacement en ar- rondissant sa relaxation fractionnaire à l'entier supérieur. Ce résultat implique notamment un nouveau cas d'une conjecture de Goldberg et Seymour sur la coloration d'arêtes. Enfin, nous présentons un nouveau paramètre de graphe associé aux facettes du polytope des couplages et l'utilisons pour donner un algorithme simple et efficace de reconnaissance des graphes h- parfaits dans la classe des graphes adjoints. / Computing the chromatic number and finding an optimal coloring of a perfect graph can be done efficiently, whereas it is an NP-hard problem in general. Furthermore, testing perfection can be carried- out in polynomial-time. Perfect graphs are characterized by a minimal structure of their sta- ble set polytope: the non-trivial facets are defined by clique-inequalities only. Conversely, does a similar facet-structure for the stable set polytope imply nice combinatorial and algorithmic properties of the graph ? A graph is h-perfect if its stable set polytope is completely de- scribed by non-negativity, clique and odd-circuit inequalities. Statements analogous to the results on perfection are far from being understood for h-perfection, and negative results are missing. For ex- ample, testing h-perfection and determining the chromatic number of an h-perfect graph are unsolved. Besides, no upper bound is known on the gap between the chromatic and clique numbers of an h-perfect graph. Our first main result states that the operations of t-minors keep h- perfection (this is a non-trivial extension of a result of Gerards and Shepherd on t-perfect graphs). We show that it also keeps the Integer Decomposition Property of the stable set polytope, and use this to answer a question of Shepherd on 3-colorable h-perfect graphs in the negative. The study of minimally h-imperfect graphs with respect to t-minors may yield a combinatorial co-NP characterization of h-perfection. We review the currently known examples of such graphs, study their stable set polytope and state several conjectures on their structure. On the other hand, we show that the (weighted) chromatic number of certain h-perfect graphs can be obtained efficiently by rounding-up its fractional relaxation. This is related to conjectures of Goldberg and Seymour on edge-colorings. Finally, we introduce a new parameter on the complexity of the matching polytope and use it to give an efficient and elementary al- gorithm for testing h-perfection in line-graphs.

Page generated in 0.0463 seconds