Este trabalho apresenta uma teoria de barras não-linear geometricamente exata, com multi-parâmetros para a representação geral de deslocamentos no plano da seção transversal (distorção) e também fora do plano da seção (empenamento). A formulação apresentada constitui-se em uma extensão de trabalhos anteriores, [1] a [6], [8] e [9], no sentido de que a hipótese de seção rígida (Timoshenko) e a função de empenamento elástico de Saint-Venant foram removidos. Essa abordagem define os esforços internos energeticamente conjugados, atuantes na seção transversal, em função de deformações e tensões generalizadas, baseadas no conceito de vetor diretor da seção transversal. Além da importância prática, o uso do vetor diretor simplifica a formulação das equações de equilíbrio e a imposição das condições de contorno, tanto na forma fraca quanto na forma forte do equilíbrio. Além disso, facilita a obtenção da matriz de rigidez tangente, resultando sempre simétrica pra materiais hiper-elásticos e carregamento externo conservativo, mesmo em situações distantes da condição de equilíbrio. Permite também a introdução de graus de liberdade independentes para descrever tanto os deslocamentos no plano quanto fora do plano da seção transversal. Equações constitutivas tri-dimensionais adequadas para problemas com grandes deslocamentos e grandes deformações podem ser implementadas sem a ocorrência de enrijecimentos espúrios. A formulação é absolutamente geral e sua extensão para materiais inelásticos, em particular materiais elasto-plásticos, é imediata uma vez qua a integração de tensões com carregamentos incrementais está disponível. Rotações finitas são tratadas através da expressão de Euler-Rodrigues em uma abordagem puramente Lagrangeana. Assume-se o eixo reto como configuração de referência da barra, porém, barras inicialmente curvas também podem ser consideradas como configurações de referência deformadas, sem tensões iniciais, obtidas a partir de configurações inicialmente retas [11]. É importante ressaltar que a teoria apresentada permite uma modelagem consistente e precisa de distorções da seção transversal, típicas de perfis metálicos esbeltos dobrados a frio. Acredita-se que esta seja uma das principais contribuições dessa formulação como opção ao uso de modelos de cascas. / The main purpose of this work is to present a fully nonlinear geometrically-exact multi-parameter rod model that incorporates general in-plane cross-sectional changes as well as general out-of-plane cross-sectional warping. The formulation constitutes an extension of the earlier works presented in [1] to [6], [8] and [9], in the sense that the restrictions to a rigid cross-section and to a Saint-Venant-like elastic warping are now removed from the theory. Our approach defines energetically conjugated cross-sectional resultants in terms of generalized stresses and strains, based on the concept of a cross-section director. Besides their practical importance, the use of cross-sectional resultants simplifies the derivation of equilibrium equations and the enforcement of boundary conditions, in either weak or strong senses. In addition, the corresponding tangent bilinear weak form is obtained in a more expedient way, rendering always symmetric for hyperelastic materials and conservative loadings (even far from equilibrium states). Definition of a cross-section director plays a central role in the present model. Accordingly, it allows the introduction of independent degrees-of-freedom to describe both the in-plane cross-sectional changes and the out-of-plane warping. Fully three-dimensional finite strain constitutive equations can therefore be employed with no spurious stiffening. The ideas are general and extension to inelastic rods, in particular to those of elastoplastic materials, is straightforward once a stress integration scheme within a time step is at hand. Finite rotations are treated here by the Euler-Rodrigues formula in a pure Lagrangean framework. We assume a straight reference configuration for the rod axis, but initially curved rods can also be considered if regarded as a stress-free deformed state from the straight position (see [11]). The use of convective non-Cartesian coordinate systems is this way avoided and only components on orthogonal frames are employed. Moreover, initial curvatures that are completely independent of the isoparametric concept are possible to be attained, which can be used even in (for example) straight finite elements. Altogether, the present assumptions allow a consistent basis for the proper representation of profile (distortional) deformations, which are typical of coldformed thin-walled rod structures. We believe this is one of the main features of our formulation, as the use of more complex shell models in order to capture such phenomena becomes unnecessary.

