Dissertations / Theses on the topic 'FLTs'

My thesis focusses on two applications of network flow problems. We emphasize on networks modelling energy or fluid distribution and telecommunication services. We study two differents aspects:The first aspect consists of the sensitivity analysis of flows in distribution networks. That is the analysis of the effects of one or more capacity variations on the all pairs maximum flow values. Moreover, we evaluate the importance of an edge in the network. Our contributions begin with a correction of the unique method in the literature that dealed with the case of a single capacity variation. We then propose simple and efficient algorithms to solve the same case, before proposing a generalization to the case of more than one capacity variation. Our algorithms and methods are based on Gomory-Hu cut trees. Given an undirected network in which capacities lambda_1, \lambda_2, \lambda_3, \ldots \lambda_k are varying. We show that ^k Gomory-Hu cut tree computations are sufficient in order to determine the all pairs maximum flow values. As far as link importance analysis is concerned, we show that two Gomory-Hu cut tree computations are sufficient to determine the set of all vertex pairs for which any maximum flow saturates the studied link. The second aspect concerns resource allocation in a telecommunicationnetwork with an objective of demands satisfaction. To do so, we study this problem using pricing in order to handle network congestion while taking into account users behaviour and the operator's profit maximization objective. We use a bi-level programming approach to solve the problem. With an Augmented Lagrangian method, we solve the resource allocation problem by associating the Lagrangian multipliers to the network link prices. We then use the Karush-Kuhn-Tucker optimality conditions to verify about the multipliers (prices) unicity. In case the multipliers are not unique, we show that a second optimization problem over the multipliers (prices) can be solved in order to improve the network revenu
La thèse se focalise sur des applications des problèmes de flots dans des réseaux modélisant, d'une part des réseaux de distribution de fluide ou d'énergie et d'autre part des réseaux de télécommunication. Nous nous sommes intéressés à deux aspects :Le premier aspect consiste en une analyse de sensibilité des flots sur les réseaux de distribution, c'est à dire, l'étude de l'impact de la variation de la capacité d'une ou de plusieurs arêtes sur l'ensemble des valeurs de flot maximum entre toutes les paires de sommets du réseau. En outre, nous nous sommes intéressés à la rentabilité d'une arête donnée dans un réseau. Nous avons d'abord apporté des corrections à l'unique méthode qui existait dans le cas d'une capacité d'arête qui varie et nous avons proposé des algorithmes simples et efficaces pour résoudre le cas de plusieurs capacités qui varient. Nos méthodes sont basées sur les arbres de coupes de Gomory et Hu. 'Etant donné un réseau non orienté ayant capacités qui peuvent varier avec des paramètres lambda_1,\lambda_2, \lambda_3, \ldots \lambda_k, nous avons montré que 2^k calculs d'un arbre de coupes de Gomory et Hu étaient suffisants pour déterminer les valeurs de flot maximum entre toutes les paires de sommets dans le réseau. En ce qui concerne le problème de la rentabilité d'un lien, nous avons montré que juste 2 calculs d'un arbre de coupes de Gomory et Hu suffisaient pour déterminer l'ensemble des paires de sommets pour lesquelles tout flot maximum sature le lien cible. Le second aspect concerne l'allocation de ressources dans un réseau de télécommunication pour la satisfaction de requêtes d'utilisateurs. Pour ce faire, nous avons étudié ce problème par le biais de la tarification pour gérer la congestion tout en tenant compte du comportement des utilisateurs et de la volonté de profit del'opérateur. Nous avons utilisé une approche bi-niveaux pour résoudre le problème. Avec la méthode du Lagragien augmenté, nous résolvons le problème d'allocation de ressources en associant les multiplicateurs de Lagrange aux prix sur les liens du réseaux. Nous utilisons ensuite les conditions d'optimalité de Karush-Kuhn-Tucker pour vérifier si les ultiplicateurs (prix) sont uniques ou pas. Au cas de non unicité nous montrons comment on peut résoudre un deuxième problème d'optimisation sur ces multiplicateurs (prix) afin d'améliorer le revenu sur le réseau

Thesis (M.A.)--University of Nevada, Reno, 2007.
"December, 2007." Library also has microfilm. Ann Arbor, Mich. : ProQuest Information and Learning Company, [2008]. 1 microfilm reel ; 35 mm. Online version available on the World Wide Web.

This thesis comprises two interrelated sections. The first is a Piece of creative writing, a period novel, The Back 'Flats, which is set in the coastal hamlet of Greenough in Western Australia in the years 1887-1888. The twin themes of the novel are the resolution of maternal grief and Irish settlement in Western Australia. The second section is an essay concerned with the arrival of Irish people to Australia in the nineteenth century and, the influence they exerted on the culture of the developing nation, demonstrated through history and contemporary novels. The Back Flats is about a group of Irish Catholic settlers in a rural area as they experience the effects of the death of their baby girl from pneumonia on the mother, Kate O'Brien. The close-knit community has a superstitious fear of madness, which they believe can result if a woman withdraws from family and friends as part of her mourning process. An old woman whose baby died many years previously, and who was incapacitated by the death for years afterwards, now suffers from dementia. The Villagers think that the old woman’s condition is proof of what may happen to Kate. During a major flood caused by cyclonic rains at the source of the Greenough River, Kate and the old woman are thrown into close proximity. While she comforts the old Woman, Kate recognises that the other woman is not a threat to her or to her sanity. Irish convicts and freed immigrants accounted for a third of all immigration to Australia in the first century following the arrival of the First Fleet and the beginning of white settlement. The essay describes the settlement of the Greenough region from the early 1850s and the immigration of Irish people to Australia with particular reference to Irish women. It also places The Back FIats in a context of Australian literature about Irish convicts, immigrants, settlers and wanderers.

Thesis (Honors)--Ohio State University, 2005.
Title from first page of PDF file. Document formattted into pages: contains, 50 p.; also includes graphics. Includes bibliographical references (p. 48-50). Available online via Ohio State University's Knowledge Bank.

A construction project including planning, cost estimation and design of a ”30 Flats in Halmstad” on a property in the city of Halmstad.
Ett byggnadsprojekt med planering, kostnadsberäkning och projektering av ”30 Flats in Halmstad” på en fastighet i Halmstad.

Nous nous interessons a l'etude des champs de vecteurs holomorphes complets, notamment en dimension deux. Nous introduisons la notion de germe de champ de vecteurs holomorphe semi-complet et nous demontrons que c'est une condition necessaire pour qu'un germe de champ holomorphe puisse etre realise par un champ holomorphe complet defini sur une variete complexe. Comme premiere application de la notion de champ semi-complet, nous demontrons qu'en dimension complexe deux, le deuxieme jet d'un champ holomorphe complet, defini sur une surface complexe, en une singularite isolee ne s'annule pas. Nous donnons aussi un resultat analogue a celui ci-dessus, bien que moins puissant, valable cependant en toutes les dimensions. Dans la deuxieme partie de ce travail, nous considerons les singularites isolees des champs holomorphes complets, definis sur une certaine surface complexe, ou le premier jet du champ s'annule. Nous decrivons, a conjugaison holomorphe pres, tous les modeles locaux de ces champs. Finalement nous donnons des applications de ces resultats aux surfaces complexes compactes, surfaces elliptiques et aux germes des champs bi-dimensionnels semi-complets dont la partie lineaire est nilpotente

