En physique nucléaire, l'interaction faisceau-cible engendre une multitude d'événements qui ne sont pas tous d'intérêt pour le phénomène physique étudié. Il est donc important de disposer d'un système de sélection nommé trigger. Nous avons étudié et réalisé un nouveau trigger adapté aux expériences menées au GANIL. Nous avons présenté un historique des différents triggers utilisés aux GANIL (Grand Accélérateur National d'Ions Lourds) et avons montré la nécessité d'un nouveau trigger modulaire, universel et ouvert. Après une description des différents modes de fonctionnement du nouveau trigger (GANIL Master Trigger, GMT) nous avons décrit les phases de sa conception et de sa réalisation. Le trigger renseigne sur la configuration des détecteurs temporels, or cette information peut être fondamentale dans le cas où la fenêtre d'analyse du trigger couvre plusieurs périodes du faisceau. Nous avons donc proposé une structure de mesure de temps (Time to Digital Converter, TDC) qui permet de lever cette indétermination. Les contraintes de temps mort, d'intégration et de consommation nous ont conduit à proposer une architecture numérique basée sur un compteur associé à une ligne A Retard (LAR). Des calculs simples ont permis de définir la zone de fonctionnement du TDC. Cette zone dépend du rapport cyclique de l'horloge et des retards de la LAR. Des mesures de Non Linéarité Différentielle (NLD) pour des résolutions différentes (1,2,5 et 10 ns) ont permis d'établir les limites de ce système et de mettre en évidence des solutions d'amélioration de ces caractéristiques.

Mes travaux de thèse portent sur le développement de schémas numériques d'ordre élevé en temps et en espace pour la simulation de la propagation des ondes. Nous avons proposé de discrétiser dans un premier temps l'équation des ondes par rapport au temps, en utilisant une technique de type équation modifiée. Puis nous avons utilisé une méthode d'éléments finis de type Galerkine discontinue pour la discrétisation en espace. En modifiant l'ordre de la discrétisation, nous avons construit des schémas tout aussi précis que ceux déjà existants pour un coût de mise en oeuvre très intéressant. Après avoir validé numériquement la nouvelle méthode, nous nous sommes intéressés à sa stabilité ainsi qu'à son adaptivité en temps et en espace. Pour arriver à cela, nous avons dû faire une étude précise de la stabilité de la méthode de Galerkine discontinue et nous avons proposé des améliorations à cette technique entraînant des gains de temps significatifs.

De nos jours, les réseaux sociaux numériques sont devenus des outils de communication incontournables. Chaque jour des dizaines de nouveaux réseaux se créent, des chroniques à la radio leurs sont consacrées, sans parler des livres, des émissions télévisuelles ou les articles de presse. Cette ascension rapide de cet outil communicationnel à usages multiples, suscite l'intérêt de la part d'acteurs provenant des différentes sphères (publique, politique,...) Dispositif sociotechnique, les RSN de par leur facilité d'utilisation et de mise en oeuvre, se sont imposés comme un support favorisant l'échange, le partage (de photos, de vidéos, de liens), l'interaction et la diffusion d'informations de tout ordre. Dans sa première, cette thèse fait l'objet d'une mise en perspective historique de l'emploi de la notion du " réseau ", " réseau social " et des " réseaux sociaux numériques ". Nous verrons que ces termes révèlent des détours d'usages à travers le temps. De plus, nous décrivons les réseaux sociaux numériques par rapport à d'autres possibilités du web 2.0. A partir d'approches philosophiques et théoriques, la deuxième partie tente la construction d'un modèle théorique d'analyse qui prend comme dimension fondamentale l'homme et la technique. Ensuite l'analyse du matériel de recherche dans une démarche empirique/descriptive et une approche exploratoire, permet d'une part, d'élaborer de nouvelles typologies et catégories de réseaux sociaux numériques, et d'autre part, de construire des cartographies des différentes controverses qui entourent cet objet communicationnel complexe.

Le but de cette thèse est de décrire en détail la dynamique linéaire et non linéaire d'une couche limite attachée sur une plaque plane à bas nombre de Reynolds. La dynamique linéaire, pilotée par les interactions entre les vecteurs propres non-orthogonaux, est étudiée à travers deux méthodes différentes d'instabilité globale : une analyse globale aux vecteurs propres et une optimisation directe-adjointe. Dans ces analyses globales, aucune structure spatiale n'est imposée à priori pour la perturbation, les effets convectifs dus au fort non parallélisme de l'écoulement sont pris en compte. Pour le cas de la couche limite décollée, le déclenchement des instationnarités a été clarifié : i) pour une forte amplification des perturbations de nature convective et bidimensionnelle ; ii) pour des effets de non normalité longitudinale engendrant le phénomène du flapping ; iii) pour une forte sensibilité vis-à-vis d'un forçage harmonique ; iv) pour un monde tridimensionnel globalement instable. Pour une couche limite attachée, le but a été d'identifier les perturbations localisées caractérisées par des fréquences multiples dans les directions longitudinales et transversales de l'écoulement, induisant une amplification de l'énergie des perturbations. Pour évaluer les effets les effets de la non linéarité dans les mécanismes d'instabilité identifiés par les analyses de stabilité globale, des simulations numériques directes ont été réalisées pour les écoulements de couche limite attachées ou décollées, bidimensionnelles et tridimensionnelles. La dynamique des perturbations permettant une plus rapide vers la turbulence a été étudiée. Différents scénarios de transition ont été observés, les différents mécanismes de transition ont été analysés.

