• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 52
  • 24
  • 6
  • Tagged with
  • 80
  • 26
  • 19
  • 16
  • 16
  • 15
  • 14
  • 13
  • 11
  • 9
  • 9
  • 9
  • 9
  • 9
  • 9
  • 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.
41

Optimisation du procédé de pliage sur presses de pièces en tôles à haute limite d'élasticité

Bahloul, Riadh 12 1900 (has links) (PDF)
Les ferrures d'ancrage sont des pièces de sécurité automobile qui doivent résister à des chocs éventuels sans se rompre. Elles sont issues de tôles en acier à Haute Limite Elastique et mises en forme par découpage et pliage. L'étude de leur comportement lors de leur fabrication et des qualités mécaniques qui en résulte a été conduite de manière expérimentale et numérique avec confrontation des résultats pour valider la simulation. L'endommagement apporté au matériau est pris en compte dans les routines utilisateur du code EF Abaqus Standard. C'est une des fonctions objectives intervenant dans l'optimisation de la forme des attaches ainsi que dans l'optimisation du procédé de pliage. Les études sont basées sur des plans d'expériences des représentations approchées par surfaces de réponse et la mise en oeuvre d'un réseau de neurones artificiels. Les fonctions objectives sont les efforts exercés sur le poinçon, les contraintes et le dommage lors de l'opération de pliage. Dans les opérations de dépliage figurant le choc dynamique, les fonctions objectives sont l'effort maximal de dépliage, les contraintes et le dommage. La recherche des optima est faite par la méthode des éléments diffus, les stratégies d'évolution et un calcul global. Les paramètres rayon de matrice et jeu entre la tôle et l'outillage sont optimisés en vue de fournir une pièce la plus résistante possible.
42

Modèle d'évolution avec dépendance au contexte et Corrections de statistiques d'adéquation en présence de zéros aléatoires

Finkler, Audrey 16 June 2010 (has links) (PDF)
Dans ce travail nous étudions sous deux aspects la dépendance au contexte pour l'évolution par substitution des séquences nucléotidiques. Dans une première partie nous définissons un modèle évolutif simple intégrant la distinction entre transitions et transversions d'une part, et une dépendance des nucléotides à leur voisin de gauche modélisant l'effet CpG d'autre part. Nous montrons que ce modèle peut s'écrire sous la forme d'une chaîne de Markov cachée et estimons ses paramètres par la mise en oeuvre de l'algorithme de Baum-Welch. Nous appliquons enfin le modèle à l'estimation de taux de substitution mis en jeu dans l'évolution de séquences réelles. Dans une deuxième partie nous développons des corrections pour les statistiques classiques du test d'adéquation d'un échantillon à une loi multinomiale en présence de zéros aléatoires. En effet, les tests d'indépendance de l'évolution de triplets de nucléotides voisins impliquent des tables de contingence possédant de nombreuses cases nulles et se ramènent à des tests d'adéquation sur des vecteurs creux. Les statistiques de Pearson et de Kullback ne peuvent alors être employées. A partir de celles-ci, nous considérons des statistiques corrigées qui conservent le même comportement asymptotique. Nous les utilisons pour réaliser des tests d'indépendance, non seulement dans le cadre des données génomiques de la première partie, mais également pour des données écologiques et épidémiologiques.
43

Problèmes de contrôle optimal du type bilinéaire gouvernés par des équations aux dérivées partielles d'évolution

Clérin, Jean-Marc 18 November 2009 (has links) (PDF)
Cette thèse est une contribution à l'étude de problèmes de contrôle optimal dont le caractère non linéaire se traduit par la présence, dans les équations d'état, d'un terme bilinéaire relativement à l'état et au contrôle. Malgré les difficultés liées à la non linéarité, nous obtenons des propriétés spécifiques au cas bilinéaire. L'introduction générale constitue la première partie. La seconde partie est consacrée à l'étude des équations d'état ; ce sont des équations aux dérivées partielles d'évolution. Nous établissons des estimations a priori sur les solutions à partir des inégalités de Willett et Wong et nous démontrons que les équations d'états sont bien posées. Dans le cas où les contrôles subissent une contrainte liée aux états, ces estimations permettent de déduire l'existence de solutions dans le cadre des inclusions différentielles. Les troisième et quatrième parties de ce mémoire sont dévolues à la démonstration de l'existence de contrôles optimaux, puis à l'analyse de la sensibilité relative à une perturbation qui intervient de façon additive dans l'équation d'état. Le caractère bilinéaire permet de vérifier des conditions suffisantes d'optimalité du second ordre. Nous fournissons sur des exemples, une formule explicite des dérivées directionnelles de la fonction valeur optimale
44

