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.

Cette thèse traite de la synchronisation des systèmes dynamiques.La synchronisation est étudiée pour une configuration de type maître-esclave, c'est-à-dire pour des systèmes couplés de façon unidirectionnelle. Ce type de configuration s'avère d'un intérêt tout particulier car elle correspond à des architectures de communications chiffrées un-vers-un ou un-vers-plusieurs. Une attention spécifique est portée sur l'autosynchronisation, comportement qui caractérise la synchronisation par le simple couplage maître-esclave et donc en l'absence de tout contrôle extérieur. Elle joue un rôle majeur dans les communications impliquant des chiffreurs par flot autosynchronisants. L'étude de l'autosynchronisation dans le contexte cryptographique s'appuie sur la théorie du contrôle. Un lien original entre l'autosynchronisation et le principe de chiffrement/déchiffrement en cryptographie est mis en évidence. Il fait appel à la propriété de platitude des systèmes dynamiques, un concept emprunté à l'automatique. On montre que les systèmes dynamiques plats définissent complètement l'ensemble des systèmes autosynchronisants et permettent d'élargir les structures existantes des chiffreurs autosynchronisants. La platitude est tout d'abord étudiée pour deux types de systèmes non linéaires~: les systèmes linéaires commutés et à paramètres variants (LPV). La caractérisation des sorties plates s'appuie sur le concept de semigroupes nilpotents et un algorithme performant est proposé. Une approche constructive pour réaliser des structures maître-esclave autosynchronisantes est proposée sur la base de systèmes plats et les notions d'inversibilité à gauche et à droite empruntées à la théorie du contrôle. Par la suite, l'autosynchronisation est étudiée dans le contexte booléen, privilégié en cryptographie.Elle est caractérisée en premier lieu au travers la notion d'influence. Ensuite, différentes représentations matricielles associées aux fonctions booléennes sont proposées. Ces représentations s'avèrent particulièrement intéressantes pour l'analyse des propriétés liées à la sécurité. Un lien entre l'autosynchronisation et les structures propres des représentations matricielles est établi. Une approche orientée graphes est finalement élaborée pour la caractérisation. De nouvelles constructions de structures autosynchronisantes en sont déduites et des éléments de sécurité sont discutés. Enfin, une plateforme de test à base de FPGA qui a été réalisée est décrite / This thesis deals with the synchronization of dynamical systems. The synchronization considered is called master-slave, that is, the dynamical systems are connected in a unidirectional way. This configuration is of interest because it corresponds to an architecture encountered in secured communications of type one-to-one or one-to-many. A special attention is paid to self-synchronization. A behaviour that characterizes synchronization achieved with a simple master-slave coupling and so, without any external control. It is a central feature of self-synchronizing stream ciphers. The study of self-synchronization in the cryptographic context relies on control theory. An original connection between self-synchronization and encryption/decryption is provided. It is based on the flatness property of dynamical systems, a property borrowed from automatic control. It is shown that flat dynamical systems completly define the set of all self-synchronizing systems and thus, enlarge the existing structures of self-synchronizing stream ciphers. Flatness is first of all studied for the case of two nonlinear systems: switched linear systems and linear parameter-varying (LPV) systems. Flatness caracterization is based on the concept of nilpotent semigroups and an efficient algorithm is provided. A constructive approach for self-synchronizing master-slave structures is proposed. It relies on the construction of flat systems as well as on left and right invertibility also borrowed from control theory. Then, self-synchronization is studied in the Boolean context which is preferred in cryptography. Self-synchronization is caracterized through the notion of influence. Several matrix representations of Boolean functions are proposed. These representations are especially interesting for security analysis. A connection between self-synchronization and the eigenstructures of these matrices is established. Then, a graph oriented approach is provided. New self-synchronizing constructions are deduced and security elements are discussed. Eventually, the description of a realized FPGA based test plateform is provided