L'échographie est aujourd'hui une technique d'imagerie de diagnostic répandue. Si l'imagerie dite ‘classique' basée sur la réponse linéaire des tissus est couramment utilisée, l'imagerie harmonique, basée sur la réponse non linéaire des tissus, est maintenant aussi utilisée en routine clinique. L'estimation du paramètre de non linéarité d'un milieu par une technique ultrasonore amène de nouvelles perspectives en termes d'imagerie et de diagnostic. Cependant, la méthode de mesure du paramètre de non linéarité est limitée par deux facteurs, la présence du speckle et la concentration de l'énergie à une profondeur donnée (la zone focale). Cette thèse a pour objectifs de répondre aux deux limitations mentionnées précédemment en proposant de nouvelles méthodes de lissage de l'image pour réduire le speckle et d'améliorer l'estimation du paramètre de non linéarité en mode écho par de nouvelles méthodes d'émission. Dans un premier temps, il a été proposé d'utiliser une méthode de filtrage spatiale basée sur des filtres orthogonaux (filtres de Thomson) lors de la formation de voie en réception pour lisser le speckle. Ce filtrage spatiale intervient après la transmission d'ondes planes sous différents angles pour améliorer la résolution spatiale et le contraste tout en accélérant la cadence d'imagerie. Dans un deuxième temps, l'estimation du paramètre de non linéarité est faite avec une méthode comparative. Le champ de pression du second harmonique d'une zone de référence est comparé avec le champ de pression d'une zone dont le paramètre de non linéarité est inconnu. Cependant, dans le cas des images échographiques, le champ de pression du second harmonique n'est pas accessible. Nous faisons l'hypothèse que la pression acoustique locale est liée à l'intensité de l'image échographique si le speckle est réduit et lissé. La transmission d'ondes planes et l'application de filtres orthogonaux permet de mieux délimiter le paramètre de non linéarité par rapport à une transmission focalisée / Nowadays, ultrasound imaging is a common diagnostic tool thanks to its non-invasive behavior and relatively cheap equipment. Classic medical echographic imaging is based on the linear response of the biological tissue. However harmonic imaging, based on the harmonic frequencies generated by the nonlinear properties of the tissue, is more and more used for clinical application. The quantification of nonlinearity is based on the evaluation of the nonlinearity parameter which strongly influences the harmonics generation. The nonlinearity parameter estimation using an echographic approach would bring new modalities for imaging and diagnosis. However the echographic method for nonlinearity estimation is limited by two factors: the presence of speckles in the image and the focalization used during transmission, which concentrates the energy at one particular depth. The objectives of this thesis work are developing novel approaches to reduce the speckle noise using original smoothing techniques and improving the nonlinearity parameter estimation in echo mode using new transmission-reception strategies. Firstly, new speckle noise reduction approaches were investigated. The Thomson’s multitaper approach was proposed, consisting in using several different orthogonal apodizations during beamforming. This method was combined to a coherent plane-wave compounding transmission-reception strategy improving the spatial resolution and the contrast while improving the frame rate. In a second time, the nonlinearity parameter was estimated using a comparative method. The second-harmonic pressure field of a reference area was compared to the pressure field of an area where the nonlinearity parameter is unknown. However in echo-mode, the pressure field of the medium is unknown. It is assumed in this thesis work that the local pressure can be derived from envelope image local amplitude if the speckle noise is smoothed. The nonlinearity parameter estimation has been improved using plane-wave transmission and orthogonal apodizations compared to the use of a single focalization transmission / Oggigiorno, le tecniche di imaging ad ultrasuoni sono un comune strumento di diagnosi, grazie alla loro non invasività e alla relativa economicità dei sistemi. La risposta lineare dei tessuti biologici è la base per le tecniche di imaging ecografico tradizionali. La generazione di frequenze ad armoniche superiori da parte dei tessuti può essere sfruttata per sviluppare tecniche di imaging innovative (i.e., imaging armonico), che sono sempre più utilizzate per applicazioni cliniche. Tali tecniche sono basate sul metodo di valutazione del parametro di non linearità che influenza fortemente la generazione delle armoniche all’interno dei tessuti. I metodi per la stima dei suddetti parametri sfruttano solitamente un approccio ecografico tradizionale. Di conseguenza, gli effetti legati alla focalizzazione impiegata durante la trasmissione, che concentra l’energia ad una particolare profondità, e la presenza di speckle nell’immagine finale, rendono più incerta la stima del parametro di non linearità. In questa tesi sono proposti metodi innovativi finalizzati a due scopi: ridurre, nelle immagini, il rumore dovuto a speckle, tramite l’adozione di nuove tecniche di smoothing; migliorare la stima dei parametri di non linearità, tramite l’impiego di nuove strategie di beamforming in trasmissione e ricezione. Per ridurre il rumore dovuto a speckle, è stato proposto un approccio di filtraggio spaziale basato sull’impiego dei filtri di Thomson. Tale tecnica consiste nell’impiego di numerose apodizzazioni ortogonali fra di loro in fase di beamforming. Il metodo è stato in particolare combinato con la tecnica di imaging coherent plane-wave compounding, con lo scopo di migliorare la risoluzione spaziale e il contrasto e, al contempo, incrementare il frame rate. Il parametro di non linearità è stato misurato tramite un approccio comparativo. Il campo di pressione della seconda armonica in un’area di riferimento dell’immagine è stato confrontato con quello di un’area in cui il parametro di non linearità è ignoto. In questa tesi, grazie alla riduzione del rumore speckle, è stato possibile assumere che il campo di pressione

