Siga este enlace para ver otros tipos de publicaciones sobre el tema: Pour un oui pour un non.
Tesis sobre el tema "Pour un oui pour un non"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores tesis para su investigación sobre el tema "Pour un oui pour un non".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
1
Bouchet-Fouillet, Marie. "Les mots comme peinture en noir et blanc : de l'impossible partage dans la pièce Pour un oui ou pour un non de Nathalie Sarraute, au possible partage d'une création." Electronic Thesis or Diss., Université Côte d'Azur, 2024. http://www.theses.fr/2024COAZ2004.
Texto completoResumen
Ce travail sur la pièce de Nathalie Sarraute, Pour un oui ou pour un non, repose sur deux socles composés de deux parties. La première partie du socle I présente une approche heuristique avec contextualisation de la pièce et la lecture méthodique de deux scènes : la scène d'ouverture et la scène de la fenêtre. Ces deux scènes, sous couvert de montrer une amitié estampillée par l'opinion générale, dévoilent l'opposition irréductible et néanmoins complémentaire, de deux personnages à la fois attirés et repoussés par le monde de l'Autre. Derrière une intonation se cache le jeu subtil des malentendus et de la mauvaise foi qui font de H.1 et de H.2 les deux faces d'une même pièce. La seconde partie du socle I porte sur l'étude de la pièce sur le terrain : dans le cadre d'une classe de terminale professionnelle et d'un atelier théâtre. Cette approche permet à la pièce et à son auteure d'être rendues plus accessibles à un public peu familier de ce type d'œuvre. Les élèves de terminale professionnelle ont produit un court-métrage. Quant aux élèves du cours de théâtre, différentes lectures de la pièce leur ont permis d'avancer dans leur travail sur la voix et la gestuelle. Le second socle comprend, d'abord, la partie création et repose sur l'écriture d'une « pièce » : Aux bords d'un monde, sous forme de dialogues construits à partir d'impressions ou de réminiscences spontanées. L'écriture évolue au fil des remarques des deux lectrices qui jouent une scène choisie. La mise en scène suit le cours des modifications apportées. Le texte est largement inspiré de Nathalie Sarraute et de Botho Strauss, en particulier autour de la thématique de la fenêtre, pivot des entrées d'un personnage proche de Marie Steuber. La seconde partie du socle II constitue le compte-rendu de ce travail sous forme d'un journal de bord : Le récit d'un en… crier qui rend compte sous une forme plus ou moins chronologique, de l'évolution des répétitions avec les lectrices, ainsi que des modifications apportées au texte initial jusqu'à sa totale réécriture. L'ensemble de ces différentes approches d'un texte théâtral est la preuve d'un « possible partage » en dehors du noir et blanc des points de vue opposés<br>This work on Nathalie Sarraute's piece, Pour un oui ou pour un non, rests on two bases each composed of two parts. The first part of the base I addresses the heuristic approach including the contextualization of the piece and the methodical reading of two scenes: the opening scene and the window scene. Both, under cover of showing a friendship stamped by the general opinion, reveal the irreducible and nevertheless complementary opposition, of two characters at the same time attracted and repulsed by the world of the Other. Behind an intonation hides the subtle interplay of misunderstandings and misunderstandings that make H.1 and H.2 two sides of the same coin. The second part concerns the study of the play in the field: in a professional terminable class and a theater workshop. This approach allows the piece and its author to be made accessible to an audience unfamiliar with this type of work. Professional terminal students produced a short film. As for the students of the theater course, different readings of the play allowed them to progress in the work on the voice and the gestures.The second base including the creation part is based on the writing of a "play": At the edges of a world, in the form of dialogues built from impressions or spontaneous reminiscences. The writing evolves over the remarks of the two readers who act out a chosen scene. The staging follows the course of the modifications made. The text is largely inspired by Nathalie Sarraute and Botho Strauss, in particular for the role of the window, pivotal to the entrances of a character close to Marie Steuber. The second part is the report of this work in the form of a logbook: The story of an inkwell which reports in a more or less chronological form, the evolution of the repetitions with the readers as well as the modifications made to the initial text until its total rewriting. All of these different approaches to a theatrical text are proof of a "possible sharing" outside of the black and white of opposing points of view
2
Illayk, Abbas. "Évolution du nombre de composants en panne pour un système réparable non-Markovien." Lille 1, 2003. https://ori-nuxeo.univ-lille1.fr/nuxeo/site/esupversions/8a4c0b86-722d-4ea2-8464-13200e65618f.
Texto completoResumen
Longtemps on a utilisé la loi exponentielle pour modéliser les durées de réparations. Bien que mal adaptée cette méthode donne souvent des bons résultats. En fait, dans la pratique ces durées sont plutôt déterministes. L'utilisation d'une hypothèse de vieillissement pour les durées de réparations est donc naturelle. Nous faisons le point sur la théorie du vieillissement à partir des notions d'ordre stochastique et en particulier on montre que certaines classes récemment introduites sont inutiles. Ensuite, un test d'hypothèse est fait pour tester l'exponentialité d'une variable aléatoire contre la loi vieillissante NBU, sur la base d'une inégalité de moment d'un système série de variables aléatoires vieillissantes, on montre que notre test est asymptotiquement consistant et efficace. Le calcul de la fiabilité et de la disponibilité d'un système réparable est lié essentiellement à la probabilité des séquences de panne ne comportant aucune réparation réussie (séquences dites monotones selon Solovyev). De nombreux travaux ont pour but l'encadrement de cette probabilité. Nous proposons ici d'affiner ces encadrements à partir d'une minoration analytique et des hypothèses générales de vieillissement DMRL ou NBUE. Cette étude est étendue au cas parallèle et même plus généralement aux systèmes cohérents. Enfin on mesure l'erreur de l'approximation de la fiabilité du système par une loi exponentielle.
3
Plouzennec, Nathalie. "Développement de processus d'analyse d'images en photoélasticimétrie pour un feuillet plan obtenu par découpage mécanique ou optique." Poitiers, 1996. http://www.theses.fr/1996POIT2372.
Texto completoResumen
Les techniques d'acquisition et de traitement d'images associees a la photoelasticimetrie nous ont permis d'aborder deux methodes pour l'etude des contraintes a l'interieur d'un modele tridimensionnel. Dans un premier temps, nous avons developpe une nouvelle methode de decoupage optique qui, comme celle realisee il y a plusieurs annees au sein de notre laboratoire, consiste a limiter une tranche a l'interieur d'un modele photoelastique, par deux faisceaux lumineux plans paralleles issus d'un meme laser. Comme la precedente, cette methode fait interferer deux champs de granularite. Mais, elle evite le recours a une longueur d'onde variable, en exploitant separement les deux champs de granularite, et s'affranchit d'une mise en uvre longue et delicate, par l'utilisation des systemes d'acquisition et de traitement d'images. Nous avons ainsi obtenu des franges isoclines et isochromes de qualite equivalente a celles fournies par l'ancienne methode, mais beaucoup plus facilement et rapidement. Toutefois, l'aspect granuleux des images ne permet pas actuellement une exploitation autrement que par pointage manuel des franges. Dans un second temps, nous avons mis au point une methode automatique a champ complet permettant l'analyse de modeles bidimensionnels et de tranches photoelastiques obtenues apres figeage-decoupage d'un modele tridimensionnel. Cette methode utilise un montage simple (polariscope rectiligne) et necessite peu de manipulations. Elle permet a partir de quatre images du modele enregistrees a l'aide d'une camera ccd, d'obtenir par traitement numerique, le parametre isocline et le parametre isochrome en tout point d'un modele plan. Le parametre isocline est utilise pour tracer automatiquement les isostatiques. La precision est suffisante pour permettre la separation des contraintes par integration des equations d'equilibre a partir d'un bord libre
4
Salloum, Zahraa. "Maximum de vraisemblance empirique pour la détection de changements dans un modèle avec un nombre faible ou très grand de variables." Thesis, Lyon, 2016. http://www.theses.fr/2016LYSE1008/document.
Texto completoResumen
Cette thèse est consacrée à tester la présence de changements dans les paramètres d'un modèle de régression non-linéaire ainsi que dans un modèle de régression linéaire en très grande dimension. Tout d'abord, nous proposons une méthode basée sur la vraisemblance empirique pour tester la présence de changements dans les paramètres d'un modèle de régression non-linéaire. Sous l'hypothèse nulle, nous prouvons la consistance et la vitesse de convergence des estimateurs des paramètres de régression. La loi asymptotique de la statistique de test sous l'hypothèse nulle nous permet de trouver la valeur critique asymptotique. D'autre part, nous prouvons que la puissance asymptotique de la statistique de test proposée est égale à 1. Le modèle épidémique avec deux points de rupture est également étudié. Ensuite, on s'intéresse à construire les régions de confiance asymptotiques pour la différence entre les paramètres de deux phases d'un modèle non-linéaire avec des regresseurs aléatoires en utilisant la méthode de vraisemblance empirique. On montre que le rapport de la vraisemblance empirique a une distribution asymptotique χ2. La méthode de vraisemblance empirique est également utilisée pour construire les régions de confiance pour la différence entre les paramètres des deux phases d'un modèle non-linéaire avec des variables de réponse manquantes au hasard (Missing At Random (MAR)). Afin de construire les régions de confiance du paramètre en question, on propose trois statistiques de vraisemblance empirique : la vraisemblance empirique basée sur les données cas-complète, la vraisemblance empirique pondérée et la vraisemblance empirique par des valeurs imputées. On prouve que les trois rapports de vraisemblance empirique ont une distribution asymptotique χ2. Un autre but de cette thèse est de tester la présence d'un changement dans les coefficients d'un modèle linéaire en grande dimension, où le nombre des variables du modèle peut augmenter avec la taille de l'échantillon. Ce qui conduit à tester l'hypothèse nulle de non-changement contre l'hypothèse alternative d'un seul changement dans les coefficients de régression. Basée sur les comportements asymptotiques de la statistique de rapport de vraisemblance empirique, on propose une simple statistique de test qui sera utilisée facilement dans la pratique. La normalité asymptotique de la statistique de test proposée sous l'hypothèse nulle est prouvée. Sous l'hypothèse alternative, la statistique de test diverge<br>In this PHD thesis, we propose a nonparametric method based on the empirical likelihood for detecting the change in the parameters of nonlinear regression models and the change in the coefficient of linear regression models, when the number of model variables may increase as the sample size increases. Firstly, we test the null hypothesis of no-change against the alternative of one change in the regression parameters. Under null hypothesis, the consistency and the convergence rate of the regression parameter estimators are proved. The asymptotic distribution of the test statistic under the null hypothesis is obtained, which allows to find the asymptotic critical value. On the other hand, we prove that the proposed test statistic has the asymptotic power equal to 1. The epidemic model, a particular case of model with two change-points, under the alternative hypothesis, is also studied. Afterwards, we use the empirical likelihood method for constructing the confidence regions for the difference between the parameters of a two-phases nonlinear model with random design. We show that the empirical likelihood ratio has an asymptotic χ2 distribu- tion. Empirical likelihood method is also used to construct the confidence regions for the difference between the parameters of a two-phases nonlinear model with response variables missing at randoms (MAR). In order to construct the confidence regions of the parameter in question, we propose three empirical likelihood statistics : empirical likelihood based on complete-case data, weighted empirical likelihood and empirical likelihood with imputed va- lues. We prove that all three empirical likelihood ratios have asymptotically χ2 distributions. An another aim for this thesis is to test the change in the coefficient of linear regres- sion models for high-dimensional model. This amounts to testing the null hypothesis of no change against the alternative of one change in the regression coefficients. Based on the theoretical asymptotic behaviour of the empirical likelihood ratio statistic, we propose, for a deterministic design, a simpler test statistic, easier to use in practice. The asymptotic normality of the proposed test statistic under the null hypothesis is proved, a result which is different from the χ2 law for a model with a fixed variable number. Under alternative hypothesis, the test statistic diverges
5
Subagdja, Djadjat. "Composition chimique et valeur nutritive des différentes pailles traitées ou non traitées par l'ammoniac (revue bibliographique) : valorisation de la paille de riz par un traitement à l'ammoniac." Montpellier 2, 1986. http://www.theses.fr/1986MON20106.
Texto completoResumen
Revue bibliographique des possibilites d'amelioration de la valeur nutritive des pailles par les traitements alcalins, caracterisation des parametres. Essais concernant les conditions d'obtention des modifications biochimiques optimales (etude de 2 sources (nh::(3), nh::(4)oh) de 3 temperatures (40**(o), 55**(o), 70**(o)c), de 2 durees de traitements (2 jours, 5 jours)), les caracteristiques alimentaires (digestibilite, valeur azotee, ingestibilite), la valorisation par les brebis gestantes
6
Régnier, Virginie. "Répartition du flot d'énergie pour des ondes dispersives et non-dispersives sur des espaces ramifiés élémentaires ou localement élémentaires de dimension un et deux." Valenciennes, 2002. https://ged.uphf.fr/nuxeo/site/esupversions/cf59ac6e-7d94-4f23-a29f-f87326d558d6.
Texto completoResumen
On étudie le comportement transitoire d'ondes dispersives ou non sur des espaces ramifiés élémentaires ou localement élémentaires. On obtient les mêmes coefficients d'énergie réfléchie et transmise sur un réseau en forme d'étoile avec des coefficients de dispersion identiques sur toutes les branches qu'en dimension deux avec des vitesses de propagation identiques mais uniquement pour des ondes non-dispersives dans ce cas. Si, en revanche, les termes de masse sont différents en dimension un, la fréquence du signal initial intervient dans la répartition de l'énergie en un nœud. Pour une condition initiale à bande de fréquence étroite (dans un sens que l'on définit mathématiquement), les parts d'énergie réfléchie et transmise sont encadrées. On détecte pour des basses fréquences un retard dans la réflexion qui est fonction de la fréquence principale. Des valeurs numériques sont calculées pour un exemple de condition initiale convenable<br>We study the transient behaviour of dispersive or non-dispersive waves on elementary or locally elementary ramified spaces. We get the same transmitted and reflected energy coefficients on a star-shaped network with identical dispersion coefficients on all the branches as in dimension two with identical wave propagation velocities but only for non-dispersive waves in that case. On the other hand, in the case of differing mass terms in dimension one, the frequency of the initial signal is involved in the splitting of energy at a node. For an initial condition with a narrow frequency band (in a sense which we define mathematically), the reflected and transmitted parts of the energy are bounded from above and below. A delay in the reflection is detected for low frequencies, which depends on the carrier frequency. Numerical values are calculated for a particular suitable initial condition to exemplify the above results
7
Thillays, François Bardet Etienne. "Etude rétrospective monocentrique de 101 patients traités au CRLCC Nantes Atlantique pour un cancer non résécable de l'oropharynx ou de la cavité buccale par chimioradiothérapie selon le schéma ARCORO résultats et étude de la toxicité tardive. /." [S.l.] : [s.n.], 2005. http://theses.univ-nantes.fr/thesemed/SPEthillays.pdf.
Texto completo
8
Castagliola, Philippe. "Un système incrémental pour la fusion multi-capteurs pour un robot mobile." Compiègne, 1991. http://www.theses.fr/1991COMPD391.
Texto completoResumen
Pour réussir une tâche précise, un robot mobile doit obtenir des informations sur son environnement. Pour cette raison, il utilise des capteurs spécifiques. Malheureusement, la plupart d'entre eux donnent individuellement des informations insuffisantes, imprécises et éventuellement erronées. Nous avons choisi de développer certaines méthodes permettant de combiner les informations provenant de capteurs différents, et ainsi d'augmenter leur précision. Cette classe de méthodes est appelée fusion multi-capteurs. Le formalisme adopté est fondé sur le filtre de Kalman étendu. Il permet de prendre en compte les incertitudes qui sont associées aux mesures. Afin de réduire le coût informatique, il est nécessaire de rechercher des représentations minimales, à la fois pour l'environnement du robot (formé de segments verticaux, horizontaux et obliques) et pour la position/orientation de celui-ci (représentation exponentielle des rotations 3D). Le résultat de cette étude est la mise au point d'un mécanisme incrémental, utilisant un système de vision trinoculaire et une ceinture de 24 capteurs ultrasonores, permettant d'une part d'améliorer l'environnement du robot, et d'autre part de maintenir celui-ci aussi proche que possible de sa position/orientation réelle. Ce dernier point est rendu possible par l'utilisation d'algorithmes non itératifs d'estimation du mouvement (utilisant la représentation des rotations sous la forme de quaternion unitaire) et par une formulation explicite de la relation entre le mouvement réel du robot et le mouvement imaginaire de la scène.
9
Ndione, Méry. "Dynamique et identification des sources de contamination fécale dans un espace littoral connaissant des pratiques de tourisme et de loisirs : l’exemple de la baie d’Aytré." Thesis, La Rochelle, 2022. http://www.theses.fr/2022LAROS006.
Texto completoResumen
La qualité microbiologique des eaux de baignade diminue progressivement d’années en années, et peut être un problème majeur de santé publique. Ainsi, des surveillances sanitaires de la qualité microbiologique des eaux de baignade sont effectuées conformément à la directive européenne (2006/7/EC) pour assurer la sécurité sanitaire des baigneurs et préserver l’image de ces écosystèmes. Depuis de nombreuses années, la baie d’Aytré (Charente Maritime, France), a été classée en « qualité insuffisante » et cette plage est interdite à la baignade depuis 2018. Les enjeux sanitaires et le rôle prépondérant de cette plage sur le développement touristique et l’économie locale ont conduit à rechercher l’origine et le déterminisme spatiotemporel de cette contamination fécale. Cette thèse présente une approche intégrée de l’analyse de la contamination fécale de la baie d’Aytré par une étude pluridisciplinaire de différentes hypothèses analysées depuis le début des années 2000 par les collectivités locales. Le niveau de contamination fécale des eaux de baignade durant une année était relativement faible avec une variation saisonnière notable de l’abondance des indicateurs de contamination fécale Escherichia coli et entérocoques. Les dépassements des seuils réglementaires sur 24% et 32% des échantillons d’eau du Platin Nord et du Platin Sud, les deux sites de baignade de la baie d’Aytré étaient principalement dus aux entérocoques. La qualité microbiologique du sédiment au cours du temps a montré que le sédiment n’était pas une source diffuse de contamination dans l’eau. L’analyse combinée des marqueurs protéiques, génétiques et chimiques a révélé la présence d’une part d’espèces d’entérocoques d’origine environnementale et d’autre part une contamination d’origine animale principalement et une faible contribution de l’origine humaine. La stratégie d’analyse élaborée et les outils développés au cours de cette étude permettront d’améliorer les méthodes de surveillance sanitaire des eaux de baignade<br>The microbiological quality of bathing water is progressively decreasing from year to year, and can constitute a major public health problem. Thus, sanitary monitoring of the microbiological quality of bathing waters is carried out in accordance with the European directive (2006/7/EC) to ensure the sanitary safety of bathers and preserve the image of these recreational ecosystems. For many years, the bay of Aytré (Charente Maritime, France), has been classified as "poor quality" and this beach is prohibited for bathing since 2018. The health issues and the preponderant role of this beach on the tourism development and the local economy led to investigate the origin and the spatiotemporal determinism of this fecal contamination. This thesis presents an integrated approach to the analysis of the fecal contamination of Aytré Bay through a multidisciplinary study of different hypotheses analysed since the beginning of the 2000s by the local authorities. The level of fecal contamination of the bathing water during a year was relatively low with a notable seasonal variation in the abundance of the fecal contamination indicators Escherichia coli and enterococci. Exceedances of the regulatory thresholds on 24% and 32% of the water samples from Platin Nord and Platin Sud, the two bathing sites in Aytré Bay, were mainly due to enterococci. The microbiological quality of the sediment over time showed that the sediment was not a diffuse source of contamination in the water. The combined analysis of protein, genetic and chemical markers revealed the presence of enterococci species of environmental origin on the one hand, and on the other hand, a contamination of mainly animal origin and a small contribution from human origin. The analytical strategy and tools developed during this study will help to improve the sanitary surveillance methods of bathing waters
10
Shang, Wei. "Un système et un langage pour le traitement d'inférences non monotone." Compiègne, 1990. http://www.theses.fr/1990COMPD299.
Texto completoResumen
Nous présentons dans ce mémoire un système d'inférence en logiques non-monotones. Ce système a pour objet de représenter les connaissances et le raisonnement révisables. Une étude sur les différentes stratégies de recherche dans l'espace de solutions a été présentée, nous montrons à travers des exemples, que l'enregistrement des dépendances de l'inférence peut optimiser sensiblement la recherche dans l'espace de solutions. Nous décrivons ensuite un système de contrôle de cohérence : ATMS de J. De Kleer, c'est un système à base de dépendances, qui est utilisé comme un module d'inférence dans notre système. Plusieurs systèmes logiques non standards sont aussi présentés, nous mettrons l'accent particulièrement sur les logiques des défauts de R. Reiter, pour lesquelles une version restreinte (défauts nromaux) est réalisée. ANMIL est le langage d'inférence du système, il est décrit en détail. Le la,gage est à base de calcul des prédicats, la non-monotonie demeure dans les règles de défaut et les règles supposées. L'environnement de l'influence de l'ANMIL est multi-contextes, les hypothèses sont gérées automatiquement. L'utilisation des principales commandes est aussi expliquée, la syntaxe du langage est donnée. ANMIS est le système d'inférence. Sa conception est présentée. On y distingue deux modules : un moteur d'inférence proprement dit et un module de gestion de croyances ATMS. Cette séparation, est à notre avis, la meilleure architecture pour effectuer l'inférence non-monotone. Les différentes stratégies d'inférence sont adaptées selon le type de règles (règles de type de clause de Horn ou non). Les techniques ainsi que les difficultés de la réalisation sont discutées<br>In this thesis a non-monotonic inference system is presented, its purpose is to represent revisable knowledge and perform corresponding reasoning. A study of different research strategies of the solution space is presented, it is shown, through the exemples, that the recording of the inference dependencies can considerably optimize the research in the solution space. Then we describe un belief revision system: AS of J. De Kleer. It is a dependency based one, and is used as m inference unit in our system. Several non-standard logics are also presented, we pay pie1mly attention to R. Reiter's default logic, for which a restrained version (normal defaults) is realized. ANMIL is the inference Ianguage of this system, it is described in detail. The language is a predicate based one, the non-monotony resides in the default and the assumed rules. Its inference environment is the mufti-contexts one, the assumptions me automatically managed. We also explain the principal commands and give the syntax of ANMIL. ANMIS is the inference system. Its concepts are presented. Two sub-systems can be distinguished : an inference engine and a belief revision manager. This kind of architecture, in our opinion, is the best one for performing non-monotonic inference. The different inference strategies are employed according to the type of rides. The techniques and difficulties of the implementation of the system are discussed
11
BUI, XUAN-NAM. "Planification de trajectoire pour un robot polygonal non holonome dans un environnement polygonal." Paris, ENMP, 1994. http://www.theses.fr/1994ENMP0443.
Texto completoResumen
Nous etudions les robots non holonomes de type voiture et leurs trajectoires optimales en longueur. Ces robots sont soumis a deux contraintes cinematiques : son orientation est toujours tangente a la trajectoire, qui a une courbure majoree par une constante strictement positive. Dans un premier temps, nous partons des resultats de dubins limitant les formes des trajectoires optimales pour un robot se deplacant en marche avant dans un environnement plan sans obstacle. Nous calculons la synthese de ce probleme d'optimisation. Nous obtenons alors une partition de l'espace des configurations du robot. Puis en decoule l'etude des iso-distances associees a la pseudo-distance entre configurations, ainsi que les regions d'accessibilite. Ensuite nous abordons deux problemes de planification utilisant des chemins optimaux. Le premier consiste a planifier un chemin optimal entre deux configurations passant par une suite donnee de points. Nous montrons que ce probleme est np-dur et qu'une restriction de ce probleme admet une unique solution. Nous proposons deux methodes de resolution. Le second est plus classique : le robot polygonal est en mouvement plan au milieu d'obstacles polygonaux. Nous proposons un algorithme utilisant nos resultats sur les chemins optimaux en presence d'obstacles, trouvant une approximation du plus court chemin. La complexite et la qualite de l'approximation sont analysees. L'algorithme a ete implante en langage c et des resultats sont presentes
12
Perrier, Clotilde. "Génération de mouvements pour un manipulateur mobile non-holonome." Montpellier 2, 1998. http://www.theses.fr/1998MON20109.
Texto completoResumen
L'evolution de la robotique ces dernieres annees s'est tournee vers des systemes presentant a la fois des degres de mobilite et de manipulation. De tels systemes sont appeles manipulateurs mobiles. La tache a realiser dans le cadre de cette these est une tache de positionnement de l'extremite de l'effecteur, - en position et en orientation -, en vue de saisir un objet. Le systeme considere, compose d'une part d'un vehicule de type voiture presentant une contrainte de non-holonomie et d'autre part d'un bras manipulateur, est redondant par rapport a la tache a realiser. Deux approches de generation de mouvements sont presentees. La premiere, dite locale tente a chaque instant de se rapprocher du but sans contrainte a priori sur le type de trajectoire finale obtenue. La seconde approche, dite globale, considere la trajectoire globale du systeme et calcule les variables articulaires telles que la trajectoire globale soit realisable. Apres avoir obtenu une sequence de points de passage et de variables articulaires du generateur cite ci-dessus, la question du suivi de trajectoire a l'aide du prototype de manipulateur mobile du lirmm est posee. Un asservissement dans l'espace articulaire est presente, accompagne de resultats experimentaux. Un asservissement dans les espaces de calcul est egalement propose et discute.
13
Fabry, Julia. "Non nova, sed nove : un temps d'image pour s'inventer." Saint-Etienne, 2007. http://www.theses.fr/2007STET2107.
Texto completoResumen
Sous forme de DVD, un film : "Trois lieux d'être", an trois parties : "La forge", "H. L. M. ", "Pianète", réinvestit les lieux de l'enfance. Investigation dans le temps et dans l'espace où toutes les matières se mélangent, où chaque vision prend une forme différente, où chaque image a ses qualités propres. Les lieux deviennent alors des espaces sublimés, propices à toutes les imaginations, mais ceux que nous avons toujours connus. La mémoire qui accompagne ce film lui donne un éclairage réflexif, y compris au sens littéral du terme. Dans sa double réflexion, il renvoie à l'oeuvre ses propres effets, comme en miroir, tout en lui associant la problématique "Non nova, Sed nove" : pas des choses nouvelles mais de la nouveauté, dont l'éclairage, à la lumière d'autres pratiques, donne une autre dimension aux images. La description problématique de l'objet plastique se fait dans un jeu d'entrelas permanent d'images dans le texte, qui font sens les unes par rapport aux autres. C'est l'iconographie qui donne au mémoire sa structure fondamentale pour accéder ensuite à un univers tout entier. C'est dans un double mouvement permanent entre surface et profondeur que s'installent mes images. Le travail tantôt sur la superficialité de l'image numérique, tantôt sur l'infinie profondeur que la superposition de ses couches peut entretenir, évoque une forme de palimpseste de points lumineux<br>In the form of a DVD, a film : "Trois lieux d'être, in three parts : "La forge", "H. L. M. ", "Pianète" reinvest the places of childhood. Investigation in time and the space when all the matters mix, where each vision takes a different form, where each image has its specific qualities. The places then become sublimated spaces, favourable with all imaginations, but those which we always knew. The report which accompanies this film gives him a reflexive lighting, including in the literal sense of the trem. In its double reflexion it reference with work its own effects, as out of mirror, while associating the problems to him "Non nova, Sed nove" : not new things but of the innovation, whose lighting makes in the light of others practise gives another dimension to the images. The problematic description of the plastic object is done in a permanent play beetween images and text, which make direction the ones compared to the others. It is the iconography which gives to the report its fundamental structure to reach an entire universe then. It is in a double permanent movement between surface and depth that my images settle. Work sometimes on the superficiality of the digital image, sometimes on the infinite depth which the superposition of its layers can maintain, evokes a form palimpsest of luminous points
14
Kammoun, Slim. "Assistance à la navigation pour les non-voyants : vers un positionnement, un SIG et un suivi adaptés." Toulouse 3, 2013. http://thesesups.ups-tlse.fr/2035/.
Texto completoResumen
Le déplacement est une des plus grandes difficultés éprouvées par les déficients visuels dans leur vie quotidienne. Avec l'essor des TIC, plusieurs aides électroniques à la navigation ont vu le jour. L'objectif de ces systèmes est d'améliorer l'autonomie des déficients visuels dans leurs déplacements. Cependant, les aides au déplacement commercialisées aujourd'hui reposent sur une simple adaptation des dispositifs conçus pour les automobilistes et sont donc inadaptés ou mal adaptés à un piéton, de surcroit déficient visuel. Ces systèmes reposent généralement sur un positionnement peu précis et utilisent des cartographies et des stratégies de guidage mal ou non adaptées. Dans ce travail de doctorat, nous proposons la conception et le développement d'un système d'aide à la navigation destiné aux piétons déficients visuels. Cette thèse s'articule autour de trois problématiques identifiées comme critiques à savoir le positionnement, les systèmes d'informations géographiques et le suivi d'itinéraire. Le positionnement développé dans NAVIG repose sur la fusion multi capteurs dans le but d'en améliorer la précision. Cette fusion se base sur un module de vision par ordinateur, un système GPS et des capteurs inertiels. Les résultats obtenus montrent la faisabilité de ces techniques dans un contexte de navigation piétonne. Pour la cartographie, nous proposons une classification de données environnementales permettant d'assurer la perception de l'environnement et le calcul d'itinéraire, notamment pour un utilisateur privé de vision. Un modèle conceptuel adéquat pour le stockage des données est aussi proposé. Le suivi d'itinéraire est une fonction qui permet au système de savoir sur quelle section de l'itinéraire se trouve l'utilisateur à tout instant. C'est un processus important, car il permet d'assurer un guidage de qualité. L'amélioration du guidage passe donc par un suivi adapté à un déplacement piéton. Nous avons proposé quatre stratégies de suivi. L'évaluation des performances de ces différentes stratégies de suivi s'est déroulée dans un simulateur de guidage développé au cours de cette thèse. Il s'agit d'un environnement virtuel multimodal qui permet l'évaluation systématique des différents algorithmes proposés dans un environnement contrôlé et sécurisé. Finalement, un prototype du système NAVIG a été réalisé et a été testé auprès de deux utilisateurs déficients visuels, ce qui a mis en évidence un ensemble de verrous toujours présents. Pour conclure, bien que ce travail de doctorat doive être complété par un ensemble d'évaluations plus systématiques, il a apporté un ensemble de réponses sur un positionnement et un suivi d'itinéraire adaptés à des systèmes d'assistance à la navigation pour déficients visuels. Il ouvre des questions très actuelles sur la disponibilité et le partage des données géographiques et l'utilisation de la vision embarquée. Il ouvre aussi des perspectives intéressantes sur le guidage et la description de l'espace adapté à des utilisateurs piétons et déficients visuels<br>Navigation, especially in unknown areas, is a major problem for the visually impaired (VI). Over the past 50 years, a number of electronic travel aids (ETAs) have been developed with the aim of improving mobility of the VI. Despite many research efforts, these systems are rarely used. Although the explanation is likely to be incomplete, it is possible to identify three important factors : (1) positioning accuracy provided by these devices is not sufficient to guide a VI pedestrian, (2) these systems are based on Geographical Information Systems not adapted to pedestrian mobility, and (3) the guidance methods should be adapted to the task of VI pedestrian wayfinding. All these three components are sources of usability issues. In this thesis, committed in the collaborative research project called NAVIG, we present the design and implementation of an electronic navigation aid for the blind. In this work, we relied on the analysis of the needs of the visually impaired to propose solutions for improving positioning and guidance. First, we present a solution based on real-time fusion of A-GPS and embedded artificial vision positioning signals. The benefit of our device is two-fold : 1/ it provides a more accurate positioning, compatible with Blind mobility and guidance ; 2/ it matches the needs of Blind users in terms of space perception. Second, we define a classification of objects that should be included in every geographical information system (GIS) that is used in a navigation aid. This classification was based on multiple brainstorming and interviews with blind people and orientation and mobility (O&M) instructors. We present a database scheme integrating the principal classes proposed in this classification. We also propose a methodology allowing the selection of the most appropriate route, based on user needs, and relying on the proposed classification of geographical data. Finally, regarding pedestrian tracking, we propose 3 new strategies adapted to pedestrian navigation. The evaluation of those strategies was performed into a virtual environment framework. To do so, we designed a multimodal (input and output) Virtual Environment (VE) that simulates different interactions that could be used for space perception and guidance in an ETA. This platform subserves two goals : help designers to systematically test guidance strategies (i. E. For the development of new ETAs) and train blind people to use interactive ETAs, with an emphasis on cognitive mapping enhancement. Using this platform we performed several evaluations with 16 users to define the best tracking strategies. To conclude, the combined positioning (vision, GPS) was successfully evaluated in two real environments (Toulouse University campus, and a district in the Toulouse center). Results from evaluations of tracking strategies shown that it is very important to adapt such strategies to pedestrian navigation
15
Uccheddu, Basile. "Observateurs pour un procédé de cristallisation en batch." Phd thesis, Université Claude Bernard - Lyon I, 2011. http://tel.archives-ouvertes.fr/tel-00751922.
Texto completoResumen
Ce travail a pour but la réalisation d'un outil permettant d'estimer la germination et la distribution en taille de cristaux d'un procédé de cristallisation. Pour ce faire un modèle de cristallisation a été développé et nous a permis de réaliser un observateur de dimension finie afin d'estimer la germination. Par la suite, un observateur de dimension infinie a été mis au point dans le but d'estimer la distribution de taille des cristaux à partir de la germination et de la mesure d'une taille de la distribution. Les deux observateurs ont été validés expérimentalement sur un procédé "batch" de cristallisation de l'oxalate d'ammonium.
16
LAZARUS, XAVIER. "Module universel non ramifié pour un groupe réductif p-adique." Paris 11, 2000. http://www.theses.fr/2000PA112066.
Texto completoResumen
Soit g un groupe reductif non ramifie defini sur un corps p-adique f et k son sous-groupe maximal hyperspecial forme par ses points entiers. On considere le module universel non ramifie associe a un caractere de l'algebre de hecke de g relative a k, le corps des coefficients etant algebriquement clos et de caracteristique banale pour g. C'est une representation admissible de g a laquelle on peut toujours associer une famille de serie principales sur g. On generalise les resultat de serre et de kato, en trouvant une condition necessaire et suffisante pour qu'un module universel et une serie principale associee aient meme suite de jordan-holder en tant que g-modules, puis en etudiant la platitude du module universel par rapport aux caracteres de l'algebre de hecke. On passe en revue le cas des groupes lineaires classiques. Pour cela, on expose dans le cas modulaire, la transformation de satake, les differentes presentations de l'algebre d'iwahori-matsumuto, la theorie des series principales - en completant l'etude de leur irreductibilite pour u(3) - et celle du centre de bernstein.
17
Gherari, Zineddine. "Stratégie de commandes neurofloues pour un système continu non linéaire." Paris 12, 1998. http://www.theses.fr/1998PA120062.
Texto completoResumen
Dans ce memoire les outils developpes dans le cadre de la commande neurofloue ont permis de resoudre, en simulation, les problemes de la classe des systemes non lineaires continus qu'ils soient mono-dimensionels ou multidimensionels. Apres une phase bibliographique sur les reseaux de neurones artificiels ou nous avons analyses en details les algorithmes d'apprentissage par renforcement et leurs applications et apres un bref apercu sur la theorie de la logique floue, nous avons mis au point une architecture de commande neurofloue bnfc basee sur l'algorithme de la retro propagation pour l'apprentissage pouvant etre interpretee et appliquee suivant un triple cas d'utilisation : d'une maniere numerique, linguistique et lineaire. Nous introduisons egalement le concept d'apprentissage par renforcement pour la commande neurofloue des systemes non lineaires continus, domaine qui a ce jour, a notre connaissance, n'a jamais ete aborde avec succes. En proposant une methodologie generale d'apprentissage basee sur la technique des differences temporelles et l'algorithme de la retro propagation, nous avons mis en evidence une architecture de commande neurofloue bac-nfc qui de la meme maniere peut avoir une triple interpretation. L'application en simulation des deux architectures de commande proposees sur une fonction non lineaire, puis sur un prototype de chaudiere a gaz, demontre ainsi avec les resultats obtenus l'interet de la demarche.
18
Donin, de Rosière Emmanuel. "Un langage non déterministe pour l'écriture de scénarios de test." Rennes 1, 2007. http://www.theses.fr/2007REN1S151.
Texto completoResumen
La phase de test est une étape importante dans le développement et représente aujourd’hui un enjeu capital pour les opérateurs téléphoniques. Il est donc nécessaire d’avoir à disposition des outils permettant d’exprimer facilement certains comportements complexes, mais courants des systèmes télécoms afin de pouvoir exécuter automatiquement des campagnes de tests sans intervention humaine. Cette étude cherche donc à pallier ce problème et essayer, après une analyse rigoureuse des langages actuels, de proposer des constructions innovantes répondant à notre problématique. Certaines de ces constructions utilisent un paradigme non déterministe afin de spécifier facilement des comportements concurrents ou non contrôlables. En plus de cette proposition, nous allons essayer de vérifier les idées avancées au travers d’un prototype permettant d’évaluer les constructions innovantes, mais aussi de valider définitivement celles-ci lors du test réel d’une application industrielle<br>The testing phase is an important step in the development and now represents a crucial issue for telecommunication companies. One possible way for reducing the development time and increasing the software quality is to automize as possible the testing phase. So, we need tools for expressing easily complex, but common, behaviours in order to execute automatically test compaign without any human intervention. This study tries to get round this problem and, just after an analysis of the current testing languages which deal with active black-box testing, it will put forward several new constructions for this domain trying to solve this problem. Several of this constructions use a nondeterministic paradigm for easily expressing concurrent or non-controllable behaviours. Moreover, we will try to verify these ideas through a prototype which implements these new functionnalities and also validate these constructions during a real test of an industrial project
19
Luo, Haining. "Simulation numérique directe pour un écoulement turbulent dans un T-jonction d'un fluide non-Newtonien." Thesis, Lyon, 2019. http://www.theses.fr/2019LYSEC026/document.
Texto completoResumen
Une configuration en T-jonction a été étudiée pour sa simplicité en géométrie en comparant avec d’autres mélangeurs en industrie. Plus particulièrement, j’ai effectué des simulations numériques directes avec OpenFOAM des T-jonction convergent à section circulaire et rectangulaire. Les fluides Newtonien et non-Newtonien (modèle Bird-Carreau) ont été pris en compte. Dans un premier temps, j’ai comparé mes données avec le travail expérimental de Nguyen [1] sur le T-jonction circulaire en régime deflecting. J’arrive à valider la DNS avec les données expérimentales. L’organisation des structures cohérentes sont illustrées en régime laminaire et turbulent en Newtonien et en non-Newtonien. Dans un deuxième temps, j’ai simulé deux régimes (deflecting et impinging) dans un T-jonction rectangulaire en Newtonien et en non-Newtonien. J’ai montré l’existence de structures cohérentes (par example kidney vortex) qui servent de moteur au mélange du scalaire passif propre au non-Newtonien. L’efficacité de mélange est augmentée en régime impinging par rapport au régime deflecting. Le shifting du pic de turbulence est observé uniquement en régime impinging<br>For the simplicity in geometry by comparing it with other mixers in the industry, flows in T-junction configuration have been studied. More specifically, Direct Numerical Simulations is carried out using OpenFOAM on a convergent T-junction configuration with circular and rectangular cross-section. Both Newtonian and non-Newtonian fluids (Bird-Carreau model) are taken into account. Firstly, DNS data is compared to Nguyen’s experimental work on the circular T-junction at regime deflecting [1]. Good agreement between simlation and experiment is achieved. The organization of coherent structures is illustrated in laminar and turbulent for both Newtonian and non-Newtonian cases. Secondly, two flow regimes (deflecting and impinging) are simulated in a rectangular T-junction for the same Newtonian and non-Newtonian fluids. The existence of non-Newtonian coherent structures (e.g. kidney vortex ) is shown. These structures are regarded as essential mixing mechanism of passive scalar mixing. The mixing efficiency is increased in regime impinging compared to regime deflecting. The shifting of the turbulence peak is only observed in regime impinging
20
Aubry, Geoffroy. "Un cadre logique pour la génération d'arguments." Phd thesis, Université de la Méditerranée - Aix-Marseille II, 2005. http://tel.archives-ouvertes.fr/tel-00632496.
Texto completoResumen
L'idée de l'argumentation est de rechercher dans une base de connaissances, pour chaque proposition dont on souhaite évaluer la validité, les raisons qui étayent cette proposition et celles qui l'infirment. Un argument est alors entendu comme une paire comprenant une proposition et les raisons qui la justifient. Notre propos est d'offrir des outils formels pour la génération automatique d'arguments par deux agents en situation de dialogue. Ces outils reposent sur les X-logiques, formalisme non-monotone proposé en 1996 par Siegel et Forget et déterminant un cadre fondateur autour de la notion de preuve pour le raisonnement non-monotone. En particulier l'ensemble X servant à paramétrer la relation d'inférence confère une souplesse inégalée à la gestion dynamique des arguments. Après un tour d'horizon des travaux passés en matière de représentations logiques pour l'argumentation, nous introduisons les X-logiques, à partir desquelles est composée la notion d'attitude d'un agent par rapport à une formule. Nous définissons ensuite des opérateurs de confrontation qui permettent d'associer des ensembles de formules aux attitudes d'un agent. Le concept de réponse d'un agent à un ensemble de formules est alors élaboré en tant que motivation de l'attitude de cet agent vis-à-vis de l'ensemble en question. Plusieurs formes de réponses sont distinguées parmi lesquelles les notions de réponse pertinente ou encore de mensonge. Une réponse représente les raisons qui justifient la conclusion d'un argument : c'est à partir du calcul de ces réponses que nous exhibons une procédure de génération automatique d'arguments. Enfin nous montrons que notre cadre argumentatif permet de générer les contre-arguments conservatifs maximaux de Besnard et Hunter (2001), arguments retenus pour leur pertinence.
21
Bertocchi, Guillaume. "Circuit optique sur LiNbO3 pour un relais quantique intégré." Nice, 2006. http://www.theses.fr/2006NICE4066.
Texto completoResumen
Ce manuscrit présente l’étude numérique, les étapes de fabrication et la caractérisation expérimentale d’un circuit optique intégré destiné à être le cœur d’un relai quantique fonctionnant pour des qubits encodés sur des photons aux longueurs d’ondes télécoms. Malgré les progrès technologiques de la photonique et des télécoms, les pertes dans les fibres optiques et surtout le bruit dans les détecteurs limitent les distances de communication quantique à une centaine de kilomètres. Le relai quantique, basé sur le protocole de la téléportation d’états, permet d’augmenter le rapport signal sur le bruit de la communication et donc de repousser cette distance maximale. Dans ce cadre, l’optique intégrée permet d’obtenir une taille et une stabilité favorisant l’insertion du relais dans des systèmes de communication quantique fibrés. Nous avons adapté un modèle de relai quantique à notre cas particulier montrant l’intérêt d’une telle structure avec des paramètres réalistes. Nous avons ensuite déterminé par simulation BPM les propriétés des différentes fonctions qui composent la puce optique. Il s’agit en effet d’obtenir sur le même composant un générateur de paires de photons et deux coupleurs directionnels 50/50 contrôlés électro-optiquement. De plus, toutes les entrées/sorties de la puce ont été pourvues de guides segmentés pour l’optimisation des interfaces fibres/guides. Les caractérisations classiques et en régime comptage de photons ont permis de valider toutes les fonctions optiques mentionnées et de conclure que cette « puce relai » permettrait d’augmenter la distance d’un lien de communication quantique d’un facteur 1,7<br>This manuscript presents the numerical study, manufacture processes, and experimental characterization of an integrated optical circuit intended to be at the heart of a quantum relay particularly designed for qubits encoded on photos as telecom wavelengths. In spite of progress in photonics and telecommunications technologies, losses in optical fibres and especially darkcounts in the detectors limit the maximum achievable distance for quantum communication to about a hundred kms. The quantum relay, based on quantum teleportation, makes it possible to increase the communication signal-to-noise ratio and thus to push this maximum distance forward. In this context, we show that integrated optics offers compact and stable components suitable for insertion of a “relay-ship” in fibre-based quantum communication systems. We adapted a quantum relay model to our particular case showing the relevance of such a structure with realistic parameters. Subsequently we determined the properties of all the necessary optical functions using BPM simulation. Actually, a photon-pair source and two electro-optically controlled, 50 / 50 beam splitters have to be merged on a single chip. In addition, tapered-waveguide sections have been designed at each input / output of the chip in order to improve coupling between fibres and integrated structures. All the required optical functions on the chip were tested and validated by performing characterizations in both classical and single-photon regimes. As a conclusion, we showed that this “quantum relay-chip” could increase the maximal achievable distance of a quantum communication link by a factor of 1,7
22
Oukacha, Ouazna. "Optimisation de consommation pour un véhicule de type voiture." Thesis, Toulon, 2017. http://www.theses.fr/2017TOUL0016/document.
Texto completoResumen
Cette thèse présente l’étude d’un problème de contrôle optimal dont le coût est non-différentiable pourcertaines valeurs du contrôle ou de l’état, tout en restant Lipschitz. Ce problème nous a été inspiré par laproblématique générale de la minimisation de l’énergie dépensée par un véhicule ou robot de type voiture lelong d’un trajet dont le profil de route est connu à l’avance. Cette problématique est formulée à l’aide d’unmodèle simple de la dynamique longitudinale du véhicule et une fonction coût qui englobe la notiond’efficacité du processus de conversion énergétique. Nous présentons un résultat de régularité des contrôles,valable pour la classe des systèmes non-linéaires, affines dans les contrôles, classe à laquelle appartient notreproblème. Ce résultat nous permet d’exclure les phénomènes de chattering de l’ensemble des solutions. Nousréalisons trois études de cas pour lesquelles les trajectoires optimales sont composées d’arcs bang,d’inactivations, d’arcs singuliers et, dans certains cas, de retours en arrière<br>The present thesis is a study of an optimal control problem having a non-differentiable, but Lipschitz, costfunction. It is inspired by the minimization of the energy consumption of a car-like vehicle or robot along aroad which profile is known. This problem is stated by means of a simple model of the longitudinal dynamicsand a running cost that comprises both an absolute value function and a function that accounts for theefficiency of the energy conversion process. A regularity result that excludes chattering phenomena from theset of solutions is proven. It is valid for the class of control affine systems, which includes the consideredproblem. Three case studies are detailed and analysed. The optimal trajectories are shown to be made of bang,inactivated and backward arcs
23
López, Carranza Santiago Nicolás. "Transition laminaire-turbulent en conduite cylindrique pour un fluide non Newtonien." Thesis, Université de Lorraine, 2012. http://www.theses.fr/2012LORR0118/document.
Texto completoResumen
L'objectif de cette thèse est de fournir une analyse de la transition vers la turbulence d'un fluide rhéofluidifiant (fluide de Carreau) dans une conduite cylindrique. Pour cela, un code pseudo-spectral de type Petrov-Galerkin a été développé. Une analyse linéaire de stabilité de l'écoulement laminaire est effectuée, montrant que cet écoulement est linéairement stable. Ensuite, des perturbations sous la forme des rouleaux longitudinaux contra-rotatifs sont utilisées comme condition initiale. Les termes non linéaires d'inertie et visqueux créent un écoulement secondaire avec des points d'inflexion, linéairement instable vis-à-vis de perturbations 3D. Une analyse linéaire de stabilité de ce nouvel écoulement de base bidimensionnelle est réalisée. La forme des vecteurs propres critiques est analysé. Enfin, une analyse non linéaire de stabilité de rouleaux vis-à-vis des perturbations tridimensionnelles de faible amplitude est effectuée, obtenant un retard pour la transition vers la turbulence des fluides rhéofluidifiants par rapport au cas Newtonien et une tendance à l'asymétrie du profil de vitesse axiale<br>The main objective of this thesis is to provide a description of the transition to turbulence of a shear thinning fluid in pipe flow. A linear stability analysis of the base flow is done. Results show that the flow is linearly stable and the optimal perturbation is given by a pair of counter rotating vortex. This kind of perturbation is used as an initial condition of a computational code which integrates the governing equations. Inertial and viscous non linear terms generate a secondary base flow with inflection points, which is linearly unstable to 3D perturbations. A secondary instability analysis is done, regarding the shape of unstable eigenvectors. Depending the rheological parameters and the size of the primary perturbation, the unstable mode might be near the wall or the center of the pipe. Finally, a non linear stability analysis of the streaks to 3D perturbations of weak amplitude, obtaining a delay in the transition to turbulence due to shear thinning
24
Bandara, Thusitha Asela. "Un protocole de charge adaptatif pour les batteries Lithium-Ion." Thesis, Université Grenoble Alpes (ComUE), 2018. http://www.theses.fr/2018GREAM095.
Texto completoResumen
Les batteries secondaires au lithium-ion (Li-ion) sont devenues la technologie la plus répandue pour un large éventail d'appareils électroniques, des gadgets de consommation aux locomotives haut de gamme et aux stockages d'énergie dans les réseaux intelligents. La prolifération rapide des appareils mobiles et de mobilité, et les récents développements dans les véhicules électriques (VE) ont énormément augmenté la demande de batteries Li-ion (LIB) et indirectement créé une dépendance énorme de la vie de mobilité des personnes. Par conséquent, il est maintenant extrêmement important d'avoir des BUL pour alimenter continuellement les dispositifs de mobilité pendant une période de temps plus longue. Quoi qu'il en soit, en tant que source d'énergie rechargeable, les LIBs épuiseront naturellement sa capacité après un certain laps de temps permis par la demande en puissance de l'appareil et la capacité de stockage de la batterie. Par conséquent, tout mécanisme de charge qui peut recharger la batterie jusqu'à l'état complètement chargé dans le temps le plus court possible, également appelé charge rapide, est très demandé et extrêmement précieux dans ce contexte.Cependant, la charge rapide elle-même est une question très difficile en raison d'un certain nombre de raisons telles que les effets complexes (polarisation, limitation, li-dépôt, épuisement des matériaux actifs et etc.) des facteurs multidisciplinaires coexistent au sein de les réactions internes, les limites dans la mesure des facteurs électrochimiques et électrophysiques avancés, les problèmes de sécurité inhérents à l'utilisation de taux élevés et la tendance à détériorer la santé et la durée de vie d'une batterie comme conséquence la plus courante de la charge rapide. Par conséquent, un certain nombre d'approches différentes peuvent être trouvées dans la recherche de la batterie et la littérature, et principalement réalisé en trois sections différentes: l'une est l'introduction de nouvelles chimies qui peuvent stocker plus d'énergie électrique, la seconde est les changements structurels ou de conception Certains des effets négatifs de la charge rapide ou peuvent même améliorer leurs performances et le troisième et le plus intéressant est les protocoles de charge rapide basés sur l'algorithme qui peuvent également aider à tirer parti des performances dans les deux autres approches.Par conséquent, notre thèse s'est concentrée sur un nouveau protocole de charge rapide pour que les BUL puissent se recharger complètement en 20 minutes environ. Ce nouveau protocole est basé sur un concept de voltammétrie non linéaire (NLV) avec l'utilisation d'un ensemble de paramètres d'adaptation liés à l'état de charge (SOC) et à l'état de santé (SOH) de la batterie. Le fondamental de ce concept est la relation prévue que le "produit de", "le taux de la variation du courant tiré / charge (dI / dt)" et "le taux de la variation de tension correspondante (dv / dt)", est une "constante", et exprimée par (| dI / dt |) α * (dv / dt) = K. Ici, le K est une constante et le "α" pourrait être n'importe quelle valeur non nulle. L'analogie de principe ici est lorsque la tension de la batterie est augmentée, le courant résultant accepté par le circuit de charge dépendra naturellement des paramètres cinétiques intrinsèques qui ont un effet sur la charge à ce moment particulier du système de batterie. En conséquence, dans le cas d'une augmentation rapide du courant, la relation ci-dessus réglera le changement de tension pour qu'il soit une valeur plus petite, inversement proportionnelle à la rampe de courant. Inversement, une petite rampe de courant va inciter ce modèle à appliquer une forte variation de tension et laisser ainsi la cellule pénétrer rapidement dans certaines régions de tension ce qui favorise naturellement le chargement à haut débit<br>Lithium ion (Li ion) secondary batteries have become the most prevalent technology for a broad range of electronic devices from consumer gadgets to high-end locomotives and energy storages in smart grids. The rapid proliferation of both mobile and mobility devices, and recent developments in electric vehicles (EVs) have tremendously increased the demand for Li ion batteries (LIBs) and indirectly created a huge dependency of peoples’ mobility life. Therefore, now it is extremely critical to have LIBs to continuously power up the mobility devices for longer period of time. Anyway, as a rechargeable energy source, the LIBs will naturally drains its’ capacity after a certain period of time permitted by the power demand of the device and the storage capacity of the battery. Therefore, any charging mechanism which can charge-back the battery up to the fully charged status within the shortest possible time, also called fast charging, is highly demanded and extremely valuable in this context.However, the fast charging itself is a very challenging issue due to a number of reasons such as the complex effects (polarization, li-plating, li-deposition, depletion of active materials and etc.) of multi-disciplinary factors co-exists within the internal reactions, limitations in measuring advanced electrochemical and electro-physical factors, the inherent safety issues with the use of high rates and the tendency of deteriorating health and cycle life of a battery as a most common aftermath of fast charging. Therefore, a number of different approaches can be found in the battery research and literature, and mostly realized under three different sections: one is the introduction of new chemistries which can store more electric power, the second is the structural or design changes which can tolerate some of the adverse effects of fast charging or may be even improve their performances and the third and most interesting is the algorithmic based fast charging protocols which can also help to leverage the performance in both the other approaches.Therefore, our thesis has focused on a new fast charging protocol for LIBs to fully charge within about 20 minutes time duration. This new protocol is based on a concept of non-linear voltammetry (NLV) with the use of a set of adaptation parameters related to the state of charge (SOC) and the state of health (SOH) of the battery. The fundamental of this concept is the foreseen relationship that the “product of”, “the rate of the change of drawn/charge-current (dI/dt)” and “the rate of the corresponding voltage change (dv/dt)”, is a “constant”, and expressed as (|dI/dt|)α * (dv/dt) = K. Here, the K is a constant and the “α” could be any non-zero value. The principle analogy here is when the battery voltage is increased, the resulted current accepted by the charge circuitry will naturally depends on the intrinsic kinetic-parameters which effects on charging at that peculiar moment of the battery system. Accordingly, in case of a rapid increase of current, the above relationship will regulate the voltage-change to be a smaller value, inversely proportional to the current ramp. Conversely, a small ramp in current will encourage this model to apply a large voltage change and accordingly let the cell to quickly push in to certain voltage regions which naturally favors in charging with high rates
25
Ho, Emmeline. "Vers un modèle vibronique innovant pour les hydrocarbures conjugués." Thesis, Montpellier, 2018. http://www.theses.fr/2018MONTS087/document.
Texto completoResumen
Cette thèse s'intéresse à la rationalisation du mécanisme de transfert d'excitation dans des polyphénylènes éthynylènes (PPE). Une étude statique approfondie a été réalisée en utilisant la TDDFT, permettant de confirmer la localisation des états excités de méta-PPE sur des fragments para, ainsi que la hiérarchie des interactions régissant les propriétés photochimiques des PPE. Des intersections coniques ont été identifiées, de même que les principales composantes de l'espace de branchement. Leur étude a soutenu l'hypothèse d'un transfert d'énergie par conversion interne entre états excités localisés sur des fragments para.D'autre part, nous avons proposé un modèle vibronique multiéchelles pour l'énergie des états électroniques. En particulier, nous avons exprimé les énergies des orbitales frontières de PPE en fonction des énergies des orbitales frontières du benzène et de l'acetylène via un Hamiltonien effectif de type Hückel. Un travail de mapping et d'optimisation nous a permis d'aboutir à une expression pour l'énergie de transition électronique en fonction d'un nombre réduit de coordonnées nucléaires locales<br>The present work is focused on the rationalization of the excitation transfer mechanism in polyphenylene ethynylenes (PPEs). A static study was performed using TDDFT, allowing to confirm both the localization of the excited states of meta-PPEs on para building blocks and the hierarchy in the interactions governing the photochemical properties of PPEs. Conical intersections were identified, along with few components of their branching spaces. Studying those supported the assumption of an energy transfer proceeding through internal conversion between excited states localized on different building blocks.In addition, we proposed a multiscale vibronic model for the energy of the eletronic states. In particular, we expressed the energies of the frontier orbitals of PPEs in terms of the energies of the frontier orbitals of benzene and acetylene, using an effective Hückel-type Hamiltonian. Perfoming different optimizations, we achieved to propose an expression for the energy of the electronic transition in terms of a reduced number of local nuclear coordinates
26
Trupin, Eric. "Segmentation de documents : Application a un systeme de lecture pour non-voyants." Rouen, 1993. http://www.theses.fr/1993ROUES009.
Texto completoResumen
Les travaux présentés dans ce mémoire abordent les différentes étapes nécessaires à la lecture d'un texte dactylographié pour un non-voyant. Ces travaux s'appuient sur la conception existante et commercialisée d'un dispositif électronique de lecture de texte pour aveugles: l'appareil Delta. Le fonctionnement de celui-ci est détaillé et les diverses améliorations apportées à cet appareil sont présentées. Ce document discute ensuite d'une nouvelle génération de cet appareil équipé d'un scanner à main. Aussi une technique de segmentation d'images en blocs est mise au point, conjointement à une procédure de discrimination texte/graphique, permettant d'écrire l'image sous forme de blocs de texte. Les blocs sont détectés grâce à un balayage périodique appelé suivi de sondes, puis extraits grâce à un suivi de contour modifié qui utilise une matrice d'observation. Une procédure d'analyse des objets connexes contenus dans chaque bloc permet de distinguer le texte du graphique suivant cinq critères de discrimination et remet en cause la segmentation du bloc effectuée si des objets graphiques sont contenus dans le bloc. Ces techniques sont évaluées dans ce mémoire. Une organisation de ces blocs, appelé ordre logique, permet ensuite de les enchaîner grâce à l'intervention de l'utilisateur qui valide chaque bloc proposé. Certains séparateurs graphiques détectés dans l'image sont alors pris en compte pour améliorer l'ordre détecté et limiter le nombre de rejets par l'utilisateur des blocs proposés
27
Bruneton, Eric. "Un support d'exécution pour l'adaptation des aspects non-fonctionnels des applications réparties." Grenoble INPG, 2001. http://www.theses.fr/2001INPG0085.
Texto completoResumen
En général, les propriétés non-fonctionnelles des applications distribuées, comme la persistance, la protection ou la mobilité, ont besoin d'être adaptées en fonction de l'environnement d'exécution et des besoins des utilisateurs, comme nous le montrons à l'aide d'une application particulière, appelée BAGHERA. Malheureusement cette adaptation est difficile à réaliser à l'aide des plates-formes middleware classiques comme CORBA. La plate-forme Enterprise Java Beans (EJB), ainsi qu'un certain nombre de plates-formes expérimentales, apportent des débuts de solution à ce problème. Mais, comme nous le montrons, ces propositions ne sont pas encore complètement satisfaisantes. Nous proposons donc dans cette thèse une nouvelle architecture de plate-forme, afin d'essayer de résoudre les limitations des propositions existantes. Cette nouvelle architecture, inspirée de celle des EJB, et complétée en utilisant un nouveau mécanisme de composition d'objets, offre un modèle de programmation très général, inspiré du modèle Open Distributed Processing (ODP). Nous présentons ensuite la plate-forme expérimentale JavaPod, basée sur l'architecture précédente, et que nous avons réalisé à des fins d'évaluation. Ce prototype est constitué d'un noyau, qui se contente de définir un cadre de travail (ou framework), et de plusieurs couches d'extensions du noyau, qui fournissent toutes les fonctionnalités de la plate-forme (protocoles, propriétés non-fonctionnelles, déploiement. . . ). Le tout est mis en œuvre dans un nouveau langage appelé ejava, une extension de Java dans laquelle les objets peuvent être directement composés selon notre nouveau mécanisme de composition. Finalement, nous présentons comment nous avons réalisé l'application BAGHERA avec la plate-forme JavaPod, et comment nous avons pu adapter ses propriétés non-fonctionnelles. Le résultat de ces expérimentations est que notre architecture permet d'adapter les propriétés non-fonctionnelles des applications distribuées plus facilement qu'avec les plates-formes expérimentales existantes, même s'il reste encore plusieurs problèmes non résolus
28
Wegner, Karas Elizabeth. "Exemples de chemins centraux non réguliers et un algorithme de filtre pour l'optimisation non-linéaire." Paris 1, 2002. http://www.theses.fr/2002PA010070.
Texto completoResumen
Ce travail se divise en deux parties indépendantes. Dans la première partie, nous étudions dans le cadre de l'optimisation convexe, quelques exemples de chemins centraux à l'allure mouvementée, nous construisons des fonctions objectifs de complexité croissante dans une région très simple de R2. La première de ces fonctions est convexe continue ; et conduit à un chemin cnetral en forme d'antenne, avec un nombre infini de segments horizontaux de longueur constante. Dans le deuxième exemple, on perturbe la première fonction. Le résultat est un chemin en forme de zigzag, avec variation infinie. Nous régularisons ces deux fonctions en gardant leur convexité et sans modifier la disposition des chemins centraux nous obtenons les mêmes allures pour des fonctions objectifs de classe C infinie. Dans la deuxième partie, nous introduisons un algorithme de filtre globalement convergent pour l'optimisation non linéaire. Chaque itération est composée d'une phase d'admissibilité et dune phase d'optimisation. Les deux phases sont indépendantes, et peuvent faire intervenir n'importe quels algorithmes (qui doivent toutefois satisfaire quelques hypothèses raisonnables). Le seul lien entre les deux phases est qu'elles ne doivent pas permettre de générer des points interdits par le filtre. Sous des hypothèses classiques nous montrons que la suite générée par l'algorithme a pint d'accumulation stationnaire. Alors nous montrons comment un petit changement dans l'algorithme principal exclue la possibilité de gérer des points d'accumulation non stationnaires.
29
Barbata, Asma. "Filtrage et commande basée sur un observateur pour les systèmes stochastiques." Thesis, Université de Lorraine, 2015. http://www.theses.fr/2015LORR0013/document.
Texto completoResumen
Ce mémoire de thèse traite du filtrage et de la commande des systèmes non linéaires décrits par des équations différentielles stochastiques au sens d'Itô dont la diffusion est commandée par un bruit qui intervient de manière multiplicative avec l'état. Dans ce manuscrit, nous avons cherché à relaxer les conditions de stabilité utilisées dans la littérature en employant la stabilité exponentielle presque sûre, aussi appelée stabilité exponentielle avec une probabilité de un. Un nouveau théorème sur la stabilité exponentielle presque sûre du point d'équilibre d'une classe de systèmes stochastiques non linéaires triangulaires est proposé: la stabilité de l'ensemble du système est assurée par la stabilité de chaque sous-système considéré isolément. Ce théorème est appliqué au filtrage des systèmes stochastiques avec des bruits multiplicatifs. Des conditions pour le rejet asymptotique des perturbations intervenant dans une équation différentielle stochastique avec des bruits multiplicatifs sont proposées avec un taux de convergence exponentielle presque sûre garanti. Un correcteur, par retour d’état et par retour de sortie, de type bang-bang est synthétisé pour une classe de systèmes non linéaires stochastiques avec la stabilité exponentielle presque sûre. Le lemme borné réel pour les systèmes stochastiques algébro-différentiels avec des bruits multiplicatifs est formulé, ainsi que le développement de la formule d'Itô pour ces systèmes. Un correcteur H-infini par retour de sortie est synthétisé pour ces systèmes avec la stabilité exponentielle en moyenne quadratique. Un observateur pour ces systèmes est proposé avec la stabilité exponentielle presque sûre<br>This thesis deals with the filtering and control of nonlinear systems described by Itô stochastic differential equations whose diffusion is controlled by a noise which is multiplied with the state vector. In this manuscript, the goal is to relax the conditions of stability used in the literature using the almost sure exponential stability, also called exponential stability with probability equal to one. A new theorem on the almost sure exponential stability of the equilibrium point of a class of triangular nonlinear stochastic systems is proposed: the stability of the whole system is ensured by the stability of each decoupled subsystem. This theorem is applied to the filtering of stochastics systems with multiplicative noises. Conditions for asymptotic rejection of perturbations occurring in a stochastic differential equation with multiplicative noises have been proposed. The considered stability is the almost sure exponential one. A bound of the Lyapunov exponent ensures the almost sure convergence rate to zero for the state of the system. A bang-bang control law is synthesized for a class of stochastic nonlinear systems in two cases: (i) state feedback and (ii) measured output feedback with an observer. The used stability is the almost sure exponential one. The bounded real lemma is developed for stochastic algebro-differential systems with multiplicative noises and the Itô formula given for thèse systems. This approach has been used for the synthesis of an H-ihfinity measured output feedback control law with the exponential mean square stability. An observer for nonlinear stochastic algebro-differential systems was proposed using the almost sure exponential stability
30
Brahim-Belhouari, Sofiane. "Choix de structures de modèles pertinentes pour un problème d’inversion." Paris 11, 2000. http://www.theses.fr/2000PA112150.
Texto completoResumen
Dans ce travail, nous développons des procédures de sélection de structures de modèles pour des problèmes d’inversion. Nous nous intéressons plus particulièrement à l’estimation d’une grandeur de mesure, mettant en jeu deux équations non-linéaires. A cause des diverses perturbations agissant sur le système ou faussant les données, une description de nature statistique, modélisant l’influence du bruit comme des processus stochastiques est utilisée. Dans le cadre de notre travail, des décisions doivent être prises à partir de la valeur numérique de l’estimée de la mesure. Il faut donc tenter d’évaluer en quoi ces erreurs affectent les estimées, que ce soit les paramètres ou la mesure. La caractérisation d’incertitude sur l’estimée de la mesure se fait alors en recherchant sa densité de probabilité. Nous élaborons des critères de sélection d’une structure de modèle assurant la meilleure qualité statistique de l’estimateur de la mesure. Cependant, ces méthodes font des hypothèses sur la distribution du bruit pas toujours justifiées, et le cas gaussien est souvent mis en défaut. Le développement d’approches pour des distributions inconnues ou non gaussiennes semble donc d’un intérêt théorique, comme pratique, considérable. L’approche déterministe proposée dans cette thèse utilise des spécifications sur le bruit exprimées en terme de bornes. L’estimation est exprimée en terme d’inversion ensembliste soluble à l’aide de l’analyse par intervalles. Une nouvelle procédure de sélection garantissant une qualité de mesure robuste est présentée. Elle exploite les techniques de modélisation à erreur bornée et une optimisation assurant les meilleures performances dans le pire des cas (optimisation de type minimax). Les procédures de sélection développées dans cette thèse ont été appliquées à un problème de dimensionnement de défaut par courants de Foucault en champ lointain (CFCL). La planification d’expérience correspond à la recherche des conditions expérimentales adaptées au but de la modélisation. Le problème du choix des conditions expérimentales, permettant de choisir au mieux parmi une famille de structures rivales celle qui estime le plus fidèlement une quantité à mesurer, a été étudié. Deux méthodes ont été développées, la première est séquentielle, tandis que la seconde fait appel à une approche bayésienne non-séquentielle.
31
Lidouh, Abdeluaab. "Homogénéisation de frontière pour la modélisation du contact entre un corps déformable non linéaire et un corps rigide." Aix-Marseille 1, 1993. http://www.theses.fr/1993AIX11010.
Texto completoResumen
La rugosite et les proprietes mecaniques des surfaces en contact joue un role important dans le frottement entre un corps deformable et un corps rigide. Nous presentons dans cette these un cadre mathematique approprie a l'homogeneisation de frontiere autorisant un comportement non lineaire (comportement elastoplastique et elastique parfait) du corps deformable. Nous donnons un resultat mathematique de convergence lorsque la periode et l'amplitude des rugosites tendent vers 0. La loi de contact ainsi obtenue est definie par une energie: c'est une loi associee. Dans le cas plastique, elle se rapproche de la loi de tresca, sans coincider avec celle-ci. Des resultats relatifs a la relaxation d'une contrainte de dirichlet obtenue sous des hypotheses couvrant les cas intermediaires entre un comportement a croissance lineaire et un comportement a croissance quadratique sont donnes
32
Golden, Boris. "Un formalisme unifié pour l'architecture des systèmes complexes." Phd thesis, Ecole Polytechnique X, 2013. http://pastel.archives-ouvertes.fr/pastel-00827107.
Texto completoResumen
Les systèmes industriels complexes sont des objets artificiels conçus par l'Homme, et constitués d'un grand nombre de composants hétérogènes (e.g. matériels, logiciels ou organisationnels) collaborant pour accomplir une mission globale. Dans cette thèse, nous nous intéressons à la modélisation du comportement fonctionnel de tels systèmes, ainsi qu'à leur intégration. Nous modéliserons donc les systèmes réels par le biais d'une approche de boîte noire fonctionnelle avec un état interne, dont la structure et le comportement fonctionnel peuvent être obtenus par l'intégration récursive de composants élémentaires hétérogènes.
33
Deloux, Estelle. "POLITIQUES DE MAINTENANCE CONDITIONNELLE POUR UN SYSTEME A DEGRADATION CONTINUE SOUMIS A UN ENVIRONNEMENT STRESSANT." Phd thesis, Université de Nantes, 2008. http://tel.archives-ouvertes.fr/tel-00348191.
Texto completoResumen
L'un des challenges de l'optimisation de la maintenance est la production de modèles décisionnels conjuguant performance au niveau stratégique et au niveau opérationnel. Une hypothèse classique est de considérer que le niveau de dégradation du système peut être modélisé par un processus stochastique particulier caractérisé en régime stationnaire sans tenir compte des effets de l'environnement d'exploitation du système. Cette hypothèse peut être vue comme un des facteurs entraînant des écarts entre les performances attendues et celles mesurées. Par contre, de nombreux travaux sont développés dans le cadre de la fiabilité pour l'intégration de l'impact de l'environnement. L'objectif de ce manuscrit est de développer des outils d'aide à la décision de maintenance pour des systèmes à dégradation graduelle évoluant dans un environnement aléatoire stressant. Nous proposons différentes modélisations de l'environnement et de son impact sachant qu'il peut influencer soit la défaillance du système, soit le processus de dégradation. Nous explicitons les relations mutuelles entre l'environnement et le processus de dégradation et nous construisons différentes politiques de maintenance adaptatives qui se basent sur l'état de dégradation du système mais également sur l'évolution de l'environnement. De plus, les politiques proposées permettent de se baser soit uniquement sur une connaissance a priori du système, soit d'intégrer l'information disponible en ligne concernant l'environnement. Nous chercherons dans ce manuscrit à proposer de nouvelles approches de maintenance combinant performances théoriques attendues d'un côté et réalité et pragmatisme opérationnels d'un autre.
34
Barbata, Asma. "Filtrage et commande basée sur un observateur pour les systèmes stochastiques." Electronic Thesis or Diss., Université de Lorraine, 2015. http://www.theses.fr/2015LORR0013.
Texto completoResumen
Ce mémoire de thèse traite du filtrage et de la commande des systèmes non linéaires décrits par des équations différentielles stochastiques au sens d'Itô dont la diffusion est commandée par un bruit qui intervient de manière multiplicative avec l'état. Dans ce manuscrit, nous avons cherché à relaxer les conditions de stabilité utilisées dans la littérature en employant la stabilité exponentielle presque sûre, aussi appelée stabilité exponentielle avec une probabilité de un. Un nouveau théorème sur la stabilité exponentielle presque sûre du point d'équilibre d'une classe de systèmes stochastiques non linéaires triangulaires est proposé: la stabilité de l'ensemble du système est assurée par la stabilité de chaque sous-système considéré isolément. Ce théorème est appliqué au filtrage des systèmes stochastiques avec des bruits multiplicatifs. Des conditions pour le rejet asymptotique des perturbations intervenant dans une équation différentielle stochastique avec des bruits multiplicatifs sont proposées avec un taux de convergence exponentielle presque sûre garanti. Un correcteur, par retour d’état et par retour de sortie, de type bang-bang est synthétisé pour une classe de systèmes non linéaires stochastiques avec la stabilité exponentielle presque sûre. Le lemme borné réel pour les systèmes stochastiques algébro-différentiels avec des bruits multiplicatifs est formulé, ainsi que le développement de la formule d'Itô pour ces systèmes. Un correcteur H-infini par retour de sortie est synthétisé pour ces systèmes avec la stabilité exponentielle en moyenne quadratique. Un observateur pour ces systèmes est proposé avec la stabilité exponentielle presque sûre<br>This thesis deals with the filtering and control of nonlinear systems described by Itô stochastic differential equations whose diffusion is controlled by a noise which is multiplied with the state vector. In this manuscript, the goal is to relax the conditions of stability used in the literature using the almost sure exponential stability, also called exponential stability with probability equal to one. A new theorem on the almost sure exponential stability of the equilibrium point of a class of triangular nonlinear stochastic systems is proposed: the stability of the whole system is ensured by the stability of each decoupled subsystem. This theorem is applied to the filtering of stochastics systems with multiplicative noises. Conditions for asymptotic rejection of perturbations occurring in a stochastic differential equation with multiplicative noises have been proposed. The considered stability is the almost sure exponential one. A bound of the Lyapunov exponent ensures the almost sure convergence rate to zero for the state of the system. A bang-bang control law is synthesized for a class of stochastic nonlinear systems in two cases: (i) state feedback and (ii) measured output feedback with an observer. The used stability is the almost sure exponential one. The bounded real lemma is developed for stochastic algebro-differential systems with multiplicative noises and the Itô formula given for thèse systems. This approach has been used for the synthesis of an H-ihfinity measured output feedback control law with the exponential mean square stability. An observer for nonlinear stochastic algebro-differential systems was proposed using the almost sure exponential stability
35
Genet, Martin. "Vers un matériau virtuel pour les composites céramiques." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2010. http://tel.archives-ouvertes.fr/tel-00473030.
Texto completoResumen
À l'âge actuel des composites, les développements industriels reposent en grande partie sur l'utilisation d'outils numériques pour le dimensionnement et l'optimisation des structures et des matériaux. Face au challenge scientifique que représente la construction de ces outils, on propose de rassembler les travaux menés par les communautés macro- et micro- mécanique. Pour cela, on considère des cadres de modélisation et de simulation suffisamment larges pour contenir l'ensemble des mécanismes, situés à différentes échelles et appartenant à différentes physiques, qui pilotent le comportement mécanique et la durée de vie des composites. Les modèles ainsi dérivés, appelés matériaux virtuels, sont i) utilisables tant en calcul de structure qu'en optimisation matériau, ii) extrapolants pour les chargements sévères et les grandes durées de vie, iii) génériques pour des familles entières de matériaux. La thèse présentée ici initie la construction d'un matériau virtuel pour les composites tissés à matrice céramique auto-cicatrisante développés par Snecma Propulsion Solide, et plusieurs briques ont été étudiées. i) Au niveau macroscopique, le comportement mécanique est analysé au travers d'un modèle écrit dans le cadre de la théorie de l'endommagement anisotrope et unilatéral. On discute d'abord du cadre même de la théorie, différentes formulations et lois d'évolutions sont alors comparées. Puis on discute de l'implémentation numérique des modèles proposés, et des exemples de calculs de structures industrielles sont présentés. ii) À l'échelle du tissu, pour traiter la fissuration inter-fil, une méthode basée sur la mécanique de l'endommagement à taux limité en quasi-statique est analysée et illustrée par des exemples de calculs à la propagation. iii) Toujours à cette échelle, la fissuration intra-fil transverse est introduite au travers d'un modèle continu avec déformation inélastique, homogénéisé à partir d'un modèle discret avec frottements situé à l'échelle fibre. Des exemples de calculs sur des tissus réalistes sont présentés. iv) Pour finir, le point clef de la thèse : à l'échelle fibre la durée de vie est analysée au travers d'une approche novatrice de la propagation sous-critique des défauts dans les céramiques. Elle unifie les propagations classique et sous-critique, ainsi que les propagations reaction- et diffusion-controlled, via un simple couplage entre la mécanique de la rupture et des problèmes de diffusion/réaction. Elle est validée sur le cas des fibres Hi-Nicalon.
36
Fortier, Steven. "Estimation du biais de la copule conditionnelle pour un test d'indépendance conditionnelle." Mémoire, Université de Sherbrooke, 2015. http://hdl.handle.net/11143/7518.
Texto completoResumen
Ce mémoire traite principalement de deux thèmes : l'estimation de la dérivée de la fonction de répartition conditionnelle et la construction d'un test d'indépendance basé sur la copule conditionnelle utilisant notre estimateur. Dans le premier chapitre, on fait une brève introduction aux méthodes d'estimation non paramétriques de la fonction de répartition conditionnelle et de la copule conditionnelle. Par la suite, on présente un estimateur de la dérivée de la fonction de répartition conditionnelle nous permettant d'estimer le biais du processus de copule conditionnelle présenté dans le Chapitre 1. Le troisième chapitre traite du test d'indépendance basé sur la copule conditionnelle utilisant les résultats du deuxième chapitre.
37
Chen, Yuxin. "Apprentissage interactif de mots et d'objets pour un robot humanoïde." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLY003/document.
Texto completoResumen
Les applications futures de la robotique, en particulier pour des robots de service à la personne, exigeront des capacités d’adaptation continue à l'environnement, et notamment la capacité à reconnaître des nouveaux objets et apprendre des nouveaux mots via l'interaction avec les humains. Bien qu'ayant fait d'énormes progrès en utilisant l'apprentissage automatique, les méthodes actuelles de vision par ordinateur pour la détection et la représentation des objets reposent fortement sur de très bonnes bases de données d’entrainement et des supervisions d'apprentissage idéales. En revanche, les enfants de deux ans ont une capacité impressionnante à apprendre à reconnaître des nouveaux objets et en même temps d'apprendre les noms des objets lors de l'interaction avec les adultes et sans supervision précise. Par conséquent, suivant l'approche de le robotique développementale, nous développons dans la thèse des approches d'apprentissage pour les objets, en associant leurs noms et leurs caractéristiques correspondantes, inspirées par les capacités des enfants, en particulier l'interaction ambiguë avec l’homme en s’inspirant de l'interaction qui a lieu entre les enfants et les parents.L'idée générale est d’utiliser l'apprentissage cross-situationnel (cherchant les points communs entre différentes présentations d’un objet ou d’une caractéristique) et la découverte de concepts multi-modaux basée sur deux approches de découverte de thèmes latents: la Factorisation en Natrices Non-Négatives (NMF) et l'Allocation de Dirichlet latente (LDA). Sur la base de descripteurs de vision et des entrées audio / vocale, les approches proposées vont découvrir les régularités sous-jacentes dans le flux de données brutes afin de parvenir à produire des ensembles de mots et leur signification visuelle associée (p.ex le nom d’un objet et sa forme, ou un adjectif de couleur et sa correspondance dans les images). Nous avons développé une approche complète basée sur ces algorithmes et comparé leur comportements face à deux sources d'incertitudes: ambiguïtés de références, dans des situations où plusieurs mots sont donnés qui décrivent des caractéristiques d'objets multiples; et les ambiguïtés linguistiques, dans des situations où les mots-clés que nous avons l'intention d'apprendre sont intégrés dans des phrases complètes. Cette thèse souligne les solutions algorithmiques requises pour pouvoir effectuer un apprentissage efficace de ces associations de mot-référent à partir de données acquises dans une configuration d'acquisition simplifiée mais réaliste qui a permis d'effectuer des simulations étendues et des expériences préliminaires dans des vraies interactions homme-robot. Nous avons également apporté des solutions pour l'estimation automatique du nombre de thèmes pour les NMF et LDA.Nous avons finalement proposé deux stratégies d'apprentissage actives: la Sélection par l'Erreur de Reconstruction Maximale (MRES) et l'Exploration Basée sur la Confiance (CBE), afin d'améliorer la qualité et la vitesse de l'apprentissage incrémental en laissant les algorithmes choisir les échantillons d'apprentissage suivants. Nous avons comparé les comportements produits par ces algorithmes et montré leurs points communs et leurs différences avec ceux des humains dans des situations d'apprentissage similaires<br>Future applications of robotics, especially personal service robots, will require continuous adaptability to the environment, and particularly the ability to recognize new objects and learn new words through interaction with humans. Though having made tremendous progress by using machine learning, current computational models for object detection and representation still rely heavily on good training data and ideal learning supervision. In contrast, two year old children have an impressive ability to learn to recognize new objects and at the same time to learn the object names during interaction with adults and without precise supervision. Therefore, following the developmental robotics approach, we develop in the thesis learning approaches for objects, associating their names and corresponding features, inspired by the infants' capabilities, in particular, the ambiguous interaction with humans, inspired by the interaction that occurs between children and parents.The general idea is to use cross-situational learning (finding the common points between different presentations of an object or a feature) and to implement multi-modal concept discovery based on two latent topic discovery approaches : Non Negative Matrix Factorization (NMF) and Latent Dirichlet Association (LDA). Based on vision descriptors and sound/voice inputs, the proposed approaches will find the underlying regularities in the raw dataflow to produce sets of words and their associated visual meanings (eg. the name of an object and its shape, or a color adjective and its correspondence in images). We developed a complete approach based on these algorithms and compared their behavior in front of two sources of uncertainties: referential ambiguities, in situations where multiple words are given that describe multiple objects features; and linguistic ambiguities, in situations where keywords we intend to learn are merged in complete sentences. This thesis highlights the algorithmic solutions required to be able to perform efficient learning of these word-referent associations from data acquired in a simplified but realistic acquisition setup that made it possible to perform extensive simulations and preliminary experiments in real human-robot interactions. We also gave solutions for the automatic estimation of the number of topics for both NMF and LDA.We finally proposed two active learning strategies, Maximum Reconstruction Error Based Selection (MRES) and Confidence Based Exploration (CBE), to improve the quality and speed of incremental learning by letting the algorithms choose the next learning samples. We compared the behaviors produced by these algorithms and show their common points and differences with those of humans in similar learning situations
38
Djeddi, Mounir. "APPROCHES POUR L'ANALYSE DES SIGNAUX A PHASE POLYNOMIALE DANS UN ENVIRONNEMENT NON GAUSSIEN." Phd thesis, Université Paris Sud - Paris XI, 2005. http://tel.archives-ouvertes.fr/tel-00010277.
Texto completoResumen
Le sujet de la thèse porte sur l'étude des approches d'estimation des Signaux à Phase Polynomiale (SPP) noyés par un bruit non gaussien. Nous considérons deux modèles pour le bruit: le premier modèle est défini par une Somme Pondérée de Gaussiennes et le second par des distributions alpha-stables. Dans un premier temps, nous abordons les méthodes classiques d'analyse des SPP. L'utilisation des statistiques d'ordre fractionnaire permet d'obtenir des algorithmes robustes en présence de bruit impulsif; nous exploitons cette propriété pour proposer une Distribution de Wigner-Ville Polynomiale pour l'analyse des SPP. Cette nouvelle distribution, permet de mieux estimer la fréquence instantanée du SPP bruité. La deuxième partie est consacrée aux méthodes récentes d'analyse spectrale adaptées aux SPP. Nous proposons un algorithme MUSIC robuste obtenu par SVD de la matrice de covariation. Cet algorithme nous permet d'estimer les coefficients de la phase dans un plan temps-coefficient. Dans la troisième partie, une approche pour l'estimation des SPP par filtrage de Kalman est présentée. Cette approche repose sur un modèle d'état non linéaire avec un bruit d'observation non gaussien. Nous présentons trois types de filtres de Kalman robustes au bruit impulsif. Le premier, appelé filtre de Kalman étendu robuste utilise un gain de Kalman dépendant de la fonction de Huber. Aussi, nous proposons d'utiliser deux filtres de Kalman étendus (EKF) opérant en parallèle couplés via le terme d'apparition du bruit impulsif. Enfin, il est possible d'améliorer les performances d'estimation en utilisant un filtre UKF ‘unscented Kalman filter' à la place du filtre EKF.
39
SAHMIM, Slah. "Un schéma aux volumes finis avec matrice signe pour les systèmes non homogènes." Phd thesis, Université Paris-Nord - Paris XIII, 2005. http://tel.archives-ouvertes.fr/tel-00010000.
Texto completoResumen
Cette thèse est consacrée à l'analyse, à l'application et à l'extension bidimensionnelle, d'un nouveau schéma aux volumes finis (SRNH) proposé récemment pour une classe de système non homogène. L'analyse de stabilité du schéma, d'abord dans le cas scalaire ensuite dans le cas de systèmes, mène à une nouvelle formulation où intervient le signe de la matrice Jacobienne du système de lois de bilan considéré. Pour le système de Saint Venant avec terme de pente, on montre formellement que le schéma SRNHS vérifie la C-propriété exacte introduite pour les schémas équilibres par Bermùdez et Vázquez. Les résultats numériques 1D et 2D, en particulier du cas de rupture de barage sur un fond en forme de marche, montrent le degrés d'efficacité du schéma. Pour le système diphasiques des zones de non hyperbolicité peuvent exister, avec apparition de valeurs propres complexes dans la Jacobienne du système. On montre que pour les configurations faiblement non hyperboliques, on peut calculer le signe de la Jacobienne par l'algorithme de Newton-Schultz. Pour les configurations plus raides, où la méthode précédente ne fonctionne plus, on a recours à la méthode de perturbation par densité. Dans les deux cas évoqués, les tests numériques montrent que l'on approche la solution exacte du problème de Ransom avec une grande précision, et que l'on conserve la stabilité des calculs même avec un maillage de finesse relativement élevée.
40
Mariucci, Ester. "Quelques résultats d'équivalence asymptotique pour des expériences statistiques dans un cadre non paramétrique." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAM031/document.
Texto completoResumen
Nous nous intéressons à l'équivalence asymptotique, au sens de Le Cam, entre différents modèles statistiques. Plus précisément, nous avons exploré le cas de modèles statistiques associés à l'observation discrète de processus à sauts ou de diffusions unidimensionnelles, ainsi que des modèles à densité plus classiques.Ci-dessous, nous présentons brièvement les différents chapitres de la thèse.Nous commençons par présenter tous nos résultats dans un premier chapitre introductif. Ensuite, dans le Chapitre 2 nous rappelons les points clés de la théorie de Le Cam sur les expériences statistiques en se plaçant dans un contexte non paramétrique.Les Chapitres 3 et 4 traitent de l'équivalence asymptotique pour des modèles statistiques associés à l'observation discrète (haute fréquence) de processus à sauts. Dans un premier temps nous nous focalisons sur un problème d'équivalence en ce qui concerne l'estimation de la dérive, supposée appartenir à une certaine classe fonctionnelle. Il s'avère (Chapitre 3) qu'il y a une équivalence asymptotique, en ce qui concerne l'estimation de la dérive, entre le modèle statistique associé à l'observation discrète d'un processus additif $X$ et le modèle statistique gaussien associé à l'observation discrète de la partie continue de $X$.Dans un deuxième temps, nous nous sommes intéressés au problème de l'estimation non paramétrique de la densité de Lévy $f$ relative à un processus de Lévy à sauts purs, $Y$. Le Chapitre 4 illustre l'équivalence asymptotique, en ce qui concerne l'estimation de $f$, entre le modèle statistique associé à l'observation discrète de $Y$ et un certain modèle de bruit blanc gaussien ayant $sqrt f$ comme dérive.Le Chapitre 5 présente une extension d'un résultat bien connu sur l'équivalence asymptotique entre un modèle à densité et un modèle de bruit blanc gaussien.Le Chapitre 6 étudie l'équivalence asymptotique entre un modèle de diffusion scalaire avec une dérive inconnue et un coefficient de diffusion qui tend vers zéro et le schéma d'Euler correspondant.Dans le Chapitre 7 nous présentons une majoration en distance $L_1$ entre les lois de processus additifs.Le Chapitre 8 est consacré aux conclusions et discute des extensions possibles des travaux de thèse<br>The subject of this Ph.D. thesis is the asymptotic equivalence, in the Le Cam sense, between different statistical models. Specifically, we explore the case of statistical models associated with the discrete observation of jump processes or diffusion processes as well as more classical density models.Below, we briefly introduce the different chapters of this dissertation.We begin by presenting our results in a first introductory chapter. Then, in Chapter 2, we recall the key points of the Le Cam theory on statistical experiences focusing on a nonparametric context.Chapters 3 and 4 deal with asymptotic equivalences for statistical models associated with discrete observation (high frequency) of jump processes. First, we focus on an equivalence problem regarding the estimation of the drift, assumed to belong to a certain functional class. It turns out (Chapter 3) that there is an asymptotic equivalence, for what concerns the estimation of the drift, between the statistical model associated with the discrete observation of an additive process $X$ and the Gaussian statistical model associated with the discrete observation of the continuous part of $X$. Then we study the problem of nonparametric density estimation for the Lévy density $f$ of a pure jump Lévy process $Y$. Chapter 4 illustrates the asymptotic equivalence, for what concerns the estimation of $f$, between the statistical model associated with the discrete observation of $Y$ and a certain Gaussian white noise model having $sqrt f$ as drift.In Chapter 5 we present an extension of the well-known asymptotic equivalence between density estimation experiments and a Gaussian white noise model.Chapter 6 describes the asymptotic equivalence between a scalar diffusion model with unknown drift and with diffusion coefficient tending to zero and the corresponding Euler scheme. In Chapter 7 we present a bound for the $L_1$ distance between the laws of additive processes.Chapter 8 is devoted to conclusions and discusses possible extensions of the results of this thesis
41
Rosario, João Mauricio. "Etude de faisabilité d'une commande de type non-linéaire pour un robot manipulateur." Châtenay-Malabry, Ecole centrale de Paris, 1990. http://www.theses.fr/1990ECAP0117.
Texto completoResumen
La demande industrielle de robots plus légers, plus souples et économiquement compétitifs induit la recherche de solutions offrant des performances intéressantes tout en restant financièrement abordables pour les applications industrielles. Les travaux présentés dans cette thèse contribuent à cette approche et à leur application sur un robot 6R. Trois problèmes essentiels ont été traités dans ce travail: 1) la modélisation géométrique et dynamique du robot étudié, ce qui a permis la simulation dynamique du robot et de sa commande; 2) l'étude de la faisabilité d'un type d'asservissement de position par plus ou moins a seuil variable, utilisant de la logique pure supportée par un matériel performant (EPLD). Contrairement aux asservissements classiques qui utilisent des composants analogiques, les moteurs à courant continue du robot ainsi commandés par des impulsions logiques. De cette manière, nous nous affranchissons des convertisseurs numérique/analogique et analogique/numérique, ce qui permet une attaque directe au niveau actionneur; 3) l'évaluation des performances du robot (statiques et dynamiques), et l'identification des principaux paramètres du robot afin de permettre la validation de son modèle et la caractérisation du régulateur proposé
42
GLAS, BRUNO. "Un modele connexionniste non supervise pour l'apprentissage et la reconnaissance de sequences temporelles." Paris 11, 1994. http://www.theses.fr/1994PA112132.
Texto completoResumen
Le modele que nous proposons dans cette these s'inscrit dans le cadre general de l'apprentissage non supervise de sequences temporelles par des reseaux de neurones. Apres un parcours, que nous tentons de rendre exhaustif, de l'ensemble des contributions sur l'apprentissage de sequences temporelles par des modeles connexionnistes, nous formalisons le fonctionnement de cellules qui, connectees en reseau, peuvent constituer un systeme dynamique autonome: chaque cellule peut etre a tout instant dans un mode d'activite spontane (sa sortie est independante de son voisinage pre-synaptique, elle peut etre issue d'un generateur aleatoire ou regulier - une horloge par exemple) ou evoque (sa sortie est obtenue par seuillage de son potentiel de membrane). Un tel reseau reconnait une sequence temporelle lorsque les cellules qui le composent ont un comportement deterministe en resonance avec la sequence d'entree. Ces memes cellules adoptent un comportement desordonne lorsque l'on presente une sequence inconnue en entree. Les coefficients synaptiques sont des temps d'integration des signaux vehicules par les connexions. Ils sont l'unique objet de l'apprentissage, l'objectif de cet apprentissage etant d'obtenir la production et la conservation d'une activite evoquee des cellules du reseau. Une mesure spatiale de l'activite temporelle du reseau est donnee, permettant de distinguer les sequences entre elles. Un exemple de reseau est propose pour l'apprentissage et la reconnaissance de sequences temporelles de dimension 2 moyennant la definition d'un critere de reconnaissance adapte. Le modele defini se caracterise par sa rapidite d'apprentissage, ses possibilites d'apprentissage et de reconnaissance de sequences complexes, ses possibilites de reconnaissance de sequences bruitees ainsi que d'apprentissage de sequences bruitees
43
Sahmim, Slah. "Un schéma aux volumes finis avec matrice signe pour les systèmes non homogènes." Paris 13, 2005. http://www.theses.fr/2005PA132012.
Texto completoResumen
Cette thèse est consacrée à l'analyse, à l'application et à l'extension bidimensionnelle, d'un nouveau schéma aux volumes finis (SRNH) proposé récemment pour une classe de système non homogène. L'analyse de stabilité du schéma, d'abord dans le cas scalaire ensuite dans le cas de systèmes, même à une nouvelle formulation où intervient le signe de la matrice Jacobienne du système de lois de bilan considéré. Pour le système de Saint-Venant avec terme de pente, on montre formellement que le schéma SRNHS vérifie la C-propriété exacte introduite pour les schémas équilibres par Bermùdez et Vàzquez. Les résultats numériques 1D et 2D, en particulier du cas de rupture de barage sur un fond en forme de marche, montrent le degrés d'efficacité du schéma. Pour le système diphasique des zones de non hyperbolicité peuvent exister, avec apparition de valeurs propres complexes dans la jacobienne du système. On montre que pour lles configurations faiblement non hyperboliques, on peut calculer le signe de la jacobienne par l'algorithme de Newton-Schultz. Pour les configurations plus raides, où la méthode précédente ne fonctionne plus, on a recours à la méthode de perturbation par densité. Dans les deux cas évoqués, les tests numériques montrent que l'on approche la solution exacte du problème de Ransom avec une grnde précision, que l'on conserve la stabilité des calculs même avec un maillage de finesse relativement élevée.
44
Abi, rizk Lara. "Ondes progressives et propriétés de propagation pour un problème d’épidémiologie évolutive non-local." Thesis, Bordeaux, 2020. http://www.theses.fr/2020BORD0244.
Texto completoResumen
Dans cette thèse nous étudions l’existence d’une onde progressive pour un système d’équations intégro-différentiels provenant de l’épidémiologie évolutive. Nous utilisons des idées issues de la théorie des systèmes dynamiques couplées à des estimations sur le comportement asymptotique des profils. Nous prouvons que les ondes progressives ont une structure assez simple découplant les variables de propagation spatio-temporelle des variables de trait phénotypique. Cette analyse nous permet de réduire le système d’équations des profils d’ondes progressives à dimension infinie à un système d’EDO à quatre dimensions. Nous prouvons l’existence d’ondes progressives pour toute vitesse d’onde supérieure à une vitesse minimale c?, pourvu que le seuil épidémique R0, qui s’exprime en fonction de la valeur propre principale d’un certain opérateur intégral, soit strictement supérieur à 1. Cette même condition de seuil est également utilisée pour démontrer que toute onde progressive relie deux états stationnaires déterminés. Dans une deuxième partie, nous étudions les propriétés de propagation des solutions pour le même système d’équations spatialement distribué, avec une densité initiale de plantes infectées à support compact spatialement en x. Lorsque R0 > 1, nous prouvons que la propagation se produit avec une vitesse de propagation qui coïncide avec la vitesse minimale c? des ondes progressives étudiées dans la première partie. De plus, la solution du problème de Cauchy converge asymptotiquement vers une fonction spécifique pour laquelle la variable x du repère mobile et celle du phénotype y sont séparées<br>In this thesis we study the existence of a travelling wave solutions for an integro-differential system of equations from evolutionary epidemiology. We use ideas from dynamical system ideas theory coupled with estimates of the asymptotic behaviour of profiles. We prove that the wave solutions have a rather simple structure. This analysis allows us to reduce the infinite dimensional travelling wave profile system of equations to a four dimensional ODE system. The latter is used to prove the existence of travelling wave solutions for any wave speed larger than a minimal wave speed c?, provided that the epidemic threshold R0, which is expressed as a function of the principal eigenvalue of a certain integral operator, is strictly greater than 1. This same threshold condition is also used to prove that any travelling wave connects two determined stationary states. In the second part, we study the propagation properties of the solutions for the same spatially distributed system of equations, when the initial density of infected plants is a compactly supported function with the space variable x. When R0 > 1, we prove that spreading occurs with a definite spreading speed that coincides with the minimal speed c? of the travelling wave solutions discussed in the first part. Moreover, the solution of the Cauchy problem asymptotically converges to some specific function for which the moving frame variable x and the phenotype one y are separated
45
Djeddi, Mounir. "Approches pour l'analyse des signaux à phase polynomiale dans un environnement non gaussien." Paris 11, 2005. https://tel.archives-ouvertes.fr/tel-00010277.
Texto completoResumen
Le sujet de la thèse porte sur l'étude des approches d'estimation des Signaux à Phase Polynomiale (SPP) noyés par un bruit non gaussien. Nous considérons deux modèles pour le bruit: le premier modèle est défini par une Somme Pondérée de Gaussiennes et le second par des distributions alpha-stables. Dans un premier temps, nous abordons les méthodes classiques d'analyse des SPP. L'utilisation des statistiques d'ordre fractionnaire permet d'obtenir des algorithmes robustes en présence de bruit impulsif; nous exploitons cette propriété pour proposer une Distribution de Wigner-Ville Polynomiale pour l'analyse des SPP. Cette nouvelle distribution, permet de mieux estimer la fréquence instantanée du SPP bruité. La deuxième partie est consacrée aux méthodes récentes d'analyse spectrale adaptées aux SPP. Nous proposons un algorithme MUSIC robuste obtenu par SVD de la matrice de covariation. Cet algorithme nous permet d'estimer les coefficients de la phase dans un plan temps-coefficient. Dans la troisième partie, une approche pour l'estimation des SPP par filtrage de Kalman est présentée. Cette approche repose sur un modèle d'état non linéaire avec un bruit d'observation non gaussien. Nous présentons trois types de filtres de Kalman robustes au bruit impulsif. Le premier, appelé filtre de Kalman étendu robuste utilise un gain de Kalman dépendant de la fonction de Huber. Aussi, nous proposons d'utiliser deux filtres de Kalman étendus (EKF) opérant en parallèle couplés via le terme d'apparition du bruit impulsif. Enfin, il est possible d'améliorer les performances d'estimation en utilisant un filtre UKF ‘unscented Kalman filter' à la place du filtre EKF<br>Polynomial phase signals (PPS) have found use in many area of engineering such as in radar and communication. The main problem is to estimate the parameters of such signals. Many research works have been conducted in the last decade and led to the development of various algorithms based on different mathematical tools such as time-frequency, subspace methods, High order statistics and Kalman filtering. Though, these methods have proven to perform well in estimating the signal parameters, they assume that the noise is Gaussian. The research work presented in the thesis deals with the analysis of PPS in non Gaussian environment. In this context, the noise is considered to have either an alpha-stable distribution, or epsilon-contaminated model. Three approaches of estimation are explored. The first method concerns robust time-frequency analysis of PPS, we propose to integrate the fractional lower statistics in the kernel of the polynomial phase Wigner-Ville Distribution to obtain a robust time-frequency distribution able to reveal the instantaneous frequency of the PPS. The second approach, deals with robust subspace method based on the MUSIC estimator using the covariation matrix, we propose a modified MUSIC algorithm which is able to track the values of the coefficients of the phase. Finally, using the nonlinear state space model of PPS, we explore the use of the Kalman filter for robust estimation of PPS in epsilon-contaminated noise. In this context, three types of Kalman filters are proposed: The robust extended Kalman filter, the parallel extended Kalman filter. To avoid linearization an alternative method is proposed based on parallel unscented Kalman filters
46
Carfantan, Hervé. "Approche bayesienne pour un probleme inverse non lineaire en imagerie a ondes diffractees." Paris 11, 1996. http://www.theses.fr/1996PA112441.
Texto completoResumen
Nous nous interessons au probleme de l'imagerie a ondes diffractees. Sa difficulte essentielle, hormis le fait qu'il soit mal pose, reside dans la non-linearite des equations physiques entrant en jeu. Ce travail apporte une contribution sur les plans methodologique, algorithmique et pratique (simulations). D'un point de vue methodologique, il nous parait avantageux de definir la solution comme minimum d'un critere. Nous considerons pour cela l'estimee au sens du maximum a posteriori dans un cadre bayesien. Cette approche offre un regard unificateur sur un grand nombre de methodes existantes. Elle nous permet de les comparer, d'analyser leurs resultats et de proposer de nouvelles orientations. En particulier, la non-linearite du modele entraine, dans le cas d'un contraste tres eleve, la presence de minima locaux du critere. Nous proposons, pour ces situations, deux algorithmes d'optimisation globale. Le premier s'inspire des techniques de non-convexite graduelle ; le second consiste en une minimisation variable par variable dont la specificite est d'etre globale vis-a-vis de chaque variable. Les resultats de simulations ainsi obtenus apportent une amelioration notable, particulierement dans des situations tres eloignees du domaine de validite de l'approximation de born (contraste eleve)
47
Dieuleveult, Caroline de. "Un modèle numérique global et performant pour le couplage géochimie-transport." Rennes 1, 2008. http://www.theses.fr/2008REN1S119.
Texto completoResumen
Le transport réactif de contaminants en milieu poreux saturé est un problème complexe modélisé par des équations aux dérivées partielles et algébriques (PDAE). Ce travail présente une méthode numérique robuste et efficace pour résoudre le problème de transport réactif, la méthode globale DAE. La méthode globale DAE discrétise spatialement le système PDAE puis résout le système d'équations différentielles algébriques (DAE) obtenu grâce à un solveur DAE externe performant. Ce solveur permet d'appliquer un schéma temporel adapté et d'utiliser un système de gestion du pas de temps et des calculs perfectionné. Il est basé sur une méthode de Newton modifiée utilisant un solveur linéaire creux direct performant ainsi que sur un schéma temporel évolué, le schéma BDF (Backward Differentiation Formulas). Les résultats obtenus avec la méthode globale DAE se sont avérés positifs. Lors de comparaisons avec des méthodes séquentielles, la méthode globale DAE s'est montrée intéressante particulièrement pour des conditions de transport diffusif. La méthode a également servi à simuler en partie le benchmark Géochimie Momas où elle a prouvé sa robustesse. Un cadre méthodologique précis a également été mis en place dans ce mémoire. Il a permis une classification rigoureuse d'un grand nombre de méthodes utilisées dans la littérature<br>Reactive transport of contaminants in saturated porous media is a complex problem, modelled by partial differential algebraic equations (PDAE). This work introduces a robust and efficient numerical method to solve reactive transport problem, the global DAE method. The global DAE method discretises spatially the PDAE system then solves the resulting algebraic differential equations (DAE) thanks to a competitive external DAE solver. This solver uses an adapted time scheme and an advanced management system of the time step and of the calculus. It is based on a modified Newton method which uses a competitive direct sparse linear solver and on a sophisticated time scheme, the BDF scheme (Backward Differentiation Formulas). Results obtained with this method are conclusive. During comparison with sequential methods, the global method DAE proves to be interesting, particularly for diffusive transport conditions. The method serves also with some of the Geochemistry Momas benchmarks where it proves to be robust. A methodological framework is also defined in this work, allowing a well defined classification of many methods used in litterature
48
Dieuleveult, Caroline de Erhel Jocelyne. "Un modèle numérique global et performant pour le couplage géochimie-transport." Rennes : [s.n.], 2008. ftp://ftp.irisa.fr/techreports/theses/2008/Dieuleveult.pdf.
Texto completo
49
Chen, Yuxin. "Apprentissage interactif de mots et d'objets pour un robot humanoïde." Electronic Thesis or Diss., Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLY003.
Texto completoResumen
Les applications futures de la robotique, en particulier pour des robots de service à la personne, exigeront des capacités d’adaptation continue à l'environnement, et notamment la capacité à reconnaître des nouveaux objets et apprendre des nouveaux mots via l'interaction avec les humains. Bien qu'ayant fait d'énormes progrès en utilisant l'apprentissage automatique, les méthodes actuelles de vision par ordinateur pour la détection et la représentation des objets reposent fortement sur de très bonnes bases de données d’entrainement et des supervisions d'apprentissage idéales. En revanche, les enfants de deux ans ont une capacité impressionnante à apprendre à reconnaître des nouveaux objets et en même temps d'apprendre les noms des objets lors de l'interaction avec les adultes et sans supervision précise. Par conséquent, suivant l'approche de le robotique développementale, nous développons dans la thèse des approches d'apprentissage pour les objets, en associant leurs noms et leurs caractéristiques correspondantes, inspirées par les capacités des enfants, en particulier l'interaction ambiguë avec l’homme en s’inspirant de l'interaction qui a lieu entre les enfants et les parents.L'idée générale est d’utiliser l'apprentissage cross-situationnel (cherchant les points communs entre différentes présentations d’un objet ou d’une caractéristique) et la découverte de concepts multi-modaux basée sur deux approches de découverte de thèmes latents: la Factorisation en Natrices Non-Négatives (NMF) et l'Allocation de Dirichlet latente (LDA). Sur la base de descripteurs de vision et des entrées audio / vocale, les approches proposées vont découvrir les régularités sous-jacentes dans le flux de données brutes afin de parvenir à produire des ensembles de mots et leur signification visuelle associée (p.ex le nom d’un objet et sa forme, ou un adjectif de couleur et sa correspondance dans les images). Nous avons développé une approche complète basée sur ces algorithmes et comparé leur comportements face à deux sources d'incertitudes: ambiguïtés de références, dans des situations où plusieurs mots sont donnés qui décrivent des caractéristiques d'objets multiples; et les ambiguïtés linguistiques, dans des situations où les mots-clés que nous avons l'intention d'apprendre sont intégrés dans des phrases complètes. Cette thèse souligne les solutions algorithmiques requises pour pouvoir effectuer un apprentissage efficace de ces associations de mot-référent à partir de données acquises dans une configuration d'acquisition simplifiée mais réaliste qui a permis d'effectuer des simulations étendues et des expériences préliminaires dans des vraies interactions homme-robot. Nous avons également apporté des solutions pour l'estimation automatique du nombre de thèmes pour les NMF et LDA.Nous avons finalement proposé deux stratégies d'apprentissage actives: la Sélection par l'Erreur de Reconstruction Maximale (MRES) et l'Exploration Basée sur la Confiance (CBE), afin d'améliorer la qualité et la vitesse de l'apprentissage incrémental en laissant les algorithmes choisir les échantillons d'apprentissage suivants. Nous avons comparé les comportements produits par ces algorithmes et montré leurs points communs et leurs différences avec ceux des humains dans des situations d'apprentissage similaires<br>Future applications of robotics, especially personal service robots, will require continuous adaptability to the environment, and particularly the ability to recognize new objects and learn new words through interaction with humans. Though having made tremendous progress by using machine learning, current computational models for object detection and representation still rely heavily on good training data and ideal learning supervision. In contrast, two year old children have an impressive ability to learn to recognize new objects and at the same time to learn the object names during interaction with adults and without precise supervision. Therefore, following the developmental robotics approach, we develop in the thesis learning approaches for objects, associating their names and corresponding features, inspired by the infants' capabilities, in particular, the ambiguous interaction with humans, inspired by the interaction that occurs between children and parents.The general idea is to use cross-situational learning (finding the common points between different presentations of an object or a feature) and to implement multi-modal concept discovery based on two latent topic discovery approaches : Non Negative Matrix Factorization (NMF) and Latent Dirichlet Association (LDA). Based on vision descriptors and sound/voice inputs, the proposed approaches will find the underlying regularities in the raw dataflow to produce sets of words and their associated visual meanings (eg. the name of an object and its shape, or a color adjective and its correspondence in images). We developed a complete approach based on these algorithms and compared their behavior in front of two sources of uncertainties: referential ambiguities, in situations where multiple words are given that describe multiple objects features; and linguistic ambiguities, in situations where keywords we intend to learn are merged in complete sentences. This thesis highlights the algorithmic solutions required to be able to perform efficient learning of these word-referent associations from data acquired in a simplified but realistic acquisition setup that made it possible to perform extensive simulations and preliminary experiments in real human-robot interactions. We also gave solutions for the automatic estimation of the number of topics for both NMF and LDA.We finally proposed two active learning strategies, Maximum Reconstruction Error Based Selection (MRES) and Confidence Based Exploration (CBE), to improve the quality and speed of incremental learning by letting the algorithms choose the next learning samples. We compared the behaviors produced by these algorithms and show their common points and differences with those of humans in similar learning situations
50
FERRIGNO, Sandie. "Un test d'adéquation global pour la fonction de répartition conditionnelle." Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2004. http://tel.archives-ouvertes.fr/tel-00008559.
Texto completoResumen
Soient X et Y , deux variables aléatoires. De nombreuses procédures statistiques permettent d'ajuster un modèle à ces données dans le but d'expliquer Y à partir de X. La mise en place d'un tel modèle fait généralement appel à diverses hypothèses que <br />l'on doit valider pour justifier son utilisation. Dans ce travail, on propose une approche globale où toutes les hypothèses faites pour asseoir ce modèle sont testées simultanément. <br />Plus précisément, on construit un test basé sur une quantité qui permet de canaliser toute l'information liant X à Y : la fonction de répartition conditionnelle de Y sachant (X = x) définie par F(y|x)=P(Y<=y|X=x). Notre test compare la valeur prise par l'estimateur polynômial local de F(y|x) à une estimation paramétrique du modèle supposé et rejette sa <br />validité si la distance entre ces deux quantités est trop grande. Dans un premier temps, on considère le cas où la fonction de répartition supposée est entièrement spécifiée et, dans <br />ce contexte, on établit le comportement asymptotique du test. Dans la deuxième partie du travail, on généralise ce résultat au cas plus courant en pratique où le modèle supposé contient un certain nombre de paramètres inconnus. On étudie ensuite la puissance locale du test en déterminant son comportement asymptotique local sous des suites d'hypothèses contigües. Enfin, on propose un critère de choix de la fenêtre d'ajustement qui intervient lors de l'étape d'estimation polynômiale locale de la fonction de répartition conditionnelle.