Les poudres laitières sont obtenues par concentration du produit liquide (membranes, évaporation sous vide) puis séchage du concentré. Contrairement au séchage par atomisation, peu de travaux ont été menés sur la concentration par évaporation sous vide. Pourtant, la maîtrise du schéma global de production des poudres gagnerait en une meilleure compréhension de cette opération réalisée dans des évaporateurs à flot tombant. Le présent travail vise à étudier comment améliorer les performances des évaporateurs ; il s’appuie sur deux facteurs limitants de l’opération : l’encrassement des surfaces d’échange et la viscosité maximale en sortie des évaporateurs. La contribution des différents constituants des produits à l’encrassement a été étudiée grâce à une méthodologie développée sur un évaporateur pilote.Les résultats obtenus ont permis d’identifier les éléments minéraux qui contribuent à l’encrassement lors de la concentration de microfiltrat et d’ultrafiltrat de lait, de lactosérums acides chlorhydrique et lactique. Afin de dépasser l’extrait sec maximal en sortie des évaporateurs à flot tombant, deux évaporateurs rotatifs à couche mince, de conceptions différentes, ont été testés à l’échelle pilote. Les études de faisabilité ont été menées jusqu’à la poudre. Le potentiel des équipements a été évalué suivant les propriétés fonctionnelles des poudres et le coût énergétique d’élimination de l’eau. Dans l’un des cas, le remplacement de la tour de séchage par deux évaporateurs rotatifs en série constitue une rupture technologique pour la production de poudres de perméat et dimi / Dairy powders are produced using a two-step process: concentration of the liquid product (membrane, concentration by vacuum evaporation) and drying of the concentrate. Contrary to spray-drying, vacuum concentration has been poorly investigated. However, a better understanding of this unit operation carried out in falling-film evaporators would lead to an improved control of the global process scheme for the production of powders. This PhD project aims to highlight how to enhance the performances of falling-film evaporators; it focuses on two limiting factors of the vacuum concentration: the fouling of the heating surfaces and the maximal viscosity at the outlet of the falling-film evaporators. The contribution of the different product components to the fouling was investigated using a methodology developed at pilot-scale.Our results showed which mineral elements favored the fouling of falling-film evaporators during the concentration of milk microlfiltrate and ultrafiltrate as well as hydrochloric and lactic acid wheys. Besides, two thin-film rotative evaporators of different designs were tested at pilot-scale in order to exceed the maximum dry matter achieved in falling-film evaporators. The feasibility studies were conducted up to the production of powders. The capabilities of the equipment were evaluated according to the functional properties of powders and the specific energy costs relative to the removal of water. In one case, the combination of two rotative evaporators replacing the spray drier constitutes a technological breakthrough in the production of permeate p

