Coopération INRIA-Brésil
Bilan 2001 et Prévisions 2002

Pierre Deransart,
pierre.deransart@inria.fr

12 juillet 2002


Table des matières

Bilans et Prévisions

 

 

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.

Depuis 1999 une partie des projets est gérée dans le cadre de la convention de coopération passée entre l'INRIA et le CNPq (signée en novembre 1997). L'INRIA cherche actuellement à étendre ses partenariats, en particulier de nouvelles conventions sont en discussion avec la FAPESP et la FAPERJ.
 
 

Un premier appel à propositions INRIA/CNPq (appel dit de 1999) a été lancé en juin 1998 et une sélection effectuée en novembre 1998. 6 projets ont été ainsi sélectionnés et gérés, côté brésilien, par le programme ProTeM-CC du CNPq. Acceptés pour 2 ans, ces projets se sont terminés courant 2001. Ils ont fait l'objet d'une évaluation lors d'un séminaire d'évaluation en juillet 2001 à Rio de Janeiro (cf. annexe [*]. Ces projets terminés en 2001 sont

En 2000 un appel à propositions INRIA/CNPq (appel 2000) a été lancé dans le cadre duquel 5 projets ont été retenus et ont pu démarrer à partir de juillet 2000 (l'un d'entre eux n'a démarré que début 2001).
 
 

En 2001 un nouvel appel à propositions INRIA/CNPq (appel 2001) a été lancé dans le cadre duquel 4 projets ont été retenus et ont pu démarrer à partir de juillet 2001. Une des orientations était de sélectionner moins de projets, mais avec relativement plus de moyens.
 
 

Pour 2002, l'INRIA est donc engagé dans 4 types d'actions:

Plusieurs projets de l'INRIA poursuivent en outre des collaborations, en particulier dans le cadre CAPES/COFECUB en accueillant et encadrant des doctorants brésiliens (cf. annexe [*]).
 
 

Actions 2002
Brésil-INRIA



 

Ref.  Resp. INRIA Projet  Thème 
1.1  Hurfin  ARGO Sûreté des systèmes répartis
1.2  Roisin  CEMT  Environnement éditorial 
1.3  Lechevallier  CLADIS Classification 
1.4$^*$ Herlin  ECOAIR  Analyse images satellitaires 
1.5  Chapelle  FEF Éléments finis
2.1  Romary  COMON-Refs  ``Referring Expressions'' 
2.2  Kirchner  FERUS Spécifications 
2.3  Plateau  PAGE II Calculs intenses sur grapes
2.4$^*$ Rives  VISCORA II  Vision robotique aérienne 
3.1$^*$ M.-F. Sagot  ARCOIRIS  Algorithmes en biologie
3.2  F. Bonnans  OPTIM  Optimisation
3.3$^*$ P. Valduriez  DAAD  Aut. app. et BDD 
3.4  D. Fortin  CRAS  Arbres de Steiner (bilan) 
3.5$^*$ J.-C. Paul Volume Explorer Visualisation volumique
3.6$^*$ J.-C. Bermond  PROS  Réseaux télécommunications 
3.7  D. Scapin  PsychoErgo  Ergonomie des logiciels 
3.8$^*$ F. Detienne  SPACEWEB  Conception distribuée Web 

 
 
 

Bilans, projets et actions 2002



Nous décrivons ici les différentes activités de collaboration avec le Brésil: bilan des actions 2001 et actions prévues pour l'année 2002:

  1. Fin des 5 projets de l'appel 2000.
  2. Poursuite des 4 projets de l'appel 2001.
  3. Actions de soutien à la recherche (en attendant la décision du CNPq).

    4.  

     
     
     

Projets de l'appel 2000, démarrés courant 2000

Il s'agit des 5 projets gérés dans le cadre de l'accord INRIA/CNPq (ProTeM-CC). Tous ont été reconduits en 2001 lors du séminaire d'évaluation qui a eu lieu à Rio de Janeiro en novembre (voir compte-rendu en annexe) et compte-tenu de leur retard au démarrage ils se poursuivent durant une bonne partie de 2002.

ARGO

Bref descriptif

Responsables

France:
Hurfin M., IRISA, Campus de Beaulieu, 35042 Rennes cedex.

Tel: + 33 (0)2 99 84 75 12, Email : hurfin@irisa.fr
Brésil:
Macêdo R., LASID UFBA, Campus de Ondina, 40170-110 Salvador

Tel: +55 (0)71 331 13 92, Email: macedo@ufba.br
 

Thème

Ce projet a été retenu à l'issue de l'appel d'offres INRIA/PROTEM 2000. Il s'achèvera à la fin du mois de juin 2002. L'objectif est de tolérer des fautes (de type panne franche) dans des systèmes répartis asynchrones en concevant un mécanisme de duplication active s'appuyant sur des services de communication de groupe. La mise en oeuvre de ces services nécessite d'apporter une solution générique et efficace aux problèmes d'accord entre processus.

Historique et bilan antérieur

La coopération entre les deux équipes est antérieure à ce projet. Ainsi, trois articles réalisés conjointement ont été publiés en 1999. En septembre 1997, Madame Fabiola Greve qui est enseignante à l'université fédérale de Bahia a obtenu une bourse du CNPq pour venir faire une thèse à l'IRISA. Depuis l'acceptation du projet ARGO, notre activité de recherche sur le thème des problèmes d'accord s'est concrétisée par trois nouvelles publications impliquant un membre de l'université de Bahia autre que Fabiola Greve. Sept autres publications co-signées avec Fabiola Greve comme unique membre de l'université fédérale de Bahia ont été publiées durant la même période. La liste des publications est fournie en fin de ce document. Par ailleurs, Fabiola Greve contribue activement à la mise en oeuvre de la plateforme de communication de groupe qui servira à valider nos propositions.

Durant l'année 2000, nous avons mené en commun une recherche sur le thème des problèmes d'accord. Ces problèmes sont reconnus être impossible à résoudre dès lors qu'un processus au moins peut tomber en panne. Notre objectif est de trouver des solutions efficaces permettant de contourner ce résultat d'impossibilité dans la majeure partie des scénarios tout en maîtrisant les conséquences négatives dans les quelques scénarios critiques restants. Beaucoup de problèmes nécessitent d'obtenir des accords unanimes au sein d'un groupe de processus. Dans le cas d'un serveur critique répliqué sur plusieurs sites afin de tolérer des défaillances, il est nécessaire que toutes les copies soient d'accord (1) sur le nombre et l'identité des copies présentes à un instant donné et (2) sur l'ordre unique dans lequel les nouvelles requêtes adressées au serveur doivent être traitées. En garantissant des prises de décision unanimes sur ces deux aspects, on assure que les copies évoluent de manière cohérente. Des recherches complémentaires sur la prise en compte de la mobilité et sur l'étude de détecteurs de défaillances adaptatifs ont été menées au Brésil. Parallèlement, des extensions futures, telle que la prise en compte de contraintes temporelles ont été étudiées à l'IRISA. Durant l'année 2000, aucune visite (en France ou au Brésil) n'a été effectuée.

Afin d'une part de coordonner nos développements réalisés jusqu'alors de façon indépendante et d'autre part de renouveler notre recherche théorique commune, plusieurs échanges ont été effectués en 2001 (ou le seront en 2002).

Durant l'année 2001, le responsable Brésilien est venu à l'IRISA du 13 mars au 24 mars. Durant cette visite, nous avons en particulier achevé l'écriture d'un article que nous avons soumis pour publication à la conférence SRDS'2001 (IEEE International Symposium on Reliable Distributed Systems) à la fin du mois de mars. Cet article a été accepté et présenté par Michel Hurfin lors de la conférence qui s'est tenue fin octobre 2001 à la Nouvelle-Orleans. En Juin 2001, Michel Hurfin et Frédéric Tronel ont passé deux semaines à l'université de Bahia durant lesquels ils ont notamment participé au premier Workshop ARGO (ouvert à la communauté scientifique brésilienne). Durant ce workshop, sept présentations de travaux effectuées par les membres du projet ARGO ont été suivies de quatre présentations effectuées par des personnes extérieures à ce projet de collaboration. Une trentaine de personnes ont assisté au workshop. Parmi les intervenants, trois personnes venues d'autres états du Brésil ont décrits leur travaux sur le thème de la tolérance aux défaillances: George R. R. Justo de l'université fédérale de Pernambuco, Fransisco Brasileiro de l'université fédérale de Paraiba et Udo Fritzke de l'université fédérale de Santa Catarina. Le programme de cette journée est accessible à partir de la page web du projet
(http://www.lasid.ufba.br/projetos/argo/index.html).

Actions projetées

Durant les 6 premiers mois de l'année 2002, nous prévoyons (conformément au programme établi lors de l'acceptation du projet):

Publications

Publications antérieures au projet ARGO Publication depuis l'acceptation du projet ARGO

CEMT

Bref descriptif

Responsables

France:
Nabil Layaïda (Nabil.Layaida@inrialpes.fr)

Projet Opéra Unité de Recherche INRIA Rhône-Alpes
Zirst - 655 avenue de l'Europe
- Montbonnot - 38334 Saint Ismier Cedex - France
Tél : 04 76 61 53 84
Brésil:
José Valdeni de Lima (valdeni@inf.ufrgs.br)

Instituto de Informática Universidade Federal do Rio Grande do Sul
Av. Bento Concalves, 9500 Campus do Vale - Bloco IV
Porto Alegre Brasil
 

Thème

Le travail cette année vise à poursuivre le projet CEMT engagé depuis un an et prévu pour une période de deux ans. Après avoir spécifié un modèle de description des tâches, il s'agit maintenant d'expérimenter un système de coordination (workflow) adapté aux environnements répartis comme le Web. Il s'agit également d'apporter des réponses pertinentes aux problèmes de conception et de déploiment de workflows sur une infrastructure de type Web et de l'appliquer dans un contexte d'enseignement à distance. Enfin, ces travaux seront validés au travers de la mise en \oeuvre d'une architecture d'application de workflow au dessus de protocoles WebDAV et utilisant les langages XML et SMIL pour représenter le workflow, le contenu ainsi que l'état du systéme. Cette architecture comprend une composante distribuée permettant d'ordonnacer l'ensemble des tâches du système. Le projet inclut l'extension d'environnements éditoriaux développés dans le projet Opéra pour la conception des workflows et des cours.

Historique et bilan antérieur

Organisation d'un workshop commun projet Opéra - Projet Sigha. Ce workshop a permis de faire le point sur l'état d'avancement du projet CEMT et de présenter les activités des deux équipes et les travaux de recherches de chacun. Il a également permis de définir une plateforme technologique commune de travail et d'expérimentation.

Juin 2001. Visite du Professeur Nina Edelweiss au projet Opéra. L'objet de la mission a porté sur l'élaboration du modèle de tâches et sur la spécification de l'interface graphique de l'éditeur de workflows. Nous avons procédé à un réajustement des outils logiciels impliqués dans l'infrastructure en cours de développement (cf. site de CEMT).

Juillet 2001. Arrivée de Manuele Kirsh Pinhero de l'équipe brésilienne pour un stage d'un an au sein du projet Opéra. L'objectif de son stage est l'intégration au sein du système d'un module de notification de groupe et d'accés concurrents aux documents du workflow.

Septembre 2001. Visite de Nabil Layaïda et de Lionel Villard au Brésil. L'objectif de la mission était de participer au workshop commun et de présenter les activités du projet Opéra dans le cadre du programme de coopération CEMT.

Actions projetées

La revue de la coopération CEMT se fera cette année autour d'un workshop commun qui sera organisé en avril 2002 à grenoble. L'objectif est de faire le point sur l'avancement des travaux du projet. Il sera egalement l'opportunité de lancer les travaux concernant l'intégration du document multimédia dans le système développé en commun.

La partie la plus cruciale sera, sans doute, la finalisation des prototypes en cours de développement et l'élaboration des premières démonstrations. Celles-ci concernent pour le moment les prototypes suivants :

  1. L'éditeur graphique de workflow, implanté au dessus du logiciel Amaya.
  2. Extension des fonctionalités du butineur Amaya pour le support de protocole de travail coopératif WebDAV.
  3. Experimentation du système de workflow intégrant l'ensemble des composants développés dans le projet.
Enfin, l'activité de publication sera intensifiée autour des résultats obtenus dans ce projet.

Publications

Tous les articles et rapports du projet CEMT sont accessibles à l'adresse suivante:
http://gnome.inrialpes.fr:1959/

Article commun soumis à la conférence Caise'2002.

Manuele Kirsch Pinheiro, José Valdeni de Lima, Nina Edelweiss, Tayeb Lemlouma, Nabil Layaida. An Open E-Learning Authoring Environment. Submitted to the The Fourteenth International Conference on Advanced Information Systems Engineering.

Rapports de recherche :

Thiago Telecken, Cassiano Bergmann Maciel, Tharso de Bittencourt Borges, Manuele Kirsch Pinheiro. "Introduction de de la notification des évènements passés dans le logiciel Byzance", Rapport de recherche.

Thiago Telecken, Cassiano Bergmann Maciel, Tharso de Bittencourt Borges, Manuele Kirsch Pinheiro. "Introducao de percepcao de eventos passados no software Amaya". Rapport de recherche (en portugais).

Manuele Kirsch Pinheiro. "Plan de travail : implémentation de WebDAV dans Amaya". Rapport de recherche.

Manuele Kirsch Pinheiro. "Protocol de notification de Groupe". Rapport de recherche.

Carlos Zeve, Manuele Kirsh Pinheiro, Tiago Telecken, José Valdeni de Lima, Nina Edelweiss, Nabil Layaida. "The design of cooperative environments for editing multimedia documents with workflow technology (CEMT)", Rapport de recherche.

Annexes

Il existe un site Web regroupant l'ensemble des activités autour du projet CEMT:
http://gnome.inrialpes.fr:1959/

CLADIS

Bref descriptif

Responsables

France:
Responsable : Y. Lechevallier

INRIA - Domaine de Voluceau - Rocquencourt - B.P. 105
78.153 - Le Chesnay Cedex FRANCE
Tel : 33.1- 39635434
Fax : 33.1- 39635892
Email : Yves.Lechevallier@inria.fr
Brésil:
Responsable : Prof. Francisco de A. T. de Carvalho

Departamento de Estatistica - CCEN / UFPE
Av. Prof. Luiz Freire, s/n - Cidade Universitaria
50.740-540 Recife - PE BRASIL
Tel : 55.81- 2718420
Fax : 55.81- 2718422
Email : fatc@di.ufpe.br

Thème

Grace à la technologie informatique, de vastes ensembles de données sont recueillis et il est nécessaire de les résumer. Notre approche consiste à construire automatiquement des classes homogènes à partir de ces données et de définir de nouvelles unités statistiques, appelés objets symboliques, décrivant ces classes. Tout en réduisant de manière importante le tableau de données initiales, la représentation de ces unités statistiques doit contenir un maximum d'informations. Il en resulte de nouveaux tableaux de données de structure plus complexes car chacune des cellules de ces tableaux ne represente plus une mesure observée. Par exemple, une cellule peut contenir un intervalle ou bien plusieurs valeurs ponderées.

De telles données complexes, résumés de classes d'observations homogènes, peuvent être construites à partir des bases de données concernant différents domaines (biologie, médecine, marketing, etc). Il s'agit alors d'étendre à ces nouveaux tableaux de données, les outils de la statistique descriptive et exploratoire (classification automatique supervisée et non supervisée, analyse factorielle, $\ldots$). Cette extension est proche de la problématique du "Data Mining".

Dans cette approche les mesures de proximités jouent un rôle important car elles permettent l'utilisation de plusieurs techniques de classification qui s'appliquent sur une matrice de proximités aussi bien sur les observations (caractérisés par un vecteur de données) ou sur un groupe d'observations (caractérisé par des données complexes). De plus nous étudions la possibilité de construire des mesures de proximités entre observations et classes d'observations ou modèle. Par exemple, ce calcul de mesures de proximités est utile dans la recherche dans une base de données d'observations proches d'une requête.

Historique et bilan antérieur

Notre collaboration avec Francisco de A. T. de Carvalho a debuté pendant la période (1988 - 1992) durant laquelle il a passé sa thèse de doctorat au sein de notre equipe avec le soutien d'une bourse CNPq. Après son retour à l'Université Federale de Pernambouc notre coopération a pu continué à se developper dans le cadre d'actions ponctuelles (un séjour d'un mois par an) mais efficaces qui ont été soutenues par l'INRIA mais aussi par le CNPq ou la FACEPE et, bien entendu, par l'UFPE. Les dernières années notre effort s'est surtout dirigé vers l'étude des diverses proximités utilisables dans le cadre de tableaux d'objets symboliques et la réduction de la complexité du calcul d'une mesure de dissimilarité entre les objets d'un tableaux de données complexes.

Lors du calcul de la proximité entre ces unités statistiques il est nécessaire de tenir compte à la fois de la variabilité, (disjonction de valeurs relatives à une variable), et de la connaissance du domaine (dépendances entre variables). Nous prenons en compte deux types de dépendances de structure hiérarchique ou logique. Ces dépendances expriment par des règles.

Nous proposons deux familles d'indices de proximité:

a)
Les indices de la première famille utilisent pour chaque variable une fonction de comparaison et puis une fonction d'aggrégation. La fonction de comparaison utilise des opérateurs symboliques (jonction, conjonction) et peut etrê basée soit sur les indices usuels de tableaux binaires (De Carvalho (1994)) soit sur la différence de contenu et de position (De Carvalho (1998), De Carvalho et Diday (1998)). La fonction d'aggrégation s'inspire de la métrique de Minkowsky. La prise en compte des contraintes se fait par la pondération de chaque valeur qui est calculée à partir d'une mesure positive appelée Potentiel de Description (De Carvalho (1994,1998);
b)
Les indices de la seconde famille n'utilisent que la fonction de comparaison. La comparaison entre une paire d'objets est réalisée globalement par une fonction de comparaison qui utilise des opérateurs symboliques et des mesures positives (De Carvalho (1997). Cette fonction de comparaison peut être aussi un indice usuel utilisé sur des tableaux binaires ou bien un indice calculé à partir de la différence de contenu et de position. La prise en compte des contraintes pour les indices qui utilisent le Potentiel de Description Linéaire est faite par la pondération de chacune des valeurs qui est calculée à partir du Potentiel de Description tandis que pour les indices qui utilisent le Potentiel de Description la prise en compte des contraintes est faite directement.
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. Il 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 (Csernel (1997), Csernel and De Carvalho (1997), Csernel and De Carvalho (1998)). La Forme Normale Symbolique (NSF), inspirée de la 3ème Forme Normale des base de donnés relationelles, consiste à factoriser les objects 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.

Actions projetées en 2002

Yves Lechevallier et Francisco de A. T. de Carvalho , avec l'aide de Rosanna Verde de l'université de Naples, proposent de continuer à développer les méthodes de classification utilisant des distances intégrant les règles. Elles seront des extensions de la méthode des Nuées Dynamiques car on impose, que chaque classe soit représentée par un prototype. Afin d'avoir une représentation visuelle des résultats nous pensons pouvons introduire la notion de carte topologique dans ce proccessus de classification.

Cette année notre travail sur la classification de tableau de données de type intervalle sera poursuivi. Nous pensons aussi developper un travail de recherche autour de la classification de distributions.

Depuis 2001 une implémentation de ces méthodes de classification est systématiquement réalisée. Nous avons choisi le C++ pour réaliser ce travail et nous avons commencons à construire une bibliothèque commune de sous-programmes.

Marc Csernel et Francisco de A. T. de Carvalho proposent de développer les actions suivantes :

Publications communes depuis 1998

F. A. T. De Carvalho et R. Verde et Y. Lechevallier (1999): A Dynamical Clustering of Symbolic Objects Based on a Context Dependent Proximity Measure, Symposium on Applied Stochastic Models and Data Analysis (ASMDA99), Lisbonne.

F. A. T. De Carvalho et R. Verde et Y. Lechevallier (2000): A Dynamical Clustering Algorithm for Multi-nominal Data, In Kiers H.A.L. et al (eds): Data Analysis, Classification and Related Methods, Spro`inger-Verlag, pp 387-393.

R. Verde et F. A. T. De Carvalho et Y. Lechevallier (2001): A Dynamical Clustering Algorithm for Mu;ti-nominal Datsymbolic data, In E. Diday et Y. Lechevallier (eds): Tutorial on symbolic Data Analysis, $25^{th}$ Annual Conference of the German Classification Society, Munich, pp59-72.

F. A. T. De Carvalho et R. Verde et Y. Lechevallier (2001): Deux nouvelles méthodes de classification automatique d'ensembles d'objets symboliques décrits par des variables intervalles. Le Gosier, SFC2001

Csernel M. et De Carvalho, F.A.T. (1998): Towards a Normal Symbolic Form. In: Data Science, Classification and Related Methods, Hayshi, C. et al (eds.), Springer-Verlag, Tokyo, Japan, 379-386.

Csernel M., De Carvalho, F.A.T. (1998): On the complexity of Computation with Symbolic Object using Domain Knowledge
In Advance in Data Science and Classification, A.Rizzi, M.Vichi, h.h. Bock (eds) pp 403-408 Springer Berlin

Csernel M., De Carvalho, F.A.T. (1999): Usual Operation with Symbolic Data under Normal Symbolic Form, In Applied Stochastics Models In Business and Industry, Vol 15 pp241-257

Csernel M., De Carvalho, F.A.T. (2001): On memory requirement with normal symbolic form In $25^{th}$ Annual Conference of the German Classification Society, Munich (Accepted to be published)

De Carvalho, F. A. T. et Diday, E. (1999): Un indice de proximité entre objets symboliques qui tient compte des contraintes dans l'espace de description. In: Induction Symbolique et Numerique `a partir de Données, Volume 2, Kodratoff, Y. et Diday, E. (eds), Cépadues - Editions, Toulouse.

Csernel M. et De Carvalho, F.A.T. (2001): L'espace mémoire nécessaire à la Forme Normale Symbolique Le Gosier, SFC2001.

Annexes

Création d'un site WEB pour CLADIS : www.cin.ufpe.br/fatc/CLADIS

ECOAIR

Bref descriptif

Responsables

France:
Isabelle HERLIN

+33-1-39-63-53-71
isabelle.herlin@inria.fr
Brésil:
Doctor Margareth SIMOES

Ministerio da Agricultura e do Abastecimento
Empresa Brasileira de Pesquisa Agropecuaria
Centro Nacional de Pesquisa de Solos
Rua Jardim Botanico, 1024
Rio de Janeiro - 22 460 000 BRESIL
Tel : 55-21-9978-9613
Fax : 55-21-2567-7556
Email : margaret@enps.embrapa.br

Thème

Les travaux visent à développer des méthodes d'analyse des données environnementales et de les encapsuler dans un système d'information, dans le but d'aider à la gestion de la dégradation des sols dans la région du Pantanal. Dans ce cadre, l'imagerie satellitaire est un outil privilégié pour accéder et suivre au cours du temps l'information sur l'état des sols.

Historique et bilan 2001

Echanges effectués pendant l'année 2000: visite de I. Herlin à Rio De Janeiro pour définir les axes scientifiques du projet ECOAIR, et présenter les travaux effectués dans le projet AIR.

Echanges effectués l'année 2001: Janvier 2001, visite de Fabien Lahoche: cette visite a permis de spécifier les algorithmes à développer; visite de chercheurs de l'Inria à EMBRAPA, Rio, novembre 2001: I. Herlin, JP. Berroir, D. Singh. Cette visite a permis de faire le point sur l'avancement du projet, a été l'occasion d'échanges de vues et données sur la suite, a jeté les bases d'un futur projet, et a été l'occasion d'un workshop.

Annexes

FEF

Bref descriptif

Responsables

France:
D. Chapelle

INRIA-Rocquencourt - Projet MACS
Tél. 01.39.63.57.46 - Email Dominique.Chapelle@inria.fr
Brésil:
M. Bucalem

Escola Politécnica da Universidade de São Paulo
Av. Prof. Almeida Prado - travessa 2, 83
05508-900 São Paulo SP
Tél. +55.11.818.5205 - Email mlbucale@usp.br
 

Thème

Continuation d'un projet INRIA-CNPq

Historique et bilan antérieur

Travaux déjà réalisés dans le cadre de ce projet : En 2001, D. Chapelle a fait une visite d'1 semaine à USP (en mars) pour faire le point et travailler sur la collaboration, et pour participer au jury de thèse de D. Oliveira (qu'il a encadré pendant un an lors de son séjour à Rocquencourt en 1999-2000.

Actions projetées

Dans l'avenir, l'effort se portera sur la valorisation des travaux déjà effectués (notamment à travers des publications conjointes), ainsi que sur l'extension de ces travaux aux coques piézoélectriques avec des perspectives en contrôle des structures. Dans ce contexte, un séjour de M. Bucalem à Rocquencourt est prévu en mai 2002 (2 semaines).

Publications

Publications conjointes :

Projets de l'appel 2001, démarrés courant 2001

Il s'agit des 4 projets sélectionnés en juin 2001 et gérés dans le cadre de l'accord INRIA/CNPq (ProTeM-CC).

CommonRefs

Bref descriptif

Responsables

France:

 

 

Laurent Romary (French administrative co-ordinator)
LORIA-INRIA Campus Scientifique
B.P. 239
54506 Vandoeuvre-lès-Nancy Cedex
03.83.59.20.37 romary@loria.fr

Susanne Salmon-Alt (French scientific co-ordinator)
LORIA-INRIA, Campus Scientifique
03.83.59.20.35 alt@loria.fr

Brésil:

 

 

Renata Vieira (Brazilian co-ordinator)
Centro de Ciências Exatas e Tecnológicas, Centro de Ciências da Comunicação
UNISINOS, Universidade do Vale do Rio dos Sinos
São Leopoldo RS, Brazil
RENATA@exatas.unisinos.br
 
 

Thème

Modélisation des processus d'interprétation de groupes nominaux définis et démonstratifs en portugais et français

Historique et bilan antérieur

Choix d'un corpus parallèle. Installation et test, en parallèle, d'outils d'annotation de corpus. Réflexion sur schémas d'annotation en cours. Rédaction, en commun, d'un article sur l'annotation de corpus multilingue, soumis à une conférence internationale

Un premier voyage (2 semaines de spécialiste français au Brésil), prévu pour le mois de novembre 2001, a dû être annulé en raison d'absence des fonds côté Brésil et l'impossibilité, du côté INRIA, d'avancer les frais de séjour en raison du passage à l'Euro.

Actions projetées

Acquisition of suitable resources for Portuguese and French. Definition of a suitable annotation scheme . Annotation of definite description use (3 annotators) + agreement measurement . Adapting the tool for definite description to Portuguese and French. Evaluation and comparison of English, French and Portuguese.

FERUS

Bref descriptif

Responsables

France:
Hélène Kirchner, projet PROTHEO

LORIA
Campus Scientifique
BP 239, 54506 Vandoeuvre-lès-Nancy
FRANCE
Tel: 03 83 59 30 01
E-mail: Helene.Kirchner@loria.fr
Brésil:
Anamaria Martins Moreira

DIMAp
Universidade Federal do Rio Grande do Norte (UFRN)
Campus Universitário Lagoa Nova - Natal/RN - 59078-970
BRESIL
E-mail: anamaria@dimap.ufrn.br
 

Thème

Ce projet a pour cadre le développement d'outils pour le domaine des spécifications algébriques. Se fondant sur la complémentarité des connaissances des partenaires français et brésiliens dans les domaines des systèmes de réécriture et des spécifications algébriques, le projet FERUS propose de contribuer au développement de la Spécification et Réutilisation de Logiciels. Dans ce contexte, nous voulons intégrer et mettre en \oeuvre un gestionnaire de bibliothèques de composants logiciels réutilisables. L'objectif est de développer un outil générique qui puisse être utilisable aussi bien par un langage de spécifications algébriques (CASL) que par un langage basé sur la réécriture (ELAN). Le premier (CASL) est le langage fédérateur de spécifications algébriques développé par le groupe de travail européen CoFI, auquel participe le projet PROTHEO du LORIA, alors que le second (ELAN) est un langage basé sur la réécriture qui est développé au LORIA dans PROTHEO. Les deux se complètent, dans le sens où le système ELAN fournit déjà un outil d'exécution pour un certain fragment de CASL.

Historique et bilan antérieur

La collaboration a été ponctuée en 2001 par trois visites, dont les deux premières ont été financées suite à l'appel d'offres INRIA/PROTEM 1999. Une première visite à Nancy a été effectuée par Anamaria Martins, responsable du projet FERUS du coté brésilien. Cette première visite a permis de mieux cerner le projet, et l'utilisation de la réécriture comme aide à la généralisation, un concept introduit dans la thèse d'Anamaria Martins et qui constituera une opération essentielle de l'outil que nous cherchons à développer. Au cours du mois d'août 2001, Christophe Ringeissen, ainsi que Claude et Hélène Kirchner ont fait une visite à Natal. Cette visite a été notamment marquée par l'organisation d'un premier séminaire de travail. Nous avons également contribué au développement du compilateur de FERUS et à sa connexion à l'analyseur syntaxique de CATS, la boîte à outils développée pour CASL (dans le groupe de B. Krieg-Brueckner, à l'université de Brême). Une troisième visite (à Natal, effectuée par Christophe Ringeissen) se déroule fin novembre-début décembre 2001.

