Nous cherchons à améliorer l'état de l'art des implémentations de contrôle de flux d'information dans les systèmes Linux. Le contrôle de flux d'information vise à surveiller la façon dont l'information se dissémine dans le système une fois hors de son conteneur d'origine, contrairement au contrôle d'accès qui ne peut permettre d'appliquer des règles que sur la manière dont les conteneurs sont accédés. Plusieurs défis scientifiques et techniques se sont présentés. Premièrement, la base de code Linux est particulièrement grande, avec quinze millions de lignes de code réparties dans trente-mille fichiers. La première contribution de cette thèse a été un plugin pour le compilateur GCC permettant d'extraire et visualiser aisément les graphes de flot de contrôle des fonctions du noyau. Ensuite, le framework des Linux Security Modules qui est utilisé pour implémenter les moniteurs de flux d'information que nous avons étudiés (Laminar [1], KBlare [2] et Weir [3]) a été conçu en premier lieu pour le contrôle d'accès, et non de flux. La question se pose donc de savoir si le framework est implémenté de telle sorte à permettre la capture de tous les flux produits par les appels système. Nous avons créé et implémenté une analyse statique permettant de répondre à ce problème. Cette analyse statique est implémenté en tant que plugin GCC et nous a permis d'améliorer le framework LSM pour capturer tous les flux. Enfin, nous avons constaté que les moniteurs de flux actuels n'étaient pas résistants aux conditions de concurrence entre les flux et ne pouvaient pas traiter certains canaux ouverts tels que les projections de fichiers en mémoire et les segments de mémoire partagée entre processus. Nous avons implémenté Rfblare, un nouvel algorithme de suivi de flux, pour KBlare, dont nous avons prouvé la correction avec Coq. Nous avons ainsi montré que LSM pouvait être utilisé avec succès pour implémenter le contrôle de flux d'information, et que seules les méthodes formelles, permettant la mise en œuvre de méthodologie, d'analyses ou d'outils réutilisables, permettaient de s'attaquer à la complexité et aux rapides évolutions du noyau Linux. / We look forward to improving the implementations of information flow control mechanisms in Linux Operating Systems. Information Flow Control aims at monitoring how information disseminates in a system once it is out of its original container, unlike access control which can merely apply rule on how the containers are accessed. We met several scientific and technical challenges. First of all, the Linux codebase is big, over fifteen millions lines of code spread over thirty three thousand files. The first contribution of this thesis is a plugin for the GCC compiler able to extract and let a user easily visualize the control flow graphs of the Linux kernel functions. Secondly, the Linux Security Modules framework which is used to implement the information flow trackers we have reviewed (Laminar, KBlare, and Weir) was designed in the first place to implement access control, rather than information flow control. One issue is thus left open: is the framework implemented in such a way that all flows generated by system calls can be captured? We have created and implemented static analysis to address this problem and proved its correction with the Coq proof assistant system. This analysis is implemented as a GCC plugin and have allowed us to improve the LSM framework in order to capture all flows. Finally, we have noted that current information flow trackers are vulnerable to race conditions between flows and are unable to cover some overt channels of information such as files mapping to memory and shared memory segments between processes. We have implemented Rfblare, a new algorithm of flow tracking, for KBlare. The correction of this algorithm has been proved with Coq. We have showed that LSM can be used successfully to implement information flow control, and that only formal methods, leading to reusable methodology, analysis, tools, etc., are a match for the complexity and the fast-paced evolution of the Linux kernel.

