Bonjour,
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"Apprentissage de la communication dans un système multi-agents ouvert,
asynchrone et faiblement couplé" ainsi qu'au pot qui suivra.
La soutenance aura lieu le lundi 17 décembre 2012 à 13h30
Couloir 25-26 salle 105
4 Place Jussieu, 75005 Paris.
--
Le jury sera composé de :
Rapporteurs :
M. Abdel-Illah Mouaddib, Professeur à l'Université de Caen
M. Alain Dutech , Chargé de recherche INRIA
Examinateur :
M. Vincent Chevrier, Maitre de conférence Université de Nancy
M. Patrick Reignier, Professeur à l'Université Grenoble
M. Olivier Sigaud, Professeur à l'Université Pierre et Marie Curie
Directeur de thèse :
M. Nicolas Sabouret, Professeur à l'Université Paris-sud
--
Résumé :
\section*{Résumé}
Dans un système multi-agents, la communication directe permet aux agents,
via l'envoi de messages structurés, d'échanger des informations, de
déléguer des tâches ou de négocier. Dans les travaux actuels, il est
généralement supposé que l'agent connaît la nature
(contenu et destinataire) des messages qu'il doit envoyer ainsi que le
moment où les
envoyer. Mais si l'on se place dans les systèmes multi-agents ouverts (où
les agents peuvent
entrer et sortir) et faiblement couplés (les agents sont conçus de manière
séparée et ne
peuvent donc pas connaître a priori les capacités de leurs pairs), cette
hypothèse n'est plus
valide : les agents ne se « connaissant » pas, ils ne peuvent déterminer à
l'avance quels
messages s'envoyer. L'objectif de cette thèse est par conséquent de
définir des mécanismes
pour permettre aux agents d'apprendre à communiquer avec les autres
agents, en fonction
de leurs objectifs et des changements perçus dans le système.
Dans un premier temps, nous présentons un algorithme d'exploration couplé
à un protocole multi-agent permettant à un agent de construire le contenu
de ses messages et d'associer ces derniers aux états dans lesquels il peut
les envoyer. Ce mécanisme repose sur le caractère introspectif de nos
agents qui ont la capacité de raisonner sur leurs états et leurs actions.
Dans un deuxième temps, nous présentons un mécanisme d'apprentissage par
renforcement permettant à un agent de déterminer quand il doit ou non
communiquer et dans ce cas quel message il doit envoyer. Notre algorithme
repose sur l'utilisation d'une mémoire permettant à l'agent de mémoriser
ses croyances et ses actes de communication envoyés dans le passé ainsi
que sur la définition d'une nouvelle action {\wait} qui permet à l'agent
d'attendre quand il ne doit pas communiquer.
Dans un troisième temps, nous présentons un nouveau modèle de mémoire pour
l'apprentissage de la communication. En effet, suite à l'évaluation de
notre algorithme d'apprentissage, nous avons mis en évidence des problèmes
que nous imputons à l'utilisation d'une mémoire qui n'est pas spécifique à
la communication et qui de ce fait nuit à notre mécanisme d'apprentissage
en créant un ensemble d'états, sur lequel l'algorithme agit, trop
important. Notre modèle de mémoire est basé sur une mémorisation des dates
et des réponses des messages qui ont été exécutés avec succès. Cela permet
de limiter la taille de l'espace d'état sur certains problèmes et de mieux
faire converger l'algorithme d'apprentissage.
Enfin, nous proposons un mécanisme permettant d'extraire le modèle des
actes de communication, c'est-à-dire les préconditions que doit vérifier
la situation de l'agent pour que celui-ci choisisse d'envoyer un message
et les effets attendus de ce message sur le système. Notre proposition
repose sur la politique apprise par l'agent en utilisant notre algorithme
d'apprentissage. À partir de cette politique, nous montrons comment il est
possible d'une part d'apprendre les effets des messages en utilisant les
capacités d'introspection de nos agents. Puis à partir de l'apprentissage
de ces effets, nous proposons d'utiliser un outil de classification pour
déterminer des préconditions généralisées.
En conclusion, ce travail de thèse a mis en avant la nécessité pour les
agents d'apprendre à communiquer et a proposé mécanisme basé sur
l'apprentissage par renforcement et l'utilisation d'une mémoire pour la
construction d'un modèle de messages.
Mots-clés: Système multi-agents, Communication, Apprentissage mono-agent,
Mémoire.
Cordialement,
Shirley Hoet.
lundi 10 décembre 2012
lundi 3 décembre 2012
Invitation à la soutenance de thèse de Cédric Herpson
Bonjour,
J'ai le plaisir de vous inviter à mon pot de thèse, ainsi qu'à la soutenance qui précède.
Ma thèse est intitulée "Approche multi-agents pour la supervision adaptative des systèmes distribués"
La soutenance aura lieu le lundi 10 décembre 2012 à 14h30 dans
l'amphithéâtre Durand, batiment Esclangon,
4 Place Jussieu, 75005 Paris.
--
Le jury sera composé de :
Rapporteur :
M. Philippe MATHIEU, Professeur à l'Université Lille 1
M. Laurent VERCOUTER, Professeur à l'INSA de Rouen
Examinateur :
M. Philippe DAGUE, Professeur à l'Université Paris-Sud
M. Eric COURRIER, Invité
Mme. Maria POTOP-BUTUCARU, Professeur à l'Université Pierre et Marie Curie
M. Patrick TAILLIBERT, Invité
Mme. Catherine TESSIER, Maitre de recherche à l'ONERA
Encadrant :
M. Vincent CORRUBLE, Maitre de conférence à l'Université Pierre et Marie Curie
Directeur de thèse :
Mme. Amal EL FALLAH SEGHROUCHNI, Professeur à l'Université Pierre et Marie Curie
--
Résumé :
Cordialement,
Cédric Herpson.
J'ai le plaisir de vous inviter à mon pot de thèse, ainsi qu'à la soutenance qui précède.
Ma thèse est intitulée "Approche multi-agents pour la supervision adaptative des systèmes distribués"
La soutenance aura lieu le lundi 10 décembre 2012 à 14h30 dans
l'amphithéâtre Durand, batiment Esclangon,
4 Place Jussieu, 75005 Paris.
--
Le jury sera composé de :
Rapporteur :
M. Philippe MATHIEU, Professeur à l'Université Lille 1
M. Laurent VERCOUTER, Professeur à l'INSA de Rouen
Examinateur :
M. Philippe DAGUE, Professeur à l'Université Paris-Sud
M. Eric COURRIER, Invité
Mme. Maria POTOP-BUTUCARU, Professeur à l'Université Pierre et Marie Curie
M. Patrick TAILLIBERT, Invité
Mme. Catherine TESSIER, Maitre de recherche à l'ONERA
Encadrant :
M. Vincent CORRUBLE, Maitre de conférence à l'Université Pierre et Marie Curie
Directeur de thèse :
Mme. Amal EL FALLAH SEGHROUCHNI, Professeur à l'Université Pierre et Marie Curie
--
Résumé :
Le travail présenté dans cette thèse a pour objectif l'étude et la mise en œuvre d'un système de supervision à base d'agents capables de diagnostiquer et réparer collectivement et efficacement un système distribué en présence de communications non fiables. Cette thèse s'est déroulée dans le cadre d'un partenariat industriel au sein du projet Dem@t-Factory.
La supervision d'un système consiste en la détection, l'isolation, l'identification et la réparation des fautes survenant en son sein. Avec l'avènement de systèmes distribués et asynchrones, l'approche traditionnelle de la supervision, centralisée, est aujourd'hui remise en question. En effet, lorsque les communications sont perturbées l'information met un temps indéfini à atteindre sa destination, ce qui augmente le temps de dysfonctionnement du système supervisé.
Cette thèse a donné lieu à l'élaboration un système de supervision distribué : ADS2 (Anytime Distributed Supervision of Distributed Systems). Ce système repose sur une architecture de supervision multi-agents où chaque agent est doté d'une vision locale et de capacités de décision, de diagnostic et de réparation. Cette architecture intègre trois composants : (1) un modèle décisionnel d'agent, (2) un mécanisme distribué de coordination et de resynchronisation de l'état du système par les agents (basé sur la formation de coalitions et le Paxos), et (3) un algorithme local à chaque agent qui entrelace les phases de diagnostic et de réparation afin de réduire la taille de l'espace des diagnostics candidats.
Le système de supervision ADS2 ainsi obtenu est anytime et à même d'adapter automatiquement et dynamiquement son comportement à l'état du système supervisé et des liens de communications. La validation de notre approche a été réalisée sur la base de données et d'hypothèses réelles fournies par le projet Dem@t-Factory. Les résultats obtenus montrent une réduction significative du temps de dysfonctionnement pour un surcoût limité en termes de réparations.
Mots-clés: Systèmes multi-agents, Supervision, Systèmes distribués, Diagnostic, Réparation, Algorithme anytime.
Cordialement,
Cédric Herpson.
-- Cédric Herpson - Lip6/UPMC-CNRS Equipe Systèmes Multi-Agents 4 Place Jussieu, 75005 Paris Tours 25/26 - Bureau 402 - Tel (+33) 1.44.27.53.90 http://www-desir.lip6.fr/~herpsonc/
Invitation à la soutenance de thèse de Stéphanie YOUSSEF
Bonjour à tous,
Vous êtes tous invités à la soutenance de thèse de Mademoiselle Stéphanie Youssef,
Aujourd'hui, Le lundi 3 décembre 2012
à 11 heures
salle 105, Couloir 25-26
Université Pierre et Marie Curie (UPMC)
4 Place Jussieu
75005 Paris
http://www.upmc.fr/en/university/campus2/in_paris_and_the_paris_region/jussieu_campus.html
Venez nombreux !
Ramy et Marie-Minerve
-------- Original Message --------
Bonjour,
J'ai le grand plaisir de vous inviter à ma soutenance de thèse, intitulée
"Designer-assisted Reusable and Optimized Analog Layout Generation
for Nanaometric CMOS Era".
Le lundi 3 décembre 2012
à 11 heures
salle 105, Couloir 25-26
Université Pierre et Marie Curie (UPMC)
4 Place Jussieu
75005 Paris
http://www.upmc.fr/en/university/campus2/in_paris_and_the_paris_region/jussieu_campus.html
Devant le jury composé de :
Pr Francisco FERNANDEZ, Université de Séville, Espagne, Rapporteur
Pr Etienne SICARD, Université de Toulouse, France, Rapporteur
Mme Noëlle LEWIS, Université de Bordeaux, France, Examinateur
M Andreas KAISER, IEMN-ISEN, Lille, France, Examinateur
Pr Alain GREINER, UPMC, Examinateur
Pr Habib MEHREZ, UPMC, Examinateur
M Ramy ISKANDER, UPMC, Examinateur
Mme Marie-Minerve LOUERAT, UPMC, Examinatrice
M François DURBIN, CEA-DAM, Paris, France, Invité
qui sera suivie d'un pot, auquel vous êtes également conviés
salle 002, Maison de la Pédagogie.
Résumé :
Cordialement,
--
Vous êtes tous invités à la soutenance de thèse de Mademoiselle Stéphanie Youssef,
Aujourd'hui, Le lundi 3 décembre 2012
à 11 heures
salle 105, Couloir 25-26
Université Pierre et Marie Curie (UPMC)
4 Place Jussieu
75005 Paris
http://www.upmc.fr/en/university/campus2/in_paris_and_the_paris_region/jussieu_campus.html
Venez nombreux !
Ramy et Marie-Minerve
-------- Original Message --------
| Subject: | Invitation à la soutenance de thèse de Stéphanie YOUSSEF |
|---|---|
| Date: | Tue, 27 Nov 2012 13:21:34 +0100 |
| From: | Stephanie YOUSSEF <Stephanie.Youssef@lip6.fr> |
| To: | tout-lip6@lip6.fr, m1-sesi@soc.lip6.fr, m2-sesi@soc.lip6.fr |
Bonjour,
J'ai le grand plaisir de vous inviter à ma soutenance de thèse, intitulée
"Designer-assisted Reusable and Optimized Analog Layout Generation
for Nanaometric CMOS Era".
Le lundi 3 décembre 2012
à 11 heures
salle 105, Couloir 25-26
Université Pierre et Marie Curie (UPMC)
4 Place Jussieu
75005 Paris
http://www.upmc.fr/en/universi
Devant le jury composé de :
Pr Francisco FERNANDEZ, Université de Séville, Espagne, Rapporteur
Pr Etienne SICARD, Université de Toulouse, France, Rapporteur
Mme Noëlle LEWIS, Université de Bordeaux, France, Examinateur
M Andreas KAISER, IEMN-ISEN, Lille, France, Examinateur
Pr Alain GREINER, UPMC, Examinateur
Pr Habib MEHREZ, UPMC, Examinateur
M Ramy ISKANDER, UPMC, Examinateur
Mme Marie-Minerve LOUERAT, UPMC, Examinatrice
M François DURBIN, CEA-DAM, Paris, France, Invité
qui sera suivie d'un pot, auquel vous êtes également conviés
salle 002, Maison de la Pédagogie.
Résumé :
Électronique et semi-conducteurs évoluent rapidement. Des nouvelles technologies sont introduites pour adapter la structure CMOS à la gravure nanométrique. La réduction des délais de mise sur le marché nécessite un flot de conception analogique fiable. La génération automatique du dessin des masques est un élément clé de ce flot dont les défis augmentent à mesure que la finesse de gravure augmente.
La thèse propose un flot réutilisable et optimisé pour faire face aux défis de conception de masques de circuits alogiques. Il fait partie du projet CHAMS développé en LIP6. Tout d'abord, nous avons conçu une bibliothèque de primitives analogiques qui sont paramétrés, réutilisables, avec différents styles de Layout. Un langage de description a été introduit pour faciliter la migration technologique et le calcul des paramètres induits par le Layout. Ensuite, nous avons développé des algorithmes pour placer les circuits complexes en utilisant la bibliothèque de primitives, les fichiers de technologie et les contraintes géométriques du concepteur. Une représentation topologique du plan de masse et des contraintes telle que l´ appariement, la symétrie et la proximité ont été introduites. Enfin, nous avons créé un environnement logiciel pour optimiser le Layout suivant différents facteur de forme afin de minimiser la surface et le routage. La génération des masques documente directement la netlist par les paramètres parasites dépendants du Layout.
Ce travail offre une solution fiable pour permettre une génération rapide, optimisée en quantifiant les parasites du layout de circuits analogiques complexes.
Cordialement,
--
Stephanie YOUSSEF
Ph.D. Student
Université Pierre et Marie Curie (Paris 6)
LIP6 (Laboratoire d'Informatique de Paris 6)
System on Chip Department (SOC, ex ASIM)
Analog and Digital Integrated Circuits Design & Tools Team (CIAN)
4 Place Jussieu, 75005 Paris, France
Tel: +33 1 44 27 71 08
Fax: +33 1 44 27 72 80
Ph.D. Student
Université Pierre et Marie Curie (Paris 6)
LIP6 (Laboratoire d'Informatique de Paris 6)
System on Chip Department (SOC, ex ASIM)
Analog and Digital Integrated Circuits Design & Tools Team (CIAN)
4 Place Jussieu, 75005 Paris, France
Tel: +33 1 44 27 71 08
Fax: +33 1 44 27 72 80
vendredi 30 novembre 2012
Invitation à la soutenance de thèse de Diana Zeaiter Joumblatt
Bonjour,
J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée:
"Prediction of User Dissatisfaction with Network Application Performance at End-Hosts"
Devant le jury composé de:
M. Mark Crovella Rapporteur Université de Boston
M. James Kurose Rapporteur Université de Massachusetts Amherst
M. Serge Fdida Examinateur CNRS et UPMC Sorbonne Universités
M. Krishna Gummadi Examinateur Max Planck Institute for Software Systems
M. Thomas Karagiannis Examinateur Microsoft Research
Mme Renata Teixeira Directrice de thèse CNRS et UPMC Sorbonne Universités
La soutenance aura lieu le Mardi 18 Décembre à 16h en salle 105 couloir 25-26 (1er étage) au Laboratoire d'Informatique de Paris 6 (LIP6), 4 Place Jussieu, 75005 Paris.
Vous êtes également conviés au pot qui suivra en salle 101 couloir 26-00 (1er étage).
Cordialement,
Diana Zeaiter Joumblatt
PhD student at NPA (LIP6)
__________________________________________________________________________________
Abstract
Network disruptions can adversely impact a user's web browsing, cause video and audio interruptions, or render web sites and services unreachable. Such problems are frustrating to Internet users, who are oblivious to the underlying problems, but completely exposed to the service degradations. Ideally, if a user's end system could predict when the user will be dissatisfied with the performance of networked applications, then the system could launch automated tools to improve the user's experience without user intervention. Example tools include root cause diagnosis to assist the user in fixing the problem, or resource managers (e.g., bandwidth or video playout buffers) to tune the allocation of network resources to better serve the user. Clearly, the first step for such (end-host) diagnostic or resource management tools is a methodology to automatically predict performance degradations in the network that can affect a user's perception of application performance. Unfortunately, predicting user dissatisfaction with application performance is not as simple as identifying outliers in typical network metrics such as high round-trip times or loss rates. Understanding user perception requires direct feedback from end users.
This thesis develops a methodology to automatically predict user dissatisfaction with network application performance. We follow an empirical approach. We design HostView to collect network performance data annotated with user feedback at the end-hosts. When designing HostView, several questions arise concerning user privacy concerns, (un)willingness to provide feedback and the performance impact on user machines. Our first contribution is to present the results of a survey we did with 400 computer scientists to collect their perspectives on privacy issues and willingness to provide feedback. Overall, we find that users are willing to run an end-host measurement tool if we address their privacy concerns with features such as data anonymization and a pause button to temporarily stop data logging. We also find that a large portion of users will provide feedback about network performance but not more than three times per day. Our second contribution is the design and implementation of HostView. Guided by the survey results, we implement a first prototype of HostView to evaluate the CPU overhead of candidate techniques to collect network performance data. Then, we implement a second prototype of HostView to tune our algorithm for collecting user feedback to minimize the user annoyance. We recruit users in a large-scale release of HostView. Our user population connects from different networking environments (e.g., work, home, or coffee shop). Each of these environments can possibly have different network performance. Thus, we investigate if the network performance depends on the networking environment. We compare the distributions of RTTs and data rates across pairs of environments. Our third contribution is to show that for most users RTTs and download data rates are significantly different across networking environments. The mix of application determines data rates but it is the environment that determines RTTs. These results illustrate that statistical differences in network performance for a single user do not always indicate the presence of network performance degradations that could cause user dissatisfaction, but simply the presence of different application mixes or networking environments.
Finally, our fourth contribution is to develop predictors of user dissatisfaction with network application performance. The main challenges of modeling user dissatisfaction with network application performance comes from the scarcity of user feedback and the fact that poor performance episodes are rare. We develop a methodology to build training sets in face of these challenges. Then, we show that predictors based on non-linear support vector machine achieve higher true positive rates than predictors based on linear models. Our predictors consistently achieve true positive rates above 0.9. We also quantify the benefits of building per-application predictors over building general predictors that try to anticipate user dissatisfaction across multiple applications.
mardi 27 novembre 2012
Annonce de soutenance de thèse de VO Duc An
Bonjour,
Veuillez trouver ci-dessous l'annonce de soutenance de thèse de VO Duc An
(UMMISCO, IRD/UPMC).
Cordialement,
Vincent Corruble
Bonjour,
J'ai le plaisir de vous inviter à la soutenance de ma thèse de doctorat:
"Une architecture opérationnelle pour la gestion de niveaux de
représentation multiples dans les modèles à bases d'agents"
qui se tiendra le 30 Novembre 2012 (voir lieu et horaires ci-dessous)
Le jury sera composé de:
M. Guillaume HUTZLER, Maître de Conférence HDR, Université Evry Val
d'Essonne (rapporteur)
M. Christophe LE PAGE, Chargé de Recherches, CIRAD (rapporteur)
M. Philippe CAILLOU, Maître de Conférences, Université Paris 11
(examinateur)
M. Vincent CORRUBLE, Maître de Conférences, Université Paris 6
(examinateur)
M. Samuel THIRIOT, Ingénieur de Recherche, EDF R&D (examinateur)
M. Jean-François PERROT, Professeur Emérite, Université Paris 6 (invité)
M. Jean-Daniel ZUCKER, Directeur de Recherches, UMI 209 UMMISCO, IRD
(invité)
M. Alexis DROGOUL, Directeur de Recherches, UMI 209 UMMISCO, IRD
(Directeur de thèse)
M. Tuong-Vinh HO, Professeur de l'AUF, MSI, IFI (Co-directeur de thèse)
La soutenance se passera en même temps à Hanoi et à Paris par
visio-conférence:
1. Hanoi
Amphithéâtre Marcel Dassault
Institut de la Francophonie pour l'Informatique (IFI)
ruelle 42 Ta Quang Buu, Hai Ba Trung, Hanoi.
de 14h30 à 17h (heure vietnamienne)
2. Paris
Université Paris 6
Métro Jussieu
Grande salle de visioconférence
RDC du bâtiment Atrium
Couloir jaune Porte « Entrée 2 ».
de 9h30 à 12h00 (heure française).
Cordialement,
VO Duc An.
_______________________________________________________
Résumé de la thèse
Une architecture opérationnelle pour la gestion de niveaux de représentation
multiples dans les modèles à bases d'agents.
La modélisation à base d'agent (MBA) est une approche de modélisation qui
peut être considérée comme un croisement réussi entre la modélisation
individucentrée, qui tire son origine de modèles en écologie, et la
programmation orientée objet (POO), provenant, elle, de l'informatique.
Comme la première, elle vise à construire des modèles génératifs où le
comportement général du modèle est le résultat des interactions entre ses
composants; comme la seconde, elle permet de construire des modèles de
façon modulaire et progressive, facilitant leur conception et leur
réutilisation par les modélisateurs. En revanche, elle hérite aussi des
limites de ses deux ancêtres, en particulier l'absence d'abstractions
dédiées à la représentation et à la gestion de plusieurs niveaux
d'abstraction dans un même modèle.
Je décris dans ma thèse une proposition conceptuelle et opérationnelle qui
introduit la possibilité de représentation multi-niveaux dans une approche
de modélisation purement à base d'agents. Cette proposition consiste en
une évolution du métamodèle généralement associée à la MBA et une
implémentation de ce métamodèle dans le noyau de la plate-forme GAMA
(accompagné d'un enrichissement du langage GAML). Contrairement aux
contributions similaires proposées dans la littérature, qui sont, soit
purement conceptuelles, soit spécifiques à un domaine
d'application, celle que je propose est générique, entièrement implémentée
et immédiatement réutilisable par des modélisateurs. Actuellement, elle
est déjà utilisée dans la conception de plusieurs modèles à grande
échelle.
Ma contribution a donc été formalisée après une analyse exhaustive des
besoins des modélisateurs travaillant sur les modèles à base d'agent
multi-niveaux et dans le souci de leur fournir des abstractions
réutilisables et génériques. Etant donné que les méta-modèles MBA actuels
suivent les principes de la POO (i.e., un modèle étant un ensemble de
"classes" d'agents qui fournissent à ces derniers des attributs et des
opérations, et qui peuvent être spécialisées par héritage entre ces
"classes"), j'ai proposé une extension de ce méta-modèle qui intègre et
généralise
les notions suivantes: la description d'une relation d'"hôte" entre
"classes" en plus de celle de l'héritage, la description explicite de
"populations" d'agents (instances de la même "classe" appartiennent au
même hôte), la possibilité d'associer une échelle temporelle et spatiale à
chaque "classe", et l'ajout d'un opérateur de "migration" entre les
populations pour compléter l'"instanciation".
Ce méta-modèle a été implémenté dans une plate-forme open-source, GAMA,
initialement développée en 2006 comme une extension de la plate-forme Repast
avec le support explicite des systèmes d'information géographique (SIG).
J'ai complètement refactorisé le méta-modèle de GAMA et enrichi son
langage de modélisation, GAML, afin de le rendre capable de supporter le
développement de modèle à base d'agent multi-niveaux. Cette évolution (1)
permet aux modélisateurs de représenter plusieurs niveaux d'organisations
et leurs dynamiques dans les modèles, (2) leur permet de procéder
méthodologiquement de façon "bottom-up" à l'introduction de capacités
"multi-niveaux" dans des modèle "mono-niveau", sans casser ou même changer
le modèle initial, (3) ne remet pas en cause les concepts fondamentaux de
la MBA, car le méta-modèle classique de la MBA devient un sous-ensemble
particulier de ma proposition.
Cette nouvelle architecture a été validée avec succès au cours de
l'élaboration, par des modélisateurs indépendants, de deux modèles
multi-niveaux sur la plate-forme GAMA: le premier concerne l'organisation
des évacuations en réponse à une alerte au tsunami dans une ville côtière
du centre du Vietnam, le second traite de l'évaluation des politiques de
lutte contre les invasions de ravageurs du riz dans la région du delta du
Mékong. Le développement de plusieurs nouveaux modèles, ainsi qu'un
portage du méta-modèle à d'autres plate-formes, sont actuellement à
l'étude.
Veuillez trouver ci-dessous l'annonce de soutenance de thèse de VO Duc An
(UMMISCO, IRD/UPMC).
Cordialement,
Vincent Corruble
Bonjour,
J'ai le plaisir de vous inviter à la soutenance de ma thèse de doctorat:
"Une architecture opérationnelle pour la gestion de niveaux de
représentation multiples dans les modèles à bases d'agents"
qui se tiendra le 30 Novembre 2012 (voir lieu et horaires ci-dessous)
Le jury sera composé de:
M. Guillaume HUTZLER, Maître de Conférence HDR, Université Evry Val
d'Essonne (rapporteur)
M. Christophe LE PAGE, Chargé de Recherches, CIRAD (rapporteur)
M. Philippe CAILLOU, Maître de Conférences, Université Paris 11
(examinateur)
M. Vincent CORRUBLE, Maître de Conférences, Université Paris 6
(examinateur)
M. Samuel THIRIOT, Ingénieur de Recherche, EDF R&D (examinateur)
M. Jean-François PERROT, Professeur Emérite, Université Paris 6 (invité)
M. Jean-Daniel ZUCKER, Directeur de Recherches, UMI 209 UMMISCO, IRD
(invité)
M. Alexis DROGOUL, Directeur de Recherches, UMI 209 UMMISCO, IRD
(Directeur de thèse)
M. Tuong-Vinh HO, Professeur de l'AUF, MSI, IFI (Co-directeur de thèse)
La soutenance se passera en même temps à Hanoi et à Paris par
visio-conférence:
1. Hanoi
Amphithéâtre Marcel Dassault
Institut de la Francophonie pour l'Informatique (IFI)
ruelle 42 Ta Quang Buu, Hai Ba Trung, Hanoi.
de 14h30 à 17h (heure vietnamienne)
2. Paris
Université Paris 6
Métro Jussieu
Grande salle de visioconférence
RDC du bâtiment Atrium
Couloir jaune Porte « Entrée 2 ».
de 9h30 à 12h00 (heure française).
Cordialement,
VO Duc An.
_______________________________________________________
Résumé de la thèse
Une architecture opérationnelle pour la gestion de niveaux de représentation
multiples dans les modèles à bases d'agents.
La modélisation à base d'agent (MBA) est une approche de modélisation qui
peut être considérée comme un croisement réussi entre la modélisation
individucentrée, qui tire son origine de modèles en écologie, et la
programmation orientée objet (POO), provenant, elle, de l'informatique.
Comme la première, elle vise à construire des modèles génératifs où le
comportement général du modèle est le résultat des interactions entre ses
composants; comme la seconde, elle permet de construire des modèles de
façon modulaire et progressive, facilitant leur conception et leur
réutilisation par les modélisateurs. En revanche, elle hérite aussi des
limites de ses deux ancêtres, en particulier l'absence d'abstractions
dédiées à la représentation et à la gestion de plusieurs niveaux
d'abstraction dans un même modèle.
Je décris dans ma thèse une proposition conceptuelle et opérationnelle qui
introduit la possibilité de représentation multi-niveaux dans une approche
de modélisation purement à base d'agents. Cette proposition consiste en
une évolution du métamodèle généralement associée à la MBA et une
implémentation de ce métamodèle dans le noyau de la plate-forme GAMA
(accompagné d'un enrichissement du langage GAML). Contrairement aux
contributions similaires proposées dans la littérature, qui sont, soit
purement conceptuelles, soit spécifiques à un domaine
d'application, celle que je propose est générique, entièrement implémentée
et immédiatement réutilisable par des modélisateurs. Actuellement, elle
est déjà utilisée dans la conception de plusieurs modèles à grande
échelle.
Ma contribution a donc été formalisée après une analyse exhaustive des
besoins des modélisateurs travaillant sur les modèles à base d'agent
multi-niveaux et dans le souci de leur fournir des abstractions
réutilisables et génériques. Etant donné que les méta-modèles MBA actuels
suivent les principes de la POO (i.e., un modèle étant un ensemble de
"classes" d'agents qui fournissent à ces derniers des attributs et des
opérations, et qui peuvent être spécialisées par héritage entre ces
"classes"), j'ai proposé une extension de ce méta-modèle qui intègre et
généralise
les notions suivantes: la description d'une relation d'"hôte" entre
"classes" en plus de celle de l'héritage, la description explicite de
"populations" d'agents (instances de la même "classe" appartiennent au
même hôte), la possibilité d'associer une échelle temporelle et spatiale à
chaque "classe", et l'ajout d'un opérateur de "migration" entre les
populations pour compléter l'"instanciation".
Ce méta-modèle a été implémenté dans une plate-forme open-source, GAMA,
initialement développée en 2006 comme une extension de la plate-forme Repast
avec le support explicite des systèmes d'information géographique (SIG).
J'ai complètement refactorisé le méta-modèle de GAMA et enrichi son
langage de modélisation, GAML, afin de le rendre capable de supporter le
développement de modèle à base d'agent multi-niveaux. Cette évolution (1)
permet aux modélisateurs de représenter plusieurs niveaux d'organisations
et leurs dynamiques dans les modèles, (2) leur permet de procéder
méthodologiquement de façon "bottom-up" à l'introduction de capacités
"multi-niveaux" dans des modèle "mono-niveau", sans casser ou même changer
le modèle initial, (3) ne remet pas en cause les concepts fondamentaux de
la MBA, car le méta-modèle classique de la MBA devient un sous-ensemble
particulier de ma proposition.
Cette nouvelle architecture a été validée avec succès au cours de
l'élaboration, par des modélisateurs indépendants, de deux modèles
multi-niveaux sur la plate-forme GAMA: le premier concerne l'organisation
des évacuations en réponse à une alerte au tsunami dans une ville côtière
du centre du Vietnam, le second traite de l'évaluation des politiques de
lutte contre les invasions de ravageurs du riz dans la région du delta du
Mékong. Le développement de plusieurs nouveaux modèles, ainsi qu'un
portage du méta-modèle à d'autres plate-formes, sont actuellement à
l'étude.
Invitation à la soutenance de thèse de Stéphanie YOUSSEF
begin:vcard
fn:Stephanie Youssef
n:Youssef;Stephanie
email;internet:stephanie.youssef@lip6.fr
tel;work:University Pierre et Marie Curie (Paris 6), LIP6 (Laboratoire d'Informatique de Paris 6), System on Chip Department (SOC, ex ASIM), Analog andDigital Integrated Circuits Design & Tools Team (CIAN)
tel;fax:+33 1 44 27 72 80
tel;cell:+33 1 44 27 71 08
version:2.1
end:vcard
Bonjour,
J'ai le grand plaisir de vous inviter à ma soutenance de thèse, intitulée
"Designer-assisted Reusable and Optimized Analog Layout Generation
for Nanaometric CMOS Era".
Le lundi 3 décembre 2012
à 11 heures
salle 105, Couloir 25-26
Université Pierre et Marie Curie (UPMC)
4 Place Jussieu
75005 Paris
http://www.upmc.fr/en/university/campus2/in_paris_and_the_paris_region/jussieu_campus.html
Devant le jury composé de :
Pr Francisco FERNANDEZ, Université de Séville, Espagne, Rapporteur
Pr Etienne SICARD, Université de Toulouse, France, Rapporteur
Mme Noëlle LEWIS, Université de Bordeaux, France, Examinateur
M Andreas KAISER, IEMN-ISEN, Lille, France, Examinateur
Pr Alain GREINER, UPMC, Examinateur
Pr Habib MEHREZ, UPMC, Examinateur
M Ramy ISKANDER, UPMC, Examinateur
Mme Marie-Minerve LOUERAT, UPMC, Examinatrice
M François DURBIN, CEA-DAM, Paris, France, Invité
qui sera suivie d'un pot, auquel vous êtes également conviés
salle 002, Maison de la Pédagogie.
Résumé :
Cordialement,
--
fn:Stephanie Youssef
n:Youssef;Stephanie
email;internet:stephanie.youssef@lip6.fr
tel;work:University Pierre et Marie Curie (Paris 6), LIP6 (Laboratoire d'Informatique de Paris 6), System on Chip Department (SOC, ex ASIM), Analog andDigital Integrated Circuits Design & Tools Team (CIAN)
tel;fax:+33 1 44 27 72 80
tel;cell:+33 1 44 27 71 08
version:2.1
end:vcard
Bonjour,
J'ai le grand plaisir de vous inviter à ma soutenance de thèse, intitulée
"Designer-assisted Reusable and Optimized Analog Layout Generation
for Nanaometric CMOS Era".
Le lundi 3 décembre 2012
à 11 heures
salle 105, Couloir 25-26
Université Pierre et Marie Curie (UPMC)
4 Place Jussieu
75005 Paris
http://www.upmc.fr/en/universi
Devant le jury composé de :
Pr Francisco FERNANDEZ, Université de Séville, Espagne, Rapporteur
Pr Etienne SICARD, Université de Toulouse, France, Rapporteur
Mme Noëlle LEWIS, Université de Bordeaux, France, Examinateur
M Andreas KAISER, IEMN-ISEN, Lille, France, Examinateur
Pr Alain GREINER, UPMC, Examinateur
Pr Habib MEHREZ, UPMC, Examinateur
M Ramy ISKANDER, UPMC, Examinateur
Mme Marie-Minerve LOUERAT, UPMC, Examinatrice
M François DURBIN, CEA-DAM, Paris, France, Invité
qui sera suivie d'un pot, auquel vous êtes également conviés
salle 002, Maison de la Pédagogie.
Résumé :
Électronique et semi-conducteurs évoluent rapidement. Des nouvelles technologies sont introduites pour adapter la structure CMOS à la gravure nanométrique. La réduction des délais de mise sur le marché nécessite un flot de conception analogique fiable. La génération automatique du dessin des masques est un élément clé de ce flot dont les défis augmentent à mesure que la finesse de gravure augmente.
La thèse propose un flot réutilisable et optimisé pour faire face aux défis de conception de masques de circuits alogiques. Il fait partie du projet CHAMS développé en LIP6. Tout d'abord, nous avons conçu une bibliothèque de primitives analogiques qui sont paramétrés, réutilisables, avec différents styles de Layout. Un langage de description a été introduit pour faciliter la migration technologique et le calcul des paramètres induits par le Layout. Ensuite, nous avons développé des algorithmes pour placer les circuits complexes en utilisant la bibliothèque de primitives, les fichiers de technologie et les contraintes géométriques du concepteur. Une représentation topologique du plan de masse et des contraintes telle que l´ appariement, la symétrie et la proximité ont été introduites. Enfin, nous avons créé un environnement logiciel pour optimiser le Layout suivant différents facteur de forme afin de minimiser la surface et le routage. La génération des masques documente directement la netlist par les paramètres parasites dépendants du Layout.
Ce travail offre une solution fiable pour permettre une génération rapide, optimisée en quantifiant les parasites du layout de circuits analogiques complexes.
Cordialement,
--
Stephanie YOUSSEF
Ph.D. Student
Université Pierre et Marie Curie (Paris 6)
LIP6 (Laboratoire d'Informatique de Paris 6)
System on Chip Department (SOC, ex ASIM)
Analog and Digital Integrated Circuits Design & Tools Team (CIAN)
4 Place Jussieu, 75005 Paris, France
Tel: +33 1 44 27 71 08
Fax: +33 1 44 27 72 80
Ph.D. Student
Université Pierre et Marie Curie (Paris 6)
LIP6 (Laboratoire d'Informatique de Paris 6)
System on Chip Department (SOC, ex ASIM)
Analog and Digital Integrated Circuits Design & Tools Team (CIAN)
4 Place Jussieu, 75005 Paris, France
Tel: +33 1 44 27 71 08
Fax: +33 1 44 27 72 80
Inscription à :
Articles (Atom)