Este trabalho apresenta uma teoria de barras não-linear geometricamente exata, com multi-parâmetros para a representação geral de deslocamentos no plano da seção transversal (distorção) e também fora do plano da seção (empenamento). A formulação apresentada constitui-se em uma extensão de trabalhos anteriores, [1] a [6], [8] e [9], no sentido de que a hipótese de seção rígida (Timoshenko) e a função de empenamento elástico de Saint-Venant foram removidos. Essa abordagem define os esforços internos energeticamente conjugados, atuantes na seção transversal, em função de deformações e tensões generalizadas, baseadas no conceito de vetor diretor da seção transversal. Além da importância prática, o uso do vetor diretor simplifica a formulação das equações de equilíbrio e a imposição das condições de contorno, tanto na forma fraca quanto na forma forte do equilíbrio. Além disso, facilita a obtenção da matriz de rigidez tangente, resultando sempre simétrica pra materiais hiper-elásticos e carregamento externo conservativo, mesmo em situações distantes da condição de equilíbrio. Permite também a introdução de graus de liberdade independentes para descrever tanto os deslocamentos no plano quanto fora do plano da seção transversal. Equações constitutivas tri-dimensionais adequadas para problemas com grandes deslocamentos e grandes deformações podem ser implementadas sem a ocorrência de enrijecimentos espúrios. A formulação é absolutamente geral e sua extensão para materiais inelásticos, em particular materiais elasto-plásticos, é imediata uma vez qua a integração de tensões com carregamentos incrementais está disponível. Rotações finitas são tratadas através da expressão de Euler-Rodrigues em uma abordagem puramente Lagrangeana. Assume-se o eixo reto como configuração de referência da barra, porém, barras inicialmente curvas também podem ser consideradas como configurações de referência deformadas, sem tensões iniciais, obtidas a partir de configurações inicialmente retas [11]. É importante ressaltar que a teoria apresentada permite uma modelagem consistente e precisa de distorções da seção transversal, típicas de perfis metálicos esbeltos dobrados a frio. Acredita-se que esta seja uma das principais contribuições dessa formulação como opção ao uso de modelos de cascas. / The main purpose of this work is to present a fully nonlinear geometrically-exact multi-parameter rod model that incorporates general in-plane cross-sectional changes as well as general out-of-plane cross-sectional warping. The formulation constitutes an extension of the earlier works presented in [1] to [6], [8] and [9], in the sense that the restrictions to a rigid cross-section and to a Saint-Venant-like elastic warping are now removed from the theory. Our approach defines energetically conjugated cross-sectional resultants in terms of generalized stresses and strains, based on the concept of a cross-section director. Besides their practical importance, the use of cross-sectional resultants simplifies the derivation of equilibrium equations and the enforcement of boundary conditions, in either weak or strong senses. In addition, the corresponding tangent bilinear weak form is obtained in a more expedient way, rendering always symmetric for hyperelastic materials and conservative loadings (even far from equilibrium states). Definition of a cross-section director plays a central role in the present model. Accordingly, it allows the introduction of independent degrees-of-freedom to describe both the in-plane cross-sectional changes and the out-of-plane warping. Fully three-dimensional finite strain constitutive equations can therefore be employed with no spurious stiffening. The ideas are general and extension to inelastic rods, in particular to those of elastoplastic materials, is straightforward once a stress integration scheme within a time step is at hand. Finite rotations are treated here by the Euler-Rodrigues formula in a pure Lagrangean framework. We assume a straight reference configuration for the rod axis, but initially curved rods can also be considered if regarded as a stress-free deformed state from the straight position (see [11]). The use of convective non-Cartesian coordinate systems is this way avoided and only components on orthogonal frames are employed. Moreover, initial curvatures that are completely independent of the isoparametric concept are possible to be attained, which can be used even in (for example) straight finite elements. Altogether, the present assumptions allow a consistent basis for the proper representation of profile (distortional) deformations, which are typical of coldformed thin-walled rod structures. We believe this is one of the main features of our formulation, as the use of more complex shell models in order to capture such phenomena becomes unnecessary.

