Wind propulsion is a traditional way to propel ships over the oceans. In the recent development towards more sustainable shipping, sailing is considered in the industry again with high momentum. For a modern merchant ship, the aerodynamic forces generated on the particular rigging are unusual. Tailored research and experiments are required to understand their influence on the ship’s sailing behaviour. This work concerns the aerodynamic interactions on a model-sized car carrier with four 360° rotatable, symmetric, rigid wings aligned along the centreline on deck. Differential pressures on the wings are measured to capture the generated normal forces. In a comprehensive post-processing, data recorded in systematic experiments at two apparent wind angles were evaluated. A comparison for the different wing positions on board the model shows stronger interactions in upwind sailing conditions than when reaching. The two-dimensional data prove a significant influence of the hull in the normal force profiles over the wing span. The results of this work indicate that the aerodynamic conditions while sailing have to be attentively considered for efficient wing trimming. / Under en lång tid användes främst vindkraft för framdrivningen av fartyg. Det är först på senare år att seglingskonceptet har fått ett nytt uppsving inom marinindustrin med tanke på dess hållbarhet. För fraktfartyg är de aerodynamiska krafterna vid segling ovanliga. Därför behövs särskild forskning och experimentella metoder för att förstå hur de påverkar fartygens seglingsbeteende. I detta arbete undersöks aerodynamiska interaktioner på en modell av ett biltransportfartyg med fyra symmetriska, 360° roterbara vingsegel på däck längs midskeppslinjen. I systematiska experiment på två kurser mot vinden mättes differenstryck över vingprofilen för att undersöka de genererade normalkrafterna. En jämförelse av data från de fyra olika vingpositionerna och båda kurserna mot vinden visar att de aerodynamiska interaktionerna är starkare på kryss än vid halvvind. De upmätta profilerna av tvådimensionella normalkraftkoefficienter över vingspannet visar på betydande aerodynamiska interaktioner med fartygets skrov. Resultaten av detta arbete visar hur viktigt det är med en grundlig undersökning av strömningsförhållandena för en effektiv segeltrim.

This master thesis addresses the issue of software testing. It discusses different types and forms of testing such as white-box testing, black-box testing, unit testing, integration testing and regression testing. Further it deals with the specific problems of testing network applications and automation of the testing process. To solve these issues, the thesis presents a language based on XML for describing testing cases. The following chapter describes the design of this language interpreter. The thesis also deals with problems occurring during implementation phase of similar tools and their possible solutions. Functionality demonstration of designed tool helped to discover an error in product of AVG Technologies CZ, s.r.o..

In the thesis, a methodology alternative to existing methods of digital systems design with increased dependability implemented into FPGA is presented, new features which can be used in the implementation and testing of these systems are demonstrated. The research is based on the use of FPGA partial dynamic reconfiguration for the design of fault tolerant systems. In these applications, the partial dynamic reconfiguration can be used as a mechanism to correct the fault and recover the system after the fault occurrence. First, the general principles of diagnostics, testing and digital systems dependability are presented including a brief description of FPGA components and their architectures. Next, a survey of currently used methods and techniques used for the design and implementation of fault tolerant systems into FPGA is described, especially the methods used for fault detection and localization, their correction, together with the principles of evaluating fault tolerant systems design quality.  The most important part of the thesis is seen in the description of the design methodology, implementation and testing of fault tolerant systems implemented into FPGAs which uses SRAMs as the configuration memory. First, the methodology of developing and automated checker components design for digital systems and communication protocols is presented. Then, a reference architecture of a dependable system implemented into FPGA is demonstrated including several fault tolerant architectures based on the use of partial dynamic reconfiguration as the mechanism of fault correction and the recovery from it. The principles of controlling the reconfiguration process are described together with the description of the test platform which allows to test and verify the design of fault tolerant systems based on the methodology presented in the thesis. The experimental results and the contribution of the thesis are discussed in the conclusions.

