Heavy-duty trucks are in idle operation during long periods of time, providing the vehicles with electricity via the alternator at standstill. Idling trucks contribute to large amounts of emissions and high fuel consumption as a result of the low efficiency from fuel to electricity. Truck manufacturers are working to develop equipment using auxiliary power units to supply the trucks with electricity, which operate independently of the main engine. Fuel cell-based auxiliary power units could offer high efficiencies and low noise and vibrations. The hydrogen required for the fuel cell can be generated in an onboard fuel reformer. This thesis is devoted to hydrogen generation from dimethyl ether, DME, by autothermal reforming focusing on the application of fuel cell auxiliary power units. In the search for alternative fuels, DME has lately been identified as a promising diesel substitute. The first part of the thesis gives an introduction to the field of DME reforming with a literature survey of recent studies within the area. Included are also results from thermodynamic equilibrium calculations. In the following parts of the thesis, experimental studies on autothermal reforming of DME are presented. A reformer constructed to generate hydrogen to feed a 5 kWe polymer electrolyte fuel cell is evaluated with emphasis on trying to work close to a practically viable process, i.e. without external heating and using gas mixtures resembling real conditions. Additional experiments have been conducted to investigate the use of catalytic oxidation of dimethyl ether as a heat source during startup. The results of these studies are presented in Paper I. In the second experimental study of this thesis, which is presented in Paper II, Pd-based monolithic catalysts are evaluated at small scale for use in autothermal reforming of DME. A screening of various catalyst materials has been performed followed by a study of the influence on the product composition of varying operating parameters such as oxygen-to-DME ratio, steam-to-DME ratio, and temperature. / QC 20101115

Despite the tremendous development in the autonomous vehicle industry, the tools for systematic testing are still lacking. Real-world testing is time-consuming and above all, dangerous. There is also a lack of a framework to automatically generate critical scenarios to test autonomous vehicles. This thesis develops a general framework for end- to- end testing of an autonomous vehicle in a simulated environment. The framework provides the capability to generate and execute a large number of traffic scenarios in a reliable manner. Two methods are proposed to compute the criticality of a traffic scenario. A so-called critical value is used to learn the probability distribution of the critical scenario iteratively. The obtained probability distribution can be used to sample critical scenarios for testing and for benchmarking a different autonomous vehicle. To describe the static and dynamic participants of urban traffic scenario executed by the simulator, OpenDrive and OpenScenario standards are used. / Trots den enorma utvecklingen inom den autonoma fordonsindustrin saknas fortfarande verktygen för systematisk testning. Verklig testning är tidskrävande och framför allt farlig. Det saknas också ett ramverk för att automatiskt generera kritiska scenarier för att testa autonoma fordon. Denna avhandling utvecklar en allmän ram för end-to-end- test av ett autonomt fordon i en simulerad miljö. Ramverket ger möjlighet att generera och utföra ett stort antal trafikscenarier på ett tillförlitligt sätt. Två metoder föreslås för att beräkna kritiken i ett trafikscenario. Ett så kallat kritiskt värde används för att lära sig sannolikhetsfördelningen för det kritiska scenariot iterativt. Den erhållna sannolikhetsfördelningen kan användas för att prova kritiska scenarier för testning och för benchmarking av ett annat autonomt fordon. För att beskriva de statiska och dynamiska deltagarna i stadstrafikscenariot som körs av simulatorn används OpenDrive och OpenScenario-standarder.

No description available.