Sans exécuter une application, est-il possible de prévoir quelle est la méthode cible d’un site d’appel ? Est-il possible de savoir quels sont les types et les valeurs qu’une expression peut contenir ? Est-il possible de déterminer de manière exhaustive l’ensemble de comportements qu’une application peut effectuer ? Dans les trois cas, la réponse est oui, à condition d’accepter une certaine approximation. Il existe une classe d’algorithmes − peu connus à l’extérieur du cercle académique − qui analysent et simulent un programme pour calculer de manière conservatrice l’ensemble des informations qui peuvent être véhiculées dans une expression.Dans cette thèse, nous présentons ces algorithmes appelés CFAs (acronyme de Control Flow Analysis), plus précisément l’algorithme multivariant k-l-CFA. Nous combinons l’algorithme k-l-CFA avec l’analyse de taches (taint analysis),qui consiste à suivre une donnée sensible dans le flot de contrôle, afin de déterminer si elle atteint un puits (un flot sortant du programme). Cet algorithme, en combinaison avec l’interprétation abstraite pour les valeurs, a pour objectif de calculer de manière aussi exhaustive que possible l’ensemble des comportements d’une application. L’un des problèmes de cette approche est le nombre élevé de faux-positifs, qui impose un post-traitement humain. Il est donc essentiel de pouvoir augmenter la précision de l’analyse en augmentant k.k-l-CFA est notoirement connu comme étant très combinatoire, sa complexité étant exponentielle dans la valeur de k. La première contribution de cette thèse est de concevoir un modèle et une implémentation la plus efficace possible, en séparant soigneusement les parties statiques et dynamiques de l’analyse, pour permettre le passage à l’échelle. La seconde contribution de cette thèse est de proposer une nouvelle variante de CFA basée sur k-l-CFA, et appelée *-CFA, qui consiste à faire du paramètre k une propriété de chaque variante, de façon à ne l’augmenter que dans les contextes qui le justifient.Afin d’évaluer l’efficacité de notre implémentation de k-l-CFA, nous avons effectué une comparaison avec le framework Wala. Ensuite, nous validons l’analyse de taches et la détection de comportements avec le Benchmark DroidBench. Enfin, nous présentons les apports de l’algorithme *-CFA par rapport aux algorithmes standards de CFA dans le contexte d’analyse de taches et de détection de comportements. / Without executing an application, is it possible to predict the target method of a call site? Is it possible to know the types and values that an expression can contain? Is it possible to determine exhaustively the set of behaviors that an application can perform? In all three cases, the answer is yes, as long as a certain approximation is accepted.There is a class of algorithms - little known outside of academia - that can simulate and analyze a program to compute conservatively all information that can be conveyed in an expression. In this thesis, we present these algorithms called CFAs (Control flow analysis), and more specifically the multivariant k-l-CFA algorithm.We combine k-l-CFA algorithm with taint analysis, which consists in following tainted sensitive data inthe control flow to determine if it reaches a sink (an outgoing flow of the program).This combination with the integration of abstract interpretation for the values, aims to identify asexhaustively as possible all behaviors performed by an application.The problem with this approach is the high number of false positives, which requiresa human post-processing treatment.It is therefore essential to increase the accuracy of the analysis by increasing k.k-l-CFA is notoriously known as having a high combinatorial complexity, which is exponential commensurately with the value of k.The first contribution of this thesis is to design a model and most efficient implementationpossible, carefully separating the static and dynamic parts of the analysis, to allow scalability.The second contribution of this thesis is to propose a new CFA variant based on k-l-CFA algorithm -called *-CFA - , which consists in keeping locally for each variant the parameter k, and increasing this parameter in the contexts which justifies it.To evaluate the effectiveness of our implementation of k-l-CFA, we make a comparison with the Wala framework.Then, we do the same with the DroidBench benchmark to validate out taint analysis and behavior detection. Finally , we present the contributions of *-CFA algorithm compared to standard CFA algorithms in the context of taint analysis and behavior detection.

Les Réseaux de Neurones Convolutifs profonds (CNNs) ont connu un large succès au cours de la dernière décennie, devenant un standard de la vision par ordinateur. Ce succès s’est fait au détriment d’un large coût de calcul, où le déploiement des CNNs reste une tâche ardue surtout sous des contraintes de temps réel.Afin de rendre ce déploiement possible, la littérature exploite le parallélisme important de ces algorithmes, ce qui nécessite l’utilisation de plate-formes matérielles dédiées. Dans les environnements soumis à des contraintes de consommations énergétiques, tels que les nœuds des caméras intelligentes, les cœurs de traitement à base de FPGAs sont reconnus comme des solutions de choix pour accélérer les applications de vision par ordinateur. Ceci est d’autant plus vrai pour les CNNs, où les traitements se font naturellement sur un flot de données, rendant les architectures matérielles à base de FPGA d’autant plus pertinentes. Dans ce contexte, cette thèse aborde les problématiques liées à l’implémentation des CNNs sur FPGAs. En particulier, ces travaux visent à améliorer l’efficacité des implantations grâce à deux principales stratégies d’optimisation; la première explore le modèle et les paramètres des CNNs, tandis que la seconde se concentre sur les architectures matérielles adaptées au FPGA. / Deep Convolutional Neural Networks (CNNs) have become a de-facto standard in computer vision. This success came at the price of a high computational cost, making the implementation of CNNs, under real-time constraints, a challenging task.To address this challenge, the literature exploits the large amount of parallelism exhibited by these algorithms, motivating the use of dedicated hardware platforms. In power-constrained environments, such as smart camera nodes, FPGA-based processing cores are known to be adequate solutions in accelerating computer vision applications. This is especially true for CNN workloads, which have a streaming nature that suits well to reconfigurable hardware architectures.In this context, the following thesis addresses the problems of CNN mapping on FPGAs. In Particular, it aims at improving the efficiency of CNN implementations through two main optimization strategies; The first one focuses on the CNN model and parameters while the second one considers the hardware architecture and the fine-grain building blocks.

