Les travaux présentés dans cette thèse visent à proposer des méthodes de routage d’une population de masse à travers un réseau perturbé dont les données varient dans le temps pour l’aide à la conception de plan d’évacuation. Ce problème s’illustre parfaitement en cas de catastrophe d’origine humaine ou naturelle où les populations (potentiellement) impactées par ces sinistres doivent quitter leur lieux de vie pour une période pouvant aller d’un à plusieurs jours. Dans la littérature, ces routages de masse sont souvent modélisés comme des problèmes de flots dynamiques dont l’objectif est de minimiser la durée globale du transfert des individus depuis un certain nombre de points de départs dangereux vers des points d’arrivé sûrs. Toutefois, peu de travaux prennent en compte la notion de sécurité durant ce routage et encore moins le déploiement d’agents (policiers, sapeur-pompiers, ambulanciers,...) pouvant sécuriser et/ou faciliter le déplacement des personnes. / The work presented in this thesis aims to propose methods for routing a mass population through a disturbed network whose data vary over time. This problem can be illustrated by disasters due to humans or natural events where people (potentially) affected have to leave their living places for a period of one to several days. In the literature, mass routing are often modeled as dynamic flow problems whose objective is to minimize the overall duration of the evacuation process from a set of gathering points towards another set of shelter locations. However few papers take into account the concept of safety during this routing nor deploying task forces that can secure or facilitate this process. In this context, the safety security can be seen as a danger affecting the quality of life of people we organize the trip. In this context, the safety can be seen as a danger that influence the health of the people we are trying to evacuate. Indeed, this hazardous event can be related to a radioactive cloud, a fire, a tsunami, an earthquake or a flooding which make some of paths becoming dangerous or less usable by evacuees.

On s'intéresse à la géométrie globale et asymptotique de certaines variétés riemanniennes non compactes. Dans une première partie, on étudie la topologie et la géométrie à l'infini des variétés riemanniennes à courbure (de Ricci) positive ayant un rapport asymptotique de courbure fini. On caractérise le cas non effondré via la notion de cône asymptotique et on donne des conditions suffisantes sur le groupe fondamental pour garantir un non effondrement. La seconde partie est dédiée à l'étude des solutions de Type III du flot de Ricci à courbure positive et aux solitons gradients de Ricci expansifs (points fixes de Type III) présentant une décroissance quadratique de la courbure. On montre l'existence et l'unicité des cônes asymptotiques de tels points fixes. On donne également des conditions suffisantes de nature algébrique et géométrique pour garantir une géométrie de révolution de tels solitons. Dans une troisième partie, on caractérise la géométrie des solitons gradients de Ricci stables à courbure positive et à croissance volumique linéaire. Puis, on s'intéresse au non effondrement des variétés riemanniennes de dimension trois à courbure de Ricci positive ayant un rapport asymptotique de courbure fini. / We study the global and asymptotic geometry of non-compact Riemannian manifolds. First, we study the topology and geometry at infinity of Riemannian manifolds with nonnegative (Ricci) curvature and finite asymptotic curvature ratio. We focus on the non-collapsed case with the help of asymptotic cones and we give sufficient conditions on the fundamental group to guarantee non-collapsing. The second part is dedicated to the study of (non-negatively curved) Type III Ricci flow solutions. We mainly analyze the asymptotic geometry of Type III self-similar solutions (expanding gradient Ricci soliton) with finite asymptotic curvature ratio. We prove the existence and uniqueness of their asymptotic cones. We also give algebraic and geometric sufficient conditions to guarantee rotational symmetry of such metrics. In the last part, we characterize the geometry of steady gradient Ricci solitons with nonnegative sectional curvature and linear volume growth. Finally, we study the non-collapsing of three dimensional Riemannian manifold with nonnegative Ricci curvature and finite asymptotic curvature ratio.