The performance of nonstructural components in critical infrastructure, such as nuclear power plants (NPPs), has been primarily based on experience and historical data. This topic has been attracting increased interest from researchers following the Fukushima Daiichi nuclear disaster in 2011. This disaster demonstrated the importance of using batteries in NPPs as an auxiliary power system, where such systems can provide the necessary power to mitigate the risk of serious accidents. However, little research has been conducted on such nonstructural components to evaluate their performance following the post- Fukushima safety requirements, recommended by several nuclear regulators worldwide [e.g., Nuclear Regulatory Commission (NRC), and Nuclear Safety Commission (NSC)]. To address this research gap, this dissertation investigates the lateral performance of an auxiliary battery power system (ABPS) similar to those currently existing/operational in NPPs in Canada. The ABPS was experimentally tested under displacement-controlled quasi-static cyclic fully-reversed loading that simulates lateral seismic demands. Due to the presence of sliding batteries, the ABPS was then tested dynamically under increased ground motion levels on a shake table. The experimental results demonstrated that the design guidelines and fragility curves currently assigned to battery rack systems in the FEMA P58 prestandards do not encompass all possible failure mechanisms. A 3D numerical model was also developed using OpenSees software. The model was validated using the experimental results. The model results showed that the lateral performance of ABPS with different configurations (i.e. different lengths, tiers, and seismic categories) is influenced by the capacity of the L-shaped connection between the side rails and the end rail. However, the model was not able to predict all the damage states from the dynamic experimental tests, since the rocking/sliding/impact behavior of the batteries is a highly complex nonlinear problem by nature and beyond the scope of this study. The model presented is limited to the assessment of the lateral performance of different ABPS statically. This dissertation demonstrated the difference between the observed behavior of laboratory-controlled lateral performance tests of ABPSs operational/existing in NPPs and the behavior of ABPSs found in the literature that relied on limited historical and experience data. Finally, this dissertation laid the foundations for the need to further investigate the behavior of other safety-related components in NPPs and assess their compliance with new post-Fukushima design requirements. / Thesis / Doctor of Philosophy (PhD)

<p dir="ltr">This thesis presents advances in numerical methods for partial differential equations (PDEs) and optimization problems, with a focus on improving efficiency, stability, and accuracy across various applications. We begin by addressing 3D Poisson-type equations, developing a GPU-accelerated spectral-element method that utilizes the tensor product structure to achieve extremely fast performance. This approach enables solving problems with over one billion degrees of freedom in less than one second on modern GPUs, with applications to Schrödinger and Cahn<i>–</i>Hilliard equations demonstrated. Next, we focus on parabolic PDEs, specifically the Cahn<i>–</i>Hilliard equation with dynamical boundary conditions. We propose an efficient energy-stable numerical scheme using a unified framework to handle both Allen<i>–</i>Cahn and Cahn<i>–</i>Hilliard type boundary conditions. The scheme employs a scalar auxiliary variable (SAV) approach to achieve linear, second-order, and unconditionally energy stable properties. Shifting to a machine learning perspective for PDEs, we introduce an unsupervised learning-based numerical method for solving elliptic PDEs. This approach uses deep neural networks to approximate PDE solutions and employs least-squares functionals as loss functions, with a focus on first-order system least-squares formulations. In the realm of optimization, we present an efficient and robust SAV based algorithm for discrete gradient systems. This method modifies the standard SAV approach and incorporates relaxation and adaptive strategies to achieve fast convergence for minimization problems while maintaining unconditional energy stability. Finally, we address optimization in the context of machine learning by developing a structure-guided Gauss<i>–</i>Newton method for shallow ReLU neural network optimization. This approach exploits both the least-squares and neural network structures to create an efficient iterative solver, demonstrating superior performance on challenging function approximation problems. Throughout the thesis, we provide theoretical analysis, efficient numerical implementations, and extensive computational experiments to validate the proposed methods. </p>

