.

.

Ce travail présente des modèles d'écoulement en temps continu de flux de trafic routier. En premier lieu, il s'agit de modèles microscopiques de poursuite. Un modèle par systèmes d'équations différentielles couplées est proposé, basé sur le temps inter-véhiculaire. Ce modèle intègre un temps de réaction et des possibilités d'anticipation pour chaque véhicule. Les paramètres sont estimés par maximum de vraisemblance dans un modèle statistique à deux niveaux. Des simulations permettent de caractériser le comportement d'une file de véhicules. Dans une approche stochastique, un modèle d'évolution de la distance inter-véhiculaire est étudié à l'aide du processus Markovien de saut zero-range. L'introduction d'un temps de réaction tend à produire des ondes cinématiques. D'autre part, un modèle d'écoulement de trafic par le processus Markovien de saut des misanthropes est proposé. Il s'agit d'une modélisation au niveau mésoscopique, adaptée à la simulation de flux de trafic sur un réseau

Cette thèse traite de l'étude de la convergence de la solution du système (HBF)(Heavy Ball with friction) avec quelques contrôles externes et internes comme le contrôle de frottement lambda. L'objectif est de trouver des conditions permettant à la solution x(t) de converger faiblement ou fortement vers des ponts critiques de la fonction $Phi$. En général, on s'intéresse à l'étude de cette équation (ou système d'équations) selon les comportements du contrôle externe $lambda(.)$. Par exemple : 1- $lambda(.)$ borné, minoré par une constante positive, 2- $lambda(.)$ prend la valeur zéro sur des intervalles disjoints, 3- $lambda(.)$ tend vers zéro quand t tend vers l'infini. De même, on considère les cas où le contrôle interne $Phi$ satisfait à certaines conditions 1- $Phi$ convexe, 2-$Phi$ coercive ou fortement convexe, 3-$nablaPhi (x(t)) $ est remplacé par un opérateur différentiel Ax(t) + epsilon(t)x(t) (exemple A=-Laplacien, ou A=-div(B.gradient)) où B est une matrice carrée / This thesis deals with the study of the convergence of the solution of the (HBF) system (Heavy ball with friction) With some external and internal controls such as the friction control. The purpose is to find conditions allowing the solution x(.) to converge weakly or strongly towards critical points of the fonction Phi. In general, we examine this equation (or a system of equations) depending on the behaviours of the external control lambda(.). The following cases have been considered : 1- lambda, bounded and greater than a positive constant, 2-lambda, vanishes on separate intervals, 3-lambda,tends to zero as t tends to infinity. We emphasize some particular cases for the internal control Phi 1- Phi convex, 2- Phi coercive ou fortement convexe, 3-nablaPhi(x(t)) replaced by a linear differential operator Ax(t) + epsilon(t)x(t) (exemple A=-Laplacien, ou A=-div(B.gradient))

Ce travail présente des modèles d'écoulement en temps continu de flux de trafic routier. En premier lieu, il s'agit de modèles microscopiques de poursuite. Un modèle par systèmes d'équations différentielles couplées est proposé, basé sur le temps inter-véhiculaire. Ce modèle intègre un temps de réaction et des possibilités d'anticipation pour chaque véhicule. Les paramètres sont estimés par maximum de vraisemblance dans un modèle statistique à deux niveaux. Des simulations permettent de caractériser le comportement d'une file de véhicules. Dans une approche stochastique, un modèle d'évolution de la distance inter-véhiculaire est étudié à l'aide du processus Markovien de saut zero-range. L'introduction d'un temps de réaction tend à produire des ondes cinématiques. D'autre part, un modèle d'écoulement de trafic par le processus Markovien de saut des misanthropes est proposé. Il s'agit d'une modélisation au niveau mésoscopique, adaptée à la simulation de flux de trafic sur un réseau / This work presents different continuous-time traffic flow models. Microscopic models are considered first. A model by coupled differential equation system is proposed, based on the time gap. It incorporates a reaction time parameter and some anticipation possibilities, for each vehicle. The parameters are estimated by maximum likelihood over a two-level statistical model. Simulations allow to characterise the behaviour of a vehicles line. In a stochastic approach, a model of the distance gap evolution is studied with a zero-range process. The introduction of a reaction time parameter produces kinematics waves. On the other hand, traffic flow model by a misanthropes process is proposed. It is a mesoscopic approach, adapted to the simulation of traffic flow on a network

Le travail présente dans cette thèse est un travail algorithmique portant sur deux sujets: solutions formelles des systèmes d'équations différentielles linéaires ordinaires dépendant (ou pas) d'un paramètre et opérations fondamentales pour les opérateurs différentiels. Dans la première partie: nous avons démontre la convergence d'un algorithme et développe un programme en macsyma pour le calcul de la forme de Frobenius et Jordan de matrices holomorphes. Nous avons aussi développé un algorithme et un programme en macsyma pour le calcul de formes de Arnold-Wasow de matrices et systèmes différentiels dépendant d'un paramètre. Grâce a ces algorithmes, l'algorithme de Turrittin-Wasow est adapte au calcul formel pour trouver les solutions formelles de systemes differentiels dépendant d'un paramétré. Nous avons developpe un programme en macsyma pour le calcul de solutions formelles de systèmes différentiels dans un voisinage du point singulier régulier. Dans la deuxième partie: nous avons développe des algorithmes pour des opérations fondamentales sur deux opérateurs différentiels: le plus grand commun diviseur, le plus petit commun multiples, l'algorithme de Bezout, le pseudo-résultant. Nous avons aussi étudie une généralisation directe de la notion de base de Grobner dans l'anneau des opérateurs différentiels a coefficients polynomiaux, i.e. L'algèbre de Weyl

On propose des algorithmes de réduction des systèmes différentiels linéaires dont les coefficients sont des séries formelles. Ces méthodes donnent une caractérisation de la singularité et construisent par le même moyen des transformations permettant la résolution du système

Soit $\mathcal{W}(d)$ un $d$-tissu non singulier du plan implicitement présenté par une équation différentielle $F(x,y,y')=0$, et de connexion associée $(E,\nabla)$. De nouveaux invariants de $\mathcal{W}(d)$ sont mis à jour ; en particulier, on montre que $(E,\nabla)$ est entièrement déterminé par la connaissance d'une $1$-forme fondamentale et du polynôme de linéarisation du tissu.\esp Nous indiquons également comment la courbure de la connexion rend compte de la linéarisation du tissu. En étudiant la trace de la courbure de la connexion, on montre que le fibré déterminant de $(E,\nabla)$ est isomorphe au produit tensoriel des fibrés en droites associés aux $3$-tissus extraits. Nous donnons ensuite une caractérisation géométrique des tissus de trace nulle, en généralisant la construction de l'hexagone de Thomsen. En outre, on présente un procédé explicite de détermination du rang de $\mathcal{W}(d)$ pour $d$ quelconque, à partir des seuls coefficients de $F$. En application, nous retrouvons des résultats connus en géométrie des tissus, et indiquons des perspectives nouvelles, notamment pour l'étude des tissus exceptionnels.

Nous décrivons le niveau de dégradation caractéristique d'une structure à l'aide d'un processus stochastique appelé processus de dégradation. La dynamique de ce processus est modélisée par un système différentiel à environnement markovien.<br /><br />Nous étudions la fiabilité du système en considérant la défaillance de la structure lorsque le processus de dégradation dépasse un seuil fixe. Nous obtenons la fiabilité théorique à l'aide de la théorie du renouvellement markovien.<br /><br />Puis, nous proposons une procédure d'estimation des paramètres des processus aléatoires du système différentiel. Les méthodes d'estimation et les résultats théoriques de la fiabilité, ainsi que les algorithmes de calcul associés, sont validés sur des données simulés.<br /><br />Notre méthode est appliquée à la modélisation d'un mécanisme réel de dégradation, la propagation des fissures, pour lequel nous disposons d'un jeu de données expérimental.

Cette thèse est consacrée aux méthodes symboliques de résolution locale des systèmes différentiels linéaires à coefficients dans K = C((x)), le corps des séries de Laurent, sur un corps effectif C. Plus précisément, nous nous intéressons aux algorithmes effectifs de réduction formelle. Au cours de la réduction, nous sommes amenés à introduire des extensions algébriques du corps de coefficients K (extensions algébriques de C, ramifications de la variable x) afin d’obtenir une structure plus fine. Du point de vue algorithmique, il est préférable de retarder autant que possible l’introduction de ces extensions. Dans ce but, nous développons un nouvel algorithme de réduction formelle qui utilise l’anneau des endomorphismes du système, appelé « eigenring », afin de se ramener au cas d’un système indécomposable sur K. En utilisant la classification formelle donnée par Balser-Jurkat-Lutz, nous déduisons la structure de l’eigenring d’un système indécomposable. Ces résultats théoriques nous permettent de construire une décomposition sur le corps de base K qui sépare les différentes parties exponentielles du système et permet ainsi d’isoler dans des sous-systèmes, indécomposables sur K, les différentes extensions de corps qui peuvent apparaître afin de les traiter séparément. Dans une deuxième partie, nous nous intéressons à l’algorithme de Miyake pour la réduction formelle. Celle-ci est basée sur le calcul du poids et d’une suite de Volevic de la matrice de valuation du système. Nous donnons des interprétations en théorie de graphe et en algèbre tropicale du poids et suites de Volevic, et obtenons ainsi des méthodes de calculs efficaces sur le plan pratique, à l’aide de la programmation linéaire. Ceci complète une étape fondamentale dans l’algorithme de réduction de Miyake. Ces différents algorithmes sont implémentés sous forme de librairies pour le logiciel de calcul formel Maple. Enfin, nous présentons une discussion sur la performance de l’algorithme de réduction avec l’eigenring ainsi qu’une comparaison en terme de temps de calcul entre notre implémentation de l’algorithme de réduction de Miyake par la programmation linéaire et ceux de Barkatou et Pflügel. / This thesis is devoted to symbolic methods for local resolution of linear differential systems with coefficients in K = C((x)), the field of Laurent series, on an effective field C. More specifically, we are interested in effective algorithms for formal reduction. During the reduction, we are led to introduce algebraic extensions of the field of coefficients K (algebraic extensions of C, ramification of the variable x) in order to obtain a finer structure. From an algorithmic point of view, it is preferable to delay as much as possible the introduction of these extensions. To this end, we developed a new algorithm for formal reduction that uses the ring of endomorphisms of the system, called "eigenring". Using the formal classification given by Balser-Jurkat-Lutz, we deduce the structure of the eigenring of an indecomposable system. These theoretical results allow us to construct a decomposition on the base field K that separates the different exponential parts of the system and thus allows us to isolate, in indecomposable subsystems in K, the different algebraic extensions that can appear in order to treat them separately. In a second part, we are interested in Miyake’s algorithm for formal reduction. This algorithm is based on the computation of the Volevic weight and numbers of the valuation matrix of the system. We provide interpretations in graph theory and tropical algebra of the Volevic weight and numbers, and thus obtain practically efficient methods using linear programming. This completes a fundamental step in the Miyake reduction algorithm. These different algorithms are implemented as libraries for the computer algebra software Maple. Finally, we present a discussion on the performance of the reduction algorithm using the eigenring as well as a comparison in terms of timing between our implementation of Miyake’s reduction algorithm by linear programming and the algorithms of Barkatou and Pflügel.