Population games with networking applications

Tembine, Hamidou 18 September 2009 (has links) (PDF)
Ce manuscrit présente les fondements dynamiques des jeux de population avec un nombre variable de joueurs ainsi que leurs concepts de solutions et de stabilités. Nous introduisons d'abord les dynamiques de jeux avec retard et étudions leurs stabilités. Nous les appliquons aux réseaux filaires et aux réseaux sans fils. Ensuite nous nous intéressons aux aspects de mobilité et aux distributions spatiales des joueurs sur le réseau. Cela nous conduit à une nouvelle classe de dynamique de jeux à stratégies vectorielles avec des contraintes de migrations, appelée dynamique de jeux d'évolution avec migration. Nous dérivons de telles dynamiques pour les réseaux hybrides et appliquons aux problèmes de contrôle de puissance dans les réseaux hétérogènes, choix entre plusieurs technologies et migration entre plusieurs classes d'utilisateurs. Ensuite nous nous focalisons aux jeux stochastiques de population avec plusieurs classes de joueurs dans lesquels chaque joueur possède son propre état et fait face un vecteur qui évolue dans le temps. Des applications à la gestion d'énergie dans les réseaux sont présentées. Finalement, nous étudions une classe de jeux à champ moyen. Lorsque la taille de la population devient très grande, les asymptotiques du système conduisent à des dynamiques appelées dynamiques de jeux à champ moyen. Cette classe de dynamiques contient les dynamiques standard basées sur des révisions de stratégies. Nous utilisons ce modèle pour analyser les problèmes accès aléatoires à des ressources dans un environnement où les utilisateurs et les ressources sont spatialement distribuées. Nous établissons un lien entre les jeux à champ moyen et les jeux différentiels de population dans lesquels chaque joueur a son état individuel et optimise son paiement à long terme pendant son temps de séjour dans le système sous contraintes que le profil de population évolue selon une dynamique de jeux à champ moyen
45

Analyse et modélisation des dépendances entre sites voisins dans l'évolution des séquences d'ADN

Palmeira, Leonor 13 July 2007 (has links) (PDF)
Cette thèse a porté, d'une part, sur l'analyse des sur- et sous-représentations en dinucléotides au sein de différents génomes complets, en recherchant les liens éventuels avec des mécanismes connus de dommages causés à l'ADN qui soient liés à des sites avoisinants — particulièrement les voisins directs en 5' et 3'. L'étude de l'effet des UVs sur les génomes de micro-organismes, et sur l'effet de la méthylation sur les génomes de métazoaires en a été un des grands axes. D'autre part, les résultats récents de Bérard et al. sur des modèles d'évolution incorporant des dépendances entre bases adjacentes (pyrimidine suivie de purine) ont permis de développer une approche probabiliste d'estimation des substitutions liées au mécanisme de méthylation-désamination spontanée des dinucléotides CG.
46

Diagnostic par reconnaissance des formes : application à un ensemble convertisseur - machine asynchrone

