Les travaux de cette thèse porte sur le calcul d’un espace d’état navigable d’un véhicule routier, ainsi que sur l’observation et l’estimation de son état, à l’aide des méthodes ensemblistes par intervalles. Dans la première partie de la thèse, nous nous intéressons aux problèmes d’estimation d’état relevant de la dynamique du véhicule. Classiquement, l’estimation se fait en utilisant le filtrage de Kalman pour des problèmes d’estimation linéaires ou le filtrage de Kalman étendu pour les cas non-linéaires. Ces filtres supposent que les erreurs sur le modèle et sur les mesures sont blanches et gaussiennes. D’autre part, les filtres particulaires (PF), aussi connus comme Méthodes de Monte-Carlo séquentielles, constituent souvent une alternative aux filtres de Kalman étendus. Par contre, les performances des filtres PF dépendent surtout du nombre de particules utilisées pour l’estimation, et sont souvent affectées par les bruits de mesures aberrants. Ainsi, l’objectif principal de cette partie de travail est d’utiliser une des méthodes à erreurs bornées, qui est le filtrage par boites particulaires (Box Particle Filter (BPF)), pour répondre à ces problèmes. Cette méthode généralise le filtrage particulaire à l’aide des boites remplaçant les particules. A l’aide de l’analyse par intervalles, l’estimation de certains variables fortement reliées à la dynamique du véhicule comme le transfert de charge latérale, le roulis et la vitesse de roulis est donnée, à chaque instant, sous forme d’un intervalle contenant la vraie valeur simulée. Dans la deuxième partie de la thèse, une nouvelle formalisation du problème de calcul de l’espace navigable de l’état d’un véhicule routier est présentée. Un algorithme de résolution est construit, basé sur le principe de l’inversion ensembliste par intervalles et sur la satisfaction des contraintes. Nous cherchons à caractériser l’ensemble des valeurs de la vitesse longitudinale et la dérive au centre de gravité qui correspondent à un comportement stable du véhicule : pas de renversement ni dérapage. Pour décrire le risque de renversement, nous avons utilisé l’indicateur de transfert de charge latéral (LTR). Pour décrire le risque de dérapage, nous avons utilisé les dérives des roues. Toutes les variables sont liées géométriquement avec le vecteur d’état choisi. En utilisant ces relations, l’inversion ensembliste par intervalles est appliquée afin de trouver l’espace navigable de l’état tel que ces deux risques sont évités. L’algorithme Sivia est implémenté, approximant ainsi cet espace. Une vitesse maximale autorisée au véhicule est déduite. Elle est associée à un angle de braquage donné sur une trajectoire connue. / In this thesis, we aim to characterize a vehicle stable state domain, as well as vehicle state estimation, using interval methods.In the first part of this thesis, we are interested in the intelligent vehicle state estimation.The Bayesian approach is one of the most popular and used approaches of estimation. It is based on the calculated probability of the density function which is neither evident nor simple all the time, conditioned on the available measurements.Among the Bayesian approaches, we know the Kalman filter (KF) in its three forms(linear, non linear and unscented). All the Kalman filters assume unimodal Gaussian state and measurement distributions. As an alternative, the Particle Filter(PF) is a sequential Monte Carlo Bayesian estimator. Contrary to Kalman filter,PF is supposed to give more information about the posterior even when it has a multimodal shape or when the noise follows non-Gaussian distribution. However,the PF is very sensitive to the imprecision due by bias or noise, and its efficiency and accuracy depend mainly on the number of propagated particles which can easily and significantly increase as a result of this imprecision. In this part, we introduce the interval framework to deal with the problems of the non-white biased measurements and bounded errors. We use the Box Particle Filter (BPF), an estimator based simultaneously on the interval analysis and on the particle approach. We aim to estimate some immeasurable state from the vehicle dynamics using the bounded error Box Particle algorithm, like the roll angle and the lateral load transfer, which are two dynamic states of the vehicle. BPF gives a guaranteed estimation of the state vector. The box encountering the estimation is guaranteed to encounter thereal value of the estimated variable as well.In the second part of this thesis, we aim to compute a vehicle stable state domain.An algorithm, based on the set inversion principle and the constraints satisfaction,is used. Considering the longitudinal velocity and the side slip angle at the vehicle centre of gravity, we characterize the set of these two state variables that corresponds to a stable behaviour : neither roll-over nor sliding. Concerning the roll-over risk,we use the lateral transfer ratio LTR as a risk indicator. Concerning the sliding risk, we use the wheels side slip angles. All these variables are related geometrically to the longitudinal velocity and the side slip angle at the centre of gravity. Using these constraints, the set inversion principle is applied in order to define the set ofthe state variables where the two mentioned risks are avoided. The algorithm of Sivia is implemented. Knowing the vehicle trajectory, a maximal allowed velocityon every part of this trajectory is deduced.

