Les rythmes biologiques aident les organismes vivants à programmer la plupart des processus comportementaux dans la fenêtre temporelle la plus appropriée. Les données de la littérature sur la rythmicité du chat domestique sont rares et conflictuelles. Pour approfondir nos connaissances sur le sujet, nous avons utilisé de récentes technologies de télémétrie pour enregistrer et caractériser les rythmes journaliers d'activité locomotrice et de prises alimentaire chez des chats en fonction des saisons et des conditions d’hébergement. Les rythmes des chats étaient modifiés par la photopériode et la présence humaine. Suivant une périodicité de 24 heures, ils ont affiché une bimodalité dans leurs rythmes quotidiens, avec des creux d'activité locomotrice et de consommation au milieu de la journée et de la nuit. Les deux périodes principales d'activité/alimentaires correspondaient à l'aube et au crépuscule à chaque saison, indépendamment de leur horaire, confirmant la nature intrinsèque crépusculaire de l'espèce. Le rythme alimentaire des chats était plus variable au cours du cycle que celui de leur activité locomotrice, rappelant ainsi le caractère opportuniste de ce prédateur. Les chats ont présenté une plasticité comportementale caractérisée par des rythmes plus faibles et un comportement d'exploration plus nocturne en milieu extérieur qu’en milieu intérieur, au sein duquel ils étaient plus enclins à la routine. Nos résultats ouvrent la voie au développement de solutions nutritionnelles et des recommandations d’hébergement adaptées aux rythmes du chat en respectant les besoins physiologiques de l’animal. / Biological rhythms are of importance for living organisms as they help to schedule most behavioural processes within the most suitable temporal window. Literature on daily rhythmicity is scarce and conflicting regarding domestic cats. To sharpen our knowledge on the subject, we used advanced telemetry technologies to record and characterise the daily rhythms of locomotor activity and feeding in cats according to the seasons and housing conditions. The cats were sensitive to photoperiod and to human presence. Along 24-hour periodicity, they displayed bimodality in their daily patterns, with mid-day and mid-night troughs of locomotor activity and food consumption. The two main activity/eating periods corresponded to dawn and dusk at each season, regardless of the twilight timings, confirming the crepuscular intrinsic nature of the species. The feeding rhythm of the cats was more variable daily than their locomotor activity one, recalling the opportunistic character of this predator. Cats displayed plasticity in their behaviour, such as weaker daily rhythms and more nocturnal exploratory behaviour outdoors, compared to indoors where they were more prone to routine. Our results open new avenues for developing nutritional and housing guidelines fitted to the rhythms of the cats according to their way of life.

L'optimisation de l'association " antenne - système" est une préoccupation majeure des concepteurs de tags RFID UHF et micro-ondes. L'évaluation conjointe de l'énergie reçue par ces antennes et de l'énergie re-rayonnée permettrait aux concepteurs d'évaluer directement les potentialités de télé-alimentation de leurs tags ainsi que la qualité de la communication. Pour répondre à cette problématique, nous avons développé une stratégie originale de modélisation et de simulation de systèmes RFID intégrés reposant sur l'utilisation du langage VHDL-AMS; langage compatible avec la majorité des outils de Conception Assistée par Ordinateur utilisés en microélectronique. La solution que nous proposons consiste en une modélisation à différents niveaux d'abstraction du système RFID que nous souhaitons optimiser, y compris le lien RF et les antennes. Nous adaptons ainsi le flot de conception classique largement utilisé en électronique numérique à un problème de conception mixte et RF.