Actions projetées

Publications

Deux publications communes sont soumises, et servent de base à un rapport de recherche préparé au cours d'un séjour à Natal (nov-déc 2001) de Christophe Ringeissen.

Annexes

Il n'y a pas de voyages au Brésil prévus en 2002 car David Déharbe et Anamaria Martins, coordinateur du côté brésilien ont l'intention de passer une année sabbatique en 2002 en France (sur un financement encore à préciser), afin de travailler notamment sur le projet FERUS.

PAGE II

Bref descriptif

Responsables

France:
Brigitte Plateau

IMAG ID (Informatique et distribution) UMR 5132
ENSIMAG - Antenne de Montbonnot - ZIRST
51, avenue Jean Kuntzmann
38330 MONTBONNOT SAINT MARTIN
(33)4 76 61 20 88
Brigitte.Plateau@imag.fr
Brésil:
Philippe.Navaux

Instituto de Informática
Universidade Federal do Rio Grande do Sul
Caixa Postal 15064
CEP:91501-970 Porto Alegre - RS - Brasil
(55 51) 316 6165
Navaux@inf.ufrgs.br
 

Thème

Le domaine scientifique dans lequel se place le projet PAGE II est celui du calcul parallèle pour la résolution de problèmes de grande taille. Les travaux qui y sont faits par les équipes participantes sont de nature théorique dans certains domaines fondamentaux (algorithmique et complexité, modèle de calcul et de communication, modèle de performance, etc..) ou de nature appliquée et expérimentale (environnement de programmation, simulateur de réseau d'automates stochastiques).

Ce projet fait suite au projet PAGE (2 ans) qui s'est terminé en 2000. Le projet PAGE II est prévu sur 2 ans : 2001 et 2002.

Historique et bilan antérieur

Le projet débute concrètement en fin 2001 du fait d'un retard de notification du projet chez les partenaires brésiliens. Les missions prévues en décembre 2001/Janvier 2002 sont les suivantes :

Actions projetées

Les résultats attendus en 2002 concernent les actions suivantes :
PEPS
Extension du simulateur de réseaux d'automates stochastiques et parallélisation (B.Plateau, JM Vincent, P. Fernandes, A. Melon, B. Stewart (U. Caroline du nord-USA) et N.Maillard)
Noyau de communication
Intégration du noyau de communication rapide RCI du projet MultiCluster (P.Navaux, R.Avila) dans l'environnement Inuktitut (T.Gautier, J.Briat, O.Richard, C. Martin) du projet APACHE. Utilisation de ce dernier dans l'environnement java distribué du projet DOAP(C.Geyer).
Pajé
Extension du visualiseur Pajé (B. Stein) au monitoring et d'administration de grandes grappes (J. Chassin, P. Augerat, G.Mouniè) et évaluation (missions de B.Stein, J.Chassin et P.Augerat en 2002).
Ordonnanceur
Définition, spécification d'un ordonnanceur pour grappes. Cet ordonnanceur doit être commun aux environnements applicatifs C++ Anahi(G. Cavalheiro) et Athapascan-1(JL Roch)
Tous ces travaux font l'objet de publications et de développement de logiciels.

Publications

Bibliographie

1
P. Augerat, C. Martin, and B. Stein.

Scalable monitoring tools for grids and clusters.
In 10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing. IEEE Computer Society Press, 01 2002.
2
A. Ben-Abdallah, A. S. Charão, I. Charpentier, and B. Plateau.

Ahpik: A Parallel Multithreaded Framework Using Adaptivity and Domain Decomposition Methods for Solving PDE Problems.
In Proceedings of the 13th International Conference on Domain Decomposition Methods, October 2000. CNME UPS, Barcelone, October 2001.
to appear.
3
Andréa Schwertner Charão.

Multiprogrammation parallèle générique des méthodes de décomposition de domaine.
Thèse de doctorat, Institut National Polytechnique de Grenoble, September 2001.
4
Luis Gustavo Fernandes, Nicolas Maillard, and Yves Denneulin.

Parallelizing a dense matching region growing algorithm for an image interpoliation application.
In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), Las Vegas, Jun 2001.
5
F.-G. Ottogalli, C. Labbé, V. Olive, B. Oliveira Stein, J. Chassin de Kergommeaux, and J.-M. Vincent.