Dans ce mémoire, nous étudions les propriétés génériques satisfaites par des mesures invariantes par l’action du flot géodésique {∅t}t∈R sur des variétés M non compactes de courbure sectionnelle négative pincée. Nous nous intéressons dans un premier temps au cas des variétés hyperboliques. L’existence d’une représentation symbolique du flot géodésique pour les variétés hyperboliques convexes cocompactes ainsi que la propriété de mélange topologique du flot géodésique nous permet de démontrer que l’ensemble des mesures de probabilité ∅t−invariantes, faiblement mélangeantes est résiduel dans l’ensemble M1 des mesures de probabilité invariantes par l’action du flot géodésique. Si nous supposons que la courbure de M est variable, nous ignorons si le flot géodésique est topologiquement mélangeant. Ainsi les méthodes utilisées précédemment ne peuvent plus s’adapter à notre situation. Afin de généraliser le résultat précédent, nous faisons appel à des outils issus du formalisme thermodynamique développés récemment par F.Paulin, M.Pollicott et B.Schapira. Plus précisément, la démonstration de notre résultat repose sur la possibilité de construire, pour toute orbite périodique Op une suite de mesures de Gibbs mélangeantes, finies, convergeant faiblement vers la mesure de Dirac supportée sur Op. Nous montrons que ce fait est possible lorsque M est géométriquement finie. Dans le cas contraire, il n’existe pas d’exemple de variétés géométriquement infinies possédant une mesure de Gibbs finie. Cependant, nous conjecturons que ce fait est possible pour toute variété M. Afin de supporter cette affirmation, nous démontrons dans la dernière partie de ce manuscrit un critère de finitude pour les mesures de Gibbs. / In this work, we study the properties satisfied by the probability measures invariant by the geodesic flow {∅t}t∈R on non compact manifolds M with pinched negative sectional curvature. First, we restrict our study to hyperbolic manifolds. In this case, ∅t is topologically mixing in restriction to its non-wandering set. Moreover, if M is convex cocompact, there exists a symbolic representation of the geodesic flow which allows us to prove that the set of ∅t-invariant, weakly-mixing probability measures is a dense Gδ−set in the set M1 of probability measures invariant by the geodesic flow. The question of the topological mixing of the geodesic flow is still open when the curvature of M is non constant. So the methods used on hyperbolic manifolds do not apply on manifolds with variable curvature. To generalize the previous result, we use thermodynamics tools developed recently by F.Paulin, M.Pollicott et B.Schapira. More precisely, the proof of our result relies on our capacity of constructing, for all periodic orbits Op a sequence of mixing and finite Gibbs measures converging to the Dirac measure supported on Op. We will show that such a construction is possible when M is geometrically finite. If it is not, there are no examples of geometrically infinite manifolds with a finite Gibbs measure. We conjecture that it is always possible to construct a finite Gibbs measure on a pinched negatively curved manifold. To support this conjecture, we prove a finiteness criterion for Gibbs measures.

