De nombreux systèmes physiques peuvent être décrits par des modèles unidimensionnels (1D). C'est le cas de certains gaz d'atomes ultrafroids: dans les bonnes conditions leur dynamique a lieu suivant une seule dimension spatiale.<br />Je me suis intéressée à l'étude de quelques aspects des systèmes intégrables à 1D. D'abord je présente une étude de l'état fondamental d'un système de fermions 1D à 2 composants en interactions de contact répulsives. J'utilise l'ansatz de Bethe pour calculer le diagramme de phase du système homogène. Je prends ensuite en compte un piège harmonique et je montre que les atomes s'organisent en deux couches: une phase partiellement polarisée se trouve au centre du piège et une phase totalement polarisée aux bords.<br />Ensuite j'étudie des corrections dues aux effets de taille finie au gap du spectre d'excitations du modèle d'Hubbard 1D. J'obtiens deux termes correctifs aux résultats de la limite thermodynamique: un en loi de puissances inverses en la taille du système L, et un second exponentiel en L. Dans le régime de faible interaction ce deuxième terme peut être important.<br />Finalement j'étudie la réponse d'un système excité à la modulation temporelle de l'interaction entre atomes. Je considère le modèle de Lieb-Liniger et le modèle non-intégrable d'un gaz de fermions avec une impureté mobile. Je montre que le système non-intégrable est sensible à des excitations de fréquences de l'ordre de l'espacement moyen entre niveaux d'énergie, tandis que le système intégrable n'est excité que par des fréquences beaucoup plus grandes. Cet effet peut être utilisé comme test d'intégrabilité dans des systèmes mésoscopiques 1D et pourrait être observé expérimentalement.

Le but de ce travail est de montrer qu'il est possible de concilier sécurité et flexibilité dans un noyau de système d'exploitation. Nous démontrons qu'il est possible de garantir à la fois la flexibilité et la sécurité d'un système, en séparant la gestion de la politique de sécurité des outils servant à sa mise en oeuvre. Notre travail se découpe en deux partie. Dans la première nous proposons des outils élémentaires de protection ayant pour rôle de protéger le système contre certains types d'attaques choisis tout en restant totalement indépendants de la politique de sécurité mise en oeuvre dans le système. Dans la deuxième partie nous présentons le canevas logiciel sécurisé que nous avons implanté, et notamment le composant chargé de la gestion des politiques de sécurité que nous appelons gestionnaire de sécurité. Nos résultats sont validés sur des exemples mettant en évidence la flexibilité de la protection dans le système.

Cette thèse est consacrée à l'étude de la théorie mathématique qui sous-tend la construction et la résolution d'une classe particulière de systèmes quantiques exactement solubles: son objectif est d'utiliser les superalgèbres de Lie comme un outil pour construire et résoudre des chaînes de spins intégrables.<br />Nous développons une approche générale et systématique permettant de construire et traiter simultanément une large classe de systèmes intégrables partageant la même super--symétrie, allant du cas bien connu où tous les sites portent la représentation fondamentale (comme par exemple dans le cas du modèle t-J) à des situations plus complexes d'intérêt physique comprennent chaînes de spins alternée, avec impuretés, etc...<br /><br />Les deux premiers chapitres sont consacrés à un examen des résultats connus concernant le Yangien de la superalgèbre de Lie gl(m|n), nécessaire pour introduire la version graduée de la méthode de diffusion inverse quantique. Nous appliquons notre approche dans le chapitre 3 aux chaînes fermées et dans le chapitre 4 aux chaînes ouvertes. Dans ce chapitre sont étudiés les homologues super--symétriques de l'algèbre de réflexion et du Yangien twisté, qui sont les structures algébriques permettant d'imposer des conditions aux bords qui préservent l'intégrabilité. Dans le dernier chapitre, la méthode dite de fusion est traitée en détail pour des chaînes de spins avec supersymétrie sl(1|2).<br /><br />La méthode de résolution que nous utilisons, tant dans le cas fermé que dans le cas ouvert, est la généralisation au cas supersymétrique de l'Ansatz de Bethe analytique, pour lequel les équations de Bethe paramétrant les nombres quantiques du système sont obtenus comme conditions d'analyticité pour les valeurs propres des Hamiltoniens.

