Pierre Deransart
7 Mars 1997
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 | ||
| 1 | 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 et Contraintes | ||
| 10 | Optimisation | ||
| 11 | Systèmes dist. tolérants | ||
| 12 | Méthodes de minimisation | ||
| 131#1 | CLP et parallelisme |
| Proj. | Thème | dem. ret. | affecté | |
| 1 | Projet accord INRIA/CNPq | 15 | 15 | |
| 2 | Méthodes numériques | - | - | |
| 3 | Psychologie ergonomique | 68 | 28 | |
| 4 | Analyse de données | 26 | 17 | |
| 5 | Bases de données Objet | 74 | 25 | |
| 6 | Systèmes tolérants | 28 | 18 | |
| 7 | Robotique | 60 | 25 | |
| 8 | Programmation par Objets | 36 | 18 | |
| 9 | Programmation en Logique | 34 | 24 | |
| 10 | Optimisation | 17 | 17 | |
| 11 | Systèmes dist. tolérants | - | - | |
| 12 | Méthodes de minimisation | 34 | 17 | |
| 13 | CLP et parallelisme | 27 | 16 | |
| Ttx | 419 | 220 |
Explications (colonnes):
| Dépenses | KF | Recettes | KF | Dépenses | KF |
| INRIA | Brésil | ||||
| Coûts directs | 1353 | Fonds propres | 1363 | ||
| et indirects | INRIA | ||||
| collaborations | |||||
| Invit. spéc. br. | 134 | Subventions | 220 | Invit. spéc. fr. | 120 |
| Voy. spéc. fr. | 96 | MAE | Voy. spéc. br. | 112 | |
| Total | 1583 | Total | 1583 | 232 |
| 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 | |
| Csernel | 03/01 au 20/01/97 | Rocq. | 6,1 | |||
| 5 | Simon | 01/09 au 09/12 | Rio | 30 | 14,2 | |
| Pacitti | 01/12 au01/01/97 | Rocq. | 8 | |||
| 6 | 10 | 0 | ||||
| 7 | Balaniuk | 06/12 au 30/12 | Rocq | 35 | 7,3 | |
| Proj. SHARP | 01/97 | 3 missions Brésil | 40 | |||
| 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 | |||
| R. Bigonha | 17/01 au 31/01/97 | Rocq | 8,7 | |||
| M. Bigonha | 17/01 au 31/01/97 | 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 | 226,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 | E. Pacitti | 17/12 au 05/01/96 | Rocquencourt | 40 | 20,5 |
| 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 | 200,5 |
| 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 |
| Thème | Nom | Date | Lieu | AP | Réalisé | |
| 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 |
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:
José Queiroz
CCEN, UFPe, Cidade Universitaria
CEP 50739, Recife, Pe
Tel: +55 81 2718430
Fax: +55 81 2710359
email: zeque@di.ufpe.br
L'INRIA est un pôle de compétence
dans les domaines de l'informatique, de l'automatique et
des mathématiques appliquées. Il allie recherche fondamentale et
applications
industrielles. Grâce au soutien du MAE, une longue tradition de
collaboration s'est établie avec des équipes brésiliennes, en
particulier par des thèses préparées à l'INRIA, des visites
réciproques et des publications communes dans des conférences
internationales.
De nombreux chercheurs brésiliens ont été impliqués dans ces contacts, qui ont contribué au développement d'équipes de recherche de haut niveau en informatique et mathématiques appliquées dans les universités brésiliennes. De part et d'autre un intérêt considérable pour le développement et l'utilisation des techniques issues de ces recherches se manifeste, ainsi que le souhait de consolider les collaborations existantes tout en multipliant les opportunités.
Le CNPq par l'intermédiaire de son département de ``projets
spécialisés'' (Diretoria de Programas Especiais - DPE) a mis en
place une politique de développement stratégique de l'informatique
(projet DESI) autour de trois axes principaux:
Le programme ProTeM-CC est une initiative du MCT/CNPq pour la coordination d'innovations technologiques (Coordenação de Inovação Tecnológica - CITE), qui a comme principal objectif le renforcement de la compétence technologique nationale à travers des recherches coopératives. Ce programme veut aussi intensifier le processus de formation de personnel qualifié, de façon à satisfaire les besoins du secteur industriel et à inciter les centres de recherche publics et l'industrie à avoir des activités communes en privilégiant la synergie par la coopération.
Le CNPq propose dans ce contexte l'établissement d'actions en vue d'impulser les activités de coopération internationale autour, d'une part, de projets de recherche et développement et, d'autre part, d'une aide accrue à la formation des ressources humaines au niveau du troisième cycle.
L'accord INRIA-CNPq proposé ici vise à regrouper et à coordonner
les moyens mis en 2#2uvre par le CNPq et par l'INRIA
au bénéfice de la coopération
Franco-Brésilienne. Il portera aussi bien sur des actions de
recherche pure ou appliquée que sur des actions de formation. Les
deux parties en attendent:
Bien qu'étant prête à être signée en 1996 (la commission mixte de Décembre 95 en avait fait état) le changement de Présidence de l'INRIA et les réorganisations internes qui ont suivi ont retardé le processus. Des modifications ont été introduites par les deux parties entre temps, ce qui a induit de nouveaux delais. Tout est mis en oeuvre pour que la convention soit prête en février 97, avant le voyage du Président Chirac au Brésil.
La conception optimale de formes consiste à utiliser les modèles numériques de comportement développés au préalable pour optimiser la forme de l'objet étudié. Cette action est le débouché naturel d'une stratégie de modélisation et est un outil indispensable en contrôle actif des écoulements et des structures tel qu'on le prévoit dans un proche avenir. Le premier ingrédient dans cette tâche est de disposer d'un optimiseur qui reste robuste et de convergence rapide même en présence de fortes contraintes de conception.
Cet algorithme a été testé sur différents problèmes modèles
1) Optimisation de la forme d'une digue pour minimiser les remous dans le port.
2) Optimisation de formes aérodynamiques sous contraintes électromagnétiques, en collaboration avec le CEA-CESTA.
3) l'optimisation de formes de riblets dans le cadre du projet européen ECARP. Le calcul de l'écoulement utilise un solveur PNS spécialement développé pour le problème.
Ces tests ont utilisé des logiciels produits ou échangés pour l'occasion, à savoir:
Dominique L. Scapin
INRIA Rocquencourt
BP 105, F-78 153 Le Chesnay Cedex
Tel: +33 1 39635507
Fax: +33 1 39635330
email: Dominique.Scapin@inria.fr
Neri. Dos Santos
Universidade federal de Santa Catarina
centro Technologico
Departamento de Engenharia de Producao de Sistemas
Campus Universitario - Trinidade -
CAIXA POSTAL 476, Florianopolis, Santa Catarina
Tel: (0482) 34 12 55,
Fax: (482) 34 15 24,
Côté INRIA
BUDGET 97:
En analyse des données la relation entre une observation et une variable ou descripteur est représentée par une valeur unique. Souvent, dans des applications réelles, ces relations peuvent être aussi 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 (Diday (1991)).
Les mesures de proximités jouent un rôle important en analyse exploratoire des données. Ainsi plusieurs techniques de classification s'appliquent sur une matrice de proximités. Usuellement, pour calculer la proximité entre une paire d'objets, on utilise pour chaque variable une fonction de comparaison et puis la fonction d'agrégation intègre toutes les valeurs obtenues à partir de ces fonctions de comparaison et crée ainsi 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 logiques entre variables. Nous prenons en compte deux types de dépendances: les dépendances conditionnelles et les dépendances de corrélation logique . Les dépendances sont exprimées par des règles, et représentent des contraintes sur l'espace de description engendré par les variables.
Une première approche utilisant une fonction de comparaison et une fonction d'agrégation a été proposée par De Carvalho (1994). Dans cet approche la fonction de comparaison utilise l'union et l'intersection symboliques, elle est inspirée des indices proposès pour traiter les tableaux binaires usuels. 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 1996 Marc Csernel et F.A.T. De Carvalho ont travaillé dans deux direction s.
Marc Csernel a développé une méthode qui permet, moyennant quelques contraintes sur les dépendances, de retrouver un temps de calcul polynômia l (Csernel et De Carvalho (1996). Cette méthode est basée sur une normalisation des assertion booléennes et
est appelée Normal Symbolic Form (NSF). Elle n'est utilisable que lorsque les dépendances entre les variables forment
des arbres, et non pas un graphe quelconque.
De Carvalho, F.A.T. (1996):
Extension based proximities between constrained Boolean symbolic objects
In: IFCS-96, Cinquième Conférence de la Fédération
Internationale des Sociétés de Classification
Kobe.
Csernel M. et De Carvalho, F.A.T. (1996):
Towards a Normal Symbolic Form.
In: IFCS-96, Cinquième Conférence de la Fédération
Internationale des Sociétés de Classification
Kobe.
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, 1997
(soumis)
De Carvalho, F. A. T. (1992) Méthodes Descriptives en Analyse de Données
Symboliques. Thèse de Doctorat. Universite Paris-IX Dauphine, Paris, 1992.
De Carvalho, F.A.T. (1994): Proximity Coefficients between Boolean symbolic obj ects. In: E. Diday et al (eds.): New Approaches in Classification and Data Analysis . Springer-Verlag, 387-394.
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 la Cohérence dans des Bases de Données Réparties Hétérogènes.
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, sous la direction d'Eric Simon, sur le sujet ``contraintes d'intégrité dans des bases de données distribuées''. Le problème général est de vérifier efficacement sur un site une expression Chaque fois qu'une transaction modifie une relation, les modifications sont propagées de manière asynchrone à l'aide d'autres transactions vers tous les sites possédant des réplicas de cette relation. Le problème consiste à proposer des stratégies de vérification de contraintes qui prennent en compte la possibilité d'introduction d'incohérences à cause de la réplication asynchrone.
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 - 6/97), on a projeté le développement d'un prototype qui a pour but l'evaluation d'une nouvelle strategie de propagation de données répliquées, appellée Eager propagation. 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. Comme nous supposons que les modifications sont propagées sous la forme d'instructions de modification, les principaux aspects considerés sont le temps d'exécution de la transation de modification, la fraicheur des replicas et le temps de réponse des requêtes qui utilisent les réplicas. Un autre paramètre important étudié dans ces expériences est l'impact du choix du protocole de contrôle de concurrence. Dans le prototype, nous avons choisi d'utiliser Oracle 7 afin de comparer l'utilisation d'un protocole de verrouillage à deux phases et d'un protocole multiversion. Les résultats de ces expériences feront l'objet d'un papier soumis à la conférence VLDB 97. Une présentation des résultats est également prévue en Décembre 1996 à Rio où une réunion d'un jury franco-bresilien discutera et avalisera les orientations du travail de recherche d'Esther Pacitti. Le jury sera composé de: Eric Simon, Prof Rubens Melo, Prof. Rosana Lanzellote et Prof. Sergio Lifschit.
Dans la directe continuité de ce travail est prévu le développement de strategies de raffraichissement du résultat de l'évaluation d'un contrainte d'intégrité stockée comme une vue matérialisée à l'aide d'un algorithme original appelé ``raffraichissement en vagues''. Cet algorithme s'appuiera sur les résultats d'expérimentation obtenus dans la phase de travail précédente. Un papier présentant l'algorithme et son implantation est prévu pour la fin juin 1997.
Il est intéressant de mentionner qu'il existe plusieurs applications potentielles de notre travail. L'une d'elles est la conception d'un entrepôt de données (data warehouse, en anglais). L'entrepôt est conçu afin de supporter efficacement des applications d'aide à la décision à partir de données répliquées. Dans ce cadre, les résultats du travail d'Esther Pacitti seront exploités au sein duprojet européen LTR (Long Term Research) DWQ (Foundations for Data Warehouse Quality).
Les moyens suivants sont demandés:
[P95] E.C. Pacitti ``A Study of Protocols for Enforcing Integrity Constraints'', Rapport interne, 1995 .
En 1995, R. Marie avait passé deux semaines à l'université Fédérale de Rio avec le groupe du Pr E. de Souza à travailler sur une approche originale de l'uniformisation. Au cours des mois suivants, les logiciels correspondants ont été développés. Puis la méthode a été testée lors de la visite de R. Carmo et de E. de Souza à l'Irisa durant deux semaines en octobre 1996. La méthode sur laquelle repose le travail approche les probabilités d'état à l'instant 3#3 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. Les résultats sont trés bons lorsque les les systèmes sont raides. Un rapport de recherche a été publié [1].
10 KF pour participer aux frais du chercheur invité à Rennes et 18 KF pour une mission au Bresil.
Sadek C. Absi Alfaro
GRACO
Group of Automation and Control of the Brasilia University
- DF - Brazil
Tel: +55 61 349 8205, +55 61 9849110, Fax: +55 61 3498205/2734539
e-mail: sadek@enm.unb.br
Monsieur Remis Balaniuck a soutenu sa thèse en Octobre 1996 au sein de l'équipe SHARP. Il travaille actuellement a l'université de Brasilia (au lieu de Fortaleza comme prévu dans les collaborations 1995 et 1996). C'est pour cette raison que le cours de robotique prévu en 1996 est en cours d'organisation a Brasilia d'ici le debut de l'année prochaine.
De notre coté, nous souhaitons pouvoir continuer la collaboration avec Monsieur Balaniuck autour de l'identification structurelle des systèmes robotiques. Du coté du laboratoire de mécanique de Brasilia (GRACO), il s'agit d'utiliser ces techniques pour concevoir des robots à faible coût.
Pour l'action de 1997 nous demandons 60KF soit 3 missions de spécialiste et 10 jours de visite pour un invité.
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 [11] 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// [9]; 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 [16,8], et TLA [15].
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 (en fait ASF+SDF) 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 10 heures de cours de DEA (Génération d'outils à partir de spécifications formelles), 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.
Nous avons espéré la visite de Fabio Da Silva (alors responsable brésilien du projet), puis de Paolo Borba (désormais responsable brésilien du projet) au cours de l'année 1996, ce qui n'a malheureusement pas pu se faire.
Le changement de responsable brésilien est du principalement aux nombreuses activités (d'autre part moins portées sur les langages à objets) de Fabio Da Silva. Paolo Borba est particulièrement intéressé par la programmation objet concurrente (avec Java et FOOPS [7]), ce qui contribuera très certainement au succès de notre collaboration.
De fait, 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 Novembre 1996.
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 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) est à l'INRIA (projet LOCO) depuis Juillet 96. Deux publications communes ont été réalisées [,].
Claude Lemaréchal, INRIA
B.P. 105, 78153 Le Chesnay
Tel:+33 39 63 56 81
Email: Claude.Lemarechal@inria.fr
Cette collaboration a permis de faire décoller la recherche sur ce domaine a l'INRIA: voir les articles [1] et [2], qui ont eu un impact certain dans la communauté internationale. Nous considérons maintenant notre collaboration dans le domaine des points intérieurs comme terminée.
Sachant qu'il existe une similitude d'approche entre ces méthodes et les méthodes de faisceaux en optimisation non différentiable, nous envisageons maintenant une collaboration sur ce dernier domaine.
Plus précisément, les travaux récents effectués à l'Inria (publications [3] et [4]) ouvrent une voie vers le développement d'algorithmes rapides d'optimisation non différentiable; de plus, [4], qui s'intéresse spécifiquement au problème de la progammation semi-définie positive (SDP), révèle le lien entre notre approche et les méthodes de points intérieurs, qui ont une solide réputation en SDP.
Dans ces conditions, le but de notre projet de collaboration est double: d'une part transférer vers le Brésil l'expertise de l'INRIA dans le domaine non différentiable, d'autre part mener des recherches communes concernant le lien ci-dessus: clarifier le statut de la SDP, et en tirer les conclusions pour analyser le problème général d'optimisation non différentiable vu sous cet éclairage.
- 1 mois d'invitation de professeurs brésiliens 9KF
- 1 voyage d'un chercheur français au Brésil 8KF
Soit un total de 17KF
Claudia A. Sagastizábal
INRIA Rocquencourt
BP 105, F-78 153 Le Chesnay Cedex
Tel: +33 1 39635953, Fax: +33 1 39635786
email: Claudia.Sagastizabal@inria.fr
Mikhail Solodov
Instituto de Matematica Pura e Aplicada (IMPA)
Estrada Dona Castorina 110 - Jardim Botanico
Rio de Janeiro, RJ 22460
Tel: 55 21 529-5228, Fax: 55 21 529-5129
email: solodov@Impa.br
En 1996, C. Sagastizábal est passée un mois à Rio, tandis que R. Burachik et B. Svaiter ont visité l'Inria pendant 3 semaines. Nous avons étudié le problème de trouver un zéro d'un opérateur maximal monotone 5#5 (une généralisation de l'optimisation non différentiable). Partant des méthodes de minimisation de 6#6-descente, nous étendons la notion de 6#6-sous-différentiel à celle d'un élargissement 7#7 de 5#5. Pour développer des algorithmes de type faisceaux, nous proposons de trouver un zéro de l'opérateur 7#7. Nous avons proposé un choix spécifique pour 7#7, pour lequel nous avons établi quelques propriétés de continuité, ainsi que des mesures de proximité entre le problème approché et le problème original. Deux articles sont en phase finale de rédaction.
``Continuous approximations of maximal monotone operators'' Parts I and II , R. Burachik, C. Sagastizábal, B. Svaiter. A soumettre en décembre 1996.
Looking for second-order of nonsmooth convex functions
Claudia Sagastizábal
GROUPE DE TRAVAIL PROMATH, INRIA, 10 octobre, 11h00, bat. 11.
Definining continuous enlargements of maximal monotone operators
Regina Burachik, Claudia Sagastizábal, Benar Fux Svaiter
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.
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.
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 dossier97.tex
The translation was initiated by Pierre Deransart on 2009-02-05