Visualisation of distributed applications for performance debugging.
In V. Alexandrov, J. Dongarra, B. Juliano, R. Renner, and C.J. Kenneth Tan, editors, ICCS'01: International Conference in Computational Science, LNCS 2074, pages 831-840, Berlin, Heidelberg, 2001. Springer.
6
B. Plateau R. Jungblut and W. Stewart.

Simulation rapide pour réseaux d'automates stochastiques.
Revue Réseaux et Systèmes Répartis, Calculateurs Parallèles, to appear 2001.
7
W. Stewart R. Jungblut, B. Plateau and B. Ycart.

Fast simulation for road traffic network.
RAIRO Operations Research, to appear 2001.
 

VISCORA II

Bref descriptif

Responsables

France:
Patrick Rives

I.C.A.R.E.
Inria Centre de Sophia Antipolis
2004, Route des Lucioles BP 93
06902 Sophia Antipolis Cedex
Tel: +33 (0)4 92 38 77 52
Patrick.Rives@sophia.inria.fr
Brésil:
Samuel Bueno LRV/ITI

Rod. Dom Pedro I km. 143.6
Campinas SP 13081-970
Tel: +55-19-746-6137
samuel.bueno@iti.gov.br
 

Thème

Le projet AURORA mené par le LRV/ITI de Campinas a pour objectif de développer un dirigeable d'observation doté de grandes capacités d'autonomie dans toutes les phases classiques de vol (décollage, vol stationnaire, vol de croisière et atterrissage). Parmi ces phases, certaines telles que le vol stationnaire ou l'atterrissage nécessite un contrôle précis de l'attitude et de la vitesse par rapport au sol. Les approches de type Asservissement visuel développées par le projet ICARE/INRIA en permettant d'utiliser des techniques de contrôle robuste pour stabiliser l'attitude d'un engin par rapport à son environnement, sont très adaptées à ce type de problème. Une collaboration sur ce thème entre les deux équipes est active depuis 1998.