Depuis la détection de la première exoplanète en 1995 (autour d'une étoile de type solaire), près de 300 planètes extrasolaires et 25 systèmes multi-planétaires ont été observés à ce jour. La plupart de ces systèmes multi-planétaires se caractérisent par des planètes de type Jupiter, proches de leur étoile centrale et dont l'orbite est souvent très excentrique. Ces particularités peuvent conduire à de fortes interactions gravitationnelles entre les planètes. En conséquence, d'un point de vue dynamique, ces systèmes multi-planétaires compacts constituent une classe spécifique du problème général des N-corps. Des méthodes numériques spécifiques ont alors été développées afin d'explorer l'espace des paramètres à plusieurs dimensions de ces systèmes. Dans cette thèse, un bilan dynamique de plusieurs systèmes planétaires détectés est établi dans un premier temps, en utilisant deux méthodes d'analyse globale.<br /><br />Les planètes extrasolaires sont jusqu'à présent supposées être en révolution prograde autour de leur étoile mère. Cependant, cette thèse introduit une autre possibilité théorique conduisant à la stabilité de certains systèmes compacts. Nous explorons selon une approche numérique, des systèmes théoriques en résonance de moyen mouvement (MMR) comportant deux planètes en contre-révolution (ce qui signifie qu'une des deux planètes a un mouvement rétrograde par rapport à l'autre). En outre, je développe l'Hamiltonien du problème des 3-corps dans ce cas particulier de MMR rétrogrades. La problématique des résonances orbitales rétrogrades est donc analysée d'un point de vue à la fois numérique et analytique. Par ailleurs, afin d'étudier la consistance entre mécanismes théoriques impliquant des MMR rétrogrades et observations, des ajustements aux observations sont effectués pour une variété de systèmes observés. Outre les possibilités théoriques et observationnelles des résonances rétrogrades, une discussion portant sur la formation de systèmes contenant des planètes en contre-révolution est proposée.

Cette thèse a pour but d´analyser la multifonctionnalité de l'agriculture familiale d'un point de vue théorique et conceptuel à partir de sa reconnaissance par les politiques publiques et de son importance pour les régions semi-arides, défavorisées, comme une stratégie de développement régional. L'étude de cas est celle du Sertão semi-aride du Brésil, plus particulièrement le Territoire du Sisal, dans l'État de Bahia et selon la méthode de l'Analyse-Diagnostic des systèmes agraires. Nous étudieons la multifonctionnalité agricole dans ses dimensions publiques, à partir de l'approche territoriale, économique, sociale, environnementale et culturelle. Nous envisageons également une autre dimension publique, celle de l'éducation, typique de l'agriculture familiale (paysanne). La notion de territoire est comprise dans une perspective régionale, soit par une approche institutionnelle, soit par une approche déterminée par les projets territoriaux des entreprises d´économie solidaire (EES), comme l'expérience de l'Association de Développement Durable et Solidaire de la Région du Sisal (Associação de Desenvolvimento Sustentável e Solidário da Região Sisaleira - APAEB). La notion

Ce mémoire est consacré à l'étude des systèmes hyperboliques de lois de conservation et se compose de deux parties indépendantes. Dans une première partie, nous étudions des problèmes aux limites ne vérifiant qu'une condition de stabilité faible. Cette partie est motivée par l'étude d'ondes en mécanique des fluides compressibles comme les ondes de choc ou les nappes de tourbillon. Sous des hypothèses générales, nous définissons la notion de problème faiblement stable et montrons que de tels problèmes sont bien-posés au sens de Hadamard. L'originalité de notre travail consiste à autoriser une perte de régularité entre les seconds membres des équations et les solutions, les hypothèses ne portant que sur les symboles principaux des équations. Notre analyse commence par les problèmes linéaires, ces premiers résultats servant à traiter des problèmes non-linéaires intervenant dans la théorie des ondes de choc ou des discontinuités de contact. Dans une seconde partie, nous abordons l'étude des systèmes hyperboliques en présence de termes dissipatifs. Nos résultats couvrent tout d'abord des systèmes hyperboliques avec relaxation. Nous montrons l'existence globale de solutions régulières et justifions le comportement asymptotique de ces solutions lorsque le coefficient de relaxation devient infiniment grand. En particulier, nos résultats valident la construction de schémas numériques dits de relaxation pour les équations d'Euler. Nous étudions enfin un modèle d'hydrodynamique radiative où le terme de dissipation prend la forme d'un opérateur non-local. Nous montrons pour ce modèle l'existence et la stabilité asymptotique de profils de choc. Nous développons également une procédure numérique permettant de calculer ces profils.

Ce mémoire résume 10 ans de travail autour de l'étude des concepts à la base des systèmes de détection d'intrusions. Nous présentons en premier lieu les grandes caractéristiques des systèmes de détection d'intrusions : la source des données à analyser, l'approche de détection retenue, l'architecture de l'outil de détection d'intrusions, la granularité de l'analyse et le comportement en cas de détection. Nous positionnons alors nos travaux relativement à ces caractéristiques. Nous mettons ensuite en en avant parmi nos travaux en cours, ceux qui nous paraissent les plus à même d'apporter des réponses aux problèmes actuels de la détection d'intrusions. Ces travaux présentent une caractéristique commune : ils prennent en compte les caractéristiques du système surveillé : topologie, types de machine, logiciels installés, failles connues, politique de sécurité en vigueur. Nous présentons le travail fait dans le cadre de la thèse de Benjamin Morin autour de la corrélation des alertes issues des outils de détection d'intrusions, puis les travaux réalisés dans le cadre de la thèse de Jacob Zimmermann autour du contrôle d'accès tolérant aux intrusions. Comme il se doit, ce mémoire se conclu par la présentation de quelques perspectives de recherche.

L'objectif de cette thèse était de développer des méthodes de synthèse d'observateurs offrant des conditions de synthèse non contraignantes. Trois méthodes ont été proposées et différentes classes de systèmes ont été traitées. La première est la méthode de transformation en système LPV basée sur l'utilisation du théorème des accroissements finis (DMVT). Cette technique, qui fournit des conditions de synthèse non restrictives, est étendue à plusieurs classes de systèmes non linéaires tels que les systèmes non différentiables, les systèmes à sorties non linéaires, les systèmes à entrées inconnues, les systèmes à retard et les systèmes à temps discret. La seule limitation liée à la méthode est le fait qu'elle n'est applicable que pour des non-linéarités à jacobiennes bornées. Afin de surmonter cette limitation, une deuxième méthode est obtenue en combinant la technique du DMVT avec une nouvelle structure d'observateurs de type Luenberger généralisés. Grâce à cette structure, de nouvelles conditions de synthèse sont établies. Ces conditions sont valables même si la jacobienne de la non-linéarité n'est pas bornée. Par ailleurs, une nouvelle méthode de synthèse d'observateurs spécifique aux systèmes à temps discret est également proposée. Cette méthode utilise la condition de Lipschitz conjointement avec la fonction de Lyapunov standard. Des améliorations, qui permettent d'obtenir des conditions de synthèse non contraignantes, sont ensuite proposées en faisant appel à une nouvelle fonction de Lyapunov plus générale (qui tient compte de la non-linéarité du système) et à un observateur de Luenberger généralisé (OLG) qui permet de réduire l'effet de la constante de Lipschitz. Enfin, les résultats obtenus sont validés par une application à la synchronisation et au cryptage/décryptage dans les systèmes de communications chaotiques

Dans le domaine des systèmes multiagents (SMA), la communication est très souvent considérée selon une approche dyadique et abstraite assez rigide. Cette thèse fait l'hypothèse qu'en s'inspirant de la communication humaine, il est profitable d'utiliser le phénomène de l'écoute flottante dans des systèmes multiagents afin de donner souplesse et robustesse à leur structure. <br />Pour aller dans ce sens, nous proposons le modèle en étoile. Il permet aux membres d'un SMA d'utiliser l'écoute flottante pour se structurer en groupes centrés sur des leaders afin de s'adapter aux conditions de communication limitées et dynamiques dont ils disposent. Ce modèle fournit un cadre dans lequel les agents peuvent évoluer et assure que si leurs décisions respectent certaines contraintes (notamment de cohérence) ils pourront tirer parti de tous les messages qu'ils pourront recevoir (même s'ils ne leur sont pas destinés) afin de se forger les croyances les plus cohérentes possibles sur l'organisation de l'équipe et ainsi faciliter son activité. <br />D'une part, nous développons plusieurs éléments utiles pour exploiter ce modèle en étoile (langage à la sémantique définie formellement, mécanisme de mise à jour et algorithme associé). D'autre part, deux séries d'expérimentations (OTTO et LOTTO) nous permettent d'étudier le comportement du modèle face aux variations de divers paramètres.

Le travail présente dans cette thèse est centre sur le découplage par blocs des systèmes linéaires multivariables. On résout le probleme du découplage par blocs a l'aide d'un retour d'état dynamique non régulier (u=f(s)gv, g étant éventuellement non régulière). On montre que le probleme est soluble si le système a découpler possédé suffisamment d'entrées. L'aspect stabilité est aussi étudié; il est montre que quand le découplage est possible, il est possible avec stabilité. Nous étudions les solutions du découplage par blocs par precompensation de degré de McMillan minimal et de structure infinie minimale. A cette fin, deux invariants par bouclage sont introduits. Ils sont associes au même bloc du système découplé. Dans les deux cas, avec et sans stabilité, il est montre que les systèmes découplés minimaux que l'on obtient par retour d'état dynamique (quand c'est possible) sont les mêmes que ceux obtenus par precompensation