Driven by the goal of decreasing emissions and pollutants towards a more sustainable future, the automotive industry is undergoing a rapid transition towards battery-powered electric vehicles. This shift to sustainable transport is fast-paced, and new technical solutions are being offered on a regular basis to fulfil the future needs for electric vehicles, including battery-electric trucks. This continuously necessitates a fast development of the battery-electric truck, along with the cooling system. To validate the cooling system, Scania's preferred approaches are testing and 3D simulations. However, these approaches are time-consuming and cannot match the pace of the design or the development. This thesis addresses the implementation of using 1D Simulations (GT-Suite) to carry out coolant filling simulations as a more efficient approach by studying the filling of the battery cooling system in an electric truck and, later, validating the results obtained with a test rig. In this thesis, different cases were defined, each adding more complexity to the circuit, and the parameters studied were the filling times and the location of air traps. Finally, a case with a closed circuit and running a coolant pump was developed to study the possibilities of devising quicker deaeration techniques for the circuit. The work completed in this thesis may be used as an example of how filling simulations can be performed with GT-Suite. This thesis is a good starting point, exploring a vast potential in using 1D Simulations to simulate the coolant-air interaction in a cooling system. Nonetheless, the findings revealed that GT-Suite v2020 and v2021 lack a robust model to properly simulate the interaction of coolant and air in certain sections of the circuit. In addition, the simulation model failed to obtain a steady-state solution in some cases resulting in discrepancies between the results from the test rig and the simulations. In conclusion, it was found that 1D simulations are not an ideal way forward when individual components of the cooling circuit are being considered, for example, the cooling plates, but are much quicker and seem to be a promising method to get an overview on a system level. / Fordonsindustrin drivs av målet att minska utsläppen och föroreningarna mot en mer hållbar framtid och genomgår en snabb omställning mot batteridrivna elfordon. Övergången till hållbara transporter går snabbt och nya tekniska lösningar erbjuds regelbundet för att möta de framtida behoven av elfordon, inklusive batteridrivna lastbilar. Detta kräver kontinuerligt en snabb utveckling av den batteri-elektriska lastbilen, tillsammans med kylsystemet. För att validera kylsystemet är Scanias föredragna metoder testning och 3D-simuleringar. Dessa tillvägagångssätt är dock tidskrävande och kan inte matcha takten i designen eller utvecklingen. Denna avhandling behandlar implementeringen av att använda 1D-simuleringar (GT-Suite) för att utföra kylvätskefyllningssimuleringar som ett effektivare tillvägagångssätt genom att studera fyllningen av batterikylsystemet i en elektrisk lastbil och senare validera resultaten som erhållits med en testrigg. I denna avhandling definierades olika fall, var och en lägga till mer komplexitet till kretsen, och de undersökta parametrarna var påfyllningstiderna och platsen för luftfällor. Slutligen utvecklades ett fall med en sluten krets och kör en kylvätskepump för att studera möjligheterna att utforma snabbare deaerationstekniker för kretsen. Arbetet i denna avhandling kan användas som ett exempel på hur fyllningssimuleringar kan utföras med GT-Suite. Denna avhandling är en bra utgångspunkt och utforskar en enorm potential i att använda 1D-simuleringar för att simulera kylvätske-luftinteraktionen i ett kylsystem. Resultaten visade dock att GT-Suite v2020 och v2021 saknar en robust modell för att korrekt simulera interaktionen mellan kylvätska och luft i vissa delar av kretsen. Dessutom kunde simuleringsmodellen inte få en steady state-lösning i vissa fall vilket resulterade i skillnader mellan resultaten från testriggen och simuleringarna. Sammanfattningsvis konstaterades det att 1D-simuleringar inte är en idealisk väg framåt när enskilda komponenter i kylkretsen övervägs, till exempel kylplattorna, men är mycket snabbare och verkar vara en lovande metod för att få en översikt på systemnivå.