Historique et bilan antérieur

Une collaboration formelle effective existe depuis 1998 entre le Laboratoire de Robotique et Vision du Institut National de Technologie en Informatique (LRV/ITI de Campinas et le projet de robotique ICARE de l'INRIA-Sophia Antipolis. Cette collaboration est très active comme en témoignent les faits suivants:

Actions projetées

Nous disposons maintenant à la fois de moyens de simulation et de moyens expérimentaux opérationnels. Pour l'année 2002 et 2003, les objectifs scientifiques et technologiques sont plus ambitieux. Il s'agira tout d'abord de valider en expérimentation réelle les tâches de stabilisation et d'atterrissage automatique sur une cible artificielle qui ont été développées en simulation. Cela nécessite de développer les algorithmes de traitement d'images temps réel nécessaires au calcul de la loi de commande puis de les intégrer dans l'architecture embarquée du dirigeable. Ce travail sera mené conjointement par le projet ICARE/INRIA et le LRV/ITI. Une partie importante du programme de recherche concernera l'extension de ces techniques au cas où l'on ne dispose plus de cibles artificielles dans le but de réaliser des missions à partir d'images d'environnement naturel: stabilisation à la verticale d'une zone d'observation (par exemple, forêt), suivi de structures linéaires (route, rivière, ligne électrique, pipeline...). Cette problématique est au coeur des axes de recherche du projet ICARE/INRIA, à la fois en terme de méthodes robustes de traitement d'images qu'en terme de synthèse de lois de commande utilisant les informations extraites de l'image.

Publications

J.R.H Carvalho, P. Rives, A. S-Barbara, S.S. Bueno:''Visual Control of a Class of Mobile Robots''IEEE Conf. on Control Applications, Anchorage, USA, Sept. 2000.

P. Rives, J.R. Azinheira, J.R.H. Carvalho, S.S. Bueno:'' Dirigeable d'observation: Le projet AURORA'', Journées Nationales de la Recherche en Robotique, JNRR'01, Presqu'île de Giens, 15-17 Octobre 2001

A.C. Victorino, P. Rives, J.-J. Borrelly:''Mobile Robot Navigation Using a Sensor-Based Control Strategy'', IEEE Conf. on Robotics and Automation, Séoul, Corée, Mai 2001.

A.C. Victorino, P. Rives, J.-J. Borrelly:''Exploration et cartographies de scènes d'intérieur par navigation référencée laser'', Reconnaissance des Formes et Intelligence Artificielle (RFIA2002), Angers, Janvier 2002.

J.R. Azinheira, P. Rives, J.R.H. Carvalho, G.F. Silveira, E.C. de Paiva, S.S. Bueno:``Visual Servo Control for the Hovering of an Outdoor Robotic Airship'', soumis à ICRA2002, Washington DC, USA, Mai 2002.

Autres actions

Cette section présente les actions de soutien prévues pour un an, ainsi que les actions présentées dans le cadre de l'appel 2002. Cet appel n'étant pas encore ouvert, les équipes candidates reçoivent le soutien nécessaire au maintien de leur collaboration. Il est également présenté un bilan pour leur activité en 2001 de l' actions: CRAS qui n'est pas poursuivie en 2002.

ARCOIRIS

Bref descriptif

Responsables

France:

 

 

Marie-France Sagot, Inria Rhône-Alpes, Laboratoire de Biométrie et Biologie Évolutive, Université Claude Bernard, 43, bd du 11 Novembre 1918, 69622 Villeurbanne cedex, tél. : 04 72 44 81 70, email : sagot@biomserv.univ-lyon1.fr.

Brésil:

 

 

Carlos Eduardo Ferreira, Instituto de Matemática e Estatística, Universidade de São Paulo, Rua do Matão 1010, Cidade Universitária, 05508-900 São Paulo, tél : +55 (11) 818 6134, email : cef@ime.usp.br.
 
 

Thème

Les principaux thèmes de recherche de ce projet sont la formalisation par des modèles mathématiques et algorithmiques de problèmes en biologie moléculaire et le développement d'algorithmes combinatoires permettant de résoudre ces problèmes. Ce projet est nouveau.

Actions projetées

Cette année, nous projetons les actions principales suivantes : Nous espérons obtenir pour chacun de ces deux points des algorithmes nouveaux ou améliorés par rapport à ceux déjà élaborés par l'une ou l'autre équipe. Les améliorations escomptées visent obtenir des algorithmes plus performants en théorie et en pratique mais, surtout, affiner et étendre le champ d'action des méthodes actuellement disponibles.

Publications

Les publications communes récentes sont les suivantes :
  1. E. M. Rodrigues, M.-F. Sagot and Y. Wakabayashi. Some approximation results for the maximum agreement forest problem. in M. Goemans, K. Jansen, J. D. P. Rolim and L. Trevisan (eds.), Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques (APPROX & RANDOM 2001), Berkeley, California, USA, volume 2129 of Lecture Notes in Computer Science, pages 159-169, Springer Verlag, 2001.
  2. M.-F. Sagot and Y. Wakabayashi. Pattern inference under many guises. in B. Reed and C. L. Sales (eds.), Recent advances in algorithms and combinatorics, Springer Verlag, in press.

    3.  

     
     
     

Par ailleurs, Marie-France Sagot a participé en Juillet 2001 du Colloque Brésilien de Mathématiques de l'Institut de Mathématiques Pures et Appliquées (IMPA) du Rio de Janeiro où elle était conférencière invitée à la Session Spéciale de Combinatoire organisée par Yoshiko Wakabayashi
(http://w3.impa.br/ coloquio/CBM23/Sessoes/Combinatoria/index.html).

Annexes

Marie-France Sagot est une ancienne étudiante de l'Institut de Mathématiques et Statistiques de l'Université de São Paulo où elle a fait ses études jusqu'à la maîtrise. Elle a une longue tradition de collaboration avec le Brésil et un premier projet avait été financé pour deux ans à partir de 1998 par la CAPES/COFECUB avec diverses personnes de l'Institut de Mathématiques et Statistiques de l'Université de São Paulo, État de São Paulo.

OPTIM

Bref descriptif

Responsables

France:
F. Bonnans, Responsable de SYDOCO.

email : Frederic.Bonnans@inria.fr
Tel (33) 01 39 63 55 57 Fax (33) 01 39 63 57 86.
Brésil:
Claudia Sagastizábal

email: sagastiz@impa.br
Instituto de Matematica Pura e Aplicada
Estrada Dona Castorina 110
Jardim Botânico
Rio de Janeiro, RJ 22460-320
Tél: (55-21) 529-5164 Fax: (55-21) 529-5129

Thème

Problèmes avec contraintes d'équilibre: résolution numérique (avec des mé- thodes de faisceaux adaptatives) et analyse théorique. Il s'agit d'une continuation du projet 2001 auquel vient s'ajouter un volet concernant des applications au domaine énergétique.

Historique et bilan antérieur

Les coopérations antérieures ont porté sur des thèmes analogues (optimisation non différentiable, inéquations variationnelles, analyse convexe).

La collaboration 2000 a donnée lieu à un contrat d'études tri-partie entre l'Inria, l'Impa et Renault France.

Actions projetées

  1. Optimisation à deux niveaux: Les problèmes avec des contraintes d'équilibre ou de complémentarité sont un exemple des problèmes à deux niveaux. Plus précisément, il s'agit, au premier niveau, de minimiser un critère sous des contraintes données sous la forme d'un autre problème d'optimisation (deuxième niveau). Nous nous proposons d'introduire la fonction valeur du problème du deuxième niveau comme terme de pénalisation au premier niveau. Il en résulte un problème du premier niveau qui n'est guère constraint, mais qui est non différentiable. Nous développerons une méthode de faisceau adaptative pour trouver la solution du problème à deux niveaux original, via la résolution itérative d'une suite des problèmes pénalisés.
  2. Application à des problèmes de gestion électrique: la détermination des prix d'équilibre dans un marché ouvert d'énergie électrique est un problème de programmation mathématique avec des contraintes d'équilibre. Il peut donc être modélisé comme un problème à deux niveaux. Le marché bresilien d'électricité est en phase d'ouverture. De ce fait, une bonne compréhension des mécanismes de formation des prix s'avère fondamentale. En partenariat avec le CEPEL (Centre bresilien des recherches en électricité), nous étudierons la résolution de ce type de problèmes. Ce projet sera developé en partie par Jean-Marc COGNET, ancien thésard INRIA, qui fera un post-doc à Rio pour travailler sur ses sujets.

Publications

  1. J.F. Bonnans, J. Ch. Gilbert, C. Lemaréchal, C. Sagastizábal.

    2.  

     
     
     

    Optimisation Numérique: aspects théoriques et pratiques.
     

    Série Mathématiques et Applications 27, Springer-Verlag, Paris, 1997.

  2. C. Sagastizábal and M.V. Solodov.

    3.  

     
     
     

    Parallel Variable Distribution for Constrained Optimization.
     

    Accepté pour publication en Computational Optimization and Applications, 2001.

  3. C. Sagastizábal and M.V. Solodov.

    4.  

     
     
     

    On the relation between bundle methods for maximal monotone inclusions and hybrid proximal point algorithms.
     

    Dans Inherently Parallel Algorithms in Feasibility and Optimization and their Applications, D. Butnariu, Y. Censor et S. Reich, éds., volume 8 de Studies in Computational Mathematics, pages 441-455, Elsevier Sciences B.V., 2001.

DAAD

Bref descriptif

Responsables

France:
Patrick Valduriez INRIA, Rocquencourt 78153 Le Chesnay Cedex 01 39 63 5251 Patrck.Valduriez@inria.fr
Brésil:
Marta Lima de Queirós Mattoso Universidade Federal do Rio de Janeiro (UFRJ)/ COPPE Rio de Janeiro 55 21 562-8673 marta@cos.ufrj.br

Thème

Nouveau projet sur la gestion d'applications et de bases de données autonomes et hétérogènes dans un contexte distribué (GRID computing), tel qu'un cluster de machines ou des serveurs connectés par Internet. L'objectif est d'augmenter les performances de l'exécution de ces applications et bases de données en exploitant le parallélisme et les connaissances sur les applications et les bases de données (méta-données). Les problèmes de recherche sont : 1. équilibrage de charge dans des architectures distribuées à grande échelle (cluster ou internet) : étude du compromis cohérence/performances, parallélisme inter et intra-transaction, réplication, simulation de grandes configurations. 2. gestion de workflows scientifiques : découverte des méta-données et des ressources, modélisation des workflows scientifiques, exécution distribuée. Les résultats sont applicables à des applications et des bases de données existantes que l'on veut optimiser sans les modifier en les portant un cluster, ou à des applications scoentifiques que l'on veut accéder là où elles se trouvent avec des techniques de workflows.

Historique et bilan antérieur

Nous avons travaillé en 1999-2000 dans le cadre du projet CNPQ-INRIA Ecobase regroupant du coté brésilien les équipes bases de données à UFRJ, UNI-RIO, PUC et IME, et du coté français le projet Caravel, le LIP6 et l'université Paris 5. En avril 2001, nous avons organisé un grand workshop international WIIW (Workshop on information integration on the Web) à Ipaitava, avec une centaine de participants de tous pays, et de nombreuses présentations des résultats du projet Ecobase (6 participants du coté INRIA dont un conférencier invité - le professeur Mokrane Bouzeghoub). D'autre part, le professeur Marta Mattoso a passé une semaine à l'INRIA en novembre 2001, pour travailler sur les workflows scientifiques et préparer notre réponse très ciblée au prochain appel d'offres CNPQ-INRIA. Eric Simon doit passer une semaine à Rio en décembre 2001 pour continuer le travail sur les workflows.

Actions projetées

Action 1 : travail commun sur le parallélisme intra-requête dans les architectures clusters avec des applications et bases de données autonomes. Résultat attendu : article en commun. Action 2 : travail commun sur la réplication dans les architectures cluster. Résultat attendu : rapport de recherche. Action 3 : travail commun sur la découverte de ressources et de méta-données. Résultat attendu : rapport de recherche. Action 4 : travail commun sur l'exécution des workflows scientifiques. Résultat attendu : article en commun.

Publications

The Ecobase members: The Ecobase Project: Database and Web Technologies for Environmental Information Systems. ACM SIGMOD Record, 30(3), 2001.

The Ecobase members. The Ecobase Environmental Information System: applications, architecture and open issues. Networking and Information Systems Journal, Hermes, Vol 3, No 5, 2000.

L. Bouganim, F. Fabret, F. Porto, P. Valduriez : Processing Queries with Expensive Functions and Large Objects in Distributed Mediator Systems. Int. Conf. on Data Engineering, Heidelberg, March 2001.

M. Cavalcanti, M. Mattoso, M. Campos, F. Llirbat, E. Simon : Sharing scientific models in environmental applications. ACM Symmposium on Applied Computing, March 2002.

CRAS

Bref descriptif

Responsables

France:
Fortin

INRIA-Rocquencours
Paris
e-mail: fortin@lim.univ-mrs.fr

A. R. Mahjoub
Laboratoire LIMOS, Université de Clermont II
Complexe Scientifique des Cézeaux
63177 Aubière Cedex, France.
Tél: (33) (0)4 73 40 74 37
e-main: Ridha.Mahjoub@math.univ-bpclermont.fr

Brésil:
M. Poggi de Aragâo

Departamento de Informática
PUC-Rio
Rua Marquês de São Vicente, 225
fax: (55)(21) 259-2232 Rio de Janeiro - RJ - 22453-900
Brésil
Tél:(55)(21) 512-2299 r. 4339
e-mail:poggi@inf.puc-rio.br
 

Thèmes abordés

Déterminer un réseau fiable, vérifiant une topologie optimale est un problème que l'on rencontre dans plusieurs domaines, comme le transport, les télécommunications ou le VLSI. Une topologie très utilisée dans la pratique est celle de l'arbre de Steiner. Ici on recherche un arbre optimal dans un graphe, qui devrait contenir un ensemble spécifique de sommets. Nous avons étudié ce problème. On s'est intéressé plus particulièrement au polyèdre associé à ce problème. L'objectif était de développer, pour les deux variantes orientée et non orientée du problème, des algorithmes de résolution de type Branch&Cut, basés sur les techniques polyédrales de l'optimisation combinatoire. Bien que le problème de l'arbre de Steiner soit largement étudié, une telle approche n'a pas encore été utilisée.

Ce projet est la poursuite du projet CRAS qui vise à regrouper les efforts entrepris isolément par chacune des équipes française et brésilienne dans le domaine de Conception de Réseaux (Network Design).

Actions et Résultats

Le travail réalisé dans ces derniers mois (y compris dans les deux missions de A.R. Mahjoub à Rio de Janeiro et E. Uchoa à Clermont-Ferrand) a porté essentiellement sur le problème de l'arbre de Steiner. L'objetif était d'étudier dans un premier temps la structure faciale du polyèdre des arbres de Steiner, et d'utiliser par la suite les rèsultats polyédraux établis, dans le cadre d'un algorithme de Branch&Cut pour rèsoudre le problème. Les résultats obtenus ont fait l'objet de deux rapports préliminaires joints à ce bilan, et ont porté en particulier sur
- la description de nouvelles familles de contraintes valides et de facettes pour le problème de l'arborescence de Steiner (version orientée du problème),
- la description d'opérations de rèduction de graphes basées sur la relaxattion linéaire du polyèdre des solutions. Celles-ci seront incorporées par la suite dans un algorithme de résolution de type Branch&Cut. Ces opérations devraient permettre de réduire la taille du graphe sur lequel porte la résolution, et d'accélérer, en conséquence, les algorithmes dits de séparation.
- Caractérisation d'une forme générale des contraintes pouvant définir des facettes du polyèdre des arbres de Steiner (version non orientée).
- Description de quelques conséquences de cette caratérisation: Caractérisation du polyèdre des arbres de Steiner dans la classe dite des cactus. Élaboration d'une preuve courte et simple d'un résultat connu dans la littérature lié aux graphes dits trous impairs.
- Étude de la relation entre notre famille générale de facettes et les inégalités dites de partition Steiner généralisées. Il a été montré que la deuxième classe d'inégalités est un cas particulier de la première et que les deux familles de contraintes n'appartiennent pas à la classe NP.

Le but maintenant est d'utiliser ces résultats pour résoudre le problème de l'arbre de Steiner (versions orientée et non orientée) dans le cadre d'une méthode de Branch&Cut. Des travaux dans cette direction sont actuellement en cours.
Une autre perspective à moyen terme est d'étendre l'étude au problème du sommet-packing d'arbres de Steiner. Ce problème consiste à trouver un nombre donné d'arbres de Steiner qui soient deux à deux sommet-disjoints (n'ayant pas de sommet en commun) et de poids total minimum. Ce problème est frequemment rencontré dans la conception des circuits intégrés.

Echanges réalisés

A. R. Mahjoub (de LIMOS, Clermont) a effectué une visite à Rio du 1er au 22 août 2001. Les frais se sont élevés (coté INRIA) à 10000 F (approximativement).
E. Uchoa (de Puc-Rio) a effectué une visite à Clermont-Ferrand du 23 août au 2 septembre 2001. Les frais étaient environ de 7000F.

Publications

[1] A. R. Mahjoub, M. Poggi and E. Uchoo Barboza, ``On the Steiner Arborescence polyhedron'', preprint 2001.

[2] H. Kerivin, A.R. Mahjoub and E. Uchoa Barboza, ``Properties of general facets of the Steiner polyhedron, and applications'', preprint 2001.

Volume Explorer

Bref descriptif

Responsables

France:
Jean Claude PAUL, DR 1 INRIA, Resp. Projet ISA, INRIA LORRAINE, tél. (+33) 3 83 59 20 77 email : paul@loria.fr
Brésil:
Marcello GATASS Professeur Rio Catholic University (PUC), Resp : GrapTech Laboratory, gatass@inf.puc-rio.br.

 

 
 
 

Thème

Visualisation volumique " Haute Performance ".

Le programme de coopération scientifique envisagé concerne la visualisation d'objets surfaciques et volumiques de taille extrême, et dont la géométrie est complexe (surfaces aux nombreuses déchirures et intersections, grilles volumiques hétérogènes), avec une grande précision. La visualisation doit permettre d'explorer un modèle sismique en " temps réel " (60 images / secondes) et il doit être possible d'interagir avec le modèle depuis l'espace de visualisation, pour le modifier, le réajuster à de nouvelles données. Une solution multi processor et multi pipeline doit permettre la visualisation 3D à l'échelle 1 ou dans des environnements immersifs de type Cave.

Ce travail s'appuiera sur :

Il a été convenu de développer, sur la base de ces travaux, une technologie particulièrement adaptée aux différents stades de l'ingénierie pétrolière, qui réponde aux exigences de l'interprétation sismique, de la modélisation structurale, des études géostatistiques et de la simulation d'écoulements pour l'ingénierie de réservoir. En particulier, nous espérons que cette technologie devienne le complément indispensable des nouvelles techniques de sismique 4D qui vont se développer dans les prochaines années.

C'est pourquoi seront associés à ces travaux, le groupe PETROBRAS (RIO), et la société VSP Technology (Start up INRIA).

Le programme scientifique envisagé porte sur :

Historique et bilan antérieur

2 Professeurs brésiliens ont été invités à Nancy en juin 2001 1 DR et 1 CR français (INRIA) ont été invités en novembre/décembre 2001

Ces rencontres ont permis d'élaborer, sur la base d'une expertise approfondie des compétences de chacun, le programme scientifique résumé plus haut.

Par ailleurs, l'accueil de doctorants a été décidé :

Ainsi, 2 Doctorants brésiliens sont accueillis à l'INRIA

2 Doctorants français (Ingénieurs des Mines) se rendront à PUC à La procédure adoptée a été définie ainsi : 2 ans dans le pays d'accueil, 1 an (la seconde année de thèse) dans le pays d'origine.

NB : Il est à noter que cette coopération s'est développée sans aide spécifique.

Actions projetées

JC Paul et B Lévy se rendront pour une semaine au Brésil en mars 2002 et en novembre 2002. M Gattaz et S Bezera se rendront en France pour une semaine en juin 2002 et en décembre 2002.

Le programme de ces séjours comprendra :

L'objectif de ces séjours est :
  1. d'inscrire ces échanges structurellement dans la durée,
  2. de maintenir la focalisation des thèmes de recherche des doctorants, ingénieurs et post doctorants sur le programme scientifique commun qui a été défini par les partenaires.
À noter que lors de son prochain voyage, Jean-Claude PAUL visitera également l'UEFN (Rio de Janeiro).

PROS

Bref descriptif

Responsables

Historique et bilan antérieur

Notre coopération avec le DCC de l'UFMG de Belo Horizonte a commencé en 1997, et ont été à la base d'un projet INRIA/CNPq, démarré en 1999, sur la conception optimale des réseaux mobiles. Le noyau de ce projet étant composé de MASCOTTE, de l'équipe du Professeur Mateus au DCC de l'UFMG, et de celle du Professeur Mahey au LIMOS à Clermont-Ferrand.

Depuis, nos collaborations ont porté plus généralement sur l'algorithmique des télécommunications, thème moteur de MASCOTTE, motivées par la forte expérience du DCC, et plus particulièrement des Profs. H. Pacca Luna et G. R. Mateus, dans le domaine de la Conception des Réseaux de Communications, avec le soutien continu de l'ancienne compagnie Telemig de l'état de Minas Gerais (aujourd'hui privatisée dans le groupe Telemar).

Rappelons enfin une composante très importante de cette coopération qui s'est exprimée par plusieurs stages d'élèves-ingénieurs de l'ISIMA (Institut Supérieur d'Informatique, Modélisation et Applications de Clermont-Ferrand) à la fois au sein de MASCOTTEet au DCC, et cela dès 1996. Ces stages, souvent couplés avec un DEA, sont à nouveau prévus dans le cadre du présent projet et viennent renforcer la vocation formatrice d'une action de coopération bilatérale par des échanges effectifs d'étudiants dans les deux sens. En effet, nous avons effectués plusieurs missions de part et d'autre, et les résultats obtenus comme suite de ces visites font l'objet de nombreuses publications (ci-dessous nous listons les articles rédigés conjointement). Notre collaboration a fait appel à deux compétences complémentaires des équipes impliquées :

Les problèmes spécifiques étudiés couvraient : Les missions suivantes ont été réalisées :
  1. Missions France - Brésil :
  2. Missions Brésil-France :

Publications issues de notre collaboration

Bibliographie

1
Jérôme Galtier.

Geographical reservation for guaranteed handover and routing in low earth orbit constellations.
In Geraldo Robson Mateus, editor, I Workshop de Comunicacao Sem Fio, pages 77-86, Belo Horizonte, Minas Gerais, Brazil, July 1999.
2
A. Ferreira, J. Galtier, P. Mahey, G. Mateus, and A. Oliveira.

An Optimization Model for Routing in Low Earth Orbit Satellite Constellations.
In Proceedings of ISPAN, Dallas, USA, December 2000. IEEE CS Press.
3
C.D. Randazzo, H.P.L. Luna, and P. Mahey.

Benders decomposition for local access network design with two technologies.
In Proceedings Algotel'2000, pages 41-46, Algotel, La Rochelle, 2000.
4
R.P.M. Ferreira, M. Souza, H.P. Luna, and P. Mahey.

Expansion de capacités de réseaux de communications.
Technical report, Clermont-Ferrand, 2001.
soumis à AlgoTel'01.
5
A. Ferreira and M.A. Santos.

Design of leos satellite links using interior point methods, en préparation.
6
H.P.L. Luna and P. Mahey.

Bounds for global optimization of capacity expansion and flow assignment problems.
Operations Research Letters, 26:211-216, 2000.
7
P. Mahey, Thai Q. Phong, and H.P.L. Luna.

Separable convexification and dca techniques for capacity and flow assignment problems.
RAIRO - Recherche Operationnelle, to appear, 2001.
8
J. Galtier, G.R. Mateus, and A. Oliveira.

An optimization model for leos constellations, en préparation.
9
A. Ferreira, J. Galtier, and A. Oliveira.

Optmizing mpls routing, en préparation.
 

PsychoErgo

Bref descriptif

Responsables

France:
Dominique L. Scapin Directeur de Recherche (projet MErLIn), I.N.R.I.A.

Domaine de Voluceau - Rocquencourt, B.P. 105
78153 Le Chesnay Cedex, France
Tel: +33 (1) 39-63-55-07 Fax: +33 (1) 39-63-58-92
Dominique.Scapin@inria.fr http://www-rocq.inria.fr/merlin
Brésil:
Walter de Abreu Cybis

Universidade Federal de Santa Catarina, Departamento de Informática e Estatística
Centro Tecnológico, laboratório de Utilizabilidade da Informática
Campus Universitário, Bairro Trindade, 88040-900 Florianópolis, SC, Brasil
Tel: 00 55 48 331 94 98 Fax: 00 55 48 331 97 70
cybis@inf.ufsc.br
 

Thèmes abordés

L'objectif général du projet concerne la définition d'une technique de vérification de l'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 est focalisé 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. $\rightarrow$ C.1 à partir du niveau objectifs de l'utilisateur. D'autres entrelacements restent à définir.

Actions et Résultats

Dans le cadre d'une collaboration entre l'Inria et l'UFSC (Universidade Federal de Santa Catarina, Departamento de Informática e Estatística, Centro Tecnológico, Laboratório de Utilizabilidade da Informática), une étude a eu pour objectif de définir une technique d'évaluation ergonomique d'applications Web destinée à des concepteurs et chefs de projets non experts en ergonomie. Ce genre de méthode n'est pas destiné à remplacer l'éventail des méthodes ergonomiques existantes, mais à permettre à des non-experts de repérer des erreurs de conception relativement flagrantes (pour des ergonomes expérimentés). La méthode « ErgoCoin » a été basée sur la confrontation de deux approches : les Critères Ergonomiques et les Composants d'interaction personne-ordinateur. L'objectif est de disposer d'une méthode peu coûteuse en temps et nécessitant peu d'expertise en ergonomie (ceci suppose donc un guidage explicite). La Co-inspection évaluative est par ailleurs fondée sur des inspections dont les paramètres sont issus des données d'une analyse du contexte et de la mise en oeuvre du logiciel considéré. Pour cela, l'évaluateur procède à des interviews/questionnaires des utilisateurs et des concepteurs et accomplit une activité de description du système, puis une inspection évaluative guidée. Cette année, les travaux ont concerné principalement le développement d'outils de support.

La méthode d'inspection sera ensuite validée sur divers sites commerciaux, notamment au travers de comparaison avec des tests utilisateurs et autres données évaluatives. Par ailleurs est envisagée la perspective de constituer une base de connaissances sur l'utilisabilité des sites web commerciaux.

SPACEWEB

Bref descriptif

Responsables

France:
Francoise Detienne et Francoise Darses

Projet EIFFEL "Cognition et Cooperation en Conception"
INRIA-CNAM
Domaine de Voluceau, Rocquencourt, BP 105, 78153, Le Chesnay, France
Tel: 01 39 63 55 22/5016 ; Email: Francoise.Detienne@inria.fr ; Francoise.Darses@inria.fr
Brésil:
Pr Ricardo M. Naveiro

Ecole polytechnique de l'Université Federale de Rio de Janeiro
Caixa Postal 68507
CEP 21 945 970, Rio de Janeiro Brasil
Tel : 55 21 25 62 82 53 ; Email : Ricardo@pep.ufrj.br

Thèmes abordés

Le projet SPACEWEB porte sur la conception centrée-utilisateur d'espaces de travail distribué via le web, en particulier pour des activités de conception distibuée. Actuellement, l'éclatement géographique des partenaires de la conception et l'accroissement des espaces de travail distribué à distance (synchrones ou asynchrones) par réseaux internet ou intranet renforcent considérablement le besoin de disposer d'outils technologiques capables de supporter ces activités de coopération distribuée. Ces supports à la coopération entre acteurs doivent supporter des fonctionnalités d'argumentation, pour aider les concepteurs à expliciter leurs points de vue, débattre, négocier afin de converger vers des décisions acceptables par le groupe. Les processus argumentatifs se concrétisent par des échanges verbaux et textuels, mais s'appuient aussi sur des représentations intermédiaires souvent graphiques. L'objectif du projet SPACEWEB est de développer et d'évaluer des outils coopératifs multimédia : ces outils permettront de coopérer dans des espaces de travail distribué (en synchrone ou asynchrone) selon diverses modalités (graphique, textuelle...). L'accent sera mis sur la gestion du raisonnement diagrammatique, sur l'assistance à l'argumentation et à la prise de décision. Les domaines applicatifs visés sont la conception aéronautique et la conception architecturale. Le projet SPACEWEB est pluridisciplinaire : ergonomie cognitive (Eiffel-INRIA-CNAM), informatique en ingénierie de la production pour la gestion de projet et de produit (U. F do Rio de Janeiro).

C'est un nouveau projet.

Echanges réalisés

Historique et bilan antérieur L'intérêt de EIFFEL pour ce projet de coopération avec l'Ecole polytechnique de l'Université Federale de Rio de Janeiro est lié à ses objectifs de spécification d'environnements techniques capables de supporter l'accroissement des activités coopératives des acteurs de la conception. Plusieurs projets de recherche de l'équipe EIFFEL portent sur cet axe de recherche (projet Cognitique MOSAIC, projet CNRS MEDIAPRO et projet RNTL MAGIE). La collaboration internationale envisagée avec l'ecole polytechnique de l'Université Federale de Rio de Janeiro permettrait de compléter nos approches sur plusieurs plans, en particulier grâce à l'apport de nouveaux terrains industriels (contacts avec EMBRAER) et grâce à l'approche informatique en ingénierie de la production qui est développée par nos collègues brésiliens. L'intérêt de l'ecole polytechnique de l'Université Federale de Rio de Janeiro pour une coopération avec EIFFEL est lié à ses objectifs de conception centrée-utilisateur. Actuellement au Brésil, l'ergonomie reste encore principalement préoccupée par l'utilisabilité des interfaces. Il n'y a pas d'équipe en ergonomie cognitive de la conception équivalente apporterait une expertise comparable à celle de l'équipe EIFFEL.

Actions projeteés

Publications

Publications récentes en lien avec la thématique.
 

Borges M. et Naveiro, R. (2001) Architetonic Virtual Library: A Web-based supported system for the architectural design development and education in Proceedings of the International Conference in Engineering Design (ICED01), Glasgow.

Darses, F. (2001) Converger vers une solution en situation coopérative de conception. Analyse cognitive du processus d'argumentation. In F. Darses (ed) " La modélisation des activités collectives de conception ", 10ème Atelier du Travail Humain, Paris, 27-28 juin.

Darses, F. & Sauvagnac, C. (1997) Représentations cognitives de l'objet à concevoir. Construction collective dans une situation de conception continue. Actes de 01 Design 97, Cinquième table ronde sur la conception, Théoule-sur-Mer, 24-26 Septembre. EUROPIA : Paris.

Martin, G. (2001) Intégration des points de vue en conception concourante. Thèse de Doctorat, Spécialité Ergonomie, CNAM, Paris.

Martin, G., Détienne, F. & Lavigne, E. (2001) Analysing viewoints in design through the Argumentation process. INTERACT 2001, Tokyo, Japan, July 9-13. Naveiro R., (1997). The role of computer support for integrated product design, Proceedings of the XI International Conference on Engineering Design - ICED97,

A.Riitahuhta, Tampere, Finland. Naveiro R. & Oliveira V. (2001) O projeto de engenharia, arquitetura e desenho industrial, Editora da Universidade Federal de Juiz de Fora, Juiz de Fora, MG.

Naveiro, R.; Brézillon P & Souza Filho R. (2001). Knowledge and cooperation in design: the SisPro project, Actes de CITE2001, Troyes.

Annexe


Compte-rendu du séminaire d'évaluation de Rio

Chaque année le CNPq organise un séminaire d'évaluation du programme ProTeM-CC (cf ci-dessous). Les programmes ProTeM I, II, III concernaient des programmes de financement de projets brésiliens comparables en importance aux projets européens Esprit. La programmation a ensuite évolué à partir de 1999 vers des sous-programmes thématiques. L'existence de l'accord INRIA/CNPq (signé em 1997) à joué alors um rôle essentiel pour le maintien du financement dans le cadre du ProTeM. A partir de 1998 il y a eu 3 sous-programmes: Education (des projets brésiliens du même ordre d'importance: une vingtaine de projet dont le financement pouvait atteindre 500 K reais), projets CNPq/NSF et projets CNPq/INRIA (financement par projet de l'ordre de 50 K reais) dans les deux derniers programmes. Le séminaire de Rio était le deuxième concernant les projets CNPq/INRIA, le premier ayant eu lieu en juillet 2000 lors du congrès de la SBC.

Réunion des évaluateurs le dimanche 30 au soir (Hotel Mirador, Copacabana) Nelson Pruegner dirige la réunion à laquelle participent Paulo Mueller, Celso Costa et Wagner du CNPq. Rosa Vicari est présente. On discute de l'organisation du séminaire et des critères d'évaluation. De l'équipe du CNPq seul Celso a l'expérience de ces évaluations. Les évaluateurs pour le CNPq/INRIA sont P.Deransart (INRIA), Emmanuel Chailloux (Paris 6) côté français et Henrique Pacca Luna (UFMG), José Queiroz (UFPe) côté brésilien.

Séminaire d'évaluation (IME, Lemme) Il a lieu avec deux autres conférences qui drainent quelques centaines de participants, mais seul le programme "Educação" a jouit d'une audience au delà des personnes directement concernées. Les autres se sont déroulés pratiquement sans public. Le séminaire a été pris très au sérieux et les exposés en général de bonne qualité, faits par les responsables des projets avec parfois quelques uns de leurs participants. 10 projets présentés sur 11 (6 du premier appel et 5 du second). Pour les projets du premier appel il s'agit de l'évaluation globale (projets terminés), pour les seconds c'est une évaluation à mi-chemin (pprojets débutés en juillet 2000). Les rapports d'évaluation seront achevés et communiqués ultérieurement par José Queiroz.
 
 

Appréciations sur le séminaire.

Stimulant pour les projets. L'évaluation des projets en cours paraît plus utiles qu'à la fin (surtout en raison du manque de public).

Exposés de qualité variable (certains excellents). Absence de grille d'évaluation claire (insuffisamment discutée dimanche et manque d'information auprès des projets). La grille ne doit pas être la même selon le type de projet (en cours ou terminé).

