L'entrée à l'université représente une épreuve de séparation que nous pouvons appréhender selon deux axes : une épreuve sociale dans une perspective de changement de vie et de préparation à la vie active, mais aussi et surtout une épreuve psychique. Cette épreuve se caractérise par un ensemble de remaniements pulsionnels en lien avec l'investissement de nouveaux objets de Connaissance. Le rapport à la Connaissance Universitaire viendrait réactiver des fantasmes infantiles de la relation objectale, par une remise en scène fantasmatique du rapport pulsionnel au corps de la mère. Il importe alors pour le nouvel étudiant de créer en soi une aire interne de pare-excitation, espace de gestion des mouvements pulsionnels, qui conditionne sa capacité à faire face à la séparation, à assumer la solitude et son corollaire : la honte. Nous avons ainsi mis en évidence combien la honte est présente lorsque sont convoquées les assises narcissiques du sujet, lors d'une épreuve de séparation.

Les travaux de thèse présentés dans ce mémoire ont permis le développement d'imageurs à courants de Foucault (ICF) intégrés et innovateurs utilisant un procédé magnéto-optique pour la mesure directe haute résolution de champ magnétique. Les ICF sont destinés à l'évaluation non-destructive des joints rivetés sur des structures aéronautiques et permettront la caractérisation avancée de ces structures. Les images fournies par l'ICF de laboratoire utilisé durant cette thèse et appliqué à l'inspection de rivets fissurés présentent des informations utiles pour la caractérisation des rivets. Ces images nécessitent des traitements par des algorithmes d'amélioration de la visualisation des fissures afin de mener à bien ces caractérisations. Ces algorithmes basés sur des analyses en composantes principales (ACP) ont été développés et leurs performances quantifiées. A partir de ces données traitées, des processus de caractérisation de rivets, c'est à dire la détection de fissures et leur classification en termes de longueur et profondeur, ont été proposés. Ces traitements donnent de bons résultats et permettent de localiser assez précisément des fissures enfouies dans les plaques de métal rivetées. Cette étude est particulièrement encourageante car elle permettra par la suite d'appliquer des algorithmes d'inversion afin de reconstruire les défauts détectés.

Une nouvelle stratégie de calcul multiéchelle est développée pour l'analyse de structures hétérogènes. Elle inclut une procédure d'homogénéisation automatique en temps et en espace et devrait se substituer aux stratégies d'homogénéisation standards dans certains domaines d'application. L'étude de points clés conditionnant les performances de la stratégie a également conduit à l'élaboration de nouveaux outils. Il est proposé une méthode de discrétisation saine des quantités d'interface pour les méthodes de décomposition de domaine mixtes. Une technique d'approximation du problème homogénéisé basée sur l'introduction d'une troisième échelle est également introduite. Enfin, il est proposé une méthode d'approximation robuste d'équations d'évolution linéaires, basée sur le concept d'approximation radiale (décomposition en variables séparées), qui permet la construction a priori d'une base réduite pertinente de fonctions spatiales. Ces améliorations permettent d'envisager l'analyse de structures composites à grand nombre de cellules.

.

Cette thèse présente différentes notions d'observation en sémantique, et quelques résultats sur leurs relations. Après avoir rappelé les définitions du lambda-calcul simplement typé et de ses modèles, nous présentons la notion d'observation définie par un modèle. Dans une première partie, nous présentons les liens entre cette notion et la définissabilité relative, en prenant les exemples de PCF unaire, de PCF finitaire et du modèle fortement stable de PCF, en étendant des travaux de Bucciarelli, Malacaria et Longley.<br />La partie suivante est consacrée à l'étude de la notion d'observation dans le cadre d'un langage avec des effets de bord. Nous proposons un modèle basé sur les domaines de Fraenkel-Mostowski, sur lequel nous définissons des relations logiques pour prouver des équivalences, aui servent à distinguer la partie publique de la mémoire de la partie secrète où les invariants sont préservés; ce qui établit un lien avec les problématiques de sécurité.<br />Enfin, nous étudions la question du temps d'exécution en sémantique dénotationnelle. Nous proposons une construction axiomatique, basée sur une monade, pour représenter le te,ps d'exécution sans le rendre observable par le contexte. Nous appliquons cette construction au modèle des espaces de cohérence et aux jeux de Hyland et Ong. Nous prouvons que ce dernier modèle est complètement adéquat.