In this thesis we investigate the use of pairwise testing for PLC embedded software. We compare these automatically generated tests with tests created manually by industrial engineers. The tests were evaluated in terms of fault detection, code coverage and cost. In addition, we compared pairwise testing with randomly generated tests of the same size as pairwise tests. In order to automatically create test suites for PLC software a previously created tool called Combinatorial Test Tool (CTT) was extended to support pairwise testing using the IPOG algorithm. Once test suites were created using CTT they were executed on real industrial programs. The fault detection was measured using mutation analysis. The results of this thesis showed that manual tests achieved better fault detection (8% better mutation score in average) than tests generated using pairwise testing. Even if pairwise testing performed worse in terms of fault detection than manual testing, it achieved better fault detection in average than random tests of the same size. In addition, manual tests achieved in average 97.29% code coverage compared to 93.95% for pairwise testing, and 84.79% for random testing. By looking closely on all tests, manual testing performed equally good as pairwise in terms of achieved code coverage. Finally, the number of tests for manual testing was lower (12.98 tests in average) compared to pairwise and random testing (21.20 test in average). Interestingly enough, for the majority of the programs pairwise testing resulted in fewer tests than manual testing.

This thesis presents and analyzes the author's original jazz composition "A Hero's Journey," based on the ancient and widespread storytelling pattern that Joseph Campbell called the "monomyth." Using major concepts from the monomyth, the author composed a suite for ten-piece jazz orchestra consisting of six scenes divided into two acts. Although rooted in the jazz tradition, the piece borrows freely from classical music, African music, Indian music, and modern rock and hip-hop to create an adventurous and continually evolving musical experience. This thesis first provides an overview of the entire suite, then discusses its important melodic themes, and finally analyzes the techniques used for harmonic development within the piece. / text

En 1999, M.Chas et D.Sullivan ont mis en évidence sur l'homologie de l'espace des lacets libres d'une variété une structure de BV-algèbre. C'est ce qui fonde la théorie topologique des cordes. Dans cette thèse, nous montrons comment la compatibilité de la suite spectrale de Serre aux morphismes de Gysin de plongements lisses de codimension finie entre vari étés permet d'effectuer des calculs de ces structures de topologie des cordes. Nous étudions essentiellement le ”loop produit” et le ”loop coproduit” qui munissent l'homologie de l'espace des lacets libres d'une vari été d'une structure d'algèbre de Frobenius sans counité.

Dans cette thèse, décomposée en deux parties, nous nous intéressons à l'étude des vecteurs propres associés aux valeurs propres de module 1 d'un opérateur linéaire borné sur un espace de Banach séparable. La première partie de la thèse fait suite à un travail réalisé par F. Bayart et S. Grivaux dans lequel ils donnent une condition portant sur les vecteurs propres associés aux valeurs propres de module 1 d'un opérateur sur un espace de Hilbert complexe séparable pour qu'il admette une mesure gaussienne non dégénérée pour laquelle il est fortement mélangeant. En exploitant cette condition sur les vecteurs propres, nous cherchons à estimer la vitesse de mélange de l'opérateur en question. Nous montrons qu'il n'y a pas de vitesse de mélange globale en général puis nous démontrons que si les vecteurs propres de l'opérateur sont paramétrés par des champs de vecteurs propres réguliers, alors on a une vitesse de mélange si on travaille avec des classes de fonctions suffisamment régulières. Dans la deuxième partie de la thèse, on étudie le spectre ponctuel unimodulaire d'un opérateur linéaire borné sur un espace de Banach séparable. En nous appuyant sur les résultats connus sur les suites de Jamison, nous étudions l'analogue de ces suites pour les semi-groupes d'opérateurs fortement continus et nous en donnons une carctérisation. Nous nous intéressons également à des problèmes de construction d'espaces de Banach et d'opérateurs sur ces espaces pour des suites qui ne sont pas des suites de Jamison. Nous généralisons ensuite la notion de suite de Jamison en étudiant le spectre ponctuel unimodulaire d'une représentation d'un groupe donné qui est borné par rapport à suite d'éléments de ce groupe. En particulier, on caractérise les suites de Jamison d'un groupe abélien de type fini. / In this thesis, we study into two different parts the eigenvectors associated to unimodular eigenvalues of an operator on a separable Banach space. The first part of the thesis follows a work of F. Bayart and S. Grivaux where they give condition on the eigenvectors associated to unimodular eigenvalues of an operator on a complex separable Hilbert space to admit a Gaussian measure for which the operator defines a strongly mixing transformation. With this condition on the eigenvectors, we investigate the subject of speed of mixing of the strongly mixing operator. We prove that there is no way to obtain a uniform speed of mixing in general. Then we prove that if the eigenvectors associated to unimodular eigenvalues of the operator are parametrized by a countable family of regular eigenvector fields then we have a speed of mixing by considering regular classes of functions. In the second part of the thesis, we study the unimodular point spectrum of an operator on a separable Banach space. By using the results on Jamison sequences, we give a characterization of Jamison sequences for strongly continuous semigroups. We are also concerned in the problem of construction of Banach space and operator on this space when the sequences are not Jamison sequences. Then we generalize the notion of Jamison sequence by studying the unimodular point spectrum of a group representation which is bounded with respect to some sequence of this group. In particular, we characterize Jamison sequences of a finitely generated abelian group.