Cette thèse est consacrée à l'étude de quelques propriétés mathématiques de deux modèles de population : le processus Fleming-Viot généralisé d'une part et le processus de branchement d'autre part. Dans les deux cas, la population est composée d'une infinité d'individus, chacun étant caractérisé par un type génétique. Au cours du temps les fréquences asymptotiques de ces types évoluent de façon aléatoire au travers d'événements de reproduction où un individu tiré aléatoirement donne naissance à une descendance portant le même type génétique. Mathématiquement ces deux modèles sont décrits par des processus aléatoires à valeurs mesures. Afin de donner un sens à la généalogie de la population sous-jacente, plusieurs approches ont été proposées au cours des quinze dernières années. La contribution principale de cette thèse consiste en l'unification de deux constructions : la représentation lookdown définie par Peter Donnelly et Thomas Kurtz en 1999 et les flots stochastiques de ponts (ou de subordinateurs) introduits au début des années 2000 par Jean Bertoin et Jean-François Le Gall. Cette unification nécessite l'introduction d'objets nouveaux (les Eves, les flots stochastiques de partitions) et repose sur une étude fine des comportements asymptotiques des deux modèles mentionnés précédemment. En particulier, nous définissons la propriété d'Eve comme suit : si la fréquence asymptotique d'un type génétique tend vers $1$ lorsque $t$ devient grand alors la population descend asymptotiquement d'un seul individu au temps initial, appelé l'Eve de la population. Dans le cas des processus de branchement nous obtenons une condition nécessaire et suffisante sur le paramètre du modèle (aussi appelé mécanisme de branchement) qui assure que cette propriété d'Eve est vérifiée. Nous obtenons également une classification complète de tous les autres comportements possibles. Dans le cas des processus Fleming-Viot généralisés, nous obtenons une classification partielle des comportements possibles en fonction du paramètre du modèle. Enfin, lorsque la propriété d'Eve est vérifiée, nous construisons de façon trajectorielle la représentation lookdown à partir d'un flot stochastique de ponts (ou de subordinateurs). Nous présentons également une étude complète du processus de branchement explosif conditionné à la non-explosion et faisons apparaître une famille infinie de mesures quasi-stationnaires pour ce processus. Finalement nous nous intéressons au processus des longueurs du coalescent de Kingman dynamique et présentons une construction alternative à celle de Pfaffelhuber, Wakolbinger et Weisshaupt.