Ce travail est une analyse de la structure des panaches Électrohydrodynamiques plans également appelés jets Électrohydrodynamiques en géométrie plane. Il a pour objectif de proposer une description la plus précise possible de l'écoulement, d'apporter une meilleure compréhension des phénomènes physiques notamment à l'aide de modèles simples et de quantifier la force électrique. Le chapitre I est une étude bibliographique qui propose un résumé des principales connaissances sur la structure de deux écoulements très similaires aux jets EHD : les jets classiques et les panaches thermiques. Le chapitre II est consacré à la présentation du montage expérimental, ainsi qu'à la méthodologie expérimentale utilisée dans cette étude. La qualité des mesures obtenues grâce à la méthode de vélocimétrie par images de particule y est discutée ; les problèmes de non corrélation, de convergence statistique des résultats y sont par exemple abordés. L'analyse des champs de vitesse permet de mettre en évidence la structure des panaches et de proposer une classification des jets EHD. Le chapitre III est consacré à l'étude de la force électrique dans les panaches EHD. L'actionneur utilisé pour produire le jet plan est de type lame-plan. Trois méthodes indirectes ont été utilisées pour estimer la force à partir du champ de vitesse. La première méthode appelée méthode intégrale classique calcule la force par intégration volumique de l'équation de Navier-Stokes. La deuxième méthode appelée méthode RANS intégrale estime la force à partir de chacun des termes de l'équation RANS en utilisant une décomposition de la vitesse en valeur moyenne et fluctuation. Enfin, la force est également calculée selon une troisième méthode basée sur une modélisation simplifiée de l'écoulement inspirée des travaux de Malraison et Atten. Dans le dernier chapitre, l'étude est étendue à un écoulement électroconvectif de type jet de paroi électrique. Il est généré par un actionneur à barrière diélectrique. L'étude est faite avec deux types des liquides diélectriques différents. Comme pour le jet plan, l'analyse des champs de vitesse permet de définir les structures de l'écoulement mais également de calculer l'intensité de la force produite. / This work is related to the analysis of the structure of electrohydrodynamic plane plumes also called electrohydrodynamic jets in plane geometry. The aim of this work is to provide a more precise description and a better understanding of its physical phenomenon and to quantify the electric force using the simple models. Chapter I is a literature review which provides a summary of two flows with the structure very similar to EHD jets: classic jets and thermal plumes. Chapter II is devoted to the presentation of the experimental setup and method used in this study. The quality of the measurements obtained by the method of Particle Image Velocimetry is discussed; problems of non correlation and statistical convergence of the results are also discussed. The analysis of velocity fields allows us to identify the structure and propose a classification of the EHD plumes. Chapter III is devoted to the study of the electric force in the EHD plumes. The actuator used to produce the plane jet is a blade plane device. Three indirect methods were used to estimate the force from the velocity field. The first classical method called integral method calculates the force by volumetric integration of Navier-Stokes equations. The second method called RANS integral method estimates the force from each term of RANS equation using the average and fluctuating velocity components. Finally, the force is also calculated using a third approach with a simplified flow model based on the work of Malraison and Atten. In the last chapter, the study is extended to one type of électroconvectif flow: the electrical wall jet. It is generated by a dielectric barrier actuator. The study is carried out with two different dielectric liquids. As is the case with plane jet, the analysis of velocity fields is used to define the flow structures and calculate the force produced.

The work performed in this thesis explores new ways of reducing the drag of ground vehicles. Specifically, the effect of plasma actuators are investigated numerically with the intention to delay separation around a half-cylinder, a geometry chosen to represent a simplified A-pillar of a truck. The plasma actuators have to be included in turbulent flow simulations. Therefore, emphasis is first put on finding a numerical model that can reproduce the effect of the plasma without increasing the computational cost. This effect is modeled through a body force term added to the Navier-Stokes equations. To determine the strength and spatial extent of this body force, optimization was performed to minimize the difference between experimental and simulated profiles of plasma induced velocity.  The plasma actuator model is thereafter used in Large Eddy Simulations (LES) of the flow around a half-cylinder at Reynolds number Re=65*10^3 and Re=32*10^3. Two types of actuation cases are performed. In the first case, a single actuator is used. In the second case, a pair of consecutive actuators are used, and their position on the half-cylinder is changed. It is found that a drag reduction of up to 10% is achievable. Moreover, the ideal location for actuation is determined to be near the separation point of the non-actuated flow.  Finally, dynamic mode decomposition (DMD) is investigated as a tool to extract coherent dynamic structures from a turbulent flow field. The DMD is first used to analyze a channel flow where pulsations are imposed at a known frequency. It is found that DMD gives similar results to phase averaging done at the oscillation frequency. However, the presence of turbulence noise hinders the ability to identify modes at higher harmonics. The DMD is also used to post-process the half-cylinder flow case. There, it is found that the spectrum of the wake is broadband. Nevertheless, modes within distinct frequency ranges are found to be located in distinct spatial regions. / Arbetet som utförts i denna avhandling undersöker nya sätt att minska luftmotstånd hos markfordon. Speciellt undersöks numeriskt effekten av plasmaaktuatorer med avsikten att uppnå fördröjd separation av strömningen kring en halvcylinder, en geometri vald för att representera en förenklad A-stolpe på en lastbil.  För att kunna utföra studien behöver plasmaaktuatorer kunna ingå i beräkningar av turbulenta strömningsfält. Därför undersöks först sätt för att hitta en numerisk modell som kan reproducera effekten av plasma utan att öka beräkningskostnad. Plasmaaktuatorn  modelleras i detta arbete genom att ett källterm adderas till Navier-Stokes ekvationer. För att bestämma styrkan och den rumsliga utbredningen hos källtermen, utförs en optimering för att minimera skillnaden mellan experimentella och simulerade profiler av plasma inducerad strömningshastighet.  Plasmaaktuatormodellen används därefter i Large Eddy Simulations (LES) för att beräkna strömningen kring en halvcylinder med Reynolds tal Re=65*10^3 och Re=32*10^3. Två typer av fall studeras. I det första fallet används en enda aktuator. I det andra fallet, är ett par på varandra följande aktuatorer placerade, där aktuatorernas position på halvcylinder ändras. Resultaten visar att en luftmotståndsminskning på upp till 10% kan erhållas. Den idealiska platsen för aktuatorn bedöms vara nära den punkt där strömningen utan aktuator separerar. Slutligen undersöks Dynamic Mode Decomposition (DMD) som ett verktyg för att extrahera koherenta dynamiska strukturer i en turbulent strömning. DMD används först för att analysera pulserande kanalströmning där pulsationen har en känd frekvens. Resultaten visar att DMD ger liknande resultat som då fas-medelvärdesbildning görs vid oscillationsfrekvensen. Förekomsten av turbulens buller hindrar dock möjligheten att identifiera moder vid högre övertoner. DMD används också för att analysera strömningen kring halv-cylindern. I avhandlingen visas att spektrat i vaken är bredbandigt men att även moder inom distinkta frekvensintervall fanns vara belägna i avgränsade områden i vaken. / <p>QC 20170117</p>

