next_inactive up previous


Projets de Coopération INRIA-Brésil


Dossier de Subventions 1995

Pierre Deransart

31 Janvier 1995






Numéros de projets et Thèmes

Projet Thème    
       
1 Projet accord INRIA/CNPq    
2 Méthodes numériques    
3 Psychologie ergonomique    
4 Analyse de données    
5 Bases de données Objet    
6 Systèmes tolérants    
7 Robotique    
8 Programmation par Objets    
9 Programmation en Logique    
10 Optimisation    
11 Systèmes dist. tolérants    
12 Vision    






Plan d'emploi de la subvention demandée pour 1995




La subvention accordée en 1995 se monte à 60 KF. Par ailleurs un poste VSN a été obtenu par le projet 9.




Proj. Thème dem. ret. affecté report  
1 Projet accord INRIA/CNPq rep 0 31  
2 Méthodes numériques 30 20 0  
3 Psychologie ergonomique 76 25 0  
4 Analyse de données rep 0 16  
5 Bases de données Objet 111 40 0  
6 Systèmes tolérants rep 0 15  
7 Robotique 60 25 0  
8 Programmation par Objets 31 29 0  
9 Programmation en Logique rep 0 20  
10 Optimisation 51 24 0  
11 Systèmes dist. tolérants 30 29 0  
12 Vision 35 29 0  
Ttx   334 221 82  

Explications (colonnes):

Bilan global bref et prévisions: (voir détail des actions réalisées ci-après)

Budget Prévisionnel 1995

Actions Brésil

INRIA










Dépenses KF Recettes KF    
Coûts directs et 1123 Fonds propres INRIA 1032    
Coûts indirects          
Missions 130 Subventions MAE 221    
           
Total 1253 Total 1253    













État de la subvention accordée en 1994






Montant: 250 KF accordé en 94 (plus reliquat 93: 125 KF) = 375 KF.

Convention MAE/INRIA





Thème Nom Date Lieu Obtenu Réalisé
1-Projet accord P. Freire Cunha 13/11 au Rocquencourt 36 4363,10
INRIA-CNPq 19/11/94
2-Méth. numériques 75 0
3-Psycho. Ergo L. Scapin 16/05 au Rio 25 17710,63
25/05/94
4-Analyse données E. Carvalho 18/02 au Rocquencourt 22 34904,80
21/03 au
28/08 au Rocquencourt
25/09/94
5-Bases données objets P. Valduriez 06/09 au Rio 85 46074,60
18/09/94
E. Simon 06/09 au Rio
18/09/94
6-Systèmes tolérant 15 0
7-Robotique 15 0
8-Prog. par objets 45 0
9-Prog. en Logique R. Bigonha 11/12 au Rocquencourt 30 9546,20
24/12/94
10-Prog. en Log. d'OS Y. Bekkers 15 0
11-Optimisation F. Bonnans 15/09 au Rio 12 0
22/09/94
Champs de Markov J. Kogler 13/06 au Rocquencourt 0 19802.62
31/08/94
J. Barrera 15/09 au Rocquencourt
16/09/94
Total 375 132401,95



Quelques remarques

État de la subvention accordée en 1993

En 1993 la subvention était de 250 KF et destinée à supporter tous types de frais liés à des actions directes entre les équipes françaises et brésiliennes.




Thème Nom Date Lieu Obtenu Réalisé  
        par projet (KF)  
Analyse données E. Carvalho 21/11 au Rocquencourt 51 42,5  
    13/12/93        
  E. Diday 26/6 au Recife      
    18/7/93        
Méth. num. J. Herkowitz 16/12/93 Rocquencourt 64 27,9  
    21/1/94        
Optimisation C. Gonzaga 01/94 Rocquencourt 16 18,3  
             
Psycho. ergo. D.Scapin 1993 Florianopolis 35 2  
             
Bases données V. Vianu 8-17/8/93 Recife 84 34,9  
  G. Gardarin 6-17/8/93 Recife      
  E. Simon 8-17/8/93 Recife      
  R. Lanzelotte 12-27/8/93 Rocquencourt      
Total       250 125,6  

État de la subvention accordée en 1992

La plupart des missions se sont déroulées en 1993, compte tenu du retard dans l'attribution de la subvention en 1992. En 1992 la subvention était de 100 KF, mais ne couvrait que des missions.




Nom Date Lieu Objectif Montant    
      et thèmes (KF)    