Le premier objectif de ces recherches vise à étendre les capacités de calcul pour la modélisation des champs électromagnétiques basses fréquences. Cette activité repose sur le développement de méthodes numériques dédiées (méthode éléments finis, méthodes intégro-différentielles,...), implémentées dans un soucis de performance (compressions matricielles, calcul parallèle,..) et hybridées (couplages, modélisations multi niveaux,..). Le deuxième axe présenté s'intéresse à l'identification de sources électromagnétiques équivalentes par mesure du champ proche. Il combine très étroitement et indissociablement développement de formulations électromagnétiques inverses et création de systèmes de métrologie magnétique en champs faibles innovants. Un domaine applicatif important est le diagnostic

Afin d'optimiser la surveillance des travailleuses du nucléaire par anthroporadiamétrie, il est nécessaire de corriger les coefficients d'étalonnage obtenus à l'aide du fantôme physique masculin Livermore. Pour ce faire, des étalonnages numériques basés sur l'utilisation des calculs Monte Carlo associés à des fantômes numériques ont été utilisés. De tels étalonnages nécessitent d'une part le développement de fantômes représentatifs des tailles et des morphologies les plus communes et d'autre part des simulations Monte Carlo rapides et fiables. Une bibliothèque de fantômes thoraciques féminins a ainsi été développée en ajustant la masse des organes internes et de la poitrine suivant la taille et les recommandations de la chirurgie plastique. Par la suite, la bibliothèque a été utilisée pour étalonner le système de comptage du Secteur d'Analyses Médicales d'AREVA NC La Hague. De plus, une équation décrivant la variation de l'efficacité de comptage en fonction de l'énergie et de la morphologie a été développée. Enfin, des recommandations ont été données pour corriger les coefficients d'étalonnage du personnel féminin en fonction de la taille et de la poitrine. Enfin, pour accélérer les simulations, des méthodes de réduction de variance ainsi que des opérations de simplification de la géométrie ont été considérées.Par ailleurs, pour l'étude des cas de contamination complexes, il est proposé de remonter à la cartographie d'activité en associant aux mesures anthroporadiamétriques le calcul Monte Carlo. La méthode développée consiste à réaliser plusieurs mesures spectrométriques avec différents positionnements des détecteurs. Ensuite, il s'agit de séparer la contribution de chaque organe contaminé au comptage grâce au calcul Monte Carlo. L'ensemble des mesures réalisées au LEDI, au CIEMAT et au KIT ont démontré l'intérêt de cette méthode et l'apport des simulations Monte Carlo pour une analyse plus précise des mesures in vivo, permettant ainsi de déterminer la répartition de l'activité à la suite d'une contamination interne.

Si l'analyse automatique des accès aux tableaux a été largement étudiée, on trouve très peu de résultats convaincants sur l'analyse du contenu des tableaux. Pour une telle analyse, les analyses numériques sont centrales. Notamment, si l'on découvre l'invariant i ≠ j, on évite d'affaiblir la connaissance sur a[j] lors d'une affectation à a[i]. Nous proposons une nouvelle analyse numérique faiblement relationnelle, combinant des contraintes de zones (x - y ≤ c ou ±x ≤ c) à des contraintes de non-égalités (x ≠ y ou x ≠ 0). Cette analyse a une complexité en O(n4), si les variables prennent leur valeurs dans un ensemble dense. Dans le cas arithmétique, décider de la satisfaisabilité d'une conjonction de telles contraintes est un problème NP-complet. Nous proposons une analyse en O(n4) également pour ce cas. Au cœur des analyses du contenu des tableaux on trouve aussi des analyses de partitionnement symbolique. Pour une boucle " for i = 1 to n ", où un tableau est accédé à la cellule i, il est nécessaire de considérer le contenu des tableaux sur les tranches [1, i - 1], [i, i] et [i + 1, n] pour être précis. Nous définissons une analyse de partitionnement sémantique, puis une analyse du contenu des tableaux basée sur ses résultats. Cette dernière associe à chaque tranche φ une propriété ψ dont les variables représentent le contenu des tableaux sur cette tranche. La propriété ψ est interprétée cellule-par-cellule, ainsi pour φ = [1, i - 1] et ψ = (a = b + 1) il est exprimé que ∀ k ∈ [1, i - 1], a[k] = b[k] + 1. Les résultats expérimentaux montrent que notre analyse automatique est efficace et précise, sur une classe de programmes simples : tableaux unidimensionnels, indexés par une variable au plus (x + c ou c), traversés par des boucles, imbriquées ou non, avec des compteurs suivant une progression arithmétique. Elle découvre par exemple que le résultat d'un tri par insertion est un tableau trié, ou que durant le parcours d'un tableau gardé par une "sentinelle", tous les accès à ce tableau sont corrects.