Dans cette thèse nous étudions des équations différentielles stochastiques sur quelques graphes simples dont les solutions sont des flots de noyaux au sens de Le Jan et Raimond. Dans une première partie, nous définissons une extension de l'équation de Tanaka sur un nombre fini de demi-droites orientées et issues de l'origine. Utilisant certaines propriétés de régularité du flot associé au mouvement brownien biaisé, nous donnons une description complète de toutes les solutions. S'appuyant sur une transformation discrète introduite par Csaki et Vincze, nous donnons dans un cas d'orientation particulière (qui couvre déjà l'équation de Tanaka usuelle) une approche discrète à quelques solutions. La dernière partie de ce travail est effectuée avec O. Raimond. Par une méthode de couplage des flots, nous classifions les solutions de l'équation de Tanaka sur le cercle. Nous établissons aussi que ces flots sont coalescents.

The Marchamalo salt flats, built in the 18th century, are located near Cabo de Palos, Murcia (Spain), in a hot spot area with constant pressures of tourism and urban speculation. The salt flats are currently abandoned, but its landscape and ecological value still subsist. This Thesis aims to develop a low impact lighting Master plan for Marchamalo salt flats in which a comprehensive analysis is relevant for the design project. A holistic analysis method is employed which considers three agents: “Space”, “Humans” and “Light” to which the factor “Flora & Fauna” was added since the original method was developed for an urban context while the salt flats are located in a natural protected area. Each agent is studied in depth, separately and the interrelations between them. Applying the interpretation of facts and data developed in the analysis and by means of alternative urban lighting solutions like phosphorescence, portable lamps and smart controls; a customised urban lighting design is proposed based on the salt flats identity, preservation of darkness, multi-sensorial experience of the realm and the reconnection with the sky and nature. The lighting proposal will also be the guiding thread to raise awareness about the importance of protecting the heritage in the Region of Murcia in general, taking as a particular example the case of Marchamalo salt flat.

Nous nous interessons dans cette these a la classification des flots d'anosov a equivalence topologique pres. Nous etablissons: si le groupe fondamental d'une variete admet un sous-groupe abelien distingue non cyclique, alors tout flot d'anosov de codimension un sur cette variete est topologiquement equivalent a la suspension d'un diffeomorphisme; si un des feuilletages faibles d'un flot d'anosov de dimension trois est transversalement projectif, alors ce flot est topologiquement equivalent a une suspension ou a un flot geodesique; tout flot d'anosov produit sur une variete graphee est obtenu par recollement de morceaux de flots geodesiques

Vascular endothelial growth factor (VEGF) is a potent angiogenic agent. VEGF activates its biologic responses through two cell-surface receptors, Flt1 and Flk1. In addition to the transmembrane form of Flt1, the Flt1 gene also encodes a secreted, truncated form of the receptor (sFlt1) translated from an mRNA in which a portion of intron 13 is preserved. sFlt1 retains high affinity for VEGF and thereby inhibits its angiogenic activity. Intron 13 contains important cis elements involved in sFlt1 mRNA formation. Here, we test the hypothesis that polymorphisms in the human Flt1 gene, particularly SNPs at sites suspected to contain splicing or cleavage-polyadenylation signals, influence Flt1 pre-mRNA processing and rates of Flt1 and sFlt1 expression. The NCBI SNP database contained 23 SNPs in the region of interest, one each in exons 13 and 14. An independent human SNP screen confirmed several of the reported SNPs. The web-based ESEfinder software predicted that the exon 13/14 SNPs had reduced potential for recruitment of splicing components. To test effects of exonic SNPs on Flt1 pre-mRNA processing, wild type and mutant Flt1 minigene plasmids were transfected into NIH/3T3 cells. Both exonic SNPs were associated with ~40% decreases in Flt1:sFlt1 mRNA ratios determined by real-time PCR. To facilitate exploration of ESEs in regulated RNA splicing, a PERL computer program, â EXONerator,â was written to silence predicted ESEs without altering polypeptide sequence. These results support the notion that small changes in exon composition can have significant effects on splicing activity and underscore the utility of software tools for hypothesis generation.
Ph. D.

Différents environnements gravitationnels à 4 dimensions sont abordés dans ce thése : instantons gravitationnels et trous noirs aussi bien en relativité générale qu'en supergravité. La recherche de nouvelles solutions en relativité est un véritable défi. Cette tâche est nettement simplifiée dans l'hypothèse où l'on dispose d'un tenseur de Riemann auto-dual. Ces solutions sont dites instantons gravitationnels. L'évolution des instantons est décrite par un flot géométrique. Ce lien est analysé en détail, en focalisant l'attention sur le rôle du tensor de Ricci dans le flot géométrique. En espace de type Anti-de-Sitter (AdS), trouver de nouveaux trous noirs avec symétrie axiale est une question toujours ouverte. Cette question peut être posée dans le contexte des fluides holographiques. Trous noirs en rotation correspondent à des fluides aux vorticités particulières. En imposant que la solution soit régulière sur l'horizon, le fluide acquiert la forme d'un fluide parfait. Des conditions nécessaires afin que la correspondence entre solution gravitationnelle et théorie hydrodynamique, qui se fait usuellement par un développement perturbatif, puisse être ressommé et pour qu'on puisse trouver des solutions exactes de la relativité ont etées trouvées. Le comptage de l'entropie des trous noirs dans des espaces AdS ne fait toujours pas partie des résultats connus. Dans le cas des solutions en rotation des théories de supergravité N=2, une relation entre trous noirs extremaux non-BPS en espace plat et trous noirs BPS en espace AdS a été mise au point. La connexion entre cettes solutions donne des informations sur le comptage microscopique.

L'étude des cycles, flots et chemins des graphes est intimement liée au développement de l'optimisation combinatoire. Dans l'introduction nous mettons en parallèle ces concepts à partir de résultats classiques, et les deux autres parties de la thèse développent les nouveaux résultats dans deux directions différentes. La première porte sur les problèmes d'existence de multiflots entiers. Plusieurs paramètres naturels s'appliquent à ces problèmes, générant plus d'une centaine de cas. Après un rappel des résultats de la littérature sous une forme synthétique, nous résolvons plusieurs problèmes ouverts. En particulier, nous montrons que trouver deux flots disjoints dans les graphes planaires est un problème NP-complet. Nous donnons aussi un algorithme polynomial pour router les digraphes planaires acycliques eulériens, lorsque le nombre de classes d'arcs de demande est fixé. Ensuite, nous nous intéressons au problème consistant à trouver une plus courte marche fermée passant par tous les sommets d'un graphe. Spéciquement, nous cherchons à caractériser les graphes pour lesquels une bonne caractérisation est donnée par des empilements d'ensembles éclatants. Nous présentons quelques résultats de nature polyédrale, puis étudions le cas des cographes et des graphes d'intervalles.

Denna rapport är ett examensarbete för högskoleingenjörer inom maskinteknik vid Karlstads Universitet. Projektet har utförts åt Drinor AB och är ett produktutvecklingsprojekt. Inom pelletstillverkning måste spånet som används nå en viss fuktighetsgrad i fibrerna för att kunna formas. I dagens kommersiella processer transporteras spånet på ett transportband och torkas via termisk tork. Drinor AB har utvecklat en mekanisk avvattningspress, som resulterar till att spånet inte behöver torkas lika länge. Detta resulterar i en ny process med mindre energiförbrukning och ett miljömässigt bättre alternativ. För att maximera kompressionen av spånet transporteras spånet på ett band in i pressen med en jämn höjd. I detta projekt vill Drinor ha en lösning för att kunna använda den mekaniska pressen till flis då dagens maskin enbart fungerar för sågspån. Problemet med flisen är dess varierande storlek som gör det svårt att uppnå en jämn matta för en maximerad kompression i valsnypet. Målet med projektet är att ta fram en lösning till detta problem. Projektet är ett produktutvecklingsprojekt med faser som kravspecificering, konceptgenerering och prototypbygge. Fem olika koncept har utvecklats där det mest lovande vidareutvecklades för att komma fram till slutresultatet. Då projektet inte går att lösa genom beräkningar tillverkades en prototyp på det koncept som tagits fram genom en konceptelimineringsprocess. Med hjälp av en prototyp utfördes tester och resultatet bedömdes visuellt. Tre olika tester genomfördes där varje test innebar en justering på konstruktionen för att optimera utfallet. Efter de genomförda testerna kunde slutsatsen dras att släta valsar inte är användbart när man arbetar med flishantering. Flisens variation i storlek blev för problematiskt för att gå vidare med denna metod. Genom att ribba de valsar som matar flisen till transportbandet kunde den mindre flisen fångas upp tillsammans med den större flisen. Med de ribbade valsarna kunde en output på mattan granskas och slutsatser dras från detta resultat. För att optimera konstruktionen behövs en starkare motor som orkar krossa den flis som fastnar mellan valsarna, samt något som stryker över flismattan så att samma höjd uppnås över hela transportbandet.
This report is a project for a Bachelor of Science in mechanical engineering at Karlstads University. The project has been for Drinor AB and is a product development project. In pellet manufacture, the sawdust that is being used must achieve a certain degree of moisture in the fibers to be able to form. In today's commercial process, the sawdust is transported on a conveyor belt while it’s dried using thermal energy. Drinor AB has developed a mechanical dewatering press, which results in the sawdust not having to be dried for as long. This results in a new process with less energy consumption and a better environmental alternative. To maximize the compression of the sawdust, it is transported on a belt into the press with an even height. In this project, Drinor wants a solution for using the mechanical dewatering press to woodchips, since today's machine only works with sawdust. The problem with the woodchips is that they vary in size which makes it difficult to achieve a smooth mat for maximum compression in the roller nip. The aim of this project is to find a solution to this problem. This project is a product development project with phases like requirement specification, concept generation and prototype building. Five different concepts were produced where the most promising was further developed to the final result. Since this problem can ́t be solved by calculations, a prototype was produced by the concept that has been developed through a conceptualization process. With this prototype, tests can be performed, and a visual assessment is possible. Three different tests were conducted where each test involved an adjustment of the prototype to optimize the results and conclusions. After the tests, a concluded was made; that smooth rollers isn’t useful when working with woodchips. Because of the woodchips size variation, it became too problematic to proceed with this method. By ribbing the rollers feeding the woodchips to the conveyor belt, the smaller chips could be caught together with the larger ones. With the ribbed rollers, an output off the carpet could be examined and conclusions was made because of the results. To optimize the design, a stronger engine that can break the larger woodchips is highly recommended when woodchips sticks between rollers. Something that can stretch out the chipboard so that the same height is achieved across the conveyor belt, is also recommended.

Cette these est constituee de deux parties independantes. Dans une premiere partie, on etudie les flots stochastiques isotropes sur des eplanes homogenes particuliers (la sphere et le plan hyperbolique), dans la seconde on etudie les diffusions autoattractives. Pour trouver tous les flots stochastiques isotropes, on decompose les champs de vecteurs aleatoires isotropes. On trouve une decomposition de la matrice de covariance de ces champs de vecteurs. A partir de cette matrice de covariance, on calcule les exposants de lyapounov du flot qui decrivent le comportement asymptotique du flot. Le signe du premier exposant de lyapounov permet de discuter de la stabilite du flot. Dans le cas de la sphere, on voit que les flots tels que le champ de vecteurs associe soit un champ de gradient sont stables en dimension inferieure a quatre et sont soit stables soit instables sinon, la partie de divergence nulle du flot etant toujours facteur d'instabilite. Il en est de meme pour le plan hyperbolique, mais meme un flot de gradient peut etre instable. Ainsi, on voit l'influence de la courbure et de la dimension sur la stabilite du flot. On etudie aussi le processus distance entre deux points transformes par le flot. Pour la sphere, dans le cas stable ce processus converge vers zero presque surement, dans le cas instable il est recurrent. Pour le plan hyperbolique, dans le cas stable, le processus distance converge vers zero ou vers l'infini, dans le cas instable il diverge. Les diffusions autoattractives sont des processus attires par chacun des points de leur trajectoire passee. Ici on considere le cas de l'interaction constante en dimension superieure a deux. Le resultat demontre est la convergence presque sure de ces processus

Cette thèse est composée de trois chapitres indépendants ayant pour thématique commune la théorie des trajectoires rugueuses. Introduite en 1998 par Terry Lyons, cette approche trajectorielle des équations différentielles stochastiques (EDS) permet l'étude d'EDS dirigées par des processus n'ayant pas la propriété de semi-martingale nécessaire à l'application du cadre de l'intégration d'Itô. C'est par exemple le cas du mouvement brownien fractionnaire pour un indice de Hurst différent d'un demi. Le premier chapitre porte sur les liens entre la théorie des trajectoires rugueuses et celle des structures de régularité qui a été récemment introduite par Martin Hairer pour résoudre une large classe d'équations aux dérivées partielles stochastiques. Nous exposons, avec les outils de cette nouvelle théorie, la définition de l'intégrale rugueuse et de la signature d'une trajectoire irrégulière, ce qui nous mène à la résolution d'équations différentielles rugueuses (EDR). Dans le second chapitre, nous nous intéressons à la construction de flots d'EDR à partir de leurs approximations en temps petit, appelées presque flots. Nous montrons que sous des conditions faibles de régularité du presque flot, bien que l'unicité des solutions de l'EDR associée ne soit plus assurée, il est possible de sélectionner un flot mesurable. Notre cadre général unifie les précédentes approches par flot dues à I. Bailleul, A. M. Davie, P. Friz et N. Victoir. Le dernier chapitre s'attache à l'étude d'une inclusion différentielle perturbée par une trajectoire rugueuse, c'est-à-dire d'une EDR dont la dérive est une fonction multivaluée. Nous démontrons, sans hypothèse de convexité et avec différentes conditions de régularité sur la dérive, l'existence de solution
This thesis consists of three independent chapters in the theme of rough path theory. Introduced in 1998 by Terry Lyons, this pathwise approach to stochastic differential equations (SDE) allows one to study SDE driven by processes that do not have the semi-martingale property which is required to apply the framework of the Itô integral. This is for example the case of the fractional Brownian motion for a Hurst index different from one-half. The first chapter deals with the links between rough path and regularity structure theories. The latter was recently introduced by Martin Hairer to solve a large class of stochastic partial differential equations. With the tools of this new theory, we show how to build the rough integral and the signature of an irregular path, which leads to solve a rough differential equation (RDE). In the second chapter, we focus on building RDE flows from their approximations at small scale, called almost flows. We show that under weak conditions on regularity of almost flows, although the uniqueness of the associated RDE solutions does not hold, we are able to select a measurable flow. Our general framework unifies the previous approaches by flow due to I. Bailleul, A. M. Davie, P. Friz and N. Victoir. In the last chapter, we study of a differential inclusion perturbed by a rough path, i.e. a RDE whose drift is a multivalued function. We prove, without convexity hypothesis and several conditions on the regularity of the drift, the existence of a solution

Curso orientado en iniciar al alumno en la plasmación técnica de un diseño siendo éste un proceso creativo muy necesario para evitar errores en los procesos de muestrario y de producción.Se busca que el alumno controle nociones básicas de proporción en dibujo técnico.El curso está relacionado con el de Introducción Patronaje y Patronaje I - Mujer utilizando las nociones adquiridas en el tema de medidas y movimientos con la finalidad de lograr una óptima realización del dibujo plano.

El curso de Introducción al Diseño Flats es un curso de la especialidad de la Carrera de Diseño y Gestión en Moda es de segundo ciclo y es de carácter práctico. Se articula con la Competencia de Diseño. Las habilidades que el alumno desarrolla son: Dominar el uso de herramientas para expresar el dibujo plano manualmente experimentar con la colocación de las partes esenciales de una prendaFijar la base del diseño en dibujo técnico de una prenda y capacitar en el buen uso y conocimiento de la terminología en el Diseño de Vestimenta.

A herbal formula (SL) comprising edible Sophorae Flos and Lonicerae Japonicae Flos was used to treat melanoma in ancient China. In current Chinese medicine practice, the two ingredient herbs of SL are commonly prescribed by Traditional Chinese medicine (TCM) doctors for treating melanoma. However, there is no modern clinical or experimental evidence about the anti-melanoma actions of this formula. Signal transducer and activator of the transcription (STAT3), which is constitutively activated in melanoma, has been proposed as one of the anti-melanoma targets. Some natural compounds in SL have been shown to assault cancers including melanoma via inhibiting STAT3 signaling. In this study, we investigated the anti-melanoma effects and explored STAT3 signaling-related mechanism of action of SL. We also identified bioactive components responsible for SL's anti-melanoma effects. Our in vitro and in vivo studies showed that SLE, an ethanolic extract of SL, induced apoptosis, inhibited proliferation, migration and invasion in melanoma cells, inhibited melanoma growth, angiogenesis and prolonged host survival in melanoma-bearing mice. SLE significantly suppressed the activation of STAT3 and its upstream kinase Src in both mouse melanoma tissues and cultured melanoma cells. In melanoma cells, we also found that SLE restrained STAT3 nuclear localization and inhibited the expression of STAT3-regulated genes related to melanoma growth, metastasis and angiogenesis. Overactivation of STAT3 in A375 human melanoma cells diminished the anti-proliferative, pro-apoptotic and anti-invasive effects of SLE. RNA-seq and small RNA sequencing analyses showed that SLE altered both the gene expression profile and miRNA signature in B16F10 melanoma tissues. Based on the RNA-seq data, we further validated that SLE inhibited the IL-17-IL-6-STAT3 axis in melanoma. Verification assays for the candidate miRNAs suggested that the significantly upregulated miR-205-5p is a possible target of SLE. Enforced miR-205 expression has been shown to suppress EMT in melanoma cells. In this study, we demonstrated that SLE inhibited melanoma cell EMT, and miR-205-5p knockdown diminished this effect of SLE. In addition, we computationally demonstrated that luteolin, a naturally occurring edible flavone abundant in Lonicerae Japonicae Flos, could directly bind to Src kinase domain. Experimentally, we verified that luteolin inhibited the Src/STAT3 signaling in both melanoma cells and tissues. In addition to inhibit STAT3 activation, luteolin promoted ubiquitin-proteasome pathway-mediated degradation of STAT3. Luteolin also exerted evident in vitro and in vivo anti-melanoma effects, and overactivation of STAT3 diminished its anti-melanoma effects. In conclusion, we demonstrated that SLE exerted in vivo and in vitro anti-melanoma effects, and inhibition of Src/STAT3 signaling and elevation of miR-205-5p expression contributed to these effects. Luteolin was identified to be one of the active components responsible for the inhibitory effects of SLE on STAT3 signaling and the anti-melanoma effects of SLE. This study provides a pharmacological and chemical basis for the traditional use of the formula SL in treating melanoma, and suggests that SLE and SLE-derived compounds have the potential to be developed as modern alternative and/or complimentary agents for melanoma management.

Thesis (Ph. D.)--Joint Program in Applied Ocean Science and Engineering (Massachusetts Institute of Technology, Dept. of Mechanical Engineering; and the Woods Hole Oceanographic Institution), 2012.
Cataloged from PDF version of thesis.
Includes bibliographical references (p. 79-84).
Estuarine density stratification may be controlled primarily by cross-shore processes (analogous to longitudinal control in narrow estuaries), or by both cross- and alongshore processes (typical of coastal plumes). Here field observations and numerical modeling are used to investigate stratification on the low-sloped, periodically inundated Skagit Bay tidal flats. Advection of stratification by the depth-averaged velocity, straining of the horizontal density gradient by velocity shear, and turbulent mixing are shown to be the dominant processes. On the south-central flats (near the south fork river mouth) velocities are roughly rectilinear, and the largest terms are in the major velocity direction (roughly cross-shore). However, on the north flats (near the north fork river mouth), velocity ellipses are nearly circular owing to strong alongshore tidal flows and alongshore stratification processes are important. Stratification was largest in areas where velocities and density gradients were aligned. The maximum stratification occurred during the prolonged high water of nearly diurnal tides when advection and straining with relatively weak flows increased stratification with little mixing. Simulations suggest that the dominance of straining (increasing stratification) or mixing (decreasing stratification) on ebb tides depends on the instantaneous Simpson number being above or below unity.
by Vera L. Pavel.
Ph.D.

Thesis (MSc (Conservation Ecology and Entomology))--University of Stellenbosc, 2005.
Biodiversity is under enormous pressure from an increasing human population. Urbanisation, agriculture, and mining are just some of the factors responsible for the continuous degradation of the natural environment. Of these, urbanisation is one of the leading factors of diversity loss. To address this problem, it is necessary to understand the relationship between biodiversity and urban areas, as well as the relationship between society and biodiversity. This study focuses on these relationships and suggest ways in which urban biodiversity can be maximised without compromising on development. In order to create an urban environment that successfully supports maximised biodiversity, new methods and ideas must be developed to promote the protection of urban ecosystems. The Cape Floristic Region in South Africa is a good example of an area that requires immediate action in order to prevent enormous losses in biodiversity. Data have shown drastic decreases in natural vegetation cover in this area, and with its close to 9000 species, of which approximately 60% occurs nowhere else in the world. This state of affairs should be regarded as a serious crisis. This study consists of three main parts, the first being a literature review on the current relationships between the urban environment, society, and biodiversity. The second and third parts report on two empirical investigations on the campus of the Faculty of Health Sciences at the University of Stellenbosch in the City of Cape Town. The first of these investigates the possibility of using spirituality connected to nature as a promotional tool for conservation through rehabilitation or restoration of damaged urban vegetation habitats. For this purpose students’ and staff members’ opinions of the urban nature at the campus were tested. In the second investigation the options of restoring biodiversity to the campus was considered by exploring the best options available for rehabilitation while taking the current biodiversity status on and around the premises into account. This was carried out through three smaller projects that included the physical reintroduction of plant species, vegetation analysis, and bird identification and attraction. The response of employees and students at the Faculty of Health Sciences was found to be in favour of restoring vegetation and animal life to the campus. This is supported by a belief that their attitude towards their work would improve with improved natural surroundings. Initial rehabilitation attempts highlighted the complexity of rehabilitation practices by bringing forward challenges and problems experienced with the reintroduction of plant species. Despite these problems, increased plant diversity in experimental areas showed the possibility of successfully completing the project. Biodiversity analysis showed that methods of controlling vegetation used by the university are doing more harm than good, as it results in indigenous vegetation being displaced by exotic vegetation. This study introduces a number of questions regarding the relationship between urbanisation and biodiversity and to what extent the two should be linked. Hopefully it is a step in the direction towards marrying the urban and natural environment, and to create a sustainable urban environment where society no longer sees nature as something outside the city boundaries.

Thesis (M.S.) -- Central Connecticut State University, 2008.
Thesis advisor: Matthew Ciscel. "... in partial fulfillment of the requirements for the degree of Master of Science in TESOL." Includes bibliographical references (leaves 58-63). Abstract available via the World Wide Web.

At the Skoghall pappermill, sulphatepaper pulp is produced in a continuous digester originally from 1969. To be able to maintain a high level of production there is a need for a process with few disturbances. Variations in how well the wooden chips are packed in the digester is one form of disturbance. Today there are no available measurements on how well the chips are packed. Instead this is regarded as being constant.

The variation in the so called bulk density of the chips is mainly due to variations in the percentage with small dimensions. Chips are classified in relation to their size and one of the smallest classes is referred to as pin chips. These are believed to have a big impact on the bulk density. The amount of pin chips fluctuate more then the other classes, there by causing disturbances.

The Skoghall pappermill has invested in a ScanChip. This is an instrument that measures the dimensions of the chips optically. ScanChip presents figures on chip quality, including a measurement of the bulk density. However, it has been shown that this measurement is not valid for the Skoghall pappermill. By using data from ScanChip a model that predicts how well the chips are packed has been devised. This value is the bulk density divided by the basic density. The model has proved to yield good results, despite a relatively small amount of data.

A theoretical value of the amount of produced pulp has been computed based on the revolutions of the production screw that feeds chips into the digester. This value takes in consideration how well the chips are packed. The value has shown great similarities with the empirical measurements that are used today. A simulation during one month has shown that differences in the mixture of chips have effected the measurement of produced pulp with up to 7 ton/h.

Chips are stored in open pile storages before they are being used in the process of transforming them into pulp. Four screws are used to move chips from the piles to conveyer belts. It has been shown in work done previously, that the movement of the screws contributes to variations in the amount of pin chips measured by ScanChip.

During the work with this master’s thesis I have found that there are variations in the piles that make it difficult to predict the amount of pin chips accordingly. However by filtering the measurements of pin chips to remove these variations, the results are improved. A new way of controlling the movements of the screws was operational on the 10 of March and this improved the results.

The direction in which the screws are moving influence the speed of the screws, mainly in the pile with the so called sawmill chips. By changing the amount of chips that each screw puts out, the differences in speed have been reduced. The mixtures found in the two piles are not completely homogenous. There are a greater amount of pin chips in the northern parts compared with the southern parts. This could be an effect of the wind direction, and will still cause variations.

'Tyneside Flats' are typically terraced buildings comprising pairs of self-contained flats and are particularly prevalent on Tyneside in north eastern England. This thesis examines the land tenure arrangements used for individual Tyneside Flats and the enforcement of land obligations between flat owners. This provides an interesting model for tenurial arrangements across England and Wales where there are interconnected buildings and other small blocks of self contained flats. The thesis includes an analysis of qualitative and quantitative research data obtained from north eastern conveyancers. The first introductory chapter explains the background to the research project and the research objectives. It also contains the research questions and an overview of the literature and methodology used. Chapter two puts Tyneside Flats in their historical context and describes their architectural features. The judicial development of the law of positive freehold obligations from the nineteenth century onwards is analysed in chapter three. Past and present law reform proposals and the 2002 commonhold legislation are assessed in chapter four. In the 1980s a mixed freehold/leasehold arrangement for Tyneside Flat transfer was promulgated by Newcastle Law Society. This standard structure and other alternative freehold conveyancing devices are considered in chapter five. Chapter six contains a detailed and technical analysis of the impact of modern leasehold legislation on the standard form arrangement. The methodology used for data collection is described in chapter seven. Chapter eight examines how the standard Tyneside Flat documentation works in practice. This key chapter analyses qualitative and quantitative research data in detail. The final concluding chapter contains an overview of the research questions and results. It includes recommendations for legislative reform and the future prospects for the standard form arrangement and a freehold land obligation alternative.

Nous cherchons les métriques sur le tore qui minimisent la "complexité". L'entropie topologique pouvant s'annuler, nous cherchons les minimums de l'entropie polynomiale parmi des systèmes géodésiques à entropie nulle : les métriques plates, et les métriques pour lesquelles le flot géodésique admet une intégrale première non dégénérée au sens de Bott. Dans un premier temps, nous calculons l'entropie polynomiale des systèmes hamiltonien intégrable au sens de Bott avec une condition de cohérence dynamique supplémentaire. Un tel système vit sur un niveau d'énergie compact de dimension 3 d'une variété symplectique de dimension 4. Nous montrons que l'entropie polynomiale ne peut prendre que les valeurs 0,1 ou 2. Ensuite, nous montrons que l'entropie polynomiale d'un système géodésique sur une variété riemannienne compacte M est minorée par le degré de croissance polynomiale du groupe fondamental de M moins 1. De là , nous déduisons que les métriques plates sur les tores minimisent l'entropie polynomiale. Enfin, nous montrons que, parmi les systèmes géodésiques sur le tore de dimension 2 qui sont Bott-intégrables et dynamiquement cohérents, les métriques plates sont des minimums stricts locaux de l'entropie polynomiale

La formation des etoiles s'accompagne de puissants phenomenes d'ejection de matiere, qui se traduisent par la presence de flots moleculaires bipolaires autour de la plupart des protoetoiles. Cette these etudie la structure interne des flots moleculaires, a l'aide d'observations interferometriques millimetriques realisees a l'interferometre du plateau de bure de l'iram. Les cartes presentees figurent parmi les toutes premieres images de flots moleculaires realisees avec une resolution angulaire aussi elevee (de l'ordre de la seconde d'arc). Deux flots extremement jeunes (environ 10000 ans) et leurs protoetoiles excitatrices sont etudies, a travers l'emission de co et sio. Le flot moleculaire de l 1157 revele deux cavites distinctes, dont les distributions de brillance et les proprietes cinematiques peuvent etre reproduite par un modele de precession. Une forte interaction prend place entre le flot et l'enveloppe entourant la protoetoile. Cette derniere montre de plus une signature d'effondrement gravitationnel. Le flot de hh 211 presente quant a lui une structure remarquable dans laquelle un jet moleculaire rapide emerge de la source centrale et est entoure d'une cavite detectee a plus faible vitesse. La forme de cette derniere correspond parfaitement aux predictions de modeles simples de propagation d'un choc en arc. Plusieurs aspects des observations de l 1157 et hh 211 sont egalement discutes, parmis lesquels les mecanismes de formation des flots moleculaires (la propagation de larges chocs en arc semble etre l'hypothese la plus pertinente) et les processus de formation de la molecule sio dans les flots. Finalement, la deuxieme partie de cette these presente les algorithmes de reconstruction et de deconvolution, adaptes au cas des observations interferometriques de mosaiques, qui ont ete developpes pour permettre les observations decrites precedemment.