Dans cette thèse, la Séparation Aveugle de Mélanges Convolutifs de Sources est étudiée. Pour la séparation des mélanges audio, nous avons développé des méthodes nouvelles pour les cas avec bruit et sans bruit dans l'environnement de propagation. La méthode sans bruit est basée sur la diagonalisation conjointe des matrices spectrales et exploite la non stationnarité des signaux. Nous avons proposé deux techniques différentes pour résoudre le problème de permutation. La deuxième méthode, où un bruit additif est présent, est basée sur le maximum de vraisemblance. La simulation des méthodes est réalisée sur des données réelles de salles acoustiques.

L'électrochromatographie capillaire (ECC) est une méthode séparative très prometteuse. En effet, elle combine l'efficacité due au profil plat du flux électroosmotique (ECZ) et la sélectivité due aux interactions avec une phase stationnaire (CPL). Les phases stationnaires monolithiques ont été développées comme alternative aux phases particulaires de par leur facilité de synthèse in situ. C'est pourquoi ces nouvelles phases stationnaires peuvent être facilement intégrées dans des microsystèmes analytiques. Cependant un des inconvénients majeurs liés aux techniques miniaturisées est leur faible sensibilité lors d'analyse de traces. Ces difficultés peuvent être circonvenues en réalisant une étape appropriée de préconcentration des composés d'intérêt avant l'étape d'analyse proprement dite. Une telle stratégie serait particulièrement pertinente pour des échantillons environnementaux et d'intérêts biologiques. <br />Dans un premier temps nous avons étudié l'optimisation de la synthèse in situ de phases stationnaires monolithiques à base d'acrylates. Des facteurs tel que la dose énergétique appliquée et le prétraitement du capillaire ont été étudiés afin de déterminer dans quelle mesure ceux-ci peuvent influer sur les performances structurales et séparatives de ces colonnes.<br />Dans un deuxième temps, les résultats obtenus en ECC avec des colonnes monolithiques testées en tant que matériau de préconcentration et de séparation sont présentés. Ces études ont été menées avec des composés modèles environnementaux. De très bonne efficacité (250 000 à 350 000 plateaux/m) et des facteurs de préconcentration supérieurs à 10 000 ont été obtenus, avec succès.<br />Enfin le couplage en ligne d'une étape de préconcentration avant la séparation dans des microsystèmes comportant une phase stationnaire monolithique a été réalisé, des hydrocarbures polyaromatiques ont ainsi été analysés.

Le travail présenté dans cette thèse concerne la Séparation<br />Aveugle de Sources (SAS). La SAS consiste à estimer n signaux<br />inconnus (les sources) d'après la seule connaissance de m<br />mélanges de ces signaux (les observations).<br /><br />Nous étudions dans un premier temps l'identifiabilité des sources<br />dans le problème de la séparation aveugle de mélanges linéaires<br />instantanés (sur)déterminés (m >= n). Plusieurs modèles de<br />sources identifiables sont examinés. En particulier, il est montré<br />que si les sources possèdent une diversité temporelle et/ou<br />fréquentielle, leur indépendance mutuelle à l'ordre 2 suffit à<br />garantir leur identifiabilité.<br /><br />Nous décrivons dans un deuxième temps quelques méthodes de SAS<br />construites sur les hypothèses des modèles identifiables examinés.<br />Ces méthodes ont en commun d'être basées sur une procédure de<br />diagonalisation simultanée de matrices. Nous nous intéressons plus<br />particulièrement à une méthode adaptée aux sources<br />non-stationnaires, basée sur la diagonalisation simultanée de<br />matrices extraites du Spectre de Wigner-Ville Spatial (SWVS) des<br />observations à certains points du plan temps-fréquence (et après<br />blanchiment spatial). Nous proposons une approche théorique dans<br />un contexte stochastique qui justifie l'approximation en pratique<br />du SWVS par des Représentations Temps-Fréquence Spatiales de la<br />classe de Cohen. Les performances de la méthode dépendent dans une<br />large mesure de la sélection des points temps-fréquence et nous<br />proposons un critère de sélection robuste basé sur la détection<br />d'auto-termes simples des sources. Une étude statistique des<br />performances des méthodes exposées est réalisée sur des signaux<br />synthétiques non-stationnaires de type TVARMA. Une série de<br />critères d'évaluation originaux est proposée.<br /><br />Enfin, dans un troisième temps, nous montrons comment les méthodes <br />de SAS présentées dans le cas de mélanges linéaires instantanés <br />peuvent être généralisées à la séparation de mélanges convolutifs à <br />Réponse Impulsionnelle Finie en utilisant une procédure de <br />bloc-diagonalisation simultanée. Quelques résultats sur des <br />mélanges synthétiques de signaux audio sont présentés.