Cette thèse s'inscrit dans le domaine de l'authentification de visage, en particulier dans le cadre du projet national " TechnoVision ". Bien que les êtres humains puissent détecter/reconnaître des visages dans une scène sans beaucoup de peine, construire un système qui accomplit de telles tâches représente un sérieux défie. Ce défi est d'autant plus grand lorsque les conditions d'acquisition des images sont très variables. Il existe deux types de variations associées aux images de visages : inter et intra sujet. La variation inter-sujet est limitée à cause du fait que la ressemblance physique entre les individus est assez rare. Par contre la variation intra-sujet est plus courante à cause, par exemple, des variations de poses, des changements dans les conditions d'éclairage, etc. Dans cette thèse, nous avons d'abord développé une approche de localisation de visage et de ses caractéristiques pour des images ne contenant qu'un seul visage sur un fond relativement uniforme avec des variations de lumière. Pour cela nous avons proposé une approche robuste de segmentation couleur dans l'espace TLS qui repose sur l'algorithme de ligne de partage des eaux modifiée. Pour l'extraction des régions caractéristiques faciales (yeux et bouche), nous avons combiné la méthode de classification kmeans avec une approche géométrique et nous l'avons appliqué sur la région du visage segmentée. Nous avons aussi proposé une approche multimodale 2D/3D qui repose sur la fusion pondérée des scores de l'approche " EigenFace " modulaire avec la signature anthropométrique 3D de visage. Nous avons évalué nos approches 3D et 2D/3D de reconnaissance du visage sur une sous-base de IV2 qui contient des images stéréoscopiques de visage. Les résultats obtenus sont très intéressants en comparaison avec les techniques classiques de reconnaissance 2D de visage. Enfin, nous avons discuté les perspectives d'amélioration des approches proposées.

Le talonnage d'un outil lors de l'usinage fait amortir les vibrations générées et impacte la stabilité du processus d'usinage. Alors, il faut prendre en compte ce phénomène lors de la simulation d'usinage. Ce travail de thèse présente une méthode pour l'identification, la modélisation, et la simulation numérique de talonnage d'un outil lors de l'usinage. La modélisation du talonnage est basée sur l'approche classique du calcul du volume de l'interférence entre la face de dépouille et la surface usinée de la pièce. Un dispositif spécifique a été conçu qui peut créer les conditions nécessaires pour générer l'interférence entre la face de dépouille de l'outil et la surface générée de la pièce. Les modèles géométriques de la pièce et l'outil sont représentés par les z-buffers qui permettent de déduire numériquement le volume de l'interférence en fonction des positions relatives de z-buffers à chaque instant. Les coefficients des efforts de coupe liés au talonnage sont estimés à partir de la méthode de la minimisation d'une erreur des efforts de coupe mesurés et les efforts de coupe simulés.

Le sujet principal de cette thèse porte sur la fouille de données numériques et plus particulièrement de données d'expression de gènes. Ces données caractérisent le comportement de gènes dans diverses situations biologiques (temps, cellule, etc.). Un problème important consiste à établir des groupes de gènes partageant un même comportement biologique. Cela permet d'identifier les gènes actifs lors d'un processus biologique, comme par exemple les gènes actifs lors de la défense d'un organisme face à une attaque. Le cadre de la thèse s'inscrit donc dans celui de l'extraction de connaissances à partir de données biologiques. Nous nous proposons d'étudier comment la méthode de classification conceptuelle qu'est l'analyse formelle de concepts (AFC) peut répondre au problème d'extraction de familles de gènes. Pour cela, nous avons développé et expérimenté diverses méthodes originales en nous appuyant sur une extension peu explorée de l'AFC : les structures de patrons. Plus précisément, nous montrons comment construire un treillis de concepts synthétisant des familles de gènes à comportement similaire. L'originalité de ce travail est (i) de construire un treillis de concepts sans discrétisation préalable des données de manière efficace, (ii) d'introduire une relation de similarité entres les gènes et (iii) de proposer des ensembles minimaux de conditions nécessaires et suffisantes expliquant les regroupements formés. Les résultats de ces travaux nous amènent également à montrer comment les structures de patrons peuvent améliorer la prise de d écision quant à la dangerosité de pratiques agricoles dans le vaste domaine de la fusion d'information.