Les systèmes temps-réel critiques sont de plus en plus complexes, et les exigences fonctionnelles et non-fonctionnelles ne cessent plus de croître. Le flot de conception de tels systèmes doit assurer, parmi d'autres propriétés, le déterminisme fonctionnel et la prévisibilité temporelle. Le déterminisme fonctionnel est inhérent aux modèles de calcul flot de données (ex. KPN, SDF, etc.) ; c'est pour cela qu'ils sont largement utilisés pour modéliser les systèmes embarqués de traitement de flux. Un effort considérable a été accompli pour résoudre le problème d'ordonnancement statique périodique et à mémoire de communication bornée des graphes flots de données. Cependant, les systèmes embarqués temps-réel optent de plus en plus pour l'utilisation de systèmes d'exploitation temps-réel et de stratégies d'ordonnancement dynamique pour gérer les tâches et les ressources critiques. Cette thèse aborde le problème d'ordonnancement temps-réel dynamique des graphes flots de données ; ce problème consiste à assigner chaque acteur dans un graphe à une tâche temps-réel périodique (i.e. calcul des périodes, des phases, etc.) de façon à : (1) assurer l'ordonnançabilité des tâches sur une architecture et pour une stratégie d'ordonnancement (ex. RM, EDF) données ; (2) exclure statiquement les exceptions d'overflow et d'underflow sur les buffers de communication ; et (3) optimiser les performances du système (ex. maximisation du débit, minimisation des tailles des buffers).