No description available.

Reindeer can have strong effects on the plant species composition and functioning of tundra ecosystems, and often promote a transition towards a graminoid-dominated vegetation type. As a result, they influence many ecological processes, such as nutrient dynamics, soil biotic composition and functioning, and carbon storage. Several studies suggest that the effect of reindeer on vegetation may follow predictable patterns and could induce an alternative stable vegetation state. However, little empirical data on the long-term stability of reindeer effects on vegetation exist, as it is inherently challenging to study these ecological processes experimentally on a sufficiently long timescale. The main objective of this thesis was therefore to gain a better understanding of the long-term ecological processes following reindeer-induced vegetation shifts. In order to gain a more mechanistic insight in what initially drives this transition, I used a field-based grazing simulation experiment in which I separated defoliation, trampling, moss removal and the addition of feces. This allowed me to test the relative contribution of reindeer-related activities to initiating the shift from moss and heath- dominated tundra towards a graminoid-dominated vegetation state. Additionally, I studied the long-term ecological stability following such a vegetation shift. I did this by addressing historical milking grounds (HMGs): sites where high reindeer concentrations associated with historical traditional reindeer herding practices induced a vegetation transition from shrubs towards graminoids several centuries earlier, but which were abandoned a century ago. Studying HMGs allowed me to address: 1. The potential stability of reindeer-induced vegetation shifts; 2. The ecological mechanisms contributing to the long-term stability of these vegetation shifts; and 3. How such long-lasting vegetation changes influence soil carbon- and nutrient cycling. I found that trampling by reindeer is an important mechanism by which reindeer cause vegetation change. Addressing HMGs further revealed that this vegetation change can be hightly persistent, as the studied HMGs showed only a low encroachment at the surrounding borders in the last 50 years. The vegetation in the core areas of all studied HMGs had remained strikingly stable, and were hardly invaded by surrounding shrubs. Interestingly, soil nutrient concentrations and microbial activities were still different from the surrounding area as well, and even comparable to actively grazed areas. Even after many centuries of changed vegetation composition and soil processes, there was no difference in total carbon sequestration. This suggests that the environmental conditions for microbial decomposition were more important than vegetation composition for the soil carbon stocks, in our study site. After studying the contemporary habitat use of HMGs by reindeer and other herbivores, investigating the potential plant-soil feedbacks mechanisms and detailed soil analyses, I concluded that several ecological mechanisms contribute to the long-term stability of HMGs: first, the altered soil biotic and abiotic conditions appear to have a stronger advantage for HMG vegetation than for the surrounding tundra vegetation. Furthermore, I found a clear browsing preference of small rodents on single shrubs proliferating in HMGs, causing a strong limitation on shrub expansion. Moreover, the dense established sward of graminoids likely poses a strong direct competition for space and nutrients, hindering seedling establishment. Finally, I conclude that HMGs are highly stable on relevant ecological timescales, and propose how the concepts of historical contingency and ASS can be applied to understand stability of these reindeer-induced vegetation transitions.