Hydro power plants are an essential part of the infrastructure in Sweden as they stand for a large amount of the produced electricity and are used to regulate supply and demand on the electricity grid. Other renewable energy sources, such as wind and solar power, have become more popular as they contribute to a fossil free society. However, wind and solar power are intermittent energy sources causing the demand for regulating power on the grid to increase. Hydro power turbines are designed to operate at a certain design point with a specific flow rate. The plants are operated away from the design point when used to regulate the supply and demand of electricity. This can cause a specific flow phenomenon to arise in the draft tube at part load conditions called a Rotating Vortex Rope (RVR) which causes dangerous pressure fluctuation able to damage blades and bearings. A solution to mitigate a RVR is to inject pulsating momentum into the draft tube by using an actuator operating at a certain frequency. A literature study was conducted and three techniques were numerically simulated using ANSYS Workbench 19.0 R3; a fluidic oscillator, a piston actuator and a synthetic jet actuator. A dynamic mesh was used to simulate the movement of the piston actuator and diaphragm of the synthetic actuator whilst the mesh of the fluidic oscillator was stationary. The relative errors of the three numerical models were all below 3 %. All devices showed promising results and could potentially be used to mitigate a RVR because they all have the ability to produce high energy jets. The fluidic oscillator had an external supply of water, whereas the other two did not, which means that it could inject the largest mass flow. The piston actuator required a driving motor to move the piston. The diaphragm of the synthetic jet actuator was moved by a Piezoelectric element. Advantages of the fluidic oscillator are that it has no moving parts, in contrary to the two other devices, it can directly be connected to the penstock or draft tube to obtain the required water supply and it is easy to install. It will most likely also be smaller compared to the other two for the same mass flow rate. It does however not generate a pulsating jet, but rather an oscillating jet. The other two devices generate pulsating jets, but have problems with low pressure areas during the intake stroke which can cause cavitation problems. These areas cause the formation of vortex rings close to the outlet. Simulations showed that a coned piston together with a coned cylinder outlet could decrease losses by almost 16 % compared to a normal piston and cylinder. It also decreased the risk for cavitation and the required force to move the piston. Otherwise, a shorter stroke length for a constant cylinder diameter or a longer stroke length for a constant volume displacement also decreased the risk for cavitation and required force. The gasket between the piston and cylinder is a potential risk for leakage. A solution to avoid critical low pressure areas is to install an auxiliary fluid inlet or valve which opens at a certain pressure for the piston actuator as well as the synthetic jet actuator. This will also allow larger mass flow rates and a higher injected momentum. Both devices are more complicated to install and require likely more maintenance compared to the fluidic oscillator. However, there exist many possible design options for the piston actuator. The design of the synthetic jet is more limited because of the diaphragm. The amplitude of the diaphragm also has a direct effect on the pressure levels. The losses increased proportional to the mass flow to the power of three which suggests that it is better to install many small actuators instead of a few large ones.