Le flot de Ricci est une équation aux dérivées partielles qui régit l’évolution d’une métrique riemannienne dépendant d’un paramètre de temps sur une variété différentielle. D’abord introduit et étudié par R. Hamilton, il est à l’origine de la solution de la conjecture de géométrisation des variétés compactes de dimension 3 par G. Perelman en 2001. La théorie classique concernant l’existence en temps court des solutions, due à Hamilton et à Shi, garantit (en dimension quelconque) l’existence d’un flot soit sur une variété compacte, soit lorsque la métrique initiale est complète avec une borne sur la norme du tenseur de courbure. En l’absence de cette borne, on conjecture qu’on peut trouver, à partir de la dimension 3, des données initiales pour lesquelles il n’existe pas de solution. Dans cette thèse, on démontre des théorèmes d’existence en temps court du flot sous des hypothèses plus faibles qu’une borne sur la norme du tenseur de courbure. Pour cela, on introduit une construction générale qui, pour une métrique riemannienne g quelconque sur une variété M, pas nécessairement complète, permet de produire une solution de l’équation du flot sur un domaine ouvert D de l’espace-temps M * [0,T] qui contient la tranche de temps initiale, avec g pour donnée initiale. On montre ensuite que sous des hypothèses adaptées sur la métrique g, on contrôle la forme du domaine D. En particulier, lorsque la métrique g est complète, D contient un ensemble de la forme M * [0,t], avec t>0, ce qui revient à dire qu’il existe un flot au sens classique dont la donnée initiale est g. Les « hypothèses adaptées » qui conduisent à des théorèmes d’existence sont de trois types. Dans tout les cas, on suppose une minoration uniforme du volume des boules de rayon au plus 1, à quoi on ajoute : a) en dimension 3, une minoration du tenseur de Ricci, b) en dimension n, une minoration d’une notion de courbure dite « courbure isotrope I » ou bien c) en dimension n, une borne sur la norme du tenseur de Ricci et une hypothèse qui garantit la proximité au sens métrique des boules de rayon au plus 1 avec une boule de même rayon dans un espace métrique obtenu comme le produit cartésien d’un espace de dimension 3 et d’un facteur euclidien de dimension n-3. De plus, avec ces résultats d’existence viennent des estimations sur les propriétés de régularisation du flot quantifiées en fonction des hypothèses sur la donnée initiale. La possibilité ainsi offerte de régulariser, globalement ou localement, pour un temps et avec des estimations quantifiés, une métrique initiale a des conséquence sur les espaces métriques singuliers obtenus comme limites, pour la distance de Gromov-Hausdorff, de suites de variétés satisfaisant uniformément aux conditions a), b) ou c). En effet, des théorèmes de compacité classiques pour le flot de Ricci permettent d’extraire un flot limite, étant donnée une suite de métriques initiales satisfaisant uniformément à ces hypothèses, et possédant donc toutes un flot pour un temps contrôlé. Lorsque les métriques en question approchent, pour la topologie de Gromov-Hausdorff, un espace singulier, cette solution limite s’interprète comme un flot régularisant l’espace singulier en question, et son existence contraint la topologie de cet espace singulier. / The Ricci Flow is a partial differential equation governing the evolution of a Riemannian metric depending on a time parameter t on a differential manifold. It was first introduced and studied by R. Hamilton, and eventually led to the solution of the Geometrization conjecture for closed three-dimensional manifolds by G. Perelman in 2001. The classical short-time existence theory for the Ricci Flow, due to Hamilton and Shi, asserts, in any dimension, the existence of a flow starting from any initial metric when the underlying manifold in compact, or for any complete initial metric with a bound on the norm of the curvature tensor otherwise. In the absence of such a bound, though, the conjecture is that starting from dimension 3 one can find such initial data for which there is no solution. In this thesis, we prove short-time existence theorems under hypotheses weaker than a bound on the norm of the curvature tensor. To do this, we introduce a general construction which, for any Riemannian metric g (not necessarily complete) on a manifold M, allows us to produce a solution to the equation of the flow on an open domain D of the space-time M * [0,T] which contains the initial time slice, with g as an initial datum. We proceed to show that under suitable hypotheses on g, one can control the shape of the domain D, so that in particular, D contains a subset of the form M * [0,t] with t>0 if g is complete. By « suitable hypothesis », we mean one of the following. In any case, we assume a lower bound on the volume of balls of radius at most 1, plus a) in dimension 3, a lower bound on the Ricci tensor, b) in dimension n, a lower bound on the so-called « isotropic curvature I » or c) in dimension n, a bound on the norm of the Ricci tensor, as well as a hypothesis which garanties the metric proximity of every ball of radius at most $1$ with a ball of the same radius in a metric product between a three-dimensional metric space and a $n-3$ dimensional Euclidian factor. Moreover, with these existence results come estimates on the existence time and regularization properties of the flow, quantified in term of the hypotheses on the initial data. The possibility to regularize metrics, locally or globally, with such estimates has consequences in terms of the metric spaces obtained as limits, in the Gromov-Hausdorff topology, of sequences of manifolds uniformly satisfying a), b) or c). Indeed, the classical compactness theorems for the Ricci Flow allow for the extraction of a limit flow for any sequence of initial metrics uniformly satisfying the hypotheses and thus possessing a flow for a controlled amount of time. In the case when these metrics approach a singular space in the Gromov-Hausdorff topology, such a limit solution can be interpreted as a flow regularizing the singular limit space, the existence of which puts constraints on the topology of this space.