No description available.

Les diagnostics cliniques des maladies cardio-vasculaires sont principalement effectués à l’aide d’échographies Doppler-couleur malgré ses restrictions : mesures de vélocité dépendantes de l’angle ainsi qu’une fréquence d’images plus faible à cause de focalisation traditionnelle. Deux études, utilisant des approches différentes, adressent ces restrictions en utilisant l’imagerie à onde-plane, post-traitée avec des méthodes de délai et sommation et d’autocorrélation. L’objectif de la présente étude est de ré-implémenté ces méthodes pour analyser certains paramètres qui affecte la précision des estimations de la vélocité du flux sanguin en utilisant le Doppler vectoriel 2D. À l’aide d’expériences in vitro sur des flux paraboliques stationnaires effectuées avec un système Verasonics, l’impact de quatre paramètres sur la précision de la cartographie a été évalué : le nombre d’inclinaisons par orientation, la longueur d’ensemble pour les images à orientation unique, le nombre de cycles par pulsation, ainsi que l’angle de l’orientation pour différents flux. Les valeurs optimales sont de 7 inclinaisons par orientation, une orientation de ±15° avec 6 cycles par pulsation. La précision de la reconstruction est comparable à l’échographie Doppler conventionnelle, tout en ayant une fréquence d’image 10 à 20 fois supérieure, permettant une meilleure caractérisation des transitions rapides qui requiert une résolution temporelle élevée. / Clinical diagnosis of cardiovascular disease is dominated by colour-Doppler ultrasound despite its limitations: angle-dependent velocity measurements and low frame-rate from conventional focusing. Two studies, varying in their approach, address these limitations using plane-wave imaging, post-processed with the delay-and-sum and autocorrelation methods. The aim of this study is to re-implement these methods, investigating some parameters which affect blood velocity estimation accuracy using 2D vector-Doppler. Through in vitro experimentation on stationary parabolic flow, using a Verasonics system, four parameters were tested on mapping accuracy: number of tilts per orientation, ensemble length for single titled images, cycles per transmit pulse, and orientation angle at various flow-rates. The optimal estimates were found for 7 compounded tilts per image, oriented at ±15° with 6 cycles per pulse. Reconstruction accuracies were comparable to conventional Doppler; however, maintaining frame-rates more than 10 to 20 times faster, allowing better characterization of fast transient events requiring higher temporal resolution.

