Pierre Deransart
31 Janvier 1996
| 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 |
| Proj. | Thème | dem. ret. | affecté | |
| 1 | Projet accord INRIA/CNPq | 16 | 15 | |
| 2 | Méthodes numériques | 36 | 30 | |
| 3 | Psychologie ergonomique | 70 | 35 | |
| 4 | Analyse de données | 26 | 20 | |
| 5 | Bases de données Objet | 48 | 30 | |
| 6 | Systèmes tolérants | 10 | 10 | |
| 7 | Robotique | 65 | 35 | |
| 8 | Programmation par Objets | 30 | 25 | |
| 9 | Programmation en Logique | 36 | 30 | |
| 10 | Optimisation | 18 | 18 | |
| 11 | Systèmes dist. tolérants | 45 | 30 | |
| 12 | Méthodes de minimisation | 26 | 25 | |
| Ttx | 426 | 303 |
Explications (colonnes):
| Dépenses | KF | Recettes | KF | ||
| Coûts directs et | 1450 | Fonds propres INRIA | 1535 | ||
| Coûts indirects | |||||
| Missions | 360 | Subventions MAE | 275 | ||
| Total | 1810 | Total | 1810 |
Montant: 303 KF (243 KF reliquat 94 + 60 KF au titre de la subvention 95). Le montant de la subvention 95 s'explique par l'attribution d'un poste CSN (Patrick Parot).
| Thème | Nom | Date | Lieu | Obtenu | Utilisé |
| 1-Projet accord | P. Deransart | 22/07 au 29/07 | Brasilia | 31 | 15.3 |
| INRIA-CNPq | J. de Queiros | 16/02 au 23/02 | Rocquencourt | ||
| 2-Méth. numériques | J. Herskovits | 03/02 au 08/03 | 20 | 28.6 | |
| 24/05 au 06/07 | Rocquencourt | ||||
| 3-Psycho. Ergo | W. Cybis | 12/09 au | Rocquencourt | 25 | 10.8 |
| 28/09 | |||||
| 4-Analyse données | F. de Carvalho | 26/01 au | Rocquencourt | 16 | 18.7 |
| 24/02 | |||||
| 5-Bases données objets | E. Pacitti | 17/12/95 au | Rocquencourt | 40 | 20.5 |
| 05/01/96 | |||||
| 6-Systèmes tolérant | R. Marie | 01/96 | Rio | 15 | 0 |
| 7-Robotique | E. Mazer | 08/12 au | Sao Polo | 25 | 18.1 |
| 30/12 | |||||
| 8-Prog. par objets | I. Attali | 23/07 au | Rio | 29 | 36.6 |
| 03/09 | Brasilia | ||||
| D. Caromel | 23/07 au 03/09 | Recife | |||
| 9-Prog. en Logique | P. Deransart | 29/07 au | Canela | 20 | 23 |
| 14/08 | Belo Horizonte | ||||
| F. Rouaix | 15/06 au 26/06 | Belo Horizonte | |||
| J. Siqueira | 08/10 au 28/10 | Rocquencourt | |||
| 10-Optimisation | C. Gonzaga | 15/05 au | Rocquencourt | 24 | 24 |
| 15/07 | |||||
| 11-Systémes distribués | G. Le lann | 16/05 au 26/05 | Florianopolis | 29 | 4.9 |
| M. Stemmer | 13/11 au 19/11 | Rocquencourt | |||
| 12-Champs de Markov | 29 | 0 | |||
| Total | 303 | 200.5 |
| Thème | Nom | Date | Lieu | Obtenu | Utilisé | |
| 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 |
Montant: 250 KF.
| 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 |
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 
uvre 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:
En 1995 l'INRIA et le CNPq ont terminé la mise au point de l'accord et la commission mixte en Décembre a pu le mentionner. Le principe de sa signature est acquis et il reste essentiellement à le mettre en oeuvre en créant une commission paritaire de coordination. Celle-ci sera chargée d'assurer la réalisation de l'accord. Ses attibutions portent sur les points suivants:
L'INRIA et le CNPq sont prêts à débloquer quelques fonds spécifiques.
Il devrait alors être possible de lancer un premier appel en 1996.
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:
La collaboration avec l'universitè Fédérale de Santa Catarina a démarré
avec une thèse "sandwich" que Walter Cybis a mené au sein du labo et qui a
été soutenue en 1994. Depuis lors, la collaboration se poursuit avec le Pr.
N. Dos Santos et W. Cybis qui a crée un laboratoire ("Labiutil") en
collaboration avec un groupe d'industriels de l'état de Santa Catarina. Ce
laboratoire reprend un certain nombre de thèmes de recherche du projet
PSYCHO/ERGO de l'INRIA. La situation est donc très favorable pour la
poursuite de notre collaboration: un chercheur sur place connait bien nos
thèmes de recherche; les étudiants que j'y ai rencontré sont très motivés;
le CNPq et des industriels sont intéressés, et cela permet en quelque sorte
de démultiplier nos propres travaux.
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.
Les thèmes abordés sont les suivants:
Une première approche pour calculer la proximité entre objets symboliques booléens en tenant compte des contraintes de l'espace de description a été présentée par De Carvalho(1994). Dans cette approche la proximité entre une paire d'objets symboliques booléens est calculée à partir d'une fonction de comparaison, qui est basée sur le potentiel de description de l'union et par l'intersection de ces objets au niveau d'une variable continue et par des indices si la variable est binaire, et par une fonction de aggrégation basé sur la métrique de Minkowsky.
La coopération INRIA - UFPE sur le thème "Classification et Analyse de Dissimilarités" a demarré au sien de l'ancien projet CLOREC. En 1996 notre objectif est de définir une famille d'algorithmes de calcul de proximités (similarités et dissimilarités) entre objets complexes booléens prenant en compte les contraintes définies sur les objets.
Pour l'avenir, il s'agira aussi d'étendre ces méthodes à des objets complexes ayant d'autres sémantiques (probabiliste, possibiliste, crédibiliste) afin de pouvoir tenir compte de l'incertain et de l'imprécis. Il s'agira aussi d'étudier les rapports entre la représentation de ces objets dans des espaces métriques engendrés par ces indices et les données de la base initiale. Dans l'immédiat ces algorithmes seront utilisés dans le logiciel Apyros, fruit de la coopération entre L'INRIA et le CISIA. Les chercheurs concernés sont Marc Csernel, Yves Lechevallier, Edwin Diday, et Francisco de A. T. de Carvalho.
Dans le cadre de la visite de Francisco de A. T. de Carvalho au sein de l'ancien projet CLOREC (février) et au sein du CEREMADE (juin, Université Paris Dauphine), plusieurs actions ont été menées en collaboration avec des chercheurs de l'INRIA, notamment
DE CARVALHO, F.A.T. (1994): Proximity Coefficients between Boolean
symbolic objects. In:
E. Diday et al (eds.): New Approaches in Classification and Data
Analysis. Springer- Verlag, 387-394.
DIDAY, E. (1991): Des objets de l'analyse de données à ceux de
l'analyse de connaissances.
In: Y. Kodratoff et E. Diday (eds.): Induction symbolique et
numérique à partir de données. Cepadue Editions, Toulouse,
9-75.
GOWDA, K.C. et DIDAY, E. (1991): Symbolic clustering using a new
dissimilarity measure.
Pattern Recognition, 24 (6), 567-578.
ICHINO, M. (1994): Generalized Minkowsky Metrics for Mixed Features
Type Data Analysis.
IEEE Transactions on System, Man and Cybernetics, 24 (4), 698-708.
Souvent les textes décrivant les méthodes de classification utilisant un tableau de proximités commencent par cette phrase "Soit une mesure de proximités vérifiant les propriétés mathématiques suivantes ...". De ce fait ces propriétés servent uniquement à vérifier les conditions d'utilisation des algorithmes d'optimisation et non à décrire les contraintes entre les variables données par l'utilisateur.
Les tableaux de données contiennent de plus en plus des données imprécises ou floues et souvent l'utilisateur désire souvent introduire comme information des relations entre les descripteurs (ces contraintes doivent être introduites dans l'espace de représentation). La stratégie actuelle est de proposer une représentation de ces données dans un espace euclidien et de modifier les programmes d'optimisation afin qu'ils tiennent compte de ces contraintes.
Je pense que la collaboration avec Francisco doit nous aider à mieux intégrer les contraintes définies sur le tableau de données dans le calcul du tableau de proximités et d'éviter ainsi toute modification du programme d'optimisation.
Cette demande se situe dans le prolongement d'une coopération fructueuse qui remonte à 1992, année ou Rosana Lanzelotte a commencé à 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. En 1995, Esther Pacitti (boursier du CNPq) à commencé à travailler sur le domaine des bases de données hétérogènes, plus spécifiquement sur le sujet des protocoles. Dans ce cadre, Esther à exposé la direction de son travail de recherche à son directeur Rubens N. Melo et ses éléves, à travers un exposé fait à PUC/Rio. En même temps François Lirbat à été invité pour faire un exposé et discuter sur les derniers résultats obtenus en bases de données actives et transactions.
[LVZC91] R.S.G. Lanzelotte, P. Valduriez, M. Ziane, J.P. Cheiney: Optimization of Nonrecursive Queries in OODBs. Int. Conf. on Deductive and Object-Oriented Databases, Munich, 1991.
En 1995, R. Marie a passé deux semaines à l'université Fédérale de Rio avec le groupe du Pr E. de Souza, à travaillé sur une approche originale de l'uniformisation.
Les travaux commencés n'ont pas encore donné lieu à publication. Signalons toutefois que R. Marie a profité de son séjour au Brésil pour participer à l'organisation (le Prof. E. de Souza a aussi contribué à cette tâche) d'une conférence internationale sur la logistique. Cette conférence (ICL'95) a eu lieu à Ouro Preto (Brésil) du 11 au 14 décembre 1995. R. Marie y a donné un tutorial sur la fiabilité.
**** priere de leur demander un paragraphe ``motivations'' ****
En 1994 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.
En Juillet 1995 nous avons préparé le cours de robotique du mois de Décembre au LIA et participé à la conférence annuelle de la société Brésilienne d'Informatique (SBC) avec la publication d'un article.
En Décembre 1995 nous devions donner ce cours de robotique au LIA. Cette action n'a pu être menée pour cause de grève (passeports bloqués dans le courrier). Ce cours à été reporté au mois d'Avril 1996. Cependant un séminaire et une visite ont pu êtres donnés au mois de Décembre 1995 à l'université de São Paulo et à l'université de Brasilia.
Nous demandons que le budget prévu pour le cours de 1995 soit affecté au cours du mois d'Avril 1996 soit: 25 KF de budget initial + 15 KF de ralonge (lettre de Pierre Deransart) - 15 KF de mission déjà effectuées (Juillet et Décembre 1995). Soit 25 KF. Pour l'action de 1996 nous demandons 40KF soit 3 missions de spécialiste.
Remis Balaniuk, Pierre Bessiere, Emmanuel Mazer
Shape: A method for surface Previson
Proceedings of the XI Brazilian Symposium On Artificial Intelligence,
Fortaleza October 1994
Remis Balaniuk, Pierre Bessiere, Emmanuel Mazer
Fast direct and inverse model acquisition by function
V congress of the Brazilian computer society, Gramado,
Brasil 1995.
``Part I : Algorithmic Foundation of automatic robot
programming ''
The Handey System
``Part II : Genetic Algorithms''
Context, principles, difficulties, improvements, applications
and theory
``Part III : A Utilização de Redes Neurais na
Robótica''
Fabio Q. B. da Silva, Professeur
Les partenaires français ont développé une extension parallèle
du langage Eiffel appelée Eiffel// [4];
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] et le pi-calcul
[10]
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 actions sémantiques.
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.
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 depuis Février 95. Des bourses RAHE
ont été obtenues pour la poursuite du projet et J. Siqueira
(Maître de conférence à l'UFMG) doit
venir en année sabatique à l'INRIA á partir de l'été 96.
Dans une perspective plus appliquée, nous allons étudier
dans quelle mesure ces algorithmes peuvent être appliqués
aux réseaux de télécommunication, plus précisément
au problème du routage, sur lequel une thèse est en cours à l'INRIA.
1 mois d'invitation de professeurs brésiliens.
La minimisation d'une fonction non différentiable peut être
considérée
comme un cas particulier des problèmes d'inclusion (c.-à.-d., de
trouver un
zéro d'un opérateur monotone). Les méthodes actuelles pour
attaquer ces
problèmes sont soit conceptuelles, soit peu performantes. Compte tenu des
qualités du méchanisme des faisceaux, cette stratégie semble bien
adapté pour obtenir des bons résultats aussi dans ce cadre plus
général.
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.
The command line arguments were:
The translation was initiated by Pierre Deransart on 2009-02-05
Annexe: Plan du cours Décembre 1995
Experiences learned from Handey
Projet 8
Thème
Programmation par Objets
Responsables
INRIA Sophia
BP 93, F-06 902 Sophia Antipolis cedex
email: Isabelle.Attali@sophia.inria.fr
Departamento de Informatica
Universidade Federal de Pernambuco
CP 7851 - Cidade Universitaria
CEP 50732-970 - Recife - PE
Brasil
email: fabio@di.ufpe.br
Motivations
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 [6] 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.
Historique et bilan antérieur
Actions projetées
Les thèmes suivants font l'objet de collaborations
avec Fabio da Silva, Silvio Meira et Paulo Cunha:
-calcul);
Moyens demandés
D'autres missions (spécialistes, étudiants) sont envisagées pour 96-97.
Publications
Bibliography
-calcul pour les langages à objets parallèles"
Rapport de DEA Informatique, Université de Nice Sophia Antipolis, 1995.
Projet 9
Thème
Hyper Programmation Logique
Responsables
INRIA-Rocquencourt
BP 105, F-78153 Le Chesnay Cedex
Tel: +33 1 39635536
Fax: +33 1 39635330
email: Pierre.Deransart@inria.fr
UFMG-DCC
CP 702
CEP 30161 Belo Horizonte, MG, Brésil
email: bigonha@dcc.ufmg.br
Motivations
Historique et bilan antérieur
Moyens demandés
Projet 10
Thème
Optimisation
Responsables
INRIA Rocquencourt
BP 105, F-78 153 Le Chesnay Cedex
Tel: +33 1 39635557
Fax: +33 1 39635330
email: Frederic.Bonnans@inria.fr
Department of Mathematics
Federal University of Santa Catarina
Cx Postal 476
88010-970 Florianópolis, SC, Brésil
Email: clovis@mtm.ufsc.br
Motivations
C. Gonzaga a passé 9 mois a l'INRIA, de septembre 92 a juin 93, puis est
revenu pour des périodes plus courtes (de 1 à 2 mois en 94 et 95).
F. Bonnans a passé une semaine a Rio en septembre 1994.
Cette collaboration a permis de faire décoller la recherche sur ce domaine
a l'INRIA, en particulier grâce à deux articles acceptés dans
des revues de
premier rang. L'article [1] a retenu l'attention des spécialistes en donnant
des outils généraux
pour l'étude de la convergence de ces méthodes. L'article [2] expose une
méthode de Newton simplifiée permettant, dans le cadre des algorithmes
de plus grand pas, une convergence surquadratique.
Actions projetées
Les axes généraux de recherche future portent sur
l'étude des algorithmes non réalisables et
l'extension aux problèmes non linéaires.
Moyens demandés
Du côté français, nous demandons :
Publications
Projet 11
Thème
Systèmes distribués tolérants
Responsables
INRIA Rocquencourt
BP 105, F-78 153 Le Chesnay Cedex
Tel: +33 1 39635364
Fax: +33 1 39635330
email: Gerard.Le_Lann@inria.fr
farines@lcmi.ufsc.br
Prof. J. Da Silva Fraga
fraga@lcmi.ufsc.br
Prof. M. Stemmer
marcelo@lcmi.ufsc.br
Actions projetées
Moyens demandés
Projet 12
Thème
Méthodes de minimisation
Responsables
INRIA Rocquencourt
BP 105, F-78 153 Le Chesnay Cedex
Tel: +33 1 39635953
Fax: +33 1 39635330
email: Claudia.Sagastizabal@inria.fr
Instituto de Matematica Pura e Aplicada (IMPA)
Estrada Dona Castorina 110
JARDIM BOTANICO
Rio de Janeiro, RJ 22460
email: regina@impa.br
Thème
Suite à une visite de R. Burachik (juin 95), nous avons démarré une
recherche commune sur l'extension de la méthode de minimisation dite
des faisceaux au problème de trouver un zéro d'un opérateur
monotone (visant à long terme des applications en mécanique à
travers
la résolution d'inéquations variationnelles).
Egalement nous nous proposons de généraliser à ce cadre plus
général
quelques notions nouvelles de l'analyse convexe, notamment la 
dérivée.
Cela nous permettra de concevoir des algorithmes de résolution rapides et
implémentables.
Historique et bilan antérieur
Dans l'optimisation non différentiable, les méthodes des faisceaux
constituent une famille bien connue par sa robustesse et
implémentabilité.
Récemment nous avons développé à l'Inria des variantes
accélérées qui utilisent l'information au deuxième ordre de la
fonction à minimiser.
Actions projetées
Pour l'année 96 nous avons prévu une visite de C. Sagastizábal à
Rio le mois de mars (durée 4 semaines) et une visite de R. Burachik
à l'Inria le mois de septembre (même durée).
Moyens demandés
Les frais de séjour de C. Sagastizábal et le voyage de R. Burachik
sont payés par l'IMPA/CNPq.
L'Inria prend à sa charge le voyage de C. Sagastizábal et les frais de
séjour de R. Burachik.
About this document ...
Projets de Coopération INRIA-Brésil
Dossier de Subventions 1996
Copyright © 1997, 1998, 1999,
Ross Moore,
Mathematics Department, Macquarie University, Sydney.
latex2html -split 0 dossier96.tex
Pierre Deransart
2009-02-05