Grâce au théorème d'hyperbolisation, nous savons précisément quand une variété de dimension trois compacte admet une métrique hyperbolique. Par ailleurs, d'après le théorème de rigidité de Mostow, cette structure géométrique est unique. Cependant, trouver des liens pratiques entre la géométrie et la topologie est un problème difficile. La plupart des résultats décrits dans cette thèse visent à concrétiser ces liens. Toute géodésique fermée orientée dans une surface hyperbolique admet un relèvement canonique dans le fibré tangent unitaire de la surface, et on peut donc le voir comme un nœud dans une variété de dimension trois. Les extérieurs des nœuds ainsi construits admettent une structure hyperbolique. Cette thèse a pour objet d'estimer le volume des extérieurs des relèvements canoniques. Pour toute surface hyperbolique on construit une suite de géodésique sur la surface, tel que les extérieurs associées ne sont pas homéomorphes entre elles et dont la suite des volumes respectifs est bornée. Aussi on minore le volume de l'extérieur à l'aide d'un réel explicite qui décrit une relation entre la géodésique et une décomposition en pantalons de la surface. Ceci donne une méthode pour construire une suite de géodésiques dont les volumes des extérieurs associées sont minorées en termes de la longueur de la géodésique correspondant. Dans le cas particulier de la surface modulaire, on obtient des estimations du volume de l'extérieur en termes de la période de la fraction continue associée à la géodésique. / Due to the Hyperbolization Theorem, we know precisely when does a given compact three dimensional manifold admits a hyperbolic metric. Moreover, by the Mostow's Rigidity Theorem this geometric structure is unique. However, finding effective and computable connections between the geometry and topology is a challenging problem. Most of the results on this thesis fit into the theme of making the connections more concrete. To every oriented closed geodesic on a hyperbolic surface has a canonical lift on the unit tangent bundle of the surface, and we can see it as a knot in a three dimensional manifold. The knot complement given in this way has a hyperbolic structure. The objective of this thesis is to estimate the volume of the canonical lift complement. For every hyperbolic surface we give a sequence of geodesics on the surface, such that the knot complements associated are not homeomorphic with each other and the sequence of the corresponding volumes is bounded. We also give a lower bound of the volume of the canonical lift complement by an explicit real number which describes a relation between the geodesic and a pants decomposition of the surface. This give us a method to construct a sequence of geodesics where the volume of the associated knot complements is bounded from below in terms of the length of the corresponding geodesic. For the particular case of the modular surface, we obtain estimations for the volume of the canonical lift complement in terms of the period of the continuous fraction expansion of the corresponding geodesic.