Résumé: Dans cette thèse, on étudie les équations cohomologiques discrètes et continues dans les situations qui suivent.
1- Pour un champ de vecteurs X qui définit un feuilletage riemannien complet sur une variété M, on donne explicitement les conditions qui permettent de résoudre complètement l'équation cohomologique continue.

2- Pour un champ X sur une la variété M obtenus (M et X) par suspension d'un difféomorphisme γ : N → N, on montre que l'équation cohomologique discrète du système dynamique discret (N, γ) est équivalente à l'équation cohomologique continue du système dynamique continu (M, X) .

3- Dans le cas où la variété M est le quotient TAⁿ⁺¹du groupe de Lie G=ℝⁿ ⋊A ℝ par le réseau Γ=ℤⁿ ⋊Aℤ avec A ∈SL(n,ℤ)
hyperbolique à valeurs propres réelles positives et X l'élément de l'algèbre de Lie Ģ de G qui induit le flot d'Anosov ℱ sur TAⁿ⁺¹,on donne explicitement les solutions des deux équations en question ainsi que d'autres invariants géométriques qui leur sont associés notamment la cohomologie feuilletée de ℱ et les distrbutions A-invariantes

The Swedish pulp and paper industry meets higher demand for energy efficiencyi mprovements with increasing energy prices and changes in the Swedish renewable energy certificate system. One action of energy efficiency improvement is by using secondary heat, that otherwise would have been treated as waste heat, for use in a system with lower temperature demands. The aim of this Master´s thesis is to identify possible secondary heat sources in a typical Swedish pulp and paper mill and to investigate what economic benefits the secondary heat will provide when being used for pre heating of wood chips to a kraft digester. The Master´s thesis focuses on three secondary heat sources; dry warm air, warm water and moisture saturated warm air located inside the pulp or paper mill. Two types of kraft digesters are simulated within this study, a typical Scandinavian digester and a modern twin vessel steam phase digester. Due to quality aspects and low temperature level drying is the drying technology with dry warm air rejected. Using warm water in direct contact with wood chips increases the quantity of water to the evaporation plant and thus reduced pulp or paper production and is therefore also rejected. The thesis nevertheless indicates a goodopportunity for further investigation of using moisture saturated warm air for preheating of wood chips. The humid air, from a drying machine or produced from secondary heat warm water, is used in a theoretical modified belt drier. Conservative assumptions regarding heat transfer and investment cost calculations yield a yearly net saving for a typical Swedish pulp mill at over 5 MSEK with a return on investment at 7years.

