Thèse d'exercice : Chirurgie dentaire : Université de Nantes : 2005. / Bibliogr. f. 115-121 [77 réf.].

Au sein de la littérature, la notion qu'une déshydratation [plus grand ou égal] à 2% du poids corporel (PC) est néfaste pour la performance en endurance est largement répandue et généralement acceptée par les entraîneurs, athlètes, nutritionnistes et professionnels de la santé. Ainsi, il est recommandé de boire suffisamment de liquides pendant l'exercice afin de prévenir une perte de PC [plus grand ou égal] à 2% (Sawka et al. 2007). De plus, l'idée que les athlètes ne devraient jamais se fier à leur sensation de soif pour s'hydrater est une autre croyance abondamment propagée dans le milieu sportif, sachant que la sensation de soif arrive habituellement lorsqu'il y a une perte de PC supérieure à 2% déjà entamée (Murray, 1996). Toutefois, une méta-analyse publiée par Goulet (2011) a démontré que lors de protocoles d'exercices simulant une performance de type contre-la-montre, où l'organisme est en mesure d'adapter l'intensité de l'épreuve selon les rétroactions internes et externes, des niveaux de déshydratation allant jusqu'à 4.3% du PC n'affectent pas négativement la performance et que boire à sa soif optimiserait la performance chez des athlètes d'endurance. Néanmoins, ces résultats sont basés sur des constats émis suite à des expérimentations sur vélo seulement. Aucune étude rendant compte de la réalité des athlètes en course à pied n'a été réalisée, justifiant de ce fait la pertinence de la présente recherche. Ainsi, le but de la présente étude est de comparer les effets d'une déshydratation associée à la prise de liquide dictée selon les signaux de la soif à celle d'une hydratation programmée afin d'allouer une perte de PC de 1%. Suite à une phase de familiarisation, 10 athlètes ont couru deux contre-la-montre de 21.1km, à 7 à 35 jours d'intervalle, selon les deux protocoles d'hydratation suivants; 1- boire selon la soif (soif) ou 2- boire afin que le participant perde [environ] 1% de son PC (hydraté). La quantité de calories ingérées pendant l'exercice était contrôlée; chaque participant consommait 3 gels pour sportif à des intervalles de 6km. La fréquence cardiaque, la température rectale, la température de la peau et la température corporelle ont été mesurées, tout comme la perception de l'effort, de la chaleur, de la soif et de l'inconfort abdominal. Aucune différence significative n'a été observée au niveau de la performance (groupe soif : 1h29 min 50 sec; groupe hydraté : 1h29 min 35 sec), de la perception de l'effort, de la chaleur et de la température de la peau. Cependant, la température rectale et corporelle, les fréquences cardiaques ainsi que la perception de la soif étaient toutes plus élevées pour le groupe devant boire selon les signaux de la soif. De son côté, le groupe hydraté s'est avéré présenter un inconfort abdominal plus élevé. Pour conclure, ceci est la première étude à démontrer que de boire à sa soif optimise la performance à course à pied lors d'un contre-la-montre de 21.1km à 30°C auprès d'athlètes bien entraînés.