The present paper describes an innovative electro-hydraulic system developed for automated side loaders. The system is based on Intelligent Flow Control (IFC), a concept where open circuit electric displacement controlled pumps are coupled with EH directional control valves. IFC was selected in order to achieve the level of performance required, in terms of efficiency and productivity (i.e. cycle times), and also to provide the best possible control of the side loader arm. The paper describes the system layout and the basics of the controls: from the alghorithms of the arm actuators to the vehicle on board telemetry and diagnostic. The paper reports the comparison between the IFC system (implemented on the vehicle) and a more traditional approach based on a Load Sense Flow Sharing concept. The benefits of the IFC solution are highlighted focusing on the energy efficiency (very important especially in the case of CNG engines, where the torque available at idle is significantly lower than diesel engines), but also in terms of controlability and response (due to the lack of load sensing signal lines).

With the advent of new applications such as Cloud Computing, Blockchain, Big Data, and Machine Learning, modern data center network (DCN) architecture has been evolving to meet numerous challenging requirements such as scalability, agility, energy efficiency, and high performance. Among the new applications ones are expediting the convergence of high-performance computing and Data Centers. This convergence has prompted research into a single, converged data center architecture that unites computing, storage, and interconnect network in a synthetic system designed to reduce the total cost of ownership and result in greater efficiency and productivity. The interconnect network is a critical aspect of Data Centers, as it sets performance bounds and determines most of the total cost of ownership. The design of an interconnect network consists of three factors: topology, routing, and congestion control, and this thesis aims to satisfy the above challenging requirements. To address the challenges noted above, the communication patterns for emerging applications are investigated, and it is shown that the dynamic and diverse traffic patterns (denoted as *-cast), especially multi-cast, in-cast, broadcast (one-to-all), and all-to-all-cast, play a significant impact in the performance of emerging applications. Inspired by hypermesh topologies, this thesis presents a novel cost-efficient topology for large-scale Data Center Networks (DCNs), which is called HyperOXN. HyperOXN takes advantage of high-radix switch components leveraging state-of-the-art colorless wavelength division multiplexing technologies, effectively supports *-cast traffic, and at the same time meets the demands for high throughput, low latency, and lossless delivery. HyperOXN provides a non-blocking interconnect network with a relatively low overhead-cost. Through theoretical analysis, this thesis studies the topological properties of the proposed HyperOXN and compares it with other different types of interconnect networks such as Fat-Tree, Flattened Butterfly, and Hypercube-like topologies. Passive optical cross-connection networks are used in the HyperOXN topology, enabling economical, power-efficient, and reliable communication within DCNs. It is shown that HyperOXN outperforms a comparable Fat-Tree topology in cost, throughput, power consumption and cabling under a variety of workload conditions. A HyperOXN network provides multiple paths between the source and its destination to obtain high bandwidth and achieve fault tolerance. Inspired by a power-of-two-choices technique, a novel stochastic global congestion-aware load balancing algorithm, which can be used to achieve relatively optimal load balances amongst multiple shared paths is designed. It also guarantees low latency for short-lived mouse flows and high throughput for long-lasting elephant flows. Furthermore, the stability of the flow-scheduling algorithm is formally proven. Experimental results show that the algorithm successfully eliminated the interactions of the elephant and mouse DC flows, and ensured high network bandwidth utilization.

Tesla valve applications for passive flow enhancement in micro fluidic applications are promising, because of its design of no-moving-parts. The effectiveness of the valve (measured via its pressure and thermal diodicity) can be increased by creating a multi-staged Tesla valve. Present study investigates the effect of varying Reynolds number (25-200) on flow rectification and thermal enhancement capability of a Tesla valve. Gamboa Morris Forster (GMF) design with a cross-section of 1mm2 and constant valve-to-valve distance (1mm) was utilized for this research. An arbitrary fluid with constant properties at a reference temperature was used as the working fluid. Periodicity in flow and thermal distribution are noticed in the latter part of MSTV. Average friction factor and pressure diodicity decreased with increasing Reynolds number whereas average Nusselt number and thermal diodicity increased. Correlations for friction factor, pressure diodicity, Nusselt number, and thermal diodicity were derived by fitting a non-linear curve fit model.

No description available.

No description available.

No description available.