Le développement de structures de réseau efficaces pour le transport de marchandises est fondamental sur le marché mondial actuel. Les demandes doivent être traitées rapidement, répondre aux besoins des clients dans les meilleurs délais, les congestions et les retards doivent être minimisés, les émissions de CO2 doivent être contrôlés et des coûts de transport moins élevés doivent être proposés aux clients. La structure hub-and-spoke est un modèle de réseau courant utilisé à la fois dans le transport régional comme dans le transport intercontinental, permettant une économie d'échelle grâce aux consolidations opérées au niveau des noeuds hub. Mais, les retards, les congestions et les longs délais de livraison sont des inconvénients de ce type de réseau. Dans cette thèse, un nouveau concept, "sub-hub", est ajouté à la structure du réseau classique hub-and-spoke. Dans les modèles de réseau proposés, une économie d'échelle et des chemins alternatifs plus courts sont mis en oeuvre, en minimisant ainsi le coût de transport et le délai de livraison. Le sub-hub est vu comme un point de connexion entre deux routes distinctes de régions voisines. Des transbordements sans passer par les noeuds hub sont possibles au niveau des sub-hubs. Des congestions peuvent ainsi être évitées et, par conséquent, les retards associés sont ainsi minimisés. Quatre modèles de programmation linéaire en nombres entiers binaires du problème de la localisation de hubs et de routage sont développés dans cette thèse. Des réseaux avec sub-hub et des réseaux sans sub-hub prenant en compte des routes circulaires entre hubs ou des connexions directes entre hubs sont ainsi comparées. Ces modèles sont composés de quatre sous-problèmes (localisation, allocation, conception de service et routage) qui rendent complexe la recherche de solutions. Une approche cutting plane est testée pour résoudre de petites instances de problème tandis qu'une recherche à voisinage variable avec décomposition (VNDS) composée de méthodes exactes (matheuristic) a été développée pour résoudre de grandes instances. Le VNDS mis en oeuvre, explore chaque sous-problème avec différents opérateurs. Des gains importants dans la fonction objective sont observés par les modèles avec sub-hub confirmant ainsi le développement de réseaux plus compétitifs. / The development of efficient network structures for freight transport is a major concern for the current global market. Demands need to be quickly transported and should also meet the customer needs in a short period of time. Traffic congestions and delays must be minimized, since CO2 emissions must be controlled and affordable transport costs have to be offered to customers. Hub-and-spoke structure is a current network model used by both regional and intercontinental transportation, which offers an economy of scale for aggregated demands inside hub nodes. However, delays, traffic congestions and long delivery time are drawbacks from this kind of network. In this thesis, a new concept, which is called "sub-hub", is proposed to the classic hub-and-spoke network structure. In the proposed network models, economy of scale and shorter alternative paths are implemented, thus minimizing the transport cost and delivery time. The sub-hub proposal can be viewed as a connection point between two routes from distinct and close regions. Transshipments without the need to pass through hub nodes are possible inside sub-hubs. This way, congestions can be avoided and, consequently, delays are minimized. Four binary integer linear programming models for hub location and routing problem were developed in this thesis. Networks with sub-hub and networks without sub-hub taking into account circular hub routes or direct connections between hubs are compared. These models are composed of four sub-problems (location, allocation, service design and routing), which hinders the solution. A cutting plane approach was used to solve small instances of problem, while a Variable Neighborhood Decomposition Search (VNDS) composed of exact methods (matheuristic) was developed to solve large instances. The VNDS was used to explore each sub-problem by different operators. Major benefits are provided by models with sub-hub, thus promoting the development of more competitive networks.

Universidade do Estado do Rio de Janeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Azeotropia é um fenômeno termodinâmico onde um líquido em ebulição produz um vapor com composição idêntica. Esta situação é um desafio para a Engenharia de Separação, já que os processos de destilação exploram as diferenças entre as volatilidades relativas e, portanto, um azeótropo pode ser uma barreira para a separação. Em misturas binárias, o cálculo da azeotropia é caracterizado por um sistema não-linear do tipo 2 × 2. Um interessante e raro caso é o denominado azeotropia dupla, que pode ser verificado quando este sistema não-linear tem duas soluções, correspondendo a dois azeótropos distintos. Diferentes métodos tem sido utilizados na resolução de problemas desta natureza, como métodos estocásticos de otimização e as técnicas intervalares (do tipo Newton intervalar/bisseção generalizada). Nesta tese apresentamos a formulação do problema de azeotropia dupla e uma nova e robusta abordagem para a resolução dos sistemas não-lineares do tipo 2 × 2, que é a inversão de funções do plano no plano (MALTA; SALDANHA; TOMEI, 1996). No método proposto, as soluções são obtidas através de um conjunto de ações: obtenção de curvas críticas e de pré-imagens de pontos arbritários, inversão da função e por fim, as soluções esperadas para o problema de azeotropia. Esta metodologia foi desenvolvida para resolver sistemas não-lineares do tipo 2 × 2, tendo como objetivo dar uma visão global da função que modela o fenômeno em questão, além, é claro, de gerar as soluções esperadas. Serão apresentados resultados numéricos para o cálculo dos azeótropos no sistema benzeno + hexafluorobenzeno a baixas pressões por este método de inversão. Como ferramentas auxiliares, serão também apresentados aspectos numéricos usando aproximações clássicas, tais como métodos de Newton com técnicas de globalização e o algorítmo de otimização não-linear C-GRASP, para efeito de comparação. / Azeotropy is a thermodynamic phenomenon where a boiling liquid produces a vapor phase with identical composition. This situation is a challenge for Separation Engineering, since distillation processes explore differences between relative volatilities and, then, an azeotrope can be a barrier for the separation. In binary mixtures, the azeotrope calculation is represented by a 2×2 nonlinear algebraic system. An interesting and rare case is known as double azeotropy, that occurs when this nonlinear system exhibits two solutions, corresponding to two distinct azeotropes. Several numerical methods have been used in the solutions of this kind of problem, as stochastic optimization approaches and interval techniques (as interval Newton/generalized bisection methods). In this work, we present the formulation of the double azeotrope problem solved by a new and robust framework for 2 × 2 nonlinear systems, called the inversion of functions from the plane to the plane (MALTA; SALDANHA; TOMEI, 1996). In this method, the solutions were obtained by a set of procedures: generation of critical curves and pre-images of arbitrary points, construction of paths in the image and the corresponding ones in the domain and, finally, the expected solutions for the azeotropy problem. We present numerical results for the calculation of azeotropes in the benzene + hexafluorobenzene system at low pressures using this technique. As auxiliary tools, we also present extensive numerical results using Newton methods with globalization techniques and using the metaheuristic Continuous-GRASP (CGRASP).