Les applications de traitement intensif de signal apparaissent dans de nombreux domaines d'applications tels que multimédia ou systèmes de détection. Ces applications gèrent les structures de données multidimensionnelles (principalement des tableaux) pour traiter les différentes dimensions des données (espace, temps, fréquence). Un langage de spécification permettant l'utilisation directe de ces différentes dimensions avec un haut niveau d'abstraction est une des clés de la manipulation de la complexité de ces applications et permet de bénéficier de leur parallélisme potentiel. Le langage de spécification Array-OL est conçu pour faire exactement cela. Dans cette thèse, nous introduisons une extension d'Array-OL pour exprimer des dépendances cycliques par des dépendances interrépétitions uniformes. Nous montrons que ce langage de spécification est capable d'exprimer les principaux motifs de calcul du domaine de traitement de signal intensif. Nous discutons aussi de la modélisation répétitive des applications parallèles, des architectures répétitives et les placements uniformes des premières sur les secondes, en utilisant les concepts Array-OL intégrés dans le profil UML MARTE (Modeling and Analysis of Real-time and Embedded systems). Des transformations de haut niveau data-parallèles sont disponibles pour adapter l'application à l'exécution, ce qui permet de choisir la granularité des flots et une simple expression du placement en étiquetant chaque répétition par son mode d'exécution: data parallèle ou séquentiel. L'ensemble des transformations a été revu, étendu et implémenté dans le cadre de l'environnement de comodélisation pour les systèmes embarqués, Gaspard2. Avec l'introduction des dépendances uniformes, notre intérêt s'est tourné aussi sur l'interaction entre ces dépendances et les transformations de haut niveau. C'est essentiel, afin de permettre l'utilisation des outils de refactoring sur les modèles avec dépendances uniformes. En utilisant les outils de refactoring de haut niveau, des stratégies et des heuristiques peuvent être conçues pour aider à l'exploration de l'espace de conception. Nous proposons une stratégie qui permet de trouver de bons compromis entre l'usage de stockage et de ressources de calcul, et dans l'exploitation de parallélisme (à la fois de tâches et de données), stratégie illustrée sur une application industrielle radar. / Intensive signal processing applications appear in many application domains such as video processing or detection systems. These applications handle multidimensional data structures (mainly arrays) to deal with the various dimensions of the data (space, time, frequency). A specification language allowing the direct manipulation of these different dimensions with a high level of abstraction is a key to handling the complexity of these applications and to benefit from their massive potential parallelism. The Array-OL specification language is designed to do just that. In this thesis, we introduce an extension of Array-OL to express cycle dependences by the way of uniform inter-repetition dependences. We show that this specification language is able to express the main patterns of computation of the intensive signal processing domain. We discuss also the repetitive modeling of parallel applications, repetitive architectures and uniform mappings of the former to the latter, using the Array-OL concepts integrated into the Modeling and Analysis of Real-time and Embedded systems (MARTE) UML profile. High-level data-parallel transformations are available to adapt the application to the execution, allowing to choose the granularity of the flows and a simple expression of the mapping by tagging each repetition by its execution mode: data-parallel or sequential. The whole set of transformations was reviewed, extended and implemented as a part of the Gaspard2 co-design environment for embedded systems. With the introduction of the uniform dependences into the specification, our interest turns also on the interaction between these dependences and the high-level transformations. This is essential in order to enable the usage of the refactoring tools on the models with uniform dependences. Based on the high-level refactoring tools, strategies and heuristics can be designed to help explore the design space. We propose a strategy that allows to find good trade-offs in the usage of storage and computation resources, and in the parallelism (both task and data parallelism) exploitation, strategy illustrated on an industrial radar application.

No description available.

Les langages de haut-niveau supportent des opérations réflectives qui permettent à l’environnement d’exécution d’un langage d’inspecter et de changer son propre état et sa propre exécution. Ces langages de haut-niveau s’exécutent normalement sur une machine virtuelle (VM) qui ajoute une couche d’abstraction au-dessus du matériel. À cause de cette séparation, peu d’opérations réflectives sont disponibles pour inspecter et modifier la VM. Plusieurs VMs expérimentales offrent de telles opérations réflectives en proposant un modèle unifié qui ne distingue pas la couche VM de la couche langage. Dans cette thèse, nous suivons une approche similaire qui propose un environnement d’exécution unifié et auto-décrit. Nous nous intéressons à une solution minimale. Au lieu de dépendre de modifications d’une VM, nous générons dynamiquement du code natif depuis la couche langage. Nous présentons Benzo, un framework pour la génération dynamique de code natif. Benzo fournit une interface générique et de bas-niveau pour accéder aux fonctionnalités fondamentales de la VM. Grâce à Benzo, nous analysons plusieurs applications qui nécessitent un accès direct à la VMM. Nous montrons comment Benzo peut être utilisé pour implémenter une librairie de Foreign Function Interfaces, permettant de faciliter l’accès aux fonctionnalités bas-niveau de la VM. Pour évaluer les limitations de Benzo, nous visons deux autres applications: la génération dynamique de primitive et un compilateur JIT (Just-In-Time). Ces deux applications doivent changer le comportement de la VM. Pour cela, elles ont besoin d’une interaction poussée avec la VM. / High-level languages implement reflection which allows a language runtime to inspect and alter its own execution and state. These high-level languages typically run on top of virtual machines (VMs) which have been built to create an abstraction layer over hardware. Due to the isolating nature of the VM, reflection is generally limited to the language-side. Several research VMs overcome this limitation and provide a unified model where there is no more a clear distinction between language-side and VM-side. In such a language runtime it is possible to reflectively modify VM components from language-side as they reside on the same abstraction layer. In this dissertation we follow the same global direction towards a unified language-runtime and self-aware VM. However, instead of looking for a holistic solution we focus on a minimal approach. Instead of using a custom tailored language runtime we use dynamic native code activation from language-side on top of an existing VM. We first present Benzo our framework for dynamic native code activation. Benzo provides a generic but low-level interface to the VM internals. Based on this framework we then evaluate several applications that typically require direct VM support. We show first how Benzo is used to build an efficient Foreign Function Interface, allowing for a more structured access to VM internal functions. To evaluate the limitations of Benzo we target two more applications: dynamic primitives and a language-side JIT compiler. Both of them require a tight interaction with the underlying VM.

Thèse (M.Sc.)--Université Laval, 2006. / Titre de l'écran-titre (visionné le 13 févr. 2008). Bibliogr.

Dans le domaine du sport de haut niveau, les athlètes sont parfois confrontés à des contextes d’adversité où de nombreux obstacles sont présents sur leur parcours. Plusieurs individus cèdent et abandonnent face à des situations d’adversité, tandis que d’autres réussissent à les surmonter. Alors que certains athlètes sont incapables de réagir de façon adéquate au stress, d’autres font preuve de résilience et trouvent ainsi la capacité de surmonter un tel contexte. L’objectif de l’étude vise à identifier les facteurs psychologiques de la résilience auxquels les joueurs de hockey de niveau universitaire ont eu recours pour surmonter les contextes d’adversité et persévérer afin de terminer leurs années d’éligibilité. Les résultats ont permis de mettre en lumière les 5 facteurs psychologiques de la résilience auxquels ont eu recours les participants de l’étude préalablement identifiés par Fletcher et Sarkar (2012), soit la concentration, la confiance, la motivation, la perception d’un support social, et la personnalité positive. Cette étude a également fait émerger trois nouveaux facteurs non présents dans le modèle de Fletcher et Sarkar (2012), soit le sentiment d’appartenance, la capacité à lâcher-prise, et la préservation de l’identité sociale. À partir d’entrevues auprès de 12 joueurs de hockey universitaires, l’étude fait état de la manifestation de ces 8 caractéristiques psychologiques de la résilience au sein de leur contexte d’adversité afin de les surmonter.

Le trafic routier englobe plusieurs facteurs, entre autres la géométrie des infrastructures routières, le comportement des conducteurs, la diversité des flux de véhicules,etc...Les situations auxquelles sont confrontés les exploitants des réseaux routiers dépendent du type de réseau dont ils ont la charge. Cette complexité du trafic en a fait un domaine de recherche d'un intérêt croissant et ce depuis les premières études qui ont donné naissance au modèle LWR au milieu des années cinquante. Afin de modéliser le trafic sur un réseau routier, deux approches, complémentaires l'une de l'autre sont nécessaires. La première est la modélisation de l'écoulement qui permet de décrire l'évolution des flux de trafic sur un tronçon de route et l'affectation qui décrit la façon dont les usagers choisissent leurs itinéraire sur un réseau. L'objet de ces travaux de thèse est d'apporter une contribution à cette amélioration de la modélisation des flux de trafic, en se concentrant dans un premier lieu sur la modélisation d'un trafic autoroutier constitué de deux classes de véhicules: des véhicules particuliers et des bus. L'étude numérique du modèle se fait en adaptant le modèle de transmission cellulaire de Daganzo. Un estimateur des densités et autre des vitesses de ce trafic mixte sur un tronçon de route ont été présentés. Des résultats de stabilité dans les différents régimes de ce trafic ont été établis. Dans un second lieu sur la modélisation d'un trafic urbain multimodal constitué de trois classes de véhicules: aux deux classes précedement citées, est intégrée une nouvelle classe de bus à haut niveau de service BHNS ou BRT, classe qui tend à se propager au milieu urbain et suburbain et qui est perçue comme solution à de nombreux problèmes liés au trafic par les exploitants de la route.Nous proposons deux modèles pour modéliser la progression du BRT sur le réseau, puis nous développons une stratégie de régulation de ce système de tranport urbain trimodal.L'objectif de la régulation est double, veiller à la fluidité du trafic en général et le respect de positions réferences pour le mode bhns.L'architecture s'appuie sur la commande des systèmes en boucle fermée et utilise la commande prédictive généralisée. Nous avons proposé un modèle hybride de trafic routier basé sur le couplage d'un modèle macroscopique générique de second ordre et d'un modèle microscopique en coordonnées Lagrangiennes. Pour la validation de la bonne transmission de l'information à travers le schéma de couplage, nous avons étudié la propagation et la remontée d'une congestion. / The traffic includes several factors, including the geometry of the road infrastructure, driver behavior, the diversity of vehicle flow, etc ... The situations faced by network operators depend on the type of road network under their charge. This complexity has made traffic a research area of growing interest ever since the first studies that gave rise to the LWR model in the mid-fifties.To model the traffic on a road network, two approaches are complementary to each other are needed. The first is the flow modeling for describing the evolution of traffic flows on a stretch of road and the assignment that describes how users choose their route on a network. The purpose of this thesis work is to contribute to the improvement of the modeling of traffic flows, focusing in primarily on the modeling of a motorway traffic consists of two classes of vehicles: passenger cars and buses. The numerical study of the model is done by adapting the cell transmission model of Daganzo. An estimator for densities and speeds of the mixed traffic on a stretch of road have been submitted. Stability results in the different regimes of trafficking have been established. In the second place on the modeling of a multimodal urban traffic consists of three classes of vehicles: for the two classes mentioned above, is part a new class of high-level bus service class BRT, that tends to spread to urban and suburban which is seen as a solution to many problems related to traffic by the operators of route. We propose two models for the BRT and we develop a control strategie of this system of urban tranport trimodal (cars, buses and BRT). The purpose of the regulation of this strategy is twofold, to ensure the flow of traffic in general and respect for the positions references for the BRT mode. The architecture is based on the control of closed loop systems and uses the generalized predictive control. We have proposed a hybrid model of traffic based on the coupling of a generic second order macroscopic model and a microscopic model in Lagrangian coordinates. To validate the correct transmission of information through the coupling scheme, we have studied the spread and the rise of a congestion.

