Pierre Deransart
16 Février 1998
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.
| Projet | Thème | Resp. INRIA |
| 1 | Accord INRIA/CNPq | Deransart |
2 |
Communication mobile | Ferreira |
| 3 | Psychologie ergonomique | Scapin |
| 4 | Classification | Lechevallier |
| 5 | Bases de données Objet | Simon |
| 6 | Systèmes tolérants | Marie |
| 7 | Robotique | Mazer |
| 8 | Programmation par Objets | Attali |
| 9 | Hyper-documentation pour la PLC | Ed-Dbali |
| 10 |
Optimisation convexe | Lemaréchal |
| 11 | CLP et parallelisme | Codognet |
| 12 |
Optimisation (Energie, Transport) | Fortin |
| Proj. | Thème | demandé | affecté | |
| 1 | Projet accord INRIA/CNPq | 20 | 7 | |
| 2 | Communication mobile | 30 | 14 | |
| 3 | Psychologie ergonomique | 53 | 24 | |
| 4 | Classification | 26 | 14 | |
| 5 | Bases de données Objet | 58 | 22 | |
| 6 | Systèmes tolérants | 28 | 15 | |
| 7 | Robotique | 100 | 19 | |
| 8 | Programmation par Objets | 36 | 17 | |
| 9 | Hyper-documentation pour la PLC | 34 | 16 | |
| 10 | Optimisation convexe | 25 | 15 | |
| 11 | CLP et parallelisme | 27 | 14 | |
| 12 | Optimisation (Energie, Transport) | 50 | 23 | |
| Ttx | 489 | 200 |
Explications (colonnes):
| Dépenses | KF | Recettes | KF | Dépenses | KF |
| INRIA | Brésil | ||||
| Coûts directs | 4628 | Fonds propres | 4700 | ||
| et indirects | INRIA | ||||
| collaborations | |||||
| Invit. spéc. br. | 160 | Subventions | 200 | Invit. spéc. fr. | 140 |
| Voy. spéc. fr. | 112 | MAE | Voy. spéc. br. | 240 | |
| Total | 4900 | Total | 4900 | 360 |
| Thème | Nom | Date | Lieu | AP | Réalisé | |
| 1-INRIA-CNPq | 15 | |||||
| 2-Méth. numériques | ||||||
| 3-Psycho. Ergonomique | 25 | |||||
| 4-Analyse de données | Csernel | 3-20/1 | Recife | 17 | 5,8 | |
| Csernel | 3-20/7 | Recife | 17 | |||
| 5-Bases de données | Pacitti | 20/12-9/1/98 | Rio | 22,8 | ||
| Pacitti | 1/12/96-1/1 | Rocq. | 25 | 8 | ||
| 6-Systèmes tolérant | De Sousa | 6/11-11/6 | Rennes | 18 | 1,9 | |
| 7-Robotique | Mazer | 9-24/3 | Porto Alegre | 13,6 | ||
| Bessiere | 9-24/3 | Porto Alegre | 13,6 | |||
| Laugier | 9-24/3 | Porto Alegre | 13,6 | |||
| Proj. SHARP | 1/97 | 3 miss. Brésil | 22 | 40 | ||
| 8-Prog. par objets | Ehmety | 11/97 | Recife | 18 | 10 | |
| 9-Prog. en Logique | P. Deransart | 7-21/12 | Belo Horizonte | 9,6 | ||
| A. Ed-Dbali | 7-21/12 | Belo Horizonte | 9,3 | |||
| R. Bighona | 17-31/1 | Rocq | 8,7 | |||
| M. Bighona | 17-31/1 | Rocq. | 8,7 | |||
| J. de Siqueira | missions France | 24 | 3 | |||
| 10-Optimisation | C. Gonzaga | 1-14/09 | Rocq. | 23 | 15 | |
| 11-Systémes distribués | ||||||
| 12-Champs de Markov | M. Solodov | 15/7-15/8 | Rocq. | 11,2 | ||
| Sagastizabal | 1/3-2/4 | Rio | 5,8 | |||
| Sagastizabal | 28/9 | Rio | 17 | 5,8 | ||
| 13-CLP et parallelisme | 16 | |||||
| Total | 220 | 213,4 |
| Thème | Nom | Date | Lieu | AP | Réalisé | |
| 1 | 15 | 0 | ||||
| 2 | J. Herskovits | 13/09 au 12/10 | Rocq. | 30 | 13,1 | |
| Duarte | 13/09 au 30/09 | Rocq. | 10,2 | |||
| Rochinha | 10/09 au 17/09 | Rocq. | 3,7 | |||
| 3 | Scapin | 21/02 au 02/03 | Florianopolis | 35 | 18,5 | |
| 4 | De Carvalho | 01/09 au 30/09 | Rocq | 20 | 18,1 | |
| 5 | Simon | 01/09 au 09/12 | Rio | 30 | 14,2 | |
| E. Pacitti | 17/12 au 05/01/96 | Rocquencourt | 40 | 20,5 | ||
| 6 | 10 | 0 | ||||
| 7 | Balaniuk | 06/12 au 30/12 | Rocq | 35 | 7,3 | |
| 8 | 25 | 0 | ||||
| 9 | P. Deransart | 19/02 au 23/03 | Belo Horizonte | 30 | 33,3 | |
| C. Geyer | 08/09 au 22/09 | Rocq. | 8,7 | |||
| 10 | 18 | 0 | ||||
| 11 | 30 | 0 | ||||
| 12 | Burachik | 15/09 au 03/09 | Rocq. | 25 | 12,1 | |
| Svaiter | 15/09 au 05/10 | Rocq. | 8,1 | |||
| Sagastizabal | 01/03 au 02/04 | Rio | 7,3 | |||
| Total | 303 | 175,1 |
| Thème | Nom | Date | Lieu | AP | Réalisé |
| 1 | P. Deransart | 22/07 au 29/07 | Brasilia | 31 | 15,3 |
| J. de Queiroz | 16/02 au 23/02 | Rocquencourt | |||
| 2 | J. Herskovits | 03/02 au 08/03 | 20 | 28,6 | |
| 24/05 au 06/07 | Rocquencourt | ||||
| 3 | W. Cybis | 12/09 au 28/09 | Rocquencourt | 25 | 10,8 |
| 4 | F. de Carvalho | 26/01 au 24/02 | Rocquencourt | 16 | 18,7 |
| 5 | 40 | ||||
| 6 | R. Marie | 01/96 | Rio | 15 | 0 |
| 7 | E. Mazer | 08/12 au 30/12 | Sao Polo | 25 | 18,1 |
| 8 | I. Attali | 23/07 au 03/09 | Rio | 29 | 36,6 |
| Brasilia | |||||
| D. Caromel | 23/07 au 03/09 | Recife | |||
| 9 | P. Deransart | 29/07 au14/08 | Canela | 20 | 23 |
| Belo Horizonte | |||||
| F. Rouaix | 15/06 au 26/06 | Belo Horizonte | |||
| J. Siqueira | 08/10 au 28/10 | Rocquencourt | |||
| 10 | C. Gonzaga | 15/05 au 15/07 | Rocquencourt | 24 | 24 |
| 11 | G. Le Lann | 16/05 au 26/05 | Florianopolis | 29 | 4,9 |
| M. Stemmer | 13/11 au 19/11 | Rocquencourt | |||
| 12 | 29 | 0 | |||
| Total | 303 | 180 |
| Thème | Nom | Date | Lieu | AP | Réalisé | |
| 1 | P. Freire Cunha | 13/11 au 19/11/94 | Rocquencourt | 36 | 4,3 | |
| 2 | 75 | 0 | ||||
| 3 | L. Scapin | 16/05 au 25/05/94 | Rio | 25 | 17,7 | |
| 4 | E. Carvalho | 18/02 au 21/03 | Rocquencourt | 22 | 34,9 | |
| et 28/08 au 25/09 | Rocquencourt | |||||
| 5 | P. Valduriez | 06/09 au 18/09 | Rio | 85 | 46 | |
| E. Simon | 06/09 au 18/09 | Rio | ||||
| 6 | 15 | 0 | ||||
| 7-Robotique | 15 | 0 | ||||
| 8 | 45 | 0 | ||||
| 9 | R. Bigonha | 11/12 au 24/12 | Rocquencourt | 30 | 9,5 | |
| 10 | Y. Bekkers | 15 | 0 | |||
| 11 | F. Bonnans | 15/09 au 22/09 | Rio | 12 | 0 | |
| 12 | J. Kogler | 13/06 au 31/08 | Rocquencourt | 0 | 19,8 | |
| J. Barrera | et 15/09 au 16/09 | Rocquencourt | ||||
| Total | 375 | 132,2 |
uvre de la convention de coopération INRIA-CNPq.
Patricia Morgantti,
CNPq/SCI
+55 61 348 9430, 37,
email: Patricia_Morgantti@sirius.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
La convention INRIA-CNPq a été signée le 28 Novembre 1997 à Paris. Il s'agit
donc de la mettre en uvre.
Conformément à ce qui est prévu dans l'accord une commission paritaire doit être constituée afin de préparer un appel d'offre.
La révolution des technologies sans-fil et mobiles apporte des changements fondamentaux aux télécommunications. De nombreux systèmes utilisant ces approches sont déjà amplement utilisés aujourd'hui, telles les télécommandes de toutes sortes et la télévision par satellite.
Parmi ces systèmes, la radio-téléphonie mobile est le secteur des télécommunications qui connaît la plus grande expansion à l'heure actuelle au niveau international. Qui plus est, de nouveaux réseaux à plus grande échelle sont en train de voir le jour, et en particulier ceux basés sur les constellations de satellites à orbites basse (LEO's pour Low Earth Orbit) comme Globalstar (France Telecom, Alcatel, etc.) et Iridium (Motorola et autres). Ces projets font appel à la fois aux techniques d'analyse de missions spatiales que maîtrise aujourd'hui la France, et aux techniques de réseaux mobiles. Ces techniques en plein développement pour les réseaux terrestres seront utilisées demain dans le domaine spatial.
Ceci est une proposition d'un nouveau projet, puisqu'il semble donc indispensable que nous acquerrions les connaissances théoriques et les outils permettant de dimensionner et utiliser ces systèmes, afin de préparer l'accès aux technologies des télécommunications spatiales de demain. Nous nous proposons à étudier des problèmes d'allocation de ressources et de gestion de la mobilité dans ces réseaux.
Les deux équipes ont noué des contacts lors du Colloque Dial M for Mobility qu'Afonso Ferreira a organisé à Budapest lors de la Conférence MobiCom'97, où L. Floriani, étudiant de l'équipe du Professeur Mateus, a présenté un article. Depuis, nous avons échangé nombre de messages par Internet, principalement sur les problèmes liés au routage et au déploiement des bases de relais des réseaux cellulaires.
Un point très important dans le cadre de cette action est l'ouverture prochaine du marché des télécommunications mobiles au Brésil, ce qui engendra de nombreuses questions sur l'allocation de ressources et les stratégies de routage et handover pour la radio-téléphonie cellulaire et satellitaire.
La coopération entre les deux partenaires passera bien entendu par la définition exacte des problèmes à traiter, lors de la première réunion de travail. Pour cela, les collaborations industrielles des deux parties joueront un rôle majeur. Il conviendra ainsi, dans un premier temps, de faire une analyse détaillée de l'état de l'art des différents problèmes auxquels cette action veut apporter une réponse. Il faudra également se consacrer à l'élaboration d'une culture commune dans les différents domaines scientifiques (algorithmique, probabilités, télécommunications, recherche opérationnelle, traitement du signal) auxquels il va être nécessaire de faire appel dans le cadre de cette action. Pour cela, nous organisons déjà au sein du projet SLOOP un groupe de travail hebdomadaire sur les communications mobiles, avec la participation de chercheurs des projets MISTRAL et RODEO. Enfin, nous profiterons des séjours chez notre partenaire pour faire une série d'exposés pour diffuser notre savoir-faire.
Nous demandons un budget pour couvrir une partie des frais de deux missions d'une semaine de chaque partenaire, c'est-à-dire, l'équivalent à 50 kF. Le restant sera couvert par le budget SLOOP du côté français et par la FAPEMIG, la CAPES et le CNPq du côté brésilien. Ensuite, nous envisageons la co-tutelle d'une thèse du type ``sandwich'' d'un étudiant brésilien.
OBJECTIFS: 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. Thèmes de travail en collaboration:
- revue bibliographique et recueil de recommandations pour la conception d'interfaces à partir des tâches; étude de la conception graphique d'interface (évolution du "dessin" d'interface)
- coordination de l'évaluation ergonomique en intégrant à chacun des critères ergonomiques des stratégies basées sur des modèles spécifiques d'objets d'interfaces.
- collaboration sur des méthodes d'évaluation de la qualité ergonomique des interfaces Web, notamment pour des pages d'informations scientifiques et technologiques.
En 97 les collaborations se sont illustrées par :
Côté INRIA
En analyse des données la relation entre une observation et une variable ou un descripteur est évaluée par une valeur unique. Mais dans certaines applications réelles, ces relations sont représentées par des intervalles ou des ensembles de valeurs pouvant inclure des contraintes. De telles données complexes se trouvent dans des bases de données concernant différents domaines (biologie, médecine, marketing, etc) et peuvent généralement se représenter sous forme d'objets symboliques booléens.
Les mesures de proximités jouent un rôle important en analyse exploratoire des données car de nombreuses techniques de classification utilisent les matrices de proximités pour évaluer la ressemblance entre les objets à classer. Usuellement, pour calculer la proximité entre une paire d'objets, on utilise pour chaque variable une fonction de comparaison et puis une fonction d'agrégation. Le rôle de la fonction d'agrégation est d'intégrer toutes les valeurs obtenues à partir de des fonctions de comparaison et de créer une mesure de proximité globale entre deux objets.
Lors du calcul de la proximité entre les objets assertion booléens il est nécessaire de tenir compte à la fois de la variabilité, exprimée comme une disjonction de valeurs relatives à une variable, et de la connaissance du domaine, exprimée sous la forme de dépendances entre variables. Nous prenons en compte deux types de dépendances: les dépendances hiérarchiques et les dépendances logiques. Les dépendances s'expriment par des règles et représentent les contraintes engendrées par les variables sur l'espace de description des objets.
Une première approche, utilisant une fonction de comparaison et une fonction d'agrégation, a été proposée par De Carvalho (1994). Dans cette approche la fonction de comparaison utilise l'union et l'intersection symboliques, elle s'est inspirée des indices usuels traitant les tableaux binaires. La fonction d'agrégation est basée sur la métrique de Minkowsky. La prise en compte des dépendances logiques entre variables lors du calcul de la proximité entre une paire d'objets symboliques utilise une mesure positive, appelée potentiel de description, associée à chaque variable (De Carvalho (1992)).
En 1997 la coopération entre Marc Csernel et F.A.T. De Carvalho s'est développée dans deux directions :
variables et exponentiel en fonction du nombre de règles. La mise sous la Forme Normal Symbolique (NBF) des description donne une solution à ce problème. Cette année nous avons travaillé sur les deux thèmes suivants :
Csernel, M. (1997):
Normalization of symbolic object.
In: Proceedings of the Indo - French Seminar on Symbolic Data
Analysis and its Applications, Diday, E. and Gowda, K. C. (eds.), 23 to 25
Septembre, Paris Dauphine University, France.
De Carvalho, F.A.T. (1997):
Clustering of constrained symbolic objects based on dissimilarity
functions. In: Proceedings of the Indo - French Seminar on Symbolic Data
Analysis and its Applications, Diday, E. and Gowda, K. C. (eds.), 23 to 25
Septembre, Paris Dauphine University, France.
Csernel, M. and De Carvalho, F.A.T. (1997):
Normal Symbolic Form. In: Proceedings of the VIII International
Symposium on Applied Stochastic Models and Data Analysis, Lauro, C.N. and
Janssen, J. (eds.), june, 85-90, Naples University, Italy.
De Carvalho, F.A.T. (1997):
Extension based proximities between constrained Boolean symbolic
objects. In: Data Science, Classification and Related Methods, Hayshi, C.
et al (eds.), Springer-Verlag, Tokyo, Japan. (accepted to be published)
Csernel M. et De Carvalho, F.A.T. (1997):
Towards a Normal Symbolic Form.
In: Data Science, Classification and Related Methods, Hayshi, C.
et al (eds.), Springer-Verlag, Tokyo, Japan. (accepted to be published)
De Carvalho, F. A. T. et Diday, E. (1997): 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. (accepted
to be published)
De Carvalho, F. A. T.(1994) Proximity coefficients between Boolean symbolic
objects. In: New Approaches in Classification and Data Analysis, Diday,
E. et al. (eds), 387 - 394, Springer - Verlag, Heidelberg, 1994
Ichino, M. and Yaguchi, H. (1994) General Minkowsky metrics for mixed features type
data analysis. IEEE Transaction on System, Man and Cybernetics, 24, 698 - 708,
1994.
Gestion de Réplicats dans des Systèmes de Bases de Données Réparties avec Réplication Asynchrone.
Cette demande se situe dans une nouvelle étape de coopération fructueuse qui remonte a 1992, année où Prof. Rosana Lanzelotte a commencé à travailler avec le projet Rodin sur l'optimisation de requêtes dans cadre se son post-doctorat.
En juin 1995, Esther Pacitti (thésarde de PUC-RIO et boursière du CNPq) a commencé la première partie de son travail de recherche dans le projet Rodin sur le problème du controle de cohérence des données dans des systèmes de bases de données distribués avec réplication asynchrone des données. L'objectif de la première partie de la recherche a été de réaliser une revue bibliographique des protocoles asynchrones, des data warehouse, des contraintes d'integrité distribuées, des vues matérialisées, qui ont donné lieu à deux rapport internes de recherche, et une présentation à PUC (1/96). A cette occasion, les premières idées d'un nouveau projet franco-brésilen ont été discutées avec prof. Rubens de Melo.
Dans la deuxième partie du travail de recherche (6/96 - 12/97), on a proposé une nouvelle strategie de propagation des mises à jour de données répliquées qui a des applications potentielles dans le raffraichissement des entrepôts de données (data warehouses). Pour construire un entrepôt de données, on est souvent amené à copier des données (appelées réplicats) provenant de plusieurs sources de données, puis à les recomposer dans une base de données particulière sur le site de l'entrepôt. Cet entrepôt doit servir à répondre à des requêtes décisionnelles tout en garantissant des contraintes de fraicheur, c.à.d. que les données de l'entrepôt diffèrent des données initiales dans des limites spécifiées à l'avance. Nous avons développé de nouvelles méthodes de propagation des mises à jour des sources vers les copies secondaires qui augmentent la fraicheur des données lorque les transactions sont longues ou peu denses. L'idée consiste à commencer la propagation des modifications des que la transaction de modification débute, c'est à dire sans attendre la validation de cette transaction. Le comportement de nos méthodes a été comparé aux méthodes existantes de gestion des réplicats à l'aide d'un simulateur construit au dessus du SGBD Oracle. Nos résultats ont donné lieu à un article soumis à publication à ICDCS'98 (Int. Conf. on Distributed Computing Systems) et à une présentation lors d'un workshop international sur l'intégration de données organisé en novembre 97 en Israel. Comme nous supposons que les modifications sont propagées sous la forme d'instructions de modification, Une présentation des résultats a également été effectuée en Décembre 1996 à Rio où une réunion d'un jury franco-bresilien composé de Eric Simon, Prof Rubens Melo, Prof. Rosana Lanzellote et Prof. Sergio Lifschit, a avalisé les orientations du travail de recherche d'Esther Pacitti. Enfin, une présentation récente des travaux a eu lieu à Rio en Décembre 1997.
Dans la directe continuité de ce travail nous voulons nous focaliser sur des applications data warehouse ayant des contraintes temps réels comme les systèmes d'échanges de devises. Par exemple, deux courtiers peuvent être placés à Paris et Rio et un autre courtier à New-York peut surveiller les taux d'échange en s'interessant à des évènements particuliers à l'aide d'un entrepôt de données. Un des problèmes de ces applications est que l'ordre dans lequel arrivent les mises à jour sur l'entrepôt peut ne pas correspondre à l'ordre réel dans lequel ces mises à jour se sont produites dans les systèmes source. Par conséquent, des états incohérents peuvent être observés et conduire à de mauvaises prises de décision. Notre idée est de proposer une notion de qualité de service pour les réplicats d'un entrepôt. Une qualité de service spécifie une mesure de sureté et de garantie de temps exigée par l'utilisateur lorsqu'il lit des réplicats. Des réplicats sont dans état sûr s'ils réflètent l'ordre chronologique dans lequel les mises à jour ont été validées sur les copies primaires. La garantie de temps indique l'age d'un réplica. Par exemple, un utilisateur peut vouloir lire un réplica sûr qui a au plus 2 minutes d'ancienneté. Au cours de la prochaine période de travail (01/98 - 12/98), nous voulons définir formellement cette notion de qualité de service et proposer des algorithmes robustes capables de garantir la qualité de service des réplicats. Ces algorithmes seront validés expérimentalement. Ce travail s'effectuera en collaboration avec Dennis Shasha, Professeur à l'Université de New-York.
Les moyens suivants sont demandés:
Lors de la visite de R. Carmo et de E. de Souza à l'Irisa durant deux
semaines en octobre 1996, nous avions travaillé sur une approche
originale de l'uniformisation [1]. La méthode sur laquelle repose le
travail approche les probabilités d'état à l'instant 
par
les probabilités d'état calculées à un instant aléatoire
distribué selon une loi d'Erlang. La méthode d'origine nécessite
l'inversion d'une matrice qui fait perdre les structures spéciales
telles que celles des matrices creuses ou des matrices bandes. Ce qui
interdit l'usage de l'usage de la méthode d'origine pour les grands
espaces d'état. Notre approche fournit des solutions efficaces qui
conservent les avantages des structures particulières. Au cours de
1997, nous avons utilisé la méthode sur deux applications
conséquentes : un modèle du protocole TCP/IP au dessus d'ATM et
un modèle de système de type pooling. Les résultats sont
très bons, tout particulièrement lorsque les systèmes sont
raides ; un manuscrit a été soumis pour publication.
Lors de leur visite à l'Irisa en juin 1997 (après avoir participé
aux conférences TOOLS'97 et PNPM'97 organisées à Saint
Malo par l'équipe), R. Carmo et E. de Souza ont commencé à
travailler avec R. Marie sur une généralisation des idées
précédentes pour le cas de processus régénératifs.
Signalons aussi la présence en tant que rapporteur du professeur E. de Souza dans le jury de la thèse de S. Mahévas, dont la soutenance est prévue à Rennes le 18 décembre 1997.
10 KF pour participer aux frais du chercheur invité à Rennes et
18 KF pour une mission au Brésil.
Pour l'action de 1998 nous demandons 100 KF soit 4 missions de spécialiste et 10 jours de visite pour un invité.
Nous avons déposé deux projets CAPES/COFECUB: L'un directement par l'INRIA (sur les véhicules autonomes) et l'autre comme partenaire d'un
autre projet avec le laboratoire Leibniz et l'université de Porto Alegre (plus orienté Intelligence Artificielle).
R. Balaniuck, Mazer. Robot calibration through functional identification Joint Conference on advanced Robotics, 1997 Brasilia Brésil.
R. Balaniuck, E. Mazer. Functional identification : International Symposium on robotics systems, 1997 Grenoble France.
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 [12] 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// [10]; 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 [3], le pi-calcul [18,9], et TLA [17,4].
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.
Le projet a demarré en 1995 avec la visite de Isabelle Attali et Denis Caromel à Recife (Université Fédérale du Pernambuco) pendant 3 semaines, Août 95.
Centaur a été utilisé pour spécifier plusieurs langages (Eiffel, CML, CORBA, ...) par action semantics.
En plus des discussions quotidiennes avec des chercheurs, nous avons présenté l'ensemble de nos travaux avec deux séminaires, puis 20 heures de cours de DEA (Génération d'outils à partir de spécifications formelles, sémantique et programmation parallèle objets), ainsi que des démonstrations du système Centaur.
Cette visite a également été l'occasion de rencontrer les chercheurs de l'Université de Brasilia, de l'Université Fédérale de Rio de Janeiro (deux séminaires), et de l'Université Fédérale du Ceara à Fortaleza.
Paolo Borba est particulièrement intéressé par la programmation objet concurrente (avec Java et FOOPS [8]), ce qui contribuera très certainement au succès de notre collaboration.
En 96, la seule interaction (à part des échanges de mails) fut la courte visite de Gilles Kahn à Recife en tant que rapporteur de la thèse de Martin Musicante.
En 97, Sidi Ould Ehmety a soutenu sa thèse sur le thème Etude du modèle de programmation parallèle Eiffel// : Sémantique Formelle, Preuves et Visualisation. Il part en Post Doc pour 2 ans à UFPE afin d'étudier la parallélisation et la distribution de systèmes à objets, et notamment les aspects preuves de propriétés et d'équivalence entre programmes séquentiels et parallèles. Cette visite de longue duré renforcera les liens entre les deux équipes.
-calcul);
Bilan des années passées:
-calcul",
Rapport de stage, Ecole Polytechnique, Promotion X-93, 1996.
-calcul pour les langages à objets parallèles"
Rapport de DEA Informatique, Université de Nice Sophia Antipolis, 1995.
=
Pierre Deransart, Directeur de Recherche
INRIA-Rocquencourt
BP 105, F-78153 Le Chesnay Cedex
Tel: +33 1 39635536
Fax: +33 1 39635330
email: Pierre.Deransart@inria.fr
Réalisation d'environnements intégrés basés hypertexte pour le développement et la documentation de programmes. La version en cours de rálisation concerne la programmation en logique avec contraintes. Collaboration avec le projet OPERA (INRIA Rhône-Alpes) pour l'adaptation de Thot.
Problèmes pris en compte:
La programmation en logique avec contraintes 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 système utilise le système Thot développé à l'INRIA pour lequel l'UFMG a une licence gratuite d'utilisation.
Par la suite des extensions incluant des méthodes de vérification, débogage et analyse de performances seront introduites afin d'obtenir des outils de mise au point puissants et adaptés à la PLC.
Le projet a démarré en 94 et s'est poursuivi en 95 et 96 avec un CSN, Patrick Parot, à l'UFMG de Février 95 à Mai 96. Des bourses RAHE (invitation de spécialistes étrangers) et CAPES (bourses de spécialistes) ont été obtenues pour la poursuite du projet. P. Deransart a séjourné 1 mois à Belo Horizonte et J. Siqueira (Maître de conférence à l'UFMG) a séjouirné à l'INRIA (projet LOCO) en 96,97. Deux publications communes ont été réalisées [2,3,1].
- invitations de brésiliens: R. Burachik, C. Gonzaga, M. Solodov, B. Svaiter,
- missions de français: F. Bonnans, C. Sagastizábal.
Outre les publications sur les points intérieurs (plus anciennes), il
en est résulté deux articles actuellement soumis à revues scientifiques:
``
-Enlargement of Maximal Monotone Operators: Theory and
Applications'', et ``Bundle Methods for Maximal Monotone Operators'',
par R. Burachik, C. Sagastizábal et B. Svaiter.
- la relaxation lagrangienne, technique déjà classique et largement utilisée,
- la relaxation dite ``semi-définie positive'', technique relativement nouvelle, en plein essor, et encore peu analysée.
Ces deux techniques se situent à la frontière entre le monde continu et le monde combinatoire.
- Par ailleurs, les méthodes de coupes disjonctives (lift-and-project, relativement récentes) dans les algorithmes branch-and-bound font appel à l'analyse convexe, ce qui ouvre de nouvelles voies théoriques et pratiques.
Cette subvention lui permettra entre autres de participer à divers congrès d'optimisation en Europe: Stockholm, Namur, Erice, Porto.
-lagrangian of a convex function.
al and J. Fidler, editors, System
Modelling and Optimization, pages 395-402, 1996.
Ce qui suit est le texte rédigé par C. Sagastizábal pour sa mise à disposition à la PUC.
Depuis mon arrivée à l'Inria (invitée court-séjour en 1988 et 1989, thésarde pour la période novembre 1991-septembre 1993 et embauchée comme CR2 à Promath depuis octobre 1993), j'ai développé mes activités scientifiques dans le domaine de l'optimisation, notamment les aspects théoriques et numériques de l'optimisation non différentiable.
Suivant la dynamique qui caractérise Promath, mon travail s'est basé sur quatre axes principaux2:
convexe fermée admet un Hessien.
Cette étude constructive devrait nous permettre dans la suite de
concevoir des algorithmes rapides d'optimisation non différentiable,
[I.3,7,9,10,11].
uvre de
variantes rapides des méthodes de faisceaux, incorporées
à la bibliothèque MODULOPT [I.2,8].
Coopération avec le Brésil
Suite à un court passage à l'Inria, en juin 1995, nous avons établi un premier contact avec R. Burachik et B. Svaiter, de la Pontificia Universidade Catôlica (PUC) et l'Instituto de Matematica Pura e Aplicada de Rio, respectivement. Ensuite, nous avons poursuivi cette collaboration dans le cadre de la coopération franco-brésilienne, dont le responsable est Pierre Deransart (voir projets 96 et 97, thème ``Méthodes de minimisation'').
En 1996, j'ai passé un mois à Rio, tandis que R. Burachik et B. Svaiter ont visité l'Inria pendant 3 semaines; un premier fruit de cette collaboration est l'article [I.13]. Nous avons également établi d'autres collaborations, notamment avec le Groupe de Recherche Opérationnelle (GRO) du Département de Génie Electrique de la PUC. En 1997, j'ai été professeur invitée à la PUC, entre mars et mai.
Pendant mon dernier séjour, l'intérêt de retourner à Rio rapidement est devenu évident, cette fois-ci pour une période plus longue:
Ajoutons que le GRO est constitué de trois chercheurs: Marcus Vinicius Poggi de Aragão, Oscar Porto et Abilio Lucena. Ils sont en rapport avec d'autres équipes de recherche en combinatoire, parmi lesquelles on trouve le LMC à Grenoble (Denis Naddef et Frédéric Maffray), Columbia University à New York (Sebastián Ceria), le Gerad et la HEC à Montréal (Pierre Hansen, Gilbert Laporte, Brigitte Jaumard) et le Core à Louvain la Neuve (Laurence Wolsey).
Auparavant, le GRO comptait aussi un chercheur en optimisation non linéaire, qui est parti en 1994. Il s'agît de Philippe Mahey, actuellement à l'Université Blaise Pascal, Clermont-Ferrand.
Situation locale Le projet Promath arrive à une période de fission, qui donnera éventuellement naissance à deux nouveaux projets, qui seront proposés à la rentrée 97. Il y aura une composante orientée vers les applications combinatoires aussi bien dans le projet proposé à Rocquencourt par F. Bonnans que dans celui de C. Lemaréchal, à Grenoble.
Compte tenu des activités démarrées lors de mon séjour mars-mai ainsi que de la bureaucratie et entretiens nécessaires pour l'obtention du poste de professeur, il serait souhaitable que je sois sur place au plus tard le 15 octobre 1997, avant que le deuxième semestre scolaire ne soit trop avancé.
Par conséquent, je demande à l'Inria un support initial, à savoir une mise à disposition pendant les six premiers mois à compter du 13 octobre 1997, suivi d'une mise en disponibilité pendant un an et demi.
Plan de travail Pendant ces deux ans en tant que ``enseignant-chercheur'' au sein du Département de Génie Electrique de la PUC, je compte organiser mes activités comme suit:
-Lagrangien,
je continuerai à étudier comment l'appliquer aux algorithmes implémentables.
-Lagrangian of a convex function'',
avec C. Lemaréchal et F. Oustry. Soumis à
Transaction of the AMS, juillet 1996.
-derivatives of a max-convex function'',
avec R. Mifflin. Soumis à Mathematics of Operations research, mars 1997.
Philippe Codognet
INRIA Rocquencourt, 78 153 Le Chesnay Cedex
Tel: +33 1 39 63 57 08, Fax: +33 1 39 63 5469
Email: Philippe.Codognet@inria.fr
Claudio Fernando Resin Geyer
Instituto de Informática - UFRGS,
P. O. Box 15064, 91501-970 Porto Alegre
Tel: +55 (51) 336 83 99/6802,
Fax: +55 (51) 336 5576
Email: geyer@inf.ufrgs.br
Claudio Geyer est venu à l'INRIA pendant 15 jours en Spetembre 1996, pour étudier le système clp(FD) développé à l'INRIA. Dans le système Plosys, développé à l'IMAG et auquel Claudio Geyer a participé, est utilisé le compilateur Prolog wamcc qui a été développé à l'INRIA. Cette action n'a pu avoir lieu en 97 comme initialement prévu.
Il s'agit d'étendre un système basé sur le modèle de parallélisme OU, originellement développé pour la programmation logique, à la programmation par contraintes.
Cette collaboration se met en place autour d'une combinaison des systèmes de Programmation Logique avec Contraintes clp(FD) developpé à l'INRIA et du système Plosys développé à l'IMAG pendant que Claudio Geyer etait à Grenoble. Plosys est une continuation du système Opéra de programmation logique parallèle, mais basé sur le système Prolog wamcc de l'INRIA et beaucoup plus flexible et indépendant de l'architecture que ne l'était Opéra (qui fonctionnait sur un réseau de Transputers). L'idée de base de ce projet est de remplacer le moteur logique wamcc par clp(FD) qui contient un résolveur de contraintes sur les domaines finis. Ainsi, sans changer le modèle de parallélisme (parallélisme OU utilisant la recopie de piles) on pourra exécuter des applications de programmation par contraintes. Le parallélisme permettra d'explorer simultanément plusieurs branches de l'arbre de recherche et donc de diviser la combinatoire, toujours très importante dans ce type de problèmes.
Une autre action envisagée est d'étudier la parallélisation et la distribution des contraintes dans un cadre plus conventionnel, en utilisant en particulier le langage Java.
Catherine Roucairol
Université de Versailles
45 avenue des Etats Unis
78250 Versailles Cedex
Tél.: 01-39-25-40-88
Fax: 01-39-25-40-57
e-mail: Catherine.Roucairol@prism.uvsq.fr
L'expansion des réseaux de transmission d'énergie dans un système compétitif nécessite des modèles pour la répartition optimale des coûts entre les agents économiques en suivant la théorie de jeux coopératifs. Ce problème a beaucoup d'importance actuellement dans le scénario de la privatisation du secteur éléctrique au Brésil. La traitement de ce problème mène à la résolution de programmes mathématiques de grande taille en nombres entiers, qui ont besoin de nouvelles techniques. Dans le domaine du transport un paliatif à la décongestion du trafic dans les grandes agglomérations, peut être de mettre à la disposition du public d'autres moyens de transport gratuits et en libre service (voitures éléctriques, par exemple). Il faut alors résoudre, pour optimiser ce système, divers problèmes comme la meilleure localisation des parkings ou la recherche d'une bonne distribution de ces moyens à un moment donné dans le réseau. Là encore, la taille du réseau nécessite des techniques efficaces pour résoudre ces grands programmes en nombres entiers.
Il s'agit d'un nouveau projet, mais des relations informelles ont déjà été nouées lors du séminaire commun INRIA PRiSM - Université de Versailles et des séjours de membres de l'équipe Brésilienne en France.
De plus, en 1999 nous participerons à l'organisation à Rio de Janeiro de la grande conférence MIC'99 - III Metaheuristics International Conference, dont Celso Ribeiro est le chairman. MIC'98 a été organisée par l'INRIA à Sophia-Antipolis.
La taille des programmes en nombres entiers a traiter nécessite l'utilisation de metaheuristiques. Nous voulons concevoir, dans ces deux domaines, des algorithmes de résolution fondés sur des recherches locales qui utilisent les atouts des différentes metaheuristiques:
Les algorithmes seront testés sur des données de problèmes concernant des applications réelles au Brésil et en France. Ces travaux de recherche donneront lieu à des thèses tant du côté Brésilien que Français.
Nous prévoyons une mission de chaque côté de un mois.
Coût total estimé: 50 KF (deux missions à 18 KF pour le séjour
plus 7 KF pour le voyage).
En termes de réeciprocité, nous pouvons d'ores et déjà compter
sur un financement intégral du CNPq (Conseil Brésilien pour le
Dévéloppement Scientifique et Technologique) pour les thésards
Brésiliens qui se rendraient en France dans le cadre de ce projet de
coopération.
Le Brésil permet la possibilité des thèses ``sandwich'' (le thésard inscrit dans une université Brésilienne peut se rendre à l'étranger pour ces travaux de recherche aux frais du Gouvernement Brésilien). Deux étudiants Brésiliens sont déjà intéressés (Mauricio C. de Souza et Claudia Boeres).
Curriculum Vitae résumé du responsable Brésilien:
Name: Celso C. Ribeiro
Current position:
Full Professor, Department of Computer Science
Catholic University of Rio de Janeiro
Research interests:
Design and analysis of algorithms
Combinatorial optimization
Metaheuristics
Parallel algorithms and parallel computation
Education:
Electrical Engineer, Catholic Unversity of Rio de Janeiro (Brazil),
1976
M.Sc., Federal University of Rio de Janeiro (Brazil), 1978
Dr. Ingenieur, Ecole Nationale Superieure des Telecommunications
(France),
1983
Habilitation, Universite Paris XIII (France), 1990
Professional experience:
- Professor, Catholic University of Rio de Janeiro (since 1983)
Chair, Department of Electrical Engineering (1985-89)
Chair, Department of Computer Science (1991-93)
- Visiting Professor, Ecole Polytechnique de Montreal (1990-91)
- Visiting Professor, Universiti Paris VI (1992)
- Visiting Scholar, International Computer Science Institute at
Berkeley
(1996)
- Engineer, ELETROBRAS - Brazilian State Power Board (1977-83)
- Visiting Researcher, IREQ - Institut de Recherche de l'Hydro-Quebec
(1979)
Professional activities in societies and journals:
- President, ALIO - Latin-American Association of Operations Research
(1992-94)
- President, SOBRAPO - Brazilian Society of Operations Research
(1989-90)
- Co-Editor-in-Chief, Investigacion Operativa (The ALIO Journal)
(since 1991)
- Associate Editor, Journal of Heuristics (since 1994)
- Associate Editor, Pattern Recognition (since 1989)
- Associate Editor, Mathematics of Industrial Systems (since 1993)
- Associate Editor, SIAM Series on Discrete Mathematics (since 1997)
- Associate Editor, Journal of the Brazilian Computing Society
(since 1993)
- Guest Editor, Annals of Operations Research, volume 50 (1994)
- Guest Editor, Mathematical Programming, volume 52 (1991)
- Guest Editor, Annals of Discrete Mathematics, volume 31 (1987)
- Chairman, MIC'99 - III Metaheuristics International Conference,
Rio de Janeiro (1999)
- Chairman, Latin-American Summer School on Operations Research,
Rio de Janeiro (1995)
- Co-Chairman, TIMS XXX - SOBRAPO XXIII Joint International Meeting,
Rio de Janeiro (1991)
- Chairman, Workshop on Mathematical Programming (jointly organized
with
the Mathematical Programming Society), Rio de Janeiro
(1988)
- Cluster Chair, Combinatorial Optimization, XXXII TIMS International
Meeting (1994)
- Cluster Chair, Combinatorial Optimization, Dallas INFORMS Meeting
(1997)
Research papers published in the following journals and series:
- Mathematical Programming
- Operations Research
- Networks
- European Journal of Operational Research
- IEEE Transactions on Power Systems
- Journal of Heuristics
- Discrete Applied Mathematics
- Annals of Discrete Mathematics
- Operations Research Letters
- International Journal of High Speed Computing
- Parallel Computing
- Journal of Classification
- Pattern Recognition
- Pattern Recognition Letters
- RAIRO Recherche Operationelle
- Annals of Operations Research
- Annals of Mathematics and Artificial Intelligence
- Methods of Operations Research
- OR Spektrum
- Investigacion Operativa
- L'Echo des Recherches
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 dossier98.tex
The translation was initiated by Pierre Deransart on 2009-03-10