Les opérateurs de réseau sont confrontés à de grands défis en termes de coût et de complexité pour intégrer les nouvelles technologies de communication (e.g., 4G, 5G, fibre optique) et pour répondre aux demandes croissantes des nouveaux services réseau adaptés aux nouveaux cas d’utilisation. La "softwarization" des opérations réseau à l'aide des paradigmes SDN (Software Defined Networking) et NFV (Network Function Virtualization) est en mesure de simplifier le contrôle et la gestion des réseaux et de fournir des services réseau de manière efficace. Les réseaux programmables SDN permettent de dissocier le plan de contrôle du plan de données et de centraliser le plan de contrôle pour simplifier la gestion du réseau et obtenir une vision globale. Cependant, ceci amène des problèmes de passage à l'échelle difficiles à résoudre. Par ailleurs, en dissociant la partie matérielle de la partie logicielle des routeurs, NFV permet d'implanter de manière flexible et à moindre coût toutes sortes de fonctions réseau. La contrepartie est une dégradation des performances due à l'implantation en logiciel des fonctions réseau qui sont déportées des routeurs. Pour aborder les problèmes de passage à l'échelle et de performance des paradigmes SDN/NFV, nous proposons dans la première partie de la thèse, une architecture modulaire de gestion et de contrôle du réseau, dans laquelle le contrôleur SDN délègue une partie de ses responsabilités à des fonctions réseau spécifiques qui sont instanciées à des emplacements stratégiques de l'infrastructure réseau. Nous avons choisi un exemple d'application de streaming vidéo en direct (comme Facebook Live ou Periscope) utilisant un service de multicast IP car il illustre bien les problèmes de passage à l'échelle des réseaux programmables. Notre solution exploite les avantages du paradigme NFV pour résoudre le problème de scalabilité du plan de contrôle centralisé SDN en délégant le traitement du trafic de contrôle propre au service multicast à des fonctions réseau spécifiques (appelées MNF) implantées en logiciel et exécutées dans un environnement NFV localisé à la périphérie du réseau. Notre approche fournit une gestion flexible des groupes multicast qui passe à l'échelle. De plus, elle permet de bénéficier de la vision globale du contrôle centralisé apportée par SDN pour déployer de nouvelles politiques d'ingénierie du trafic comme L2BM (Lazy Load Balance Multicast) dans les réseaux de fournisseurs d’accès à Internet (FAI) programmables. L'évaluation de cette approche est délicate à mettre en œuvre car la communauté de recherche ne dispose pas facilement d'infrastructure SDN à grande échelle réaliste. Pour évaluer notre solution, nous avons élaboré l'outil DiG qui permet d'exploiter l'énorme quantité de ressources disponibles dans une grille de calcul, pour émuler facilement de tels environnements. DiG prend en compte les contraintes physiques (mémoire, CPU, capacité des liens) pour fournir un environnement d'évaluation réaliste et paramétrable avec des conditions contrôlées. La solution que nous proposons délègue le contrôle et la gestion du réseau concernant le service de multicast aux fonctions spécifiques MNF exécutées dans un environnement NFV. Idéalement, pour davantage d'efficacité, toutes ces fonctions spécifiques devraient être implantées directement au sein des routeurs avec du hardware programmable mais cela nécessite que ces nouveaux routeurs puissent exécuter de manière indépendante plusieurs fonctions réseau à la fois. Le langage de programmation P4 est une technologie prometteuse pour programmer le traitement des paquets de données dans les routeurs programmables (hardware et logiciels). / Network operators are facing great challenges in terms of cost and complexity in order to incorporate new communication technologies (e.g., 4G, 5G, fiber) and to keep up with increasing demands of new network services to address emerging use cases. Softwarizing the network operations using SoftwareDefined Networking (SDN) and Network Function Virtualization (NFV) paradigms can simplify control and management of networks and provide network services in a cost effective way. SDN decouples control and data traffic processing in the network and centralizes the control traffic processing to simplify the network management, but may face scalability issues due to the same reasons. NFV decouples hardware and software of network appliances for cost effective operations of network services, but faces performance degradation issues due to data traffic processing in software. In order to address scalability and performance issues in SDN/NFV, we propose in the first part of the thesis, a modular network control and management architecture, in which the SDN controller delegates part of its responsibilities to specific network functions instantiated in network devices at strategic locations in the infrastructure. We have chosen to focus on a modern application using an IP multicast service for live video streaming applications (e.g., Facebook Live or Periscope) that illustrates well the SDN scalability problems. Our solution exploits benefits of the NFV paradigm to address the scalability issue of centralized SDN control plane by offloading processing of multicast service specific control traffic to Multicast Network Functions (MNFs) implemented in software and executed in NFV environment at the edge of the network. Our approach provides smart, flexible and scalable group management and leverages centralized control of SDN for Lazy Load Balance Multicast (L2BM) traffic engineering policy in software defined ISP networks. Evaluation of this approach is tricky, as real world SDN testbeds are costly and not easily available for the research community. So, we designed a tool that leverages the huge amount of resources available in the grid, to easily emulate such scenarios. Our tool, called DiG, takes into account the physical resources (memory, CPU, link capacity) constraints to provide a realistic evaluation environment with controlled conditions. Our NFV-based approach requires multiple application specific functions (e.g., MNFs) to control and manage the network devices and process the related data traffic in an independent way. Ideally, these specific functions should be implemented directly on hardware programmable routers. In this case, new routers must be able to execute multiple independently developed programs. Packet-level programming language P4, one of the promising SDN-enabling technologies, allows applications to program their data traffic processing on P4 compatible network devices. In the second part of the thesis, we propose a novel approach to deploy and execute multiple independently developed and compiled applications programs on the same network device. This solution, called P4Bricks, allows multiple applications to control and manage their data traffic, independently. P4Bricks merges programmable blocks (parsers/deparsers and packet processing pipelines) of P4 programs according to processing semantics (parallel or sequential) provided at the time of deployment.