Le travail de thèse présenté dans ce mémoire vise à analyser et à comprendre les mécanismes mis en jeu au niveau de l’impact du creusement d’un tunnel par bouclier à front pressurisé sur des fondations profondes avoisinantes. Cette thèse a été réalisée dans le cadre du projet européen NeTTUN, au sein du Laboratoire de Tribologie et de Dynamique des Systèmes (LTDS) de l’ENTPE. L’approche phénoménologique conduite lors de ces travaux repose sur deux importantes campagnes expérimentales réalisées à l’aide d’un dispositif unique au plan international de modèle réduit 1g de tunnelier à pression de terre (échelle de l’ordre de 1/10eme). La forte originalité de ce dispositif est de pouvoir simuler de façon réaliste les principales étapes du processus tridimensionnel d’excavation mécanisé d’un tunnel. Dans le cadre de cette thèse, le dispositif existant de modèle réduit de tunnelier a dans un premier temps été reconfiguré afin de pouvoir répondre aux besoins du programme expérimental envisagé. Des modèles physiques de fondations profondes (pieux et groupes de pieux) et de barrières de protection ont été conçus dans le cadre des lois de similitude, fabriqués et instrumentés. Deux campagnes expérimentales d’envergure ont été réalisées en massif de sable sec : l’une concerne les effets du passage d’un tunnelier à front pressurisé sur des fondations profondes avoisinantes (pieux, groupe de pieux), l’autre traite de l’efficacité de barrières de protection (parois moulées) utilisées pour limiter ces effets. Différents paramètres qui influencent l’interaction tunnelier - sol - fondations ont été considérés comme la distance relative tunnel / fondation, la pression frontale de soutènement appliquée par le TBM sur le terrain ou encore la hauteur des barrières de protection. L’analyse phénoménologique menée à l’échelle du modèle concerne en particulier l’évolution des champs de contraintes et de déplacements dans le terrain autour du tunnelier, les déplacements relatifs sol - pieu et sol- barrière, la redistribution des efforts au sein des fondations. L’importante base de données et d’analyse ainsi constituée a été mise à profit pour la validation d’outils de modélisation numérique développés par l’Université de Rome au sein du projet NeTTUN. / The major goal presented in this thesis was to analyze and investigate the mechanisms, which are involved in the impact of the tunnels excavated thanks to an Earth Pressure Balanced Shield on nearby deep foundations. This thesis was realized in European project NeTTUN and the work had been done in the Laboratory of Tribology and Systems Dynamics (LTDS) of ENTPE. During these works, phenomenological approach was based on two important experimental campaigns carried out using a unique device at the international level of a 1g scale model of earth-pressure tunnel boring machine (scale of the order of 1 / 10). The state of the art of this device was to be able to simulate in possibly realistic way the main stages of the three-dimensional process of mechanized excavation of a tunnel. In the framework of this thesis, the existing model tunneling machine device was initially reconfigured in order to reach the expectations of the experimental program envisaged. Physical models of deep foundations (piles and groups of piles) and protective barriers were designed under the similitude laws, manufactured and instrumented. The two large-scale experimental campaigns have been carried out in a dry sand massif. The first one concerned the effects of the passage of a pressurized tunnel boring machine on nearby deep foundations (piles, group of piles), whereas another one dealed with the effectiveness of mitigation procedure (diaphragm walls) used to limit these effects. Different parameters that influenced on the tunneling: soil - foundation interaction considered as the relative tunnel / foundation distance, the frontal face pressure applied by the TBM in the field or the height of the protective barriers. The phenomenological analysis carried out at the scale of the model concerned in particular the evolution of the fields of stresses and displacements in the ground around the tunnel boring machine, relatives pile / soil and wall / soil displacements and the redistribution of stresses along the pile foundations. The large database and analysis constituted was used for the validation of numerical modeling tools developed by the University of Rome within the NeTTUN project.

In the thesis, a methodology alternative to existing methods of digital systems design with increased dependability implemented into FPGA is presented, new features which can be used in the implementation and testing of these systems are demonstrated. The research is based on the use of FPGA partial dynamic reconfiguration for the design of fault tolerant systems. In these applications, the partial dynamic reconfiguration can be used as a mechanism to correct the fault and recover the system after the fault occurrence. First, the general principles of diagnostics, testing and digital systems dependability are presented including a brief description of FPGA components and their architectures. Next, a survey of currently used methods and techniques used for the design and implementation of fault tolerant systems into FPGA is described, especially the methods used for fault detection and localization, their correction, together with the principles of evaluating fault tolerant systems design quality.  The most important part of the thesis is seen in the description of the design methodology, implementation and testing of fault tolerant systems implemented into FPGAs which uses SRAMs as the configuration memory. First, the methodology of developing and automated checker components design for digital systems and communication protocols is presented. Then, a reference architecture of a dependable system implemented into FPGA is demonstrated including several fault tolerant architectures based on the use of partial dynamic reconfiguration as the mechanism of fault correction and the recovery from it. The principles of controlling the reconfiguration process are described together with the description of the test platform which allows to test and verify the design of fault tolerant systems based on the methodology presented in the thesis. The experimental results and the contribution of the thesis are discussed in the conclusions.