Nous étudions certains processus de Lévy à valeurs dans les groupes d'isométries respectifs des espace-temps de Minkowski, de De Sitter et de Anti-De-Sitter. Le groupe d'isométries est vu comme le fibré des repères de l'espace-temps et les processus de Lévy considérés se projettent sur le fibré unitaire en un processus markovien relativiste ; c'est-à-dire que les trajectoires dans l'espace-temps sont de genre temps et que le générateur est invariant par les isométries. Dans la première partie nous adaptons pour les diffusions hypoelliptiques générales un résultat de Ben Arous et Gradinaru concernant la singularité de la fonction de Green hypoelliptique. Nous déduisons de cela un critère d'effilement de Wiener local pour les diffusions relativistes dans le groupe de Poincaré, groupe des isométries de l'espace-temps de Minkowski. Dans les deux dernières parties nous nous intéressons au comportement asymptotique du flot stochastique associé à ces processus de Lévy dans les différents groupes d'isométries. Sous une condition d'intégrabilité de la mesure de Lévy nous calculons explicitement les coefficients de Lyapounov des processus dans le groupe de Poincaré. Nous effectuons un travail similaire pour les espace-temps de De Sitter et Anti-De-Sitter en nous limitant au cas des diffusions. Nous explicitons de plus la frontière de Poisson pour la diffusion dans le groupe d'isométries de l'espace-temps de De Sitter.

Based on a long-term ethnography inside a block of flats in Piatra-Neamt, Romania, this thesis explores how individuals, through everyday creative engagements with their apartments, try to come to terms with the uncertainties of a rapidly changing society - one caught between the vulnerabilities of both socialism and capitalism. It examines the inhabitants' capacity for self-organization, with a focus on the daily life of a block administrator overseeing the maintenance and repair of his ageing building. By paying close attention to a range of infrastructural elements often taken for granted - from water taps and boilers, to balconies and windows - my research offers new insights into how people negotiate complex relationships of trust and suspicion in the light of degrading infrastructure. Within the context of increasingly decentralized resources, I also demonstrate various difficulties involved in sustaining day-to-day practices of energy-saving, and discuss the block inhabitants' multifaceted understanding of the 'common good'. Finally, I emphasize how apartment renovations are fuelled by motivations that are at once aesthetic and functional, and thus problematize the distinction between these two categories that has dominated anthropological studies of the built environment to this day. My thesis contrasts the well-established literature about the home - that pays attention to aesthetics and identity at the micro-scale of the domestic space - with recent studies about infrastructure that typically examine macro-scale, functional reasons for urban transformations. Overall, I argue for a more prominent role for the study of home infrastructures in anthropology, while also contributing to debates about housing and energy policies.