The bacteria in host-associated microbial communities influence host health through various mechanisms, such as immune stimulation or the release of metabolites. However, viruses that target bacteria, called bacteriophages (phages), may also shape the animal microbiome. Most phage lifecycles can be classified as either lytic or temperate. Lytic phages infect and directly kill bacterial hosts and can directly regulate bacterial population size. Temperate phages, in contrast, have the potential to undergo either a lytic cycle or integrate into the bacterial genome as a prophage. As a prophage, the phage may alter bacterial host phenotypes by carrying novel genes associated with auxiliary metabolic functions, virulence-enhancing toxins, or resistance to other phage infections. Lytic phages may also carry certain auxiliary metabolic genes, which are instead used to takeover bacterial host functions to better accommodate the lytic lifecycle. In either case, the ability to alter bacterial phenotypes may have important ramifications on host-associated communities. This dissertation focused on the genetic contributions that phages, and particularly prophages, provide to the bacterial members of two separate host-associated communities: the honey bee (Apis mellifera) gut microbiome and the amphibian skin microbiome. My second chapter surveyed publicly available whole genome sequences of common honey bee gut bacterial species for prophages. It revealed that prophage distribution varied by bacterial host, and that the most common auxiliary metabolic genes were associated with carbohydrate metabolism. In chapter three, this bioinformatic pipeline was applied to the amphibian skin microbiome. Prophages were identified in whole genome bacterial sequences of bacteria isolated from the skin of American bullfrogs (Lithobates catesbeianus), eastern newts (Notophthalmus viridescens), Spring peepers (Pseudacris crucifer) and American toads (Anaxyrus americanus). Prophages were additionally identified in publicly available genomes of non-amphibian isolates of Janthinobacterium lividum, a bacteria found both on amphibian skin and broadly in the environment. In addition to a diverse set of predicted prophages across amphibian bacterial isolates, several Janthinobacterium lividum prophages from both amphibian and environmental isolates appear to encode a chitinase-like gene undergoing strong purifying selection within the bacterial host. While identifying the specific function of this gene would require in vitro isolation and testing, its high homology to chitinase and endolysins suggest it may be involved in the breakdown of either fungal or bacterial cellular wall components. Finally, my fourth chapter revisits the honey bee gut system by investigating the role of geographic distance in bacteriophage community similarity. A total of 12 apiaries across a transect of the United States, from Virginia to Washington, were sampled and honey bee viromes were sequenced, focusing on the lytic and actively lysing temperate community of phages. Although each apiary possessed many unique bacteriophages, apiaries that were closer together did have more similar communities. Each bacteriophage community also carried auxiliary carbohydrate genes, especially those associated with sucrose degradation, and antimicrobial resistance genes. Combined, the results of these three studies suggest that bacteriophages, and particularly prophages, may be contributing to the genetic diversity of the bacterial community through nuanced relationships with their bacterial hosts. / Doctor of Philosophy / The microbial communities of animals, called "microbiomes", play important roles in the health of animals. The bacteria in these microbiomes can help strengthen the immune system, provide resistance to dangerous pathogens, and break down nutrients. However, bacteria are not alone in the microbiome; viruses are also present. Surprisingly, the vast majority of the world's viruses, even those living inside animals, infect bacteria. These viruses, called "bacteriophages" or "phages", can impact the bacterial communities in a microbiome. Phages can be grouped in to two broad categories based on lifecycle. Lytic phages kill the bacterial host directly after infection. Temperate phages, on the other hand, can either immediately kill the host like lytic phages or alternatively, become a part of the bacterial genome and live as prophages. Phages with both lifecycles can sometimes carry genes that, although not essential to the phage, may change the traits of the bacteria during infection. For example, some phages carry toxin genes, which bacteria use to cause disease in animals. Other phages might carry genes that provide antibiotic resistance or alter the metabolism of the infected bacteria. If a phage gene benefits the infected bacteria, the bacteria may begin interacting with its environment in a new way or may even become more abundant. Alternatively, phages that directly kill infected bacteria may have a negative effect on bacterial population sizes. To begin unraveling how phages influence bacterial species in microbiomes, I investigated two different animal systems: the Western honey bee (Apis mellifera) gut microbiome and the amphibian skin microbiome. I first identified prophages of several common bacterial species that reside in the honey bee gut (Chapter 2). Prophages were more common in certain bacterial species than others, and some possessed genes associated with the breakdown of sugars or pollen, suggesting they help honey bees process their food. Using similar techniques, I then identified prophages in bacteria isolated from the skin microbiomes of several amphibian species common in the eastern United States (American bullfrogs, Eastern newts, Spring peepers, and American toads) (Chapter 3). Most notably, the bacteria Janthinobacterium lividum may benefit from prophages that carry genes for potentially antifungal chitinase enzymes that destroy the fungal cell wall. Finally, I returned to the honey bee gut microbiome system by investigating how honey bee bacteriophage communities change over large geographic distances (Chapter 4). This study, which examined honey bees from 12 apiaries sampled from the east to west coast of the United States, looks primarily at lytic phage and temperate phage that are not integrated as prophage, but are instead seeking a bacterial host to infect. I found that nearby apiaries tended to have more similar communities of bacteriophages, compared to apiaries far away. Additionally, most bacteriophage communities carry genes associated with the breakdown of sugars like sucrose. Overall, these three studies show that phages, and especially prophages, contribute to the genetic landscape of the microbiome by broadly providing bacterial hosts with access to a diverse set of genes.