En plus de contribuer à améliorer la santé de façon générale, l’activité physique chronique pourrait modérer le déclin cognitif associé au vieillissement normal et pathologique (Colcombe et Kramer, 2003; Heyn et al., 2004). Plus précisément, la pratique à long terme d’activités cardiovasculaires aurait des effets positifs sur la cognition des ainés et plus particulièrement sur le contrôle attentionnel, un aspect précocement touché au cours du vieillissement (Raz, 2000; Bherer et al., 2008). Toutefois, les mécanismes par lesquels l’exercice physique aigu améliore la cognition demeurent limités. Malgré ses nombreuses implications théoriques et pratiques, la réponse aiguë de l’oxygénation cérébrale à l’exercice physique et sa relation avec la cognition sont trop peu étudiées. Cette thèse se consacre à cette question. Des études récentes en neuro-imagerie chez les jeunes adultes démontrent que la relation entre l’oxygénation cérébrale et l’intensité de l’exercice suit la forme d’un U inversé. Il existe un seuil au-delà duquel l’oxygénation cérébrale diminue avec l’augmentation de l’intensité de l’exercice. Supposant que les performances cognitives dépendent de la disponibilité de l’oxygène cérébral, cette relation en U inversé devrait affecter les performances cognitives. Avant de préciser le rôle exact de l’oxygénation cérébrale sur les fonctions cognitives, nous avons d’abord examiné le temps nécessaire pour que l’oxygénation cérébrale atteigne un état stable et la durée pendant laquelle cette période stable peut être maintenue lors de paliers de sept minutes à une puissance sous-maximale (40%, 60% et 85% de la puissance aérobie maximale). Nos résultats soulignent l’existence d’une relation inverse entre la durée de l’état stable et l’intensité de l’exercice. Suite à cette vérification méthodologique, la prochaine étape a été de tester la possible relation entre l’oxygénation cérébrale, l’intensité de l’exercice et les performances cognitives, au cours du processus de vieillissement. Les résultats de ces études démontrent que la chute de l’oxygénation cérébrale observée lors des exercices de haute intensité est associée avec une diminution des performances cognitives. Les résultats de cette thèse corrigent l’écart existant dans la documentation entre l’exercice, les fonctions cognitives et les mécanismes neurophysiologiques. / It is well established that increasing cardiovascular fitness through an appropriate physical exercise program is an effective way to limit ageing-induced cognitive decline. Precise mechanisms of this positive interaction are not clearly understood, but cerebral oxygenation is thought to play a major role. Notwithstanding its numerous theoretical and practical implications, acute response of cerebral oxygenation to physical exercise and its relationship with cognitive function is underemphasized and under-researched. This thesis is dedicated to this question. Recent NIRS studies in young adults have shown that the relationship between cerebral oxygenation and exercise intensity was an inverted U-shape. There exists a threshold beyond which cerebral oxygenation decreases proportionally to exercise intensity. Assuming that cognitive function is mainly determined by cerebral oxygen availability, this typical response should affect cognitive performance. Moreover, the oxygenation threshold should occur at higher exercise intensity in older adults possessing a high fitness level. Prior to clarifying the exact role of cerebral oxygenation in cognitive and physical performance, we first examined how cerebral oxygenation pattern changes during stable continuous exercise. Our findings underscore the existence of a decrease of cerebral oxygenation during steady state exercise in normal conditions and confirm the existence of an inverse relationship between the duration of the steady state cerebral oxygenation and exercise intensity. After checking these methodological points, it was interesting to test the possible relationship between cognitive function and cerebral oxygenation during exercise in healthy young and old adults. The results show that the decrease in cerebral oxygenation observed during high intensity exercise is linked to a decrease in cognitive performance. Clarifying the effect of exercise intensity on cerebral oxygenation and its relationship to executive performance in this exercise intensity domain might help further understand the basic mechanisms of the effect of aerobic exercise on cognition. This thesis does address the gap in the literature and does investigate the relationship between executive performance and cerebral oxygenation during the whole intensity spectrum. This thesis is also the first to report correlations between cerebral oxygenation and cognition during exercise.

This thesis focuses on problem-solution analysis of synchronous digital circuits; the results of which are autosynchronous circuit design methodology, timing parameter definitions based on simulation models and constraint settings. The RTL transformation of the synchronous state machine in VHDL language to an autosynchronous state machine was created with minimal modifications for the simple design of these circuits. Following this, a comparison of the transformed state machines with their synchronous originals in parameters such as chip area, current consumption and timing specification domain is introduced. The summation of this thesis displays a theoretical comparison of several types of synchronization (synchronous, autosynchronous, fundamental asynchronous, EAIC, Bundled-data, Dual-rail) which are presented on the single state machine example with the same technology parameters.

V dnešní době je kladen vysoký nárok na účinnost elektrických zařízení a to jak ze strany provozovatele, tak i legislativy. Nejlepší účinnosti dosahují synchronní motory s permanentními magnety umístěnými na povrchu rotoru (SMPM), se kterými lze i u malých motorů dosáhnout účinnosti nad 90%. Nicméně tyto motory jsou z důvodů použití magnetů ze vzácných zemin, např. NdFeB, drahé a jsou schopny provozu pouze s frekvenčním měničem. Z cenových důvodů jsou hledány levnější alternativy k SMPM motorům. Jedním z typů motorů, kterým lze SMPM nahradit je synchronní reluktanční motor s permanentními magnety (PMASR). Tento motor je cenově výhodnější, protože používá menší množství magnetů, při zachování podobných, mnohdy i lepších vlastností, nicméně neodpadá potřeba použití frekvenčního měniče. Navíc je zde možnost použití levnějších feritových magnetů a tím ještě výrazněji snížit cenu motoru. V této práci bude PMASR topologie popsána důkladněji včetně elektromagnetického návrhu metodou konečných prvků. Bude provedena i mechanická analýza zvoleného optimálního modelu. Výsledky dosažené metodou konečných prvků budou následně porovnány s analytickým modelem. Z navrženého modelu bude vyroben prototyp a naměřené výsledky budou porovnány s výpočty.