This thesis aims to advance the knowledge of the hydrogeological functioning of salt flats in order to achieve a sustainable management of their mineral resources and ecosystems. Salt flats are a major source of Li, B, I, K, Mg and NaCl, and they host some of the most outstanding ecosystems on earth. Around 25 % of Li world reserves are located in the Salar de Atacama (NE of Chile). The exploitation of this raw material, highly valued in the technological and pharmaceutical industries, is carried out by brine pumping. Brine pumping can affect the natural hydrogeological regime of salt flats and, in many cases, the possible impact on their ecosystems is unknown. This thesis contributes to (1) explain the geometry and groundwater flow of the mixing zone (saline interface) located around salt flats, (2) define the water balance and hydrodynamics of the Salar de Atacama under the natural regime, (3) analyse and quantify the impacts caused by brine pumping, (4) improve the design of the brine exploitations in salt flats and (5) question the traditional ideas on the origin of the Li-enrichment in the Salar de Atacama. The groundwater recharged in the mountains is forced to flow upward when it reaches the mixing zone around the salt flat due to its lower density, feeding the lake and wetland ecosystems. The first 3D mapping of a salt flat mixing zone has been carried out in the Salar de Atacama and it has shown a slope of the mixing zone much lower than previous assumptions. The 2D modelling of the mixing zone demonstrated as the permeability of the upper aquifer increases, the slope of the mixing zone decreases, resulting in a shallower mixing zone. Thus, the permeability of the upper aquifer, mostly constituted of very permeable karstified evaporites and alluvial deposits, is critical to the geometry of the mixing zone. The hydrogeological conceptual model of the Salar de Atacama, prior to brine pumping (natural regime), has been defined and validated using a 3D steady-state groundwater flow model. The asymmetric distribution of the recharge by infiltration of rainwater and, above all, the evaporation discharge results in a water table whose minimum hydraulic head is located in the easternmost nucleus, close to the eastern mixing zone. The 3D transient-state modelling of the Salar de Atacama basin from 1986 to 2018 has allowed to explain the hydrodynamics and water balance impacts caused by brine exploitation. From 1994 to 2015, under the mining regime, the brine pumping caused an additional drawdown of the water table that triggered a decrease of the phreatic evaporation. This effect has been defined as "damping capacity" and it allows to counteract the disturbances occasioned by natural or anthropogenic events on the water table and balance of salt flat basins. The damping capacity compensated, at least in part, the decrease of the evaporation discharge, but nowadays it is already amortized in the nucleus and the mixing zone begins to be impacted. The 3D modelling of a hypothetical salt flat under brine exploitation has contributed to optimize the spatial distribution of the pumping wells in terms of impact on the water balance. Brine exploitations should consider to distribute the pumping outflow in the greatest extent possible to take full advantage of the damping capacity. The results of the hydro-thermo-haline modelling of the Salar de Atacama basin has suggested the Salar Fault System as the main contributor for the extreme Li-enrichment, either through the rise of Li-rich brines from a deep hydrothermal reservoir or remobilization of ancient layers of Li-enriched salts and/or clays by non-evaporated recharge waters coming from the W. The persistence of the mixing zones in depth also dismissed previous ideas of (1) leaking of brines from the present salt flats or (2) leaching of hypothetical salt flats buried by volcanic eruptions in the Altiplano-Puna as sources for the extreme Li-enrichment of the Salar de Atacama brines.
Esta tesis contribuye a avanzar en el conocimiento del funcionamiento hidrogeológico de los salares con el fin de mejorar la gestión de sus recursos minerales y ecosistemas. Los salares son una fuente principal de Li, B, I, K, Mg y NaCl, y albergan algunos de los ecosistemas más excepcionales de la tierra. Alrededor del 25 % de las reservas mundiales de Li se localizan en el Salar de Atacama (NE de Chile). La explotación de esta materia prima, altamente valorada en las industrias tecnológica y farmacéutica, se realiza mediante bombeo de salmuera. El bombeo de salmuera puede afectar al régimen hídrico natural de los salares y, en muchos casos, se desconoce el posible impacto sobre sus ecosistemas. Esta tesis ayuda a (1) explicar la geometría y el flujo subterráneo de la zona de mezcla (interfaz salina) ubicada alrededor de los salares, (2) definir el balance hídrico y la hidrodinámica del Salar de Atacama en su régimen natural, (3) analizar y cuantificar los impactos causados por el bombeo de salmuera, (4) mejorar el diseño de las explotaciones de salmuera en salares y (5) cuestionar las ideas tradicionales que explican el origen del enriquecimiento en Li del Salar de Atacama. El agua subterránea recargada en las montañas es forzada a fluir hacia la superficie cuando alcanza la zona de mezcla que rodea al salar debido a su menor densidad, alimentando los ecosistemas lagunares y humedales. La primera cartografía 3D de la zona de mezcla de un salar se ha llevado a cabo en el Salar de Atacama, evidenciando una pendiente mucho menor que las predicciones anteriores. El modelado 2D de la zona de mezcla ha demostrado que cuanto mayor es la permeabilidad del acuífero superior, más baja es la pendiente y más superficial se vuelve la zona de mezcla. Por lo tanto, la permeabilidad del acuífero superior, principalmente constituido por evaporitas karstificadas y depósitos aluviales muy permeables, es crítica para la geometría de la zona de mezcla. El modelo hidrogeológico conceptual del Salar de Atacama, previo al bombeo de salmuera (régimen natural), se ha definido y validado utilizando un modelo estacionario 3D del flujo subterráneo. La distribución asimétrica de la recarga por infiltración del agua de lluvia y, sobre todo, de la descarga por evaporación da como resultado una superficie freática cuyo mínimo nivel hidráulico se localiza en el sector más oriental del núcleo, cerca de la zona de mezcla oriental. El modelado transitorio 3D de la cuenca del Salar de Atacama desde 1986 hasta 2018 ha permitido explicar los impactos causados por la explotación de salmuera sobre la hidrodinámica y el balance hídrico. Desde 1994 hasta 2015, el bombeo de salmuera causó una profundización de la superficie freática que desencadenó una reducción de la evaporación freática. Este efecto ha sido definido como la "capacidad de autorregulación" y permite a los salares contrarrestar las perturbaciones ocasionadas por eventos naturales o antropogénicos sobre la superficie freática y el balance hídrico. La capacidad de autorregulación compensó, al menos en parte, la disminución de la descarga por evaporación, pero hoy en día ya está amortizada en el núcleo y la zona de mezcla comienza a verse afectada. El modelado 3D de un hipotético salar bajo explotación de salmuera ha contribuido a optimizar la distribución espacial de los pozos de bombeo en términos de impacto sobre el balance hídrico. Para aprovechar al máximo la capacidad de autorregulación, las explotaciones de salmuera deben considerar distribuir el caudal bombeado en la mayor área posible. Los resultados del modelado hidro-termo-halino de una sección vertical Este-Oeste de la cuenca del Salar de Atacama han señalado al Sistema de Fallas Salar (SFS), localizado en el sector central del núcleo, como el principal contribuyente para explicar el enriquecimiento extremo en Li, ya sea por el ascenso de salmueras ricas en Li desde un reservorio hidrotermal profundo o por removilización de antiguas capas de sales y/o arcillas ricas en Li por aguas de recarga no evaporadas provenientes del Oeste. La localización del mínimo nivel hidráulico regional en el lado oriental del núcleo descarta considerar la evaporación avanzada como un mecanismo actual para alcanzar el alto contenido de Li de las salmueras ubicadas sobre el SFS. Además, la persistencia de las zonas de mezcla en profundidad también permite descartar las hipótesis previas de 1) infiltración de salmueras desde los salares actuales del Altiplano-Puna y 2) lixiviado de hipotéticos salares enterrados por erupciones volcánicas en el Altiplano-Puna como origen del enriquecimiento excepcional en Li de las salmueras de Salar de Atacama.