Seuls les résultats côté brésiliens sont présentés. Malgré quelques projets très "coopératifs" il est difficile d'apprécier la contribution de la partie française (seuls quelques projets ont fourni un document bilan côté français).

Les présentations manquent d'un état de l'art permettant de mettre en évidence le "delta" apporté au cours de la période écoulée.

Clarifier les objectifs du ProTeM-CC. Cet aspect a été discuté à Brasilia.

Faiblesse du public. Le précédent séminaire, en juillet 2000 (seul E. Chailloux représentait la partie française) a été organisé lors du congrès de la SBC. Celui-ci réunit près de 2000 participants et il se trouve toujours un large public pour assister aux exposés.

Importance de la participation du représentant de l'INRIA, comme du CNPq, au séminaire. Cela permet d'apporter des éléments d'appréciation que ne possèdent pas les évaluateurs "ad hoc". Mais ceci est dû également à l'absence de préparation suffisante et de la grille d'évaluation.

A au moins deux reprises il a été mentionné des co-tutelles possibles (pour un Français et un Brésilien). On devrait pouvoir en démarrer cette année. Des infos sont demandées et les équipes y sont fortement encouragées. Inportance de clarifier les objectifs (en redéfinition) du ProTeM.

Il est noté une absence remarquable de publications communes dans des revues (tout dans des conférences). Il est noté que plusieurs projets font des travaux fortement coopératifs, quand pour d'autres la partie française joue plutôt un rôle de conseil.


