Contributions principales Les éléments précédents identifient les principes de conception de base pour construire un canevas logiciel d'auto-protection. Différentes technologies peuvent être choisies pour réaliser ces principes. Les contributions principales de cette thèse décrivent des mécanismes développés et mis en œuvre pour réaliser notre canevas logiciel d'auto-protection. Il s'agit des éléments suivants : - Une architecture a trois couches pour l'auto-protection : un espace d'exécution fournit un environnement d'exécution pour des applications; un plan de contrôle supervise l'espace d'exécution ; et un plan autonome guide le plan de contrôle en prenant en compte l'etat du systeme, l'evolution des risques, la strategie de securite definie par l'administrateur, et les preferences de l'utilisateur. - Une approche du contrôle d'acces a base d'attributs: l'approche proposee (appelee G-ABAC) exprime les politiques d'autorisation en se basant sur des attributs. Cette approche apporte a la fois une neutralite vis-a-vis du modele de contrôle d'acces, et une flexibilite permettant des manipulations elementaires sur ces politiques. - Un canevas logiciel a base de politiques pour realiser la gestion autonome de la securite : l'approche a base de politiques a montre ses avantages pour l'administration des systemes complexes et dynamiques. Un canevas logiciel autonome de politiques de securite (ASPF) fournit une solution coherente et decentralisee pour administrer les politiques d'autorisation pour les systemes pervasifs a grande echelle. L'integration des patrons autonomes ameliore egalement la souplesse et la facilite d'adaptation au contexte. - Un noyau de securite embarque pour l'application des politiques de contrôle d'acces : les politiques d'autorisation denies precedemment sont appliquees par une architecture d'autorisation au niveau du systeme d'exploitation. Ce noyau appele VSK contrôle l'acces aux ressources d'une maniere dynamique an de reduire le surcoût des mecanismes d'autorisation. Ce mecanisme permet egalement de supporter dierents types de politiques d'autorisation. - Un langage dedie (Domain-Specic Language ou DSL) pour la specication de politiques d'adaptation : toutes les adaptations de notre canevas logiciel d'auto-protection de bout en bout sont contr^olees par des strategies de haut niveau appelees politiques d'adaptation. Un DSL tenant compte de nombreux facteurs pour les decisions d'adaptation. est deni pour specier ces politiques.

Les tumeurs thyroïdiennes représentent les tumeurs endocrines les plus fréquentes. Parmi ces tumeurs les adénomes autonomes sont des tumeurs bénignes se développant secondairement à l’activation constitutive de la voie de l’AMPc. Cette activation est secondaire à des mutations somatiques survenant à différents niveaux de la cascade de signalisation induite par l’activation du récepteur TSH. La pathologie thyroïdienne maligne est essentiellement représentée par les carcinomes papillaires de la thyroïde pour lesquelles de nombreuses modifications génétiques ont été décrites, les plus fréquentes étant les réarrangements impliquant la tyrosine kinase Ret. Différents modèles de souris transgéniques ont été développés et représentent d’excellents outils pour étudier in vivo l’expression génique secondaire aux mutations initiales. Nous avons choisis d’utiliser la technologie des microarrays pour analyser simultanément l’expression de milliers de gènes dans différents modèles de souris transgéniques développant des pathologies thyroïdiennes bénignes et malignes . Au cours de cette thèse de doctorat, nous avons déterminé à l’aide de microarrays le profil d’expression génique de souris exprimant à la surface des cellules thyroïdiennes de manière spécifique le récepteur A2a de l’adénosine, ce qui mène à l’activation constitutive de la voie de l’AMPc et au développement d’une hyperthyroïdie sévère associée à un énorme goitre. Cette étude nous a permis d’identifier des gènes dont le rôle potentiel dans le développement de tumeur bénigne était jusqu’à lors inconnu. Nous avons également comparé deux modèles murins développant des tumeurs malignes de la thyroïde. D’une part les souris exprimant le réarrangement Ret/PTC3, très commun dans les carcinomes papillaires de la thyroïdes issus de la première vague de cancer survenu après la catastrophe de Chernobyl, d’autre part les souris exprimant l’oncoprotéine E7 dérivée de l’HPV16 responsable du cancer du col de l’utérus. Les différences et les similarités entre ces deux lignées et différentes pathologie humaine ont été décrites. La PCR quantitative en temps réel a été utilisé pour confirmer et quantifier la différence d’expression des gènes d’intérêts entre les thyroïdes de souris contrôles de même souche et les thyroïdes issues de souris transgéniques. La PCR en temps réel permet de monitorer à l’aide d’un signal fluorescent émis lors de l’hydrolyse d’une sonde, la quantité d’amplicons produite dans la réaction. La courbe d’amplification se caractérise par une phase exponentielle, suivie par une phase non exponentielle se terminant par un plateau. Contrairement aux idées reçues, nous avons pu démontrer que le plateau était expliqué par la déplétion de la sonde hydrolysée par la Taq polymérase lors de la réaction d’amplification. Dès lors que l’hydrolyse de la sonde reflète quantitativement la synthèse d’amplicons, la fluorescence produite dans la phase exponentielle de la réaction reflète la concentration des amplicons produits. Nous avons donc, sur base de ces observations pu estimer la quantité d’ADN complémentaire engagé dans la réaction en se basant directement sur les données de fluorescence d’une seule courbe de PCR en temps réel sans passer par une courbe de calibration utilisant une quantité connue d’ADN complémentaire.