Title: Applicability of Neural Computer Control in Sport. Objectives: Find out applicability of neural computer control in the sport research using Emotiv Epoc Neuroheadset device and Emotiv Control Panel application. Methods: Case study. Results: New research direction in sport using the Emotiv Epoc Neuroheadset device has been the significant contribution of the Thesis. All the research and results that has been gained will be used as the base for the future research. Results will be applied in more complex research using Emotiv Epoc Neuroheadset in context of different physical activities. Keywords: Emotiv, Cognitiv Suite, virtual cube, physical activity, stress

Doctor of Philosophy / Department of Computing and Information Sciences / David A. Gustafson / Natural Language understanding over a set of sentences or a document is a challenging problem. We approach this problem using semantic extraction and an ontology for answering questions based on the data. There is more information in a sentence than that found by extracting out the visible terms and their obvious relations between one another. It is the hidden information that is not seen that gives this solution the advantage over alternatives. This methodology was tested against the FraCas Test Suite with near perfect results (correct answers) for the sections that are the focus of this paper (Generalized Quantifiers, Plurals, Adjectives, Comparatives, Verbs, and Attitudes). The results indicate that extracting the visible semantics as well as the unseen semantics and their interrelations using an ontology to reason over it provides reliable and provable answers to questions validating this technology.