Activités des équipes de l'INRIA avec le Brésil

Extraits du rapport d'activité 2001 de l'INRIA concernant les activités des équipes de l'INRIA avec le Brésil (sont soulignées les équipes qui ne participent à aucune des actions décrites précédemment).
 

Projet ADP

Un projet de coopération avec R. Macedo de l'Université Fédérale de Bahia (Salvador) à été retenu dans le cadre du programme de coopération INRIA/CNPq. L'objectif de ce projet d'une durée de deux ans (2000/2001) est de concevoir et de développer un prototype commun offrant des services de communication de groupe. Côté français, ce projet est géré par Michel Hurfin. En 2001, cette coopération s'est concrétisée par une publication. Participants : Fabiola Greve, Michel Hurfin, Michel Raynal, Frédéric Tronel. Dans le cadre de cette coopération, Michel Hurfin et Frédéric Tronel se sont rendus en juin 2001 à Bahia où se tenait le 1er workshop ARGO, et Raimundo Macedo a séjourné une semaine dans le projet ADP du 13 au 23 mars 2001. Michel Hurfin a dispensé un cours sur la tolérance aux défaillances à l'Université Fédérale de Bahia (6 heures). Doctorats d'Udo Fritzke (bourse du gouvernement brésilien, jusqu'en février 2001) et de Fabiola Greve (bourse du gouvernement brésilien).
 

Projet AIR

Un projet de recherche, ECOAIR, élaboré dans le cadre de la collaboration INRIA-CNPQ, est établi avec différentes université de Rio de Janeiro au Brésil. Le but est l'obtention d'information sur l'érosion du sol, à partir des données satellitaires, afin de créer un système d'information spécifique pour la gestion du Pantanal. I. Herlin a fait une présentation du projet AIR à EMBRAPA, Rio de Janeiro, novembre 2001.
 

Projet APACHE

Projet CNPq-CNRS avec les universités de Sao Paulo et Fortalezal sur l'impact des communications sur l'ordonnancement de tâches parallèles. Durée 1 an. Stages de doctorat de Luiz-Gustavo Fernandes (allocataire CNPq), de Mauricio Pillonl (allocataire CAPES), et de Roberta Jungblut-Hessel (allocataire CAPES-COFECUB). Départ le 1/10/2001 d'Andrea Charaõ, allocataire CAPES-COFECUB et doctorant dans le projet. Visites de 3 semaines de Raphaël Bohrer Avila (Université UFRGS, Porto Alegre) de 2 mois de Paulo Fernandes (Université PUC, Porto Alegre), de 2 semaines de Philippe Navaux (Université UFRGS, Porto Alegre).
 

Projet ARMOR

R. Marie et G. Rubino ont été membres du comité de programme de ITC'17 (17th International Teletraffic Cogress), Bahia, 2-7 décembre 2001.
 

Projet CONTRAINTES

Pierre Deransart est responsable avec Marie-Christine Imbert (Direction des Relations Internationales) des relations avec le Brésil. A ce titre il a coordonné l'appel à propositions INRIA/CNPq pour des projets franco-brésiliens ainsi que leur sélection. Il a également participé au 3ieme séminaire d'évaluation des projets organisé par le CNPq à Rio de Janeiro (octobre 2001).
 

Projet ESTIME

Doctorat d'Elizabeth Karas (Université Santa Catarina à Florianópolis et Université Paris 1).
 

Projet HELIX

Marie-France Sagot participe à un Projet CNPq, « Problemas de Otimizacao Combinatória: algorítmos e aplicaçöes » («Problèmes en Optimisation Combinatoire: Algorithmes et Applications»), avec le Département d'Informatique, Institut de Mathématiques et Statistiques, université de Sao Paulo, (coordonnatrice : Yoshiko Wakabayashi, professeur à l'université de Sao Paulo). En tant que professeur invité, Marie-France Sagot est intervenue dans le colloque de Mathématiques, Institut de Mathémathiques Pures et Appliquées (IMPA), Rio de Janeiro, 27-31 Juillet 2001.
 