Les paramètres des Algorithmes Evolutionnaires (AEs) ont une forte influence sur leur capacité à produire de bons résultats. Ces paramètres définissent les aspects structuraux et comportementaux de l'AE, comme la définition des composants qui seront inclus (e.g., l'ensemble d'opérateurs à utiliser, le codage, le schéma de sélection) ou la façon dont ces composants seront employés (e.g., le taux d'application des opérateurs). La paramétrisation des AEs a ´et´e longtemps un domaine de spécialistes, et même si de nombreuses études ont abordé le problème de la paramétrisation, il existe un déficit d'approches génériques qui puissent être appliquées à une grande variété d'AEs d'une manière simple. Cette thèse traite le problème de la conception d'un contrôleur générique, qui puisse être inclus dans n'importe quel AE avec un minimum d'efforts. Ceci est accompli en incorporant un composant d'apprentissage adaptatif, qui surveille l'état de la recherche et modifie les valeurs des paramètres. Le contrôleur se focalise sur les objectifs communs à tout EA, i.e., la maximisation de la diversité de la population et de la qualité des individus, afin de maintenir un équilibre convenable entre l'exploration et l'exploitation. Des nombreuses configurations des mécanismes d'apprentissage et d'ajustement ont ´et´e essayées et analysées, en utilisant AEs différents qui résolvent des problèmes combinatoires connus. Les bons résultats obtenus suggèrent que notre objectif de construire un contrôleur générique et facile à utiliser constitue une approche encourageante.

Le stress oxydatif est impliqué dans la genèse de nombreuses pathologies, dont plusieurs maladies cardiaques et circulatoires. De par l'action du monoxyde d'azote, ainsi que des dérivés réactifs de l'oxygène et des antioxydants influençant sa biodisponibilité, sur le système nerveux autonome, le stress oxydatif peut induire certaines pathologies de par son influence sur les fonctions autonomes cardiaques. D'autre part, la variabilité du rythme cardiaque (VRC), une mesure fiable et non invasive, peut facilement être utilisée pour mesurer l'activité du système nerveux autonome au niveau cardiaque. L'objectif de cette étude était d'explorer les liens entre les valeurs de stress oxydatif et de variabilité du rythme cardiaque, par une analyse a posteriori, dans le but de mieux comprendre leurs interactions. Des valeurs de variabilité du rythme cardiaque ont été mesurées sur 270 participants recrutés dans six communautés ripariennes de l'Amazone au Brésil. Des valeurs de monoxyde d'azote, de malondialdehyde, de catalase et de glutathion peroxydase ont aussi été recueillies, en plus de la pression artérielle, du rythme cardiaque et de l'indice de masse corporelle. Nous avons pu observer de faibles corrélations inverses significatives entre le monoxyde d'azote et le SDNN (r = -0,219 p = 0,006), les basses fréquences (ms2) (r = -0,181 p = 0,024) et les très basses fréquences (r = -0,201 p = 0,012) de l'analyse de VRC. Nous avons aussi pu observer une faible corrélation significative entre le malondialdehyde est les très basses fréquences (r = 0,140 p = 0,032). Nous n'avons pu observer aucune corrélation significative entre la catalase, le glutathion peroxydase et les valeurs de VRC. Les résultats ne permettent pas d'atteindre les objectifs fixés, malgré la démonstration de certaines corrélations. L'étude des interactions entre le stress oxydatif demeure toutefois pertinente et des études expérimentales sur une population homogène seraient intéressantes. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : stress oxydatif, variabilité du rythme cardiaque, antioxydants, monoxyde d'azote, système nerveux autonome

Thèse doctorat : Informatique : Rennes 1 : 2009. / Titre provenant de la page du titre du document électronique. Bibliogr. p. 151-163.

Reproduction de : Thèse de doctorat : Sciences du langage : Le Mans : 2008. / Titre provenant de l'écran-titre. Bibliogr. p. 255-274.

Thèse de doctorat : TERRE, OCEAN, ESPACE : Nice : 1997. / 1997NICE5144. 69 REF.