L'augmentation de la complexité des systèmes hétérogènes a conduit à l'apparition d'une nouvelle méthode de conception et de validation. Cette approche qui s'appuie sur un flot de conception descendant s'inspire des méthodes utilisées dans le domaine numérique. Dans cette thèse, nous avons développé une approche permettant de qualifier le plan de vérification utilisé lors de la validation de conception et d'améliorer le test matériel des systèmes AMS&RF. L'originalité de notre approche est d'utiliser une description comportementale du système pour la qualification et la génération des stimuli de test. En effet, les méthodes de test actuelles utilisant les descriptions niveau composant ne sont pas adaptées au test de systèmes complexes. En utilisant ce concept, au cours de cette thèse la plateforme PLASMA, PLAteforme pour la qualification et la génération de stimuli pour test de Systèmes Mixtes et Analogiques, a été développée. Cette plateforme est en particulier conçue pour le test des systèmes AMS&RF. PLASMA a été validée sur un émetteur/récepteur W-CDMA intégré conçu par ST Microelectronics.

Les processus de prises de décisions, et les comportements que les animaux adoptent à l'issue de ces processus, ont nécessairement des conséquences sur leurs chances de survivre et de se reproduire. Dans un environnement variable, l'utilisation d'informations fiables apparaît donc comme essentielle pour maximiser sa valeur adaptative. Dans le cadre théorique de la sélection sexuelle, l'objectif principal de la thèse est de comprendre les informations utilisées par les hyménoptères parasitoïdes lors des différentes étapes de la séquence d'appariement et de l'allocation aux sexes. Le manuscrit débute par une importante synthèse bibliographique puis présente les expériences menées en laboratoire et sur le terrain, en prenant l'exemple du parasitoïde solitaire Venturia canescens. Les résultats soulignent l'importance cruciale des informations liées aux conspécifiques lors de la phase d'acquisition des partenaires. Lors de la localisation du partenaire sexuel, les mâles augmentent leur efficacité de recherche en combinant l'information olfactive émise par les femelles à celle reliée à leurs habitats. Lors du choix du partenaire sexuel, les femelles reconnaissent et évitent de s'accoupler avec leurs frères, probablement sur la base d'une signature chimique, ce qui s'explique par le coût délétère des accouplements consanguins chez cette espèce. Comme chez de nombreuses espèces de parasitoïdes, la sex-ratio est biaisée en faveur des femelles, mais contrairement aux prédictions des modèles théoriques, le choix du sexe de la descendance ne semble pas dépendre des informations liées aux conspécifiques. Des contraintes physiologiques pourraient être responsables de ce biais.

Les accidents vasculaires cérébraux constituent la troisième cause de mortalité et la première cause de handicap chez l'adulte dans les pays industrialisés. Ils induisent d'importantes altérations fonctionnelles au sein du tissu neuro-glio-vasculaire avec des conséquences dramatiques en terme de handicap cognitif et moteur affectant le quotidien des patients. L'objectif de ce travail est d'étudier les modifications des conductances potassiques vasculaires, Kir et Kv, dans un modèle d'ischémie-reperfusion focale par occlusion intraluminale de l'artère cérébrale moyenne chez le rat. Une étude de la plasticité ionique au cours de la période post-ischémique (7 jours) est réalisée par des techniques électrophysiologiques (patch-clamp) et une évaluation du déficit sensorimoteur représentatif du handicap fonctionnel observé chez des patients suite à un accident vasculaire cérébral est effectuée. Face à ces lésions, l'évaluation en phase aiguë de deux traitements pharmacologiques a été réalisée, par l'administration de la Stobadine, molécule aux propriétés antioxydantes, et de Fénofibrate, agoniste des récepteurs PPAR alpha.<br />Au niveau vasculaire, nous avons confirmé à 24 heures de reperfusion l'altération du courant Kir2.x, de la relaxation K + dépendante qui lui est associée ainsi que de la relaxation endothélium-dépendante. Il est mis en évidence pour la première fois la réduction d'une autre conductance potassique, voltage-dépendante, impliquant les canaux Kv. Au cours de la période post-ischémique étudiée jusqu'à 7 jours, une récupération totale, spontanée et progressive de la conductance Kir2.x et de la relaxation potassium-dépendante est obtenue. En revanche aucune récupération de la relaxation endothélium-dépendante n'est observée à 7 jours de reperfusion. En ce qui concerne le déficit sensorimoteur observé dès 24 heures et évalué par le test du ruban adhésif et de la traction préhensile, un retour significatif et progressif des capacités sensorimotrices se met en place mais reste partiel.<br />L'administration de Stobadine (1h et 6h après l'ischémie) permet de prévenir l'altération de la relaxation endothélium-dépendante et de la densité de courant Kir2.x dès 24h de reperfusion sans modifier la cinétique de la récupération spontanée de la relaxation potassium-dépendante. En revanche ce traitement induit une diminution significative des lésions cérébrales et une accélération de la récupération des fonctions motrices et sensorimotrices au cours des 7 premiers jours de reperfusion. De même, à 3 jours de reperfusion, une réduction significative des lésions cérébrales et une accélération de la récupération du déficit moteur sont observées suite à l'administration du Fénofibrate (traitement biquotidien sur 3 jours) en parallèle d'une récupération totale des deux mécanismes de vasorelaxation étudiés.