F. De Carvalho 18/08/92 Neuchatel COMPSAT 7,8    
  7/09/92   Analyse données      
P.L. Georges 2-6/8/93 Rio de janeiro Optimisation 11,2    
      (Colloque)      
P. Laug 19/7 au Rio de janeiro Optimisation 16,9    
  6/8/93   (Colloque)      
H.Hallard 16/07 au Rio de janeiro Optimisation 7,5    
  20/8/93   Collab. Franca      
P. Deransart 2-16/8/93 Rio, Recife, BH, visites 29,5    
    BH, Brasilia        
J. Herkowitz 22/03 au Rocquencourt Méth. num. 23    
  1/05/93          
Total       95,9 KF    

Projet 1

Thème

Elaboration d'un contrat cadre de coopération INRIA-CNPq.

Responsables

France:
Pierre Deransart, Directeur de Recherche
INRIA-Rocquencourt
BP 105, F-78153 Le Chesnay Cedex
Tel: +33 1 39635536
Fax: +33 1 39635330
email: deransar@minos.inria.fr



Mr Fréty, Attaché pour la Science et la Technologie,
Ambassade de France, SES Av. das Naçoes, Lote 4,
CEP 70404, Brasilia, DF,
Tel: +55 61 312 9197, Fax: 9202,
email:

Brésil:
Gentil J. de Lucena Filho,
CNPq/DPE/Coordenadoria de Articulação e Inovacão Tecnológica,
Av. W3 Norte, Q.507, Bl.B, Sala 218, 70740-901 Brasilia, DF, Brésil.
Phone: +55 61 2742593,
Fax: +556 1 2738350,
email: gentil@sol.cnpq.br



José Queiroz CCEN, UFPe, Cidade Universitaria
CEP 50739, Recife, Pe
Tel: +55 81 2718430, Fax: +55 81 2710359
email: zeque@di.ufpe.br

Motivations

