Proposition d'une formulation combinatoire pour la conception d'algorithmes de produit matriciel sur les réseaux systoliques linéaires. Étude de la validation des algorithmes systoliques. Deux logiciels sont proposes: le premier, Sisyc, est un simulateur numérique d'algorithmes systoliques; le second, sisyc2, calcule la trace symbolique des algorithmes systoliques et permet lorsqu'il est couple avec un système de calcul formel, de réaliser une simulation formelle

On décrit et on étudie une matrice Q inversible telle que Q F = JQ ou J est la forme normale de Jordan d'une matrice carrée A, et F sa forme de Frobenius. On propose un algorithme efficace pour le calcul de l'inverse de Q et deux algorithmes donnant la forme de Frobenius d'une matrice n x n quelconque. Dans le cas ou les éléments de A sont des nombres rationnels, on montre que la complexité de l'un des algorithmes est polynomiale. On considère aussi le cas des matrices A coefficients dans le corps des nombres algébriques sur Q

Proposition d'une méthode dite de positionnement pour la conception d'algorithmes parallèles pour réseaux symboliques composés de cellules programmables. Simulation d'algorithmes symboliques dans le langage Occam, caractérisé par un mécanisme de synchronisation locale. Quelques résultats partiels sur une conjecture a propos du plus long cycle que peut générer séquentiellement un réseau booléen monotone sont présentés

Stratégie d'indexation automatique de textes en langue naturelle. Intérêts aux aspects structurels du document pour: ― la définition d'une stratégie globale d'indexation fondée sur l'exploitation de la structure logique du document, ainsi que d'éléments textuels particuliers (titres ...) ― la définition de termes d'indexation à partir de celle de syntagmes de la langue naturelle. Les termes d'indexation sont normalisés via une base de connaissances prédéfinie. Les principaux algorithmes utilisés sont présentés, ainsi que les résultats d'expérimentation sur un corpus technique (normes d'exploitation et de fonctionnement du NET).

Etude des spécifications du manuel utilisateur pour aboutir à la réalisation du circuit. Chaque instruction a été décomposée en un algorithme d'interprétation, en se basant sur une structure à 2 bus et une horloge à deux phases; l'objectif étant d'aboutir à une architecture régulière de la partie opérative («bit-Slice»)

Réalisation d'un logiciel pour micro-ordinateur, destiné à permettre l'amélioration d'un service de collecte par modification de secteurs

.

L'évaluation de la stabilité des falaises est complexe, du fait de l'incertitude des mécanismes de rupture et de la méconnaissance de l'état de fracturation interne du massif. Les méthodes géophysiques permettent d'obtenir de l'information sur la structure interne du massif. Le radar géologique a montré son efficacité pour détecter et caractériser les fractures. Plusieurs profils radar (réflexion, transmission, CMP) sont testés sur deux falaises verticales calcaires proches de Grenoble. La combinaison de profils verticaux et horizontaux permet de mieux contraindre la géométrie 3D du réseau de fractures. Les analyses de vitesses radar, déduites des acquisitions CMP, permettent de caractériser directement les larges fractures ouverture en profondeur. La tomographie radar fournit une image 2D de l'intérieur du massif, mais avec une trop faible résolution. Dans une gamme de fréquences donnée, la détection de fractures par le radar va dépendre de l'ouverture et du remplissage, qui contrôlent le coefficient de réflexion. Une stratégie de caractérisation des fractures est proposée en utilisant la sensibilité fréquentielle de la réflectivité. L'inversion des coefficients de réflexion radar, basée sur un algorithme de voisinage, permet de retrouver les paramètres caractéristiques des fractures modélisées. La méthode du rapport spectral entre un signal réfléchi (mesuré) et un signal de référence (connu), permet de calculer facilement le coefficient de réflexion. Une étude numérique 2D (FDTD) est menée pour le choix du signal de référence. L'inversion des coefficients de réflexion radar synthétiques est testée pour une configuration de fracture ouverte rencontrée sur le terrain.

Les travaux présentés portent sur la conception et la commande d'un ensemble convertisseur-génératrice basse vitesse pour les applications éoliennes. Une génératrice 10kW, 50 tr/min (contrainte typique d'une éolienne autonome) est étudiée. La machine à réluctance variable (MRV) à plots dentés et à grand nombre de dents est retenue car elle est bien adaptée à un fonctionnement à basse vitesse de rotation permettant la simplification ou la suppression du multiplicateur de vitesse utilisé avec les génératrices classiques.<br />La structure électromagnétique est d'abord optimisée par un algorithme génétique couplé à la méthode des éléments finis. <br />La commande de la génératrice est ensuite traitée. La machine est modélisée par la méthode des éléments finis puis le réseau de courbes du flux en fonction de la position et du courant est approximé par Krigeage en vue de la commande. La machine est commandée par un demi pont en H et l'optimisation des paramètres de commande est effectuée.<br />Enfin, un banc d'essais comprenant une MRV 6/4 (3kW) fonctionnant en générateur et couplée à un moteur à courant continu a été mis en œuvre. La commande des deux machines est implantée sur une carte DSPACE 1103. Ce banc d'essais permet de vérifier d'une part la validité de la modélisation par éléments finis, et d'autre part les lois de commandes élaborées.

La vélocimétrie Doppler par ultrasons pulsés permet d'obtenir, le profil de vitesses d'un écoulement de fluide. L'estimation de la vitesse est réalisée, pour chaque volume de mesure, à partir du signal Doppler, obtenu à partir du signal rétrodiffusé démodulé et échantillonné, dont la fréquence est proportionnelle à la vitesse des particules. On démontre, dans le cas d'un transducteur plan et circulaire, pour un écoulement homogène et uniforme dans le volume de mesure, que la densité spectrale de puissance (DSP) de ce signal peut être modélisée par une gaussienne. Un algorithme de suppression du bruit blanc, basée sur l'identification paramétrique de la DSP est proposée et validée. Elle consiste à identifier, en temps réel, les différentes composantes de la DSP du signal Doppler en utilisant la méthode de Levenberg-Marquardt avec un modèle général gaussien. Le bruit blanc identifié est soustrait à la densité afin de permettre un calcul de moment non-biaisé par celui-ci.<br /><br />Le signal Doppler étant échantillonné par nature, il est soumis au théorème de Shannon qui impose une vitesse maximale mesurable nommée vitesse de Nyquist. Celle-ci est directement proportionnelle à la fréquence de répétition des trains d'ondes (PRF pour Pulse Repetition Frequency). La profondeur d'exploration est également liée au PRF. Ceci impose la principale limite de cette méthode, à savoir la relation inverse liant la profondeur d'exploration et la vitesse maximale mesurable. Une méthode permettant des mesures de vitesses au-delà de la limite de Nyquist est proposée. Elle se base sur l'utilisation de plusieurs fréquences de répétition des trains d'ondes. Le repliement différent pour chaque PRF permet l'apport d'information nécessaire à la résolution de l'ambiguïté sur les vitesses. Un algorithme original de reconstruction spectrale est proposé. Il permet de recombiner les DSP repliés obtenus pour chaque PRF afin de reproduire la DSP du signal Doppler.