Cette thèse est consacrée à la présentation d'un algorithme nouveau et à la formalisation et l'amélioration d'algorithmes existants pour le calcul des lois marginales et conditionnelles dans les réseaux bayésiens.<br /> Le chapitre 1 présente la théorie des réseaux bayésiens. Nous introduisons une nouvelle notion, celle de réseau bayésien de niveau deux, utile pour l'introduction de notre algorithme de calcul sur les réseaux bayésiens ; nous donnons également quelques résultats fondamentaux et nous situons dans notre formalisme un exemple d'école de réseau bayésien dit «Visite en Asie» .<br />Dans le second chapitre, nous exposons une propriété graphique appelée «d-séparation» grâce à laquelle on peut déterminer, pour tout couple de variables aléatoires ou de groupes de variables, et tout ensemble de conditionnement, s'il y a nécessairement, ou non, indépendance conditionnelle. Nous présentons également dans ce chapitre des résultats concernant le calcul de probabilités ou probabilités conditionnelles dans les réseaux bayésiens en utilisant les propriétés de la d-séparation. Ces résultats, qui concernent des écritures à notre connaissance originales de la factorisation de la loi jointe et de la loi conditionnée d'une famille de variables aléatoires du réseau bayésien (en liaison avec la notion de réseau bayésien de niveau deux) doivent trouver leur utilité pour les réseaux bayésiens de grande taille.<br />Le troisième chapitre donne la présentation détaillée et la justification d'un des algorithmes connus de calcul dans les réseaux bayésiens : il s'agit de l'algorithme LS (Lauritzen and Spigelhalter), basé sur la méthode de l'arbre de jonction. Pour notre part, après avoir présenté la notion de suite recouvrante propre possédant la propriété d'intersection courante, nous proposons un algorithme en deux versions (dont l'une est originale) qui permet de construire une suite de parties d'un réseau bayésien possédant cette propriété. Cette présentation est accompagnée d'exemples. <br />Dans le chapitre 4, nous donnons une présentation détaillée de l'algorithme des restrictions successives que nous proposons pour le calcul de lois (dans sa première version), et de lois conditionnelles (dans sa deuxième version). Cela est présenté après l'introduction d'une nouvelle notion : il s'agit de la descendance proche. Nous présentons également une application de l'algorithme des restrictions successives sur l'exemple «Visite en Asie» présenté en chapitre 1, et nous comparons le nombre d'opérations élémentaires effectuées avec celui qui intervient dans l'application de l'algorithme LS sur le même exemple. Le gain de calcul qui, à la faveur de cet exemple, apparaît au profit de l'algorithme des restrictions successives, sera comme toujours, d'autant plus marqué que la taille des réseaux et le nombre de valeurs prises par les variables seront plus élevés. C'est ce qui justifie l'insertion de notre algorithme au seins de « ProBT » , un logiciel d'inférence probabiliste, réalisé et diffusé par l'équipe Laplace localisée dans le laboratoire Gravir à INRIA Rhône Alpes. <br />En annexes nous rappelons les propriétés des graphes orientés sans circuits, les notions de base sur l'indépendance conditionnelle et l'équivalence de plusieurs définitions des réseaux bayésiens.

Cette thèse présente un travail sur le fond diffus extragalactique dans les domaines de longueurs d'onde infrarouge et millimétrique. (1) L'étude de la couleur (ou rapport de brillance) des cirrus aux longueurs d'onde 60 et 100 microns a montré une augmentation de celle-ci de B(60)/B(100)=0.21 à 0.28 pour des brillances inférieures à B(100)=3 MJy/sr. Ceci se traduit par une augmentation des très petits grains de poussières dans les régions diffuses de haute latitude provoquée par l'érosion et la fragmentation des grains par les ondes de choc des supernovae. (2) La séparation entre les cirrus et les fluctuations du fond diffus infrarouge extragalactique à l'aide des couleurs B(60)/B(100), B(60)/B(170), B(100)/B(170) s'est révélée non efficace, car les spectres des deux composantes sont trop proches à ces longueurs d'onde. Il faudra renouveler l'étude aux plus grandes longueurs d'onde de Planck et Herschel. (3) Le spectre de puissance des fluctuations du fond diffus infrarouge extragalactique ne montre aucune corrélation particulière. On en déduit un biais des galaxies infrarouges inférieur à 0.6. Ceci implique que les galaxies formant les fluctuations du fond sont à bas redshift. On espère détecter des corrélations en sondant les cartes plus grandes de SPITZER. (4) la séparation statistique du fond diffus cosmologique (FDC) et de l'effet Sunyaev-Zel'dovich (SZ) cinétique pourrait se faire à l'aide d'une loi à priori entre l'effet SZ cinétique et le produit de covariance entre la carte de mélange (FDC+SZ cinétique) et l'effet SZ thermique.