La coopération INRIA-Brésil revêt la forme d'actions
thématiques de collaboration entre des projets de recherche de
l'INRIA et des équipes de recherche issues, pour la plupart,
d'universités ou d'instituts de recherche brésiliens. Outre les
actions, il y a de nombreux échanges et visites de chercheurs.
Bilan 97
En 97 l'ensemble des activités concernant le Brésil représente:
Estimation 98
En 98 l'ensemble des activités concernant le Brésil devrait représenter:
Les détails des coûts et projets ont été exposés dans le dossier de demande de subvention 98 et peuvent être consultés sur l'URL
http://www-direction.inria.fr/international/Bresil/listeprojets98.html
La plupart des missions d'experts français prévues vont avoir lieu dans le dernier trimestre 98, voire début 99.
10 actions ont ou vont bénéficier de l'aide du ministère.
Actions 99
A partir de 1999 des projets sont soumis et étudiés dans le cadre
de la convention de coopération passée entre l'INRIA et le CNPq
(signée en Novembre 1997). ceux-ci ont fait l'objet d'un appel
d'offre commun le 4 Juin 1998. Celui-ci se trouve sur les URL:
http://www-direction.inria.fr/international/Bresil/AOBresil98.html (version française) et
http://www.cnpq.br/dpe/protem-cc/edital-inria.htm (version brésilienne).
Pour 1999, 10 actions pour 1 ou 2 ans on été proposées, dont 9
recevables dans le cadre de la convention.
Les thèmes abordés sont en particulier: vision, réseaux, transport, télécommunications, robotique, environnement, optimisation, bases de données.
L'ensemble des demandes qui doivent être financées dans le cadre de l'accord INRIA/CNPq représentent 20 voyages pour une durée totale de 43 semaines, soit un coût estimé de 461 KF (base d'estimation: 1V=8KF, 1S=7KF), la première année.
Nous espérons donc que la subvention accordées puisse au moins égaler le niveau des années précédentes (220 KF en 97 et 201 KF en 98)1 de manière à pouvoir honnorer la convention en cours. L'INRIA ne perçoit aucune autre subvention à l'heure actuelle pour les actions décrites ci-après.
| Dépenses | KF | Répartition | KF | Dépenses | KF |
| INRIA | coûts | Brésil | |||
| Coûts directs | 5320 | Fonds propres | 5480-x | Bourses (est.) | 1950 |
| et indirects | INRIA | dont CNPq 300 | |||
| accueil brésiliens | |||||
| Voy. spéc. fr. | 160 | Subventions | x | Invit. spéc. fr. | 150 |
| MAE | Voy. spéc. br. | 240 | |||
| Total | 5480 | Total | 5480 | 2340 |
Valduriez (Rodin) / Tanaka (UNI-Rio) ECOBASE - Technologies bases
de données et Web pour les
systèmes d'information pour l'environnement
De très nombreuses sources de données sur l'environnement, l'énergie, et
les ressources naturelles sont disponibles au niveau mondial.
Malheureusement, les utilisateurs se heurtent à de gros problèmes
lorsqu'ils doivent rechercher et exploiter des informations
environnementales : les données sont difficiles à localiser ou à accéder;
les données accédées sont très hétérogènes et difficiles à intégrer; la
qualité des données est difficile à évaluer, etc. Dans ce projet, nous
traitons ces problèmes afin de faciliter l'intégration de l'information
environnementale. Nous utilisons une architecture commune à base de
composants Java et Web pour systèmes d'information pour l'environnement
(SIE). Le coeur de cette architecture est un entrepôt de données
(data-warehouse - DW) environnementales obtenues à partir de diverses
sources de données hétérogènes et distribuées sur Internet. Les problèmes
de recherche impliqués sont nombreux : technologies de DW et de médiateurs,
gestion des meta-données, gestion des données spatiales, règles actives,
réplication et optimisation de requêtes distribuées.
Les participants au projet travaillent tous sur des problèmes liés aux SIE, avec des applications environnementales spécifiques. De plus, les compétences des participants se révèlent complémentaires. Le but de ce projet est d'aider les participants à mieux partager les résultats de leurs travaux de recherche, leurs composants et leurs expériences avec des applications environnementales. Une telle synergie devrait conduire à une meilleure compréhension des besoins des applications environnementales et des technologies bases de données et Web nécessaires aux SIE.
D.Chapelle (MOSTRA) / Bucalem (USP) Fiabilité des méthodes
d'éléments finis pour le calcul des structures
L'objectif du projet de collaboration est de contribuer à l'amélioration de
la fiabilité des méthodes numériques pour les modèles mécaniques de
structures minces, et en particulier les coques. Les méthodes classiques
utilisées pour ces modèles souffrent en effet de phénomènes d'instabilités
numériques connues sous le nom de verrouillage.
Les deux équipes ont acquis dans ce domaine un niveau d'expertise reconnu, par des démarches assez complémentaires. On attend de la mise en commun de ces expériences des avancées significatives.
Le programme de travail se concentrera dans un premier temps sur les modèles linéaires, avec une perspective d'extension au domaine non-linéaire. On collaborera également à l'application des méthodes numériques fiabilisées à la simulation de problèmes couplés fluide-structure.
Il est prévu de donner rapidement une forme concrète à la collaboration par un séjour de longue durée (1 an) d'un doctorant brésilien en France.
Plateau (APACHE) / Navaux (UFRGS) PAGE-Environnement pour le calcul
parallèle hautes performances et applications
Le thème général du projet est le calcul parallèle et distribué pour la
recherche de performance. La dynamique scientifique de ce domaine se fonde
sur trois éléments : le contexte technologique du calcul parallèle, les
applications porteuses qui utilisent les calculateurs parallèles et
l'évolution scientifique des études fondamentales et appliquées sur les
modèles de calcul parallèle.
Les actions de collaboration du projet sont - le calcul sur grappe et réseau de grappes les objectifs sont, d'une part, la maîtrise des nouveaux dispositifs d'interconnexion à haut débit et leur intégration dans les noyaux exécutifs de nos environnements respectifs, et d'autre part, d'échanger et de comparer nos logiciels en vu de définir une couche logicielle permettant de rendre complémentaire les diverses expressions du parallélisme 0 qui sont intégrées dans les interfaces applicatives développées par les participants. - Le développement d'outils pour l'aide à la mise au point et a la visualisation de programmes parallèles : cette collaboration a pour objectif principal de produire un environnement de mise au point de programmes parallèles à base de multiprogrammation légère utilisable pour les noyaux exécutifs des partenaires. Cet environnement sera obtenu par assemblage des outils développés dans ce contexte par les partenaires. - L'évaluation de performance de grands systèmes. L'objectif de ce projet est l'extension d'un logiciel développé par les participants et son utilisation au problème de la modélisation du trafic routier par des modèles a événements discrets. Nous voulons aussi démontrer sur des cas tests, pour l'étude des performances des systèmes de télécommunication, que les techniques de modélisation par réseaux d'automates stochastiques sont appropriées.
Bermond (SLOOP) / Mateus (UFMG) Qualité de Service pour les
Télécommunications Sans-Fil
La téléphonie mobile est un secteur industriel en pleine expansion à
l'heure actuelle au niveau international. D'autre part, de nouveaux
réseaux à plus grande échelle encore sont en train de voir le jour (e.g.,
les satellitaires), tous basés sur les techniques des réseaux mobiles
sans-fil. Qui plus est, les possibilités de développement purement
françaises sont très importantes si l'on compare la pénétration du
téléphone portable sur notre marché par rapport aux autres pays
industrialisés. De plus, il en va de même au Brésil où le gouvernement
prévoit un marché d'environ 10 millions de téléphones portables en l'an
2000, par rapport à un peu plus d'un million actuellement, sans oublier la
forte croissance de ce marché dû aux très récentes privatisations dans le
secteur des télécommunications au Brésil.
Accompagner cette croissance nécessite cependant de pouvoir garantir une qualité de service (QoS) pour l'utilisateur mobile. Ceci demande des solutions à un certain nombre de problèmes algorithmiques et de dimensionnement qui se posent dans ce contexte, au vue de l'évolution du nombre de tels utilisateurs. L'objectif principal de ce projet consiste donc à construire à moyen terme un pôle de compétence franco-brésilien en algorithmique et optimisation pour la qualité de service dans les réseaux sans-fil, en fédérant les différentes compétences des partenaires français et brésiliens.
Nous comptons étudier des problématiques des réseaux sans fil tels les réseaux et services personnels de communication, cellulaires, satellitaires, etc. Plus précisément, les questions abordées seront celles liées au dimensionnement des ressources radio, à la gestion de l'énergie, à la localisation des abonnés et au routage et re-routage des communications.
Rives (ICARE) / Bueno (CTI) VISCORA - Vision pour la Commande
en Robotique Aérienne
Ce projet s'inscrit dans le cadre général de la conception et du contrôle de véhicules aériens (drônes) susceptibles de réaliser des missions de surveillance et d'intervention dans un mode complètement autonome ou mixte (en partie téléopéré et en partie autonome). Les champs applicatifs de tels engins sont nombreux tant dans le secteur civil (surveillance de forêts, de régions rurales ou urbaines, de réserves écologiques, de routes, de zones cotières ... ) que dans le domaine militaire (observation, appui tactique ... ). Cette proposition dans le cadre de la coopération INRIA/CNPq est destinée à soutenir une collaboration sur ce thème entre trois groupes de recherches- : le Laboratoire de Robotique et Vision du Centre de Technologie Infonnatique LRV/IA/CTI de CAMPINAS (Brésil), le projet de robotique ICARE de l'INRIASophia Antipolis (France) et l'Institut de Mécanique de linstituto Superior de Lisboa LDMEC/IST (Portugal). Les objectifs attendus sont: i) du transfert de méthodologies et d'outils dans le domaine de l'utilisation de la vision pour le contrôle d'engins aériens, ii) l'implémentation et validation sur des plates-formes réelles - robots mobiles et véhicules aériens, iii) approfondir notre connaissance mutuelle avec pour but à moyen terme de préparer une proposition commune à des appels d'offre dans le cadre de programmes de recherche européens ou internationaux. Cette demande complète et prolonge une collaboration déjà effective entre les trois équipes depuis 1995 :
· entre IDMEC/IST et ICARE/INRIA:
Co-tutelle de thèse de J.L Carrilho-Sequeira (soutenance début 99) Projet CIMAR financé dans le cadre de la coopération INRIA/ICCTI
· entre LRV/IA/CTI et ICARE/INRIA :
Alessandro Vitorino (M.Sc. au LRV/IA/CTI) viendra faire une thèse au sein du Projet ICARE avec un financement du CAPES (début Octobre 1998)
Visites courtes de Samuel Bueno et de différents chercheurs du LRV/IA/CTI au projet ICARE en 1995, 1997 et 1998.
· entre LRV/IA/CTI et IDMEC/IST:
Visite de Samuel Bueno à IDMEC/IST en 1998.
Soumission d'un projet sur le thème de la fusion multicapteur pour des engins aériens autonomes dans le cadre de la coopération CNPq/ICCTI (1 998)
Scapin (Psych-Ergo) / Abreu Cybis (UFSC) Techniques de
vérification de l'utilisabilité des systèmes interactifs
L'objectif général du projet concerne la définition d'une technique de
vérification de 1'utilisabilité des systèmes interactifs fondée sur des
connaissances. Selon cet objectif, plusieurs notions nécessitent un examen:
Objet de la vérification: Ce projet se focalisera sur les interfaces multimédia. En effet, ce type d'interfaces est au centre des activités des deux partenaires.
Moments de la vérification: pour fournir des lignes générales en visant des revisions des prototypes et logiciels finis il faut vérifier les logiciels rapidement et dans un niveau adéquat d'abstraction. Les connaissance nécessaires pour ce type de vérification sont reliées à des modèles de qualités variés et extensibles, ce qui suggère l'emploi des techniques d'évaluation heuristiques.
Approches; Ce projet propose l'entrelacement des perspectifs qualités ergonomiques et composants des interactions d'un système interactif, comme façon d'améliorer la complétude et la systématisation d'une évaluation heuristique.
Modèles Sous-jacents; Deux modèles sont à l'origine de ce projet. L'ensemble des Critères Ergonomiques définies par Scapin et Bastien (1997) et le modèle des Composants d'interaction Personne-Ordinateur proposé par Cybis (1 997).
Dynamiques: Dans ce projet, on propose l'élaboration des techniques pour accomplir l'entrelacement logique C.E. 1#1 C.1 à partir du niveau objectifs de l'utilisateur. D'autres entrelacements restent à définir.
Garavel (VASY) / Westphall (UFSC) PRODIGE - Projet de Distribution
de Gestion de Réseaux
Dans le cadre de la coopération proposée, le Laboratoire Gestion et Réseaux
de l'Université Fédérale de Sainte-Catherine (UFSC) projette d'effectuer un
certain nombre de recherches dans le domaine des télécommunications:
- administration distribuée des réseaux
- analyse de trafic dans les réseaux
- sécurité dans les transactions client-serveur
- conception de nouveaux services de télécommunications
- applications sur plate-formes ATM.
Pour ces recherches, l'UFSC prévoit d'utiliser des techniques de description formelle et, plus précisément, le langage LOTOS (norme internationale ISO 8807), un formalisme pour la spécification rigoureuse des protocoles de communications et des systèmes distribués.
L'action VASY de l'INRIA Rhône-Alpes a développé la boîte à outils CADP (CAESAR/ALDEBARAN) qui offre des fonctionnalités de compilation, de simulation et de vérification formelle pour les spécifications écrites dans le langage LOTOS. Des expériences d'utilisation de cette boîte à outils ont déjà eu lieu à l'UFSC (projets CNPQ PROTEM-CC-Il/PLAGERE) et donné lieu à plusieurs publications scientifiques. Par ailleurs, l'INRIA Rhône-Alpes contribue activement à la définition de la future norme Extended-LOTOS, pour laquelle un compilateur est en cours de développement.
La collaboration proposée vise à intensifier les liens existants entre l'INRIA et l'UFSC. En effet, ces deux partenaires collaborent depuis plusieurs années, d'abord par courrier électronique, puis par la visite de Mirela Sechi Moretti Annoni Notare à Grenoble en 1997.
Dans cette collaboration, l'INRIA jouerait un rôle de conseil pour les activités de modélisation formelle (en LOTOSet/ou en Extended-LOTOS), de validation formelle et de génération de tests entreprises à l'UFSC. En outre, l'INRIA ferait évoluer ses outils en fonction du retour d'expérimentation et des remarques formulées par l'UFSC.
D. Fortin / Ribeiro (PUC-RJ) Optimisation en Energie et Transport
Nous proposons de développer et comparer des heuristiques pour résoudre des
problèmes de grande taille en nombres entiers dans les domaines de
l'énergie et du transport pour lesquels les méthodes exactes ne donnent pas
de réponse en temps satisfaisant; l'objectif tend à viser une formation par
la recherche des étudiants en thèse tout en enrichissant les bibliothèques
d'heuristiques parallèles existant côté brésilien et français.
Lechevallier (SODAS) / Francisco de Assis Tenorio de Carvalho (UFPe)
Classification et analyse des dissimilarités
Cette action s'établira dans deux directions conforme à notre collaboration
passée.
Il s'agira d'étendre les méthodes de calcul d'indice de proximités à des objets complexes ayant d'autres sémantiques (probabiliste, possibiliste, crédibiliste) afin de pouvoir tenir compte de l'incertain et de l'imprécis.
Le problème majeur lié à tous ces approches est celui de l'aspect combinatoire du calcul lors de la prise en compte des dépendances logiques exprimant les connaissance du domaine. Actuellement le temps de calcul est linéaire en fonction du nombre de variables et, malheureusement, exponentiel en fonction du nombre de règles.
Cette difficulté nous a amené à l'introduction de la Forme Normale Symbolique (Csemel (1997), Csemel and De Carvalho (1997), Csemel and De Carvalho (1998». La Forme Normale Symbolique (NSF), inspirée de la 3ème Forme Normale des base de donnés relationnelles, consiste à factoriser les objets symboliques selon les contraintes exprimées par des règles entre les variables de telle façon que seulement la partie cohérente de ces objets soit représentée.
En 99 nous développeront les actions suivantes:
- autour des indices de proximité, étude du rapport entre la représentation d'objets dans des espaces métriques à partir d'un indice et les données de la base initiale;
- autour de la NSF, en caractérisant les règles exprimant la connaissance du domaine, et en mesurant leur influence sur la factorisation des donnés. Enfin nous souhaitons pouvoir lever une partie des contraintes liées a la NSF en la combinant avec les méthodes habituelles.
- en ce qui concerne l'adéquation d'une observation à un groupe, décrit par un objet symbolique, nous pensons pouvoir utiliser la méthode du maximum de vraisemblance pour évaluer cette adéquation.
De nouvelles publications internationales communes seront réalisées en 99 et nous commencerons la réalisation d'un prototype qui permettra d'utiliser la NSF dans le calcul d'indices de proximité et donc de réduire le temps de calcul de ces indices
Mazer (SHARP) / Absi Alfaro (UNB) Programmation Avancée de
Véhicule Automobile
Nous nous intéressons aux méthodes de programmation et d'interprétation de
données capteurs en robotique. Notre objectif est d'appliquer ces méthodes
au contrôle de véhicule automatique du type CyCaB (développé par l'INRIA)
ou à l'assistance à la conduite de véhicules standard comme les véhicules
donnés au GRACO par FIAT. Le but général du projet est de partager une
plate-forme commune d'expérimentation et de développer en commun de
nouveaux algorithmes. Pour cela nous comptons :
- Poursuivre nos travaux théoriques sur le sujet : identification structurelle (Avec Remis Balaniuk) et inférence bayésienne pour l'interprétation des données capteur et la programmation des véhicules.
- Equiper un véhicule standard à l'UnB d'un nouveau capteur et d'un système informatique d'assistance au conducteur.
This document was generated using the LaTeX2HTML translator Version 99.2beta8 (1.42)
Copyright © 1993, 1994, 1995, 1996,
Nikos Drakos,
Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999,
Ross Moore,
Mathematics Department, Macquarie University, Sydney.
The command line arguments were:
latex2html -split 0 doc-prelimsgl.tex
The translation was initiated by Pierre Deransart on 2009-03-10