![]() |
Séminaire du LaBRI 1998-1999Le jeudi, à 14h, amphithéâtre du LaBRI. |
La réalité augmentée assistée par ordinateur permet à un utilisateur, de mélanger les scènes réelles avec des scènes virtuelles. Nous nous intéressons au problème de l'éclairage commun (interaction d'ombres) entre objets virtuels et objets réels, ainsi qu'à la modification de l'éclairage existant. Notre objectif est d'abord d'estimer rapidement une réflectance diffuse raisonnable pour chacune des surfaces réelles. Ensuite, nous voulons fournir à l'utilisateur un système permettant de modifier interactivement les propriétés d'éclairage et géométriques d'une scène. Deux méthodes différentes seront présentées dans cet expose.
Les résultats montrent que nous pouvons modifier interactivement l'éclairage réel, insérer des objets et des lampes virtuels dans des scènes réelles, et aussi enlever les objets réels presents dans la scène d'origine.
Le modèle des automates finis communicants consiste en un ensemble d'automates qui communiquent via des canaux FIFO de capacité infinie. Il est notamment utilisé pour la vérification de protocoles de communication et constitue la base théorique de langages de spécification d'algorithmes répartis tels Sdl, Estelle et Lotos.
Comme ce modèle a la puissance des machines de Turing, il ne peut exister d'algorithmes généraux permettant sa vérification. Son étude est néanmoins possible et se fait via deux approches. La première consiste à définir des sous-classes décidables du modèle de base. Malheureusement, il s'avère que les critères d'appartenance à ces sous-classes sont restrictifs et généralement indécidables, ce qui réduit leur utilisation en pratique. La seconde approche est plus pragmatique et consiste à "essayer" au cas par cas. C'est à dire à mettre en oeuvre des algorithmes dont on sait qu'ils ne fourniront pas de réponse pour tous les systèmes, mais dont on espère une réponse, au moins partielle, sur une part significative des systèmes réellement modélisés.
Nous illustrerons ces deux approches au travers des systèmes pouvant perdre les messages, des systèmes half-duplex et des techniques d'approximation. Nous nous focaliserons en particulier sur les concepts de systèmes bien structurés et de transitions symboliques.
On parle d'interaction de services lorsque la composition de deux processus produit des résultats indésirables. La détection des interactions peut être formalisée, mais leur résolution reste un art: il faut changer les spécifications.
Nous présenterons une technique qui permet de proposer automatiquement des modifications aux spécifications conflictuelles. Cette technique est basée sur l'analyse des transitions du produit synchronisé des automates modélisant les processus.
Nous appliquerons la technique pour résoudre deux problèmes qui surviennent occasionnellement dans les services de courrier electronique et dont le résultat est de remplir les boîtes aux lettres de messages indésirables.
Je compte présenter très rapidement l'AFIT (Association Francaise d'Informatique Théorique), que tout le monde connaît à Bordeaux, en insistant sur les actions engagées récemment.
Je parlerai plus longuement de l'ASTI, de ses objectifs, de son rôle, et des actions engagées. L'ASTI est donc l'Association française des Sciences et Technologies de l'Information. Sous ce nom pétillant se cache une grande ambition, celle de fédérer les associations scientifiques existantes du domaine et d'être l'interface entre la profession, les industriels et le pouvoir politique.
L'exposé (environ 30 mn) sera suivi d'un débat.
IDA stands for "Interactive Document on Algebra". It is a CD developed for an algebra course in the first or second year of a university curriculum. The main goal in the IDA-project was not to make the course material digital, but to integrate it with highly interactive components. These interactive components are important for conceptual understanding, for computational support, and for making algebra more attractive. Later this year, IDA will be published by Springer-Verlag in a new series of electronic publications for mathematics.
In the talk, we will first take the point of view of the student and go through the highlights. Next, we will take the developers point of view, and have a look at the design and technology behind. The technology is based on HTML, it uses Java applets and Javascript for the interactive components, and it uses the computer algebra system GAP as a computational engine in the background.
Depuis 1996, le LaBRI s'est doté d'une Cellule de Valorisation et de Transfert ; il s'agit d'une structure informelle destinée à soutenir des activités de recherche finalisée menées en collaboration avec des entreprises. Concrètement, la CVT permet de mutualiser des ressources en locaux, équipements, documentation.
Après avoir expliqué le fonctionnement de la CVT, je présenterai les activités menées dans ce cadre à travers quelques exemples précis de projets dans les domaines de la sûreté de fonctionnement, de Java, du parallélisme et de l'image numérique.
The Fast Fourier Transform (FFT) is probably the most important algorithm of our time given its wide impact including fields spanning from image and signal processing to fields requiring the solutions of partial differential equations. Cooley and Tukey's implementation, published in the mid 1950's is consequently the most referenced computational article to date.
In this talk the speaker will describe the core ideas behind the FFT algorithms, including the newer FFTW algorithms from MIT, as well as discuss the FFTs ongoing impact on modern technologies such as ADSL (Asymmetric Digital Subscriber Line).
This talk will also cover highlights of bit reversal (or, more accurately,
shuffle) algorithms which are an essential part of the FFT. The fastest
known bit-reversal algorithm to date has been the one proposed by the
speaker in 1987. This is a recursive algorithm that was in the 1996 survey
paper by Karp shown clearly superior in terms of execution time compared
to later algorithms. Recently, the speaker collaborated with R. Strandh
in developing a new and improved bit-reversal algorithm.
This algorithm only generates pairs
The diameter is an important parameter in the evaluation of computer
architectures. The new concept of dynamically reconfigurable meshes
leads to a diameter of O(1) - thus better than the hypercube and as
good as the PRAM model.
In this talk sorting in constant time is presented to demonstrate that
the reconfigurable mesh model is more powerful than the hypercube and
the PRAM . Such algorithms are of little practical value due to the high
number of processing elements they need.
Provably optimal algorithms for the reconfigurable mesh that are
relevant for practical use are given for sorting, routing and sparse
matrix multiplication.
On s'intéresse au problème suivant : étant donnés n boîtes et n points,
compter combien chaque boîte contient de points.
Pour borner la taille minimum d'un circuit arithmétique pour ce problème,
nous sommes amenés à résoudre des problèmes d'estimation de valeurs propres.
Nous inspirant de la méthode des fonctions orthogonales de Roth
(en théorie de la discordance) nous montrons comment certaines
ondelettes classiques (Haar) nous aident à parvenir à ce résultat.