Le travail presente dans cette these consiste a definir les fonctionnalites d'une machine virtuelle ParObj, supportant la notion d'objets concurrents et adaptee aux exigences du parallelisme massifs. Cette these s'inscrit dans le cadre du projet PARX de l'equipe "SYstemes Massivement PAralleles" du LGI qui vise a specifier et a realiser un systeme d'exploitation pour machines paralleles. A travers l'analyse de quelques Systemes Distribues a Objets connus, nous degageons les mecanismes de base que doit supporter ParObj. Nous avons arrete notre etude sur les aspects suivants : structures des entites, gestion des entites, gestion des interactions entre entites, et gestion des ressources. Dans notre approche, nous offrons dans ParObj un support parallele pour des objets passifs et actifs qui peuvent etre a la fois a gros grains (fichier, processus, etc.), et a grains intermediaires (liste chainee, thread, etc.). Pour une gestion encore plus fine du parallelisme, nous supportons aussi la notion d'objet fragmente. Un objet fragmente est un objet qui est decoupe en plusieurs sous-objets independants (fragments de l'objet) de taille quelconque, et qui peuvent etre accedes individuellement, de maniere concurrente.En revanche, nous avons decide de laisser aux compilateurs le soin de gerer les objets a grains fins. De plus, pour eliminer les conflits d'acces aux donnees, nous offrons un mecanisme de synchronisation des objets. L'architecture generale de ParObj est basee sur le modele original a trois niveaux de processus de PARX : le thread (qui est un flot de controle sequentiel a l'interieur d'une tache), la tache (qui est un contexte d'execution), et la Ptache (qui represente un programme parallele a l'execution). Une Ptache definit un domaine de communication et de protection, et assure la correction semantique du programme parallele (synchronisation des taches, controle des protocoles d'echanges, etc.). Au sein d'une Ptache, la protection des objets est assuree grace a des capacites. La localisation d'une entite (qui depend de sa visibilite et de sa reference) est realise grace a un mecanisme original de designation. Les experimentations que nous avons realisees montrent que ce mecanisme est parfaitement adapte a la gestion du parallelisme massif.

.

Aspects méthodologiques de la conception d'une application microprocesseur. La mise au point dans un contexte d'applications microprocesseurs. Une méthode de description de systèmes microprocesseurs : MICROD. Un périphérique d'aide au développement d'applications microprocesseurs et de supervision en temps réel : un processeur de gestion de mémoires CCD, le contrôleur disque souple, un processeur en temps réel applique au développement logiciel et matériel des applications microprocesseurs : ANALYD

Onze approches pour structurer, écrire, controler des applications reparties à activites parallèles. Présentation des d-modules. Description d'un langage. Exemple: écriture d'un petit systeme.

L'objectif de cette thèse consiste étudier et approfondir des techniques d'estimation de la densité et de classification dans des espaces de dimension élevée. Nous avons choisi de structurer notre travail en trois parties.<br /><br />La première partie, intitulée compléments sur les histogrammes modifiés, est composée de deux chapitres consacrés l'étude d'une famille d'estimateurs non paramétriques de la densité, les histogrammes modifiés, connus pour posséder de bonnes propriétés de convergence au sens des critères de la théorie de l'information. Dans le premier chapitre, ces estimateurs sont envisagés comme des systèmes dynamiques espace d'états de dimension infinie. Le second chapitre est consacré l'étude de ces estimateurs pour des dimensions suprieures un.<br /><br />La deuxième partie de la thèse, intituleé méthodes combinatoires en estimation de la densité, se divise en deux chapitres. Nous nous intéressons dans cette partie aux performances distance finie d'estimateurs de la densité sélectionnés à l'intérieur d'une famille d'estimateurs candidats, dont le cardinal n'est pas nécessairement fini. Dans le premier chapitre, nous étudions les performances de ces méthodes dans le cadre de la sélection des différents paramètres des histogrammes modifiés. Nous poursuivons, dans le deuxième chapitre, par la sélection d'estimateurs à noyau dont le paramètre de lissage s'adapte localement au point d'estimation et aux données.<br /><br />Enfin, la troisième et dernière partie, plus appliquée et indépendante des précédentes, présente une nouvelle méthode permettant de classer des courbes partir d'une décomposition des observations dans des bases d'ondelettes.

L'objectif de cette thèse est de spécifier et d'implanter une architecture de système d'exploitation flexibles. Cette architecture est nommée THINK.<br />Nous montrons qu'il est possible de capturer sous la forme de canevas logiciels des concepts et des principes d'architecture rencontrés dans les systèmes d'exploitation centralisés, embarqués ou répartis. Ces concepts sont au nombre de trois ; des composants, des liaisons modélisant les interactions, et des domaines modélisant l'isolation. Cette approche autorise la construction de noyaux d'infrastructure variés, susceptibles d'être mis en place, statiquement ou dynamiquement, depuis des systèmes dédiés à une application jusqu'aux systèmes monolithiques classiques en passant par les différentes formes de micronoyaux.<br />Nous implantons sur ce modèle une bibliothèque, nommée KORTEX, destinée aux machines POWERMACINTOSH. Cette bibliothèque propose un ensemble de composants systèmes, offrant d'une part des services du plus bas niveau comme les pilotes de périphérique, et d'autre part des services de haut niveau comme la gestion des processus et des connexions réseaux. La composition arbitraire de ces composants construit le noyau d'infrastructure désiré. La diversité des noyaux d'infrastructure construits à partir de cette bibliothèque, la rapidité et la simplicité de programmation offertes par les outils de développement, prouvent l'adéquation du modèle.<br />Les évaluations quantitatives du modèle d'architecture THINK et de la bibliothèque KORTEX de composants systèmes démontrent la viabilité de l'approche proposée. Les implantations du concept de liaison n'engendrent pas un coût inacceptable et elles permettent même d'obtenir des performances similaires à celles de la littérature. De plus, les bénéfices apportés par la structure flexible peuvent potentiellement être importants. Tout d'abord, les évaluations montrent un accroissement des performances d'exécution sur des noyaux de systèmes classiques. Ensuite, les besoins en ressources matérielles requis pour l'exécution des systèmes sont grandement diminués, ce qui offre des perspectives d'utilisation dans les environnements fortement contraints.

The hadron formation is, in the framework of the quantum chromodynamics theory (QCD), a non-perturbative process; this characteristic leads to important theoretical challenges. This is why experimental measurements of fragmentation in nuclei are a necessity in order to obtain substantial progress in our understanding of the mechanisms of hadron formation. The thesis begins with the introduction of theoretical background, followed by an overview of theoretical models. The thesis continues with the analysis of Jefferson Lab data obtained with a 5 GeV electron beam incident on various targets ($^2$H, C, Al, Fe, Sn and Pb).The reaction products are measured with the CLAS spectrometer of Hall B. The main results are: (a) multi-dimensional analysis of the measured observables, which permits a better confrontation with theoretical models and the extraction of temporal information on fragmentation, and (b) the observation of a non linear hadronic attenuation as a function of the target's nuclear radius. The PyQM event generator, developed to reproduce the data from the HERMES collaboration, is also presented. The results are ambivalent, the theoretical basis used does not seem to apply to the studied case, however, some characteristics of the data are reproduced allowing to understand their origin, which is sometimes unexpected. Finally, the possibilities for future experiments, at Jefferson Lab and at an Electron-Ion Collider (EIC), are explored.

Cette dernière décennie, la modélisation des villes 3D est devenue l'un des enjeux de la recherche multimédia et un axe important en reconnaissance d'objets. Dans cette thèse nous nous sommes intéressés à localiser différentes primitives, plus particulièrement les fenêtres, dans les façades de Paris. Dans un premier temps, nous présentons une analyse des façades et des différentes propriétés des fenêtres. Nous en déduisons et proposons ensuite un algorithme capable d'extraire automatiquement des hypothèses de fenêtres. Dans une deuxième partie, nous abordons l'extraction et la reconnaissance des primitives à l'aide d'appariement de graphes de contours. En effet une image de contours est lisible par l'oeil humain qui effectue un groupement perceptuel et distingue les entités présentes dans la scène. C'est ce mécanisme que nous avons cherché à reproduire. L'image est représentée sous la forme d'un graphe d'adjacence de segments de contours, valué par des informations d'orientation et de proximité des segments de contours. Pour la mise en correspondance inexacte des graphes, nous proposons plusieurs variantes d'une nouvelle similarité basée sur des ensembles de chemins tracés sur les graphes, capables d'effectuer les groupements des contours et robustes aux changements d'échelle. La similarité entre chemins prend en compte la similarité des ensembles de segments de contours et la similarité des régions définies par ces chemins. La sélection des images d'une base contenant un objet particulier s'effectue à l'aide d'un classifieur SVM ou kppv. La localisation des objets dans l'image utilise un système de vote à partir des chemins sélectionnés par l'algorithme d'appariement.

Nous abordons dans cette thèse le problème du calcul de la topologie de courbes algébriques planes. Nous présentons un algorithme qui, grâce à l'application d'outils algébriques comme les bases de Gröbner et les représentations rationnelles univariées, ne nécessite pas de traitement particulier de cas dégénérés. Nous avons implanté cet algorithme et démontré son efficacité par un ensemble de comparaisons avec les logiciels similaires. Nous présentons également une analyse de complexité sensible a la sortie de cet algorithme. Nous discutons ensuite des outils nécessaires pour l'implantation d'algorithmes de géométrie non-linéaire dans CGAL, la bibliothèque de référence de la communauté de géométrie algorithmique. Nous présentons un noyau univarié pour CGAL, un ensemble de fonctions nécessaires pour le traitement d'objets courbes définis par des polynômes univariés. Nous avons validé notre approche en la comparant avec les implantations similaires.

La stimulation haute fréquence (SHF) du noyau sous-thalamique (NST) est un traitement efficace dans l'abolition des symptômes moteurs de la maladie de Parkinson. Cependant, les mécanismes cellulaires et moléculaires qui sous-tendent ces effets sont encore loin d'être élucidés. Le laboratoire avait précédemment montré que la SHF du NST entraîne une augmentation des taux extra cellulaires de glutamate et de GABA chez les animaux éveillés ou anesthésiés dans une des principales structures cibles du NST, la substance noire réticulée (SNr). Au niveau de la SNr, les données suggèrent que la régulation de l'activité des neurones nigraux est due à la mise en œuvre conjointe d'une excitation des neurones glutamatergiques du NST et une implication des fibres de passages GABAergiques provenant du GPe et passant au voisinage de la zone sous-thalamique stimulée. L'objectif de ce travail de thèse est d'étudier l'implication des cellules gliales dans les réponses cellulaires de la SNr, sous stimulation du NST, et repose sur la mise en place d'une technique d'imagerie sur tranches de cerveau de rat adultes. Les tranches horizontales de cerveau contiennent à la fois le NST et la SNr, avec un maintien des connexions glutamatergiques subthalamonigrales.<br />Dans un premier temps, nous avons montré par immunohistochimie que la SNr contient 32% de neurones pour 68% de cellules gliales. Par la suite, nous avons montré que la SHF du NST induit une réponse calcique dans environ 12% des cellules gliales de la SNr. Ces réponses calciques enregistrées dans les cellules gliales impliquent à la fois du glutamate, du GABA et de l'ATP libérés dans la SNr lors de la SHF du NST. Cette étude a donc permis de montrer que les transmetteurs libérés dans la SNr sous l'effet de la SHF du NST, comme le glutamate et le GABA, peuvent activer les cellules gliales de cette structure. Elle a également permis de mettre en évidence la libération au sein de la SNr, d'un des principaux gliotransmetteurs, l'ATP. Ainsi, les cellules gliales de la SNr répondent à la SHF du NST, et il est probable qu'elles soient impliquées dans la modulation de l'activité neuronale de cette structure.