Projet ICARE

Coopération avec l'ITI de Campinas dans le domaine de la commande de drônes aériens d'observation.
 

Projet ISA

J.-C. Paul et B. Lévy se sont rendus au Brésil, dans le cadre du projet de coopération Cofecub avec l'université de PUC à Rio. Ils ont également été invités par l'IMPA (Institut de Mathématiques Pures et Appliquées) et Petrobras. H. Everett a effectué une visite de deux semaines au Brésil, à l'université fédérale de Rio de Janeiro, dans le cadre de la coopération Capes/Cofecub.
 

Projet LED (Langue et Dialogue)

En vue d'analyse de corpus anglais, portugais et français et de développement d'un système de compréhension automatique des descriptions définies démonstratives, nous collaborons avec l'Université UNISINOS São Leopoldo, dans le cadre du projet «CommonRefs». Ce projet est co-financé par l'INRIA et le CNPq-ProtemCC pour une durée de 2 ans à partir de septembre 2001.
 

Projet LOGICAL

Gilles Dowek a participé au Workshop on Logic, Language, Information and Computation à Brasilia, où il a présenté un exposé invité et un tutorial.
 

Projet M3N

Participation de J.F. Gerbau et de M. Thiriet au Séminaire du LNCC, mai 2001.
 

Projet MACS