Universidade do Estado do Rio de Janeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Azeotropia é um fenômeno termodinâmico onde um líquido em ebulição produz um vapor com composição idêntica. Esta situação é um desafio para a Engenharia de Separação, já que os processos de destilação exploram as diferenças entre as volatilidades relativas e, portanto, um azeótropo pode ser uma barreira para a separação. Em misturas binárias, o cálculo da azeotropia é caracterizado por um sistema não-linear do tipo 2 × 2. Um interessante e raro caso é o denominado azeotropia dupla, que pode ser verificado quando este sistema não-linear tem duas soluções, correspondendo a dois azeótropos distintos. Diferentes métodos tem sido utilizados na resolução de problemas desta natureza, como métodos estocásticos de otimização e as técnicas intervalares (do tipo Newton intervalar/bisseção generalizada). Nesta tese apresentamos a formulação do problema de azeotropia dupla e uma nova e robusta abordagem para a resolução dos sistemas não-lineares do tipo 2 × 2, que é a inversão de funções do plano no plano (MALTA; SALDANHA; TOMEI, 1996). No método proposto, as soluções são obtidas através de um conjunto de ações: obtenção de curvas críticas e de pré-imagens de pontos arbritários, inversão da função e por fim, as soluções esperadas para o problema de azeotropia. Esta metodologia foi desenvolvida para resolver sistemas não-lineares do tipo 2 × 2, tendo como objetivo dar uma visão global da função que modela o fenômeno em questão, além, é claro, de gerar as soluções esperadas. Serão apresentados resultados numéricos para o cálculo dos azeótropos no sistema benzeno + hexafluorobenzeno a baixas pressões por este método de inversão. Como ferramentas auxiliares, serão também apresentados aspectos numéricos usando aproximações clássicas, tais como métodos de Newton com técnicas de globalização e o algorítmo de otimização não-linear C-GRASP, para efeito de comparação. / Azeotropy is a thermodynamic phenomenon where a boiling liquid produces a vapor phase with identical composition. This situation is a challenge for Separation Engineering, since distillation processes explore differences between relative volatilities and, then, an azeotrope can be a barrier for the separation. In binary mixtures, the azeotrope calculation is represented by a 2×2 nonlinear algebraic system. An interesting and rare case is known as double azeotropy, that occurs when this nonlinear system exhibits two solutions, corresponding to two distinct azeotropes. Several numerical methods have been used in the solutions of this kind of problem, as stochastic optimization approaches and interval techniques (as interval Newton/generalized bisection methods). In this work, we present the formulation of the double azeotrope problem solved by a new and robust framework for 2 × 2 nonlinear systems, called the inversion of functions from the plane to the plane (MALTA; SALDANHA; TOMEI, 1996). In this method, the solutions were obtained by a set of procedures: generation of critical curves and pre-images of arbitrary points, construction of paths in the image and the corresponding ones in the domain and, finally, the expected solutions for the azeotropy problem. We present numerical results for the calculation of azeotropes in the benzene + hexafluorobenzene system at low pressures using this technique. As auxiliary tools, we also present extensive numerical results using Newton methods with globalization techniques and using the metaheuristic Continuous-GRASP (CGRASP).

