Le thème central de ce travail a consisté en l’étude et la mise en évidence des interactions existant entre le métaboréflexe et le chémoréflexe lors de l’exercice.<p><p>L’effort physique est associé à une augmentation de la ventilation, de la fréquence cardiaque ainsi que de la pression artérielle. Ces effets sont médiés au moins en partie par l’activation du métaboréflexe musculaire, et peuvent être amplifiés par le chémoréflexe ventilatoire. Le métaboréflexe et le chémoréflexe impliquent nécessairement une activation du système nerveux orthosympathique. La fonction du métaboréflexe est d’optimaliser le transport d’oxygène à destination des muscles participant à l’exercice, ce qui s’accompagne d’une vasoconstriction dans les autres territoires vasculaires. La fonction du chémoréflexe est de maintenir la capnie et d’apporter une correction ventilatoire à l’acidose métabolique et éventuellement à l’hypoxémie survenant au cours d’efforts effectués en résistance. Une sollicitation excessive du métaboréflexe et du chémoréflexe peut limiter l’aptitude à l’effort en amplifiant les sensations de dyspnée (augmentation des équivalents ventilatoires) et en limitant le transport d’oxygène (augmentation de la pression artérielle limitant le débit cardiaque). <p><p>L’étude des adaptations cardiovasculaires et ventilatoires ainsi celles du système nerveux sympathique en réponse à un exercice réalisé en hypoxie peut se révéler intéressante à plusieurs niveaux.<p>Une telle étude devrait permettre de mieux comprendre la limitation de l’aptitude à l’effort des sujets sains en altitude. En effet, depuis plusieurs décennies, l'entraînement en altitude est fréquemment utilisé par les athlètes d'endurance. Cette méthode de préparation physique, qui consiste à séjourner et s'entraîner plusieurs semaines à moyenne altitude (2000-2800m), vise à améliorer temporairement la performance aérobie lors du retour au niveau de la mer. Cette étude pourrait également présenter un intérêt pour les travailleurs en altitude mais également de manière générale à toutes les personnes effectuant des séjours en montagne.<p>Les métaborécepteurs et les chémorécepteurs contribuent directement aux ajustements cardio-vasculaires et ventilatoires durant un exercice statique réalisé en situation d’hypoxie<p><p>C’est pourquoi, dans une première étude, nous avons souhaité différencier précisément les actions respectives du métaboréflexe et du chémoréflexe lors d’un exercice en hypoxie chez une population de sujets jeunes et en bonne santé. Nous avons donc voulu vérifier l’hypothèse selon laquelle les métaborécepteurs joueraient un rôle important dans l’activation sympathique et l’élévation tensionnelle en réponse à un exercice isométrique en hypoxie. <p>Nous avons montré que durant l’effort en hypoxie, les métaborécepteurs et les chémorécepteurs interviennent de manière différente dans les réponses sympathiques, cardiovasculaires et ventilatoires.<p>L’activation du système nerveux sympathique en réponse à un exercice en hypoxie est principalement médiée par les métaborécepteurs.<p>Ces derniers jouent également un rôle prépondérant dans l’élévation tensionnelle. <p>L’élévation de la ventilation est médiée aussi bien par les métaborécepteurs que par les chémorécepteurs.<p>Par contre, les métaborécepteurs jouent un rôle mineur dans l’élévation de la fréquence cardiaque lors d’un exercice isométrique en hypoxie.<p><p>Lors d’une deuxième étude, nous nous sommes intéressés aux effets du vieillissement sur la contribution du métaboréflexe et du chémoréflexe, toujours durant un effort en hypoxie.<p>L’âge réduit la sensibilité du métaboréflexe. Par contre, l’âge n’affecte pas le chémoréflexe. Les effets de l’âge sur l’interaction des deux réflexes sont méconnus. Nous avons donc testé l’hypothèse selon laquelle l’effort isométrique en hypoxie (maximum de stimulation métaboréflexe) chez le sujet âgé s’accompagne d’une moindre activation sympathique, d’une moindre montée de la pression artérielle, et d’une réponse ventilatoire identique par rapport à celle observée chez le sujet jeune. <p>Nous avons observé une moindre activation sympathique en réponse à l’exercice aussi bien en normoxie qu’en hypoxie chez les sujets plus âgés, subsistant lors de l’arrêt local de la circulation, permettant d’isoler la contribution du métaboréflexe lors de l’exercice.<p>Nous en avons conclu que malgré le fait que l’âge réduise la sensibilité des métaborécepteurs, ceux-ci restent des déterminants majeurs de l’activation orthosympathique lors d’un effort réalisé en hypoxie chez les sujets plus âgés.<p><p>\ / Doctorat en Sciences de la motricité / info:eu-repo/semantics/nonPublished

