Dans cette thèse, nous avons choisi d'aborder l'adaptation dynamique au contexte comme un outil de gestion de la qualité de service. Nous présentons une plate-forme pour la reconfiguration et le déploiement contextuel d'applications en environnement contraint appelée Kalimucho. Kalimucho est une plate-forme distribuée qui dispose d'une représentation globale de l'application. Elle permet d'effectuer des reconfigurations dynamiques des applications basées composants grâce à cinq actions de base : ajouter, supprimer, migrer, connecter et déconnecter. L'originalité de cette plate-forme est qu'elle exploite le plus possible les ressources de l'application en permettant d'utiliser tous les périphériques disponibles comme supports des composants logiciels de l'application, qu'ils soient ou non en relation avec les fonctionnalités du périphérique. Pour cela elle repose sur un modèle de QdS à deux dimensions : l'Utilité qui permet de garantir une application conforme aux souhaits de l'utilisateur et aux conditions d'utilisation et la Pérennité qui garantit une durée de vie suffisante. Ce modèle est implémenté par une heuristique de choix d'une configuration à déployer qui permet de trouver une configuration et le déploiement associé qui respectent ces critères de QdS. Enfin nous proposons une méthode de conception qui guide le concepteur dans la modélisation du contexte et des applications. Elle permet d'identifier tous les évènements pouvant engendrer des reconfigurations et de les associer à une action. Elle permet également de décomposer l'application en différentes configurations qui servent de base au choix de reconfiguration. Enfin elle permet de définir toutes les règles de modification du modèle de QdS en fonction des changements du contexte afin de pouvoir proposer différentes politiques d'adaptation : utilisation normale, situation d'urgence, etc.

<p>De nos jours, il est peu de processus ou de tâches qui ne requièrent pas l'optimisation d'une quantité : diminuer le temps de livraison, diminuer l'espace utilisé, réduire les efforts de développement, ... C'est donc sans surprise que la recherche en optimisation soit l'un des domaines les plus actifs des sciences des technologies de l'information. En optimisation combinatoire, les métaheuristiques sont à compter parmi le fleuron des techniques algorithmiques. Mais ce succès est encore au prix d'une quantité significative de temps de conception et développement. Ne serait-il pas possible d'aller encore plus loin ? D'automatiser la préparation des métaheuristiques ? En particulier dans des conditions telles le manque de temps, l'ignorance de techniques spécialisées ou encore la mauvaise compréhension du problème traité ? C'est ce à quoi nous répondons dans la présente thèse au moyen d'une approche de méta-modélisation de la recherche : l'heuristique de la Gestalt.</p> <p>Considérant la représentation du problème comme un levier que l'on peut activer sous le processus de recherche mené par une métaheuristique, la thèse suggère la construction d'une abstraction de cette représentation capable d'assister la métaheuristique à trouver de bonnes solutions en contraignant sa recherche. Cette approche, inspirée de la psychologie de la Gestalt, nous l'appelons l'heuristique de la Gestalt. Son fonctionnement repose principalement sur l'agrégation des variables de la représentation. Cette agrégation donne lieu à une abstraction structurelle, mais également fonctionnelle en ce sens que les opérateurs de la métaheuristique doivent désormais respecter l'intégrité des agrégats définis.</p> <p>Après avoir établi le contexte de la dissertation, nous discutons de la transposition de la psychologie de la Gestalt dans le cadre de l'optimisation combinatoire et des métaheuristiques. S'ensuit la formalisation de l'heuristique de la Gestalt et la description de sa réalisation. Finalement, une série d'études expérimentales sont menées pour éprouver le concept avancé et valider l'implémentation basée sur les algorithmes évolutionnistes que nous proposons. En conclusion, nous affirmons que l'implémentation de l'heuristique de la Gestalt basée, entre autres, sur un algorithme génétique de groupement est capable d'assister positivement des algorithmes génétiques lorsque les instances de problèmes traitées possèdent une structure riche et complexe, que leur taille est importante, que l'on est tôt dans le processus d'optimisation et que l'algorithme génétique n'est pas paramétré spécifiquement.</p>