Les terminaux à conteneurs utilisent les nouvelles technologies (EDI, RFID et GPS) pour échanger des données avec leurs partenaires, pour localiser les conteneurs et leurs équipements dans le terminal, et pour automatiser des tâches. Dans cette thèse, nous montrons comment ces informations peuvent être utilisées dans la gestion des opérations.La première partie utilise les informations sur les volumes annoncés pour affecter des ressources internes dans le but de minimiser le retard global au terminal. Nous représentons cette problématique à l'aide d'un problème de flot que nous implémentons comme programme linéaire mixte. Une étude de cas est réalisée pour un terminal du Grand Port Maritime de Marseille. En outre, nous combinons le problème d'affectation de ressources avec le dimensionnement d'un système de rendez-vous. Ceci permet de minimiser le retard global.La deuxième partie utilise les informations sur les conteneurs à retirer et leurs emplacements pour optimiser le déstockage. Le but est de retirer tous les conteneurs d'une rangée en minimisant le nombre de repositionnements parasites. Nous améliorons un modèle binaire, proposons une approche exacte de type branch and price - avec un sous-problème binaire et deux variantes d'un sous-problème énumératif - et en dérivons une approche heuristique - avec un sous-problème heuristique. L'approche exacte ne résout que les petites instances ; l'approche heuristique obtient des résultats satisfaisants mais devra être améliorée. Nous nous intéressons aussi à la version dynamique du problème où les informations sur les conteneurs à retirer arrivent petit à petit et comparons différentes stratégies de repositionnement. / Container terminals use intelligent freight technologies (e.g., EDI, RFID and GPS) to exchange data with their partners, to locate containers and equipment within the terminal, and to automate tasks. This thesis illustrated, via two examples, how this data may be used to optimize operations at the terminal.The first part uses information on announced volumes to allocate internal handling equipment. The objective is to minimize overall delays at the terminal. The problem is represented as a network flow problem and implemented as a linear mixed integer programming model. A case study for a terminal at the Grand Port Maritime de Marseille is carried out. We also showed that combining the allocation problem with the dimensioning of a truck appointment system may reduce overall delays at the terminal. The second part uses information on announced container retrievals and container positions to improve retrieval operations. The objective is to retrieve containers from a bay in a given sequence with a minimum number of parasite relocations. We improve an existing binary programming model and introduce an exact branch and price approach - with a binary subproblem and two variants of an enumerative subproblem - and a heuristic branch and price approach - with a heuristic subproblem. The exact approach solves only small instances; the heuristic approach performs well on several instances, but should be improved further. We also deal with a dynamic version of the problem where the retrieval order becomes revealed over time and evaluate different relocation strategies for this case.