Le gouvernement brésilien, à travers le CNPq (MCT), met en place une politique de développement stratégique de l'informatique (projet DESI) autour de trois axes principaux:

  1. un réseau national de la recherche (RNP) avec comme objectif l'appui à l'enseignement, la recherche, et le développement technologique (sur l'état du réseau, voir Info-Brésil No 44, Janvier 93),

  2. un programme thématique multi-institutionnel en informatique (ProTem-CC), avec comme objectif de stimuler des actions R&D en informatique et dans ce but de rechercher des coopérations avec d'autres pays,

  3. un projet national de développement de logiciels pour l'exportation (le marché visé semble avant tout nord américain), dans le but d'une meilleure insertion du marché national dans l'économie mondiale.

De son côté le Ministère français (MAE) souhaiterait placer la subvention octroyée à l'INRIA chaque année pour les actions brésil dans un cadre d'action plus global. Le système actuel qui consiste à avoir des parties de missions financées par le ministère français devant être complémentées par le CNPq n'est pas très satisfaisant: il oblige à de nombreuses démarches complémentaires du côté brésilien et n'assure pas un suivi suffisant des actions. Il faut noter néanmoins qu'en pratique le CNPq à la plupart du temps suivi en accordant le voyage aux brésiliens accueillis en France dans le cadre d'un financement français.

Par ailleurs d'autres actions françaises, comme les actions informatiques des projets ``Eurekazinho'', manquent de coordination avec les crédits accordés à l'INRIA.

D'où l'idée, séduisante pour les deux parties, de promouvoir un accord INRIA-CNPq dans lequel l'ensemble des crédits engagés par le MAE et le CNPq seraient pris en compte. Il y aurait lieu de considérer plusieurs types d'actions possibles selon les axes d'action prioritaires définis dans le plan DESI: actions de recherche pure, de R&D, de réalisations de logiciels, avec la possibilité d'associer des filiales INRIA.

Les parties attendraient différent avantages d'un tel accord:

Bilan et actions envisagées

En 1994 l'INRIA et le CNPq ont commencé à étudier la faisabilité d'un tel accord qui a été évoqué lors de la réunion de la commission mixte en Décembre 94. A la même époque le professeur Paulo da Cunha (UFPe et élu au CNPq) a visité l'INRIA, ce qui a permis de mieux cerner le contexte brésilien. La réorganisation du CNPq et de sa politique nouvelle de coopération internationale ralentissent manifestement la concrétisation d'un accord, mais les partenaires brésiliens semblent plutôt optimistes.

Le système actuel a des avantages: simplicité et souplesse, le CNPq répondant assez favorablement aux demandes brésiliennes quand le soutien français existe. Il s'agit aussi d'améliorer la situation (l'accord permettant la réalisation de projets plus ambitieux) et non de les compliquer inutilement.

En 1995 il est prévu une visite de José Queiroz à l'INRIA qui a été chargé de l'étude de l'accord par le CNPq. Une viste de P. Deransart à Recife et Brasilia peut s'avérer nécéssaire.

Moyens demandés

Sigles

CNPq
Conselho National de Pesquisa
DESI
Desenvolvimento Estratégico da Informática
MCT
Ministério de Ciência e Tecnologia
ProTeM-CC
Programa Temático Multiinstitucional em Ciência da Computação
RNP
Rede National de Pesquisa
SoftExpo
Software para Exportação

Projet 2

Thème

Optimisation de Formes Multidisciplinaires sous contraintes...

Responsables

France:
Patrick Le Tallec
INRIA Rocquencourt
BP 105, F-78 153 Le Chesnay Cedex
Tel: +33 1 39635483
Fax: +33 1 39635330
e-mail: Patrick.LeTallec@inria.fr

Brésil:
Jose Herskovits
COPPE
Federal University of Rio de Janeiro
Caixa Postal 68503
21945-970 Rio de Janeiro
Brazil
e-mail: jose@lmc01.com.ufrj.br

Historique et bilan antérieur

La collaboration avec le Professeur Herskovits dure depuis plusieurs années et a permis de mettre au point un algorithme d'optimisation avec contraintes particulièrement adapté à l'optimisation de formes. Cet algorithme a été testé sur différents problèmes modèles et est la base de la thèse de Francisco Baron préparée dans le cadre du projet MENUSIN. On retrouve ce travail à la base des publications suivantes

Actions projetées

Développer un algorithme et un logiciel de point intérieur pour l'optimisation de formes multidisciplinaires. L'aspect multidisciplinaire introduit des contraintes de type varié, que l'algorithme proposé doit pouvoir prendre en compte. On adaptera donc l'algorithme à ce cas et on le testera sur des problèmes d'optimisation de formes aérodynamiques sous contraintes électromagnétiques.

Moyens demandés

Deux mois de sejour de Jose Herskovits en France. 26 KF

Publications

Bibliography

1
Barón L., Francisco J., Pironneau O. ``Optimal design of a brake water'' Proceedings WCCM III

2
Barón L., Francisco J., Périaux J. et Pironneau O. ``Coating and shape optimization for Maxwell-Helmholtz equations'', Proceedings of $5^{th}$ Confernce on CFD".

3
Halard,M. eet Le Tallec P ``Optimization of nonlinear structures and meshes'' Proceedings of $2^{nd}$ Conference on Computational Structures Technology

4
Herskovits J., ``A view on Nonlinear Optimisation''

5
``Etudes d'algorithmes pour l'optimisation de formes aérodynamiques sous contraintes électromagnétiques'' Rapport de contrat CEA-CESTA

6
Barón L., Francisco J., ``Optimizacion de forma con restricciones, en problemas acoplados de ondas y mecanica de fluidos''

Projet 3

Thème

Psychologie ergonomique.

Responsables

France:
Dominique L. Scapin
INRIA-Rocquencourt
BP 105, F-78153 Le Chesnay Cedex
Tel: +33 1 39635507
Fax: +33 1 39635330
email: Dominique.Scapin@inria.fr

Brésil:
Neri dos Santos
UFSC, Centro Technológico, Dpto de Engenharia de Produção de Sistemas
Canpus Universitario, Trinidade
CP 476, Florianopolis, SC
Tel: +55 482 341255
Fax: +55 482 341524

Développement de liens scientifiques, collaboration sur des thèmes spécifiques. Le but de la coopération est de développer des axes de recherche communs dans le domaine de l'ergonomie cognitive, en particulier autour des problématiques de conception et d'évaluation d'interfaces.

Historique et bilan antérieur

Actions projetées

La coopération INRIA/Florianopolis est en passe d'être intensifiée car depuis mai 94, Walter Cybis qui a fait sa thèse dans le projet est maintenant chercheur à l'université et se trouve être la-bàs en mesure de déployer un projet de recherche (Le projet Aladihme (Ambiente Logico de Apoio ao Desenvolvimento de Interfaces Homem-Maquina Ergonomicas) très similaire à un des thèmes du projet Psycho-Ergo: l'ergonomie des interfaces. Cette situation devrait permettre des interactions plus nombreuses, et de former à l'université de nouveaux étudiants pour participer aux travaux de collaboration.

THEME:

Moyens demandés

- pas de publications communes encore, mais 1 conférence publiée de Scapin et 1 de Cybis.

Projet 4

Thème

Analyse de données symboliques, Apprentissage symbolique - numérique, Réseaux Neuronaux, Reconnaissance des Formes.

Responsables

France:
Edwin Diday, Projet CLOREC
INRIA-Rocquencourt, BP 105
F-78153 Le Chesnay Cedex
Tel: +33 1 39635669
Fax: +33 1 39635330
email: diday@icare.inria.fr


Autres Participants


Yves Lechevalier, Projet CLOREC
Tel: +33 1 39635434
email: lecheval@icare.inria.fr

Brésil:

Francisco de A. T. de Carvalho
Universidade Federal Rural de Pernambuco, Departamento de Física e Matemática
Rua Dom Manoel de Medeiros, s/n - Dois Irmãos
52171-900 Recife, Pe, Brésil
Fax: +55 81 4414697
email: fatc@di.ufpe.br


Autres Participants


Edson Carvalho
Universidade Federal de Pernambuco, Departamento de Informática
50739 Recife, Pe, Brésil
Fax: +55 81 2714925
email: edson@di.ufpe.br

Historique et bilan antérieur

La coopération INRIA-UFRPe sur le thème ``Induction symbolique-numérique'' a démarrée avec le séjour de F. de A. T. de Carvalho au sein du Projet CLOREC à l'INRIA, où il a développé ses recherches en Analyse de Données Symboliques et soutenu sa Thèse de Doctorat intitulée ``Méthodes Descriptives en Analyse de Données Symboliques`` à l'Université de Paris IX Dauphine (juillet 1992).

Les sujets de recherches comprennent:

Séjour de E. Diday au sein du Département d'Informatique de l'UFPe (25 Juin à 10 Juillet 1993):

E. Diday a développé les activités suivantes:

  1. Rencontre avec des étudiants de 3ème cycle et des chercheurs d'informatique où il a présenté son approche symbolique en analyse des données, notamment en ce qui concerne les liens avec les base des données et l'apprentissage automatique;

  2. Rencontre avec des étudiants de 3ème cycle et des chercheurs du département de botanique de l'UFRPe sur taxonomie d'objets symboliques;

  3. développement des recherches qu'il mène conjointement avec F. de A. T. de Carvalho sur l'extension des histogrammes d'objets symboliques au cas modal et le développement de testes statistiques de base de connaissances d'objets symboliques;



Séjour de E. Carvalho au sein du projet CLOREC à l'INRIA (novembre 93).

E. Carvalho a fait son Doctorat à l'Université de Kent (Angleterre) où il a développé ses recherches en réseaux neuronaux.

Actuellement, au sein du Doctorat d'Informatique de l'UFPe, il mène ses recherches et encadre des étudiants intéressés par les réseaux neuronaux, l'apprentissage et la reconnaissance de formes.

Son séjour à l'INRIA au sein du projet CLOREC concerne les applications de l'approche réseaux neuronaux à l'analyse des données et les liens entre l'apprentissage symbolique automatique et l'Analyse des Données Symboliques.

Actions réaliées

F. de A. T. de Carvalho a réalisé plusieurs visites au sein du projet CLOREC à l'INRIA.

Pendant son séjour, F. de A. T. Carvalho a développé les recherches qu'il mène conjointement avec E. Diday (histogrammes et indices de proximité) surtout en ce qui concerne une nouvelle approche pour le calcul de la proximité entre objets symboliques basée sur l'extension. Il a participeré aux journées symboliques numériques, organisées par E. Diday et Y. Kodratoff.

Ces actions se poursuivent jusqu'en Février 95.

Projet 5

Thème

Bases de données orientés objets et Optimisation de requêtes.

Responsables

France:
Patrick Valduriez, responsable Projet RODIN
INRIA - Rocquencourt
BP 105 F-78153 - Le Chesnay cedex
Tel: +33 1 39635251
Fax: +33 1 39635330
email: patrickv@sylvia.inria.fr

Brésil:
Rosana Lanzelotte
PUC-Rio - Departamento de Informática
22453-900 Rio de Janeiro - Brésil
Tel: +55 21 2675156
email: rosana@inf.puc-rio.br

Historique et bilan antérieur

Cette demande se situe dans le prolongement d'une coopération fructueuse qui remonte à 1992, année ou Rosana Lanzelotte a commencé a travailler avec le projet Rodin sur l'optimisation de requêtes. En 1994, nous avons organisé un workshop international sur les bases de données avancées à Rio de Janeiro (septembre) auquel ont participé des chercheurs européens et américains. Pour l'INRIA, Eric Simon et Patrick Valduriez ont été conférenciers invités.

Actions projetées

Une nouvelle action sur les bases de données actives et les transactions va être mise en place en 1995, avec l'accueil de Esther Pacitti (doctorant à la PUC) dans le projet Rodin.

Moyens demandés

Les moyens suivants sont demandés:

Publications

Bibliography

1
R.S.G. Lanzelotte, P. Valduriez: ``Extending the Search Strategy in a Query Optimizer'', Barcelona, Spain, 1991.

2
R.S.G. Lanzelotte, P. Valduriez, M. Ziane, J.P. Cheiney: ``Optimization of Nonrecursive Queries in= OODBs'', Munich, Germany, 1991.

3
R.S.G. Lanzelotte, P. Valduriez, M. Zaït: ``Optimization of Object-Oriented Recursive Queries= using Cost-Controlled Strategies'', San Diego, USA, June 1992.

4
R.S.G. Lanzelotte, P. Valduriez, M. Zaït: ``On the Effectiveness of Optimization Search Strategies'', Dublin, Ireland, 1993.

5
R.S.G. Lanzelotte, P. Valduriez, M. Zaït, M. Ziane: ``Industrial-Strength Parallel Query Optimization:= issues and lessons'', papier invité à apparaître en Information Systems, 1994.

Projet 6

Thème

Systèmes tolérant les fautes.

Responsables

France:
Raymond Marie
IRISA /Univ. Rennes I-INRIA, Campus de Beaulieu
F-35042 Rennes Cedex
Tel: +33 99847295
Fax: +33 99383832
email: marie@irisa.fr

Brésil:
Edmundo de Souza e Silva
UFRJ, Nucleo de Computação Eletrónica
CP 2324, CEP 20.001 Rio de Janeiro, Brésil
Fax: (021) 270-8554
email: edmundo@nce.ufrj.br

Thème

Performabilité : nouveaux algorithmes de calcul de métriques (e.g. récompe nse cumulée) sur des chaînes de Markov en régime transitoire. Recherche de bornes pour ces métriques dans le cas de gros systèmes.

Historique et bilan antérieur

Le Prof. E. De Souza a passé une semaine à l'IRISA en juin 1993. Un stage de Magistère a eu lieu pour mettre en oeuvre l'algorithme de calcul de borne proposé par E. De Souza. Faute de temps, le voyage planifié en 94 dans le sens France-Brésil n'a pas encore eu lieu.

Actions projetées

Il s'agit d'abord d'effectuer le voyage remis (après des charges administratives importantes, R. Marie vient d'obtenir un congé de recherche); Préparer l'accueil d'un thésard brésilien dans l'équipe Model à l'Irisa.

Moyens demandés

Reconduction du financement 1994 non utilisé pour une mission au Brésil. 15 KF

Projet 7

Thème

Programmation des Robots et Intelligence Artificielle

Responsables

France:
Emmanuel Mazer
Equipe Sharp (INRIA), LIFIA
46 Avenue Felix Viallet, F-38000 Grenoble
email: Emmanuel.Mazer@lifia.imag.fr

Brésil:
bf Tarcisio Pequeno
LIA/UFC
Laboratorio de Inteligencia Artificial
Departamento de Computacao
Universidade Federal do Ceara
C.P 12166 Fortaleza CE
CEP 60455-760 Brasil
tarcisio@lia.ufc.br

Historique et bilan antérieur

Nous avons participé à la conférence Brésilienne d'Intelligence Artificielle organisée par le LIA/UFC à Fortaleza. Puis nous avons effectué une visite au LIA pour fixer les termes de notre collaboration future.

Actions projetées

  1. Organisation d'un cours de robotique au LIA.
  2. Stage post-doctoral d'un chercheur du LIA dans l'équipe Sharp.
  3. Démarrage d'une activité robotique au sein du LIA par un chercheur Brésilien actuellement en thèse dans l'équipe Sharp.

Moyens demandés

  1. Organisation des cours : il a été convenu que le séjour des organisateurs du cours serait payé par le LIA. La demande porte donc uniquement sur les voyages. Elle concerne deux intervenants qui devront se rendre au LIA deux fois soit 4 voyages.
  2. Stage post-doctoral. Il s'agit de former un chercheur brésilien aux techniques de planification sur des machines parallèles. La demande porte sur une bourse post-doctorale de un an.
  3. Démarrage d'une activité robotique au LIA. Il s'agit d'équiper le LIA avec un logiciel de CAO robotique qui deviendrait commun aux deux équipe.

Total de l'aide demandée : 266 KF

Annexes

Le LIA semble aussi intéressé pour développer une activité de conseil sur des applications industrielles de la robotique dans la région de Ceara. Ceci pourrait faire l'objet d'une collaboration ultérieure.

Projet 8

Thème

Programmation par Objets

Thème

Le thème fédérateur de ce projet est la programmation par objets, notamment les aspects langage et sémantique, système et parallélisme.

Les partenaires brésiliens ont développé une extension objet du langage de spécification Z appelée MooZ; ils lui donnent maintenant une sémantique formelle (statique et dynamique) fondée sur la sémantique relationnelle [4] et le pi-calcul. Au delà de la sémantique de MooZ, c'est plus généralement les fondations de la sémantique des langages à objets qui sont étudiés.

Les partenaires français ont développé une extension parallèle du langage Eiffel appelée Eiffel// [3]; ils ont tout d'abord défini formellement la sémantique dynamique du langage Eiffel à l'aide de la sémantique naturelle [1,2]. Ils développent maintenant une sémantique formelle pour le langage Eiffel// utilisant la sémantique naturelle et le pi-calcul.

Les concepts, les techniques et les outils communs aux partenaires français et brésiliens sont donc les langages à objets, la sémantique naturelle, et le pi-calcul. Le système Centaur, environnement de programmation générique, est utilisé par les partenaires brésiliens et français comme outil sémantique d'expérimentation et de développement.

Responsables

France:
Isabelle Attali
INRIA Sophia Antipolis
2004 Route des Lucioles
BP 93, F-06902 Sophia Antipolis Cedex
e-mail: Isabelle.Attali@sophia.inria.fr

Brésil:
Prof. Fabio Q. B. da Silva
Departamento de Informatica
Universidade Federal de Pernambuco
CP 7851 - Cidade Universitaria
CEP 50732-970 - Recife - PE
Brasil
e-mail: fabio@di.ufpe.br

Historique et bilan antérieur

Ce projet est un nouveau projet, donc les résultats antérieurs sont des résultats obtenus unilatéralement par les deux partenaires (voir bibliographie ci-jointe). Cependant, des contacts réguliers sont établis depuis quelques semaines, ce qui nous a permis de dégager les axes de notre collaboration future.

Actions projetées

Le but est tout d'abord d'établir des collaborations techniques précises et des relations durables entre les partenaires. Dans un premier temps, des techniques, méthodes et outils communs seront donc répertoriés; puis, dans un second temps, il sera possible d'échanger les définitions sémantiques existantes relatives aux langages étudiés. Cela semble possible puisque l'outil de base utilisé par les partenaires est le système Centaur. Ceci permettra ensuite de réaliser ensemble la formalisation de concepts d'interêt commun (sémantiques statique et dynamique pour les langages à objets). Enfin, grâce à l'architecture distribuée du système Centaur et à la modularité des définitions sémantiques, il sera envisageable d'intégrer ces spécifications afin de réaliser une plateforme commune d'étude et d'expérimentation sémantiques.

Moyens demandés (1995)

Bibliography

1
Attali I., Caromel D., Oudshoorn M. ``A Formal Definition of the Dynamics Semantics of the Eiffel Language", Rapport I3S 92.52, proc. of ACSC'93, Fev 1993, Brisbane, Australie.

2
Attali I., Caromel D., Ehmety S. O. ``A Natural Semantics for Eiffel Dynamic Binding" submitted to publication.

3
Caromel D., ``Towards a Method of Object-Oriented Concurrent Programming", Communications of the ACM, Volume 36, Number 9, 1993.

4
Da Silva F., ``Correctness Proofs of Compilers and Debuggers: an Approach Based on Structural Operational Semantics", PhD Thesis, University of Edinburgh, Scotland, July, 1992. Published as Report Series ECS-LFCS-92-241 or CST-95-92.

5
Da Silva F., ``Correctness Proofs of Compilers and Debuggers in the Design of Programming Environments (abstract)", IFIP World Computer Congress'92 (Poster Session), Madrid, Spain, September, 1992.

6
Da Silva F., ``On Observational Equivalence and Compiler Correctness", Proceedings VI International Conference on Computing and Information, Trent University, Peterborough, Ontario, Canada, May, 1994.

7
Da Silva F., ``Review of The Clausal Theory of Types", Journal of Logic and Computation, vol. 5, num. 2, april, 1995. To appear.

Projet 9

Thème

Programmation textuelle en logique.

Responsables

France:
Pierre Deransart, Directeur de Recherche
INRIA-Rocquencourt
BP 105, F-78153 Le Chesnay Cedex
Tel: +33 1 39635536
Fax: +33 1 39635330
email: deransar@minos.inria.fr

Brésil:
Roberto R. Bigonha, Professeur
UFMG-DCC
CP 702
CEP 30161 Belo Horizonte, MG, Brésil
email: bigonha@dcc.ufmg.br

Historique et bilan

La programmation en logique utilise essentiellement des axiomes, mais la pratique montre que des commentaires sont nécéssaires pour une bonne compréhension des programmes. Par ailleurs l'idée de programmation comme un texte à été introduite par Knuth dans le cadre de la programmation algorithmique (système WEB), mais rien n'a encore été fait de semblable pour la programmation en logique.

L'UFMG a développé un système semblable à WEB pour la sémantique dénotationelle, appliquant de ce fait l'approche de Knuth à la programmation fonctionnelle avec modules.

L'INRIA a développé une approche de la programmation en logique basée sur l'écriture simultannée de clauses et de commentaires, développés de manière purement textuelle sans système particulier.

Le but de la collaboration est de développer un système expérimental dans lequel un programme (suite de clauses) est developpé en même temps que les commentaires de manière interactive; suite á quoi le système permet de produire un texte documenté (introduction, clauses avec commentaires et références, et index).

Le projet a démarré en 94 avec la visite de R. Bigonha en Décembre. Il se poursuit en 95 avec un VSN, Patrick Parot, chez R. Bigonha de Février 95 à Mai 1996.

Moyens demandés

Projet 10

Thème

Optimisation

Responsables

France:
J. Frédéric Bonnans Projet PROMATH
INRIA Rocquencourt
BP 105, F-78153 Le Chesnay cedex
Tel: +33 39635557
Fax: +33 39635330
Joseph.Bonnans@inria.fr

Brésil:
Clovis Caesar Gonzaga
COPPE - Federal University of Rio de Janeiro
Department of Systems Engineering and Computer Science
Caixa Postal 68511
21945 Rio de Janeiro, RJ
Brazil

Telephone 55-21-2904540     fax 55-21-2906626
gonzaga@dutiosa.twi.tudelft.nl

Thème

Notre collaboration porte sur les algorithmes de points intérieurs en optimisation linéaire et non linéaire.

Historique et bilan antérieur

C. Gonzaga a passé 9 mois à l'INRIA, de septembre 92 à juin 93, puis est revenu pour des périodes plus courtes (moins de 2 mois au total). F. Bonnans a passé une semaine à Rio en septembre 1994.

Cette collaboration a permis de faire décoller la recherche sur ce domaine à l'INRIA. L'article [1], accepté dans une revue de premier rang, a déjà retenu l'attention des spécialistes en donnant des outils généraux pour l'étude de la convergence de ces méthodes. Dans [2], on montre que la méthode de Newton simplifiée permet, dans le cadre des algorithmes de plus grand pas, une convergence surquadratique.

Actions projetées

Les axes de recherche future portent sur

(i) l'étude des algorithmes non réalisables,

(ii) l'extension aux problèmes non linéaires.

Moyens demandés

Bibliography

1
J.F. Bonnans, C.C. Gonzaga ``Convergence of interior point algorithms for the monotone linear complementarity problem'', (1993) Mathematics of Operations Research'', à paraître.

2
J.F. Bonnans, C.C. Gonzaga (1994), Fast convergence of the simplified largest step path following algorithm. En préparation.

Remarque. les résultats ont aussi donné lieu à des communications dans les principales conférences sur l'optimisation: EURO XIII/OR 36, Glasgow, 19-22 juillet 1994, et 15th Int. Symp. Math. Programming, Ann Arbor, 15-19 août 1994.

Projet 11

Thème

Systèmes Distribués Temps Réel et Tolérants aux Fautes (SD_TR_TF)

Responsables

France:
Gérard Le Lann
INRIA-Rocquencourt
BP 105, F-78153 Le Chesnay cedex
Tel: +33 39635364
Fax: +33 39635330
e-mail: Gerard.Le-Lann@inria.fr

Brésil:
Prof. J.M. Farines
LCMI/EEL/UFSC
88040-900- Florianopolis
SC Brasil
e-mail: farines@lcmi.ufsc.br

Historique et bilan antérieur

Actions projetées

Moyens demandés

Projet 12

Thème

Champs de Markov multi-échelle en vision par ordinateur

Responsables

France:
Josiane Zerubia
INRIA Sophia-Antipolis
2004 Route des Lucioles
BP 93, F-06902 Sophia Antipolis Cedex
e-mail: zerubia@sophia.inria.fr

Brésil:
Marcio Rillo
Université de Sao-Paulo DEE/LSI
Av. Prof. L. Gualberto, 158, trav. 3
05508 Sao Paulo, SP, Bresil
e-mail: rillo@lsi.usp.br

Historique et bilan antérieur

Cette coopération a été lancée en 93, mais n'a pu être réalisée en pratique qu'en 94.

Le but de cette coopération est d'utiliser les connaissances acquises par les deux groupes en modélisation Markovienne multi-échelle afin de proposer un algorithme de classification d'image efficace. Le groupe Brésilien a déjà travaillé sur ce problème avec des techniques liées a la physique statistique (champs moyens, renormalisation) en collaboration avec le laboratoire de recherche de Siemens à Princeton (avec Davi Geiger). Le groupe Français a également étudié les techniques de champs moyens (avec le même laboratoire à Princeton) et travaille depuis environ deux ans sur les problèmes multi-échelle avec une approche champs de Markov hiérarchique (plusieurs papiers et rapports de recherche INRIA ont été publiés entre 92 et 94 dans ces domaines).
Josiane Zerubia, du projet Pastis de l'INRIA Sophia Antipolis, a fait un séjour de 10 jours a l'Université de Sao Paulo en Février 94 pour travailler avec Joao Kogler et faire une série de séminaires (10h en tout) pour les étudiants en thèse de l'Université de Sao Paulo sur la modélisation statistique en traitement d'image.

Joao Kogler, du laboratoire d'IA et de Vision de l'Université de Sao Paulo, est venu passer 10 semaines à l'INRIA du 15 Juin au 31 Août 94 où il a travaillé avec J. Zerubia et donné un séminaire.

Junior Barrera, du laboratoire d'Informatique et Mathématique Appliquée de l'Université de Sao Paulo, est venu 2 jours a l'INRIA en Septembre 94. Il a donné un séminaire et visité les 3 laboratoires de vision : ROBOTVIS, EPIDAURE et PASTIS.

Actions projetées

Nous souhaitons continuer notre collaboration avec l'Université de Sao Paulo en 95 sur le même sujet. Il s'agira de tester l'algorithme developpé en 94 sur des images synthétiques et sur des images réelles (en particulier images satellitaires SPOT et LANDSAT).

De plus, lors du séjour de J. Zerubia à Sao Paulo des contacts ont été établis avec J. Torreao de l'Université de Récife qui travaille également sur des champs markoviens en vision par ordinateur et avec des chercheurs de Rio travaillant sur des images satellitaires.

En 95, nous plannifions une visite d'un mois et demi de Joao Kogler à l'INRIA ainsi qu'une visite d'un mois , en Août 95, de Josiane Zerubia à Sao Paulo. Josiane Zerubia sera rapporteur et membre du Jury de Thèse de Joao Kogler et visitera également les labos de Rio et Récife.

Moyens demandés

Du Côte Français :

Total demandé : 35 KF

Du Côte Brésilien (CNPq) :

Total demandé : 33 KF

Publications

La rédaction d'un rapport de recherche commun INRIA/USP est en cours.

About this document ...

Projets de Coopération INRIA-Brésil


Dossier de Subventions 1995

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 dossier.tex

The translation was initiated by Pierre Deransart on 2009-02-05

next_inactive up previous
Pierre Deransart 2009-02-05