Internet est le réseau le plus gigantesque que l'humanité ne se soit pourvu. Il fournit un nombre important de services à plus de deux milliards d'utilisateurs. Cette topologie grandissante et complexe pêche en stabilité, ce qui peut notamment être constaté quand un appel voix est interrompu, quand une page web à besoin d'être rafraîchie, etc. L'initiateur de cette instabilité est l'ensemble des événements constatés dans l'Internet. Ceci nous motive à une Étude profonde de la stabilité d'Internet afin de suggère des solutions à cette problématique. Internet est divisé en deux niveaux de base: le niveau AS (Autonomous System) et le niveau de routage. Cette distinction se répercute dans les protocoles de routage qui contrôlent le trafic Internet à travers deux types de protocoles: extérieur (inter-AS) et intérieur (intra-AS). L'unique protocole de routage extérieur utilité est le mode externe de BGP (External Border Gateway Protocol) tandis qu'il en existe plusieurs de type intérieur. De fait, la stabilisation de l'Internet est corrélée à la stabilité des protocoles de routage. Cela pousse les efforts de traitement de l'instabilité de l'Internet à Étudier le comportement du protocole de routage (BGP). Analyser les résultats des comportements de BGP dans son mode externe (eBGP) souffre d'un temps de convergence important menant notamment à des réponses lentes des évènements de topologie et, à terme, à la perte du trafic. Les études établissent également que le mode interne de BGP (iBGP) souffre de plusieurs types d'anomalies de routage causant la divergence. Afin d'illustrer la stabilité de BGP, nous avons besoin d'un modèle de routage qui formule la procédure de décision et le flot de signalisation. De plus, les améliorations de BGP ne peuvent pas être aisément validées dans l'Internet, rendant ainsi les modèles de BGP indispensables à une validation formelle. De fait, la première étape dans l'étude du routage inter-domaine est de définir un modèle approprié permettant la formulation de ses opérations et de prouver sa correction. Nous avons proposé deux modèles complémentaires: topologique et fonctionnel, avec lesquels nous avons formulé le processus de convergence du routage et démontré la sécurité et la robustesse de nos solutions d'inter/intra-AS. Notre proposition d'inter-AS élimine les déconnections transitoires causées par une faible convergence d'eBGP en suggérant une stratégie de backup lors d'une panne. Notre proposition d'intra-AS (skeleton) donne une alternative aux configurations internes existantes, pour laquelle nous avons montré l'absence d'anomalies.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Le domaine de l'Interaction Humain-Robot (HRI) est en pleine expansion. En effet, de plus en plus de plateformes robotiques sont mises en oeuvre pour faire évoluer ce domaine. Sur ces plateformes, toujours plus de modalités d'interaction sont mises en place telles que les mouvements corporels, la reconnaissance de gestes ou d'objets, la reconnaissance et la synthèse vocale ou encore la mobilité, pour pouvoir effectuer l'interaction la plus complète et la plus naturelle pour l'humain. Mais ceci amène aussi une complexité croissante de l'intégration de ces modalités sur une seule et même plateforme. Aussi, le domaine HRI étant à ses débuts, la méthodologie expérimentale des travaux se limite le plus souvent à des preuves de concept éprouvées en laboratoire ou en milieux ouverts non contrôlés. Il se trouve que peu de chercheurs présentent une démarche structurée et rigoureuse pour l'évaluation expérimentale d'interaction humain-robot en milieux ouverts, et il en résulte des recherches de types exploratoires qui examinent principalement la complexité technologique des modalités interactives à mettre en oeuvre, et non l'impact de ces modalités sur la qualité des interactions. Le but de l'étude présentée dans ce document est d'étudier l'intégration de plusieurs modalités interactives sur un robot mobile humanoïde telles que la parole, les gestes et la mobilité sur la qualité des interactions humain-robot. Plus spécifiquement, le contexte de l'étude consiste à examiner l'impact de modalités interactives sur la capacité du robot à attirer l'attention d'une personne et à engager une interaction avec elle. Le scénario expérimental consiste à permettre au robot, à partir de la parole, d'expressions faciales, de mouvement de la tête, de gestes avec son bras et de sa mobilité, de demander de l'assistance à une personne à proximité de lui remettre un objet se trouvant au sol. L'hypothèse sous-jacente est que l'intégration de l'ensemble de ces modalités devrait améliorer la capacité du robot à engager des personnes à interagir avec lui. Des expérimentations ont été faites en milieu contrôlé et non-contrôlé selon deux protocoles expérimentaux : une étude des modalités à l'intérieur d'une population, et une étude de variation entre individus. D'une manière générale, il en ressort que l'ajout de modalités améliore la qualité de l'engagement de l'interaction par le robot, mais qu'il faut porter une attention particulière à l'approche de la personne par le robot, principalement pour les personnes non familières avec ce dernier. De plus, les observations indiquent qu'il est plus facile d'obtenir des résultats significatifs en environnement contrôlé, elles permettent d'identifier des pistes d'amélioration pour éventuellement arriver à en obtenir en milieu non-contrôlé. Enfin, ce premier projet d'intégration et d'évaluation de capacités interactives d'un robot mobile servira à alimenter une prochaine itération avec un robot plus sophistiqué présentement en conception.