L'objet de ces travaux de thèse est d'étudier la spécification et la synthèse de systèmes de contrôle, qui peuvent être composés à la fois de logiciel et de matériel, sur des architectures multiprocesseurs (ASIC, FPGA, et logiciel). Ce sujet de recherche fait partie à la fois de la synthèse de systèmes VLSI et de la conception mixte logicielle/matérielle. Afin d'atteindre ces objectifs, une méthodologie qui permet de concevoir conjointement le logiciel et le matériel a été développée. L'originalité de ce travail vient du fait que les spécifications à traiter sont décrites à un très haut niveau d'abstraction, appelé “niveau système”, avec le langage SDL. Ceci permet de concevoir des applications de plus en plus complexes. Ces travaux traitent principalement le problème du découpage de systèmes de contrôle en sous-systèmes de granularité plus fine et donc plus facilement synthétisables. L'approche de découpage qui a été développée se base sur une boîte à outils qui offre au concepteur le moyen de transformer, raffiner, découper un système puis d'affecter chaque sous-système à une technologie particulière en logiciel (C) ou en matériel (VHDL). La méthode de découpage suivie est interactive et utilise une forme intermédiaire basée sur un modèle de machines à états finis étendues communicantes via des canaux abstraits. Une autre tâche tout aussi importante dans cette méthodologie de raffinement est de synthétiser la communication entre les différentes partitions résultat d'un découpage. Cela se traduit par une étape d'allocation de protocoles de communication et une étape de synthèse d'interfaces entre les sous-systèmes communicants. La première étape consiste à sélectionner dans une bibliothèque les modèles de communication nécessaires entre les sous-systèmes. La deuxième étape consiste à adapter ou générer les interfaces des différents sous-systèmes.

Today's systems-on-chip are multiprocessor. They are characterized by an increasing complexity and a reduced time to market. To tackle this complexity, the use of high level programming models seems to be a promising approach. In this work, we propose an MPSoC design flow, based on the use of high level parallel programming models API to design embedded software. An automated refinement of these API on target architecture is used. For that purpose, (1) MPSoC hardware/software interfaces were studied; then (2) parallel programming models and their classification in terms of provided abstraction were presented. The proposed flow has been used in two design experiments: (1) an MPEG video encoder, namely OpenDivX, using the MPI parallel programming model and targeting the ARM Integrator prototyping platform, (2) a software defined radio using the CORBA parallel programming model and targeting specific hardware architecture.