Le problème initial traité dans cette thèse relève du cadre général de la modélisation des tunnels profonds. Pour cela, on a adopté l'approche basée sur la mécanique linéaire de la rupture. L'étude s'est appuyée sur le critère mixte de Leguillon. Suite à cette étude, on a pu tirer que ce n'est pas le critère mixte qui est insuffisant mais plutôt la façon d'aborder le problème. D'où le passage à la prise en compte de l'hétérogénéité du matériau constitutif et la possibilité d'amorçage d'une fissure sous une contrainte de compression. Une première approche a été entreprise par l'étude d'une bicouche périodique sous contrainte de compression verticale. La couche de grande raideur s'est apparue le siège d'une traction transversale. Effectivement la possibilité d'amorçage d'une fissure est tout à fait probable grâce toujours à la vérification des critères d'énergie et de contrainte. Une deuxième approche consistait à observer au plus près la microstructure du matériau ; on a considéré le problème d'une inclusion elliptique dans une matrice infinie. Par la méthode des variables complexes et la technique de la transformation conforme, on a analysé le champ de contrainte autour de l'inclusion et on a mis en évidence la présence d'une traction qui dépend fortement des paramètres choisis. Par la méthode des éléments finis étendus, on a calculé la variation de l'énergie potentielle mise en jeu par la création d'une fissure. Par une démarche semblable à l'approche précédente, à savoir la vérification des critères d'énergie et de contrainte, on a conclu à la possibilité d'amorçage d'une fissure. Mots clefs : mécanique linéaire de la rupture, critère mixte de Leguillon, énergie potentielle, taux de restitution d'énergie, méthode des éléments finis étendus, bicouche périodique, méthode des variables complexes / The initial problem treated in this thesis falls within the general framework of modeling deep tunnels. For this reason, the approach based on linear fracture mechanics was adopted. The study was based on the mixed criterion of Leguillon. Following This study, the mixed criterion was not insufficient but the way to approach the problem was. Where the transition to the consideration of the heterogeneity of the material component and the possibility of initing a crack under a compressive stress. A first approach was undertaken the study of periodic bilayer under the stress of vertical compression. The layer of the highest stiffness has appeared the seat of a transverse traction. Indeed the possibility to initiate a crack is quite likely always through the verification of the energy and the stress criteria. A second approach was to observe more closer the microstructure of the material; we have considered the problem of elliptic inclusion in an infinite matrix. By the method of complex variables and the technique of conformal mapping, we analyzed the stress field around the inclusion and were revealed the presence of a traction which depends strongly of the selected parameters. By the extended finite element method, we calculated the variation of the potential energy involved by creating a fracture. In a similar approach to the previous one, namely verification of the energy and the stress criteria, we concluded the possibility of initiating a crack. Keywords: linear fracture mechanics, mixed criterion of Leguillon, potential energy, energy release rate, extended finite element method, periodic bilayer, method of complex variables