Dans ce mémoire, nous étudions l'entropie des systèmes dynamiques différentiables définis sur des variétés riemanniennes non compactes. Dans un premier temps, nous éclaircissons les liens entre différentes notions d'entropie dans ce cadre non compact. Ensuite, nous utilisons ces premiers résultats pour y étudier la validité de l'inégalité de Ruelle. Rappelons ici que cette inégalité, pour des difféomorphismes de variétés riemanniennes compactes, nous dit que l'entropie est majorée par la somme des exposants de Lyapounov positifs. Nous montrons que, lorsque nous enlevons l'hypothèse de compacité, l'inégalité de Ruelle n'est pas toujours satisfaite. Nous obtenons ce résultat en construisant une famille explicite de contre-exemples. En revanche, nous montrons, dans le cas d'un difféomorphisme de comportement asymptotique linéaire, ou du flot géodésique sur le fibré unitaire tangent d'une variété riemannienne à courbure négative, que l'inégalité de Ruelle est toujours satisfaite. Pour finir, nous nous intéressons au problème de la perte possible de masse d'une suite de mesures de probabilité d'une variété riemannienne non compacte. Dans le cas du flot géodésique, nous montrons que l'entropie permet de contrôler la masse d'une limite vague de mesures de probabilité invariantes par le flot pour une classe particulière de variétés géométriquement finies. Plus précisément, nous montrons qu'une suite de mesures d'entropie assez grande ne peut pas perdre la totalité de sa masse. De plus, le minorant optimal de l'entropie dans ce résultat est lié à la géométrie de la partie non compacte de la variété: c'est l'exposant critique maximal des sous-groupes paraboliques du groupe fondamental. / In this work, we study the entropy of smooth dynamical systems defined on non compact Riemannian manifolds. First, we clarify some relations between different notions of entropy in this setting. Second, we use these first results in order to study the validity of Ruelle's inequality. This inequality, for diffeomorphisms defined on compact Riemannian manifolds, says that the measure-theoretic entropy is bounded from above by the sum of the positive Lyapunov exponents. We show that without the compactness assumption, Ruelle's inequality is not always satisfied. We obtain this result by constructing an explicit family of counterexamples. On the other hand, we prove, in the case of diffeomorphisms with linear asymptotic behavior, or that one of the geodesic flow on the unit tangent bundle of a Riemannian manifold with negative curvature, that Ruelle's inequality is always satisfied. Finally, we are interested in the problem of the possible escape of mass of a sequence of probability measures on a non compact Riemannian manifold. In the case of the geodesic flow, we show that the entropy allows to control the mass of a weak$^\ast$-limit of a sequence of probability measures, on the unit tangent bundle of a particular class of geometrically finite manifolds, which are also invariant by the flow. More precisely, we show that a sequence of measures with large enough entropy cannot lose the whole mass. Moreover, the optimal lower bound of the entropy in this result is related to the geometry of the non compact part of the manifold: it is the maximal critical exponent of the parabolic subgroups of the fundamental group.

Dans cette thèse, nous avons adapté trois versions d'une chaine d'algorithmes de reconnaissance biométrique par l’iris appelés OSIRIS V2, V3, V4 qui correspondent à différentes implémentations de l’approche de J. Daugman pour les besoins d’une implémentation logicielle / matérielle. Les résultats expérimentaux sur la base de données ICE2005 montrent que OSIRIS_V4 est le système le plus fiable alors qu’OSIRIS_V2 est le plus rapide. Nous avons proposé une mesure de qualité de l’image segmentée pour optimiser en terme de compromis coût / performance un système de référence basé sur OSIRIS V2 et V4. Nous nous sommes ensuite intéressés à l’implémentation de ces algorithmes sur des plateformes reconfigurables. Les résultats expérimentaux montrent que l’implémentation matériel / logiciel est plus rapide que l’implémentation purement logicielle. Nous proposons aussi une nouvelle méthode pour le partitionnement matériel / logiciel de l’application. Nous avons utilisé la programmation linéaire pour trouver la partition optimale pour les différentes tâches prenant en compte les trois contraintes : la surface occupée, le temps d’exécution et la consommation d’énergie / In this thesis, we adapted three versions of a chain of algorithms for biometric iris recognition called OSIRIS V2, V3, V4, which correspond to different implementations of J. Daugman approach. The experimental results on the database ICE2005 show that OSIRIS_V4 is the most reliable when OSIRIS_V2 is the fastest. We proposed a measure of quality of the segmented image in order to optimize in terms of cost / performance compromise a reference system based on OSIRIS V2 and V4. We focused on the implementation of these algorithms on reconfigurable platforms. The experimental results show that the hardware / software implementation is faster than the software implementation. We propose a new method for partitioning hardware / software application. We used linear programming to find the optimal partition for different tasks taking into account the three constraints : the occupied area, execution time and energy consumption