Spelling suggestions: "subject:"programmation sous contraintes"" "subject:"programmations sous contraintes""
1 |
Méthode de conception de multimatériaux à architecture multicouche : application à la conception d’une canalisation sous-marineGiaccobi, Stéphane 16 July 2009 (has links)
Les méthodes de sélection de matériaux monolithiques peuvent conduire à des impasses lorsque les exigences fonctionnelles sont très élevées ou contradictoires. Le passage aux multimatériaux peut alors être envisagé. L’objectif de la thèse est de proposer une méthode de conception de multimatériaux à architecture fixée, avec en perspective une application à la conception de conduites offshore pour le génie pétrolier. Seuls les multimatériaux à architecture multicouche sont considérés et la méthode de conception est redéfinie comme une méthode de sélection des constituants du multimatériau et de dimensionnement. Une adaptation des étapes classiques de sélection des matériaux conduit à présenter la méthode en détail sur des exemples simples. Les techniques de programmation par satisfaction de contraintes s’avèrent nécessaires pour la résolution de cas réels de conception multimatériaux. L’application à la conception de conduites offshore permet de valider la méthode et de démontrer sa pertinence. / When the design requirements are either too stringent or are conflicting, no monolithic material solution exists. In such cases the selection of a multimaterial could be considered. The primary aim of this thesis is to provide a methodology for designing multi-materials with a prescribed arrangement of the constituent materials. The second objective is to apply this new methodology to the design of a submarine pipeline. From amongst the huge variety of multi-material arrangements available, this study focusses on multilayered stackings and therefore the design methodology becomes a method for selecting the materials of the stack and sizing the layers. This original approach is presented in detail using basic examples in order to match the steps of classical methods for selecting engineering materials. The constraints programming techniques were very useful for solving real multimaterial design problems. Applying this new method to the design of a submarine pipeline permits its validation and provides proof of its relevance.
|
2 |
Models and algorithms applied to metabolism : from revealing the responses to perturbations towards the design of microbial consortia / Modéliser le métabolisme : expliciter les réponses aux perturbations et composer des consortia microbiensJulien-Laferriere, Alice 08 December 2016 (has links)
Lors de cette thèse, je me suis intéressée à la modélisation du métabolisme des micro-organismes. Nous nous sommes focalisé sur le métabolisme des petites molécules qui ne prend pas en compte les réactions associées aux macromolécules, telle que la synthèse des protéines.Nous avons ainsi utilisé différents formalismes de modélisation.Tout d'abord, nous avons développé TOTORO où les réseaux métaboliques sont représentés par des hypergraphes dirigés et qui permet d'identifier les réactions ayant participé à une transition métabolique. TOTORO a été utilisé sur un jeu de données sur la levure en présence de cadmium. Nous avons pu montrer que nous retrouvons les mécanismes connus de désintoxication.Ensuite, en utilisant une méthode de modélisation par contraintes, nous discutons d'un développement en cours, KOTOURA, qui propose d'utiliser les connaissances actuelles de concentrations de métabolites entre différentes conditions pour inférer de manière quantitative les possibles asynchronies des réactions lors du passage d'un état stable à un autre. Nous avons testé son implémentation sur des données simulées.Enfin, nous proposons MULTIPUS, une méthode d'extraction d'(hyper)-arbres de Steiner dirigés qui permet de sélectionner les voies métaboliques pour la production de composés au sein d'une communauté bactérienne. Les réseaux métaboliques sont modélisés en utilisant des hypergraphes dirigés et pondérés. Nous proposons un algorithme de programmation dynamique paramétré ainsi qu'une formulation utilisant la programmation par ensemble réponse. Ces deux propositions sont ensuite comparées dans deux cas d'applications / In this PhD work, we proposed to model metabolism. Our focus was to develop generic models, that are not specific to one organism or condition, but are instead based on general assumptions that we tried to validate using data from the literature.We first present TOTORO that uses a qualitative measurement of concentrations in two steady-states to infer the reaction changes that lead to differences in metabolite pools in both conditions.TOTORO enumerates all sub-(hyper)graphs that represent a sufficient explanation for the observed differences in concentrations. We exploit a dataset of Yeast (Saccharomyces cerevisiae) exposed to cadmium and show that we manage to retrieve the known pathways used by the organisms. We then address the same issue, but using a constraint-based programming framework, called KOTOURA, that allows to infer more quantitatively the reaction changes during the perturbed state. We use in this case exact concentration measurements and the stoichiometric matrix, and show on simulated datasets that the overall variations of reaction fluxes can be captured by our formulation.Finally, we propose MULTIPUS, a method to infer microbial communities and metabolic roads to produce specific target compounds from a set of defined substrates. We use in this case a weighted directed hypergraph. We apply MULTIPUS to the production of antibiotics using a consortium composed of an archae and an actinobacteria and show hat their metabolic capacities are complementary. We then infer for another community the excretion of an inhibitory product (acetate) by a 1,3-propanediol (PDO) producer and its consumption by a methanogene archae
|
Page generated in 0.1498 seconds