En microrobotique, la commande des systèmes est délicate car les phénomènes physiques liés à l'échelle microscopique sont complexes. Les méthodes dites d'apprentissage par renforcement constituent une approche intéressante car elles permettent d'établir une stratégie de commande sans connaissance \emph(a priori) sur le système. Au vu des grandes dimensions des espaces d'états des systèmes étudiés, nous avons développé une approche parallèle qui s'inspire à la fois des architectures comportementales et de l'apprentissage par renforcement. Cette architecture, basée sur la parallélisation de l'algorithme du Q-Learning, permet de réduire la complexité du système et d'accélérer l'apprentissage. Sur une application simple de labyrinthe, les résultats obtenus sont bons mais le temps d'apprentissage est trop long pour envisager la commande d'un système réel. Le Q-Learning a alors été remplacé par l'algorithme du Dyna-Q que nous avons adapté à la commande de systèmes non déterministes en ajoutant un historique des dernières transitions. Cette architecture, baptisée Dyna-Q parallèle, permet non seulement d'améliorer la vitesse de convergence, mais aussi de trouver de meilleures stratégies de contrôle. Les expérimentations sur le système de manipulation montrent que l'apprentissage est alors possible en temps réel et sans utiliser de simulation. La fonction de coordination des comportements est efficace si les obstacles sont relativement éloignés les uns des autres. Si ce n'est pas le cas, cette fonction peut créer des maxima locaux qui entraînent temporairement le système dans un cycle. Nous avons donc élaboré une autre fonction de coordination qui synthétise un modèle plus global du système à partir du modèle de transition construit par le Dyna-Q. Cette nouvelle fonction de coordination permet de sortir très efficacement des maxima locaux à condition que la fonction de mise en correspondance utilisée par l'architecture soit robuste.

Depuis 2001 j'ai développé au sein de l'équipe Oasis des travaux de recherche sur la sémantique des applications à base d'objets distribués, appliquant dans le contexte d'un vrai langage, et d'applications de taille réelle, mes recherches précédentes dans le domaine des algèbres de processus. Les différents aspects de ce travail touchent naturellement à la sémantique comportementale, et à la définition de procédures de génération de modèles prenant en compte les différentes facettes de la programmation d'applications distribuées, mais aussi, en amont, à l'analyse statique de code et aux techniques d'abstraction de modèles, et en aval aux outils de vérification de propriétés comportementales. Je montre dans ce mémoire la complexité de ces recherches et la grande variété des techniques requises. Nous avons mis en place une méthode cohérente basée sur un modèle sémantique très flexible, le modèle pNets (parameterized Networks of automata), qui nous offre un bon compromis entre décidabilité, complexité, et utilisabilité. Cette approche nous a permis de définir une sémantique comportementale pour différents aspects des applications à base d'objets ou de composants distribués, mais aussi une notion d'abstraction vers des modèles abstraits finis, permettant d'utiliser des outils de vérification de type " model-checking ". L'ensemble de ces aspects a donné lieu à la réalisation de prototypes, dans la plateforme VerCors, et à des cas d'étude de grande taille.