Participation au projet ProTeM-CC « FEF » (Fiabilité des méthodes d'Eléments Finis pour le calcul des structures : aspects théoriques et numériques) avec l'Université de São Paulo (Miguel Bucalem). D. Chapelle a fait des séminaires à l'Université de Saõ Paulo le 29/3, et au LNCC (Petropolis) le 30/3.
 

Projet MACSI

F. Vernadat a été directeur de la thèse, soutenue le 6 mars 2001, de Mauro Ferreira Koyama (Université de Metz et Université de Campinas).
 

Projet MASCOTTE

Dans le cadre du programme INRIA-CNPq (Brésil), participation au projet QoS pour les télé-communications sans fil avec l'université fédérale de Minas Gerais (2000-2001). Ce projet a pour but d'étudier des problèmes de qualité de service sur les réseaux sans fil. Participation de F. Havet à la Brazilian Summer School on Combinatorics and Algorithms du 12 au 24 mars 2001à Fortaleza et au GRACO à Fortaleza en mars 2001 également. A. Ferreira a séjourné deux semaines en mars à l'université Fédérale du Ceara à Fortaleza Accueil d'Adriana OLIVEIRA (Univ. du Minas Gerais) du 15/01/01 au 15/06/01 et visite de Gerardo Robson-Mateus (Univ. du Minas Gerais) du 23/06/01 au 30/06/01.
 

Projet MERLIN

D. L. Scapin a une collaboration avec le Département de Génie de Production et Systèmes, Université Fédérale de Santa Catarina (W. Cybis, N. Dos Santos), sur le thème organisation des connaissances ergonomiques pour la conception et l'évaluation d'interfaces et modélisation des tâches. Chercheurs invités : Walter Cybis de l'Univ. Santa Catarina (29/01-10/02) et Marcelo Morandini de l'Univ. Maringa (29/01-24/02) : conception et implémentation d'une méthode de co-évaluation ergonomique des sites Web (projet TVU-CECI, collaboration INRIA/ CNPq).
 

Projet MISTRAL

R. El Azouzi a présenté une communication lors du 17th Int. Teletraffic Congress (2/12/01-7/12/01), Salvador de Bahia. N. Malouch y a présenté deux communications.
 

Projet OPERA

Avec le Professeur José Valdeni de Lima de l'Universidade federal do Rio Grande do Sul, un projet de collaboration de deux ans a été lancé en 2000 dans le cadre des financements INRIA-CNPQ. Le projet proposé, intitulé CEMT (Conception d'un Environnement Éditorial Multimédia coopératif pour le Web avec Technologie de workflow), vise à spécifier et expérimenter un modèle de description des tâches et de leur coordination (workflow) adapté à l'environnement réparti du Web. Il s'agit également d'apporter des réponses pertinentes aux besoins de spécification de workflows à travers un environnement auteur de construction de workflow. Cette opération s'appuie sur le logiciel Amaya pour l'édition des documents. Participants : Lionel Villard, Nabil Layaïda. Participation de L. Villard, N. Layaïda au Workshop CEMT, Porto-Alegre, 5 septembre 2001. Accueil de Manuele Kirsch-Pinheiro (UFRGS) depuis le 1er juin 2001.
 

Projet PROTHEO

Commencement en 2001 d'une collaboration franco-brésilienne avec le département de mathématiques appliquées de l'Université Fédérale (UFRN) à Natal. Cette collaboration a pour cadre le développement d'outils pour le domaine des spécifications algébriques. Se fondant sur la complémentarité des connaissances des partenaires français et brésiliens dans les domaines des systèmes de réécriture et des spécifications algébriques, le projet FERUS, labellisé par le CNPq et l'INRIA suite à l'appel d'offres INRIA/PROTEM 2000, se propose de contribuer au développement de la Spécification et Réutilisation de Logiciels. Dans ce contexte, le projet travaille à la mise en oeuvre d'un gestionnaire de bibliothèques de composants logiciels réutilisables. L'objectif est de concevoir un outil générique qui puisse être utilisable aussi bien par le langage fédérateur de spécifications algébrique (CASL) développé par le groupe de travail européen CoFI, auquel participe le projet, que par un langage basé sur la réécriture comme ELAN, qui fournit déjà un outil d'exécution pour un certain sous-langage de CASL. Claude Kirchner a fait une visite d'une semaine à l'université de Natal dans le cadre de la collaboration franco-brésilienne du projet. Anamaria Martins Moreira, de l'UFRN (Natal), a effectué une visite à Nancy dans le cadre du projet franco-brésilien FERUS. Cette première visite a permis de mieux cerner le projet, et l'utilisation de la réécriture comme aide à la généralisation, un concept introduit dans la thèse d'Anamaria Martins Moreira et qui constitue une opération essentielle pour la réutilisation de composants logiciels.
 

Projet SHARP

Dans le cadre du programme de coopération Inria-Brésil, nous avons collaboré jusqu'en 2001 avec l'université de Brazilia sur les thèmes robotique mobile et programmation des robots.
 

Projet SIAMES

Nous venons de démarrer cette année une collaboration avec le professeur Soraia Raupp Musse de l'Université UNISINOS, dans le cadre du programme de coopération franco-brésilien soutenu conjointement par le CNRS et le CNPq. Dans cette coopération, nous souhaitons confronter deux points de vue, sur la modélisation des comportements de groupes de personnes. L'approche développée à UNISINOS consiste à modéliser le comportement de groupe, chargé de contrôler ensuite les comportements individuels, tandis que l'approche développée à l'IRISA consiste à modéliser les comportements collectifs au sein de chaque agent et d'obtenir ainsi des comportements de groupes émergents. Un autre aspect qui va nous intéresser lors de cette coopération concerne l'extension de la notion de groupe à une communauté de pensée, alors qu'aujourd'hui elle concerne principalement une proximité géométrique. Participants : Stéphane Donikian, Romain Thomas. Stéphane Donikian a d'ailleurs effectué un séjour d'une semaine à UNISINOS en octobre et Romain Thomas de trois semaines en décembre 2001. Soraia Raupp Musse effectuera un séjour d'un mois dans notre projet en janvier 2002.
 

Projet SYDOCO

Participation de C. Sagastizábal au III Brazilian Workshop on Continuous Optimization (mars, Florianópolis).

À propos de ce document...

Coopération INRIA-Brésil
Bilan 2001 et Prévisions 2002

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 2 index.tex

The translation was initiated by Pierre Deransart on 2002-07-12