Ondel, Olivier 17 October 2006 (has links) (PDF)
Les progrès réalisés en matière d'électronique de puissance, de circuits de commande ont contribué à l'utilisation grandissante des machines asynchrones dans les systèmes d'entraînements électriques. Le recours aux machines asynchrones est surtout lié à leur robustesse, leur puissance massique et à leur coût de fabrication. L'apparition dans les années 1980 des variateurs permettant de faire varier la fréquence de rotation dans une large gamme a largement favorisé son développement. En effet, il entre dans la conception de nombreux procédés industriels associant des convertisseurs statiques et des machines électriques.<br />La maintenance et la surveillance de ces deux systèmes permettent de rentabiliser les installations. Il est donc important de développer des outils de diagnostic pour détecter de manière précoce les défauts pouvant apparaître aussi bien sur le convertisseur que sur la machine. <br />Notre approche est basée sur l'utilisation des méthodes de reconnaissance des formes. Un vecteur de paramètres, appelé vecteur forme, est extrait de chacune des mesures effectuées sur la machine. Les règles de décisions utilisées permettent de classer les observations, décrites par le vecteur forme, par rapport aux différents modes de fonctionnement connus avec ou sans défaut. <br />Des défauts ont été créés au rotor et au stator de la machine asynchrone, alimentée soit à partir du réseau, soit par le biais d'un onduleur de tension. <br />La procédure de décision, basée sur la règle des k - plus proches voisins, associée à une fonction d'appartenance, permet de détecter l'évolution des modes de fonctionnements ainsi que les défauts avérés. Par la suite, le suivi d'évolution de ces modes est réalisé par une approche de type Kalman : un estimateur récursif de Kalman est utilisé pour déterminer les paramètres du modèle dynamique rendant compte de l'évolution d'un mode et un prédicteur de Kalman pour prévoir une évolution vers de nouvelles zones de l'espace. Ces algorithmes ont montré l'efficacité de l'application de la reconnaissance des formes au diagnostic.
47

Réorganisation des réseaux hydrographiques dans les modèles d'évolution des paysages, à grandes échelles spatiales et temporelles : Étude des captures potentielles de la Meuse