Este trabalho apresenta um estudo paleomagnético realizado em rochas ácidas da Suíte Colíder e rochas máficas associadas, situadas no Norte do Mato Grosso, parte sudoeste do Cráton Amazônico. Foram coletados 5 cilindros e 42 blocos orientados de rochas ácidas e intermediárias (12 sítios) da Suíte Colider e 75 cilindros e 3 blocos orientados de rochas máficas (11 sítios) pertencentes à Intrusiva Guadalupe e à Suíte Intrusiva Flor da Serra localizados nas proximidades de Alta Floresta, Colíder, Terra Nova e Matupá. A Suíte Colíder foi datada pelo método UPb em zircões e apresenta idades entre 1,80 e 1,78 Ga. Para a Intrusiva Guadalupe ainda não existem determinações radiométricas que estabeleçam a sua idade. A investigação da mineralogia magnética feita através de curvas termomagnéticas, de indução magnética e de histerese, além do tratamento térmico e por campos magnéticos alternados, indica a hematita como sendo o principal portador magnético da maioria das rochas ácidas. Por outro lado, as rochas máficas apresentam grãos de titanomagnetita pobre em Ti, a maioria com estrutura de pseudo-domínio simples (PSD). Espécimes destas rochas após as desmagnetizações térmicas e por campos magnéticos alternados apresentaram duas direções de magnetização característica. Uma delas (componente B) é representada por direções norte (sul) com inclinações negativas (positivas) (Dm=187.4°, Im=50.9°, N=16 ?95=11.3°, K=11.7) que foram isoladas para a maioria das rochas da Suíte Colíder e máficas associadas. A outra (componente A) é representada por direções norte com inclinações positivas ((Dm=356.5°, Im=47.6°, N=3, ?95=15.8°, K=61.9) e foi encontrada para o gabro Guadalupe e outros dois diques máficos. Dois pólos paleomagnéticos foram determinados para estas componentes, os quais estão localizados em 289.4°E, -65.4°N (?95=12.9°) (pólo SC, Suíte Colíder) e 298.8°E, 50.4°N (?95=15.1°) (pólo IG, Intrusiva Guadalupe). O pólo SC (fator de confiabilidade Q=5) de idade 1789 ± 7 Ma é considerado um pólo de referência para o Cráton Amazônico. Reconstruções paleogeográficas obtidas através de pólos de referência do Paleoproterozóico sugerem que a Laurentia, a Báltica, o Norte da China e o Cráton Amazônico formavam uma grande massa continental (Supercontinente Columbia) entre 1830-1770 Ma. Esta hipótese é reforçada por dados geológicos que evidenciam a existência de cinturões paleoproterozóicos bem alinhados nestas quatro massas continentais, sendo estes formados por cinturões magmáticos relacionados a subducções com a mesma polaridade. / This work presents a paleomagnetic study perfomed on felsic volcanic rocks of the Colider Suite (5 oriented cores and 42 oriented hand samples, 12 sites), Flor da Serra and Guadalupe mafic rocks (75 oriented cores and 3 oriented hand samples, 11 sites). These units are situated in the northern Mato Grosso State (southwestern Amazonian Craton), close to the Alta Floresta, Colider, Terra Nova, and Matupá cities. The Colider Suite rocks have been dated by the U-Pb (zircon) method, and ages vary between 1.80 and 1.78 Ga. Radiometric determinations are not yet available for the Guadalupe Intrusive. Two very stable magnetization components were isolated after AF and thermal demagnetization: northern (southern) directions with moderate to steep downward (upward) inclinations (component B - Dm=187.4°, Im=50.9°, N=16, ?95=11.3°, K=11.7) were isolated for most Colider Suite rocks and associated mafic rocks. Northern upward direction with moderate inclination (component A - Dm=356.5°, Im=47.6°, N=3, ?95=15.8°, K=61.9) was found for the Guadalupe gabbro and other two mafic dikes. Rock magnetism experiments show that the magnetization is carried by hematite, which is probably primary in origin, in the felsic rocks. In the mafic rocks the main magnetic carrier is Ti-poor titanomagnetite in the PSD magnetic structure. Two paleomagnetic poles were determined for these components, which are located at 289.4°E, -65.4°N (?95=12.9°) (SC pole, Colider Suite) and 298.8°E, 50.4°N (?95=15.1°) (IG pole, Guadalupe Intrusive). An age of 1.780 ± 7 Ma is attributted to pole SC (quality factor Q=5), which is considered a key pole for the Amazon Craton. Paleogeographic reconstructions using Paleoproterozoic key poles suggest that Laurentia, Baltica, North China and the Amazon Craton were located in laterally contiguous positions forming a huge continental mass (Columbia Supercontinent) at 1830-1770 Ma ago. This hypothesis is reinforced by the geological evidence that paleoproterozoic mobile belts of these four continental masses fit well in the reconstruction, being formed by contemporaneous subduction-related magmatic arc belts with the same tectonic polarity.

Esta dissertação refere-se à análise, em seus fundamentos estruturais, estilísticos e instrumentais da obra Guitare pour Orquestre, criada em 1934 pelo compositor suíço Frank Martin (1890-1974) para grande orquestra. O trabalho se desenvolveu através da comparação entre as fontes manuscritas para orquestra e o original para violão, composto um ano antes, conhecido como Quatre Pièces Brèves pour la Guitare. / This dissertation refers to the analysis, in the structural, stylistic, and instrumental fundamentals of the musical composition Guitare pour Orquestre, created in 1934 by the Swiss composer Frank Martin (1890-1974) for the whole orchestra. The paper was developed by the comparison among the manuscripts for orchestra and the original composed for the guitar the previous year, known as Quatre Pièces Brèves pour la Guitare.

Este trabalho apresenta um estudo paleomagnético realizado em rochas ácidas da Suíte Colíder e rochas máficas associadas, situadas no Norte do Mato Grosso, parte sudoeste do Cráton Amazônico. Foram coletados 5 cilindros e 42 blocos orientados de rochas ácidas e intermediárias (12 sítios) da Suíte Colider e 75 cilindros e 3 blocos orientados de rochas máficas (11 sítios) pertencentes à Intrusiva Guadalupe e à Suíte Intrusiva Flor da Serra localizados nas proximidades de Alta Floresta, Colíder, Terra Nova e Matupá. A Suíte Colíder foi datada pelo método UPb em zircões e apresenta idades entre 1,80 e 1,78 Ga. Para a Intrusiva Guadalupe ainda não existem determinações radiométricas que estabeleçam a sua idade. A investigação da mineralogia magnética feita através de curvas termomagnéticas, de indução magnética e de histerese, além do tratamento térmico e por campos magnéticos alternados, indica a hematita como sendo o principal portador magnético da maioria das rochas ácidas. Por outro lado, as rochas máficas apresentam grãos de titanomagnetita pobre em Ti, a maioria com estrutura de pseudo-domínio simples (PSD). Espécimes destas rochas após as desmagnetizações térmicas e por campos magnéticos alternados apresentaram duas direções de magnetização característica. Uma delas (componente B) é representada por direções norte (sul) com inclinações negativas (positivas) (Dm=187.4°, Im=50.9°, N=16 ?95=11.3°, K=11.7) que foram isoladas para a maioria das rochas da Suíte Colíder e máficas associadas. A outra (componente A) é representada por direções norte com inclinações positivas ((Dm=356.5°, Im=47.6°, N=3, ?95=15.8°, K=61.9) e foi encontrada para o gabro Guadalupe e outros dois diques máficos. Dois pólos paleomagnéticos foram determinados para estas componentes, os quais estão localizados em 289.4°E, -65.4°N (?95=12.9°) (pólo SC, Suíte Colíder) e 298.8°E, 50.4°N (?95=15.1°) (pólo IG, Intrusiva Guadalupe). O pólo SC (fator de confiabilidade Q=5) de idade 1789 ± 7 Ma é considerado um pólo de referência para o Cráton Amazônico. Reconstruções paleogeográficas obtidas através de pólos de referência do Paleoproterozóico sugerem que a Laurentia, a Báltica, o Norte da China e o Cráton Amazônico formavam uma grande massa continental (Supercontinente Columbia) entre 1830-1770 Ma. Esta hipótese é reforçada por dados geológicos que evidenciam a existência de cinturões paleoproterozóicos bem alinhados nestas quatro massas continentais, sendo estes formados por cinturões magmáticos relacionados a subducções com a mesma polaridade. / This work presents a paleomagnetic study perfomed on felsic volcanic rocks of the Colider Suite (5 oriented cores and 42 oriented hand samples, 12 sites), Flor da Serra and Guadalupe mafic rocks (75 oriented cores and 3 oriented hand samples, 11 sites). These units are situated in the northern Mato Grosso State (southwestern Amazonian Craton), close to the Alta Floresta, Colider, Terra Nova, and Matupá cities. The Colider Suite rocks have been dated by the U-Pb (zircon) method, and ages vary between 1.80 and 1.78 Ga. Radiometric determinations are not yet available for the Guadalupe Intrusive. Two very stable magnetization components were isolated after AF and thermal demagnetization: northern (southern) directions with moderate to steep downward (upward) inclinations (component B - Dm=187.4°, Im=50.9°, N=16, ?95=11.3°, K=11.7) were isolated for most Colider Suite rocks and associated mafic rocks. Northern upward direction with moderate inclination (component A - Dm=356.5°, Im=47.6°, N=3, ?95=15.8°, K=61.9) was found for the Guadalupe gabbro and other two mafic dikes. Rock magnetism experiments show that the magnetization is carried by hematite, which is probably primary in origin, in the felsic rocks. In the mafic rocks the main magnetic carrier is Ti-poor titanomagnetite in the PSD magnetic structure. Two paleomagnetic poles were determined for these components, which are located at 289.4°E, -65.4°N (?95=12.9°) (SC pole, Colider Suite) and 298.8°E, 50.4°N (?95=15.1°) (IG pole, Guadalupe Intrusive). An age of 1.780 ± 7 Ma is attributted to pole SC (quality factor Q=5), which is considered a key pole for the Amazon Craton. Paleogeographic reconstructions using Paleoproterozoic key poles suggest that Laurentia, Baltica, North China and the Amazon Craton were located in laterally contiguous positions forming a huge continental mass (Columbia Supercontinent) at 1830-1770 Ma ago. This hypothesis is reinforced by the geological evidence that paleoproterozoic mobile belts of these four continental masses fit well in the reconstruction, being formed by contemporaneous subduction-related magmatic arc belts with the same tectonic polarity.