Le flot de Ricci, introduit par Hamilton au début des années 80, a montré sa valeur pour étudier la topologie et la géométrie des variétés riemanniennes lisses. Il a ainsi permis de démontrer la conjecture de Poincaré (Perelman, 2003) et le théorème de la sphère différentiable (Brendle et Schoen, 2008). Cette thèse s'intéresse aux applications du flot de Ricci à des espaces métriques à courbure minorée peu lisses. On définit en particulier ce que signifie pour un flot de Ricci d'avoir pour condition initiale un espace métrique. Dans le Chapitre 2, on présente certains travaux de Simon permettant de construire un flot de Ricci pour certains espaces métriques de dimension 3. On démontre aussi deux applications de cette construction : un théorème de finitude en dimension 3 et une preuve alternative d'un théorème de Cheeger et Colding en dimension 3. Dans le Chapitre 3, on s'intéresse à la dimension 2. On montre que pour les surfaces singulières à courbure minorée (au sens d'Alexandrov), on peut définir un flot de Ricci et que celui-ci est unique. Ceci permet de montrer que l'application qui à une surface associe son flot de Ricci est continue par rapport aux perturbations Gromov-Hausdorff de la condition initiale. Le Chapitre 4 généralise une partie de ces méthodes en dimension quelconque. On doit y considérer des conditions de courbure autres que les usuelles minorations de la courbure de Ricci ou de la courbure sectionnelle. Les méthodes mises en place permettent de construire un flot de Ricci pour certains espaces métriques non effondrés limites de variétés dont l'opérateur de courbure est minoré. On montre aussi que sous certaines hypothèses de non-effondrement, les variétés à opérateur de courbure presque positif portent une métrique à opérateur de courbure positif ou nul. / The Ricci flow was introduced by Hamilton in the beginning of the 90's. It has been a valuable tool to study the topology and the geometry of smooth Riemannian manifolds. For example, it was essential in the of the Poincaré conjecture (Perelman, 2003) and of the differentiable sphere theorem (Brendle and Schoen, 2008). In this thesis, we are interested in the applications of Ricci flow to metric spaces with curvature bounded from below which are not smooth. We define what it means for a Ricci flow to admit a metric space as initial condition. In Chapter 2, we present some works of Simon which allow to build a Ricci flow for some metric spaces of dimension 3. We also give two applications of this result : a finiteness theorem in dimension 3 and an alternative of a theorem of Cheeger and Colding in dimension 3. In Chapter 3, we treat the special case of dimension 2. We show that for singular surfaces whose curvature is boded from below (in the sense of Alexandrov), we can define a Ricci and it is unique. This allow to show that for surfaces with curvature bounded from below, the application which maps a surface to its Ricci flow is continuous with respect to Gromov-Hausdorff perturbations of the initial condition. Chapter 4 generalizes some of these methods in higher dimension. Here one needs to consider other conditions on the curvature than the usual "Ricci curvature bounded from below" and "sectional curvature bounded from below". The methods used there allow us to build a Ricci flow for some non-collapsed metric spaces which are limits of manifolds whose curvature operator is bounded from below. We also show that under some non-collapsing assumptions manifolds with almost non-negative curvature operator admit metrics with non-negative curvature operator.

Les protoétoiles de masse intermédiaire (IM) (2 ≤ M* ≤ 8 Msun) sont le lien entre les étoiles de faible et haute masse car elles couvrent également un intervalle intermédiaire de luminosités, de densités et de températures [Fuente et al., 2012]. Même si les « IM-YSOs » jouent un rôle important dans l'étude de la formation des étoiles, on a très peu de connaissances sur la formation et l'évolution des premières étapes des protoétoiles de masse intermédiaire. Les études systématiques spectrales sont un outil puissant pour caractériser la composition chimique d'un objet astrophysique, et la seule façon d'obtenir un recensement complet des espèces chimiques. Une étude spectrale fournit également des lignes multiples de la même molécule, donnant la possibilité d'une analyse multifréquences ainsi que d'une modélisation. En outre, grâce aux profils des raies, nous pouvons obtenir des informations sur la cinématique, et identifier les structures au long de la ligne de vue, en tant que sources multiples, des jets ou des cavités, par exemple, [Caux et al., 2011]. Les phénomènes d'éjection (jets, des vents et des « outflows » bipolaires moléculaires), sont une phase inhérente au processus de formation d'étoiles observées dans les YSOs de toutes masses dans des longueurs d'onde millimétriques. Cependant, il n'y a pas d'études systématiques dans l'intervalle de masse intermédiaire comme dans le cas des protoétoiles de faible et haute masse. Compte tenu de l'absence d'une étude systématique de la partie mm/submillimétrique dans le spectre des protoétoiles de masse intermédiaire, au cours de ma thèse, j'ai mené une étude systématique spectrale vers la protoétoile de masse intermédiaire de classe 0 Cep E et de son « outflow » moléculaire. / Intermediate-mass (IM) protostars (2 ≤ M∗ ≤8 Msun) are the link between low and the high mass stars as they cover also an intermediate range of luminosities, densities and temperatures [Fuente et al., 2012]. Even though the IM-YSOs are important in the study of star formation, very little is known about the formation and first evolutionary stages of IM protostars. Unbiased spectral surveys are a powerful tool to characterize the chemical composition of an astrophysical object, and the only way to obtain a complete census of the chemical species. A spectral survey provides also multiple lines from the same molecule, giving the possibility of a multi-frequency analysis and modeling. Also, through line profiles, we can obtain kinematic information, and identify structures along the line of sight, as multiple sources, outflows, jets or cavities, e.g. [Caux et al., 2011]. The outflow phenomena (jets, winds and bipolar molecular outflows), are an inherent phase in the process of star formation observed in YSOs of all range of masses at millimeter wavelengths. However, there are not systematic studies in IM range as in the case of of low- and high-mass protostars. Given the lack of a systematic study of the mm/submm spectrum of IM protostars, during my thesis I carried out an unbiased spectral survey towards IM Class 0 Cep E protostar and its molecular outflow.

Le tissu adipeux sous-cutané (TAsc) est le site préférentiel du stockage postprandial des triglycérides (TG). Quand les capacités d’accrétion sont dépassées, le stockage des TG se fait dans des sites ectopiques du TA et dans des tissus non adipocytaires, par exemple foie et muscles, ce qui entraine de multiples dysfonctionnements dans ces organes et tissus, et permet le développement du syndrome d’insulinorésistance. Chez les sujets obèses, la période postprandiale est caractérisée par des anomalies métaboliques, immunitaires, hormonales, et également par une diminution importante du flot sanguin dans le tissu adipeux (FSTA) sous-cutané. Ce blocage de la perfusion postprandiale du TA a aussi été montrée chez des individus minces qui avaient de très lourds antécédents familiaux de maladies cardiométabolique (obésité, diabète de type 2, maladies cardiovasculaires). Dans cette thèse, on classifiera ces individus comme « non-répondeurs ». À ce jour, peu d’attention a été accordée à ce phénomène. L’hypothèse qui sous-tend cette thèse est que les anomalies du FSTA sont innées ou primaires et sont impliquées très tôt dans le développement de la résistance à l’insuline (RI), du diabète de type 2 et du syndrome métabolique. Le but de notre recherche était donc de vérifier si les altérations du FSTA sont présentes chez les personnes saines et minces, mais à très haut risque de développer une RI ou une maladie cardiométabolique. Nous avons aussi cherché à déterminer les facteurs liés à la non-réponse. Pour cela il nous a fallu explorer certains facteurs hormonaux impliqués dans la régulation du FSTA. Nos résultats montrent que le FSTA est très diminué, à jeun et en postprandial, chez les sujets à haut risque de maladies cardiométaboliques mais encore minces et métaboliquement sains, sans RI. Nous avons aussi montré, pour la première fois, l’effet vasodilatateur du peptide intestinal vasoactif (VIP) dans le TAsc, tout comme le rôle stimulant du système cholinergique dans la régulation postprandiale du FSTA. Cependant, aucun de ces facteurs ne participe au dysfonctionnement du FSTA postprandial chez les non-répondeurs. Des taux répétés de TG plus élevés chez les non-répondeurs et l’association du FSTA avec certains indices de la RI décrits dans la littérature suggèrent que l’altération du métabolisme lipidique suite à la diminution du FSTA puisse servir de médiateur à la détérioration de la sensibilité à l’insuline. / Abstract : Subcutaneous adipose tissue (SCAT) is the preferential site of triacylglycerols (TAG) postprandial disposal. When the buffering capacity of SCAT for lipids is exceeded, TAG are disposed in ectopic adipose tissue depots and in non-adipose tissues, such as liver and muscles. Consequently, multiple dysfunctions of these organs and tissues develop including insulin resistance (IR). In obese people, the postprandial period is characterized by metabolic, immune and hormonal alterations, but also by severely altered adipose tissue blood flow (ATBF). Nevertheless, significant alteration of postprandial ATBF was also found in lean individuals with highly positive familiar history of cardiometabolic diseases (obesity, type 2 diabetes, cardiovascular diseases). In the thesis, we term them as "non-responders". Up to date, little attention has been payed to this phenomenon. The underlying hypothesis of this thesis is that alterations in ATBF are inborne or very early and that they participate on the development of IR, type 2 diabetes and metabolic syndrome. Consequently, the aim of our research was to verify if the alterations in ATBF are present in healthy, normal-weight subjects, but at very high risk for development of IR or cardiometabolic diseases. Simultaneously, we searched for factors linked with nonresponsiveness phenomenon. To do this, we examined some hormonal factors in ATBF regulation. Our results confirm the presence of altered fasting and postprandial ATBF in at highrisk subjects for cardiometabolic diseases, but still lean and metabolically healthy, without IR. For the first time, we have also demonstrated the role of cholinergic system in postprandial ATBF regulation, and vasodilatory effect of vasoactive intestinal peptide (VIP) in SCAT. However, none of these factors takes part in postprandial ATBF dysfunction in non-responders. Higher TAG levels repeatedly found in non-responders and the association of ATBF with some indices of insulin sensitivity described in the literature suggest that alteration of lipid metabolism as a result of low ATBF may mediate deterioration of insulin sensitivity.

A utilização de enzimas como aditivos alimentares para poedeiras comerciais pode aumentar a digestibilidade dos nutrientes dos ingredientes da dieta. Assim, o objetivo do trabalho foi avaliar os efeitos da suplementação de enzima xilanase em dietas de poedeiras comerciais à base de milho e soja sobre desempenho, morfologia intestinal e incremento de energia da dieta. Foram utilizadas 400 poedeiras da linhagem Hy-line, variedade W36 com duas semanas de idade submetidas às dietas experimentais até as 80 semanas de idade. As aves foram distribuídas em delineamento inteiramente casualisado em esquema fatorial 2x2 (nível de energia x inclusão de xilanase), totalizando 4 tratamentos com 10 repetições de 10 aves cada. Os tratamentos foram: controle positivo (dieta balanceada para respectiva idade); controle positivo+xilanase; controle negativo (dieta com redução de 100 kcal/kg no nível de EM); controle negativo+xilanase. Nas fases de cria e recria (2 a 6 e 7 a 17 semanas), foram realizadas as avaliações para peso corporal, ganho de peso, consumo de ração, conversão alimentar, viabilidade criatória e uniformidade do lote. As seis e 16 semanas foram colhidos fragmentos de intestino das porções duodeno, jejuno e íleo para mensurações de altura de vilo e profundidade de cripta. Durante a fase de postura (18 a 80 semanas) foram avaliadas características de desempenho (ganho de peso, consumo de ração, produção, peso e massa de ovos, conversão alimentar e viabilidade criatória). Foram realizados ainda, quatro ensaios de digestibilidade (14, 36, 60 e 80 semanas) para determinação da energia metabolizável aparente e energia metabolizável aparente corrigida das dietas e coeficientes de metabolizabilidade dos nutrientes. Conclui-se que a suplementação de xilanase em dietas de poedeiras com redução de 100 kcal/kg de energia metabolizável promove melhor formação da mucosa intestinal e o fornecimento de dietas com níveis de energia adequados associadas à suplementação de xilanase proporciona valores de energia metabolizável (EMA) e energia metabolizável corrigida (EMAn) superiores em relação aos valores obtidos com dietas sem suplementação de enzima para fase de postura. Além disso, a adição de xilanase em dietas de poedeiras comerciais, a base de milho e soja possibilita a redução do nível de energia da dieta sem prejudicar o desempenho das aves. / The use of enzymes as feed additives for laying hens can increase the digestibility of nutrients present in diet. Thus, the objective was to evaluate the effects of xylanase enzyme supplementation in diets of laying hens based corn and soybean on performance, gut morphology and increased energy diet. Were used 400 layers of Hy-line W36 with two weeks of age fed experimental diets until 80 weeks of age. The birds were distributed to a completely randomized design in a 2x2 factorial (including energy level x xylanase), totaling four treatments with 10 replicates of 10 birds each. The treatments were: positive control (balanced diet to the age), positive control + xylanase, negative control (diet with a reduction of 100 kcal/kg ME) and negative control + xylanase. In phase of rearing (2 to 6 and 7 to 17 weeks), evaluations were made for body weight, weight gain, feed intake, feed conversion, livability and uniformity. At six and 16 weeks were collected fragments intestine of portions duodenum, jejunum and ileum for measurement of villus height and crypt depth. During the laying phase (18 to 80 weeks) were evaluated performance characteristics (weight gain, feed intake, production, weight and egg mass, feed conversion and livability). Were also conducted four assays of digestibility (14, 36, 60 and 80 weeks) to determine the apparent metabolizable energy and apparent metabolizable energy corrected, coefficients of metabolization of diet nutrients. It was concluded that supplementation xylanase in diets of laying hens with reduction of 100 kcal/kg of metabolizable energy promotes better formation of the intestinal mucosa and compensates for the reduction of dietary energy, providing metabolizable energy and feeding diets with energy levels associated with adequate supplementation of xylanase provide values metabolizable energy and corrected metabolizable energy above to the values obtained with diets without supplementation enzyme to the production phase. Furthermore, the addition of xylanase in diets for laying hens, based corn and soybeans, allows reduction in the level of dietary energy without damaging the performance of birds.

Les analyses statiques ont pour but de déterminer les propriétés des programmes au moment de la compilation. Contrairement aux analyses dynamiques, le comportement exact du programme ne peut être connu. Par conséquent, on a recours à des approximations pour remédier à ce manque d'information. Malgré ces approximations, les analyses statiques permettent des optimisations et des transformations efficaces pour améliorer les performances des programmes. Parmi les premières analyses du processus d'optimisation figure l'analyse des pointeurs. Son but est d'analyser statiquement un programme en entrée et de fournir en résultat une approximation des emplacements mémoire vers lesquels pointent ses variables pointeurs. Cette analyse est considérée comme l'une des analyses de programmes les plus délicates et l'information qu'elle apporte est très précieuse pour un grand nombre d'autres analyses clientes. En effet, son résultat est nécessaire à d'autres optimisations, comme la propagation de constante, l'élimination du code inutile, le renommage des scalaires ainsi que la parallélisation automatique des programmes. L'analyse des pointeurs est très nécessaire pour l'exploitation du parallélisme présent dans les applications scientifiques écrites en C. Ceci est dû au fait que les tableaux, très présents dans ce type d'applications, sont accédés via les pointeurs. Il devient nécessaire d'analyser les dépendances entre les éléments de tableau dans le but de paralléliser les boucles. Le langage C présente beaucoup de difficultés lors de son analyse par la liberté qu'il offre aux utilisateurs pour gérer et manipuler la mémoire par le biais des pointeurs. Ces difficultés apparaissent par exemple lors de l'accès aux tableaux par pointeurs, l'allocation dynamique (via «malloc») ainsi que les structures de données récursives. L'un des objectifs principaux de cette thèse est de déterminer les emplacements mémoire vers lesquels les pointeurs pointent. Ceci se fait en assurant plusieurs dimensions comme : - la sensibilité au flot de contrôle, c'est-à-dire la mise à jour des informations d'un point programme à un autre ; - la non-sensibilité au contexte, c'est-à-dire l'utilisation de résumés au lieu de l'analyse du corps de la fonction à chaque appel ; - la modélisation des champs pointeurs des structures de données agrégées, dans laquelle chaque champ représente un emplacement mémoire distinct. D'autres aspects sont pris en compte lors de l'analyse des programmes écrits en C comme la précision des emplacements mémoire alloués au niveau du tas, l'arithmétique sur pointeurs ou encore les pointeurs vers tableaux. Notre travail permet l'amélioration des résultats des analyses clientes et en particulier il permet la parallélisation des boucles lorsqu'on accède aux éléments de tableaux via les pointeurs, la détection de code inutile ou le calcul du graphe de dépendances. Il est implémenté dans le compilateur parallélliseur PIPS (Parallélisation Interprocédurale de Programmes Scientifiques) et permet d'analyser, en particulier, les applications scientifiques de traitement du signal tout en assurant une analyse intraprocédurale précise et une analyse interprocédurale efficace via les résumés. / Static analysis algorithms strive to extract the information necessary for the understanding and optimization of programs at compile time. The potential values of the variables of type pointer are the most difficult information to determine. This information is often used to assess if two pointers are potential aliases, i.e. if they can point to the same memory area. An analysis of pointers, also called points-to analysis, may provide more precision to other analyses such as constant propagation, analysis of dependencies or analysis of live variables. The analysis of pointers is very important for the exploitation of parallelism in scientific C programs since the most important structures they manipulate are arrays, which are typically accessed by pointers. It is necessary to analyse the dependencies between arrays in order to exploit the parallelism between loops. C language is very hard to analyse since it allows to users to manipulate the memory through pointers. These difficulties arise for example when accessing arrays by pointers, dynamic allocation (via "malloc") and recursive data structures. Points-to analysis may also attempt to handle recursive data structures and other structures that are accessed by pointers. This work provides a points-to analysis which is : - flow-sensitive, by taking into account the order of execution of instructions ; - field-sensitive, since structure fields are treated as individual locations ; - context-insensitive, because functions summaries are computed to avoid re-analyzing functions bodies. Other issues such as heap modeling, pointer arithmetics and pointers to arrays are also taken into account while analyzing C programs. Our intraprocedural analysis provides precise results to client analyses, in particular it allows parallelization when accessing the array elements loops via pointers, detecting useless code or computing the dependency graph. while our interprocedural one allows to propagate them efficiently. Our work is implemented within the PIPS (Parallélisation Interprocédurale de Programmes Scientifiques) parallelizer, a framework designed to analyze, optimize and parallelize scientific and signal processing applications. Keywords : static analysis, points-to analysis, flow-sensitive, context-insensitive, field-sensitive.

Les évaporateurs à flot tombant (EFT) sont largement utilisés dans les industries chimiques, de la réfrigération, du raffinage du pétrole, et alimentaires. Dans l'industrie laitière, les EFT sont appliqués pour la concentration de solutions avant l'étape de séchage. Malgré l'importance économique du procédé d'évaporation sous vide dans la fabrication de produits laitiers déshydratés, la connaissance du procédé est essentiellement empirique. Des recherches visant à améliorer l'efficacité du procédé sont donc nécessaires. L'objectif de ce projet de doctorat est de caractériser expérimentalement un EFT lors de la concentration de produits laitiers, par des approches thermo et hydro-dynamiques, afin d'étudier les interactions entre les propriétés des produits et les paramètres opérationnels. Un évaporateur à flot tombant, simple effet, à l’échelle pilote, qui décrit le même processus que celui à l'échelle industrielle, d'un point de vue hydrodynamique, a été instrumenté et utilisé pour établir les bilans massiques et énergétiques. La capacité évaporatoire et le coefficient global de transfert de chaleur ont été calculés à partir des données expérimentales. Une méthodologie pour la détermination expérimentale des fonctions distribution des temps de séjour (DTS) a été développée. En effet, les fonctions de DTS fournissent des informations essentielles sur l'écoulement des produits lors de la concentration dans un EFT. L'augmentation de la concentration, du débit massique et de la distance parcourue par le produit entraîne une augmentation de la dispersion des particules dans le flux. Ces fonctions ont été modélisées par une combinaison de réacteurs en cascade, parfaitement agités. D’après l'interprétation de ce modèle, deux flux, un principal et un secondaire, correspondant à deux couches superposées de produit circulant à travers des tubes d'évaporateur, a été proposé. La méthodologie développée pour le calcul des fonctions de DTS a été appliqué pour la concentration de produits laitiers (lait écrémé, lactosérum doux et acide). Par la suite, l'étude a été étendue à la formation de l'encrassement pendant la concentration par évaporation sous vide. Il a été montré que le temps de séjour moyen était plus sensible pour identifier l'encrassement que le coefficient global de transfert de chaleur et la capacité évaporatoire. Ainsi, cette étude a souligné le rôle crucial de l’importance de la caractérisation des EFT sous vide afin d’en améliorer leurs performances et la qualité des produits qui en sont issu. / Falling film evaporators (FFE) are widely used in the chemical, refrigeration, petroleum refining, desalination and food industries. In the dairy industry FFE is applied for the concentration of solutions prior to the drying step. Despite the economic importance of the vacuum evaporation process in the manufacture of dairy dried products, the knowledge about the process is mostly empirical. Research aiming to improve the efficiency of the process is therefore necessary. The objective of this PhD project was to characterize experimentally a FFE during the concentration of dairy products by means of thermodynamic and hydrodynamic approaches, in order to study the interactions between the products properties and the operating parameters. A pilot-scale, single-stage falling film evaporator that describes the same process as that of an industrial scale from a hydrodynamic point of view was instrumented and used to establish the mass and energy balances. The evaporation rate and the overall heat transfer coefficient were calculated from the experimental data to follow up the process. A methodology for the determination of the experimental residence time distribution (RTD) functions was developed. RTD functions provide global information about the flow of the products during concentration in a FFE. Increasing of the concentration of skim milk, mass flow rate and the distance covered by the product resulted in an increase in the dispersion of the products particles. The experimental RTD functions were modelled by a combination of two perfectly mixed reactor tanks in series. From the interpretation of this model, two different flows, a main and a minor flow, were identified. The RTD methodology developed on skim milk was applied to sweet whey and lactic acid whey and the study was extended to the formation of fouling during a 5-hour concentration. The mean residence time was more sensitive to identify fouling than the overall heat transfer coefficient and the evaporation rate. This study emphasized the crucial role of process characterization to improve the performance of FFE and product quality.

L’autopartage est une manière moderne de louer une voiture. C'est un système attractif pour les clients qui utilisent une voiture occasionnellement. Dans un système d’autopartage, une flotte de véhicules est répartie sur une aire urbaine. Les client peuvent prendre ou rendre une voiture à n'importe quel moment et à n'importe quelle station, à condition qu’il y ait une voiture de libre à la station de départ et qu’il y a une place de parking libre à la station de destination. Pour s'en assurer, les clients peuvent réserver une voiture en avance. Pour qu’un tel système fonctionne de manière satisfaisante, il faut que le nombre de véhicules et le nombre de places libres dans les stations s'équilibrent. Cela conduit à un problème d'équilibre d'occupation des stations, appelé problème de relocalisation : un opérateur doit surveiller l'occupation des stations et décider quand et de quelle manière les voiture doivent être deplacées d’une station « trop pleine » à une station « insuffisamment pleine ». Nous considérons un système d’autopartage innovant, où les voitures sont partiellement autonomes. Cela permet de constituer des convois de véhicules que dirige un véhicule spécial, de sorte qu'un convoi est mis en mouvement par un seul conducteur. Cette configuration est similaire au système mis en place pour les vélos en libre-service, où un camion peut déplacer plusieurs vélos simultanément pendant le processus de la relocalisation. Dans le cadre de cette thèse, nous développons les aspects dynamiques et statiques du problème de relocalisation. Le « problème de relocalisation dynamique » décrit la situation où les voitures sont déplacées pendant les heures de travail afin de satisfaire les besoins des clients. L’opérateur doit prendre des décisions « dynamiques », en fonction de la situation. Dans le cadre du « problème de relocalisation statique », nous supposons qu’il n'y a aucune interaction (ou très peu) entre les clients et le système. Cette situation se produit lorsque le système est préparé pour le lendemain (ex : processus de la relocalisation effectué pendant la nuit). Nous modélisons le problème de relocalisation dans le cadre d’un système de tâches métriques. Ensuite, nous analysons les deux problèmes et nous donnons des stratégies pour les résoudre. Enfin, nous effectuons quelques expériences de calcul pour examiner l’applicabilité des algorithmes présentés en pratique. / Carsharing is a modern way of car rental, attractive to customers who make only occasional use of a car on demand. In a carsharing system, a fleet of cars is distributed at specified stations in an urban area, customers can take a car at any time and station and return it at any time and station, provided that there is a car available at the start station and a free place at the destination station. To ensure the latter, customers have to book their demands in advance. For operating such a system in a satisfactory way, the stations have to keep a good ratio between the total number of places and the number of cars in each station, in order to serve as many requests as possible. This leads to the problem of balancing the load of the stations, called Relocation Problem: an operator has to monitor the load and to decide when and how to move cars from “overfull” stations to “underfull” ones. We consider an innovative carsharing system, where the cars are partly autonomous, which allows to build wireless convoys of cars leaded by a special vehicle, such that the whole convoy is moved by only one driver. This setting is similar to bikesharing, where trucks can simultaneously move several bikes during the relocation process. In this thesis, we address the dynamic and static aspects of the Relocation Problem. The “Dynamic Relocation Problem” describes the situation when cars can be moved between stations during the working hours in order to satisfy the needs of the customers. Hereby, the operator has to make decisions dynamically according to the current situation. In the “Static Relocation Problem” we assume that there is no (or only little) interaction by customers with the system. This situation occurs when the carsharing system is prepared for the next day, i.e., the relocation process is performed during the night. We model the Relocation Problem in the framework of a metric task system. Afterwards, we theoretically analyze both problems and give strategies to solve them. Finally, we perform some computational experiments to examine the applicability of the presented algorithms in practice.