Dissertationen zum Thema „Analyse des systèmes – Simulation par ordinateur“
Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Analyse des systèmes – Simulation par ordinateur.
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Dissertationen für die Forschung zum Thema "Analyse des systèmes – Simulation par ordinateur" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Dissertationen für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
1
Pierreval, Henri. „Analyse, modélisation et simulation des systèmes de production : application au cas d'une fonderie“. Lyon 1, 1987. http://www.theses.fr/1987LYO19029.
Der volle Inhalt der QuelleAnnotation:
La complexité des systèmes de production impose un cadre conceptuel et des outils adaptés à leurs spécificités. L'emploi de SADT et d'extensions de cette méthode est proposé, d'abord dans le cas général, puis pour le cas particulier de la simulation. Les principaux traits des modèles pour l'évaluation des systèmes de production sont introduits. La notion de modèle intermédiaire est définie et illustrée. La démarche méthodologique, et les outils nécessaires pour la mise en place de simulations sont exposés. Une place importante est attribuée à l'animation graphique. Le rôle des systèmes experts en simulation est déterminé; l'attention est portée sur leur apport pour la modélisation des activités décisionnelles en temps réel. Un processeur logique, basé sur GOSSEYN a été mis au point pour ce propos. Les différentes approches proposées sont illustrées par le cas de l'analyse, de la modélisation, et de la simulation avec SLAM des ateliers de fonderie de RVI à Vénissieux.
2
Riyanto. „Simulation, optimisation, et analyse de performances pour les systèmes industriels d'acquisition d'images“. Toulouse, INPT, 1997. http://www.theses.fr/1997INPT107H.
Der volle Inhalt der QuelleAnnotation:
Le systeme d'acquisition d'images est un element crucial dans un systeme de vision par ordinateur. Meilleures seront les images obtenues, meilleurs seront les resultats des algorithmes de traitement d'images. Ce memoire presente une etude approfondie sur les systemes d'acquisition d'images utilises dans un contexte industriel dans le but d'evaluer leur performance et de proposer des voies d'amelioration. L'etude est divisee en trois parties : la premiere partie realise une etude theorique de ces systemes. Une modelisation complete du processus de la formation d'images est proposee. La deuxieme partie propose l'utilisation de ce modele sous forme d'un simulateur. La mesure de performance d'un systeme d'acquisition en terme de la qualite de l'eclairage et des images obtenues est introduite. Utilisant la methode de monte carlo pour simuler les perturbations aleatoires des parametres de ce systeme, les parametres critiques peuvent ainsi etre determines. La troisieme partie propose un outil d'optimisation des parametres d'eclairage par une approche semi-automatique. Il est base sur la resolution de problemes d'optimisation non lineaires avec contraintes utilisant la methode sqp (sequential quadratic programming).
3
Durieux, Séverine. „Analyse de performance par simulation et conception de systèmes de production robustes“. Clermont-Ferrand 2, 2003. http://www.theses.fr/2003CLF21444.
Der volle Inhalt der QuelleAnnotation:
La simulation des flux tient, dans les études de conception de systèmes une place prépondérante. Cependant, la plupart des études ne prend en compte qu'un contexte donné (i. E. Un environnement). Or, cet environnement peut changer. Ainsi, les très bonnes performances obtenues sur un environnement peuvent être détériorées si celui-ci évolue. Il est donc important de prendre en compte ces changements éventuels lors de l'évaluation des solutions, pour concevoir des systèmes performants et robustes. Dans ce travail, nous nous intéressons à la notion de robustesse, présentons plusieurs approches de la littérature, leurs intérêts et leurs limites. Nous proposons un cadre conceptuel et une démarche méthodologique pour aborder ce type d'étude. Nous suggérons l'utilisation de plusieurs autres méthodes comme les treillis de Galois ou l'analyse de risque ainsi qu'une nouvelle approche basée sur des courbes de références. Enfin, plusieurs applications industrielles illustrent ces approches
4
Bouloux, Catherine. „Modélisation, simulations et analyse mathématique de systèmes hôtes-parasites“. Bordeaux 1, 1997. http://www.theses.fr/1997BOR10626.
Der volle Inhalt der QuelleAnnotation:
Nous étudions certains systèmes hôtes-parasites. Dans les deux premières parties, les parasites sont des macroparasites Diplectanum Aequans, parasitant les bars Dicentrarchus Labrax alors que dans la troisième partie, il s'agit de microparasites, le VIF (virus d'immunodéficience féline) et le VLF (virus de la leucémie féline) infestant des populations de chats. Dans la première partie un modèle discret en temps est proposé : il n'y a pas de démographie dans les populations d'hôtes dont la mortalité est uniquement due aux parasites. On effectue des simulations numériques et nous mettons en évidence deux principales dynamiques. Dans la deuxième partie, nous construisons plusieurs modèles hôtes-parasites continus en temps avec ou sans structuration spatiale ; nous travaillons avec des classes d'hôtes ayant une certaine charge parasitaire, ce qui nous amène à un système comportant un nombre infini d'EDO ou d'EDP. Puis, grâce à des hypothèses standards simplificatrices, nous réduisons ce système en un nombre fini d'équations. Nous procédons ensuite à l'étude mathématique de certains d'entre eux : le système hôtes immatures-hôtes adultes sans parasite, les systèmes hotes-parasites à deux ou trois classes de populations. Afin de faire un lien entre le modèle discret et les modèles continus, nous étudions le modèle à trois classes de populations sans démographie des hôtes ; nous faisons l'étude du modèle d'EDO par l'analyse mathématique et les simulations numériques, puis nous le comparons avec le modèle discret. Le modèle d'EDP possède des singularités dans les termes de réaction ; l'étude d'un problème approche, nous permet d'obtenir des résultats préliminaires du problème initial. Dans la troisième partie, nous étudions un modèle mixte de viroses dans une population de chats domestiques (Felis Catus) : les virus en présence sont le VIF et le VLF. Nous obtenons un système d'EDP à six équations et nous donnons un résultat d'existence globale.
5
Alvinerie, Eric. „Contribution à l'étude des jets anisothermes plans par analyse de stabilité et simulation numérique directe“. Poitiers, 1996. http://www.theses.fr/1996POIT2335.
Der volle Inhalt der QuelleAnnotation:
Le travail porte sur l'etude de la transition a la turbulence de jets plans, non isothermes, verticaux, en convection mixte. Une etude de stabilite lineaire classique est d'abord realisee sur des profils de vitesse de type jets libres ou parietaux. Les valeurs critiques du nombre de reynolds et des nombres d'ondes sont estimees. Il est montre que les forces de poussee d'archimede, quel que soit leur sens, ont toujours un effet destabilisant. Les modes preferentiels sont determines par une etude de stabilite lineaire convective-absolue. Des comportements locaux differents selon le profil de vitesse utilise sont observes. Ensuite, on etudie le developpement spatial de ces jets a l'aide de la simulation numerique directe, en resolvant les equations de navier-stokes bidimensionnelles, instationnaires, dans le cadre des hypotheses de boussinesq, en formulation fonction de courant, vorticite. Une attention speciale est apportee au traitement des conditions aux limites, en particulier dans le cas des ecoulements non symetriques. La solution numerique est tres sensible aux profils de vitesse imposes a l'injection, aux conditions de sortie prises a la frontiere en aval et, dans le cas des ecoulements convectivement instables, aux perturbations utilisees pour la destabiliser. Il est ainsi possible d'observer des structures symetriques, antisymetriques ou chaotiques, avec de grandes variations du taux d'amplification spatiale. Les forces de poussee d'archimede favorables a l'ecoulement provoquent le declenchement des instabilites plus en amont, mais, selon le profil de vitesse impose a l'injection, leur amplification spatiale est plus ou moins importante. Il est donc montre dans cette etude que, dans une certaine mesure, la stabilite des ecoulements de type jets plans, anisothermes, peut etre controlee en modifiant judicieusement les conditions d'injection. Enfin, des methodes de visualisations numeriques particulierement adaptees a l'analyse des resultats obtenus par simulation directe sont presentees
6
Tabti, Saïd. „Modélisation macroscopique de l'écoulement du trafic aérien : une approche par analyse de données multidimensionnelles“. Lyon 1, 1999. http://www.theses.fr/1999LYO10055.
Der volle Inhalt der QuelleAnnotation:
La simulation par ordinateur est tres utilisee, dans le domaine du trafic aerien. Les besoins en sont nombreux : la prevision, la regulation, le controle du trafic et l'aide a la decision. Bien que les outils connus, dans ce domaine, soient tres nombreux et tres varies, il reste que certains problemes ne sont pas encore totalement resolus. Il s'agit, notamment de tout ce qui a trait a l'amelioration de l'ecoulement des flux de trafic, que ce soit au niveau des grands aeroports, ou de l'espace en route, et ce dans un horizon de temps a court terme (i. E. Moins d'une heure). Les principales causes des difficultes rencontrees sont l'augmentation continue de la demande de trafic aerien, la limitation operationnelle de la capacite de l'espace en route et des aeroports, sans oublier bien sur les innombrables incertitudes sur la demande et la capacite. La limite de capacite est due, en partie, a la presence dans le systeme, d'operateurs humains (controleurs). Les modeles d'ecoulement du trafic aerien, connus en litterature sous le nom de modeles de simulation rapide, sont generalement bases sur des techniques de simulation a evenements discrets. Ils sont, de ce fait, microscopiques (i. E. L'entite simulee est l'avion). Comme ils sont assez precis et utilisent un jeux important de donnees, ils sont assez lourds a manipuler et ils sont longs en terme de temps de calcul. Nous proposons, dans cette recherche, une autre approche de modelisation de l'ecoulement du trafic aerien. Le modele propose utilise des concepts, plus au moins opposes a ceux des modeles actuels, c'est a dire : _ il est concu sous une approche macroscopique, mais il supporte des demandes de trafic, aussi bien exprimees sous forme de flux de trafic, ou d'avions individuels. _ il est analytique, c'est a dire il est base sur un jeux d'equations mathematiques, _ il est rapide en temps de calcul, _ il est utilisable dans une boucle de controle (en trafic aerien, on dit regulation), a court terme, des flux de trafic, notamment par le biais d'un jeux de variables de commande inherentes au modele. _ ses parametres internes de base sont estimes
7
Alliet, Marion. „Concepts et outils logiciels pour l'aide à l'analyse des résultats de simulations statiques de procédés“. Toulouse, INPT, 1997. http://www.theses.fr/1997INPT004G.
Der volle Inhalt der QuelleAnnotation:
L'objectif de ce travail est de definir de nouveaux concepts et de concevoir des outils logiciels pour l'aide a l'analyse des resultats de simulations de procedes continus en regime permanent. L'auteur montre que l'aide sera d'autant plus efficace que la structuration de l'information sera proche de la vision de l'utilisateur. Ainsi, dans une premiere partie, une synthese bibliographique des modelisations orientees utilisateur et des outils d'aides existants, tels qu'interfaces graphiques ou systemes experts, est effectuee. La modelisation proposee repose sur trois concepts generaux : l'agregation, le modele fonctionnel et le chemin. L'agregation, qui autorise differents niveaux d'abstraction, est appliquee aux elements constitutifs d'un procede : appareils, courants de matiere et d'energie et constituants. Les modeles fonctionnels ont pour objectif d'etudier le procede d'apres les fonctions qu'il doit remplir. Deux fonctions principales ont ete identifiees : reagir et separer ; leur modeles fonctionnels et les criteres d'evaluation associes ont ete developpes. Utilises conjointement, les concepts d'agregation et de modeles fonctionnels permettent de degager les roles respectifs des elements ou agregats d'un procede. Quant au chemin, il consiste a suivre l'evolution d'un constituant ou d'une propriete physique le long des courants du procede. Ce concept permet une vision du procede par constituant ou par propriete et non plus uniquement par courant. Les outils developpes, sur la base des elements de modelisation proposes, sont la visualisation et la verification de contraintes. La visualisation fournit une representation graphique du fonctionnement du procede. La verification de contraintes consiste en la comparaison des resultats de la simulation avec un type de fonctionnement attendu du procede, tels que le respect de normes et la satisfaction d'objectifs globaux. Les concepts et les outils proposes, leur complementarite et leurs utilisations et interets specifiques pour l'analyse des resultats sont illustres au travers d'exemples et d'un logiciel prototype.
8
Decatoire, Arnaud. „Analyse tri-dimensionnelle de la gestion des mouvements vrillés en gymnastique : la simulation : vers un outil de formation des entraîneurs en activités acrobatiques“. Poitiers, 2004. http://www.theses.fr/2004POIT2286.
Der volle Inhalt der QuelleAnnotation:
La compréhension de la gestion des mouvements aériens lors d'acrobaties complexes en gymnastique est abordée à partir d'une analyse mécanique. Une méthode d'analyse cinématographique 3D ainsi qu'un algorithme de simulation du mouvement aérien sont développés, présentés et validés à l'aide de saltos vrillés. Le concept de transfert de moment cinétique est clarifié ; sa mesure nous amène à émettre une hypothèse relative aux difficultés de gymnastes débutants, réalisant une fausse vrille. L'évaluation originale de la part relative de la vrille de contact, de la vrille aérienne et de la vrille du chat dans un salto vrillé est proposée. Le rôle tenu par les membres supérieurs est abordé en modifiant la gestuelle d'origine du gymnaste en phase aérienne ; l'efficacité du retard dans l'adduction d'un membre supérieur nécessaire au déclenchement de la vrille dans un salto est évaluée dans plusieurs cas de figure. La comparaison des efforts articulaires calculés en dynamique inverse s'exerçant aux épaules, lors d'un salto vrillé et lors de la même gestuelle réalisée à l'arrêt, amène des éléments de réflexion relatifs à l'apprentissage de tels mouvementsThe purpose is the understanding of the aerial movement's management during complex acrobatics in gymnastics using a mechanical analysis. A three-dimensional cinematographic analysis method and a simulation algorithm of aerial movement are developed, presented and validated using twisting somersaults. The concept of angular momentum transfert is clarified; its measure leads us to express an hypothesis concerning the difficulties of the beginner who perform a false twist. An original evaluation quantitative method of the contact, aerial and cat twist contributions in a twisting somersault are proposed. The upper limbs' action in the twist creation is analysed by changing the original coordination during the aerial phase. The effectiveness of the upper limbs' delaying adduction, which create twists is evaluated by considering several cases. The shoulder joint torques are calculated using inverse dynamic's method during a twisting somersault and compared with the ones obtained during the realization of same coordination without somersault. It leads reflexion elements relating to the training of these kind of movements
9
Heritier-Pingeon, Christine. „Une aide à la conception de systèmes de production basée sur la simulation et l'analyse de données“. Lyon, INSA, 1991. http://tel.archives-ouvertes.fr/docs/00/84/01/51/PDF/1991_Heritier-Pingeon_Christine.pdf.
Der volle Inhalt der QuelleAnnotation:
Les formes nouvelles de la concurrence imposent aux systèmes de production une flexibilité de plus en plus grande. Dans le cas de systèmes automatisés, les décisions prises lors de la conception vont fortement conditionner les possibilités du futur système ainsi que ses capacités d'adaptation aux changements, donc son degré de flexibilité. Le travail contenu dans ce mémoire s'attache précisément à l'étude de méthodes et d'outils d'aide à la décision pour la conception de systèmes de production. Le lecteur est d'abord introduit au domaine puis aux outils et méthodes utilisés. Le modèle d'atelier qui sert de support à la démarche est alors présenté : il est suivi d'une réflexion sur la construction des campagnes de simulations conduites à partir de ce modèle, réflexion concrétisée par la définition d'un module de génération automatique de plans de simulations associés au modèle d'atelier choisi. L'analyse des données utilisées comme méthode d'acquisition des connaissances sur le comportement des systèmes de production est ensuite envisagée : une méthode d'analyse est proposée et expérimentée. Ce travail a été développé avec le souci constant d'explorer les possibilités de l'analyse de données dans le domaine et d'évaluer ces possibilités sur la base de nombreuses expériencesNew forms of competition are leading manufacturing systems to more and more flexibility. In the case of highly automated systems, decisions taken in the design phase will have a great influence on the possibilities of the future system and also on its ease of adaptation to changes, and thus on its degree of flexibility. This work is a study of methods and tools for decision support in the design of manufacturing systems. The reader is first introduced to the scope and then to the tools and methods employed. The workshop 's model which is used as a support for the approach is then presented and the construction of a simulation plan considered These considerations are then put into a concrete form by defining an automated generation module for simulation plans which are associated to the chosen workshop model. Data analysis which is used as a knowledge acquisition method is considered a method of analysis is proposed and tested. This work was developed to explore data analysis possibilities in this field and to evaluate these possibilities on the base of numerous experiments
10
Lamouchi, Rihab. „Contributions à l'observation et à la commande tolérante aux fautes des systèmes incertains“. Electronic Thesis or Diss., Paris, CNAM, 2017. http://www.theses.fr/2017CNAM1134.
Der volle Inhalt der QuelleAnnotation:
Les travaux de recherche présentés dans ce mémoire portent sur la synthèse d'observateurs intervalles pour la commande tolérante aux fautes de systèmes incertains. La présence de défauts, d'incertitudes et de perturbations peut provoquer des réactions indésirables du système commandé. Dans ce contexte, nous avons développé deux approches de commande tolérante aux fautes basées sur des observateurs intervalles dans le cas où les défauts et les incertitudes sont inconnus mais bornés. La première approche, dite passive, permet de garantir la stabilité du système en boucle fermée y compris en présence de défauts actionneurs et/ou composants. La seconde approche, dite active, permet de compenser l'effet des défauts et d'assurer la stabilité et les performances désirées du système. Ces contributions sont validées par des simulations numériquesThe research work presented in this thesis focuses on the design of interval observers for fault-tolerant control of uncertain systems. The presence of faults, uncertainties and disturbances in automated systems often causes undesirable reactions. In this context, two approaches of fault tolerant control have been developed based on interval observers in the case where the faults and the uncertainties are unknown but bounded. The first approach is passive and consists in ensuring the closed loop system stability even in the presence of actuator and/or component faults. The second approach, an active one, compensates the fault effect and ensures the system stability and desired performances. These contributions are validated through numerical simulations
11
Alonzo, Flavien. „Méthodes numériques pour le Glioblastome Multiforme et pour la résolution de problèmes inverses autour des systèmes de réaction-diffusion“. Electronic Thesis or Diss., Ecole centrale de Nantes, 2022. http://www.theses.fr/2022ECDN0059.
Der volle Inhalt der QuelleAnnotation:
Le Glioblastome Multiforme est la tumeur cérébrale gliale la plus fréquente et la plus mortelle chez l’Homme. Les mathématiques ont l’opportunité de pouvoir innover la prise en charge des patients dans la démarche actuelle de médecine personnalisée. Cette thèse propose deux contributions majeures autour de cette thématique. Une premièrecontribution porte sur la modélisation et la simulation la plus réaliste possible de la propagation des cellules tumorales du Glioblastome Multiforme chez un patient après son diagnostic. Ce travail modélise le phénomène d’angiogenèse induite par la tumeur. Un schéma et algorithme numérique sont utilisés pour conserver la positivité des solutions. Enfin, les simulations sont comparées aux connaissances issues de la médecine. Une seconde contribution porte sur l’estimationdes paramètres des modèles de type réactiondiffusion. La méthode développée permet de résoudre des problèmes inverses en résolvant deux systèmes d’équations aux dérivées partielles avec une contrainte fonctionnelle, et non avec des outils statistiques. La résolution numérique d’un tel problème est donnée et évaluée sur deux exemples de modèles avecdes données synthétiques. La méthode permet ainsi de déterminer des paramètres d’un modèle avec des données éparses en tempsGlioblastoma Multiforme is the most frequent and deadliest brain tumour. Mathematics stand as an innovative tool to enhance patient care in the context of personalized medicine. This PhD showcases two major contribution to this theme. A first contribution works on the modelling and simulating of a realistic spreading of the tumour cells in Glioblastoma Multiforme from a patient’s diagnosis. This work models tumour induced angiogenesis. A numerical scheme and algorithmare used to ensure positivity of solutions. Finally, simulations are compared to empirical knowledge from Medicine. A second contribution is on parameter estimation for reaction-diffusion models. The developed method solves inverse problems by solving two partial differential equation systems with a functional constraint, without using statistical tools. Numerical resolution of such problems is given and showcased on two examples of models with synthetic data. This method enables to calibrate parameters from a model using sparse data in time
12
Castro, Eduardo Breviglieri Pereira de. „Método de auxílio à concepça︣o arquitetônica baseado na análise multicritério e em dados simulados dos comportamentos da edificaça︣o“. Lyon, INSA, 2005. http://theses.insa-lyon.fr/publication/2005ISAL0024/these.pdf.
Der volle Inhalt der QuelleAnnotation:
AAu cours des premières étapes de la conception architecturale, il est rare que des outils servant à analyser quantitativement ou qualitativement les diverses alternatives de projet soient utilisés. Néanmoins, c'est pendant ces phases initiales de la procédure de conception que des décisions importantes sont prises et vont influencer profondément le comportement du bâtiment en termes de consommation d'énergie et de confort environnemental. Donc, il est important de disposer d'une méthode qui puisse assister le concepteur dans le choix d'une solution architecturale permettant d'aboutir à un bâtiment qui présente une bonne performance sur les critères de confort et de la consommation d'énergie. Ce travail présente une méthode d'aide à la conception architecturale pouvant être utilisée dans cette phase initiale de la conception des bâtiments. Pour son développement, nous nous sommes basé sur la méthode de l'analyse multicritère pour le classement des alternatives de projet. Les critères considérés ont été : le confort thermique ; le confort visuel ; la quantité de lumière naturelle ; la qualité de l'air et la consommation d'électricité. Les performances des solutions de projet concernant ces critères ont été obtenues à travers des simulations, en utilisant pour cela des codes informatiques développés pendant la recherche et des programmes commerciaux (TRNSYS 15). Les différentes alternatives architecturales sur lesquelles les choix vont se porter seront en relation avec par exemple l'orientation de l'immeuble, la direction du vent, la dimension des fenêtres et le type de climatisation des locaux, qu'il faut définir au cours de l'avant-projet. La méthode est basée sur l'application de règles générales de comportement issues desperformances simulées de la construction. Nous présentons un exemple d'application de la méthode dans lequel est considérée comme typologie architecturale un immeuble de bureaux de plusieurs niveaux. Les simulations ont été réalisées en considérant des conditions de climat tropical humide de la ville de Rio de Janeiro. Des résultats de simulations et les règles de tendance obtenues (qui décrivent les comportements du bâtiment) sont montrés sous forme de courbes et de graphiques. Finalement, nous présentons un logiciel mettant en oeuvre la méthode sous forme d'un outil informatique d'aide à la conception des bâtiments pour la phase d'avant-projetThe study of architectural conception shows that, during its first stages, tools are rarely used to analyze quantitatively or qualitatively the project alternatives. However, it is in these initial phases of the conception process that important decisions are taken and will deeply influence the building behavior in terms of energy consumption and ambient comfort. Therefore, it is important to have a method that can assist the designer to choose an architectural solution that will turn into a building that presents a good performance related to those criteria. This work presents an architectural conception aiding method to be used in the initial phase of a building design. It is based on a multicriteria analysis method for the ranking of the project alternatives. The considered criteria were: the thermal comfort; the visual comfort; the amount of natural light; the air quality and the electricity consumption. The performances of each project solution related to these criteria were obtained by means of simulation. The computational codes used in the research were developed within the thesis or consisted of commercial programs (TRNSYS 15). The differences between the architectural designs are given by some building parameters generally available during the sketch phase, like building orientation, wind direction, windows sizes and the type of environment climatization. The application of the method is based on general rules of behavior derived from the simulated performances of the construction. An example of the method application is presented. The architectural typology considered was a multi-story office building. The simulations were carried out considering the hot humid climate conditions of Rio de Janeiro. Both the simulation results and some tendency rules describing the building behaviors are shown, in the form of curves and graphs. Finally, a microcomputer code is presented implementing the method in the form of a computational tool to aid conceptors during the first stages of building design
13
Li, Ying. „Analyse dynamique des systèmes multicorps flexibles et contrôle des robots déformables“. Châtenay-Malabry, Ecole centrale de Paris, 1995. http://www.theses.fr/1995ECAP0464.
Der volle Inhalt der QuelleAnnotation:
Cette thèse comporte trois parties. La premiere partie est consacrée au développement des équations dynamiques des systèmes multicorps flexibles. En vue d'établir les équations d'un tel système, deux approches principales sont mises en oeuvre. Ces approches peuvent être appelées approche en coordonnées cartesiennes et approche en coordonnées articulaires. La seconde partie concerne la linéarisation du système équations dynamiques non linéaire ainsi établi. Nous proposons une procédure simple pour réaliser recursivement cette linéarisation en utilisant l'approche en coordonnées articulaires. L'avantage de cette procédure tient à la possibilité d'un traitement systématique des variables de mouvement rigides et flexibles dans une notation unifiée qui permet le développement d'opérateurs formels dérivation conçus spécifiquement pour cette tâche. La méthode simplifié à la fois la formulation théorique et la programmation et permet un calcul plus rapide. La troisieme partie traite de l'utilisation des résultats précédents en vue du contrôle dynamique. En ce qui concerne le contrôle en position. Quelques resultats préliminaires sur le contrôle de la trajectoire de l'effecteur d'un robot multibras sont présentes, mettant en oeuvre une loi généralisée de contrôle découpe. Les performances du contrôleur sont évaluées. Les résultats de la simulation présentent une bonne convergence vers la trajectoire présente. En ce qui concerne le contrôle en force. Le problème du contrôle simultané en force et position pour un robot, avec contact entre l'effecteur et l'environnement rigide est analyse. Des contrôleurs en position et en force peuvent être definis
14
Lutton, Jean-Luc. „Mécanique statistique et théorie des systèmes : utilisation de méthodes de mécanique statistique pour étudier des systèmes de télécommunication et traiter des problèmes de recherche opérationnelle“. Paris 11, 1985. http://www.theses.fr/1985PA112172.
Der volle Inhalt der QuelleAnnotation:
L'objectif de ce travail est d'utiliser les concepts issus de la mécanique statistique pour étudier les problèmes d'ingénierie. Dans une première partie, nous analysons les performances de réseaux de connexion: réseaux de CLOS à 2k+1 étages. Nous montrons que ces réseaux, comme les systèmes physiques admettent une limite thermodynamique. Nous en déduisons alors, analytiquement, les valeurs de certaines grandeurs macroscopiques décrivant leurs divers modes de fonctionnement (systèmes avec perte des appels bloqués, avec réarrangement ou mise en attente de ces derniers) en fonction de la charge. Nous estimons en particulier certaines lois de distribution de probabilité d'événement (loi du nombre de réarrangements, loi des temps d'attente) grâce au principe du maximum d'entropie. Tous ces résultats analytiques sont comparés avec succès à des résultats de simulation numérique. Dans une deuxième partie, nous appliquons la procédure dite d· recuit simulé à des problèmes d'optimisation combinatoire (voyageur de commerce, couplage parfait de points de poids minimum, affectation à coût quadratique minimum). En fait nous utilisons l'algorithme de Metropolis pour déterminer la solution "optimale" des problèmes considérés. Nous obtenons ainsi une heuristique dont les performances sont favorablement comparées à celles d'autres méthodes classiques. Nous en profitons pour traiter des problèmes de grande taille (voyageur de commerce avec 10000 villes). De plus utilisant le formalisme des ensembles statistiques, nous estimons le comportement asymptotique des solutions optimales des problèmes étudiésThe aim of this work is to use· statistical mechanics ideas for studying engineering problems. First we analyze the performance of a class of connecting networks: Clos connecting Networks with 2 k + 1 stages. We show that these networks, like physical systems, exhibit the thermodynamical limit property. We deduce analytical expressions which give values of macroscopic system performance parameters (system with loss, system with rearrangement or system with queueing) in terms of the offered traffic. In particular, we estimate probability distribution of the number of rearrangements and the waiting time distribution using the maximum entropy principle. All these analytical results give good agreements with numerical simulations. We then apply the simulated annealing procedure to some combinatorial optimization problems (travelling salesman problem, minimum weighted matching problem, quadratic sum assignment problem). In fact, we use the Metropolis algorithm to determine a quasi-optimal solution to the problem we consider. We deduce a good heuristic with better performances than other classical methods, especially for large problems. For example we obtain a "good" solution for a 10000-city travelling salesman problem. Using statistical mechanics formalism, we also estimate the asymptotic behaviour of the optimal solution
15
Kettal, El-Yamine El-Mahdi. „Système Expert d'Information Géographique Orienté Objet (SEIGO2) : application à l'écoulement de l'eau sur les terrains“. Lyon, INSA, 1996. http://www.theses.fr/1996ISAL0054.
Der volle Inhalt der QuelleAnnotation:
Afin d'aider les aménageurs dans leur choix de politique d'aménagement il serait intéressant de les doter d'un outil informatique de simulation des phénomènes d'inondation et de visualisation animée des résultats. Le travail porte seulement sur le premier aspect, à savoir la modélisation des écoulements sur différents types de terrains. L'écoulement est modélisé à partir d'équations différentielles numérisées appliquées à un terrain lui-même modélisé par une triangulation de Delaunay. Les modèles géométriques sont construits suivant une structure hiérarchique par génération de relations existantes entre les phénomènes naturels. De plus, la base de données spatiales est bâtie suivant l'approche orientée objet. Deux types de modèles, issus de l'hydrologie et de l'hydraulique, sont utilisés. Les modèles d'hydrologie et d'hydraulique sont appliqués sur des objets géographiques tels que les bassins versants, les réseaux de drainage et les rivières. Pour cela, une nouvelle méthode d'extraction des objets géographiques a été implémentée pour les extraire, éventuellement de n'importe quel terrain naturel. Ces modèles sont applicables que sous certaines conditions (caractéristiques morphologiques et typologiques du sol par exemple) et possèdent des paramètres qui évoluent d'une situation à une autre. Pour cela, nous utilisons un moteur d'inférence qui permet au système, pour chaque bassin versant ou pour chaque tronçon de rivière de choisir une équation avec des paramètres adéquats. Ce système expert est développé sur le système CIA, un interpréteur de symboles. Un système informatique baptisé SEIGO2 (Système Expert d'Information Géographique Orienté Objet), regroupant ces fonctionnalités décrites ci-dessus, est implémenté sur station SUN. En regroupant les fonctionnalités des SIG d'Information Géographique) et celles des systèmes experts, cela permet d’avoir un ensemble de requêtes et de raisonnements sur les données plus riches. Et il pourra être appliqué à d'autres domaines que celui de l'écoulement de l'eau: la diffusion des feux de forêts, le monitoring des régions écologiques, etcIn order to help managers in their choice between environmental planning actions, it would be interesting to build a decision support system against flood phenomena with animated visualisation for results. The flow is modelled by numeric differential equations applied to a digital terrain model which is modelled by a Delaunay triangulation. The followed approach for terrain modelling allows the system to have complete geometric models constructed with a hierarchical structure by existing generated relations between natural phenomena. In addition, a spatial database is built with an object oriented approach. Two kinds of models are used in the system (one for hydrology and the other for hydraulics). In both models, hydrology and hydraulics, there exist some models which are solved by finite differences or by iterative programs of numerical analysis. Hydrologic and hydraulic models need to be applied on geographic objects such as watershed, drainage networks and rivers. Thus, a new method for the extraction of geographic objects from any digital terrain model (DTM) has been implemented. Moreover, these models are applied only under some conditions (morphologic characteristics and soil typologies for example) and they have parameters which evolve from a situation to another. For this reason, we use an inference engine which allows the system to choose an equation with its adequate parameters. The expert system is based on the first order logic with rule production and it is developed with a symbol interpreter named the CIA system. Our system, called SEIGO2, integrates these above mentioned functionalities, and it is implemented on a SUN station. Connecting together GIS (Geographical Information System) functionalities and those of the expert system allows the user to have a set of queries and reasonings on richer data. This system could be used for domains other than water flowing: forest fire diffusion, monitoring ecologic regions, etc
16
Cherkhani, Rochdi. „Simulations numériques de phénomènes non linéaires dans les systèmes faisceau d'ions-plasmas“. Nancy 1, 1993. http://www.theses.fr/1993NAN10297.
Der volle Inhalt der QuelleAnnotation:
Cette étude concerne la simulation numérique de phénomènes non-linéaires dans les systèmes faisceau d'ions-plasma (F. I. P. ). Dans une première partie, on étudie le régime non-linéaire de l'instabilité acoustique ionique engendrée par l'injection d'un faisceau d'ions dans le plasma. Cette étude a été menée en utilisant successivement un code P. I. C, puis un code eulérien de Vlasov à conditions aux limites périodiques. On observe dans les deux cas la croissance de l'instabilité acoustique ionique, puis la formation de vortex, dans l'espace des phases, associée à la saturation non-linéaire. L'étude détaillée des modes de Fourier et des mécanismes de couplage non-linéaire de ces modes pour des choix de conditions initiales différents permet de montrer l'importance de ce choix pour simuler une instabilité de type faisceau-plasma démarrant naturellement à partir des fluctuations thermiques. Grace à la stabilité du code de la dynamique de coalescence des vortex après la saturation a pu être étudiée sur des temps longs. Dans une deuxième partie, on étudie le système faisceau d'ions plasma perturbé de façon transitoire, à l'aide du code Vlasov adapté à des conditions aux limites non-périodiques. Des expériences avaient montré la formation de structures de type bosse et creux en arrière du choc électrostatique induit par une perturbation de type échelon sur la vitesse du faisceau d'ions. Nous avons pu reproduire ces résultats expérimentaux et interpréter les oscillations de grande amplitude observées dans le puits de potentiel en terme d'instabilité acoustique ionique localisée. Par ailleurs, nous présentons des simulations de propagation de perturbations localisées de type soliton dans les systèmes F. I. P. Les résultats obtenus tendent à confirmer l'hypothèse que le puits de potentiel observé en arrière du choc est bien associé à l'évolution non-linéaire de la réponse portée par le mode lent
17
Aidi, Maher. „Vers la planification des buts de simulation en conception dans une démarche d'ingénierie système“. Grenoble INPG, 2007. http://www.theses.fr/2007INPG0025.
Der volle Inhalt der QuelleAnnotation:
Ce travail de recherche répond à un enjeu industriel qui consiste à améliorer la productivité des acteurs impliqués dans l'activité de simulation numérique par la mise à disposition des connaissances dont ils ont besoin pour réaliser leurs tâches. Les travaux scientifiques concernant le lien entre la conception et la simulation numérique se basent sur une modélisation de l'activité de calcul dans la conception sans tenir compte de l'objectif de simulation et de l'évolution des méthodes de conception. Ce travail de recherche vise à promouvoir l'intégration de la simulation numérique dans le processus de conception dans une démarche d'ingénierie système et présente une contribution à la gestion des simulations conduites pour valider ou vérifier un besoin client. Pour cela, il met en place une structuration de l'expression du besoin par les méthodes (QFD/ AMDEC AF. . ), assurant un continuum jusqu'à la rédaction des buts de simulation. Cette structuration permet à la fois d'organiser l'activité de simulation de piloter le processus de conception vis à vis des simulations et d'assurer la réutilisation des démarches tout au long du cycle de vie produit. Une méthodologie qui permet une levée progressive des risques dans les projets par l'usage des simulations et souligne un intérêt scientifique qui s'oriente vers des travaux qui partageront les modèles fonctionnels les outils de gestion des exigences et les outils de CAO et de simulationThis research task answers an industrial stake which consists in improving actors productivity implied in numerical simulation activity by the provision of knowledge that they need to carry out their tasks. The scientific works concerning the bond between design and numerical simulation are based on a calculation activity modelling in the design without taking account the simulation goals and the evolution of design methods. This research task aims at promoting the numerical simulation integration in the design process in an engineering system approach and presents a simulations management contribution to validate or verify a customer needs. For that it sets up a needs expression structuring by design methods (QFD/ AMDEC AF. . . ), ensuring a continuum until the simulation goals drafting. This structuring at the same time makes it possible to organize the simulation activity, to control the design process with respect to simulations and to ensure the steps re-use throughout the product life cycle. A methodology which allows a progressive lifting of the projects risks by the simulations use and underlines a scientific interest which is directed towards works which will share the functional models, the requirements management tools and both CAD and simulation tools
18
Huyet, Anne-Lise. „Extraction de connaissances pertinentes sur le comportement des systèmes de production : une approche conjointe par optimisation évolutionniste via simulation et apprentissage“. Clermont-Ferrand 2, 2004. http://www.theses.fr/2004CLF21528.
Der volle Inhalt der QuelleAnnotation:
Ce travail traite de l'extraction de connaissances sur le comportement des systèmes de production et, plus particulièrement, sur les facteurs de conception ou de gestion contribuant à la performance de ces systèmes. Après la présentation d'approches permettant l'étude du comportement d'un système via simulation, nous en montrons les limites notamment pour l'analyse des situations performantes. L' approche originale que nous proposons combine et crée une synergie entre recherche des situations performantes par optimisation évolutionniste, apprentissage par graphes d'induction et évaluation des systèmes via simulation. Nous pourrons ainsi déterminer les facteurs (ou combinaisons) concourant à la performance et proposer, en plus d'une solution performante, des pistes pour trouver d'autres solutions performantes. Elle est illustrée par différentes applications illustrant son intérêt pratique pour une aide à la compréhension des situations performantes des systèmes étudiés et à la décision
19
De, Castro Marcus Rogério. „Analyse des modes chaotiques dans un moteur linéaire à réluctance variable en vue du contrôle“. Reims, 2010. http://theses.univ-reims.fr/sciences/2010REIMS016.pdf.
Der volle Inhalt der QuelleAnnotation:
L’objet d’étude est un prototype de moteur linéaire à réluctance variable. Ce genre de machine est très utile dans beaucoup d’applications industrielles qui ont besoin d’une grande précision dans le contrôle de position. Le faible coût, la robustesse due à la technologie très simple, et l’aptitude à fonctionner en boucle ouverte par entraînement direct, y compris pour les déplacements précis sur de grandes longueurs, sont quelques avantages. Un désavantage de cette machine est la grande oscillation du couple, en comparaison avec les machines conventionnelles, ce qui génère du bruit acoustique et des oscillations mécaniques. L’origine des oscillations du couple vient surtout de la nature fortement non linéaire de ce genre de machine ainsi que du principe de production de la force de propulsion sous forme discrète. La nature non linéaire de ce type de moteur peut être vue comme la forte dépendance qu’il y a entre la position de la partie mobile et la perméance de l’entrefer. Aujourd’hui les algorithmes numériques et les moyens de calculs sont devenus de très importants et puissants outils dans le développement, la simulation et l’analyse des systèmes dynamiques en physique et en ingénierie. Dans les dernières décades, de nouveaux outils, comme la théorie ergodique des systèmes dynamiques, ont permis d’accéder plus facilement à l’analyse des systèmes chaotiques. L’application de ces méthodes a permis d’aborder sous un autre angle l’étude du contrôle non linéaire en même temps que d’ouvrir la porte à une nouvelle génération de drivers vitesse/position. A propos d’un genre de machines similaire, quelques travaux développés sur les moteurs pas-a-pas, ont mis en évidence beaucoup de phénomènes non linéaires. Ces dynamiques très compliquées apparaissent également dans le moteur linéaire à réluctance variable et donne lieu en boucle ouverte aux différents comportements décrits dans cette étudeThis study deals with a prototype of a linear switched reluctance motor. This kind of machine is very useful in many industrial applications that require high precision in position control. The low cost, robustness due to the very simple technology, and ability to operate in open loop direct drive, including the precise positioning over longer distances, are a few advantages. A disadvantage of this machine is the large traction force oscillation, compared with conventional machines, which generates acoustic noise and mechanical vibrations. This motor present a highly nonlinear dynamic because the discrete nature of torque production mechanism. The hard nonlinearity is mainly due to the strong dependence between translator position and air-gap permeance. Today numerical algorithms and computing resources have become very important and powerful tools in the development, simulation and analysis of dynamical systems in physics and engineering. In recent decades, new tools, such as ergodic theory of dynamical systems, have allowed easier access to the analysis of chaotic systems. The application of these methods allowed approaching from another angle the study of nonlinear control at the same time to open the door for a new driver speed/position generation. About a similar kind of machinery, some work on engines developed step-by-step, showed a lot of nonlinear phenomena. These dynamics also appear very complicated in the variable reluctance linear motor and gives rise to various open-loop behaviors described in this study
20
Guébert, Christophe. „Suture en chirurgie virtuelle : simulation interactive et modèles hétérogènes“. Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2010. http://tel.archives-ouvertes.fr/tel-00561061.
Der volle Inhalt der QuelleAnnotation:
La médecine a été une grande motivation dans la recherche en informatique, et nous pensons que la simulation de procédures médicales sera un élément majeur de la médecine du 21e siècle. Pour ces applications, la simulation physique doit être interactive et proposer un comportement et un rendu visuel des objets simulés qui soient réalistes tout en faisant avec un temps de calcul limité. Dans ce travail, nous nous sommes intéressés à la simulation du geste chirurgical de la suture, faisant interagir des modèles hétérogènes (rigides, déformables 1D et 3D) dans la reproduction d'un geste complexe. Nous proposons de modéliser ces interactions par des contraintes de complémentarité, avec une méthode générique et une résolution indépendante des types de contraintes utilisées. Cette approche a permis la mise au point de contraintes spécifiques pour créer des modèles d'interaction nouveaux. Ces contraintes ont permis une simulation complète de l'insertion d'aiguille, validée par les mesures expérimentales des travaux antérieurs, qui suit les lois physiques et s'adapte à la manipulation de l'utilisateur. Enfin, une simulation interactive très réaliste a été réalisée pour l'entraînement au geste de suture dans le cadre d'opérations laparoscopiques.
21
Sainsaulieu, Lionel. „Modélisation, analyse mathématique et numérique d'écoulements diphasiques constitués d'un brouillard de gouttes“. Palaiseau, Ecole polytechnique, 1991. http://www.theses.fr/1991EPXX0012.
Der volle Inhalt der QuelleAnnotation:
La modélisation Eulérienne des écoulements diphasiques conduit à des systèmes convectifs diffusifs écrits sous forme non conservative. Nous montrons comment obtenir un système bien posé à partir des équations de Navier-Stokes qui régissent l'écoulement du gaz autour des gouttes et du liquide à l'intérieur des gouttes. Les solutions faibles du système hyperbolique non conservatif extrait du modèle Eulérien sont définies comme limites de solutions du système du second ordre lorsque les phénomènes de diffusion sont négligés. Nous résolvons alors le problème de Riemann. Plus généralement, nous définissons onde de choc pour une grande classe de systèmes hyperboliques écrits sous forme non conservative. La dernière partie est consacrée à l'analyse numérique d'écoulements dyphasiques constitués d'un brouillard de gouttesEulerian modelization of sprays leads to convection-diffusion systems written under non conservatrice form. We show how the averaging of the Navier-Stokes equations satsified by the gas flow around the droplets and the liquid flow inside the droplets leads to a well-posed problem. The shock waves solutions of the first order non-conservative system extracted from this model are defined as the limit when the diffusion processes are neglected of solutions of the second order system. Then we solve the Riemann problem. More generally this method allows us to define shock waves solutions for a wide class of hyperbolic systems written under non-conservative form. Finally the last section deals with the numerical simulation of sprays
22
Ait, Hammou Oulhaj Ahmed. „Conception et analyse de schémas non-linéaires pour la résolution de problèmes paraboliques : application aux écoulements en milieux poreux“. Thesis, Lille 1, 2017. http://www.theses.fr/2017LIL10215/document.
Der volle Inhalt der QuelleAnnotation:
L'objectif de cette thèse est de concevoir et d'analyser des schémas numériques performants pour la simulation d'écoulements complexes en milieux poreux. Dans un premier temps nous proposons un schéma CVFE (Control Volume Finite Element) non-linéaire pour approcher la solution de l'équation de Richards anisotrope. La mobilité d'arête est gérée à l'aide d'une procédure de décentrement. On montre d'abord que ce schéma est non-linéairement stable, qu'il admet (au moins) une solution discrète et que la saturation est bornée entre 0 et 1. Ce schéma converge sans restriction sur le maillage. Enfin, en vue de mettre en évidence l'efficacité, la stabilité et la robustesse de la méthode, nous réalisons des tests numériques dans des cas isotropes et anisotropes. Dans un second temps on étudie un schéma Volumes finis (avec décentrement des mobilités) pour un modèle d'intrusion saline. Il préserve au niveau discret les principales propriétés du problème continu: l'existence de solutions discrètes positives, la décroissance de l'énergie et le contrôle de l'entropie et sa dissipation. Nous montrons que ce schéma converge. De plus, nous illustrons numériquement le comportement du modèle. Enfin nous étudions le comportement en temps long d'un modèle d'intrusion saline. Il s'agit d'identifier les états stationnaires qui sont les minimiseurs d'une énergie convexe. On montre pour le problème continu l'existence et l'unicité des minimiseurs de l'énergie, que les minimiseurs sont des états stationnaires et que ces états stationnaires sont radiaux et uniques. Nous donnons une illustration numérique des états stationnaires et nous exhibons le taux de convergenceThis thesis is focused on the design and the analysis of efficient numerical schemes for the simulation of complex flows in porous media. First, we propose a nonlinear Control Volume Finite Element scheme (CVFE) in order to approximate the solution of Richards equation with anisotropy. This scheme is based on a suitable upwinding of the mobility which allows the negative transmissibility coefficients. We prove the nonlinear stability of the scheme, that there exists (at least) one discrete solution and that the saturation belongs to the interval [0,1]. Moreover, the convergence of the method is proved as the discretization steps tend to 0. We give some numerical experiments on isotropic and anisotropic cases illustrate the efficiency of the method. Second, we propose and analyze a finite volume scheme based on two-point flux approximation with upwind mobilities for a seawater intrusion model. The scheme preserves at the discrete level the main features of the continuous problem, namely the nonnegativity of the solutions, the decay of the energy and the control of the entropy and its dissipation. We show the convergence of this scheme. Numerical results are provided to illustrate the behavior of the model. Finally, the large time behaviour of the seawater intrusion model is studied. The goal is to identify the steady states which are the minimizers of a convex energy. We prove for the continuous problem the existence and uniqueness of the minimizers of the energy, that the minimizers are stationary states and that these stationary states are radial and unique. We give numerical illustrations of the stationary states and we exhibit the convergence rate
23
David, Daniel. „Prospective Territoriale par Simulation Orientée Agent“. Phd thesis, Université de la Réunion, 2010. http://tel.archives-ouvertes.fr/tel-00613002.
Der volle Inhalt der QuelleAnnotation:
L'île de La Réunion, inscrite au patrimoine mondial de l'UNESCO pour la beauté de ses paysages et pour sa biodiversité exceptionnelle, va accueillir dans les prochaines années une population de plus en plus importante. Les documents de planification réglementant l'évolution de l'urbanisation dans l'île doivent donc en tenir compte afin de gérer au mieux l'évolution et la structuration du foncier local. Dans un contexte de recherche pluridisciplinaire, l'enjeu de nos travaux est donc de proposer des méthodes et outils facilitant les interactions entre les informaticiens et les thématiciens qui apportent leur expertise à la construction de modèles de simulation dédiés à la prospective territoriale et de faire en sorte que ces modèles puissent fournir des pistes de réflexions aux décideurs confrontés aux choix de demain afin d'aider à mettre en place une organisation des territoires qui soit la plus cohérente possible. Après avoir participé à la réalisation de DS, un modèle qui permet de simuler conjointement l'évolution de la population et celle du Mode d'Occupation des Sols à La Réunion, nous nous sommes focalisés sur l'étude de l'émergence, une notion qui apparaît dans nos simulations en environnement spatialisé, mais pour laquelle il n'existe pas d'outils génériques permettant de la manipuler. Nous l'avons définie comme étant une méta-connaissance, ce qui nous a permis de proposer une méthodologie de conception de simulations et un cadre formel qui ont abouti à la mise en place de structures émergentes dans la plateforme de simulation GEAMAS-NG. Celle-ci, ou les entités de la SOA elles-mêmes, peuvent ainsi prendre conscience de l'émergence de phénomènes et les matérialiser en ayant recours à la connaissance des thématiciens. Nous avons alors montré l'intérêt de ces propositions en expérimentant la réification de phénomènes émergents observés dans DS.
24
Boulet, Xavier. „Articulation d’échelles en simulation de mobilité“. Thesis, Paris Est, 2020. http://www.theses.fr/2020PESC2021.
Der volle Inhalt der QuelleAnnotation:
Les enquêtes et études sur la mobilité concernent généralement de grandes zones géographiques et considèrent des réseaux de transports étendus et multimodaux. Par ailleurs, des problématiques de mobilité très locales, à l'échelle d'un quartier, nécessitent une modélisation particulière et permettent une simulation réaliste des déplacements et une supervision à plus petite échelle. D'autres contextes de mobilité, appellent à différentes échelles de représentation de l’espace, du temps et des entités modélisées. Cette question des échelles de simulation est primordiale dans les études de transport afin d'adapter au mieux les modèles utilisés aux problèmes traités. Certaines études nécessitent des simulations multi-échelles afin d'obtenir les avantages combinés des différentes échelles et de changer de point de vue d'observation selon la zone simulée. Ainsi, plusieurs solutions ad hoc pour des cas précis existent dans la littérature. Cette thèse propose un modèle et un outil générique pouvant servir à de nombreux cas de simulations multi-échelles. La solution proposée est un intergiciel permettant de faire fonctionner ensemble deux simulateurs existants d'échelles différentes en leur apportant le minimum de modifications. L’intergiciel coordonne les simulateurs et permet l’exécution d’une simulation multi-échelles correcte et cohérente. Les expérimentations menées montrent que l'intergiciel permet d'améliorer la pertinence des corrections mutuelles des simulateurs et la facilité relative d'intégration avec des simulateurs existants. Lorsqu'un ordonnancement avancé des simulateurs est nécessaire, la coordination des simulateurs vient au prix d'un temps d'exécution plus important, lié à l’attente mutuelle des simulations et à la réexécution de certains pas de tempsMobility surveys and studies generally concern large geographical areas and consider extensive and multimodal transport networks. In addition, very local mobility issues, on a neighborhood scale, require special modeling and allow realistic simulation of travel and supervision on a smaller scale. Other mobility contexts call for different scales of representation of space, time, and modeled entities. This question of simulation scales is crucial in transport studies in order to best adapt the used models to the addressed problems. Some studies require multi-scale simulations in order to obtain the combined advantages of the different scales and to change the observation point of view according to the simulated area. Thus, several ad hoc solutions for specific cases exist in the literature. This thesis proposes a model and a generic tool that can be used for many cases of multi-scale simulations. The proposed solution is a middleware allowing to make two existing simulators of different scales work together with minimal modifications. The middleware coordinates the simulators and allows the execution of a correct and consistent multi-scale simulation. Experiments show that the middleware improves the relevance of the mutual corrections of the simulators and the relative ease of integration with existing simulators. When advanced scheduling of simulators is required, coordination of simulators comes at the cost of higher execution time, linked to the mutual waiting of simulations and the re-execution of certain time steps
25
Bouzinekis, Athanassios K. „Outils d'aide à la décision en vue de l'amélioration de l'efficacité du système de production : Cas des scieries“. Nancy 1, 1987. http://www.theses.fr/1987NAN10147.
Der volle Inhalt der QuelleAnnotation:
Ce travail concerne les P. M. I. On conçoit et précise le processus global d'intervention que doit suivre l'homme d'étude afin d'assurer, dans le cadre d'une approche systémique, l'amélioration du système de production des scieries. Les outils dont on dispose à cette fin sont classés en trois ordres suivant le niveau de l'intervention et la nature des décisions. On développe et présente une méthodologie d'analyse structurée afin de répondre au besoin d'un outil de premier ordre. Parmi les outils de deuxième ordre, on a étudié et appliqué l'optimisation du sciage et la simulation à évènement discret
26
Lenoir, Julien. „Modèle déformable 1D pour la simulation physique temps réel“. Lille 1, 2004. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2004/50376-2004-187-188.pdf.
Der volle Inhalt der QuelleAnnotation:
Cette thèse s'inscrit dans un cadre de simulation temps réel basée sur la physique. Le but premier de ce travail est de proposer un modèle déformable ID. Les applications d'un tel modèle sont nombreuses en réalité virtuelle ou en animation pour la simulation d'objets déformables longilignes, tels que lès cordes, ficelles ou lacets. Nous proposons un modèle déformable ID temps réel basé sur une géométrie de type spline et animé par les équations physiques de Lagrange. Nous nous sommes appuyés pour cela sur les travaux de Yannick Rémion et de son équipe au LERI. Ce modèle se révèle particulièrement adapté à la simulation chirurgicale pour la représentation de fil de suture ou d'organes (intestin grêle, trompes de Fallope,. . . ). Pour certaines applications, il peut être intéressant de demander au modèle déformable de vérifier certaines. Conditions exprimées sous formes d'équations de contraintes. La prise en compte de ces contraintes s'effectue, dans le système dynamique, à l'aide de la méthode des multiplicateurs de Lagrange. Dans ce contexte de contraintes pour la simulation, dynamique, l'une des contributions majeures de cette thèse est la proposition d'une nouvelle classe de contraintes, appelée contraintes glissantes. Elles permettent, par exemple, d'imposer à un fil de passer par un point de l'espace sans imposer de valeur paramétrique correspondante. Ce type de contrainte est particulièrement utile pour la simulation de suture dans un contexte chirurgical, mais répond aussi à des besoins d'animations spécifiques (lacet de chaussure, noeuds coulant,. . . )Certaines applications, comme la suture d'organe, mettent en jeu plusieurs modèles dynamiques liés ensemble. Pour ce type de simulation, nous proposons une architecture logicielle permettant de simuler des articulations d'objets quelconques (rigides ou déformables) quel que soit le formalisme physique employé pour chacun d'eux. Cette proposition logicielle trouve diverses applications notamment en simulation chirurgicale mais permet aussi de simuler dynamiquement toute articulation d'objets hétérogènes. Certaines manipulations requièrent une souplesse du modèle à des endroits précis, sachant que ces zones peuvent se déplacer lors d'une simulation, par exemple pendant le serrage d'un noeud. Pour cela, nous proposons une multirésolution géométrique et mécanique sur notre modèle qui vise à adapter localement sa résolution afin qu'il puisse s'adapter aux interactions tout en offrant des bonnes performances générales en calcul. On concentre alors le plus gros du temps de calcul sur les zones d'intérêt et on limite ce temps dans les autres zones du modèle. Un critère d'adaptation de la résolution en fonction de la courbure est proposé. Cette technique est particulièrement adaptée à la simulation de noeuds en permettant à la spline d'augmenter le nombre de degrés de liberté et ainsi en lui fournissant une grande souplesse de définition géométrique dans la zone de serrage
27
Rouizi, Yassine. „Réduction de modèle par identification en convection forcée pour des systèmes soumis à des conditions aux limites thermiques instationnaires : application à l'écoulement le long d'une marche avec contrôle thermique par retour d'état“. Phd thesis, Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aéronautique, 2010. http://tel.archives-ouvertes.fr/tel-00516968.
Der volle Inhalt der QuelleAnnotation:
Les travaux numériques décrits dans ce mémoire portent sur la réduction de modèle dans le domaine de la thermique et de la mécanique des fluides. Ces modèles réduits étant rapides en temps d'exécution, ils permettent la mise en place d'algorithmes de contrôle optimal. La construction des modèles réduits est réalisée à partir de la Méthode d'Identification Modale (MIM) développée au laboratoire depuis de nombreuses années. Cette méthode s'appuie sur la représentation d'état sous forme modale : le modèle réduit est identifié à travers la minimisation d'une fonctionnelle comprenant les paramètres du modèle et basée sur l'écart entre les réponses du modèle détaillé et celles du modèle réduit. Une application est proposée sur un écoulement le long d'une marche descendante, avec un flux de chauffage intervenant en amont de la marche. On montre comment on peut réduire de façon importante les temps de simulation, tout en gardant une très bonne précision. Sur cette application, nous proposons également une approche combinant la théorie de la commande optimale avec les modèles réduits obtenus par la MIM. Cette approche est utilisée pour trouver une loi de commande en flux permettant de maintenir un profil de température proche d'une consigne dans l'écoulement en aval de la marche.
28
Gariah, Asven. „Réduction de modèles complexes pour la simulation et l'estimation : application à la modélisation cardiaque“. Phd thesis, Université Pierre et Marie Curie - Paris VI, 2011. http://tel.archives-ouvertes.fr/tel-00824615.
Der volle Inhalt der QuelleAnnotation:
Ce mémoire analyse et valide des applications possibles de méthodes de réduction de modèle pour la simulation directe, et la résolution de problèmes inverses d'estimation de paramètres sur des modèles complexes. Il se concentre sur la réduction par proper orthogonal decomposition (POD), et ses extensions. On démontre d'abord de nouvelles estimations a priori pour l'erreur de réduction sur des problèmes abstraits types (paraboliques et hyperboliques, linéaires ou avec non-linéarités lipschitziennes), validées dans de nombreux cas non linéaires. On évite notamment le problème de contrôle des termes d'ordre élevé par l'exploitation d'une suite spécifique de normes de projecteurs. Puis, pour couvrir les systèmes dépendant de paramètres, et par des résultats d'interpolation, on adapte la méthode précédente en réduction par multi-POD. On étend aussi, au prix d'un terme additif, les estimations a priori précédentes pour l'erreur maximum de réduction sur une plage paramétrique donnée. On illustre la puissance de la méthode sur le système électrophysiologique de FitzHugh-Nagumo, fortement sensible aux variations paramétriques. On valide enfin numériquement les versions réduites, toujours avec la réduction par multi-POD, de problèmes d'estimation de paramètres : de type variationnel avec le système de FitzHugh-Nagumo, et de type séquentiel (filtrage " kalmanien ") avec un modèle mécanique de coeur (multiéchelles, 3D, grandes déformations). En particulier, la méthode présente une efficacité et une robustesse similaires à celles obtenues pour les problèmes directs.
29
Labit, Yann. „Contribution à la commande non linéaire par des approches linéaires“. Phd thesis, INSA de Toulouse, 2002. http://tel.archives-ouvertes.fr/tel-00131792.
Der volle Inhalt der QuelleAnnotation:
Cette thèse s'inscrit dans le thème des travaux relatifs aux techniques linéaires pour la maîtrise des systèmes non linéaires. Il s'agit d'une approche qui consiste à approximer le système non linéaire par un ensemble de systèmes linéaires incertains pour lesquels sont déterminées des commandes via les méthodes classiques des systèmes linéaires (LQ, LQG, placement de pôles, H2, H¥, etc). La commande globale consiste en un séquencement des gains locaux en fonction de l'état mesuré sur le système. Nombre d'approches multi-modèles qui vont dans cette direction comportent un degré d'imprécision, d'approximation assez élevé. Pour ce type d'approche, l'évaluation des performances et leur validation ne peut passer que par des simulations, un moyen, qui pour être à peu près convaincant, se doit d'être très lourd. L'approche développée ici a pour ambition de proposer une synthèse pas à pas de commande qui permette d'assurer un certain niveau de performances garanties. Le premier pas dans cette direction est fourni par la technique qui permet d'approximer le système non linéaire par un ensemble de systèmes linéaires (système linéaire par morceaux) avec un niveau de précision prédéfini et paramétré. Le deuxième pas est l'utilisation de méthodes de commande robustes à base de LMIs, qui vont permettre d'assurer la stabilité locale dans un domaine non infinitésimal de l'espace d'état. L'approche permet de maîtriser la complexité de la commande globale et des techniques de séquencement en permettant l'obtention d'une cardinalité raisonnable pour l'ensemble des systèmes linéaires approximants. Cette approche est illustrée sur des applications réalistes: un pendule inversé simple, un moteur et un panneau solaire.
30
Tratkanov, Dimitri. „Méthodes géométriques et énergétiques pour la modélisation et la simulation des systèmes multi-physiques en génie électrique“. Thesis, Compiègne, 2020. http://www.theses.fr/2020COMP2562.
Der volle Inhalt der QuelleAnnotation:
L’objectif de ce travail de recherche est de proposer un nouveau concept pour la génération automatique de réseaux équivalents à partir de calculs de type éléments finis (TEF). La réduction d’ordre du modèle s’appuie sur des techniques informatiques de clustering qui segmentent la géométrie réelle en un nombre restreint d’ensembles à champs homogène. La distribution des champs dans la géométrie est calculée à partir de résultats d’une méthode TEF (plus précisément, il s’agit d’une Cell-Method) et à l’aide d’éléments de Whitney. Ces ensembles homogènes peuvent alors être regroupés (fusionner) pour générer les composants du réseau équivalent. Les techniques présentées dans ces thèses sont illustrées sur un exemple magnétostatique permettant, à partir du calcul du potentiel vecteur magnétique sur un maillage TEF, de générer un réseau de reluctance précis mais d’ordre très réduit par rapport au modèle initialThis PhD thesis deals with modeling and computational methods for the design of multi-physical devices in the context of Model-Based System Engineering (MBSE). The proposed methods are based on geometric and topological tools (differential and algebraic topology) as well as duality theory (energetic and differential forms) and advanced discretization and meshing techniques (Delaunay- Voroinoi mesh and computer graphics tools). Analogies so useful in multi-physics modeling are widely used in this work through Tonti's perspective and diagrams. Several standard approaches to engineering modelling are extended and complemented by machine learning and clustering algorithms to provide innovative methods for modeling, simulation and model order reduction. The main contribution of this work concerns a new concept of automated generation of lumped parameter (LP) models from field computations. The results of the field calculations are obtained with a cochain method inspired by the Discrete External Calculus and the Tonti's Cell-Method. This thesis proposes an original approach which generates a LP model and applies at the same time a model order reduction. The two objectives, the automatic generation of the LP model and the model reduction, are based on a topological analysis of the physical problem and Artificial Intelligence clustering algorithms. The final objective of this work is to propose a multi-scale model that can simplify the modeling and simulation of multi-physical devices. This multi-scale model should be suitable for both: solution analysis (computation of fields with the cochain model) and design, optimization, control synthesis (computation of physical quantities in a network of components with the LP model). Field computations are illustrated on a weakly coupled multi-physical case: Electrokinetic, then thermal, and finally mechanical field are computed. Model order reduction and automatic LP generation are illustrated on a magnetostatic case (based on an electromagnetic device): the magnetic H and B fields are calculated using the cochain method, then a reduced reluctance network is automatically generated from the field results. In this example, the number of degrees of freedom is almost reduced by a factor of one hundred
31
Polizzi, Bastien. „Modélisation et simulations numériques pour des systèmes de la mécanique des fluides avec contraintes : application à la biologie et au trafic routier“. Thesis, Université Côte d'Azur (ComUE), 2016. http://www.theses.fr/2016AZUR4069/document.
Der volle Inhalt der QuelleAnnotation:
Cette thèse est consacrée à l'étude de systèmes d'équations aux dérivées partielles. En particulier nous nous intéressons à des systèmes issus de la mécanique des fluides avec contraintes qui permettent de décrire de manière continue en temps et en espace des quantités physiques telles que la densité ou la vitesse. Dans ce cadre nous construisons des modèles pour la biologie : modélisation de la croissance d'un biofilm de micro-algues et modélisation du gros intestin et de sa couche de mucus. Ces modèles sont ensuite testés numériquement à l'aide de schémas numériques spécifiquement élaborés pour ces modèles. Cette thèse est complétée par une étude numérique du modèle d'Aw-Rascle avec contrainte pour le trafic routierThis thesis is devoted to the study of partial differential equation systems. In particular, we are interested in constrained systems coming from the fluid mechanics field which allow to describe, in time and space, physical quantities such as density or speed. In this context we build models for biology: modeling of the growth of micro-algae biofilms and modeling of the large intestine and its mucus layer. These models are then tested numerically using numerical schemes specifically developed for these models. This thesis is supplemented with a numerical study of Aw-Rascle model with constraint for road traffic
32
Mtimet, Habib. „Analyse fréquentielle d'image pour une résolution subpixel : Etude d'un système nanolidar appliqué à la localisation des défauts dans les composants III-V“. Montpellier 2, 1994. http://www.theses.fr/1994MON20018.
Der volle Inhalt der QuelleAnnotation:
La resolution des images recueillies par les capteurs ccd est limitee d'une part par le phenomene de diffraction du systeme optique utilise et d'autre part par un phenomene de double quantification: spatiale et dynamique, subi par l'image. Ces deux limitations physiques sont considerees afin d'obtenir une meilleure precision. Deux methodes de super resolution centroide et glissement de la phase de fourier (fps) sont etudiees et comparees grace a une simulation. Une resolution subpixel concernant la localisation du centre d'une image est obtenue. L'etude est ensuite generalisee a la realisation experimentale d'un systeme nanolidar destine a localiser avec une grande precision les microprecipites dans les composants iii-v. Des images de diffraction d'un microprecipite pour differents plans de defocalisation sont acquises, formant ainsi un signal tridimensionnel: la reponse impulsionnelle (psf) du systeme optique utilise. Un logiciel de calcul de la transformee de fourier tridimensionnelle (fft 3-d) est developpe. Applique aux images de diffraction, ce logiciel permet a partir de la phase du spectre de fourier obtenu (fto 3-d du systeme optique), la localisation, a l'echelle submicronique, des microprecipites dans les materiaux. La precision evaluee est nanometrique
33
Michaud, Pierre-Yohan. „Distorsions des systèmes de reproduction musicale : Protocole de caractérisation perceptive“. Phd thesis, Aix-Marseille Université, 2012. http://tel.archives-ouvertes.fr/tel-00806288.
Der volle Inhalt der QuelleAnnotation:
Ces travaux concernent l'évaluation perceptive de la reproduction sonore. Le but de notre étude est de proposer un protocole permettant la caractérisation perceptive des non-linéarités et des phénomènes de distorsion modifiant le signal reproduit par un système tel qu'une enceinte acoustique. L'élaboration d'un tel protocole nécessite de rassembler de nombreuses enceintes et d'utiliser une méthode d'évaluation adaptée. Nous ne cherchons pas à évaluer la distorsion en terme de qualité globale mais plutôt à estimer les dissemblances perçues entre différentes enceintes distordues afin de révéler, grâce à une analyse multidimensionnelle MDS, les critères sur lesquelles les auditeurs se basent pour les différencier. Dans un premier temps, nous avons utilisé des signaux de synthèse afin de générer des échantillons dont la distorsion est contrôlable. Nous avons ainsi créé un corpus composé de nombreux échantillons distordus simulant ou se rapprochant du fonctionnement d'une enceinte acoustique avec différents types de non-linéarités. Ensuite nous proposons une méthode adaptée à l'évaluation de la dissemblance sur des corpus étendus que nous avons validée à partir de simulations et de tests d'écoute. Enfin, nous avons appliqué cette méthode d'évaluation sur le corpus d'enceintes que nous avons élaboré afin de tester l'utilisation du protocole proposé et de donner quelques résultats préliminaires concernant les dimensions perceptives liées à la distorsion non linéaire.
34
Sorriano, Claire. „Contribution à la modélisation de la corrosion microstructurale des alliages d'aluminium : simulation numérique et vérification expérimentale sur systèmes modèles“. Thesis, Dijon, 2012. http://www.theses.fr/2012DIJOS066/document.
Der volle Inhalt der QuelleAnnotation:
La corrosion localisée des alliages d'aluminium a pu être reliée qualitativement au rôle de la microstructure, des phases intermétalliques (IM) en particulier, qui provoquent la sensibilisation à la corrosion localisée des alliages d’aluminium contenant par exemple du cuivre. Mais un effort de modélisation est nécessaire si on veut aller vers de nouvelles méthodes d’essais.L’objectif de ce travail est d'étudier et de modéliser, sur des systèmes métallurgiques très simplifiés, les effets de couplage entre réactions électrochimiques et chimiques qui ne sont pas pris en compte dans l'analyse des essais conventionnels.L’endommagement lors de l’amorçage de la corrosion microstructurale a pu être simulé numériquement par résolution, par la méthode des éléments finis, de l’équation de Nernst-Planck décrivant les phénomènes de transport et les réactions des espèces chimiques en solution.Le comportement en milieu non chloruré de trois combinaisons où le couple IM (cathode)/matrice Al (anode) peut être assimilé à un couple Cuivre/Aluminium a été étudié, ceci de façon à rendre compte de la dissolution sélective qui fait que les phases S ou θ, présentes dans les alliages au cuivre, subissent un enrichissement en cuivre en surface. Pour valider le modèle « AlOH3 » on s’est donc appuyé sur la mesure de la vitesse de corrosion de l’anode pour trois combinaisons testées appelées systèmes modèles.En terme de mécanismes, la confrontation de l’ensemble de ces expériences aux résultats de la simulation numérique démontre que l’amorçage de la dissolution de l’anode nécessite un changement de pH local, et donc que la dépassivation locale de la surface d’aluminium par un effet chimique est l’élément déclenchant du couplage électrique. Pour aller vers une application industrielle et simuler successivement, l’amorçage et la propagation de la corrosion intergranulaire, il reste pour l’amorçage à intégrer les effets d’interaction entre phases et pour la propagation à construire à partir de ce modèle numérique, un modèle valable en milieu confiné et désaéré qui devra satisfaire aux règles physiques imposées par la dimension du système que constitue le joint de grainIn literature, localized corrosion of aluminum alloys has been qualitatively related to the role of microstructure, intermetallic phases (IM) in particular, which induces sensitization to localized corrosion of aluminum alloys containing copper, for example. But modeling effort is needed to go further in the development of new testing methods.The objective of this work is to study and model on very simplified metallurgical systems, the effects of coupling between chemical and electrochemical reactions that are not taken into account in the analysis of conventional tests.The damage induced by the microstructural corrosion initiation has been numerically simulated by resolution, by the finite element method, of the Nernst-Planck equation describing the mass transport phenomena and reactions of chemical species in solution.Behavior in non-chlorinated medium of three combinations where the couple IM (cathode) / Al matrix (anode) has been assumed to be close from a Copper / Aluminium couple has been studied, mimicking the selective dissolution of S or θ phases present in copper alloys leading to a surface copper enrichment. Validation of the model "AlOH3" defined in this study, was based on the measurement of the corrosion rate of the anode for the three model systems which were tested.In terms of mechanisms, the comparison of the experimental results of the numerical simulation clearly highlights that the initiation of the dissolution of the anode requires a change in the local pH, and therefore the local depassivation of the surface aluminum by a chemical effect is the triggering element of the electrical coupling.To transfer this numerical approach to an industrial application and simulate successively, the initiation and the propagation of intergranular corrosion, it remains, for initiation to introduce the effects of interaction between phases and for propagation to build, from this numerical model, a robust model in confined and deaerated environment which must comply with the rules imposed by the physical size of the system as defined by the grain boundary
35
Issad, Melissa. „Rétro-ingénierie de Spécifications Système : application aux systèmes ferroviaires de Siemens“. Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLC024.
Der volle Inhalt der QuelleAnnotation:
De nos jours, le degré de complexité des systèmes de transport notamment ferroviaires est important et grandissant. En effet, les nouvelles technologies et besoins des grandes métropoles contraignent les concepteurs de ces systèmes à toujours intégrer de plus en plus de fonctionnalités. Cette complexité rend obsolète les méthodes de conception traditionnelles qui reposent sur l'expertise d'ingénieurs. La conception du système est définie sur plusieurs documents de spécification, de centaines de pages chacun. Ces derniers comprennent généralement la description des différentes exigences, fonctionnalités et sous-systèmes, ils sont rédigés en langage naturel. Ceci est source d'erreurs et ambigüités lors des différentes phases de conception et de validation sécuritaire. De ce fait, l'ingénierie système basée sur les modèles propose des solutions outillées afin de structurer et spécifier de manière systématique le fonctionnement du système. Dans cette thèse, nous proposons une approche de rétro-ingénierie de ces spécifications système. Cette approche nous permet de définir une méthodologie orientée-scénarios pour la formalisation et analyse de spécifications système. Elle est basée sur le langage de modélisation semi-formel ScOLa (Scénarios Oriented Language) et un modèle d'exécution formel basé sur le langage AltaRica 3.0. Nous proposons, á partir de ScOLa, des techniques contribuant aux analyses de sûreté fonctionnelles du système. Ces techniques permettent de clarifier, structurer et analyserAs of today, the complexity of transportation systems and especially railways is continuously growing. Indeed, new technologies and needs of major metropolitan areas constrain system designers to integrate more and more functionalities. Traditional methods for the design of systems are mainly based on the knowledge of experts. Systems are specified in several documents, of hundreds of pages each. These documents provide a general description of the requirements, functionalities and sub-systems, and are written in a natural language. This is error-prone and source of ambiguities. Model-based systems engineering proposes systematic solutions to structure and specify systems architectures. In this thesis, we propose a reverse engineering approach that is able to capture systems concepts. This leads us to propose ScOLa, a scenario-oriented modeling language for systems specifications with the following features:- A scenario-oriented approach to provide a more contextual view of the system, at several abstraction levels.- A co-construction of the architecture and behavior of the system in the same model.- The use of ScOLa for a seamless integration of system specification and safety analysis. We propose ascenario-oriented methodology for safety analysis, implemented using AltaRica 3.0
36
Lamouchi, Rihab. „Contributions à l'observation et à la commande tolérante aux fautes des systèmes incertains“. Thesis, Paris, CNAM, 2017. http://www.theses.fr/2017CNAM1134/document.
Der volle Inhalt der QuelleAnnotation:
Les travaux de recherche présentés dans ce mémoire portent sur la synthèse d'observateurs intervalles pour la commande tolérante aux fautes de systèmes incertains. La présence de défauts, d'incertitudes et de perturbations peut provoquer des réactions indésirables du système commandé. Dans ce contexte, nous avons développé deux approches de commande tolérante aux fautes basées sur des observateurs intervalles dans le cas où les défauts et les incertitudes sont inconnus mais bornés. La première approche, dite passive, permet de garantir la stabilité du système en boucle fermée y compris en présence de défauts actionneurs et/ou composants. La seconde approche, dite active, permet de compenser l'effet des défauts et d'assurer la stabilité et les performances désirées du système. Ces contributions sont validées par des simulations numériquesThe research work presented in this thesis focuses on the design of interval observers for fault-tolerant control of uncertain systems. The presence of faults, uncertainties and disturbances in automated systems often causes undesirable reactions. In this context, two approaches of fault tolerant control have been developed based on interval observers in the case where the faults and the uncertainties are unknown but bounded. The first approach is passive and consists in ensuring the closed loop system stability even in the presence of actuator and/or component faults. The second approach, an active one, compensates the fault effect and ensures the system stability and desired performances. These contributions are validated through numerical simulations
37
Comas, Olivier. „Real-time Soft Tissue Modelling on GPU for Medical Simulation“. Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2010. http://tel.archives-ouvertes.fr/tel-00561299.
Der volle Inhalt der QuelleAnnotation:
Modéliser la déformation de structures anatomiques en temps réel est un problème crucial en simulation médicale. En raison des grandes différences existantes dans leur forme et leur constitution, un modèle unique est insuffisant face à la variété des comportements mécaniques. Par conséquent, nous avons identifié deux principaux types de structures: les organes pleins (cerveau, foie, prostate etc.) et les organes creux (colon, vaisseaux sanguins, estomac etc.). Notre réponse à cette problématique est double. Notre première contribution est une implémentation GPU d'un modèle éléments finis qui est non-linéaire, anisotropique et viscoélastique pour les structures pleines. Notre seconde contribution est un environnement pour modéliser en temps réel les structures fines via un modèle parallèlisable et co-rotationnel utilisant des éléments coques et une approche pour mailler une surface complexe avec des éléments coques courbes. Bien que les deux modèles de tissus soient basés sur la mécanique continue pour une meilleure précision, ils sont tous les deux capables de simuler la déformation d'organes en temps réel. Enfin, leur implémentation dans l'environnement open source SOFA permettra la diffusion de ces deux modèles afin de participer à l'amélioration du réalisme des simulateurs médicaux.
38
Olivier, Pierre. „Modélisation et analyse du comportement dynamique d'un système d'électrolyse PEM soumis à des sollicitations intermittentes : Approche Bond Graph“. Thesis, Lille 1, 2016. http://www.theses.fr/2016LIL10212/document.
Der volle Inhalt der QuelleAnnotation:
L’électrolyse est une technologie qui permet de répondre à deux problématiques cruciales. D’une part, répondre au besoin en stockage d’énergie liée à l’intégration de sources intermittentes sur les réseaux électriques. D’autre part, répondre à la croissance de la demande en hydrogène, liée aux marchés naissants de l’hydrogène énergie. La nature des besoins liés au développement de la technologie d’électrolyse implique des sollicitations intermittentes dont les impacts quant au fonctionnement du système sont encore méconnus. En ce sens, et face aux manques de la littérature quant à la modélisation à l’échelle système de la technologie d’électrolyse PEM, un nouveau modèle est développé. Pour cela, le formalisme de modélisation graphique Bond Graph est utilisé, notamment pour sa capacité à représenter tout type d’échange énergétique de manière unifiée. Le modèle développé permet de représenter l’intégralité d’un système d’électrolyse PEM, ses différents composants et lois de contrôle associées. Il est validé sur la base du comportement dynamique d’une installation semi-industrielle disponible au CEA. Ce modèle est ensuite utilisé pour identifier et comprendre les enjeux liées à une sollicitation intermittente d’un système d’électrolyse PEM d’un point de vue de l’efficacité du système, de sa flexibilité et de sa capacité de suivi de charge, de sa fiabilité, de sa sûreté ou encore de sa durabilité. Différentes modifications de conception sont simulées et évaluées à la lumière de ces différents enjeux. Finalement, le modèle Bond Graph est exploité d’un point de vue de ses propriétés structurelles afin d’analyser les conditions de surveillabilité d’un système d’électrolyse PEMPEM Electrolysis is a technology which to enable to face two major challenges : (i) Fulfill the need of energy storage caused by the integration of intermittent energy sources on electricity networks; (ii) Cope with the growing need of carbon free hydrogen caused by the future market applications of hydrogen energy. These particular needs, regarding electrolysis technology development, involve an intermittent operating mode which impacts on the dynamic behavior of the system remain unknown. Modelling is a critical tool to understand these issues and provide a thorough analysis. State of the art of existing modelling works highlighted that only a few models take into account the dynamic of the whole system including Balance of Plant. Therefore a new dynamic and multiphysic model was developed under Bond Graph formalism. This graphical modelling formalism was selected especially thanks to its ability to represent any kind of power exchange in a unified way. The model enables to represent the whole system including balance of plant and associated control laws. It is validated on the dynamic behavior of an experimental device available in CEA. The model is then used in order to identify and understand the issues related to intermittent operation of a PEM electrolysis system. These issues are related to system efficiency, flexibility, reliability, safety and durability. Regarding these issues, some design changes are simulated and assessed. Finally, the Bond Graph model and its structural properties enable to perform diagnosis and monitorability analyses of a PEM electrolysis system
39
Pinaud, Olivier. „Analyse mathématique et numérique de quelques problèmes de transport dans les nanostructures“. Toulouse 3, 2003. http://www.theses.fr/2003TOU30104.
Der volle Inhalt der Quelle
40
Lagacherie, Philippe. „Formalisation des lois de distribution des sols pour automatiser la cartographie pédologique à partir d'un secteur pris comme référence : cas de la petite région naturelle Moyenne Vallée de l'Hérault“. Montpellier 2, 1992. http://www.theses.fr/1992MON20266.
Der volle Inhalt der QuelleAnnotation:
La these aborde le probleme de l'automatisation de la cartographie des sols d'une petite region naturelle. Cela suppose la realisation prealable d'une carte pedologique interessant un perimetre limite mais sense etre representatif de cette petite region: le secteur de reference. L'accent est plus particulierement mis sur la prediction des unites de sol au moyen de lois de distribution, degagees lors de l'etude du secteur de reference. Ces lois sont supposees stables sur l'ensemble de la petite region naturelle. A partir de la carte des sols d'un secteur de reference dans la moyenne vallee de l'herault (france), il est entrepris l'extraction automatique de deux types de lois: les lois fondees sur les relations sols-paysages, les lois fondees sur les relations de voisinage. Ces lois sont ensuite integrees a un outil informatique simulant la demarche cartographique et capable de produire, a l'exterieur du secteur de reference, de nouvelles cartes de sol. La confrontation, sur 3 secteurs de validation, de ces cartes avec celles produites par une prospection manuelle, fournit des resultats qui permettent de discuter l'hypothese de stabilite des lois emises en debut de travail et les perspectives d'automatisation future des cartes de sols selon la methode proposee
41
Fadi, Abdallah el. „Spécification comportementale temporelle dans un simulateur multi-niveaux“. Grenoble INPG, 1988. http://www.theses.fr/1988INPG0039.
Der volle Inhalt der QuelleAnnotation:
Cette thèse aborde les problèmes de la validation automatique dans le domaine CAO de matériels informatiques et électroniques, en liaison avec des techniques de simulation mixte. Le but a été d'établir une méthodologie de spécification comportementale basée sur l'utilisation de primitives logiques et temporelles permettant de conditionner certaines propriétés des systèmes modélises et simulés
42
Martin, Michel Camille Eugène. „Pourquoi et comment rendre pédagogique la communication technique“. Lille 1, 2003. https://pepite-depot.univ-lille.fr/RESTREINT/Th_Num/2003/50377-2003-35.pdf.
Der volle Inhalt der QuelleAnnotation:
A chaque fois que les hommes communiquent de manière technique, le contenu univoque des messages transmis se fait dans un langage implicite. Dans l'enseignement scientifique et technologique, les élèves rencontrent des difficultés pour produire des artefacts satisfaisants car les objets référents ne sont pas nettement définis et les renseignements fournis par les représentations externes sont parfois inexploitables ce qui rend difficile la construction des représentations internes des acteurs, notamment lorsqu'il s'agit de dessins techniques. Pour accéder à la connaissance adéquate des objets technologiques sur lesquels ils travaillent, les élèves ont donc besoin d'instruments favorisant la construction de leurs représentations et la conception d'artefacts. Dans cette thèse, nous avons mis en évidence que la décomposition des objets techniques puis l'ordonnancement des objets technologiques en formes et en fonctions semblent nécessaires mais insuffisantes lorsque les objets référents sont très complexes. La nature du mode d'illustration de la définition des objets technologiques semble alors déterminante pour que les élèves simulent mentalement avant de concevoir et produire des artefacts.
43
Heyer, Laurent. „L'interaction patient-ventilateur : application technique d'une analyse biologique“. Phd thesis, Université Joseph Fourier (Grenoble ; 1971-2015), 2009. http://www.theses.fr/2009GRE10184.
Der volle Inhalt der QuelleAnnotation:
Par assistance respiratoire mécanique partielle. Nous avons essayé de préciser la description du système hybride {Patient, Ventilateur} afin de construire un outil clinique de surveillance de l'IPV. Dans un premier temps, nous avons proposé d'aborder l'IPV comme la phénoménologie locale d'un réseau biologique communicant. L'IPV est alors la traduction de la communication établie à travers l'appareil respiratoire entre un oscillateur biologique et un oscillateur mécanique. Cette approche biologique permet à la fois d'utiliser les résultats de la théorie de la communication pour élaborer un score de désynchronisation, et de construire l'outil nécessaire pour calculer ce score en clinique. L'outil est un détecteur non-invasif de l'activité musculaire à partir de l'estimation de la pression musculaire par un modèle de la mécanique du système ventilatoire dont le traitement de signal est suffisamment robuste pour permettre son automatisation. Nous avons ensuite validé ces constructions chez des patients sous assistance partielle. Le score de désynchronisation est spécifiquement augmenté par la combinaison d'altérations de la voie de communication ou de la génération de l'activité inspiratoire à transmettre. La quantification automatique de l'IPV par un score spécifique de désynchronisation, reflet de l'altération de la transmission de l'information entre le patient et son ventilateur, et par une détection de l'activité inspiratoire, reflet du message à transmettre, devrait permettre d'améliorer l'analyse clinique du comportement des patients sous assistance partielleOptimal Patient/Ventilator Interactions (PVI) is a determinant factor for pressure support therapy. We studied the hybrid system {Patient, Ventilator} in order to develop a clinical tool for PVI monitoring. In the first part, we described IPV as the expression of a local communication in a biological network. PVI reflect the communication process trough the respiratory system between a biological oscillator and a mechanical oscillator. This biological approach allows application of Shannon theory for the development of a de-synchronization score and the definition of an appropriate inspiratory muscle effort detector. For this purpose, we developed an automatic non-invasive detector based on a robust muscular pressure estimates continuously assessed with the help of passive mechanical respiratory models updated cycle by cycle. In the second part, we assessed these developments in patients under pressure support ventilation. The de-synchronization score was increased as the transmission channel was altered by additional noise or as the information source, the inspiratory effort, was decreased. An automatic titration of IPV by a de-synchronization score that assess channel transmission efficiency or by an inspiratory muscle effort detector that assess message generator efficiency might be helpful for respiratory function monitoring in patients under pressure support
44
Copie, Guillaume. „Modélisation multi-échelle de l'auto-assemblage de nanostructures sur surfaces“. Thesis, Lille 1, 2014. http://www.theses.fr/2014LIL10142/document.
Der volle Inhalt der QuelleAnnotation:
Le développement des méthodes de simulations numériques a permis de modéliser des systèmes physiques de plus en plus complexes et de les étudier à des échelles de taille et de temps importantes en appliquant une démarche multi-échelle.Ainsi, dans le cadre de cette thèse, un premier travail a regardé l’étude de l’auto-organisation de trois types de molécules organiques aromatiques sur une surface semi-conductrice à l’aide de différents outils numériques. Dynamique moléculaire empirique, métadynamique, et simulations de type Monte-Carlo ont été judicieusement combinées pour permettre l’étude multi-échelle de ces systèmes permettant ainsi d’explorer l’importance des interactions non-covalentes inter- moléculaires et molécule-surface, dans la structure et stabilité des réseaux 2 dimensions. A noter que, pour l‘une d’entre elles un comportement cinétique a également pu être mis en évidence, pouvant conduire à la coexistence de phases de symétries différentes sur la surface. Dans tous les cas, la comparaison avec les résultats expérimentaux est excellente.Dans une deuxième partie de ces travaux, l’étude du comportement de couches denses de molécules chimisorbées à l’interface entre des nanoparticules d’Au auto-assemblées sur surface a été abordée. Deux types de molécules ont été étudiés. Pour la première, un comportement différent de la jonction moléculaire, suivant la configuration des molécules (cis ou trans), a pu être mis en évidence, permettant de proposer des explications microscopiques pour la réponse électronique des jonctions entre nanoparticules auto-assemblées, utilisées dans des dispositifs d’électronique moléculaire. Pour la seconde molécule, nous avons pu étudier le comportement des couches moléculaires à l’interface entre couches de nano-particules, quand celles-ci sont soumises à une contrainte mécanique de type compression. Un module de Young efficace pour ces couches moléculaires a pu être estiméThe development of computer simulation methods allows to model physical systems of ever growing complexity, and to study their behavior over unprecedentedly large scales of time and length, by applying a multi-scale strategy.In the framework of this thesis, we firstly studied the self-organization of three dif- ferent kinds of organic aromatic molecules (THBB, TBBB, TCNBB) on a boron-doped semi-conductor surface, (Si:B(111)), by means of different numerical simulation methods. Empirical molecular dynamics, metadynamics and Monte Carlo simulations were adequa- tely combined, in order to explore the multi-scale behavior of such systems, allowing to elucidate the role of weak intermolecular and molecule-surface interactions, in the struc- ture and stability of the resulting bi-dimensional supramolecular lattices. In particular, for the TCNBB molecule a kinetic pathway has been demonstrated, which may lead to the coexistence of phases with different symmetry on the surface. In all cases, an excellent agreement with experiments was demonstrated.In a second part of this thesis, we studied the behavior of dense layers of molecules chemisorbed at the surface of nanometer-sized Au particles, in driving their self-assembly. Two kind of molecules, AzBT and MUDA, were studied. For the first one, the response of the junctions formed between the adjoining Au nanoparticles has been shown to de- pend on the conformation of the molecules, in their cis or trans form. This allowed to propose microscopic explanations for the experimentally observed electronic behavior of the junctions. For the second molecule, we studied the mechanical response of the self- assembled Au nanoparticle layers subject to a compressive load, leading to an estimate of the effective Young’s modulus of the nanostructure
45
Loubier, Éloïse. „Analyse et visualisation de données relationnelles par morphing de graphe prenant en compte la dimension temporelle“. Toulouse 3, 2009. http://thesesups.ups-tlse.fr/2264/.
Der volle Inhalt der QuelleAnnotation:
Avec la mondialisation, l'entreprise doit faire face aux menaces de plus en plus fortes de la concurrence et à l'accélération des flux d'information. Pour cela, elle est amenée à rester continuellement informée des innovations, des stratégies de la concurrence et de l'état du marché tout en gardant la maîtrise de son environnement. Le développement d'Internet et la globalisation ont à la fois renforcé cette exigence, et fourni les moyens de collecter l'information qui, une fois synthétisée, prend souvent une forme relationnelle. Pour analyser le relationnel, le recours à la visualisation par des graphes apporte un réel confort aux utilisateurs, qui, de façon intuitive, peuvent s'approprier une forme de connaissance difficile à appréhender autrement. Nos travaux conduisent à l'élaboration des techniques graphiques permettant la compréhension des activités humaines, de leurs interactions mais aussi de leur évolution, dans une perspective décisionnelle. Nous concevons un outil alliant simplicité d'utilisation et précision d'analyse se basant sur deux types de visualisations complémentaires : statique et dynamique. L'aspect statique de notre modèle de visualisation repose sur un espace de représentation, dans lequel les préceptes de la théorie des graphes sont appliqués. Le recours à des sémiologies spécifiques telles que le choix de formes de représentation, de granularité, de couleurs significatives permet une visualisation plus juste et plus précise de l'ensemble des données. L'utilisateur étant au cœur de nos préoccupations, notre contribution repose sur l'apport de fonctionnalités spécifiques, qui favorisent l'identification et l'analyse détaillée de structures de graphes. Nous proposons des algorithmes qui permettent de cibler le rôle des données au sein de la structure, d'analyser leur voisinage, tels que le filtrage, le k-core, la transitivité, de retourner aux documents sources, de partitionner le graphe ou de se focaliser sur ses spécificités structurelles. Une caractéristique majeure des données stratégiques est leur forte évolutivité. Or l'analyse statistique ne permet pas toujours d'étudier cette composante, d'anticiper les risques encourus, d'identifier l'origine d'une tendance, d'observer les acteurs ou termes ayant un rôle décisif au cœur de structures évolutives. Le point majeur de notre contribution pour les graphes dynamiques représentant des données à la fois relationnelles et temporelles, est le morphing de graphe. L'objectif est de faire ressortir les tendances significatives en se basant sur la représentation, dans un premier temps, d'un graphe global toutes périodes confondues puis en réalisant une animation entre les visualisations successives des graphes attachés à chaque période. Ce procédé permet d'identifier des structures ou des événements, de les situer temporellement et d'en faire une lecture prédictive. Ainsi notre contribution permet la représentation des informations, et plus particulièrement l'identification, l'analyse et la restitution des structures stratégiques sous jacentes qui relient entre eux et à des moments donnés les acteurs d'un domaine, les mots-clés et concepts qu'ils utilisentWith word wide exchanges, companies must face increasingly strong competition and masses of information flows. They have to remain continuously informed about innovations, competition strategies and markets and at the same time they have to keep the control of their environment. The Internet development and globalization reinforced this requirement and on the other hand provided means to collect information. Once summarized and synthesized, information generally is under a relational form. To analyze such a data, graph visualization brings a relevant mean to users to interpret a form of knowledge which would have been difficult to understand otherwise. The research we have carried out results in designing graphical techniques that allow understanding human activities, their interactions but also their evolution, from the decisional point of view. We also designed a tool that combines ease of use and analysis precision. It is based on two types of complementary visualizations: statics and dynamics. The static aspect of our visualization model rests on a representation space in which the precepts of the graph theory are applied. Specific semiologies such as the choice of representation forms, granularity, and significant colors allow better and precise visualizations of the data set. The user being a core component of our model, our work rests on the specification of new types of functionalities, which support the detection and the analysis of graph structures. We propose algorithms which make it possible to target the role of the data within the structure, to analyze their environment, such as the filtering tool, the k-core, and the transitivity, to go back to the documents, and to give focus on the structural specificities. One of the main characteristics of strategic data is their strong evolution. However the statistical analysis does not make it possible to study this component, to anticipate the incurred risks, to identify the origin of a trend, and to observe the actors or terms having a decisive role in the evolution structures. With regard to dynamic graphs, our major contribution is to represent relational and temporal data at the same time; which is called graph morphing. The objective is to emphasize the significant tendencies considering the representation of a graph that includes all the periods and then by carrying out an animation between successive visualizations of the graphs attached to each period. This process makes it possible to identify structures or events, to locate them temporally, and to make a predictive reading of it. Thus our contribution allows the representation of advanced information and more precisely the identification, the analysis, and the restitution of the underlying strategic structures which connect the actors of a domain, the key words, and the concepts they use; this considering the evolution feature
46
Jourdana, Clément. „Mathematical modeling and numerical simulation of innovative electronic nanostructures“. Toulouse 3, 2011. http://www.theses.fr/2011TOU30200.
Der volle Inhalt der QuelleAnnotation:
Dans cette thèse, nous nous intéressons à la modélisation et la simulation de dispositifs nanoélectroniques innovants. Premièrement, nous dérivons formellement un modèle avec masse effective pour décrire le transport quantique des électrons dans des nanostructures très fortement confinées. Des simulations numériques illustrent l'intérêt du modèle obtenu pour un dispositif simplifié mais déjà significatif. La deuxième partie est consacrée à l'étude du transport non ballistique dans ces mêmes structures confinées. Nous analysons rigoureusement un modèle de drift-diffusion et puis nous décrivons et implémentons une approche de couplage spatial classique-quantique. Enfin, nous modélisons et simulons un nanodispositif de spintronique. Plus précisement, nous étudions le renversement d'aimantation dans un matériau ferromagnétique multi-couches sous l'effet d'un courant de spinIn this PhD thesis, we are interested in the modeling and the simulation of innovative electronic nanodevices. First, we formally derive an effective mass model describing the quantum motion of electrons in ultra-scaled confined nanostructures. Numerical simulations aim at testing the relevance of the obtained model for a simplified (but already significant) device. The second part is devoted to non-ballistic transport in these confined nanostructures. We rigorously analyse a drift-diffusion model and afterwards we describe and implement a classical-quantum spatial coupling approach. In the last part, we model and simulate a spintronic nanodevice. More precisely, we study the magnetization switching of a ferromagnetic material driven by a spin-current
47
Boussier, Jean-Marie. „Modélisation de comportements dans les systèmes dynamiques : Application à l'organisation et à la régulation de stationnement et de déplacement dans les Systèmes de Trafic Urbain“. Phd thesis, Université de La Rochelle, 2007. http://tel.archives-ouvertes.fr/tel-00411272.
Der volle Inhalt der QuelleAnnotation:
L'objectif de nos travaux est de développer un cadre méthodique afin de modéliser les préférences, les changements de comportement des individus ainsi que leurs impacts sur l'état d'un système complexe dans un contexte dynamique. L'utilisateur doit simuler les conséquences des politiques de transports et d'urbanisme sur l'offre et demande de stationnement, étape essentielle. Modéliser les préférences hétérogènes des usagers, intégrer des connaissances, selon des logiques comportementales différentes, ont justifié l'approche multi agents. Afin d'avoir des représentations adaptatives et évolutives des comportements des agents individus, les processus décisionnels et d'apprentissage sont modélisés au moyen d'un panier d'outils issus de l'optimisation des procédés industriels, des techniques Data Mining, de marketing. L'emploi personnalisé du simulateur avec l'interactivité utilisateursimulateur a motivé l'adaptation de ce cadre méthodique à la simulation des systèmes complexes sociétaux.
48
Mégret, Lucile. „Explosions de cycles : analyses qualitatives, simulations numériques et modèles“. Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066359/document.
Der volle Inhalt der QuelleAnnotation:
Ce travail porte sur de nouvelles explosions de cycles (orbites périodiques), l'étude de leur structure par l'analyse qualitative, leur mise en évidence par simulation numérique (Auto, Xpp) et la discussion de leur pertinence dans des modèles mathématiques dans les neurosciences. De telles explosions se produisent dans les systèmes dynamiques lents-rapides. La plupart des neurones sont excitables, dès 1940, Hodgkin identifia trois classes fondamentales d'axones excitables distinguées par leurs réponses à un courant injecté d'amplitude variable. A l'aide de la fonction de Lambert, nous étudions la transition entre les types I et II par des explosions de cycle incomplètes, initiées par une bifurcation de Hopf singulière et qui se terminent dans une bifurcation homocline dans des systèmes une variable rapide/une variable lente. Vient ensuite une étude poussée du système de Hindmarsh-Rose. Il s'agit d'un système deux variables rapides/une variable lente qui produit des oscillations en salves (ou bursting). Nous généralisons la notion d'ensembles candidats-limites-périodiques (clp) aux systèmes tridimensionnels, il s'agit des ensembles invariants du système à la limite singulière. A l'aide de ces derniers, nous obtenons une description très fine de la déformation du cycle limite jusqu'à l'addition d'un nouveau spike au burst. Nous finissons par une étude de la minimalité du modèle de F. Clément et J.-P. Françoise. Ce dernier est un système 4D qui modélise l¿activité des neurones à GnRH. Nous étudions un système une variable rapide/deux variables lentes qui reproduit certaines des caractéristiques du modèle 4D, notamment des Mixed-Modes oscillationsThis thesis is focussed on the analysis of novel explosions of limit cycles (periodic orbits). We provide a study of their structure by qualitative analysis, exhibit evidences of their existence by numerical simulations (Auto, Xpp) and propose a discussion of their relevance in mathematical modeling for neurosciences. Such explosions occur in the slow-fast dynamical systems. Most of neurons are excitable, Hodgkin (1940) identified three fundamental classes of excitable axon distinguished by their responses to a current of variable amplitude injected. Using the Lambert function, we study the transition between types I and II by incomplete explosion of cycle. This explosion, produced by a planar vector field with one fast/one slow variable, is initiated by a singular Hopf bifurcation and ends via a homoclinic bifurcation. The next chapter proposed a study of the Hindmarsh-Rose system. This system, composed of one fast/ two slow variables, is well known to produce square wave bursting oscillation. We generalize the notion of candidate-limit-perodic sets (CLP-sets) to three-dimensional systems. A CLP-set is an invariant set of the system in the singular limit. Using these, we get a very acurate description of the limit cycle deformation under the variation of a parameter until the addition of a new spike to burst. Finally, we propose a study fot the minimality of the model introduced by F. Clement and J.-P. Françoise. The latter is a 4D system that models the activity of GnRH neurons. We study a system composed by one fast /two slow variables that reproduces some of the features of the 4D model, including Mixed-Modes oscillations
49
Démare, Thibaut. „Une approche systémique à base d'agents et de graphes dynamiques pour modéliser l'interface logistique port-métropole“. Thesis, Le Havre, 2016. http://www.theses.fr/2016LEHA0021/document.
Der volle Inhalt der QuelleAnnotation:
Un système logistique est une composante essentielle d'un système spatial dans lequel les acteurs s'organisent autour d'infrastructures pour faire circuler des flux (de marchandises, d'information et financier) sur un territoire. L'organisation logistique globale résulte d'un processus auto-organisé et distribué de la part des acteurs. Ce travail vise à comprendre, à de multiples échelles, comment des acteurs autonomes et très hétérogènes (dans leurs modes de fonctionnements et dans leurs objectifs), s'organisent collectivement autour des infrastructures à leurs dispositions pour gérer des flux soumis à un ensemble de contraintes (temporelles, spatiales,...). On propose ici un modèle orienté agent permettant de simuler les processus de création et d'organisation des flux liés à la logistique sur un territoire. Le modèle prévoit de décrire l'interface entre les flux internationaux et les flux urbains afin de comprendre comment les dynamiques portuaires et urbaines cohabitent au sein du système. Le modèle intègre une dynamique structurelle et organisationnelle grâce aux graphes dynamiques afin de représenter l'évolution du système. Le modèle permet ainsi aux agents de s'adapter, comme dans la réalité, à des perturbations du systèmeA logistic system is an essential component of a spatial system. Actors are organised around infrastructures in order to move different kinds of flow (of goods, of information, or financial) over a territory. The logistic organisation comes from an auto-organised and distributed process from the actors. This works aims to understand, at different scales, how autonomous and heterogeneous actors (according to their goals and methods to take decisions) are collectively organised around infrastructures to manage different kinds of flow, and despite numerous constraints (temporal, spatial,...). We propose an agent-based model which allows to simulate the processes to create and organise logistic flow over a territory. The model describes an interface between international and urban flow in order to understand how the port and urban dynamics work together. The model integrates a structural and organisational dynamics thanks to dynamic graphs in order to represent the evolution of this kind of system. Thus, the agents can adapt themselves to system's perturbations as in the reality
50
Dolques, Xavier. „Génération de Transformations de Modèles : une approche basée sur les treillis de Galois“. Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2010. http://tel.archives-ouvertes.fr/tel-00916856.
Der volle Inhalt der QuelleAnnotation:
La transformation de modèles est une opération fondamentale dans l'ingénierie dirigée par les modèles. Elle peut être manuelle ou automatisée, mais dans ce dernier cas elle nécessite de la part du développeur qui la conçoit la maîtrise des méta-modèles impliqués dans la transformation. La génération de transformations de modèles à partir d'exemples permet la création d'une transformation de modèle en se basant sur des exemples de modèles sources et cibles. Le fait de travailler au niveau modèle permet d'utiliser les syntaxes concrètes définies pour les méta-modèles et ne nécessite plus une maîtrise parfaite de ces derniers.Nous proposons une méthode de génération de transformations de modèles à partir d'exemples basée sur l'Analyse Relationnelle de Concepts (ARC) permettant d'obtenir un ensemble de règles de transformations ordonnées sous forme de treillis. L'ARC est une méthode de classification qui se base sur des liens de correspondances entre les modèles pour faire émerger des règles. Ces liens étant un problème commun à toute les méthodes de génération de transformation de modèles à partir d'exemples, nous proposons une méthode basée sur des méthodes d'alignement d'ontologie permettant de les générer.