This thesis will examine the issues of women's spirituality, suffering, their survival in the midst of suffering. These issues will be examined in the context of a post-apartheid South Africa within a Christian framework looking at issues of faith and spirituality. More particularly the Methodist church will be examined, looking at key aspects of its spirituality and how that might have contributed and provided for its women. Two of the Methodist Women's organisations, the Women's Manyano and the Women's Auxiliary will be looked at; their history and significant aspects of their programmes and structures that have led them to be important places for the women who are part of them. The thesis will seek to determine how the Methodist Women's organisations have impacted the spirituality of two women especially when they have gone through difficult times. The lives of these two women are examined through conversations the author has with them. In particular the author will examine particular circumstances of these women and seek to set them against a background of their spirituality and in particular whether their particular Methodist organisation played any role during this time. / Christian Spirituality, Church History and Missiology / M. Th. (Christian Spirituality)

En français contemporain, l’hésitation dans le choix entre être et avoir comme auxiliaire dans les formes verbale composées (par ex. le passé composé) de certains verbes intransitifs (par ex. tomber), surtout dans des variétés non standards du français, démonte clairement l’écart qui existe entre le français normé et le français oral quotidien. Cette hésitation, voire l’incertitude, dans le choix de l’auxiliaire n’est pas une particularité arbitraire ou aléatoire de la langue contemporaine; elle s’inscrit plutôt dans une tendance diachronique et pan-romane que l’on a pu observer dans la langue française depuis son émancipation du latin. Notre étude, qui se fonde sur la théorie de la grammaticalisation, propose une analyse du discours grammatical de 1500 – époque où sont apparues les premières grammaires du français – jusqu’à 1789 avec la Révolution française, signalant le moment où la langue se serait stabilisée et aurait adopté sa forme moderne. Nous divisons les trois siècles de notre étude en quatre périodes distinctes, déjà bien établies dans les études historiques. Ce sont : - Le XVIe siècle (1530-1599) - La première moitié de la période classique (1600-1650) - La deuxième moitié de la période classique (1651-1715) - Le Siècle des lumières (1716-1789) Pour chacune des quatre périodes, l’analyse se fait en trois temps. Premièrement, nous recensons les grammairiens, les lexicographes et les essayistes qui se sont prononcés, soit explicitement, soit implicitement, sur l’emploi des auxiliaires être et avoir dans les formes verbales composées (FVC). Nous identifions, là où cela est possible, le dialecte maternel de chaque auteur et son modèle d’usage. Deuxièmement, nous résumons les observations et les commentaires sur l’emploi des auxiliaires dans les FVC formulés par chaque auteur, y compris les tentatives d’explication quant à la variation dans le choix de l’auxiliaire. Finalement, nous rapportons la description de l’emploi des auxiliaires dans les FVC proposée par des historiens de la langue française pour la période en question. Notre étude nous permet de confirmer, en ce qui concerne les FVC, certaines tendances déjà reconnues dans la langue française et d’en identifier d’autres. Également, nous avons pu repérer, voire circonscrire des facteurs qui ont eu une influence sur le choix, tels les verbes plus sensibles à l’alternance, les grammairiens dont l’autorité s’est imposé plus que d’autres ou avant les autres dans l’établissement de la norme sur ce point, les contextes sociaux dans lesquels le débat a eu lieu et la période pendant laquelle les préoccupations sur ce choix était les plus intenses. / In contemporary French, the hesitation in the choice between être and avoir as an auxiliary verb in compound verb forms (i.e. the passé composé) of certain intransitive verbs (i.e. tomber), especially in non-standard varieties of French, clearly demonstrates the gap that exists between normative French and everyday spoken French. This hesitation, or uncertainty, in the choice of the auxiliary is not an arbitrary or random characteristics of contemporary French; it falls squarely within a diachronical and cross-Romance trend that can be observed in the French language since its emancipation from Latin. This study, which is based on Grammaticalisation Theory, is an analysis of grammatical discourse from 1500 - the era when the first grammars of French appeared - to 1789 and the French revolution, a period when the language is said to have been standardised and its modern form established. The three centuries that this study covers are divided into four distinct periods, already well established by previous historical studies. These periods are : - The 16th century (1530-1599) - The first half of the Classical Period (1600-1650) - The second half of the Classical Period (1651-1715) - The Enlightenment (1716-1789) For each of these four periods, there are three levels of analysis. First, we identify the grammarians, lexicographers and essayists who, explicitly or implicitly, express their views on the use of the auxiliaries avoir and être in compound verbs forms, as well as, where possible, their native dialect and the model of French (usage) they promote. Second, we summarize the observations and commentaries of each author on the choice of auxiliary in compound verb forms, including any attempts to explain the variation attested during the period. Finally, we look at the description, for each period, of the use of auxiliaries in compound verb forms put forward by historians of the French language. Our study has allowed us to confirm certain established trends related to auxiliary use in compound verb forms in French and to identify others. As well, we identify, or define, the factors that influence auxiliary selection, such as the verbs most likely to alternate between the two auxiliaries, the grammarians who had the greatest influence or who set the groundwork for establishing the norm for this grammatical point, the social contexts in which the grammatical debate took place and the periods during which the concern over auxiliary selection was the most intense.