<p>Eastern black walnut (<i>Juglans nigra</i> L.) ranks among the most highly valued timber species in the central hardwood forest and across the world. This valuable tree fills a critical role in native ecosystems as a mast bearing pioneer on mesic sites. Along with other <i>Juglans</i> spp. (Juglandaceae), <i>J. nigra</i> is threatened by thousand cankers disease (TCD), an insect-vectored disease first described in 2009. TCD is caused by the bark beetle <i>Pityophthorus juglandis</i> Blackman (Corthylini) and the phytopathogenic fungus <i>Geosmithia morbida</i> Kol. Free. Ut. & Tiss. (Bionectriaceae). Together, the <i>P. juglandis</i>-<i>G. morbida</i> complex has expanded from its historical range in southwest North America throughout the western United States (U.S.) and Europe. This range expansion has led to widespread mortality among naïve hosts <i>J. nigra</i> and <i>J. regia</i> planted outside their native distributions.</p> <p> The severity of TCD was previously observed to be highest in urban and plantation environments and outside of the host native range. Therefore, the objective of this work was to provide information on biotic and abiotic environmental factors that influence the severity and impact of TCD across the native and non-native range of <i>J. nigra</i> and across different climatic and management regimes. This knowledge would enable a better assessment of the risk posed by TCD and a basis for developing management activities that impart resilience to natural systems. Through a series of greenhouse-, laboratory- and field-based experiments, environmental factors that affect the pathogenicity and/or survival of <i>G. morbida</i> in <i>J. nigra</i> were identified, with a focus on the microbiome, climate, and opportunistic pathogens. A number of potentially important interactions among host, vector, pathogen and the rest of the holobiont of TCD were characterized. The <i>holobiont</i> is defined as the whole multitrophic community of organisms—including <i>J. nigra</i>, microinvertebrates, fungi and bacteria—that interact with one another and with the host.</p> <p>Our findings indicate that interactions among host, vector, pathogen, secondary pathogens, novel microbial communities, and novel abiotic environments modulate the severity of TCD in native, non-native, and managed and unmanaged contexts. Prevailing climatic conditions favor reproduction and spread of <i>G. morbida</i> in the western United States due to the effect of wood moisture content on fungal competition. The microbiome of soils, roots, and stems of trees and seedlings grown outside the host native range harbor distinct, lower-diversity communities of bacteria and fungi compared to the native range, including different communities of beneficial or pathogenic functional groups of fungi. The pathogen <i>G. morbida</i> was also associated with a distinct community of microbes in stems compared to <i>G. morbida</i>-negative trees. The soil microbiome from intensively-managed plantations facilitated positive feedback between <i>G. morbida</i> and a disease-promomting endophytic <i>Fusarium solani</i> species complex sp. in roots of <i>J. nigra</i> seedlings. Finally, the nematode species <i>Bursaphelenchus juglandis</i> associated with <i>P. juglandis</i> synergizes with <i>G. morbida</i> to cause foliar symptoms in seedlings in a shadehouse; conversely, experiments and observations indicated that the nematode species <i>Panagrolaimus</i> sp. and cf. <i>Ektaphelenchus</i> sp. could suppress WTB populations and/or TCD outbreaks.</p> <p>In conclusion, the composition, function, and interactions within the <i>P. juglandis</i> and <i>J. nigra</i> holobiont play important roles in the TCD pathosystem. Managers and conservationists should be aware that novel associations outside the host native range, or in monocultures, intensive nursery production, and urban and low-humidity environments may favor progression of the disease through the effects of associated phytobiomes, nematodes, and climatic conditions on disease etiology. Trees in higher diversity, less intensively managed growing environments within their native range may be more resilient to disease. Moreover, expatriated, susceptible host species (<i>i.e.</i>, <i>J. nigra</i>) growing in environments that are favorable to novel pests or pest complexes (<i>i.e.</i>, the western U.S.) may provide connectivity between emergent forest health threats (<i>i.e.</i>, TCD) and native host populations (<i>i.e.</i>, <i>J. nigra</i> in its native range).</p>