L'Alsace est une des régions françaises les plus touchées par les coulées boueuses. Les caractéristiques d'occupation urbaine, physiques et agricoles de la région favorisent leur formation (sols limoneux, relief de collines, secteurs de grandes cultures). Notre réflexion apporte des réponses à la contribution de la prise en compte des niveaux de perception du risque par les acteurs concernés pour déterminer/modifier leurs comportements mais aussi permet d'améliorer les politiques de réduction des risques en insistant sur les attentes des populations. Onze communes alsaciennes ont été choisies pour faire l'objet d'une étude approfondie de leur perception et de leur représentation du risque de coulées boueuses (par le biais d'une enquête par questionnaires). La méthode développée doit répondre à quatre objectifs : (i) permettre une analyse fine des comportements des populations soumises à ce risque ; (ii) apporter des pistes de réflexion sur l'amélioration des modèles économiques du comportement ; (iii) prendre en compte les degrés de perception des risques pour améliorer la définition de campagnes de prévention des risques efficaces ; (iv) déterminer une cartographie comparative des variations de perception des risques et des situations de risque « réel ». Nos résultats montrent que la perception du risque varie en fonction de la population considérée, de son implication dans la gestion de la coulée boueuse et des dégâts supportés. Les réflexions menées en économie insistent sur la pertinence de l'utilisation de certains facteurs (l'expérience, le sentiment de menace, etc.) dans la modélisation des comportements des individus face à un risque naturel.

Laromatase est un enzyme-clé qui catalyse la conversion de la testostérone en stradiol. Cette conversion constitue une étape limitante dans le contrôle du comportement sexuel mâle. Bien quencore partiellement incompris aujourdhui, différents mécanismes de contrôle de lactivité aromatasique ont été mis en évidence par de récentes études. Dune part, l'activité aromatasique du cerveau peut être modifiée par une action lente, génomique et synergique des androgènes et des strogènes agissant via leurs récepteurs intracellulaires spécifiques. Ce mécanisme relativement lent implique que la variation de la biodisponibilité en strogènes et, en dernière analyse, le comportement sexuel soient corrélés à des variations à long terme des taux plasmatiques de stéroïdes telles que les variations saisonnières ou développementales. Cet effet génomique des strogènes sur le comportement sexuel est aujourdhui communément accepté: lexpression du comportement sexuel consommatoire mâle ainsi quun des indices du comportement sexuel appétitif mâle (réponse apprise de proximité sociale) chez la caille sont strictement dépendants de laromatisation de la testostérone en stradiol. Dautre part, la production d'strogènes dans le cerveau peut être modifiée de façon rapide, non-génomique, par des processus qui impliquent des phosphorylations sous l'action de certains neurotransmetteurs tels que le glutamate et la dopamine. Lexistence dune telle régulation rapide de lactivité aromatasique, et donc de la production subséquente doestrogènes, est en adéquation avec les effets rapides des strogènes dans le cerveau rapportés par de nombreuses études au cours des 20 dernières années. Cette thèse a donc été consacrée à la caractérisation des effets génomiques et non-génomiques des strogènes dans le contrôle du comportement sexuel mâle et à lidentification des substrats neuroanatomiques qui sous-tendent ces deux types deffets dans le contrôle du comportement reproducteur. Dans ce cadre, notre travail sest articulé en trois parties distinctes mais fonctionnellement liées. Dans une première partie, nous avons dabord exploré plus avant le contrôle hormonal dun indice de la motivation sexuelle : les contractions rythmiques des muscles cloacaux (RCSM) en réponse à la vue dune femelle. Nous avons donc montré que lexpression des RCSM dépend de laromatisation de la testostérone en stradiol. Par la suite, nous avons démontré que les composantes appétitives et consommatoires du comportement sexuel mâle étaient contrôlées par des réseaux neuronaux en partie distincts mais incluant de façon proéminente laire préoptique médiane, et plus spécifiquement le noyau préoptique médian. La deuxième partie de cette thèse a été consacrée à lanalyse plus approfondie du contrôle hormonal dune réponse sexuelle conditionnée - les contractions rythmiques des sphincters cloacaux conditionnées (RCSM conditionnées) et des sites nerveux responsables de lactivation de cette réponse. Nous démontrons que les RCSM conditionnées dépendent également de laromatisation de la testostérone en strogènes, comme cela est le cas pour leur versant inné. Par la suite, nous avons montré que lexposition à un stimulus sexuel conditionné avant la copulation provoque une activité neuronale accrue dans des régions cérébrales jouant un rôle-clé dans le contrôle du comportement sexuel, laire préoptique médiane et la partie médiane noyau du lit de la strie terminale (BSTM). Finalement, dans une troisième partie, nous nous sommes attachés à létude de la modulation rapide du comportement sexuel mâle par les strogènes. Dans ce cadre, nous avons montré que la régulation positive et négative des concentrations cérébrales en strogènes affectent rapidement lexpression du comportement sexuel mâle chez une espèce aviaire (caille) et une espèce murine (souris). Ce dernier modèle nous a de plus permis de valider la spécificité neuroendocrinienne des effets comportementaux rapides observés.

La théorie des systèmes a acquis un statut interdisciplinaire au cours des cinq dernières décennies, et un aspect important de cette théorie concerne la commande automatique des systèmes dynamiques. Un dispositif de commande, appelé contrôleur ou régulateur, est un dispositif qu'on interconnecte à un système donné, qu'on désigne aussi sous le terme de procédé ou processus, de manière à réaliser un système global ayant un comportement désiré ou des performances spécifiées. Dans cette thèse, nous traitons de la problématique de la commande automatique des systèmes dynamiques sujets à des défaillances. Cette problématique est fortement motivée par les exigences de sûreté de fonctionnement des systèmes en milieu industriel où la commande tolérante aux défauts constitue un moyen pour améliorer la fiabilité et accroître la disponibilté des systèmes tout en assurant les performances souhaitées. Le travail présenté dans cette thèse porte essentiellement sur la synthèse de techniques de commande en ligne en vue de garantir une tolérance aux pannes à tout moment pour le système bouclé. Deux approches sont proposées, à savoir une première approche basée sur une banque de contrôleurs pré-conçus et une seconde approche basée sur la conception en ligne des commandes. L'originalité de ces approches réside dans le fait qu'aucune information a priori sur le procédé n'est exigée ou n'est disponible en temps réel. En particulier, aucune identification ni estimation des paramètres du procédé n'est effectuée en temps réel. La reconfiguration des contrôleurs suite à une défaillance du procédé se base uniquement sur les trajectoires réelles (signaux) issues du procédé. Nous utilisons l'approche comportementale des systèmes comme paradigme de modélisation mathématique pour le développement des solutions proposées. Dans ce cadre mathématique, le concept d'interconnexion entre deux systèmes dynamiques, à savoir le contrôleur et le procédé, joue un rôle important dans la formulation et la solution du problème de commande et permet de déterminer l'ensemble admissible des trajectoires du procédé qui sont compatibles avec les spécifications de performance. Du point de vue pratique, la réduction des transitoires lors de la reconfiguration des contrôleurs est l'une des exigences importantes dans les algorithmes de commandes tolérantes aux défauts. La dernière partie de la thèse traite de la gestion de ces transitoires à l'aide d'une technique d'implantation des contrôleurs en temps réel qui assure une transition sans-à-coup lors des reconfigurations. En outre, on illustre dans cette dernière partie de la thèse les solutions de commandes obtenues pour la tolérance aux fautes sur des exemples issus du monde réel, à savoir un procédé hydraulique constitué de deux bacs à niveau, un avion en phase d'approche à l'atterrissage, et une éolienne NREL de 5 mégawatts.