Cette thèse est consacrée à l'étude théorique d'une méthode de calibration automatique des pénalités en sélection de modèles. Cette méthode se base sur une heuristique, appelée "heuristique de pente", qui stipule l'existence d'une pénalité minimale telle que la solution optimale du problème de pénalisation vaut deux fois celle-ci. En pratique, on estime la pénalité optimale en estimant préalablement la pénalité minimale, caractérisée par un changement brutal dans le comportement de la procédure de sélection de modèles autour de ce seuil de pénalisation. L'analyse théorique du phénomène de pente se base sur un contrôle à la constante près des déviations de l'excès de risque et de l'excès de risque empirique des estimateurs considérés, mesurant respectivement leur performance en prédiction et leur performance empirique. Ceci suggère en premier lieu, une forte spécification de la structure du problème étudié. Nous validons l'heuristique de pente dans un cadre général qui s'articule autour d'une notion nouvelle en M-estimation, que nous appelons "contraste régulier", et nous développons une méthodologie de preuve inédite, permettant de traiter à la fois la question des bornes supérieures et des bornes inférieures de déviation des excès de risque à modèle fixé. Nous retrouvons ainsi la plupart des résultats déjà connus sur l'heuristique de pente. En effet, nous donnons trois exemples d'estimation par minimum de contraste régulier, à savoir la régression par moindres carrés sur des modèles linéaires, l'estimation de la densité par moindres carrés sur des modèles affines et l'estimation de la densité par maximum de vraisemblance sur des ensembles convexes. Ceci nous permet d'étendre les résultats précédemment établis dans le cas de la régression à des modèles plus généraux et de valider l'heuristique de pente pour un risque non quadratique en considérant le cas de l'estimation par maximum de vraisemblance. Enfin, notre méthodologie de preuve fournit des pistes précises de recherche pour des situations non régulières, comme on en trouve en classification ou plus généralement en théorie de l'apprentissage statistique.

Ce mémoire est consacré aux théories à processus duaux, abondamment discutées dans la littérature récente en sciences cognitives. L'auteur y propose une version fortement amendée de l'approche défendue par Samuels (2009), remplaçant la distinction entre 'Systèmes' par une distinction entre 'Types de processus', qui permet de critiquer à la fois les approches (uniquement) modularistes et les approches décrivant une différence profonde entre deux systèmes ayant chacun leurs spécificités (fonctionnelles, phénoménologiques, neurologiques). Cependant, dans la version des théories à processus duaux défendue ici, la distinction entre 'Types de processus' n'est considérée a priori que comme une distinction heuristique permettant aux chercheuses et chercheurs de mieux comprendre l'esprit et d'en expliquer certaines propriétés. L'idée centrale défendue dans ce mémoire est que les processus cognitifs devraient y être distingués selon leur position dans un espace conceptuel multidimensionnel permettant de considérer l'ensemble des caractéristiques et des spécificités attribuées à un processus, cela étant préférable à les forcer dans l'un ou l'autre des 'Systèmes' ou des 'Types' identifiés dans les approches les plus influentes (cf. Evans, 2008). Une fois ce programme de recherche entamé, il sera alors possible de réviser la définition des concepts et des catégories utilisés pour refonder certaines notions présentes dans la littérature ('module', 'Système 1/2', etc.). L'argument se déroule en trois temps: 1) Le premier chapitre vise à clarifier la notion de 'module' très utilisée en sciences cognitives. Contre les approches visant à affaiblir cette notion afin que tous les processus de l'esprit soient considérés comme étant des modules, l'auteur - suivant notamment Faucher et Poirier (2009) et Samuels (2006) - jette le doute sur l'emploi qui est fait de cette notion par plusieurs auteurs très influents, notamment en psychologie évolutionniste (par exemple, Barrett, Carruthers, Cosmides, Tooby). 2) L'objectif du second chapitre est de présenter, examiner et critiquer plusieurs théories à processus duaux et de suggérer qu'aucune théorie actuellement discutée n'est adéquate pour décrire l'architecture de l'esprit. Les approches, particulièrement influentes ou représentatives, défendues par Stanovich (1999; 2004; 2009), par Evans (2008; 2009), par Lieberman (2007; 2009) et par Carruthers (2006; 2009) y sont abordées. 3) Dans le troisième chapitre, l'auteur critique le cadre développé par Samuels (2009), puis développe son approche des théories à processus duaux en montrant certains de ses avantages. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : philosophie des sciences, sciences cognitives, psychologie, neurosciences, théorie à processus duaux, modularité, module, heuristique, biais, pensée critique, naturalisme.