Ce travail a pour objet d'étudier les emplois du verbe-outil kāna en arabe contemporain. 1ère partie : nous commençons par faire la synthèse des descriptions de kāna chez les grammairiens arabes et arabisants, en nous intéressant au contenu de ces descriptions ainsi qu'à leur forme et à leur adéquation avec la langue décrite. 2ème partie : pour travailler sur la langue contemporaine, nous optons pour la méthodologie de la linguistique de corpus. Après une discussion théorique et un état de la recherche en linguistique de corpus appliquée à la langue arabe, nous réfléchissons à l'élaboration de notre propre corpus, un corpus numérique, multigénérique et diatopique d'arabe contemporain écrit non dialectal. Comprenant 1,5 millions de mots, il contient à part égale des textes écrits après 2002 provenant de trois genres (blogs, littérature, presse) et de sept pays (Arabie Saoudite, Égypte, Liban, Maroc, Syrie, Tunisie, Yémen). 3ème partie : nous classifions les 15 000 occurrences du verbe kāna extraites de notre corpus et analysons leurs emplois. Nous quantifions les différents types d'emploi, de structures et d'expressions en nous efforçant de dégager les valeurs portées par ce verbe, en particulier les valeurs modales. Nous plaçons cette étude dans le cadre d'une écologie de la langue en étudiant le milieu diatopique et générique duquel les occurrences proviennent. / This dissertation studies the various uses of the verb-tool kāna in contemporary Arabic. Part I. We start by reviewing how kāna has been described by Arab grammarians and Arabic specialists. We look at both content and form, evaluating the extent to which these descriptions conform to the language they describe. Part II. In order to examine the contemporary Arabic language we chose to use the corpus linguistics methodology. After outlining some theoretical considerations and providing a state of the art in corpus linguistics applied to the Arabic language, we discuss the constitution of our own corpus. This digital corpus includes three types of texts (blogs, literature, press) from seven different countries (Saudi Arabia, Egypt, Lebanon, Morocco, Syria, Tunisia and Yemen). Numbering altogether 1.5 million words, the texts were all published after 2002. Part III. We classify 15,000 instances of kāna and analyze their uses. We quantify the various functions, patterns and expressions through which kāna is deployed, seeking to identify the values conveyed by the verb, especially modal values. We locate this study within an ecology of language by scrutinizing the diatopic and generic settings of the various occurrences.

Approved for public release; distribution in unlimited. / This thesis examines the role of paramilitary forces in the counterinsurgency operations being launched by the Armed Forces of the Philippines (AFP) against the Communist Party of the Philippines (CPP) and the New People's Army (NPA). The Philippine government and the AFP firmly believe that the present Civilian Armed Force Geographical Unit Active Auxiliary (CAA) is an essential component of the AFP's Operational clear-hold-support methodology. Many scholars have argued that separating the Communist guerrillas from the populace is an important element in winning the counterinsurgency campaign. Isolating the Communist insurgents is done through the creation of local militia. However, some authors contend it would be dangerous for any government to train paramilitary forces because, in the long term, the governments are unsure of the future loyalties of these paramilitary forces. They may currently be working for the government, but as they work and gain skills, these paramilitary forces could use these same skills against the government in the future. Thus, it is quite dangerous to train paramilitary forces. The Philippine paramilitaries are good examples of paramilitary forces being used effectively for counterinsurgency. Their primary task of protecting the communities and the people from the coercive and abusive acts of the Communist insurgents are achieved. They are an effective counterinsurgency force because of proper training as well as command and control. This thesis concludes that the Philippine government and the AFP are headed in the right operational direction for utilizing paramilitary forces for village defense and as the protectors of the people. The paramilitary forces in the Philippines need the proper training as well as command and control in order to make these paramilitary forces effective counterinsurgency forces. / Colonel, Philippine Army