Benaïchouche, Abed 11 December 2013 (has links) (PDF)
Les reliefs résultent d'une interaction entre de nombreux processus qui mettent en jeu des couplages complexes : climat, tectonique, érosion, impact anthropique, etc. Dans les paysages dominés par l'érosion fluviatile, la morphologie du relief est étroitement liée à la structure du réseau hydrographique. Ce dernier joue un rôle important dans les couplages entre les processus de surface (processus fluviaux et processus de versants). De nombreuses évidences de captures entre rivières provoquant des réorganisations du réseau hydrographique suggèrent que le réseau de drainage évolue, et il est loin d'être fixe comme le suggèrent certains modèles numériques d'évolution du paysage. Néanmoins, les travaux s'intéressant aux causes et aux mécanismes de ces réorganisations sont peu nombreux, et essentiellement qualitatifs. L'objectif de cette thèse a été de quantifier et de modéliser la réorganisation des réseaux hydrographiques par mécanisme de capture par rivières pirates dans le cadre d'un enfoncement relatif entre deux bassins, où l'avancement (par érosion régressive) de la tête de vallée de la rivière pirate provoque le détournement d'une rivière qui coule à proximité. Le comportement des Modèles numériques d'Evolution des Paysages (MEP) et plus particulièrement l'influence des paramètres de contrôle, ont été étudiés. L'expérimentation a été réalisée avec le logiciel GOLEM qui a été adapté aux besoins. L'étude s'est principalement portée sur le cas de l'évolution du réseau hydrographique de la partie française de la Meuse, qui a connue de nombreuses captures par le passé (capture de la Haute-Moselle par la Meurthe, capture de l'Aire par l'Aisne) et dont les caractéristiques actuelles sont favorables à de nouvelles captures (le lit de la Meuse se trouve perché à plus de 50m au dessus des vallées qui l'entourent (le lit de la Meuse se trouve perché à plus de 50m au dessus des vallées qui l'entourent : la Marne à l'ouest et la Moselle à l'est).
48

Estimation des longueurs de branche et artefact sur la datation moléculaire

El Alaoui, Wafae 08 1900 (has links)
La phylogénie moléculaire fournit un outil complémentaire aux études paléontologiques et géologiques en permettant la construction des relations phylogénétiques entre espèces ainsi que l’estimation du temps de leur divergence. Cependant lorsqu’un arbre phylogénétique est inféré, les chercheurs se focalisent surtout sur la topologie, c'est-à-dire l’ordre de branchement relatif des différents nœuds. Les longueurs des branches de cette phylogénie sont souvent considérées comme des sous-produits, des paramètres de nuisances apportant peu d’information. Elles constituent cependant l’information primaire pour réaliser des datations moléculaires. Or la saturation, la présence de substitutions multiples à une même position, est un artefact qui conduit à une sous-estimation systématique des longueurs de branche. Nous avons décidé d’estimer l‘influence de la saturation et son impact sur l’estimation de l’âge de divergence. Nous avons choisi d’étudier le génome mitochondrial des mammifères qui est supposé avoir un niveau élevé de saturation et qui est disponible pour de nombreuses espèces. De plus, les relations phylogénétiques des mammifères sont connues, ce qui nous a permis de fixer la topologie, contrôlant ainsi un des paramètres influant la longueur des branches. Nous avons utilisé principalement deux méthodes pour améliorer la détection des substitutions multiples : (i) l’augmentation du nombre d’espèces afin de briser les plus longues branches de l’arbre et (ii) des modèles d’évolution des séquences plus ou moins réalistes. Les résultats montrèrent que la sous-estimation des longueurs de branche était très importante (jusqu'à un facteur de 3) et que l’utilisation d'un grand nombre d’espèces est un facteur qui influence beaucoup plus la détection de substitutions multiples que l’amélioration des modèles d’évolutions de séquences. Cela suggère que même les modèles d’évolution les plus complexes disponibles actuellement, (exemple: modèle CAT+Covarion, qui prend en compte l’hétérogénéité des processus de substitution entre positions et des vitesses d’évolution au cours du temps) sont encore loin de capter toute la complexité des processus biologiques. Malgré l’importance de la sous-estimation des longueurs de branche, l’impact sur les datations est apparu être relativement faible, car la sous-estimation est plus ou moins homothétique. Cela est particulièrement vrai pour les modèles d’évolution. Cependant, comme les substitutions multiples sont le plus efficacement détectées en brisant les branches en fragments les plus courts possibles via l’ajout d’espèces, se pose le problème du biais dans l’échantillonnage taxonomique, biais dû à l‘extinction pendant l’histoire de la vie sur terre. Comme ce biais entraine une sous-estimation non-homothétique, nous considérons qu’il est indispensable d’améliorer les modèles d’évolution des séquences et proposons que le protocole élaboré dans ce travail permettra d’évaluer leur efficacité vis-à-vis de la saturation. / Molecular phylogeny provides an additional tool complementary to paleontological and geological studies, allowing the reconstruction of phylogenetic relationships between species and the estimate of their divergence time. Researchers are mainly focusing on the topology of a phylogenetic tree; i.e. the relative connection between different nodes. Whereas, the branch lengths of this phylogeny are often considered as secondary, i.e. as additional parameters containing little information. However, the branch lengths are the primary information for molecular dating. Importantly, saturation, the presence of multiple substitutions at the same position, is an artifact that leads to an underestimation of the branch length. We are therefore interested in estimating the magnitude of this phenomenon and its impact on divergence time. We chose to study the mammalian mitochondrial genome, which is available for many species and displays a high level of saturation. Furthermore, the phylogenetic relationships of mammalians are known, thus allowing us to fix the topology, thus eliminating one of the parameters influencing the branch lengths. We used two main approaches to improve the detection of multiple substitutions: (i) an increase in the number of species breaks the longest branches of the tree, (ii) more realistic models of sequence evolution. The results demonstrate that there is a very pronounced underestimation of branch lengths (up to a factor of 3). Furthermore, the use of a large number of species is the factor that influences most the detection of multiple substitutions, not the improvement of the model of sequence evolution. This suggests that even the most complex evolutionary models currently available, like the CAT+ Covarion model, which takes into account the heterogeneity of the substitution process between sites and the rates of evolution over time, are still far from taking the entire complexity of biological processes into account. Despite the important underestimation of branch lengths, the impact on dating appeared to be relatively limited, because the underestimation is more or less homothetic. This is obviously true for the complex evolutionary models. Since multiple substitutions are most effectively detected when breaking the long internal branches via the addition of species. This raises the problem of bias in the taxonomic sampling, due to the impact of extinction on the history of life on earth. Because this kind of bias leads to a non-homothetic underestimation, we consider it essential to improve models of sequence evolution and suggest that the protocol developed in this work will allow to evaluate their effectiveness towards saturation.
49