Dans cette thèse, on étudie les équations cohomologiques discrètes et continues dans les situations qui suivent. 1- Pour un champ de vecteurs X qui définit un feuilletage riemannien complet sur une variété M, on donne explicitement les conditions qui permettent de résoudre complètement l'équation cohomologique continue. 2- Pour un champ X sur une la variété M obtenus (M et X) par suspension d'un difféomorphisme γ : N → N, on montre que l'équation cohomologique discrète du système dynamique discret (N, γ) est équivalente à l'équation cohomologique continue du système dynamique continu (M, X). 3- Dans le cas où la variété M est le quotient TAⁿ⁺¹du groupe de Lie G=ℝⁿ ⋊A ℝ par le réseau Γ=ℤⁿ ⋊Aℤ avec A ∈SL(n,ℤ) hyperbolique à valeurs propres réelles positives et X l'élément de l'algèbre de Lie Ģ de G qui induit le flot d'Anosov ℱ sur TAⁿ⁺¹,on donne explicitement les solutions des deux équations en question ainsi que d'autres invariants géométriques qui leur sont associés notamment la cohomologie feuilletée de ℱ et les distrbutions A-invariantes
In this thesis : 1- We compute the leafwise cohomology of a complete Riemannian Diophantine flow. 2- We solve explicitly the discrete cohomological equation for the Anosov diffeomorphism on the torus Tⁿ defined by a matrix A ∈SL(n,ℤ) which is hyperbolic and diagonalizable with all its eigenvalues real positive numbers. We use this to solve the continuous cohomological equation of the Anosov flow ℱ on the hyperbolic torus TAⁿ⁺¹ obtained from A by suspension. This enables us to compute some other geometrical objects associated to the diffeomorphism A and the foliation ℱ like the invariant distributions and the leafwise cohomology

Cette thèse concerne l'étude de la testabilité des conceptions flot de données des systèmes réactifs développés à l'aide de deux environ développement SCADE et SIMULINK. La testabilité, utilisée pour estimer de manière prédictive la facilité à tester un système, est évaluée par deux mesures : la contrôlabilité et l'observabilité. Nous utilisons la technologie SATAN basée sur la théorie de l'information pour modéliser le transfert d'information dans le système. Les mesures de testabilité sont calculées à partir de la perte d'information dans le schéma d'opérateurs, où chacun des opérateurs contribuent à cette perte d'information. La perte d'information d'un opérateur est calculée soit exhaustivement sur la base de la "table de vérité" de la fonction de l'opérateur, soit de manière statistique via les résultats de simulation de l'opérateur. Notre approche a été intégrée dans un outil permettant une analyse automatique de testabilité
This work concerns the testability analysis of data-flow designs of reactive systems developed by using two development environments SCADE and SIMULINK. The testability, which is used to estimate the facility to test a system, is a combination of two measures : controllability an observability. We use the SATAN technology, which is based on the information theory, to model the transfer of information in the system. The testability measures are computed from the loss of information in the system, where each operator contributes to this loss. The loss of information of an operator can be evaluatedeither exhaustively by basing on the "truth table" of the function of the operator, or statistically by basing on the simulation results of the operator. Our approach is integrated in a tool allowing an automatic analysis of testability of graphical data-flow designs of reactive systems

Dans les systèmes critiques, les applications doivent satisfaire des contraintes temporelles strictes, chaque tâche devant s'exécuter en un temps maximum prédéfini ; le non-respect d'une seule échéance peut compromettre toute la stabilité du système et engendrer des effets désastreux. Un tel système est appelé système temps-réel strict. Pour pouvoir assigner une échéance à une tâche, il faut être capable de déterminer le temps maximum que mettra cette tâche à s'exécuter, ceci indépendamment des données en entrée de la tâche. Ce temps maximum recherché s'appelle le WCET (Worst Case Execution Time, temps d'exécution pire cas), il est souvent déterminé à l'issue d'un processus de calcul nécessitant une modélisation des structures de l'architecture du processeur. Les mécanismes architecturaux qui augmentent les performances d'un processeur (prédiction de branchement, cache) induisent souvent un fort taux d'indéterminisme qui rend la modélisation difficile. C'est pourquoi il est souvent préférable d'utiliser des architectures relativement simples pour un système temps-réel strict, ou de simplifier des architectures hautes performances récentes. Notre optique est plutôt d'essayer d'adapter, par de légères modifications, une de ces architectures performantes mais peu prédictibles pour un respect de contraintes temps-réel strict et un calcul de WCET facilité. L'architecture que nous choisissons est l'architecture Multi-Flots Simultanés (Simultaneous Multihtreading, SMT), ou plusieurs programmes peuvent s'exécuter simultanément en partageant les ressources d'un seul cœur d'exécution
In critical systems, applications must satisfy hard timing constraints, each task must execute in a maximum predefinite time. Any unrespected constraint may compromise the stability of the whole system and generate disastrous effects. Such a system is called hard real-time system. To be able to assign a constraint to a task, you must be able to determinate the maximum time this task will execute, independently from the input data of the task. This maximum time you search is called the WCET (Worst Case Execution Time), it is obtained by a calculation process where we need to modelise the structures of the processor architecture. The architecture mechanisms increasing performance (caches, branch prediction) are often a lot undeterministic and thus are difficult to modelise. That's why we usually prefer using relatively simple architectures for a hard real-time system, or simplifying recent high-performance architecture. In this work, we will rather adapt, using small modifications, one of those high-performance but little predictible architecture to respect hard timing constraints and make simpler WCET calculation. We choose the Simultaneous Multithreading architecture where several programs can run at the same time sharing the resources of one core only

La description exacte et exhaustive d'un systeme necessite une certaine quantite d'information, l'information globale, generalement inconnue. L'observateur prend connaissance d'un systeme au travers de son comportement, c'est-a-dire sa reaction a certains stimuli. Ce comportement trahit une certaine forme d'information, que nous appelons information sortie. Nous etudions les relations entre ces deux formes d'information en nous placant dans le cadre de la theorie de la complexite de kolmogorov. Nous etudions dans un premier temps des systemes se comportant comme des fonctions recursives. Nous montrons que pour de tels systemes, l'information sortie ne constitue pas une bonne approximation de l'information globale : il est toujours possible de trouver un systeme pour lequel l'information sortie soit arbitrairement moindre que l'information intrinseque. Pour la plupart des systemes toutefois, l'approximation est justifiee. Nous etudions dans un second temps des systemes se comportant comme des transducteurs rationnels deterministes lettre a lettre. Nous montrons que l'observation de la sortie de tels systemes soumis a des entrees aleatoires permet d'obtenir certaines connaissances sur leur structure interne.

Dans le cadre de cette thèse, nous nous intéressons à la vérification de systèmes réactifs critiques et temps réel développés a l'aide de langages flots de données synchrones. Plus particulièrement nous avons considéré les propriétés de sureté pour les applications réalisées dans un des deux langages, saga produit de Merlin Gerin/ses, ou lustre crée au LGI. La méthode de vérification, pour laquelle un prototype a été réalise, est l'évaluation de propriétés sur un modèle des programmes. Un langage de spécification adapte au contexte des systèmes réactifs temps réel, avec sa sémantique formelle, est défini; ce langage comprend plusieurs opérateurs temporels. Le désir d'automatiser la vérification a nécessité la définition de la sémantique formelle de saga. Plusieurs modèles pour les programmes ont alors été étudiés: les arbres des exécutions comme base d'expression commune des sémantiques, les graphes d'états et automates de contrôle pour la mise en œuvre de la vérification. L'utilisation de moyens existants de vérification, fondée sur l'évaluation de propriétés sur un modèle des programmes, a été étudiée et évaluée. Ces moyens sont relatifs a des logiques temporelles arborescentes et des mu-calculs propositionnels. Une nouvelle approche pour la spécification et la vérification de propriétés de sureté, mettant en œuvre les caractéristiques du langage lustre, est développée. Elle s'appuie sur l'utilisation de lustre lui-même comme langage de spécification et présente les avantages suivants: formalisme commun pour la programmation et la spécification, utilisation du compilateur pour la vérification, possibilité de preuves modulaires