Le parcours du cinéaste Pierre Perrault sert ici d'intercesseur pour investiguer l'idée d'encircularisation à partir de l'incorporation politique de son geste épistémologique. La pensée circulaire, dont Georges Sioui trace la trame des espaces-temps sur le continent américain, se présente comme une disposition, portée par la consubstantialité de ses aspects épistémologiques, éthiques et politiques. Elle nous invite à penser la possibilité effective de tisser un politique de relations non-hiérarchiques, par le geste éthique d'une épistémologie expérientielle. Le politique impliqué dans ce rapport au monde expérientiel en est un qui se construit sur le mode heuristique, et la première assertion en est : chaque être humain est capable de penser et de comprendre le monde dans lequel il vit, ainsi que d'y agir dans la perspective d'une coexistence juste. Pierre Perrault a voulu se détacher d'un rapport au monde dépossédant, empreint de hiérarchies et de structures coercitives, en laissant tomber les « images impériales » pour partir faire ses propres recherches et expérimenter, donnant à voir, par le truchement d'une caméra poétique, une parole vécue. Sa démarche trouve une résonance dans l'idée politique qu'il met en marche, celle de nous inviter à penser que nous possédons les moyens d'habiter en commun un présent, sans égards aux injonctions autoritaires du contrôle, et que les moyens de cette autonomie se trouvent à même soi, accessibles par l'expérience. Se faisant, Perrault s'engage à notre avis dans une encircularisation, qui met en mouvement l'idée d'un processus non-linéaire, où, bien que gardant les traces de la pensée « linéaire » ambiante, il se frotte à la disposition qu'implique la pensée circulaire. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Épistémologie, expérience, encircularisation, méthode heuristique, art, geste, politique, pensée circulaire, Pierre Perrault.

Les engins autonomes suivent un plan de mission donné, parfois réactualisé par l'opérateur. La durée des missions et la limitation des communications poussent à développer des engins pourvus d'autonomie décisionnelle. Ce travail porte sur la replanification embarquée, illustrée sur une mission d'observation effectuée par un drone. Il vise à élaborer un planificateur de mission intégré dans une architecture embarquée. <br /><br />Le formalisme proposé décrit la sélection d'objectifs associés à des récompences variables et l'optimisation sous contraintes de leur réalisation dans le temps et l'espace. <br />Le cadre algorithmique, inspiré du A*, et des méthodes d'évaluation de coût, d'élagage et de rangement sont décrits. <br />Une architecture hybride hiérarchisée en 4 niveaux d'autonomie intègre le planificateur. <br />36 scénarios simulés sur 16 combinaisons de méthodes testent la partie alorithmique. L'analyse des résultats permet de dégager les méthodes obtenant les meilleurs compromis qualité/temps de calcul.

Thèse doctorat : Informatique : Lille 1 : 2003. / N° d'ordre (Lille 1) : 3368. Résumé en français et en anglais. Bibliogr. p. 167-186.

Thèse doctorat : Informatique : Rennes 1 : 2005. Thèse doctorat : Informatique : Universidad de la República (Montevideo) : 2005. / Thèse soutenue en co-tutelle. Bibliogr. p. 215-226.

Reproduction de : Thèse de doctorat : informatique et mathématiques appliquées : Grenoble 1 : 1988. / Titre provenant de l'écran-titre.

Reproduction de : Thèse de doctorat : Informatique : Lille 1 : 2005. / N° d'ordre (Lille 1) : 3633. Résumé en français et en anglais. Titre provenant de la page de titre du document numérisé. Bibliogr. p. [185]-199.