Méthodes particulaires et vraisemblances pour l'inférence de modèles d'évolution avec dépendance au contexte

Huet, Alexis 27 June 2014 (has links) (PDF)
Cette thèse est consacrée à l'inférence de modèles stochastiques d'évolution de l'ADN avec dépendance au contexte, l'étude portant spécifiquement sur la classe de modèles stochastiques RN95+YpR. Cette classe de modèles repose sur un renforcement des taux d'occurrence de certaines substitutions en fonction du contexte local, ce qui introduit des phénomènes de dépendance dans l'évolution des différents sites de la séquence d'ADN. Du fait de cette dépendance, le calcul direct de la vraisemblance des séquences observées met en jeu des matrices de dimensions importantes, et est en général impraticable. Au moyen d'encodages spécifiques à la classe RN95+YpR, nous mettons en évidence de nouvelles structures de dépendance spatiales pour ces modèles, qui sont associées à l'évolution des séquences d'ADN sur toute leur histoire évolutive. Ceci rend notamment possible l'utilisation de méthodes numériques particulaires, développées dans le cadre des modèles de Markov cachés, afin d'obtenir des approximations consistantes de la vraisemblance recherchée. Un autre type d'approximation de la vraisemblance, basé sur des vraisemblances composites, est également introduit. Ces méthodes d'approximation de la vraisemblance sont implémentées au moyen d'un code en C++. Elles sont mises en œuvre sur des données simulées afin d'étudier empiriquement certaines de leurs propriétés, et sur des données génomiques, notamment à des fins de comparaison de modèles d'évolution
50

Développement d'un code de propagation des incertitudes des données nucléaires sur la puissance résiduelle dans les réacteurs à neutrons rapides.

Benoit, Jean-Christophe 24 October 2012 (has links) (PDF)
Ce travail de thèse s'inscrit dans le domaine de l'énergie nucléaire, de l'aval du cycle du combustible et du calcul des incertitudes. Le CEA doit concevoir le prototype ASTRID, réacteur à neutrons rapides refroidi au sodium (RNR), qui est l'un des concepts retenus au sein du forum Génération IV et dont la puissance résiduelle et l'estimation de son incertitude ont un impact important. Ce travail consiste à développer un code de propagation des incertitudes des données nucléaires sur la puissance résiduelle dans les RNR.La démarche s'est déroulée en trois temps.La première étape a permis de limiter le nombre de paramètres intervenant dans le calcul de la puissance résiduelle. Pour cela, un essai de puissance résiduelle sur le réacteur PHENIX (PUIREX 2008) a été interprété de façon à valider expérimentalement le formulaire d'évolution DARWIN pour les RNR et à quantifier les termes sources de la puissance résiduelle.La deuxième étape a eu pour but de développer un code de propagation des incertitudes : CyRUS (Cycle Reactor Uncertainty and Sensitivity). Une méthode de propagation déterministe a été retenue car elle permet des calculs rapides et fiables. Les hypothèses de linéarité et de normalité qu'elle entraîne ont été validées théoriquement. Le code a également été comparé avec succès à un code stochastique sur l'exemple de la fission élémentaire thermique de l'235U.La dernière partie a été une application du code sur des expériences de puissance résiduelle d'un réacteur, de bilan matière d'une aiguille combustible et d'une fission élémentaire de l'235U. Le code a démontré des possibilités de retour d'expériences sur les données nucléaires impactant l'incertitude de cette problématique.Deux résultats principaux ont été mis en évidence. Tout d'abord, les hypothèses simplificatrices des codes déterministes sont compatibles avec un calcul précis de l'incertitude de la puissance résiduelle. Ensuite, la méthode développée est intrusive et permet un retour d'expérience sur les données nucléaires des expériences du cycle. En particulier, ce travail a montré qu'il est déterminant de mesurer précisément les rendements de fission indépendants et de déterminer leurs matrices de covariances afin d'améliorer la précision du calcul de la puissance résiduelle.

Page generated in 0.0552 seconds