To see the other types of publications on this topic, follow the link: Méthodes graphiques.
Dissertations / Theses on the topic 'Méthodes graphiques'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Méthodes graphiques.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Neau, Nadège. "Argograph : un support au débat scientifique dans le cadre de travaux pratiques pour l'apprentissage des sciences expérimentales." Le Mans, 2003. http://cyberdoc.univ-lemans.fr/theses/2003/2003LEMA1007.pdf.
Full textAbstract:
Ce travail s'inscrit dans le domaine des EIAH. Nous proposons un outil, ArgoGraph, supportant l'argumentation pour la réflexion d'apprenants dans l'explication d'un phénomène scientifique. Cette recherche s'est effectuée dans un cadre pluridisciplinaire et centrée utilisateur. Nous avons effectué une étude de terrain afin de comprendre les besoins et définir les caractéristiques de notre application. Les apports théoriques sus-jacents sont issus des théories de l'apprentissage, de l'argumentation, et des représentations externes. Nous avons choisi d'utiliser un graphe à la fois conceptuel et d'argumentation, composé de noeuds et de relation, avec pour chacun une sémantique clairement définie. Cette représentation présente l'avantage de faciliter la réflexion et l'interactivité des apprenants en permettant de représenter à la fois des éléments d'information et des éléments de communication. Nous présentons les résultats d'une expérimentation testant l'utilisabilité d'ArgoGraphThis thesis concems learning supported by computer domain. We purpose a software, ArgoGraph, supporting argumentation for students reflexion in Physics. This work is pluridisciplinary and user centered. We executed a first study in order to understand needs and to define specifications of our tool. Theoretical foundations are leaming, argumentation, and external representation theories. We choose to use a graphical representation, both conceptual and argumentative graph. This representation permits users to manipulate information elements and communication ones in order to help to resolve a scientific problem. We present principals results of an experimentation of ArgoGraph in real situation of leaming
2
Jeria, Caceres Maria. "Représentations simultanées en analyse de données structurées : étude de diverses solutions." Paris, EHESS, 1994. http://www.theses.fr/1994EHES0059.
Full textAbstract:
Cette these trouve sa problematique autour des methodes d'analyse statistique de donnees structurees en sciences sociale s. Elle detaille l'etude de tableaux binaires carres et ternaires cubiques non symetriques afin de passer en revue les differentes representations de profils ligne et colonne dans un meme espace. Dans ces analyses une place de choix est faite aux methodes francaises d'analyse de donnees. Une comparaison est faite avec la methode anglo-saxonne mds, employee dans des cas semblables. On procede egalement a la comparaison de modeles log-lineaires et lineaires. Ces comparaisons s'appuient sur une methode unique d'interpretation a posteriori des analyses. En effet, methodes francaises et anglo-saxonnes produisent in fine une representation geometrique dans le cadre euclidien dont l'interpreta tion se fait en termes de distances beneficiant ainsi des resultats mis en oeuvre par le gmp autour du langage d'interrogation des donnees. Ainsi, une demande fait l'objet d'une exploration visuelle detaillee des donnees en parallele de tous les calculs de contributions et d'importance des effets. Cette methode est utilisee ici dans l'exploration des donnees, aussi bien que comme outil de comparaison des methodesThis dissertation deals with methods of structured data analysis in social sciences. It examines in detail non-symmetric binary square and ternary cubic tables in order to review the different representations of lines and collumns profiles in a same space. In those analyses a proeminent place is given to the french methods of data analysis. A comparison is made with mds, used by anglo-saxons in similar cases. We also compare the log-linear and linear models on a sociological set of secondary data. All those comparisons are based on a same single posterior method of interpretation. Both french and anglo-saxon methods produce geometric representations in a a euclidean framework whose interpretation is made in terms of distances along the line of research developed by the group mathematics and psychology around the language for interrogating data. Thus a request of this language generates a detailed visual exploration of the data in parallel with calculations of contributions and importances of effects (analysis of variance is here used as a post-factorial method). This strategy is used here not only for data exploration but also as a tool for comparing methods
3
Pichard, Cyril. "Méthodes et outils pour la composition d'images numériques haute définition." Université de Marne-la-Vallée, 2005. http://www.theses.fr/2005MARN0276.
Full textAbstract:
Le domaine des effets spéciaux pour le cinéma a subi de nombreux bouleversements avec l'arrivée des techniques de traitements numériques de l'image dans les années 1990. Même si les technologies évoluent constamment, les problématiques sont toujours les mêmes. Cette thèse tente de répondre ponctuellement à deux problématiques principales des trucages pour le cinéma : le réalisme du trucage et l'efficacité des méthodes de composition d'images numériques. La composition d'images est le domaine à part entière où l'on mélange séquences images avec d'autres images, de synthèse ou pas, pour réaliser des trucages, la plupart du temps, invisibles pour le spectateur. Notre travail s'inscrit donc dans le domaine de la composition d'images pour le cinéma, appelée dans le milieu des effets spéciaux le « compositing ». C'est dans ce cadre que nous apportons notre contribution en proposant de nouveaux outils et de nouvelles méthodes. Deux de ces outils ont pour but de simuler le rendu d'une image argentique pour compenser la perfection mathématique des images de synthèse : un outil de simulation du grain photographique et un outil de simulation du flou de profondeur de champs. Ces outils répondent en partie à la problématique du réalisme du trucage en permettant une intégration fine des images de synthèse dans les images filmées. Nous proposons ensuite des outils de correction des défauts de l'image : un outil de correction de la distorsion optique et une méthode originale de suppression du scintillement parasite. Là aussi, ces outils et méthodes permettent de simplifier l'intégration d'images, ainsi que le travail des graphistes. Enfin, nous nous penchons sur le suivi de motifs et les techniques de création de mosaïques d'images pour proposer trois applications de celles-ci. Ces applications induisent une nouvelle manière de réaliser des intégrations de matte-painting, images recréant des décors, dans les séquences panoramiques. Ces nouvelles applications permettent d'optimiser de manière importante le travail des opérateurs
4
Lagesse, Claire. "Lire les lignes de la ville : méthodologie de caractérisation des graphes spatiaux." Sorbonne Paris Cité, 2015. http://www.theses.fr/2015USPCC162.
Full textAbstract:
La ville regroupe une grande diversité de composants et d'interactions. Parmi sa pluralité, nous choisissons un élément qui structure son développement et son usage : le réseau de ses rues. À partir de sa représentation sous forme de graphe, nous construisons un objet, la voie, qui se révèle être multi-échelle, rendant son analyse robuste au découpage du réseau. Nous étudions plusieurs indicateurs et nous établissons une grammaire de caractérisations non-redondantes des graphes spatiaux. La voie montre ainsi des propriétés spatiales particulières, rendant équivalentes certaines analyses globales à d'autres locales. L'application de cette méthodologie nous permet de mettre en évidence les propriétés particulières partagées par des graphes viaires de différents continents, et celles qui se retrouvent également dans d'autres réseaux spatiaux (biologiques, etc). Dans une approche diachronique, nous construisons une méthodologie de différentiation temporelle, permettant de quantifier les changements de proximité topologique entre les éléments du graphe. Cela nous permet d'avoir une première appréhension de la cinématique de croissance des réseaux étudiés. Cette recherche se termine par l'intégration de l'objet voie et de ses indicateurs dans une approche qualitative. Nous montrons ainsi comment l'analyse de villes, à travers les propriétés topologiques et topographiques de leurs réseaux viaires, permet de retrouver une partie des contextes historiques et géographiques de leur construction. La mise en perspective de ces travaux, par une synthèse des échanges pluridisciplinaires qui les ont entourés, révèle le potentiel de leurs applications et les pistes de recherches offertesCities arise from a large set of interactions and components. Amid this diversity, we chose an object which orchestrates the development and use of an urban area : the road network. From its representation with a graph we can build a geographical object called the way, which is multi-scale, making its analysis robust against zoning. We evaluate several indicators, and identify those that give the most relevant and non-redundant information. The way, appears to have unique spatial properties, revealing parallels between global and local analyses. With this methodology, we demonstrate how different road graphs, from various places in the world, show similar properties, and how some of those properties are also present in other networks (biological, hydrographical, etc). After considering the static properties of networks, we analyze how global characterization evolves through time. We define a model of temporal differentiation, where the change in accessibility of each object is highlighted. It is thus possible to have a first estimation of the growth kinematic of the road networks studied. This work culminates with the integration of the way and its associated indicators into a qualitative approach. We show how such analysis, based on the topological and topographical properties of their road networks, allows us to trace back some aspects of the historical and geographical contexts of city formation. Multidisciplinary discussions are synthesized to reveal research applications and future work
5
Tagina, Moncef. "Application de la modélisation bond graph à la surveillance des systèmes complexes." Lille 1, 1995. http://www.theses.fr/1995LIL10139.
Full textAbstract:
Nous exposons dans ce mémoire différentes formes d'utilisation de la modélisation bond graph pour la détection et la localisation des pannes dans les systèmes complexes. Dans le premier chapitre, nous présentons les objectifs de la surveillance en mettant l'accent sur son rôle, le principe de la redondance, la spécification de la surveillance et le cahier des charges. Ensuite, nous exposons la modélisation bond graph sous ses deux formes graphique et matricielle. Dans le deuxième chapitre, nous nous intéressons de près à l'approche par projection orthogonale et nous déterminons l'expression analytique de la matrice de projection permettant de générer les relations de redondance. Nous comparons, par la suite, nos résultats à ceux des méthodes existantes. Le troisième chapitre se consacre à l'approche structurelle. Il explicite des méthodes de génération de relations de redondance par l'étude d'un couplage dans la structure du système et la construction d'une chaîne alternée associée à ce couplage. Nous retrouvons les mêmes résultats directement sur le bond graph. Nous élaborons aussi des résultats concernant la surveillabilité et nous utilisons la théorie des matroides pour montrer la possibilité de transposer des résultats découverts par la théorie des graphes aux bond graphs. Enfin, dans le quatrième chapitre, nous présentons une extension des résultats que nous avons établis dans les deux chapitres précédents aux systèmes comportant des éléments multiports et aux systèmes non linéaires.
6
Mannoni, Laurent. "L'enregistrement du mouvement au XIXe siècle : les méthodes graphique et chronophotographique." Paris 3, 2003. http://www.theses.fr/2003PA030079.
Full textAbstract:
La méthode graphique consiste à enregistrer, au moyen d'un style qui trace une courbe sur un cylindre tournant recouvert d'une feuille de papier enduite de noir de fumée, ou sur toute autre surface, les variations de volume, de longueur, de pression ou de vitesse, d'un organe ou d'un objet en mouvement. C'est le physiologiste Etienne-Jules Marey qui introduit en France les appareils de la méthode graphique venus d'Allemagne, tout en les perfectionnant grandement. Il est aussi le concepteur de la chronophotographie. Dans la chronophotographie mareysienne, les changements de position d'un organe ou d'un objet sont inscrits non plus par un style à levier amplificateur, mais par l'intermédiaire de la lumière - ce fameux " pinceau de la nature " selon l'expression de William Henry Fox Talbot. La différence entre les méthodes graphique et chronophotographique réside essentiellement dans le " pinceau " qui sert à l'inscription du mouvement : l'un est solide, l'autre est lumineux. Au XIXe siècle, les méthodes graphique et chronophotographique ont permis la connaissance, l'évaluation et donc, souvent, la maîtrise, d'innombrables phénomènes relevant de la médecine, de la physiologie, des sciences naturelles, des différentes branches de la physique et des arts. Les méthodes graphique et chronophotographique, non sans avoir subi quelques " dépravations " (taylorisme, eugénisme), sont en partie à l'origine de l'art moderne dans ses expressions abstraites et ont joué un rôle non négligeable dans l'art académique ; elles sont à la base des systèmes modernes d'exploration en physiologie du mouvement ; elles ont enfin œuvré considérablement à l'avènement de la technique cinématographique muette et sonoreThe graphic method consists of recording, by means of a stylus which traces a curve on a revolving cylinder covered with a sheet of paper coated with lamp-black, or on any other suitable surface, the variations of volume, length, pressure or speed of an organ or an object in movement. Instruments for the graphic method were introduced into France from Germany by the physiologist Etienne-Jules Marey, who went on to develop them to a very high degree of sophistication. Marey also conceived and originated chronophotography. In Marey's system of chronophotography, the movements of an organ or an object are no longer inscribed by a stylus attached to a geared lever but by the intermediary of light - that famous " pencil of nature ", in the words of William Henry Fox Talbot. The difference between the graphic and chronophotographic methods essentially lies in the " pencils " which serve to inscribe the movement : one is solid, the other luminous. In the nineteenth century, the graphic and chronophotographic methods made possible the knowledge, evaluation and thus, often, the mastery of innumerable phenomena relating to medicine, physiology, natural sciences, different branches of physics and the arts. The graphic and chronophotograpic methods, not without having suffered some " distortions " (Taylorism, eugenics), have a place in the origin of modern art in its abstract forms and have played a not negligible role in academic art ; they are at the base of modern methods of study of the physiology of movement ; finally, they contributed significantly to the realisation of cinematographic techniques, both silent and sound
7
Roy, Valérie. "Autograph : un outil de visualisation pour les calculs de processus." Nice, 1990. http://www.theses.fr/1990NICE4381.
Full textAbstract:
On présente un formalisme de représentation graphique pour les systèmes parallèles et communicants, par signaux de synchronisation. Ces descriptions sont ensuite reliées au formalisme algébrique des calculs de processus, qui procure un cadre formel pour en étudier la sémantique et en vérifier les propriétés. On décrit l'outil de visualisation AUTOGRAPH, basé sur ces concepts. AUTOGRAPH contient un éditeur graphique multifenêtres, un interprète/traducteur des dessins vers leurs formes algébriques textuelles, ainsi que des fonctionnalités de retour vers les descriptions graphiques. La phase d'interprétation contient trois types d'analyse sur les dessins : étude de leur cohérence ; expansion de conventions graphiques ; complétion de leurs éléments facultatifs. Ces phases ultérieures permettent de garantir à l'utilisateur des conditions d’édition souples et économiques au niveau graphique, en conservant la précision des significations. AUTOGRAPH est interfacé avec plusieurs systèmes de vérification, et principalement avec AUTO, qui s'adapte aux principes de visualisation d'AUTOGRAPH. Des exemples typiques d'utilisation d'AUTOGRAPH dans des sessions de développement et de vérification sont présentés et commentes. Ces exemples incluent des expériences de traitement de programmes ESTEREL, pour lesquels AUTOGRAPH permet une analyse des automates après compilation
8
Vangheluwe, Marc. "Revêtements métalliques à base de poudres sur acier à bas carbone : application à des dépôts de zinc, d'aluminium et d'alliages zinc-aluminium." Lille 1, 1995. http://www.theses.fr/1995LIL10071.
Full textAbstract:
Le but du travail présenté est l'étude des interactions entre un substrat à base de fer et des poudres à base de zinc et d'aluminium, dans l'espoir d'obtenir un recouvrement protecteur en court-circuitant les étapes d'une galvanisation au trempé. Les différents paramètres ont été analysés, et les résultats obtenus se sont révélés prometteurs dans le cas de poudres pures. Une retombée de ce travail a été la détermination des équilibres de phases dans le système Fe-Zn-Al à 700°C.
9
Lacasta, Zabalza Eduardo. "Les graphiques cartésiens de fonctions dans l'enseignement secondaire des mathématiques : illusions et contrôles." Bordeaux 1, 1995. http://www.theses.fr/1995BOR10612.
Full textAbstract:
La premiere partie presente une etude detaillee des differents moyens d'analyse quantitative, experimentale et empirique des situations d'enseignement, puis une recapitulation de l'etat de l'enseignement des graphiques des fonctions et des recherches a ce sujet. La discussion methodologique precise les differentes formes de definitions des objets de la didactique, en particulier les conceptions. On y explicite le controle des matrices supplementaires explicatives pour l'elimination de certains biais du plan d'experiences. La deuxieme partie examine l'utilisation a-didactique des graphiques. Un questionnaire croise la variable questions de mathematiques avec la variable presentation (algebrique, numerique, graphique). Seule la premiere variable discrimine les eleves, comme s'il n'existait pas de conceptions graphiques differentes des autres conceptions de la fonction. Trois nouveaux questionnaires montrent alors differents types d'usage du graphique (abaque, ideogramme, message topologique, etc. ) et leur rapport avec la lecture par les eleves des proprietes mathematiques locales et globales de la fonction. Entre autres resultats: la conception mathematique conditionne pour l'eleve la maitrise des changements de representations, plus qu'elle n'est conditionnee par elle. La troisieme partie etudie le fonctionnement didactique des graphiques en s'appuyant sur des enquetes aupres des professeurs, des eleves et des mathematiciens. L'usage du graphique comme moyen de connaissance intuitive et d'apprentissage est specialement prise des etudiants litteraires, conformement a l'idee qui sous-tend le programme qu'ils ont suivi ; pour eux, la representation graphique des fonctions serait une alternative a la connaissance proprement mathematique. Cette idee est appuyee par la bonne opinion qu'en ont les professeurs, qui ignorent l'echec assez important de cet usage. Un rangement par ordre de choix de diverses presentations de la notion de limite montre la preference des professeurs pour les conditions (graphiques ou non) qui permettent le mieux un contrat didactique d'ostension: la presentation graphique des fonctions semble preferee, dans la mesure ou elle favorise un contrat ostensif
10
Phan, Ho Anh Thu. "Théorie de l’information et méthodes statistiques pour l’analyse des systèmes d’authentification utilisant des codes graphiques." Thesis, Lille 1, 2014. http://www.theses.fr/2014LIL10152/document.
Full textAbstract:
Le problème de l'authentification est approché par le biais de la théorie de l'information et le modèle d'authentification est analysé sous deux angles différents: soit en utilisant un code graphique brut, soit en utilisant un code graphique codé par codage canal.La première approche permet de proposer un système d'authentification basé sur le test de Neyman–Pearson. Afin de calculer la probabilité de fausse alarme et non-détection, nous avons d'une part utilisé le théorème de Sanov, d'autre part des méthodes de Monte-Carlo basées sur l'échantillonnage d'importance, et avons ainsi réussi à estimer précisément ces probabilités lorsqu'elles sont très faibles. Nous avons ensuite pu optimiser le modèle d'impression acquisition afin de maximiser les performances d'authentification.La deuxième approche propose d'utiliser un code graphique structuré via l'utilisation d'un codage déterministe. Nous montrons qu'il est possible de trouver des codes authentifiants pour lesquels les probabilité de fausse alarme et de non-détection seront conjointement très faibles. Dans le cas de l'authentification, nous avons cependant analyser un codage inadapté car le décodeur permet une transmission à la capacité du canal principal, mais devient inadapté au canal de l'adversaire. Nous avons donc du dans un premier temps calculer la capacité inadaptée liée au canal de l'adversaire, puis ensuite bornée la probabilité d'erreur de décodage liée à cette capacité. Ces résultats théoriques ont été confirmés par l'utilisation du codage Turbo. Nous montrons que pratiquement les performances des systèmes utilisant le codage canal sont supérieures aux performance liées au codage brutThe problem of authentication is investigated from an information theoretic security point of view. An authentication model is analyzed using two settings, namely non-channel coding and channel coding based authentication. In the former, a reliable performance measurements of an authentication system relying on a Neyman–Pearson test is provided. Specifically, an asymptotic expression using Sanov's theorem is first proposed to compute the probabilities of false alarm and non-detection, then a practical method based on Monte-Carlo using importance sampling is given to estimate these small probabilities. Thanks to these accurate computation of probabilities, we show that it is possible to optimize the authentication performance when the model of the print and scan channel is known. In the latter, we study the setup where the authentication message is coded by the deterministic channel codes. We show that using channel coding is possible to enhance the authentication performance. Precisely, it is possible to find codes making the two error probabilities simultaneously arbitrarily small. Such codes have rates between the capacity of main channel and that of the opponent channel. It should be noted that the legitimate receiver does not know whether the observed message comes from the legitimate or from the opponent. Therefore it is the objective of the legitimate receiver to use a decoding rule matching with the distribution law of the main channel but mismatching with the opponent channel. Finally, a practical scheme Turbo codes is proposed. The analysis of the EXIT chart is discussed to choose channel parameters so that the authentication performance is optimized
11
Parisot, Sarah. "Compréhension, modélisation et détection de tumeurs cérébrales : modèles graphiques et méthodes de recalage/segmentation simultanés." Phd thesis, Ecole Centrale Paris, 2013. http://tel.archives-ouvertes.fr/tel-00944541.
Full textAbstract:
L'objectif principal de cette thèse est la modélisation, compréhension et segmentation automatique de tumeurs diffuses et infiltrantes appelées Gliomes Diffus de Bas Grade. Deux approches exploitant des connaissances a priori de l'ordre spatial et anatomique ont été proposées. Dans un premier temps, la construction d'un atlas probabiliste qui illustre les positions préférentielles des tumeurs dans le cerveau est présentée. Cet atlas représente un excellent outil pour l'étude des mécanismes associés à la genèse des tumeurs et fournit des indications sur la position probable des tumeurs. Cette information est exploitée dans une méthode de segmentation basée sur des champs de Markov aléatoires, dans laquelle l'atlas guide la segmentation et caractérise la position préférentielle de la tumeur. Dans un second temps, nous présentons une méthode pour la segmentation de tumeur et le recalage avec absence de correspondances simultanés. Le recalage introduit des informations anatomiques qui améliorent les résultats de segmentation tandis que la détection progressive de la tumeur permet de surmonter l'absence de correspondances sans l'introduction d'un à priori. La méthode est modélisée comme un champ de Markov aléatoire hiérarchique et à base de grille sur laquelle les paramètres de segmentation et recalage sont estimés simultanément. Notre dernière contribution est une méthode d'échantillonnage adaptatif guidé par les incertitudes pour de tels modèles discrets. Ceci permet d'avoir une grande précision tout en maintenant la robustesse et rapidité de la méthode. Le potentiel des deux méthodes est démontré sur de grandes bases de données de gliomes diffus de bas grade hétérogènes. De par leur modularité, les méthodes proposées ne se limitent pas au contexte clinique présenté et pourraient facilement être adaptées à d'autres problèmes cliniques ou de vision par ordinateur.
12
Chen, Keyu. "Common energetic macroscopic representation and unified control structure for different hybrid electric vehicles." Thesis, Lille 1, 2010. http://www.theses.fr/2010LIL10020/document.
Full textAbstract:
Le domaine du transport, l’un des plus grands secteurs d’énergie, doit affronter des défis importants tels que la sécurité énergétique, le changement climatique et les problèmes de la pollution. Pour répondre à cela, les Véhicules Électriques et Hybrides (VEHs) deviennent une option intéressante. L'un des problèmes clés liées au développement des VEHs est la conception de la commande de ce type de système complexe, lequel est composé de plusieurs sources et sous-systèmes. En utilisant la Représentation Énergétique Macroscopique (REM) qui est une représentation graphique basée sur l’énergie, une structure de commande peut être déduire directement par inversion du modèle. L’objectif de cette thèse est d’établir une REM commune capable de décrire différentes architectures de VEHs. A partir de cette REM, une structure de commande générale est obtenue. Cette structure de commande peut être utilisée pour l’étude de VEH série, parallèle et mixte, en changent seulement différents valeurs de paramètres. Cette REM permet de mieux comprendre les flux de puissance principaux des différent VEHs. En utilisant une approche descendante, la modélisation et la commande des différent VEHs ont été réalisées de manière générale, même si ces VEHs peuvent être très différents les uns des autres en termes de structure. Le temps requis pour la conception de la commande peut être ainsi considérablement réduit. Qui plus est, avec la même structure de commande, les différents VEHs peuvent être comparés plus facilement. La structure commune a été validée expérimentalement sur un émulateur de véhicule hybride série. Différentes gestions énergétiques plus efficaces de VEHs pourraient être développées et comparées. De ce fait, le coût de fabrication, la consommation de carburant et l’émission de CO2 peuvent être réduitesThe transportation domain, one of the largest energy sectors, is currently facing huge challenges, including energy security, climate change and pollution problems. To meet these challenges, Hybrid Electric Vehicles (HEVs) have become an interesting option. One of the key issues related to HEV development is the control design of such complex systems, which are composed of multiple sources and subsystems. Using Energetic Macroscopic Representation (EMR), an energy based graphical description, the inversion-based control structure of the system can be deduced directly. The objective of this thesis is to establish a common EMR which can describe different HEVs. From this common EMR, a unified control scheme is deduced, which can be used for the study of series, parallel, and series-parallel HEVs, by simply setting different parameter values. The common EMR offers a better understanding of the main power flows of different HEVs. Using this top-down approach, the modeling and control design of different HEVs have been achieved in a general way, despite the fact that HEVs can be very different from each other in terms of structure. The time required for control design can be significantly reduced. Furthermore, given the same control structure, different HEVs could be easily compared. Experimental results have been validated the control scheme commune using a Hardware-in-the-loop simulation for a series HEV in a real-time environment. Based on this work, more efficient energy managements of HEVs could be achieved and compared, and thus to reduce HEV manufacturing costs, fuel consumption and CO2 emissions
13
Betta, Mohammed. "Les données évolutives et le décalage : l'analyse statique et l'analyse dynamique." Rennes 2, 1995. http://www.theses.fr/1995REN20010.
Full textAbstract:
L'objet de cette thèse est l'analyse des tableaux de donnes à trois indices (voies). On s'intéresse particulièrement à l'analyse de telles données dans le cas ou le troisième indice désigne le temps. Dans la première partie de ce travail, nous présentons quelques unes des méthodes d'analyse des données ternaires. Nous consacrons un chapitre à celles qui intègrent dans leurs approches une structure de contiguïté quelconque. Dans la deuxième partie, nous proposons et développons une nouvelle méthode d'analyse de données évolutives sous contrainte de continuité temporelle. Cette méthode est élaborée en deux étapes indépendantes et complémentaires. Elle est caractérisée par la prise en compte de la structure d'ordre du facteur temps. Nous introduisons et justifions, dans la première étape, la notion de matrice de décalage à gauche ou à droite sur les données. Cette nouvelle notion nous permet de définir une famille d'indices de similarités sur l'ensemble des tableaux "individuels" fournissant ainsi une typologie des individus. C'est ce que l'on appelle analyse statique. Dans la deuxième étape, nous suggérons un nouveau critère qui permet de déterminer le sous-espace de représentation des "parcours individuels" à l'aide des trajectoires. Ce critère est aussi défini de manière à tenir compte de la structure d'ordre du temps, autrement dit la contiguïté temporelle. C'est l'analyse dynamique. Nous concluons cette thèse par le traitement de deux exemples de données évolutives avec notre approche d'une part, et la méthode Statis d'autre part. Enfin, une comparaison des résultats des deux méthodes est proposéeThe objective of this thesis is to analyse three index data tables. We are especially interested in the analysis of these data in the case where the third index indicates time. In the first part of this study, we present some of methods used for anlysing three way data. One chapter will be given over to all those that incorporate contiguity structure in their approach. In the second part, we develop a new method of evolutive data analysis under a temporal contiguity constraint. This method is elaborated in two indepedent and complementary steps. First, we introduce the notion of an interval matrix on the left or the right which is used to define a group of similarity indices on individual tables. This is known as static analysis in the second stage, we suggest a new critiria which allows us to determine the subspace where trajectories are represented. This critiria is also defined taking the order structure of time into considerations. We call this dynamic analysis. This thesis concludes by anamysing two examples of evolutive data using two methods, the one we developed and the statis method. A comparison of the obtained results using the two methods is given
14
Sid, Belkacem. "Optimisation topologique de structures par algorithmes génétiques." Besançon, 2006. http://www.theses.fr/2006BESA2033.
Full textAbstract:
L'intérêt que suscite l'optimisation topologique s'explique par sa capacité à offrir des solutions innovantes permettant un gain notable de performance. Pendant la dernière décennie, des efforts considérables en recherche fondamentale ont été consacrés au développement de nouvelles méthodes, fiables et efficaces, pour l'optimisation topologique des stuctures. Cette thèse apporte une contribution dans ce domaine en proposant l'utilisation des algorithmes génétiques. Deux méthodes ont été développées. La première propose une approche par algorithme génétique basée sur une représentation graphique par courbes de Bézier. Le principe consiste à construire la structure en utilisant d'abord un squelette que l'on complète ensuite avec la chair. Le squelette est composé par l'ensemble des courbes cubiques de Bézier reliant les surfaces d'application des conditions aux limites entre elles. La chair sous forme de couches d'épaisseurs variables complète le squelette pour donner la forme finale de la structure. Avec cette technique, les éléments de la structure sont tous reliés entre eux. Il n'y a donc pas de matière déconnectée ni de problème de damier. La deuxième méthode propose une approche, toujours par algorithmes génétiques mais basée cette fois ci sur une représentation par adjacence. Le principe de base ce cette représentation est fondée sur le concept de connectivité des éléments finis, considérés comme cellules. Ce principe s'exprime par une matrice d'adjacence similaire à celle utilisée en théorie des graphes. Le codage des structures solutions utilise cette matrice en transformant cette dernière en une chaîne binaire unidimensionnelle. Les deux méthodes proposées ont fait l'objet d'une implantation informatique dans l'environnement de programmation Matlab. Elles ont été validées par des applications numériques sur des benchmarks simples en élasticité linéaire bidimensionnelleThe interest of topological optimization is explained by its capacity to offer innovating solutions allowing a notable profit of performance. During the last decade, considerable efforts in fundamental research were devoted to the development of new methods, reliable and efficient, for the structural topology optimization. This thesis contributes in this field by using genetic algorithms. Two methods were developed. The first proposes a genetic algorithm approach based on a graphical representation by Bézier curves. The principle consists in building the structure by a skeleton and a flesh. The skeleton is composed by the set of the Bézier cubic curves connecting the boundary conditions surfaces. The flesh, in form of layers, completes the skeleton to give the final form of the structure, completely connected. The second approach is based on a representation by adjacency. The principle of this representation is founded on the concept of connectivity of finite elements, considered as cells. This principle is expressed by an adjacency matrix similar to that used in the graph theory. The encoding of the structure solutions uses this matrix by transforming it into a binary string. The two proposed methods are implemented inside Matlab programming environment. They are by numerical applications on simple twodimensionnal linear elasticity benchmarks
15
Carbonnel, Sabine. "Intégration et modélisation de connaissances linguistiques pour la reconnaissance d'écriture manuscrite en-ligne." Rennes, INSA, 2005. http://www.theses.fr/2005ISAR0022.
Full textAbstract:
La reconnaissance d'ecriture manuscrite est un probleme difficile qui ne peut se reduire a la reconnaissance de formes graphiques : il est primordial d'integrer des connaissances linguistiques pour guider la reconnaissance. Les objectifs de nos travaux sont d'integrer des connaissances lexicales pour ameliorer un systeme de reconnaissance de mots manuscrits en-ligne tout en tenant compte de contraintes (temps de calcul et encombrement memoire) en vue du portage du systeme sur des materiels a capacites reduites. Nous proposons un traitement lexical base sur un modele de langage de n-grammes de caracteres, une modelisation pour reduire l'espace des recherches dans un lexique ainsi qu'une modelisation automatique d'une distance d'edition specifique a l'ecriture. Ces modelisations ameliorent le systeme de reconnaissance sur lequel se basent nos travaux, limitent la duree du traitement lexical et sont de plus facilement adaptables aux evolutions du systeme et au contexte d'utilisation.Handwriting recognition is a difficult problem which cannot be reduced to graphic shapes recognition: it is important to integrate linguistic knowledge to guide the recognition. The objectives of our work are to integrate lexical knowledge to improve a recognition system of on-line handwritten words, taking into account constraints of computing time and memory requirement with the intention of integrate the system on devices with limited capacities. We propose a lexical processing based on a language model of characters n-grams, a modeling to reduce the research space in a lexicon as well as an automatic modeling of an edit distance specific to handwriting. These modelings improve the recognition system on which our work is based, limit the duration of the lexical processing and moreover are easily adaptable to the system evolutions and the context of use
16
Paquet, Valérie. "Contribution à l'étude et à la réalisation d'un système de programmation graphique de robot : étude d'un modeleur tridimensionnel." Aix-Marseille 3, 1992. http://www.theses.fr/1991AIX30078.
Full textAbstract:
Ce memoire a pour objet l'etude d'un modeleur geometrique, integrable au superviseur d'un systeme de programmation graphique de robot, dont la description de la tache est de niveau objet. Apres une presentation generale de l'organisation d'un systeme de programmation graphique de robot, ainsi que des differents types d'objets intervenant dans la description de la tache, l'auteur expose les contraintes et besoins, lies a la programmation de la tache et a la conduite du robot, qui induisent le choix d'une modelisation geometrique volumique adaptee a chaque categorie d'objet. L'auteur presente ensuite une description fonctionnelle d'un modeleur geometrique, adapte aux exigences de la programmation graphique de robot, et permettant de generer les differents modeles geometriques. Compte-tenu de ses caracteristiques et de son organisation, le modeleur est parfaitement integrable au superviseur d'un systeme de programmation graphique de robot, et permet ainsi la construction interactive et graphique des objets. Cette etude a conduit a la realisation d'un modeleur geometrique volumix, integre au systeme de programmation graphique de robot prographix
17
Calenge, Clément. "Des outils statistiques pour l'analyse des semis de points dans l'espace écologique." Lyon 1, 2005. http://www.theses.fr/2005LYO10264.
Full textAbstract:
La mise en relation d'un ou de plusieurs semis de points avec des cartes de variables environnementales est centrale en Écologie. Les points représentent en général des localisations d'individus d'une ou de plusieurs espèces. Cette thèse présente une démarche pour identifier les variables environnementales qui sont les plus structurantes de la distribution des points. Elle repose sur l'exploration des données dans l'espace géographique et dans l'espace défini par les variables environnementales (espace écologique). L'analyse d'un seul semis et celle de plusieurs semis de points sont considérées. Des collaborations ont permis de développer ou d'améliorer des outils d'analyse spatiale (analyse discriminante sur vecteurs propres du graphe de voisinage) ou écologique (ENFA, analyse K-select, analyse factorielle des rapports de sélection), reposant sur la théorie de l'analyse factorielle. Une bibliothèque de fonctions pour le logiciel R, adehabitat, a été programmée pour faciliter cette démarche d'analyse
18
Matalliotaki, Eirini. "Les pratiques graphiques à l'école maternelle dans un contexte de résolution de problèmes." Paris 5, 2007. http://www.theses.fr/2007PA05H107.
Full textAbstract:
La recherche s’intéresse aux fonctions cognitives que peuvent assurer les représentations graphiques dans des contextes de résolution de problèmes par de jeunes enfants (5 à 6,5 ans). L’analyse de 23 exercices de mathématiques accompagnés de dessins dans des ouvrages destinés aux enfants en Grande Section de l’école Maternelle, montre que la fonction inférentielle est peu exploitée contrairement à la fonction référentielle. Deux épreuves ont été proposées à 55 enfants de Grande et Moyenne Sections Maternelles : une épreuve qui évalue la capacité des enfants à se servir de notations de quantités produites à la demande pour faire des calculs (Dénoréco) et une épreuve d’inférence de quantités par division quotitive à partir d’informations quantitatives représentées verbalement et ensuite graphiquement. Les résultats montrent que beaucoup d’enfants sont capables d’utiliser efficacement les représentations graphiques qu’on leur propose. Ces représentations externes leur permettent notamment d’expliciter avec des gestes des techniques de résolution, alors qu’ils ne sont pas capables de le faire lorsqu’ils ne disposent que d’une information orale. L’ensemble de la thèse apporte des arguments en faveur de l’utilisation précoce de représentations externes dans le cadre de l’enseignement préscolaireThe reported research focuses on the functions of graphical representations in a context of problem solving by young children (5 to 6,6 yrs old). A study based on 23 mathematical exercises utilising drawings, taken from books for chiidren ofupper kindergarten-age, shows that the inferential function of drawjngs was very littie exploited, contrary to the referential one. Two studies have been carried out with 55 children of medium and upper kindergartenage; One that evaluates the children’s capacity to utilise quantitative notations after being requested to make a calculation (Dénoréco), and another that examines the inference of quantities by the use of quotitive division when initial quantity information is presented verbally and subsequently graphically. The results show that a great part of the chiidren were capable ofutilising efficiently the external graphical representations provided to them, When the exercises were represented graphically, the chiidren were able to demonstrate resolution techniques with gestures, contrary to the verbal representation case, where very few resolution strategies could be clarified. This thesis on its whole provides arguments supporting the early use of external graphical representation within the school-learning frame
19
Sun, Xiao Chao. "Résolution de la programmation linéaire en nombres entiers : méthodes des coupes, méthodes de séparation et évaluation et méthodes de décomposition de programmes par matrices d'intervalles et par matrices graphiques." Clermont-Ferrand 2, 1993. http://www.theses.fr/1993CLF21451.
Full textAbstract:
1#r#e partie (chapitres 1 a 3): cette partie exploite les proprietes par une demarche de recherche verticale allant de l'etude d'une situation theorique (approximation de hermite sur un cone simple) a l'elaboration et la mise en uvre de methodes iteratives pour la programmation lineaire en nombres entiers. La caracterisation d'une approximation entiere proche d'un sommet realisable non entier permet de definir des coupes particulieres, dites coupes de hermite, qui sont integrees iterativement dans une procedure enumerative, cette derniere etant elle-meme allegee par l'emploi d'une approche de type branch and bound. Utiliser iterativement des directions de recherche generees aleatoirement (objectifs de controle) pour rechercher des solutions entieres dans une couche du polyedre de cout constant. Cette recherche peut a son tour exploiter la forme normale de hermite et integrer les coupes correspondantes dans le polyedre defini a l'iteration suivante. 2#e partie (chapitres 4 a 7): au chapitre iv une methode est proposee pour essayer de reduire les programmes en nombres entiers au cas ou les matrices sont totalement unimodulaires quitte a rajouter un certain nombre de variables de controle (l'interet de la methode se situe quand ce nombre de variables additionnelles est faible). Ceci conduit a etudier aux chapitres suivants les matrices totalement unimodulaires associees aux hypergraphes d'intervalles et aux matrices graphiques. Les resultats obtenus pour ces deux problemes permettent de montrer la pertinence de la methode proposee (theoreme i du chapitre v et theoreme v du chapitre vii)
20
Tabart, Gilles. "Méthodes et outils pour l'aide à la conception et à la vérification du rendu graphique des systèmes interactifs." Toulouse 3, 2010. http://thesesups.ups-tlse.fr/1258/.
Full textAbstract:
La conception de représentations graphiques dédiées à des systèmes interactifs critiques est complexe. Dans cette thèse, nous proposons en premier lieu une étude approfondie des problèmes perceptifs spécifiques aux rendus graphiques au travers de trois études expérimentales. Nous présentons ensuite une analyse de l'activité à laquelle se livrent les concepteurs d'interfaces critiques. À partir de ces analyses, nous proposons une démarche d'aide à la conception et à la vérification des rendus graphiques répondant aux besoins spécifiques des concepteurs. Cette démarche facilite l'exploration visuelle des solutions, ainsi que la mise en rapport de hiérarchies fonctionnelles avec des hiérarchies visuelles. Elle supporte une approche de conception itérative, centrée utilisateur et visant un accompagnement sur toute la durée de vie des systèmes. Nous proposons pour finir d'instrumenter cette démarche à l'aide d'outils interactifs, dont nous illustrons l'utilisation au travers d'études de cas lié à l'aéronautique (ATC)Graphical representations are used in numerous field of activity as a way to convey information from an interactive system to its users. In some of these fields, the representation quality is vital: indeed, if users (like pilots or air-traffic controllers) have a bad perception of information, the consequences can be tragic. Graphical design and specification of such representations are complex because of the great amount and the diversity of graphical parameters to handle, because of the perceptual interactions between these parameters, and because of the need to manage multidisciplinary knowledge. We claim that these difficulties come also from a lack of tools and methods, which could enable a precise specification of graphical needs. The first part of our work deals with three experimental studies aimed at understanding in a deeper way the perceptive problems linked to the graphical rendering of interactive systems. Then, we expose an analysis of how the graphical designers confront critical interfaces design. Based on these analyses, we propose an approach responding to the specific designer's needs for their activity of designing and verifying the graphical rendering. This approach enables an easier visual exploration of solutions and an easier connection between functional and visual hierarchies. This is a user centered design and iterative approach that aims to follow a system during all its lifetime. Finally, we propose interactive tools that support this approach and we illustrate them with case studies
21
Lee, Kwang Hyung. "Analyse et modélisation des systèmes de production par les réseaux de Petri." Lyon, INSA, 1985. http://www.theses.fr/1985ISAL0003.
Full textAbstract:
L'étude de l a complexité des systèmes de production est aggravée par la rareté des méthodes et des outils d'analyse spécifiques. Nous avons choisi les réseaux de Petri comme méthode d' analyse et de conception , et comme langage de communication entre les concepteurs. L' aptitude des réseaux de Petri pour ana lyser et modéliser les systèmes de production est étudiée et comparée avec celle des autres modèles graphiques majeurs. Nous proposons une méthode de réduction hiérarchique des réseaux de Petri pour analyser l es réseaux complexes. Cette méthode conserve les propriétés de réseau vivant, borné et réinitialisable. Elle permet de décomposer hiérarchiquement un réseau complexe et de l’analyser par son réseau réduit et par ses sous-réseaux. La mise en œuvre de ce t te procédure de réduction est automatisée. A titre d'illustration, un atelier flexible a été modélisé par un réseau de Petri, et ce réseau a pu être réduit par cette procédure, en facilitant ainsi son analyse. Cette méthode et son application ont permis : - d'enrichir les possibilités d'utilisation des réseaux de Petri dans les systèmes de production, - de poser les bases de nouvelles recherchesIn the f ace of the increased complexity of production systems, computer may allow managers an easy problem solving in production control. This trend of computerization has brought about a necessity of perfect understanding of such systems. The need of a tool or method for analysis of complex systems has been emphasized. In this thesis, Petri nets are chosen as a method of analysis and conceptualisation of automated production systems, and as a common language among computer scientists and production managers. The aptitude of Petri nets for modelling and analysis of production systems is studied and compared with other principal graphic models. The comparative study shows that the Petri nets has the best modelling and analysing power for the production systems. It is also pointed out that the space of reachable states of a Petri net is large in general and often it gives difficulties in analysing a complex net. A new method of hierarchical reduction on petri net is proposed et analyse a complex net. The prosed method conserves the properties of petri net such as liveness, boundedness and proper termination. This method allows to decompose hierarchically a net ant to analyse it by its reduced net and its sub-nets. This procedure od reduction has been automated. As an application, a flexible manufacturing system was modelled by petri and this net has been reduced by this automated process in facilitating its analysis
22
Rimaux, Stéphane. "Étude des propriétés structurelles de certaines classes de systèmes physiques non linéaires modélisés par bond graph." Lille 1, 1995. http://www.theses.fr/1995LIL10141.
Full textAbstract:
Ce mémoire propose l'étude des propriétés structurelles de certaines classes de systèmes physiques non linéaires à partir de leur modèle bond graph. La première partie rappelle les procédures d'étude de la propriété de commandabilité dans le cas où le système est linéaire et modélisé par bond graph, et dans celui où le modèle est non linéaire et est donné par une équation d'état. La démarche la plus naturelle pour l'étude des propriétés d'un modèle non linéaire est d'étudier les propriétés du modèle linéarisé afin d'obtenir des propriétés locales du modèle non linéaire. C'est dans cette optique que nous proposons dans la deuxième partie la méthode de linéarisation d'un modèle bond graph. Les modèles bond graphs obtenus par linéarisation comportent des sources modulées par des variables d'état. Nous avons alors développé dans la troisième partie une condition nécessaire de commandabilité de ces modèles bond graphs. La démarche est appliquée au cas du double pendule inverse. Enfin la quatrième partie traite de l'étude de la commandabilité structurelle des modèles bond graphs dont la commande se fait par la modulation d'éléments MTF et MGY. Une classe de tels modèles correspondent par exemple à des systèmes en électronique de puissance dont la commande se fait par le contrôle d'interrupteurs.
23
Verzelen, Nicolas. "Modèles graphiques gaussiens et sélection de modèles." Phd thesis, Université Paris Sud - Paris XI, 2008. http://tel.archives-ouvertes.fr/tel-00352802.
Full textAbstract:
Cette thèse s'inscrit dans les domaines de la statistique non-paramétrique, de la théorie statistique de l'apprentissage et des statistiques spatiales. Son objet est la compréhension et la mise en oeuvre de méthodes d'estimation et de décision pour des modèles graphiques gaussiens. Ces outils probabilistes rencontrent un succès grandissant pour la modélisation de systêmes complexes dans des domaines aussi différents que la génomique ou l'analyse spatiale. L'inflation récente de la taille des données analysées rend maintenant nécessaire la construction de procédures statistiques valables en << grande dimension >>, c'est à dire lorsque le nombre de variables est potentiellement plus grand que le nombre d'observations. Trois problèmes généraux sont considérés dans cette thèse: le test d'adéquation d'un graphe à un modèle graphique gaussien, l'estimation du graphe d'un modèle graphique gaussien et l'estimation de la covariance d'un modèle graphique gaussien, ou plus généralement d'un vecteur gaussien. Suite à cela, nous étudions l'estimation de la covariance d'un champ gaussien stationnaire sur un réseau, sous l'angle de la modélisation graphique. En utilisant le lien entre modèles graphiques et régression linéaire à plan d'expérience gaussien, nous développons une approche basée sur des techniques de sélection de modèles. Les procédures ainsi introduites sont analysés d'un point de vue non-asymptotique. Nous prouvons notamment des inégalités oracles et des propriétés d'adaptation au sens minimax valables en grande dimension. Les performances pratiques des méthodes statistiques sont illustrées sur des données simulées ainsi que sur des données réelles.
24
Lefebvre, Muriel. "Images,écritures et espace de médiation : Etude anthropologique des pratiques graphiques dans une communauté de mathématiciens." Université Louis Pasteur (Strasbourg) (1971-2008), 2001. http://www.theses.fr/2001STR13192.
Full text
25
Service, N'Gattaï. "Représentations graphiques : éléments de modélisation, aide à la conceptualisation, instruments de médiation." Grenoble 2, 2008. http://www.theses.fr/2008GRE29012.
Full textAbstract:
Inspiré par la question "en quoi les représentations graphiques peuvent servir d'instruments de médiation?", nous visons une meilleure compréhension de ces signifiants dans le processus de modélisation et de conceptualisation. Pour ce faire, nous avons lu Bertin (1977), Duval (1995) et Vygotski (1934/1997), ainsi que Vergnaud (1985, 1990). Nous avons complété ce fonds théorique par les résultats de Baillé et Maury (1993). La méthodologie repose sur quatre instruments: entretiens, questionnaire, analyse des manuels et expérimentation didactique. Cette dernière a concerné 169 élèves de seconde de deux établissements d'enseignement technique, et de deux établissements de l'enseignement général. Elle a confronté les sujets à la lecture et à la construction des diagrammes en bâtons, en secteurs et linéaires. Elle a mis en évidence des performances différentes pour les deux types d'enseignement et l'impact de la variable graphique sur ces performances. Trois types de procédures (canoniques, non canoniques et mixtes) ont été isolés des productions des élèves. Nous avons aussi noté une fréquence élevée de procédures canoniques dans la construction des graphiques linéaires. Nous avons en outre révélé chez les élèves des conceptions qui soulèvent la question du traitement des graphiques dans l'enseignement, nous invitant à repenser leur rôle dans les établissements scolairesInspired by the question "How may graphical representations serve as instruments of mediation?", we aim at a better understanding of these signifiers in the process of modelling and conceptualization. To do this, we studied the writings of Bertin (1977), Duval (1995) and Vygotski (1934/1997), as well as Vergnaud (1985, 1990). We completed this theoretical investigation by the empirical results of Baillé and Maury (1993). The methodology is based on four instruments: interviews, a questionnaire, an analysis of textbooks and a didactic experiment. This last approach concerned 169 pupils of the French "Seconde" (tenth grade, fifteen years old) of two secondary schools for technical education, and two secondary schools for general education. It confronted the pupils with the reading and the construction of bar graphs, sector-graphs and line-graphs. It revealed different performances for both types of education and an impact of the type of graphic on these performances. Three types of procedures (canonical, non canonical and mixed) were isolated in the productions of the pupils. We also noted a high frequency of canonical procedures in the construction of the linear graphs. In addition, we revealed pupil's conceptions which brought up the question of the processing of graphs in teaching, inviting us to rethink their role in schools
26
Bouanane, Mohamed. "Modélisation d'un outil graphique d'aide à la compréhension de résolution de programmes logiques." Thesis, Université Laval, 2014. http://www.theses.ulaval.ca/2014/30628/30628.pdf.
Full textAbstract:
Ce projet de recherche traite du domaine de l’intelligence artificielle, plus précisément de la programmation logique, un type de programmation utilisée pour concevoir des systèmes dits intelligents. Ce type de programmation est toutefois assez complexe à assimiler et il n’existe, à notre connaissance, aucun outil interactif qui permette de montrer efficacement le processus d’exécution d’un programme logique. L’objectif de cette recherche consistait donc à proposer un modèle d’outil facilitant la compréhension de la résolution d’un programme logique. Le modèle proposé permet de représenter graphiquement et dynamiquement la trace de résolution d’un programme logique. Un prototype a été construit pour valider ce modèle avec des programmes écrits en langage Prolog. L’utilisateur peut ainsi suivre les étapes d’exécution à travers l’affichage dynamique d’un arbre de dérivation. Actuellement, le modèle ne permet pas de prendre en compte des programmes écrits avec différents langages de programmation, une telle généralisation serait une bonne amélioration.
27
Sedqui, Abdelfettah. "Nouvelle approche pour la classification des gammes de production." Lyon, INSA, 1995. http://www.theses.fr/1995ISAL0070.
Full textAbstract:
Le recours à la Technologie de Groupe (T. G) basée sur l'exploitation des similarités entre produits aux différents stades de son élaboration est toujours d'actualité dans les approches en cours de la production (ingénierie concourante, fabrication à la demande,. . . ). Au niveau du Bureau des Méthodes, nous traitons deux problèmes essentiels relevant de la classification des gammes. Le premier rencontré est l'analyse des gammes logiques d'assemblage d'un produit. Il s'agit de sélectionner les gammes de remplacement selon un critère simple ou multiple, afin d'atteindre les objectifs économiques ou techniques fixés par l'entreprise. Le second problème est la classification en familles des gammes de production similaires vis à-vis de leur processus de réalisation en vue de la conception des cellules flexibles. Dans ce mémoire, après présentation de l'état de l'art, nous proposons une méthode originale pour résoudre le premier problème. Cette méthode, basée sur la génération des hypergraphes par arborescence, permet : - la représentation des gammes binaires par la description des différentes étapes de l'assemblage du produit, en mettant en évidence le caractère parallèle et/ou séquentiel du processus logique d'assemblage, -l'analyse des différentes gammes par le calcul d'une distance entre toutes les gammes admissibles. Cette méthode a été appliquée aussi dans le cas de la gestion dynamique des gammes d'assemblage. Pour résoudre le deuxième problème, nous proposons une nouvelle approche basée sur la théorie des langages pour la classification des gammes tout en gardant les approches antérieures basées sur l'analyse typologique et en particulier la classification hiérarchique : -Nous traitons le cas fondamental des gammes linéaires en proposant une distance entre ces gammes vérifiant les critères mis en évidence dans les travaux antérieurs dans ce domaine. - Nous traitons par la suite, le cas des gammes arborescentes en proposant un algorithme pour le calcul des distances entre arbres d'une façon générale et binaires en particulier. La classification des gammes binaires nous permet de généraliser les travaux qui jusqu'à présent traitaient des gammes linéaires et nous permet d'exploiter le parallélisme rencontré dans le cas d'assemblage/montage. - Nous résolvons le problème de représentation des données qui se posait au niveau des opérations se répétant plusieurs fois dans une gamme[Resorting to Group Technology (GT) which is based on the exploitation of product similarities is always topical. Using this technique, we treat two essential problems that belong to the sequence classification. The first meeted is the analyse of assembly logic sequences of product. It is a question to select an alternative sequences verifying criteria in order to reach economic or technique objectives fixed by the firm. The second problem is the classification into families of manufacturing sequences that have similar manufacturing process for FMS (Flexible Manufacturing System) design. So, we propose an original method to solve the first problem. This method, based on hypergraphs generated by tree structure , permit : - the representation of binary sequences by describing the product assembling steps, highlight the parallel character and / or sequential logic of the assembly process , - the analyse of all sequences by calculation of distance between all admissible sequences. This method is used in dynamic control of assembling sequences. To solve the second problem, we propose a new approach based on language theory for sequences classification with keeping the prior approaches based on hierarchic classification : - we treat fundamental case of linear sequences. We propose distance between sequences that verify criteria described in the prior works. - after, we treat the case of arborescent sequences. We propose an algorithm for distance calculation between trees generally and binary trees in particular. This work permit to generalize the works that treat only linear sequences and permit to exploit the task parallelism in assembly sequence. - we solve too the data representation problem when an operation is repeating himself any times into a sequence. ]
28
Sayah, Marguerite. "Un environnement d'interrogation graphique de bases de données orientées objet (EIGOO) pour des utilisateurs non informaticiens." Lyon, INSA, 1998. http://www.theses.fr/1998ISAL0046.
Full textAbstract:
Dans ce travail, nous nous sommes penchés sur la problématique de l'interrogation des bases de données orientées objet par des utilisateurs non informaticiens. Cette problématique est principalement liée à la complexité du schéma de la base et à la difficulté des langages textuels existants. Nous proposons, dans ce cadre, un Environnement d'Interrogation Graphique de bases de données Orientées Objet (EIGOO) utilisant la technique des vues pour réduire la complexité du schéma et offrant un langage graphique pour l'interrogation de la base. Le module de définition des vues de notre environnement s'adresse à des utilisateurs experts du domaine de l'application non nécessairement informaticiens. Il supporte un langage graphique et permet de définir, en fonction du contexte de travail, des besoins en informations et des droits d'accès, des vues sur la base pour chaque groupe d'utilisateurs finals. Le deuxième module concerne l'interrogation de la base à travers les vues et s'adresse à des utilisateurs non informaticiens. Il propose un langage d'interrogation graphique et assure la conversion des requêtes graphiques en Object Query Language (OQL) pour être exécutées sous le SGBD utilisé. Le langage graphique supporte les opérations classiques de projection et de sélection, les jointures implicite et explicite, le groupement et le tri. Il permet la spécification de quantificateurs et l'élaboration de requêtes réflexives. Le schéma de la vue est visualisé graphiquement. Les requêtes sont formulées directement sur le graphe et se divisent en deux catégories : les requêtes de jointure implicite et les requêtes de jointure explicite. Les requêtes construites peuvent être sauvegardées et réutilisées pour la création de nouvelles requêtes. En ce qui concerne la conversion des requêtes graphiques en OQL, elle s'effectue à travers les opérations de définition de la vue support. Une méthode de conversion est proposée pour chaque catégorie de requêtesOur work concerns the interrogation of abject oriented databases by non computer specialists. The problem they face relates mainly to the complexity of the database schema and to the difficulty of the textual query languages. . In this context, we propose a graphical query environment (EIGOO) that uses the v1ew technique to reduce the schema complexity and offers a graphical query language to consult databases through the defined views. . The view definition module of our environment proposes a graph1cal language and addresses users that are experts in the application domain. The views are defined for groups’ end users. They are adapted to their working context, to their application needs and to the1r access rights. The second main module concerns the database interrogation through v1ews and addresses non computer specialists’ users. It offers a query language and guarantees the conversion of graphical queries into Object Query Language (OQL) in order to execute them under any ODMG compliant DBMS. The graphical query language supports projection, selection, implicit join, explicit join, grouping and sorting operations. It also allows the specification of quantifiers and the elaboration of reflexive queries. The schema of the view is graphically visualized. The queries are directly formulated on the graph and are divided in two categories: the implicit join queries and the explicit join queries. Constructed queries can. Be saved and reused in order to create new queries. Concerning the conversion of graphical queries, a method is proposed for each category of queries
29
Barsoum, Baher Albert. "Classification automatique par amincicement de l'histogramme multidimensionnel." Lille 1, 1994. http://www.theses.fr/1994LIL10195.
Full text
30
Chomdej, Pawarej. "Élaboration d'un modèle thermodynamique robuste de turboréacteur." Toulouse, ENSAE, 2006. http://www.theses.fr/2006ESAE0009.
Full textAbstract:
La mise au point de la régulation d’un turboréacteur, quel qu’il soit nécessite l'utilisation d’un modèle de simulation capable d'être intégré dans une chaîne réelle d’essais, simulant les états du turboréacteur en fonctionnement stabilisé et en fonctionnement transitoire. Cette recherche décrit un modèle de calcul de fonctionnements de turboréacteurs codé sous Matlab. Ce dernier, disponible sur demande, est flexible et peut être appliqué aux différents problèmes de recherches. Ce programme fournit un environnement graphique interactif qui permet à l'utilisateur de construire et analyser rapidement et efficacement des systemes arbitraires de turboréacteurs. Le programme de simulation utilise une interface graphique utilisateur, développée en outil GUI, et la méthode d'analyse aérothermodynamique de turbine à gaz. Le programme est capable de calculer le point d’adaptation, le fonctionnement hors adaptation (la ligne de fonctionnement stabilisé) et le fonctionnement transitoire de turboréacteurs de configurations variées avec compresseur axial. Les résultats de calcul sont présentés sous forme de tableau numérique et graphique, tels que les lignes de fonctionnement stabilisé et transitoire tracées sur les champs de caractéristiques de compresseur et de turbine. Ce programme est ouvert, accessible et modifiable pour des applications de recherche publique, des utilisations pédagogique et pour une meilleure comprehension du fonctionnement des turboréacteurs.
31
Nadot, Suzon. "Représentations graphiques et études de fonctions : les problèmes didactiques et cognitifs du changement de repère, une approche par la programmation informatique d'un traceur de courbes." Paris 5, 1991. http://www.theses.fr/1991PA05H015.
Full textAbstract:
Les études de fonctions sont, pour l'élève de seconde, fortement liées à l'activité graphique. Quelle est la place et le rôle du signifiant graphique dans cette conceptualisation? Dans l'introduction sont exposées différentes recherches sur le graphique, moyen de communication scientifique. La première partie décrit, à travers une analyse de manuels, une étude des compétences des élèves et l'observation d'une séquence d'enseignement assistée par ordinateur, la place occupée par le graphique dans l'enseignement des fonctions. On y présente une typologie des activités graphiques. La deuxième partie montre les difficultés de conceptualisation liées au changement de repère. Dans le dispositif mis en place, l'ordinateur occupe une place centrale. La performance de cet outil graphique, alliée au principe même de son affichage apporte originalité et pertinence a la situation. En effet, les contraintes de programmation informatique d'un tracteur de courbes imposent la situation du changement de repère tout en permettant une approche empirique. On observe également la complexité des phénomènes didactiques et la distance qui sépare le projet d'enseignement de la construction du savoir chez l'élèveWhen the 15-16 year old high school students learn functions, they also learn graphs. What is the importance and the use of graphic significant in this conceptualization? Various researches on graphic are shown in the introductory part. Graphs are an essential mean of scientific communication. The first part shows the important of the graphic in the teaching of functions, and its different uses. That’s what the schools manuals have been analyzed; then the students abilities have been checked up; finally an imagiciel used in a class room has been looked at. After which, a graphic activities typology is shown. The second part shows the conceptual difficulties of the change of coordinate system. These results are obtained from a study of a didactic situation. In this case, the computer is right in the center. The running of the graphic computer creates a relevant situation to change the coordinate system; in addition, its permits an empirical approach. One also can see the complexity of didactic phenomena. The distance is measured between the teaching project and the students knowledge sonctruction
32
Ruissy, Thierry. "Contribution à l'étude et à la réalisation d'un générateur d'interfaces graphiques pour des systèmes de supervision." Aix-Marseille 3, 1990. http://www.theses.fr/1990AIX30067.
Full textAbstract:
Ce memoire a pour objet l'etude d'un generateur d'interfaces homme/machine graphiques integrales dans les superviseurs de systemes automatises de production dont le niveau de description de la tache est presque toujours de niveau objet. Apres un decoupage operationnel qui partitionne l'ensemble des fonctions caracteristiques d'une interface homme/machine de superviseur, l'auteur montre comment en partant du concept de i-machine nous pouvons modeliser une telle interface par une i-machine de relation. Le generateur d'interface peut alors etre constitue autour d'un noyau parametrable et configurable par le concepteur de l'interface a l'aide de diverses entrees qui lui sont offertes. Compte tenu de son domaine d'application, le generateur a ete etudie pour produire des interfaces capables de modeliser et de visualiser des entites tridimensionnelles. L'accent a ete tout particulierement mis sur la convivialite et l'interactivite de la relation homme/machine. Cette etude a conduit a la realisation du generateur d'interfaces graphiques graphiti dedie a des systemes de supervision de robots et de tours industriels
33
Pérez, Frédéric. "Travail de l'archai͏̈que et processus graphiques : le fractal comme moyen d'émergence du chaos dans un "groupe psychotique" : son repérage dans les processus graphiques : ou un outil méthodologique pour une survie psychique." Lyon 2, 2004. http://theses.univ-lyon2.fr/documents/lyon2/2004/perez_f.
Full textAbstract:
L'approche thérapeutique de sujets déficitaires (autistes, psychotiques) fait courir le risque au thérapeute de perdre ses repères par attaque de son travail de liens. Peu de dispositifs pensés et théorisés leur sont proposés. Pour pallier ce manque, ce travail reviendra tout d'abord sur différentes notions métapsychologiques relatives aux questions de l'archai͏̈que et du déficit. Cette recherche porte autant sur les traces graphiques comme objet d'investigation que comme outil méthodologique. Aussi, l'ensemble des outils choisis (groupe, traces graphiques) seront travaillés à leur source, à leurs points d'intersections psychiques et physiques. Les hypothèses proposées ici viseront à approfondir nos outils méthodologiques pour interroger leur efficacité dans notre dispositif peinture-dessin proposé à un groupe de sujets déficitaires. Il s'agira d'appréhender la notion de traces graphiques comme des plus petits communs dénominateurs du fonctionnement intra et inter subjectif. Comme les traces psychiques, elles se créent à partir de l'espace groupal, toutes ces données se situent dans un autre registre que celui de l'espace physique euclidien. En méthodologie sont proposés une étude longitudinale sur le lien entre graphisme et intersubjectivité pour l'ensemble de nos cas cliniques et un travail d'analyse d'œuvres de peintres oscillant également autour des questions archai͏̈ques ainsi que sur l'analyse des fondements du rêve. Nous dégagerons les notions de groupe archai͏̈que, d'intersubjectivité primaire, de porte-inertie et de porte-figuration puis questionnerons l'approche thérapeutique à partir des notions d'attracteurs psychiques dans un procès de fractalisationIn a therapeutic approach with defective persons (autistics, psychotics) there is a risk for the therapeutist to loose his marks when his work on bonds is attacked. Only few thought and theorized studies are available. To fill up with this lack, this study will initially reconsider various metapsychological notions about archaic and deficit. In this research, graphic lines are considered as much as an investigation object as a methodological tool. Thus, all the tools choosen (group, graphic lines) will be studied from their base, and from their psychic and physical points of intersection. The assumption suggested here will aim at deepening thoughtfully our methodological tools, to enquire their effectiveness in the paintings / drawings device we will submit to an archaic group. The graphic lines notion will be studied as the smallest common factors in the intra and inter subjective organisation. Graphic lines, as well as physical lines, are created from a group environment. All the data are not part of the euclidien physical environment. On a methodological point of view, there will be two studies : a longitudinal study of the link between graphism and intersubjectivity (for all our clinical cases) and a work based on the analysis of paintings dealing also with archaic questions and the analysis of the bases of dreams. We will define notions of archaic group, primary intersubjectivity, inertia-carrier and figuration-carrier. Lastly, we will enquire about the therapeutic approach using notions such as psychic attractors in a fractalisationʺ process
34
Gonzalez, Ignacio. "Analyse canonique régularisée pour des données fortement multidimensionnelles." Toulouse 3, 2007. http://thesesups.ups-tlse.fr/99/.
Full textAbstract:
Motivé par la mise en évidence des relations entre l'expression de gènes et d'autres variables biologiques, notre travail consiste à présenter et développer une méthodologie répondant à ce problème. Parmi les méthodes statistiques abordant ce sujet, l'Analyse Canonique (AC) semblait bien appropriée, mais la haute dimensionalité est actuellement l'un des obstacles majeurs pour les techniques statistiques d'analyse de données issues de biopuces. Naturellement l'axe de ce travail a été la recherche de solutions tenant compte de cet aspect crucial dans la mise en oeuvre de l'AC. Parmi les approches envisagées pour contourner ce problème, nous nous sommes intéressés à des méthodes de régularisation. Ainsi, la méthode développée ici, appelée Analyse Canonique Régularisée (ACR), est basée sur le principe de régularisation ridge introduit initialement en régression linéaire multiple. L'ACR nécessitant le choix de deux paramètres de réglage pour sa mise en oeuvre, nous avons proposé la méthode de validation croisée par sous-groupes pour traiter ce problème. Nous avons présenté en détail des applications de l'ACR à des données fortement multidimensionnelles provenant d'études génomiques ainsi qu'à des données provenant d'autres domaines. Sur ce point on s'est intéressé à une visualisation des données aidant à l'interprétation des résultats obtenus. À cet effet, nous avons proposé un certaine nombre de méthodes graphiques : représentations des variables (graphiques des corrélations), représentations des individus ainsi que des représentations alternatives comme les graphiques de réseaux et les cartes de double classification (heatmaps). Pour la mise en oeuvre de l'AC, nous avons développé le package CCA (disponible en ligne sur le site cran. R-project. Org). Ce package permet le traitement de données avec plus de variables que d'unités expérimentales par l'ACR, la manipulation des valeurs manquantes et la réalisation des graphiques aidant à l'interprétation des résultats. .Motivated by the study of relationships between gene expressions and other biological variables, our work consists in presenting and developing a methodology answering this problem. Among the statistical methods treating this subject, Canonical Analysis (CA) seemed well adapted, but the high dimension is at present one of the major obstacles for the statistical techniques of analysis data coming from microarrays. Typically the axis of this work was the research of solutions taking into account this crucial aspect in the implementation of the CA. Among the approaches considered to handle this problem, we were interested in the methods of regularization. The method developed here, called Regularised Canonical Analysis (RCA), is based on the principle of ridge regularization initially introduced in multiple linear regression. RCA needing the choice of two parameters of regulation for its implementation, we proposed the method of M-fold cross-validation to handle this problem. We presented in detail RCA applications to high multidimensional data coming from genomic studies as well as to data coming from other domains. Among other we were interested in a visualization of the data in order to facilitate the interpretation of the results. For that purpose, we proposed some graphical methods: representations of variables (correlations graphs), representations of individuals as well as alternative representations as networks and heatmaps. .
35
Clément, Alexandre. "Langages graphiques pour le contrôle quantique et l'optique linéaire." Electronic Thesis or Diss., Université de Lorraine, 2023. http://www.theses.fr/2023LORR0093.
Full textAbstract:
Dans le modèle usuel de calcul quantique, des opérations sur des données quantiques sont contrôlées de manière essentiellement classique. Un contrôle lui aussi quantique est cependant possible, mais a été peu étudié en comparaison. En particulier, il manque au contrôle quantique un formalisme permettant de l'exprimer de manière simple afin de raisonner efficacement sur des processus l'impliquant. La première contribution de cette thèse est de poser les fondations d'un cadre formel dédié au contrôle quantique, sous la forme d'un langage graphique. Notre principal résultat concernant ce langage est l'introduction d'une théorie équationnelle complète, c'est à dire d'un ensemble d'équations permettant de transformer un diagramme, par réécriture locale successive, en n'importe quel autre diagramme représentant le même programme ou processus physique. Une deuxième contribution est l'application de ce formalisme d'une part au problème de l'optimisation des ressources dans les processus impliquant un contrôle quantique, et d'autre part à la caractérisation de l'équivalence observationnelle des canaux de communication quantiques. La troisième contribution de cette thèse est l'introduction d'un langage pour les circuits optiques linéaires. Nous l'équipons d'une théorie équationnelle complète, ainsi que d'une forme normale simple, accessible par un système de réécriture fortement normalisant et confluent. La dernière contribution de cette thèse, peut-être la plus importante, est l'introduction d'une théorie équationnelle complète pour le langage des circuits quantiques. Nous nous appuyons pour cela sur une correspondance entre les circuits quantiques et les circuits optiques, qui nous permet de transférer la théorie équationnelle déjà obtenue pour les circuits optiquesIn the models of quantum computing usually considered, some quantum data is manipulated by means of operations which are controlled in an essentially classical way. Controlling these operations in a quantum way is actually possible, but has been much less studied. In particular, quantum control misses a formalism in which one could represent it in a simple way in order to efficiently reason on processes involving it. The first contribution of this thesis is to lay the foundations of a formal framework dedicated to quantum control, in the form of a graphical language. Our main result about this language is the introduction of a complete equational theory, that is, a set of equations that makes it possible, by successive local rewriting, to transform a given diagram into any other diagram representing the same program or physical process. A second contribution is to apply this formalism, on the one hand, to the problem of resource optimisation of processes involving quantum control, and on the other hand, to the characterisation of the observational equivalence of quantum communication channels. A third contribution of this thesis is to introduce a language for linear optical circuits. We equip this language with a complete equational theory, together with a simple normal form, reachable via a strongly normalising and confluent rewriting system. The last contribution of this thesis, maybe the most significant one, is to introduce a complete equational theory for the language of quantum circuits. We obtain this result by exploiting a correspondence between quantum circuits and optical circuits, which allows us to transfer the equational theory already obtained for optical circuits
36
Rugamba, Francis. "Conversion de séquences de jeu en diagrammes états-transitions." Thesis, Université Laval, 2012. http://www.theses.ulaval.ca/2012/29304/29304.pdf.
Full textAbstract:
De nos jours, le développement des personnages de jeux est devenu une tâche dif-
ficile en raison de la complexité toujours grandissante des jeux vidéos actuels. Pour
diminuer la complexité liée au développement de ces personnages, certaines approches
sont applicables et consistent à utiliser des techniques d'intelligence artificielle. Dans
ce travail, nous proposons d'utiliser des diagrammes états-transitions pour activer un
personnage de jeu vidéo.
Nous étudions les moyens de construire des diagrammes états-transitions et plus
spécifiquement comment les structurer à partir des séquences de jeux. Les performances
des diagrammes construits sont évaluées et nous analysons les possibilités d'améliorer
les rendements obtenus.
Dans nos expérimentations, nous utilisons le jeu de poursuite dénommé Pacman.
Pacman constitue un banc d'essai idéal car il présente un environnement dynamique et
séquentiel et nécessite une prise de décision en temps réel.
Dans ce travail nous tentons d'accomplir les tâches suivantes :
Acquérir des séquences de jeux à travers l'utilisation de l'apprentissage par la
démonstration.
Structurer des diagrammes états-transitions à partir des séquences de jeux.
Analyser la possibilité d'améliorer les performances des diagrammes états-transitions
par l'utilisation des techniques de raisonnement à base de cas et des éléments de
la théorie de l'information.Nowadays, developing game characters has become a difficult task because of the increasing complexity of actual video games. To reduce the complexity of developing those characters, some approaches exist and consist of using artificial intelligence techniques. In this project, we propose using state machines to activate a video game character. We learn the means to build state machines and more specifically how to structure them from game sequences. The performance of those state machines is evaluated and we analyze the possibility of improving the results. In our experimentations, we use the pursuit game called Pacman. Pacman constitute an ideal testbed because it others a dynamic and sequential environment and it calls for real time decision making. In this work we are trying to accomplish the following tasks : Acquire game sequences through usage of learning from demonstration. Structure the state machines from game sequences. Analyze the possibility of improving the performances of the state machines by using case-based reasoning techniques and elements of information theory.
37
Verdier, Matthieu. "Contribution à l'étude de la génération de trajectoires pour les systèmes dynamiques non linéaires sous contraintes : application aux robots manipulateurs." Paris 11, 1990. http://www.theses.fr/1990PA112353.
Full textAbstract:
Le problème de la génération de trajectoires pour les systèmes dynamiques non linéaires sous contraintes non linéaires est considèré en utilisant les techniques de linéarisation par bouclage statique. Après un exposé du formalisme de la linearisation par bouclages statiques, on utilise cette technique pour s'affranchir des problèmes d'intégration numériques pour la génération de trajectoires de grands systèmes non linéaires sous contraintes, l'intégration du système se faisant analytiquement. La technique consiste à optimiser du point de vue local (pas à pas) un critère algébrique (sans contraintes différentielles) par rapport aux contraintes. Les problèmes inhérents à l'approche locale ont été traités pour des recherches de trajectoires de robots manipulateurs. Nous illustrons la méthode par des simulations obtenues avec le modèle du puma 560. Cette méthode peut être utilisée pour la génération de trajectoire en boucle fermée
38
Alvernhe, Eric. "Distance au minimum local pour le problème de la stéréovision." Montpellier 2, 2006. http://www.theses.fr/2006MON20216.
Full text
39
Salim, Abdelkader. "Ecoulements diphasiques liquide-gaz et liquide-liquide dans les microcanaux : Apport de l'analyse d'image." Nancy 1, 2006. http://www.theses.fr/2006NAN10006.
Full textAbstract:
Cette étude est divisée en deux parties: la première est consacrée à une nouvelle méthode permettant de déterminer l'angle de contact air-liquide-solide ou liquide-liquide-solide. Les valeurs d'angles obtenues par le microscope confocal à balayage laser (CSLM) à partir du modèle en 3D de la goutte montrent un bon accord avec les valeurs qu'on obtient à partir de la méthode conventionnelle du goniomètre. La modélisation géométrique en 3D de la goutte obtenue à partir des images CSLM a permis d'étudier la distribution locale des angles de contact autour de la goutte, et donc de détecter une hétérogénéité locale d'une surface plane solide. La deuxième partie est consacrée à une étude expérimentale des écoulements diphasiques liquide-gaz et liquide-liquide dans des microcanaux horizontaux. Pour chaque couple de fluides, les pertes de pression ont été mesurées et les configurations d'écoulements ont été identifiées pour une large gamme de nombres de Reynolds. Les cartographies d'écoulements ont été réalisées et comparées avec celles de la littérature. Pour les écoulements liquide-gaz, cette étude a montré l'effet des propriétés physiques des fluides sur les configurations d'écoulements et donc sur les pertes de pression. Pour les écoulements liquide-liquide, les expériences ont été réalisées dans deux cas de figure : microcanaux initialement saturés en huile et microcanaux initialement saturés en eau. Dans la gamme des débits étudiée, on observe une différence de configurations d'écoulements et donc de pertes de pression entre les deux séries d'expériences. Pour les deux systèmes liquide-gaz et liquide-liquide, les résultats expérimentaux sont interprétés au moyen du modèle homogène et de l'approche de Lockhart-MartinelliThis study is divided in two parts: the first one presents a new technique to quantify contact angle and then the wettability. This technique uses a confocal laser scanning microscope (CSLM) and allows to record series of 2-D images of a fluorescent liquid droplets set on various solids surfaces. The building of 3-D images is done with the summation of several images acquired with a regular step along the CSLM z-axis. The results obtained are similar to those obtained with a conventional goniometric technique for different air-liquid-solid systems. The CSLM images shows that drops are characterized by complex morphologies and that the local contact angles can be modified by chemical heterogeneities in the fluids. The second part is mainly an experimental study which deals with liquid-gas and liquid-liquid flows in horizontal microchannels. For each system, the pressures drops are measured and the flow regime maps are realised and compared with those presented in the literature. In the case of liquid-gas flows, the fluid properties have a great impact on the pressure drops and flow patterns. For liquid-liquid flows, two types of experiments are studied: microchannels initially saturated with oil and microchannels initially saturated with water. In the range of the Reynolds numbers considered, a difference in the pressure drops and the flow patterns are observed. The experimental results are interpreted with the homogeneous model and the Lockhart-Martinelli approach
40
Guillemot, Vincent. "Application de méthodes de classification supervisée et intégration de données hétérogènes pour des données transcriptomiques à haut-débit." Phd thesis, Université Paris Sud - Paris XI, 2010. http://tel.archives-ouvertes.fr/tel-00481822.
Full textAbstract:
Les méthodes d'apprentissage supervisé sont appliquées depuis récemment à des jeux de données de puces à ADN, afin d'une part d'extraire des gènes impliqués dans les différences entre les classes d'individus étudiés et d'autre part de construire une fonction de classification permettant de prédire la classe d'un nouvel individu. Ces données de puces à ADN peuvent être accompagnées d'une information précieuse décrivant les interactions entre les variables (les gènes). Cette information est regroupée sous la forme de réseaux de régulations génétiques (RRG). L'objectif de la thèse est de réaliser l'intégration de l'information contenue dans ces RRGs dans une méthode de classification supervisée binaire. Nous proposons une nouvelle méthode, graph Constrained Discriminant Analysis (gCDA), basée sur l'analyse discriminante de Fisher. Les méthodes de la littérature se proposent d'implémenter la contrainte suivante : les gènes qui sont voisins dans le RRG doivent avoir des poids proches, voire identiques, dans la fonction de classification. À contrepoint de ces méthodes, gCDA est basée sur l'estimation régularisée des matrices de variance covariance qui sont utilisées dans l'analyse discriminante de Fisher. Les estimateurs utilisés dans gCDA prennent en compte l'information contenue dans les RRGs disponibles a priori grâce aux propriétés des modèles graphiques gaussiens. gCDA est comparée aux méthodes de la littérature sur des données simulées, données pour lesquelles le graphe sous-jacent est parfaitement connu. Dans le cas de données réelles, le graphe sous-jacent décrivant les interactions entre variables n'est pas connu. Nous nous sommes donc également intéressés à des méthodes permettant d'inférer de tels graphes à partir de données transcriptomiques. Enfin, des résultats sont obtenus sur trois jeux de données réelles. Les RRG ont été inférés soit sur des jeux de données de même nature mais indépendants (c'est-à-dire concernant des individus qui ne sont pas utilisés pour en classification), soit sur une partie indépendante du jeu de données étudié. Nous montrons une amélioration notable des performances de classification sur ces jeux de données lorsque gCDA est utilisée par rapport à l'utilisation des méthodes de la littérature décrites dans la deuxième partie.
41
Carette, Titouan. "Manier le ZX-calcul : flexsymétrie, systèmes ouverts et limandes." Electronic Thesis or Diss., Université de Lorraine, 2021. http://www.theses.fr/2021LORR0200.
Full textAbstract:
Cette thèse concerne l'application de langages graphiques à l'informatique quantique. Par langages graphiques on entends l'usage de diagrammes, très similaire au circuits, représentant des évolutions de systèmes quantique. La thèse introduit ces langages dans le formalisme de la théorie des catégories et s’intéresse en particulier a un langage : le ZX-calcul, ainsi qu'a ses proche parent le ZW-calcul et le ZH-calcul. La notion de flexsymmetrie est introduite, décrivant des diagrammes dont les entrés et sorties sont toutes interchangeables entre elles. La notion et ensuite utilisée pour classifier tout les langage similaire au ZX-calcul. Il est montré que les seuls langages admissibles sont le ZX-calcul, le ZW-calcul et le ZH-calcul. Ensuite est abordée la question de l'extension de ces langages au cas de systèmes mixtes classique-quantique. Une construction catégorique générale est proposée et est utilisée pour étendre les différent langages. Enfin la thèse introduit des notations permettant de représenter de manière compact des algorithmes quantiques mettant en jeux des diagrammes arbitrairement grand. Afin d'en éprouver l'efficacité, ces notations sont utilisé pour montrer graphiquement la correction de différents algorithmes quantiquesThis thesis is about the application of graphical languages to quantum computing. By graphical language, we mean the use of diagrams, similar to circuits, representing the evolution of quantum systems. The thesis introduces those languages in the formalism of category theory and focuses mainly on one language: the ZX-calculus, and its close relatives, the ZW-calculus and ZH-calculus. The notion of flexsymmetry is introduced, describing diagrams whose inputs and outputs are all interchangeable. This notion is used to classified all languages similar to the ZX-calculus. It is shown that the only admissible languages are the ZX-calculus, the ZH-calculus, and the ZW-calculus. Then is tackled the question of extending those languages to mixed-state quantum mechanics. A general categorical construction is proposed and is applied to provide extensions of the different languages. Finally, the thesis introduces notations allowing to handle in a compact way quantum algorithms relying on arbitrary large diagrams. To challenge their efficiency, those notations are used to show the correction of various quantum algorithms
42
Marcon, Eric. "Simulation du comportement graphique du matériau textile." Lyon 1, 1989. http://www.theses.fr/1989LYO10061.
Full text
43
Renaud, Sylvie. "Contribution à la caractérisation des circuits de conversion analogique numérique : conception et réalisation d'un système d'évaluation dynamique de ces dispositifs." Bordeaux 1, 1990. http://www.theses.fr/1990BOR10505.
Full textAbstract:
Les dispositifs de conversion de donnees qui associent, sur la meme puce, circuits numerique et analogique, doivent etre caracterises par des methodes specifiques tenant compte de cette dualite. Le travail presente etudie sur ces dispositifs les methodes de caracterisation dynamiques correspondant a un fonctionnement proche d'une utilisation reelle: methode statistique par histogramme, methode spectrale par fft, methode temporelle par "fit". Chacune des analyses possibles est etudiee sur le plan theorique, les parametres qu'elles permettent de mesurer sont deduits, et leurs performances sont comparees. Un systeme de caracterisation a ete realise, et est decrit: il est constitue d'un ensemble informatique pilotant un appareillage electronique relie au composant. Son originalite reside dans la carte d'acquisition implantee dans l'ordinateur et dans le logiciel rassemblant les algorithmes de caracterisation et optimise pour procurer une vitesse de traitement et une convivialite maximales. Des exemples de tests de convertisseurs analogique-numerique sont presentes et etudies, tant au niveau de la methodologie du test que des performances du composant analyse
44
Forestier, Christian. "Contribution à l'étude et à la réalisation d'un système de programmation des robots industriels." Aix-Marseille 3, 1989. http://www.theses.fr/1989AIX30026.
Full textAbstract:
Ce memoire a pour objet l'etude d'un systeme de programmation de tache et de conduite d'un robot industriel, par le biais d'un dialogue homme-machine totalement graphique. Ce systeme integre egalement les primitives fondamentales de decision, assurant ainsi une relation directe avec tout systeme de commande a architecture decentralisee. L'auteur modelise l'ensemble de la commande et de la programmation du robot par trois machines (machines d'execution, de relation et de creation), ce qui lui permet de specifier les caracteristiques fondamentales du systeme de programmation de tache et de conduite. La description des taches est entierement graphique, notamment grace a l'introduction de la notion de macro-trajectoire, qui permet de specifier tout a la fois le deplacement et les orientations des objets manipules. L'ensemble de ces resultats a conduit a la realisation d'un logiciel complet de programmation et conduite, integrant un systeme graphique interactif de dialogue homme/machine, autorisant aussi bien des actions a execution immediate, qu'a execution differee
45
Levreau, Gilles. "Un environnement de conception, de documentation et de maintenance de schémas de bases de données." Paris 6, 1995. http://www.theses.fr/1995PA066376.
Full textAbstract:
Lors du processus de conception d'une base de données, la représentation graphique du schéma conceptuel de cette base joue un rôle central car elle aide à comprendre et a communiquer le schéma. Cependant, cette représentation graphique peut être plus ou moins efficace selon son adéquation avec les attentes et besoins des concepteurs. La recherche présentée dans cette thèse concerne un éditeur graphique de schémas conceptuels de type entité/association. L'objectif de notre recherche est de concevoir l'éditeur de manière a favoriser le processus de conception et de maintenance des bases de données. A cette fin nous avons considèré deux axes de recherche. Le premier axe est base sur une étude de la convivialité de la représentation graphique des schémas, en ayant recours d'une part a l'ergonomie, d'autre part a une modélisation formelle de la représentation graphique de schémas. Le second axe de recherche consiste à se servir de l'éditeur graphique pour simplifier la gestion des informations liées au schéma d'une base de données. A cette fin nous proposons d'introduire des facilites hyper textuelles dans l'éditeur graphique
46
Keskessa, Bachir. "Contribution à la modélisation didactique d'outils graphiques dans la maîtrise d'un processus en temps réel." Grenoble 2, 1998. http://www.theses.fr/1998GRE29052.
Full textAbstract:
Nous abordons la question des outils graphiques fonctionnels en technologie dans la transition collège/lycée. Les graphiques fonctionnels apparaissent lies au système des objets techniques du système de production. Les notions d'incident, d'internalite et d'externalité introduites ont permis une analyse fine d'éléments sémiotiques dans l'instrumentation graphique en contexte de production. L'étude expérimentale fait apparaître des différences significatives d'habiletés graphiques selon les modalités internaliste ou externaliste du système de production. La confrontation de ces deux modalités a favorise une modélisation de l'outil graphique en vue d'une maîtrise d'un processus de production en temps réel a des fins d'enseignement et d'apprentissageWe tackle the problem of functional graphic tools in technology in the transition secondary school/high school. The functional graphic tools appear to be linked to the system of the technical objects within the productive system. The notions of incident, internality and externality introduced, have allowed a fine analysis of semiotic elements in the graphic instrumentation within the production. The experimental study shows different significant graphic skills according to the internal or external modes of the productive system. The comparison of these two modes has enabled a modelization of the graphic tool for the command of a productive system in real time aiming at teaching and training
47
Ashraf, Muhammad. "Catégorisation de graphiques par les enseignants et les élèves." Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENH018/document.
Full textAbstract:
Les graphiques ont pris de plus en plus d'importance dans le matériel pédagogique, les manuels scolaires ou encore les programmes informatiques. Malgré la coexistence de différents types de graphiques ou de genres graphiques, jusqu'à maintenant, les recherches sur l'apprentissage ont seulement pris en compte la distinction entre le texte et l'image. Cette thèse vise à éclaircir ce qui, dans la recherche sur l'apprentissage, semble être une catégorie globale et indivisible : les représentations visuelles. Nous nous sommes concentrées sur ce que pensent des enseignants et des étudiants de Master concernant différents types de représentations visuelles et leurs fonctions présumées dans l'enseignement et l'apprentissage. A l'heure actuelle, la recherche sur les graphiques est principalement axée sur la compréhension des élèves. Il existe très peu de recherches sur la compréhension des graphiques par les enseignants. En outre, la dimension de la formation des enseignants aux graphiques est, elle aussi, relativement ignorée. La thèse se présente en deux parties : une recherche théorique suivie d'une recherche empirique. La première partie du travail examine la littérature relative aux représentations graphiques dans l'histoire, dans les programmes scolaires à travers le monde ainsi que leur utilisation dans l'enseignement et l'apprentissage. Elle expose également les classifications des différents types de graphiques. La seconde partie de la thèse prend appui sur trois enquêtes menées auprès d'enseignants en activité et d'étudiants de Master en formation. La première investigue la compréhension des graphiques d'enseignants en activité en France et au Pakistan. Les deux autres ont été conduites auprès de futurs enseignants, en utilisant la méthode du tri de carte, afin d'identifier leurs compétences relatives à la catégorisation des différents types de graphiques.En conclusion, il semble que les programmes de formation des enseignants manquent d'un enseignement à la compréhension graphique. Même en géographie, pourtant considérée comme la discipline des graphiques et de leur enseignement, nous constatons que les enseignants sont peu familiers avec de nombreux genres graphiques. Dans l'ensemble, les graphiques génériques (camemberts, histogrammes, cartes et tableaux, etc.) ont été facilement identifiés par les enseignants alors que la classification des graphiques hybrides s'est révélée plus difficile pour la plupart d'entre euxVisualizations have gained more importance in pedagogical material, in text books and in computer programs. Despite the co-existence of many different types of visualizations or graphical genres, learning research only has taken into account the distinction between text and pictures. This thesis aims at unpacking what, at least in learning research, seems to be one single holistic indivisible category of visualizations. We focused on teachers' and Masters students' thoughts on the existence of different types of visualizations and their presumed function in teaching and learning. Research on graphical representations is mainly focused on students' comprehension of graphical representations. However, there is very little research in extend of teachers' comprehension of graphical representations. In addition, the aspect of teacher training of graphical representations is also relatively ignored. There are two main parts in this thesis: theoretical and empirical. In theoretical part, we presented the literature on the existence of graphical representations in worldwide curricula. Remarkable works of cartographers who played important rule for the advancement of graphic representations in context of teaching and learning. And finally, classification of different genres of graphical representations was also exhibited. Empirical part on the other hand, based on three studies conducted with in-service teachers and Masters students' about their comprehension of graphical genres. First study was conducted with in-service teachers from France and Pakistan to investigate their basic understanding of graphical representations. Second and third study explores the Masters' students' categorization of graphical representations. In conclusion, it seems that the teacher training programs lack the training of graphic comprehension. Even in the domain of geography which is considered the major domain about graphics and graphic education, teachers were observed unfamiliar with many graphic genres. Overall, Generic graphical representations (i.e. line graph, pie charts, bar charts, maps and tables etc.) were identified more comfortably. However, classification of hybrid graphical representations (i.e. combination of map and bar graph or other hybrid graphics) was slightly difficult for the participants
48
Keraron, Yves. "Couplages entre le sytème documentaire et les systèmes technique et humain : les mutations numériques." Nantes, 2007. http://www.theses.fr/2007NANT2049.
Full textAbstract:
Le travail présenté dans ce mémoire de thèse contribue à une approche plus rationnelle du document en particulier dans le cadre de la documentation technique d'installations industrielles. Après la description d'expériences empiriques significatives et un état de la normalisation dans le domaine, nous nous attachons à mieux définir le concept de document. Notre fil conducteur est la genèse du document comme objet technique lui-même. Puis nous adoptons une approche structuraliste afin de replacer le document dans son système et dans le système industriel pour mieux nous intéresser ensuite aux couplages du système documentaire avec les systèmes physique et humain. Des enquêtes-terrain sur l'utilisation du système électronique de documentation d'un avion de chasse nous permettent de confirmer la pertinence de notre cadre théorique et de mieux exploiter les données collectées lors d'entretiens semi-dirigés. Nous faisons un bilan sur les enseignements à tirer selon les différents niveaux de la structure du système documentaire. Nous décrivons ensuite la réalisation d'un prototype d'annotations graphiques intégré au référentiel numérique d'une usine de procédé afin de mieux traiter les besoins de mise-à-jour des documents suite à modifications des installations. Nous proposons une modélisation UML générique du système documentaire répondant aux exigences de conservation et aux besoins de manipulation liés aux activités métier. Enfin, nous décrivons brièvement les perspectives ouvertes par ce travail ainsi que les prolongements pratiques que nous avons l'intention de lui donnerThis PhD work is a contribution to a more rational approach of documentation for its application to technical publication of industrial facilities. After a description of significative empirical experiences and a state of the standardization in the field, we focus our efforts on the definition of the concept of document. Our main theme is the genesis of the document as a technical object itself. We adopt also a structuralist approach of the document in its own system and we consider the couplings between the document, the physical and the human systems involved in an industrial system. Field studies on the use of the digital document system for a fighter aircraft confirm the interest of our theoretical framework and allow us to propose an improved valorization of the collected data through half directed interviews. We draw lessons for the different structure levels of the document system. We then describe the realisation of a prototype for graphical annotating, integrated to the digital repository of a process facility in order to better deal with the issues of updating the documents after modification of the facilities. \\ We propose an UML generic modeling of the document system to face the preservation requirements on one hand and the handling needs of the business processes on the other one. We briefly describe perspectives opened by this work and practical extensions we wish to work on at
49
Ghafouri, Gharavi Mohammad. "Représentations sensori-motrices du geste graphique dans l'espace tridimensionnel." Nancy 1, 1997. http://www.theses.fr/1997NAN10017.
Full textAbstract:
L'objectif de ce travail est l'étude de la représentation de l'espace péri-personnel chez l'homme. Cette étude est abordée par l'analyse du mouvement du bras dans l'espace tridimensionnel. Ce mouvement consiste en la production de gestes graphiques -des ellipses- dans les trois plans de référence anatomiques : les plans sagittal, frontal et horizontal. Par le choix de ce paradigme expérimental, on considère le mouvement comme l'expression d'un processus cognitif per se : la représentation perceptivo-motrice de l'espace tridimensionnel. La production des gestes graphiques dans l'espace a été enregistrée au moyen d'un système d'analyse de mouvement tridimensionnel Vicon. Dans la première partie, une étude comparative a été faite sur la représentation mentale de l'espace et l'influence des informations visuelles. Les résultats de cette première partie mettent en évidence l'existence d'une anisotropie dans la représentation motrice des plans de référence anatomiques. Dans la seconde partie nous avons étudié l'influence de la nature du mouvement sur la production des figures orientées dans l'espace péri-personnel. Dans cette partie les ellipses ont été produites soit par le tracé continu soit par le pointage. Les résultats confirment l'anisotropie que nous avons trouvée dans la première partie de notre étude. Dans la troisième partie, les performances des personnes âgées ne souffrant pas de déficit neurosensoriel, ont été étudiées. L'anisotropie dans la représentation motrice de l'espace, observée chez les personnes âgées, peut être interprétée comme un rétrécissement de la représentation de l'espace péri-personnelThe goal of this work was to study the representation of the peri-personnal space in man. This investigation is performed by analysing the arm movement in the three-dimensional space. This movement consisted in the production of drawing movements -ellipses- executed in the three anatomical reference planes: the sagittal, the frontal and the horizontal. By selecting this experimental paradigm, we consider the movement as the expression of a cognitif processus per se: the perceptual motor representation of the three-dimensional space. The drawing movements in the space were recorded by means of the Vicon three-dimensional motion analyser. In the first part of this work, a comparative study has been done about the mental representation of the space and the influence of the visual information. The results of this first part showed that the motor representation of the anatomical reference planes was anisotropic. In the second part, we have studied the influence of the nature of the movement on the production of oriented figure in the space. In this part, the ellipses have been produced by drawing and by pointing. The results confirmed the anisotropy found in the first part of our work. In the third part, the performance of elderly subjects -not suffering of any neurosensorial deficiency- has been studied. The anisotropy in the motor representation of the space, observed for the elderly subjects, can be interpreted as a shrinking of the representation of the peri-personnal space
50
Tabourier, Lionel. "Méthode de comparaison des topologies de graphes complexes : applications aux réseaux sociaux." Paris 6, 2010. http://www.theses.fr/2010PA066335.
Full textAbstract:
Les graphes des réseaux d'interactions sociales révèlent des propriétés topologiques dont nous cherchons à comprendre l'origine. Dans ce but nous manquons de références qui permettraient de construire une échelle de comparaison de leurs caractéristiques géométriques. Cette thèse propose une méthode générique pour produire des graphes synthétiques dont les propriétés sont ajustables, dans l'ambition de réaliser un balisage de l'espace des graphes. La méthode proposée dérive de procédures markoviennes dont l'étape élémentaire consiste à échanger les extrêmités de liens du graphe. Selon les contraintes imposées, une telle procédure doit être adaptée; nous discutons alors des difficultés inhérentes à sa réalisation pratique et les moyens à notre disposition pour estimer sa validité. Puis nous rendons compte d'applications pratiques sur des réseaux technologiques, de collaborations, ou d'échanges commerciaux. Le principe mis en oeuvre dans ces illustrations consiste à construire une suite d'ensembles de graphes obéissant à des contraintes de plus en plus exigeantes; puis à comparer les propriétés de chacun aux données réelles afin de déterminer quels éléments topologiques ont un rôle essentiel. Au fil des exemples, nous proposons des améliorations techniques de nos algorithmes qui permettraient d'en élargir les utilisations possibles. Cette méthode serait suffisamment générale pour pouvoir décrire des réseaux d'interactions d'une autre nature, mais aussi pour intégrer des informations supplémentaires à la description graphique telles que l'activité temporelle des agents; nous proposons pour conclure quelques éléments de réflexion pour réaliser ces objectifs.