Le véhicule autonome est un véhicule qui se conduira, à terme, sans aucune intervention du conducteur, quelle que soit la situation de conduite. Ce véhicule comprend une nouvelle fonction, nommée fonction AD, pour Autonomous Driving, en charge de la conduite autonome. Cette fonction peut se trouver dans des états différents (Active, Disponible par exemple) selon l'évolution des conditions environnementales. Le changement de ses états est géré par une fonction de Supervision, nommée Supervision AD. Le principal objet de ces travaux consiste à garantir que la fonction AD se trouve constamment dans un état sûr. Ceci revient à s'assurer que la Supervision AD respecte l'ensemble des exigences fonctionnelles et de sûreté qui spécifient son comportement. Ces deux types d'exigences sont émis par deux métiers distincts : l'Architecte Métier Système (AMS) et le pilote Sûreté de Fonctionnement (SdF). Ces deux disciplines d'ingénierie, bien qu'elles contribuent à la conception d'une même fonction, se distinguent en de nombreux points : objectifs, contraintes, planning, outils... Dans notre cas d'étude, ces différences s'illustrent par les exigences considérées : les exigences fonctionnelles sont allouées à la fonction AD globale, tandis que les exigences de sûreté spécifient le comportement de sous-fonctions locales redondantes assurant une continuité de service en cas de défaillance. La mise en cohérence de ces deux perspectives métier au plus tôt dans le cycle de conception et dans un contexte industriel, est la problématique centrale traitée. Les enjeux de SdF soulevés par le véhicule autonome rendent ce problème primordial pour les constructeurs automobiles. Afin de répondre à ces préoccupations, nous avons proposé une démarche outillée et collaborative de conception sûre de la Supervision AD. Cette démarche est intégrée dans les processus normatifs en vigueur (normes ISO 15288 et ISO 26262) ainsi que dans les processus de conception internes chez Renault. Elle est fondée sur la vérification formelle par model checking, la composition parallèle d'automates finis et l'expertise métier. Cette démarche prône l'utilisation d'un même formalisme (l'automate à états finis) par les deux métiers pour mener à bien des activités partageant un objectif de modélisation commun : la vérification d'exigences de comportement en phase amont de conception. Une méthode pour traduire les exigences en propriétés formelles et construire les modèles d'état a été déployée. Il en résulte une consolidation progressive des exigences traitées, initialement rédigées en langage naturel. Les potentielles ambigüités, incohérences et incomplétudes sont exhibées et traitées. / The Autonomous Vehicle is meant to drive itself, without any driver intervention, whatever the driving situation. This vehicle includes a new function, called AD, for Autonomous Driving, function. This function can be in different states (Available, Active for example) according to environmental conditions evolution. This states change is managed by a supervision function, named AD Supervision. The main goal of my works consists in guaranteeing that AD function remains always in a safe state. In other words, the AD Supervision must always respect all the functional and safety requirements that specify its behavior. These two requirements types are produced by two different professions: the System Architect (SA) and the Safety Engineer (SE). These two fields contribute to the design of the same function but distinguish at several aspects: objectives, constraints, planning, tools… In our case study, these differences are illustrated by considered requirements: the functional requirements are allocated to global AD function, while the safety requirements specify the behavior of local redundant sub-functions ensuring a continuous service in case of failure. The consistency of the two perspectives as early as possible in the design phase and in an industrial context, is the central problematic addressed. The safety issues due to Autonomous Vehicle make this topic essential for the automotive manufacturers. To meet these concerns, we proposed a tooled and collaborative approach for safe design of AD Supervision. This approach is integrated in the normative processes (standards ISO 26262 and ISO 15288) as well as in the internal design processes at Renault. It is based on formal verification by model checking, parallel composition of finite sate automata and technical expertise. This approach advocates the utilization of a same formalism (state automata) by the two professions to perform activities sharing a common goal: behavior requirements verification in preliminary design phase. A method to translate requirements into formal properties and to build state models has been deployed. The result is a progressive consolidation of treated requirements, initially expressed in free natural language. The potential ambiguities, inconsistencies and incompleteness are exhibited and treated. Two main contributions are in this way illustrated: highlighting of several formal credible (i.e. validated by expertise) specifications from informal requirements; and precise definition of technical expertise role (milestones, planning). However, this reinforcement – in silos – of the two profession viewpoints does not guarantee that they are mutually consistent. Thus, we proposed a convergence method, relying on expertise and on parallel composition of state automata, for the comparison of local and global views.

Dans le contexte actuel de l’Internet, un enjeu de recherche majeur est de permettre aux applications et à leurs utilisateurs de disposer de systèmes de communication offrant une qualité de service (QdS) optimale. Ceci en fonction des ressources machine et réseau disponibles, dont les capacités et les performances, hétérogènes et variables, ne sont pas connues à l’avance. Le provisionnement optimal de la QdS dans ces futurs systèmes de communication autonomes nécessite d’une part la caractérisation des services et des ressources de communication disponibles, et d’autre part la prise en compte des expressions des besoins et des préférences des différents acteurs du système (utilisateurs, fournisseurs des services, etc.). Le sujet de la thèse porte sur la définition d’un cadre sémantique de QdS basé sur les ontologies pour la caractérisation des ressources et des services de communication dans le but de fournir la meilleure QdS au regard des besoins et des préférences des utilisateurs. Ce cadre sera utilisé dans la définition des objectifs et des contraintes de QdS et dans l’élaboration de modèles de décision. L'ensemble sera utilisé pour la mise en œuvre de QdS dans les systèmes de communication autonomes situés dans un contexte de réseaux domestiques / In the current context of the Internet, a major research challenge is to enable applications and users to have their communications systems with an optimal quality of service (QoS). Indeed, QoS provisioning should take into account the available machine and network resources, which capacities and performances are heterogeneous, variable, and not known in advance. The optimal QoS provisioning for the future autonomous communication systems requires the characterization of available services and communication resources and also taking into account the expressions of needs and preferences of different actors in the system (users, service providers, etc.). The subject of this thesis deals with the definition of a QoS ontology-based semantic framework for the characterization of network resources and communication services in order to provide better QoS according to the needs and preferences of users. This framewor! k will be used in the definition of objectives and QoS constraints as well as in the development of decision models in order to provide QoS for autonomous communication systems located in the context of home networks

Le déploiement des futurs véhicules autonomes promet d'avoir un impact socio-économique majeur, en raison de leur promesse d'être à la fois plus sûrs et plus efficaces que ceux conduits par des humains. Afin de satisfaire à ces attentes, la capacité des véhicules autonomes à planifier des trajectoires sûres et à manœuvrer efficacement dans le trafic sera capitale. Cependant, le problème de planification de trajectoire au milieu d'obstacles statiques ou mobiles a une combinatoire forte qui est encore aujourd'hui problématique pour les meilleurs algorithmes.Cette thèse explore une nouvelle approche de la planification de mouvement, basée sur l'utilisation de la notion de décision de conduite comme guide pour structurer le problème de planification en vue de faciliter sa résolution. Cette approche peut trouver des applications pour la conduite coopérative, par exemple pour coordonner plusieurs véhicules dans une intersection non signalisée, ainsi que pour la conduite autonome où chaque véhicule planifie sa trajectoire. Dans le cas de la conduite coopérative, les décisions correspondent au choix d'un ordonnancement des véhicules qui peut être avantageusement encodé comme un graphe. Cette thèse propose une représentation similaire pour la conduite autonome, où les décisions telles que dépasser ou non un véhicule sont nettement plus complexes. Une fois la décision prise, il devient aisé de déterminer la meilleure trajectoire y correspondant, en conduite coopérative comme autonome. Cette approche basée sur la prise de décision peut permettre d'améliorer la robustesse et l'efficacité de la planification de trajectoire, et ouvre d'intéressantes perspectives en permettant de combiner des approches mathématiques classiques avec des techniques plus modernes d'apprentissage automatisé. / The deployment of future self-driving vehicles is expected to have a major socioeconomic impact due to their promise to be both safer and more traffic-efficient than human-driven vehicles. In order to live up to these expectations, the ability of autonomous vehicles to plan safe trajectories and maneuver efficiently around obstacles will be paramount. However, motion planning among static or moving objects such as other vehicles is known to be a highly combinatorial problem, that remains challenging even for state-of-the-art algorithms. Indeed, the presence of obstacles creates exponentially many discrete maneuver choices, which are difficult even to characterize in the context of autonomous driving. This thesis explores a new approach to motion planning, based on using this notion of driving decisions as a guide to give structure to the planning problem, ultimately allowing easier resolution. This decision-based motion planning approach can find applications in cooperative driving, for instance to coordinate multiple vehicles through an unsignalized intersection, as well as in autonomous driving where a single vehicle plans its own trajectory. In the case of cooperative driving, decisions are known to correspond to the choice of a relative ordering for conflicting vehicles, which can be conveniently encoded as a graph. This thesis introduces a similar graph representation in the case of autonomous driving, where possible decisions -- such as overtaking the vehicle at a specific time -- are much more complex. Once a decision is made, planning the best possible trajectory corresponding to this decision is a much simpler problem, both in cooperative and autonomous driving. This decision-aware approach may lead to more robust and efficient motion planning, and opens exciting perspectives for combining classical mathematic programming algorithms with more modern machine learning techniques.

Depuis une vingtaine d'années, les développements dans les technologies de l'information ont fait évoluer les paradigmes de l'informatique. L'arrivée d'approches telles que l'informatique diffuse et l'intelligence ambiante ont fait émerger de nouvelles technologies permettant d'améliorer la qualité des interactions avec les systèmes informatisés. Entre autres, l'application de l'informatique diffuse et de l'intelligence ambiante à des environnements tels que des habitats, les espaces intelligents, offre des milieux où une assistance contextualisée est offerte aux utilisateurs dans la réalisation de leurs activités quotidiennes. Toutefois, la démocratisation de l'informatique diffuse et la mise en place des espaces intelligents rencontrent un bon nombre de problèmes. Le nombre important de composantes matérielles et logicielles, les dépendances entre celles-ci et leurs natures hétérogènes contribuent à la complexité de déploiement et de gestion de ces milieux, entraînant des coûts élevés. Cette thèse vise à contribuer à la gestion logicielle des espaces intelligents par la réduction de la complexité des tâches de gestion. Notre proposition consiste en une approche autonome de la gestion logicielle, fondée sur l'approche de l'informatique diffuse autonome. L'objectif est de fournir un ensemble de fonctionnalités et de mécanismes permettant de rendre autonome la majeure partie des tâches de gestion des logiciels déployés dans des espaces intelligents. Dans le cadre de ce travail, nous proposons une solution permettant l'organisation autonome des logiciels des espaces intelligents. Ainsi, cette solution utilise les informations contextuelles des milieux afin de déterminer quelle répartition des logiciels parmi les appareils des milieux correspond le mieux aux besoins des applications, aux caractéristiques propres des environnements et, non le moindre, aux modalités et préférences d'interaction des utilisateurs de ces milieux. La solution proposée a été implémentée et évaluée à l'aide d'une série de tests et de mises en situation d'organisation logicielle. Les contributions de ce travail à l'état de l'art de la gestion des espaces intelligents sont multiples avec comme principales innovations la présentation d'une vision de l'informatique diffuse autonome, l'implémentation d'un intergiciel d'organisation logicielle autonome basé sur une sensibilité au contexte macroscopique et microscopique et l'intégration des modalités d'interaction des utilisateurs dans le raisonnement portant sur l'organisation des logiciels. Enfin, ce travail de thèse se déroule dans le contexte des recherches du laboratoire DO-MUS de l'Université de Sherbrooke, Canada, et du laboratoire Handicom de Telecom SudParis, France. Ces deux laboratoires travaillent à la conception de solutions permettant d' améliorer la qualité de vie et l' autonomie de personnes dépendantes, atteinte par exemple de troubles cognitifs ou de handicaps physiques.

La demande de réduire les coûts de conception et d'exploitation amène aujourd’hui à la recherche de plus d’autonomie à bord des satellites. On souhaite par exemple réduire les frais d'opération en employant moins de main-d'œuvre pour le calcul des trajectoires ou en optimisant l’utilisation des actionneurs. On désire également augmenter la performance des satellites pour obtenir de meilleurs résultats. Cependant, l’apport d’autonomie au sein des satellites ne peut se faire au détriment de la fiabilité. Par ailleurs, la présence de charges utiles sensibles à certains éléments dangereux entourant le satellite (Soleil, Terre...) ou la complexité des missions de mesure ou de pointage demande un apport important en manœuvrabilité directionnelle des satellites. L’apport de l’autonomie impose donc la prise en charge des directions dangereuses qui étaient normalement évitées par les commandes issues de la station au sol. On retrouve donc un besoin d’autonomie de manœuvre auquel il faut ajouter une autonomie d’évitement de directions dangereuses. La méthode du potentiel apparait comme une technique de guidage qui permettrait de combler ces deux besoins. Elle a notamment déjà fait ses preuves dans le domaine d’évitement d’obstacle des robots mobiles autonomes et des robots manipulateurs. C’est une démarche caractérisée par sa simplicité d’utilisation et qui se base sur le principe de forces virtuelles appliquées au véhicule. Les obstacles exercent des forces répulsives et la cible une force attractive. À partir de ces affectations, un champ de potentiel est créé et le vecteur vitesse du véhicule est déterminé par le gradient de ce dernier. L’application de la méthode du potentiel au domaine de l’aérospatiale n’a jamais complètement abouti. En effet, quelques auteurs ont démontré la faisabilité théorique de la méthode, mais sans pour autant tenir compte des contraintes réelles d’une application. Ce projet portera donc sur l'adaptation de cette approche afin de la rendre réalisable sur un satellite en mission.

L'utilisation de réseaux de capteurs sans-fils (RCSF) se développe dans de nombreux domaines où l'informatique doit être intégrée au plus proche de l'environnement. Ce principe appelé informatique omniprésente se popularise par des applications dans de multiples domaines, de la domotique à l'étude d'environnements naturels en passant par la régulation des transports ou encore la surveillance de bâtiments à risques. Si les RCSF présentent de bonnes perspectives pour le domaine de l'informatique omniprésente, le matériel utilisé présente souvent des capacités très limitées et il est souvent compliqué de développer des applications ou de configurer de tels réseaux. Des travaux récemment réalisés au laboratoire DOMUS amènent la vision d'une informatique omniprésente autonome qui permettrait à plusieurs éléments d'un réseau de s'organiser entre eux pour limiter les interventions humaines. Dans cette vision, la reprogrammation dynamique des noeuds est utilisée pour simplifier et alléger le processus de reconfiguration du réseau. Le présent projet s'est donc intéressé à la problématique de la reprogrammation des noeuds du réseau dans une optique future d'informatique omniprésente autonome adaptée aux RCSF. Le présent projet de maîtrise a permis dans un premier temps de mettre en place un cadriciel de programmation par composants adapté aux ressources contraintes des RCSF. Ce système de programmation par composants (POC) appelé Nodecom se place comme une amélioration par rapport aux solutions de POC déjà existantes. En effet, Nodecom présente la première architecture hybride permettant à la fois de programmer en utilisant des composants statiques et à la fois de pouvoir charger de nouveaux composants de manière dynamique. Cette architecture hybride a permis d'alléger l'impact du système de programmation par composants tout en conservant la possibilité de reprogrammer dynamiquement certains composants. Dans un second temps, le projet a consisté à réaliser un dépôt distribué de composants qui permet à chaque noeud de charger dynamiquement n'importe quel composant publié à travers le réseau. Dans ce dépôt distribué, chaque noeud peut se voir attribuer le rôle de conserver une copie d'un fichier de composant dans sa mémoire locale. Pour ce faire, l'implémentation réalisée repose sur un algorithme de routage par clé inspiré des réseaux pair-à-pair traditionnels et adapté aux contraintes des plateformes utilisées. Les résultats de l'évaluation de ce système de composants distribué pour les réseaux de capteurs sans-fils sont encourageants puisqu'ils mettent en évidence les faibles besoins en mémoire du système. L'implémentation réalisée dans ce projet se place alors comme un bon support pour les travaux futurs qui chercheront à adapter la vision d'informatique omniprésente autonome au contexte des réseaux de capteurs sans-fils.

Notre avenir énergétique doit être basé sur des énergies non polluantes ayant des ressources importantes. Les énergies renouvelables sont les meilleurs candidats mais l'intermittence de leur production nécessite de trouver des moyens de stockage efficaces et respectant l'environnement. Un système électrolyseur/pile à combustible permet de stocker l'électricité par l'intermédiaire d'un stockage sous forme de gaz et, en plus, de générer de la chaleur. L'objectif de ce travail est d'évaluer les performances d'un système autonome de production d'énergie électrique et thermique, couplant un champ photovoltaïque et un système de stockage par l'hydrogène, composé d'un électrolyseur, d'une unité de stockage de gaz et d'une pile à combustible. L'hydrogène est l'unique moyen de stockage de l'électricité. Pour réaliser cette étude, deux outils complémentaires ont été développés : un banc d'essai de 3,6 kW et un outil de simulation.<br/> Pour sélectionner le banc d'essai, une étude bibliographique rassemble les informations nécessaires au dimensionnement et au choix du système et de ses composants. La disponibilité très limitée de composants adaptés à notre application nous a contraints à développer de nouveaux appareils (électrolyseur, pile à combustible, appareil de conversion et de gestion d'énergie). Le banc d'essai réalisé est automatisé et sécurisé. L'analyse expérimentale évalue le rendement du système de stockage par l'hydrogène par la détermination des différentes pertes dans chacun des composants. Différentes modifications sont proposées pour améliorer les performances du système de stockage. L'outil de modélisation simule le fonctionnement du banc d'essai pour une charge et un site donnés. Il peut modéliser tout système à partir de résultats expérimentaux des composants. Les résultats de simulation permettent de caractériser le fonctionnement du système dans une application autonome, de déterminer ses performances et d'évaluer l'influence des différentes pertes.

E calcul autonome vise à concevoir des logiciels qui prennent en compte les variations dans leur environnement d'exécution. Les boucles de rétro-action (FCL) fournissent un mécanisme d'auto-adaptation générique, mais leur intégration dans des systèmes logiciels soulève de nombreux défis. Cette thèse s'attaque au défi d'intégration, c.à.d. la composition de l'architecture de connexion reliant le système logiciel adaptable au moteur d'adaptation. Nous proposons pour cela le langage de modélisation spécifique au domaine FCDL. Il élève le niveau d'abstraction des FCLs, permettant l'analyse automatique et la synthèse du code. Ce langage est capable de composition, de distribution et de réflexivité, permettant la coordination de plusieurs boucles de rétro-action distribuées et utilisant des mécanismes de contrôle variés. Son utilisation est facilitée par l'environnement de modélisation ACTRESS qui permet la modélisation, la vérification et la génération du code. La pertinence de notre approche est illustrée à travers trois scénarios d'adaptation réels construits de bout en bout. Nous considérons ensuite la manipulation de modèles comme moyen d'implanter ACTRESS. Nous proposons un Langage Spécifique au Domaine interne qui utilise Scala pour implanter une famille de DSLs. Il permet la vérification de cohérence et les transformations de modèles. Les DSLs résultant ont des propriétés similaires aux approches existantes, mais bénéficient en plus de la souplesse, de la performance et de l'outillage associés à Scala. Nous concluons avec des pistes de recherche découlant de l'application de l'IDM au domaine du calcul autonome.

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur.