lundi 14 décembre 2009

Rappel: invitation à la soutenance de thèse de Daniel FERNANDES MACEDO

Bonjour,

C'est avec le plus grand plaisir que je vous invite à ma soutenance de
thèse intitulée « Self-Configuration of Multi-Hop Wireless Networks »
ainsi qu'au pot qui suivra.

La soutenance se déroulera le 18 Décembre 2009 à 10h30, au LIP6 salle 550
- 5ème étage (Site Passy-Kennedy)
Le pot se déroulera en salle 549 - 5ème étage (Site Passy-Kennedy)


========
Accès
========

LIP6 : 104 avenue du Président Kennedy, 75016 Paris.
Plan d'accès : http://www.lip6.fr/informations/comment.php
IMPORTANT: Pour les visiteurs il faut demander un badge à l'accueil. Il
est nécessaire une pièce d'identité.

=========
Abstract
=========

This thesis was developed in the context of wireless multi-hop networks.
Those networks work by packet forwarding over wireless links (also called
hops). Due to the very high dynamics of the environment,
self-configuration approaches are used within the network protocols. In
those approaches, the parameters of applications and protocols are
automatically adjusted whenever a change in the environment occurs. Thus,
in this thesis we propose a new approach for the sharing of
self-configuration and cross-layering information, as well as two
self-configuration algorithms. The first algorithm improves routing on
wireless links having a dynamic data rate and transmission power. We
present an analytical model to support the results of our routing
extensions. The second algorithm that we propose uses control theory and
fuzzy logic to adapt the query mechanism of a peer-to-peer file sharing
application according to the load experienced on the network.

=========
Résumé
=========

Cette thèse s'insère dans le contexte des réseaux sans fil à multi-sauts.
De tels réseaux se communiquent par des liens hertziens par le relayage de
paquets (les sauts). La très haute dynamique dans cet environnement force
l'utilisation des approches d'auto-configuration, c'est-à-dire des
approches où les paramètres des terminaux sont adaptés automatiquement
face aux changements de l'environnement. Nous proposons ainsi une nouvelle
approche de partage d'informations d'auto-configuration et de cross-layer,
basée sur le concept du plan de d'information, ainsi que deux algorithmes
de auto-configuration qui les utilisent. Nous commençons la thèse avec
l'architecture et l'évaluation du logiciel du plan d'information. Ensuite
nous présentons et évaluons les deux algorithmes d'auto-configuration
proposés. Le premier algorithme améliore le routage en prenant en compte
la bande passante et la puissance de transmission des liens sans fil
hertziens. Nous présentons un modèle mathématique pour ce problème comme
support à notre proposition. Le deuxième algorithme utilise la théorie de
contrôle et la logique floue pour adapter le mécanisme d'enquêtes d'une
application pair à pair à la charge du réseau.

========
Jury
========

- M. Khaldoun AL AGHA, Professeur à l'Université d'Orsay (Rapporteur)
- M. André-Luc Beylot, Professeur à l'ENSEEIHT (Rapporteur)
- M. Mario GERLA, Professeur à l'Université de Californie, Los Angeles
(Examinateur)
- M. Serge FDIDA, Professeur à l'Université Pierre et Marie Curie
(Examinateur)
- M. José M. NOGUEIRA, Professeur à l'Université Fédérale de Minas Gerais
(Co-encadrant)
- M. Guy PUJOLLE, Professeur à l'Université Pierre et Marie Curie
(Directeur de thèse)

Cordialement,


Daniel FERNANDES MACEDO

--
Daniel Fernandes Macedo
Daniel.Macedo@rp.lip6.fr

PhD student
Université Pierre et Marie Curie
Laboratoire d'Informatique Paris VI
http://www-rp.lip6.fr/~macedo

mercredi 9 décembre 2009

Invitation à la soutenance de thèse de Vasilis FREIDERIKOS.

Bonjour,
 
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"Architectures Autonomiques pour le Réseau Local Domestique / Autonomic Architectures for Home Networks".
La soutenance aura lieu le :
 
===========
Lundi 14 Décembre 2009 à 13h00, au LIP6 - salle 847 - 8ème étage (Site Passy-Kennedy)
===========
 
Vous êtes également invités au pot qui suivra en salle 555 - 5ème étage (Site Passy-Kennedy) 
===========
Accès
===========
LIP6 : 104 avenue du Président Kennedy, 75016 Paris.
Plan d'accès :
http://www.lip6.fr/informations/comment.php
Demander un badge visiteur à l'accueil et prévoir une pièce d'identité.
 
===========
Résumé
===========
Le futur réseau de domicile se verra transformé en réseau maillé, multi-technologies avec des possibilités d'acheminements multiples, afin d'offrir de nouveaux services et dispositifs avec une couverture étendue et de très hauts débits de données vers l' ensemble des terminaux de l'habitat. Cependant cette architecture étendue est susceptible d'augmenter sensiblement la complexité de la gestion et du contrôle, qui peuvent se révéler à un grave problème tant pour les utilisateurs que pour les opérateurs. Il affectera les utilisateurs, car ils ne sont pas nécessairement des experts réseaux et les opérateurs car ils auront à gérer un réseau infiniment croissant avec des millions d'appareils. Il est donc important que ces réseaux soient revus pour intégrer dans leur architecture fondamentale la capacité d'autogestion. Cette thèse porte sur l'application des technologies appelées  «autonomiques» afin de proposer un cadre complet pour une gestion du réseau de domicile distribuée, déclenchée localement, et basée sur la connaissance mutualisée. Un modèle concret d'architecture autonome pour le réseau domestique ainsi que des contributions à la gestion de la QoS, l'auto-réparation, la supervision et l'analyse des causes, sont proposés.
 
===========
Abstract
===========
Next-generation home networks are expected to evolve into multi-technology, multipath mesh networks to support future services and devices with extended coverage and ultra broadband data rates throughout the home area. However this extended architecture is likely to significantly increase management and control complexity, which may become a serious problem for both end-users and operators. End-users will be affected since they are not necessarily network experts, whereas operators will have to manage an ever-expanding network incorporating millions of devices. It is therefore important to redesign such networks in order to embed self-management capabilities. This thesis applies the principles of "autonomic" systems to provide a complete framework for the distributed, knowledge-based and locally triggered management of home-network equipment. A concrete architectural model for an autonomic home network is defined. Contributions to QoS management, self-healing, supervision and root cause analysis are also presented.
 
===========
Jury
===========
 
- Guy PUJOLLE, professeur à l'Université Pierre & Marie Curie, Paris (directeur de thèse)
- Sylvain MEYER, ingénieur de recherche à Orange Labs, Lannion (co-encadrant et examinateur)
- Dominique GAÏTI, professeur à l'Université de Technologie de Troyes (rapporteur)
- Ulf KÖRNER, professeur à l'Université de Lund, Suède (rapporteur)
- Thierry COUPAYE, ingénieur de recherche à Orange Labs, Grenoble (examinateur)
- Harry PERROS, professeur à l'Université d'état de Caroline du Nord, Etats-Unis (examinateur)
- Christian QUEINNEC, professeur à l'Université Pierre & Marie Curie, Paris (examinateur)
 
Cordialement,
 
Vasilis Freiderikos
 
-------------------------------------------------------------
Vasilis Freiderikos
PHARE - LIP6 - UPMC - Paris Universitas
E-mail: vasilis.freiderikos@lip6.fr
 

 


 

 

jeudi 3 décembre 2009

Invitation à la soutenance de thèse de Salim Nahle, Mercredi 9 Décembre à 16h00, salle 549

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée
"Algorithmes d'Amélioration de Capacité pour les Réseaux Maillés Sans Fils
"

La soutenance se déroulera le Mercredi 9 Décembre 2009 à 16h00, au LIP6
salle 549 - 5ème étage (Site Passy-Kennedy).

Vous êtes également invités au pot qui suivra.


Accès

LIP6 : 104 avenue du Président Kennedy, 75016 Paris.

Plan d'accès : http://www.lip6.fr/informations/comment.php

Demander un badge visiteur à l'accueil et prévoir une pièce d'identité.

=========

Résumé

Cette thèse a pour objectif d'améliorer l'équité et la capacité des
réseaux maillés sans fil. Elle comporte deux parties principales: Les
réseaux maillés basés sur la technologie WI-FI (Wi-Fi-based wireless mesh
networks), et les réseaux maillés basés sur la technologie WiMAX (WiMAX
Mesh Networks).

Dans la première partie, on étudie le problème d'équité dans les réseaux
maillés sans fil basés sur la technologie Wi-Fi. On propose un algorithme
distribué pour améliorer l'équité et la capacité des réseaux. Cet
algorithme est basé sur l'utilisation d'une deuxième file d'attente par
nœud dédié pour stocker les paquets des autres nœuds. De plus, il change
les paramètres des contentions inversement proportionnels aux débits
équitables calculés, en se basant sur le 'weighted contention graph'. On
montre par simulation sur OMNET++ l'efficacité de notre algorithme en
termes de débit et d'équité.

Dans la deuxième partie et afin d'améliorer la capacité équitable dans les
réseaux maillés sans fil basés sur la technologie Wi-Fi, on propose des
algorithmes de routage et d'ordonnancement pour les réseaux maillés
exploitant un seul canal. Ensuite, on étudie les réseaux maillés WiMAX
multi-canaux. On propose une métrique de routage (appelé MCOP 'Multiple
Channel One Pass') qui prend en compte les 'burst profiles' et les
'goulots d'étranglement' dans le cas d'utilisation de plusieurs canaux. On
montre par simulation l'efficacité du routage basé sur cette métrique.
Enfin, on propose des algorithmes de placement des nœuds dans un réseau
maillé sans fil WIMAX, dont le but est de minimiser le nombre de stations
nécessaires pour assurer une couverture totale d'un itinéraire pour un
débit donné.

--

Jury
Tijani Chahed Rapporteur, Professeur, TELECOM et Management SudParis
Fabrice Valois Rapporteur, Professeur, INSA-Lyon
Vishal Misra Examinateur, Professeur, Columbia University
Samir Tohme Examinateur, Professeur, Université de Versailles - UVSQ
Sébastien Tixeuil Examinateur, Professeur, UPMC
Serge Fdida Directeur de thèse, Professeur, UPMC
Naceur Malouch Encadrant, Maıtre de Conférences, UPMC

--
Salim Nahle

Laboratoire Informatique de Paris 6 (LIP6)
104, avenue du Président Kennedy
75016 Paris

http://www-rp.lip6.fr/~nahle/

dimanche 29 novembre 2009

Soutenance de Thèse de Xavier Renault

Bonjour à tous,


J'ai le plaisir de vous inviter à ma soutenance de thèse de doctorat
intitulée :

"Mise en oeuvre de notations standardisées, formelles et semi-
formelles dans un processus de développement de systèmes embarqués
temps-réel répartis."

La soutenance se déroulera le 3 décembre 2009, à 14h dans les locaux
du LIP6 :

salle 549
104 avenue du Président Kennedy
75016 Paris

Vous êtes également conviés au pot qui suivra.

Pour les visiteurs extérieurs au LIP6, veuillez penser à vous munir
d'une pièce d'identité.

Résumé :

Dans un processus d'ingénierie dirigée par les modèles (IDM),
l'ingénieur modélise son système à l'aide d'une notation semi-
formelle, le valide puis l'implante. L'étape de validation est
cruciale pour les systèmes temps-réel répartis et embarqués (TR2E),
pour s'assurer de leur bon fonctionnement logique ou temporel.
Cependant, une démarche IDM n'est pas suffisante car elle n'indique
pas comment utiliser les modèles pour faire des analyses. Il est
nécessaire d'adopter une démarche d'Ingénierie Dirigée par les
Vérifications et les Validations (IDV2) pour s'assurer que le système
est correctement construit, et qu'il satisfait un ensemble de
propriétés spécifiées en amont dans le processus de développement.

Cette thèse propose un processus de développement, de validation et de
vérification basé sur des notations formelles, et dédié aux
applications TR2E. Le langage AADL (Architecture Analysis and Design
Language) est utilisé comme notation pivot. Le processus proposé prend
en compte les aspects comportementaux de l'application et les aspects
architecturaux de l'exécutif. Il repose sur des notations
standardisées, pour faire face aux problèmes d'interopérabilités des
outils mis en oeuvre.

Notre démarche permet d'obtenir des retours aussi bien à propos de
l'applicatif que de l'exécutif, et permet de corriger ou modifier les
modèles dans un processus de développement itératif. Au cours de
notre démarche, nous transformons les spécifications AADL vers
différentes notations standardisées : les réseaux de Petri pour la
validation de l'applicatif, la notation Z pour la vérification de
l'exécutif utilisé, PolyORB.

Jury :

Laurence Duchien Rapporteur Professeur à l'Université de Lille 1
Michel Lemoine Rapporteur Directeur de recherche à l'ONERA CMP

Béatrice Bérard Examinateur Professeur à l'Université Pierre et
Marie Curie
Peter Feiler Examinateur Senior Technical Staff - Carnegie Mellon
University, SEI
Laure Petrucci Examinateur Professeur à l'Université de Paris 13

Jérôme Hugues Encadrant Maître de Conférences à l'ISAE
Fabrice Kordon Directeur Professeur à l'Université Pierre et Marie
Curie

--
Xavier Renault
LIP6

mardi 24 novembre 2009

Soutenance de thèse de Corina IOVAN

Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée :

«Détection et caractérisation de la végétation en milieu urbain à partir
d'images aériennes haute résolution»

ainsi qu'au pot qui suivra. La soutenance aura lieu le lundi 30 novembre à
14h30 dans la salle Robert Génot de l'Institut Géographique National, à
Saint-Mandé.

Plan d'accès :

Institut Géographique National,
2-4 avenue Pasteur,
94165 Saint-Mandé
Métro ligne 1, Station Saint-Mandé

http://maps.google.fr/maps/ms?ie=UTF8&hl=fr&msa=0&msid=114865627586456036069.000479214ee2ec27f11f1&t=h&z=18

La thèse sera soutenue devant le jury composé de :

Mme. Nicole VINCENT, Professeur à l'Université Paris Descartes (Paris 5)
(Rapporteur)
Mme. Josiane ZERUBIA, Directrice de Recherche à INRIA Sophia Antipolis
(Rapporteur)
Mr. Patrick GALLINARI, Professeur à l'Université Pierre et Marie Curie
(Paris 6) (Examinateur)
Mr. Michel ROUX, Maître de Conférences à Télécom ParisTech(Examinateur)
Mr. Matthieu Cord, Professeur à l'Université Pierre et Marie
Curie(Directeur de thèse)
Mr. Didier BOLDO, Chargé de Recherches à l'Institut Géographique National
(Encadrant)


=========
Résumé
=========

La modélisation 3D des zones urbaines est un enjeu actuel important pour
de nombreuses applications liées à l'aménagement du territoire,
l'urbanisme ou la gestion de l'environnement. Un large éventail de
méthodes de traitement automatique d'images aériennes a été proposé depuis
plusieurs années pour la reconstruction 3D d'environnements urbains. Ces
approches sont aussi nombreuses que variées, tant en ce qui concerne le
type de données utilisées que sur le plan du degré d'automatisation des
méthodes. Cependant, la plupart des modélisations se limitent aux objets
créés par l'homme (bâti, route...). Or la végétation est également très
importante pour la compréhension des zones urbaines. Les modèles urbains
3D peuvent être améliorés par l'intégration de la végétation, avec une
description précise de la disposition des arbres et des espèces.

Cette thèse présente une chaine d'analyse d'images aériennes couleur et
infrarouge pour la détection et la caractérisation de la végétation en vue
de la modélisation 3D des milieux urbains.

Le premier module de ce système a pour fonction de détecter les zones de
végétation. L'approche adoptée repose sur une méthode de classification
supervisée utilisant les Séparateurs à Vaste Marge (SVM) que nous
comparons aux approches traditionnelles de télédétection. Les modules
suivants ont pour but de caractériser ces zones de végétation. La
séparation en végétation haute (arbre) et végétation basse (pelouse) est
réalisé par une analyse de la texture du modèle numérique de surface
(MNS). Ensuite, une étape d'extraction des houppiers faisant intervenir un
algorithme de croissance de régions intégrant des caractéristiques
géométriques d'arbres est présentée. Des paramètres morphologiques (la
hauteur, le diamètre de la couronne, la localisation du tronc des arbres)
sont estimés pour chaque houppier. Les différentes espèces d'arbres sont
ensuite déterminées par un système de classification supervisée. Dans ce
domaine, nous avons étudié l'apport des caractéristiques radiométriques,
de texture, ainsi que de leur fusion. L'ensemble des informations
extraites par ce système (paramètres morphologiques, type de végétation et
espèce) est utilisé pour enrichir un modèle 3D urbain avec des modèles de
végétation réalistes.

Cordialement,
Corina IOVAN

Invitation à la soutenance de thèse de Daniel FERNANDES MACEDO

Bonjour,

C'est avec le plus grand plaisir que je vous invite à ma soutenance de
thèse intitulée « Self-Configuration of Multi-Hop Wireless Networks »
ainsi qu'au pot qui suivra.

La soutenance se déroulera le 18 Décembre 2009 à 10h30, au LIP6 salle 550
- 5ème étage (Site Passy-Kennedy)
Le pot se déroulera en salle 549 - 5ème étage (Site Passy-Kennedy)


========
Accès
========

LIP6 : 104 avenue du Président Kennedy, 75016 Paris.
Plan d'accès : http://www.lip6.fr/informations/comment.php
IMPORTANT: Pour les visiteurs il faut demander un badge à l'accueil. Il
est nécessaire une pièce d'identité.

=========
Abstract
=========

This thesis was developed in the context of wireless multi-hop networks.
Those networks work by packet forwarding over wireless links (also called
hops). Due to the very high dynamics of the environment,
self-configuration approaches are used within the network protocols. In
those approaches, the parameters of applications and protocols are
automatically adjusted whenever a change in the environment occurs. Thus,
in this thesis we propose a new approach for the sharing of
self-configuration and cross-layering information, as well as two
self-configuration algorithms. The first algorithm improves routing on
wireless links having a dynamic data rate and transmission power. We
present an analytical model to support the results of our routing
extensions. The second algorithm that we propose uses control theory and
fuzzy logic to adapt the query mechanism of a peer-to-peer file sharing
application according to the load experienced on the network.

=========
Résumé
=========

Cette thèse s'insère dans le contexte des réseaux sans fil à multi-sauts.
De tels réseaux se communiquent par des liens hertziens par le relayage de
paquets (les sauts). La très haute dynamique dans cet environnement force
l'utilisation des approches d'auto-configuration, c'est-à-dire des
approches où les paramètres des terminaux sont adaptés automatiquement
face aux changements de l'environnement. Nous proposons ainsi une nouvelle
approche de partage d'informations d'auto-configuration et de cross-layer,
basée sur le concept du plan de d'information, ainsi que deux algorithmes
de auto-configuration qui les utilisent. Nous commençons la thèse avec
l'architecture et l'évaluation du logiciel du plan d'information. Ensuite
nous présentons et évaluons les deux algorithmes d'auto-configuration
proposés. Le premier algorithme améliore le routage en prenant en compte
la bande passante et la puissance de transmission des liens sans fil
hertziens. Nous présentons un modèle mathématique pour ce problème comme
support à notre proposition. Le deuxième algorithme utilise la théorie de
contrôle et la logique floue pour adapter le mécanisme d'enquêtes d'une
application pair à pair à la charge du réseau.

========
Jury
========

- M. Khaldoun AL AGHA, Professeur à l'Université d'Orsay (Rapporteur)
- M. André-Luc Beylot, Professeur à l'ENSEEIHT (Rapporteur)
- M. Mario GERLA, Professeur à l'Université de Californie, Los Angeles
(Examinateur)
- M. Serge FDIDA, Professeur à l'Université Pierre et Marie Curie
(Examinateur)
- M. José M. NOGUEIRA, Professeur à l'Université Fédérale de Minas Gerais
(Co-encadrant)
- M. Guy PUJOLLE, Professeur à l'Université Pierre et Marie Curie
(Directeur de thèse)

Cordialement,


Daniel FERNANDES MACEDO

--
Daniel Fernandes Macedo
Daniel.Macedo@rp.lip6.fr

PhD student
Université Pierre et Marie Curie
Laboratoire d'Informatique Paris VI
http://www-rp.lip6.fr/~macedo

vendredi 20 novembre 2009

Invitation à la soutenance de thèse de Michael Mathias BOC (Lundi) [23 novembre 2009 à 14h, au LiP6, salle 847]

Bonjour,
 
C'est avec le plus grand plaisir que je vous invite à ma soutenance de
thèse intitulée :
"Utilisation de profils de mobilité dans la gestion des services réseaux /
Profile of mobility: user-centric networking". Ainsi qu'au pot qui suivra.
 
La soutenance se déroulera le :

Lundi 23 Novembre 2009 à 14h00, au LIP6 salle 847 - 8ème étage (Site
Passy-Kennedy)

Le pot se déroulera en salle 552 - 5ème étage (Site Passy-Kennedy)  

 
========
Accès
========
LIP6 : 104 avenue du Président Kennedy, 75016 Paris.
Plan d'accès : http://www.lip6.fr/informations/comment.php
 
[IMPORTANT] Demander un badge visiteur à l'accueil et prévoir une pièce
d'identité.
 
 
=========
Résumé
=========

Il existe une très forte demande pour des réseaux sans-fils qui pourraient
s'établir de manière spontanée et dont la gestion serait transparente pour
leurs utilisateurs. Dans ces réseaux, tous les nœuds potentiellement
mobiles, participent à la structure de la topologie et au support des
communications. A ce jour, les services réseaux tels que la gestion de la
localisation et l'acheminement des données, fonctionnent en surcouche de
la topologie et n'intègrent pas intrinsèquement la mobilité des nœuds. Ces
services nécessitent des mécanismes de reprise sur erreur pour gérer cette
mobilité. Ces mécanismes garantissent une bonne fiabilité mais génèrent un
surcoût important en termes de signalisation. Dans cette thèse, nous nous
intéressons à la conception de nouveaux services réseaux qui utiliseraient
les informations de mobilité pour mieux fonctionner. Nous proposons, pour
ce faire, que les nœuds génèrent leur propre profil de mobilité et de les
intégrer au fonctionnement des services réseaux.

Afin de générer des profils pertinents, la première contribution de cette
thèse porte sur une analyse détaillée des mouvements routiniers de vrais
utilisateurs dans des contextes variés : mouvements de taxis, utilisateurs
Wi-Fi dans une métropole et dans un campus. De part ces analyses, nous
développons deux types de profils de mobilité qui reposent sur la forte
périodicité et persistance des comportements observés. Le premier, appelé
"agenda de positions" est basé sur la prédiction de la mobilité spatiale
et le second, "agenda de contacts" sur la prédiction des liens sans fils
qui seront susceptibles d'être créés entre des nœuds voisins. La
construction de ces agendas repose sur des algorithmes que nous avons
développés pour extraire des "patterns" de mobilité clairs, à partir de
traces brutes observées dans différents contextes.

Notre seconde contribution, appelée "Otiy", est un service de localisation
pour des réseaux sans-fils maillés. Un service de localisation basic
définit un ou plusieurs serveurs qui collectent la position de tous les
nœuds, quelque soit leur distance avec ces serveurs, et en informe ensuite
les nœuds sources qui en font la demande. Dans Otiy, les nœuds possèdent
un agenda de positions qui détermine à l'avance le ou les routeurs proches
d'eux qui seront le mieux à même de jouer le rôle de serveurs de mise à
jour de position. Grâce à la persistance des prédictions, très peu de
signalisation est nécessaire pour permettre aux autres nœuds de connaître
le(s) routeur(s) qui gèreront la position du nœud destination. La
proximité des serveurs permet par ailleurs de réduire la propagation des
messages de signalisation.

Notre troisième contribution, appelée "Price", est un service
d'acheminement de données pour des réseaux connectés de façon
intermittente. Price se base sur le fait que la position d'un nœud peut
être définie à la fois par sa mobilité géographique et par les nœuds avec
lesquels il est régulièrement en contact. Notre approche est donc une
combinaison de ces deux aspects qui se retrouve dans les agendas de
positions et de contacts. Le résultat est un service qui ne génère pas ou
très peu de signalisation pour un taux de livraison de données
particulièrement élevé. Nous montrons également que l'efficacité de Price
peut être due à un phénomène de petit monde qui existerait au niveau des
contacts mais aussi de la mobilité géographique.
 
=========
Mots-Clés : Mobilité, profils de mobilité, gestion de la localisation,
réseaux maillés sans-fil, réseaux tolérant aux déconnexions, routage.
=========
 
=========
Abstract
=========

There is a growing expectation for less expensive and self-organizing
types of mobile networks. In such networks, communications are operated
over wireless links and all nodes serve the topology and support the
communications. Network services such as location management and
forwarding are commonly built as an overlay upon the topology, which
change with nodes mobility. To assure continuity of services in an
evolving environment, they integrate fallback and mobility control
mechanisms. These mechanisms provide high reliability but results in an
important extra overhead, which limit scalability of this kind of
networks. In this thesis, we explore the design of network services that
will integrate the notion of nodes mobility in order to reduce the cost of
the extra overhead. With that purpose, we propose that each node generate
profiles of mobility their own mobility behavior and integrate directly
this knowledge into network services operations.

In order to generate pertinent profiles, our first contribution is a
thorough analysis of nodes mobility patterns reproducibility in various
contexts: movements of taxicabs, Wi-Fi users in a metropolitan city and in
a campus. Through these analyses, we develop two types of mobility
profiles, which rely on high periodicity and persistency of observed
patterns. The first profile called "agenda of positions" relies on spatial
mobility predictions and the second, "agenda of contacts", on the
predictions wireless links that would be established between nearby nodes.
The design of both agendas relies on algorithms that we developed to
extract meaningful mobility patterns and to improve predictions
reliability.

The second contribution called "Otiy", is a location management service
for wireless mesh networks. Typically, a location management service is
composed by one or several servers, which collect all nodes positions to
make them available to any request. If the server(s) are far from the
mobile node, position updates transmissions cost increase. In Otiy, the
nodes with their agendas of positions define beforehand the mesh routers
topologically close that would act as server(s) to potentially reduce the
extra overhead. The persistence of predictions reliability allows reducing
greatly the required overhead to make other nodes aware of the list of
mesh routers that will manage destination nodes positions.

The third contribution called "Price", is a forwarding scheme for
intermittently connected networks (ICMN, DTN, etc.). Price relies on the
principle that a node position can be defined in the same time by its
geographic mobility pattern and according to its acquaintances. Our
forwarding approach is a combination of these two aspects for which
agendas of positions and contacts provide enough information. The result
is a greedy forwarding service that generate very low overhead for
important delivery rate. We show that Price's efficiency could be due to
the "small world" effect that exists between nodes but also according to
their geographic patterns.
 
=========
Keywords: Mobility, profile of mobility, location management, wireless
mesh networks, disruption tolerant networks, routing.
=========
 
 
========
Jury
========
- Bertrand DUCOURTHIAL, Maître de conférences à l'Université Technologique
de Compiègne (Rapporteur)
- Fabrice VALOIS, Professeur à l'INSA de lyon(Rapporteur)

- Vania CONAN, Chercheur à Thales Communication (Examinateur)
- Tristan HENDERSON, Lecturer at the University of St Andrews, Scotland
(Examinateur)
- Pierre SENS, Professeur à l'Université Pierre et Marie Curie (Examinateur)

- Serge FDIDA, Professeur à l'Université Pierre et Marie Curie (Directeur
de thèse)
- Anne FLADENMULLER, Maître de conférences à l'Université Pierre et Marie
Curie (Encadrante)
 
 
Cordialement,


Mathias BOC
-------------------------------------
Michael, Mathias BOC - Doctorant
Université Pierre et Marie Curie, LiP6
104, Av. du Président Kennedy, 75016 Paris, France
Bureau 724

jeudi 12 novembre 2009

Invitation à la soutenance de thèse de Badis Tebbani (Demain) [13 Novembre 2009 à 14h30, au LIP6, salle 549]

Bonjour,

 

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :

"Gestion des réseaux basée sur les contrats De niveau de service -SLA- -Application dans un environnement sans fil-"

 

La soutenance se déroulera le :

 

==========

Vendredi 13 Novembre 2009 à 14h30, au LIP6 salle 549 - 5ème étage (Site Passy-Kennedy)

==========

 

Vous êtes également invités au pot qui suivra.

 

========

Accès

========

LIP6 : 104 avenue du Président Kennedy, 75016 Paris.

Plan d'accès : http://www.lip6.fr/informations/comment.php

 

Demander un badge visiteur à l'accueil et prévoir une pièce d'identité.

 

 

=========

Résumé

=========

 

Le paradigme de la gestion des réseaux basée sur les contrats de niveau de service (Service Level Agreement, SLA) vise à ce que les détails techniques des configurations des équipements réseaux soient dynamiquement dictés et découlés en provenance des contrats de niveau de service et des objectifs de haut niveau, et ensuite contrôlés d'une façon qui permette d'atteindre et de maintenir ces objectifs de haut niveau. Plusieurs conditions sont nécessaires afin de réaliser une telle  approche de gestion. Celles-ci incluent d'une part la capacité de modéliser et de spécifier formellement les contrats de niveau de service et les objectifs de haut niveau, et de les mapper en des politiques de bas niveau jusqu'à atteindre les détails techniques des configurations des équipements, et d'autre part d'avoir des boucles de supervision pour contrôler le fonctionnement des équipements et s'assurer que le comportement du système correspond toujours aux objectifs initiaux de haut niveau.

 

Dans cette thèse, nous proposons d’abord un langage de spécification pour représenter les contrats de niveau de services SLA. Ensuite, nous proposons un mapping adaptatif des politiques de niveau système en configurations des équipements réseaux et des outils de contrôle et de supervision afin de pouvoir s'adapter en cas de changements de l'environnement, et d'optimiser l'utilisation des ressources du réseau. Enfin, nous proposons une mise en pratique de l'ensemble des paradigmes de la gestion des réseaux basée sur les contrats de niveau de service et les objectifs de haut niveau, à travers un cas d'utilisation réel. Nous appliquons notre architecture de gestion de la QoS basée sur les sessions utilisateurs SQoSMA, qui intègre tous les éléments de la spécification des SLAs et des politiques, afin de garantir la qualité des services VoWLANs (Voice over WLANs). Afin d'évaluer les performances de notre solution, nous procédons à une implantation complète de notre architecture SQoSMA et les éléments qui la composent. L'évaluation des performances de notre architecture démontre non seulement la faisabilité de notre solution, mais également le gain qu'elle apporte.

 

=========

Mots-Clés : Spécification des SLAs et des politiques, contrôle et supervision de la QoS, mapping des paramètres de la QoS,VoWLANs.

=========

 

=========

Abstract

=========

 

This thesis contributes to the SLA-based network management approach at different levels. First, a language for specification of the service level agreement (SLA) is proposed, which offers friendly-interfaces to model and specify the SLA and the high-level objectives, as well as a formal and comprehensible notation for target network equipments in order to configure them suitably. Then an adaptive mapping mechanism which translates system-level policies into equipment-specific configurations is proposed, with control and monitoring tools that enable adaptability against the environment changes. Finally, an actual put into practice of all the concepts related to the SLA-based network management is realised through a real use case.

 

We apply our session-based quality-of-service management architecture (SQoSMA) which integrates all the elements of the specification of SLAs and the policies, to guarantee the quality of the Voice over WLANs (VoWLANs) services. We propose and integrate two techniques in our architecture which do not require any modification of the MAC (Media Access Control) layer, in order to overcome the VoWLANs services issues, which are the low number of VoIP calls in the IEEE 802.11 Wireless LANs, and the negative effect of the new call addition when the WLAN reaches its maximum capacity. In order to measure the performance of our solution, a complete test-bed was implemented; it included all architecture 'SQoSMA' elements, VoIP tools, Resource Management (RM), SIP and integration components. Performance evaluation demonstrates the feasibility of our solution, and the benefit in terms of the number of assured VoIP sessions. Another important result is that the choice of the VoIP sessions targeted by control actions, which represents a high-level objective, is completely configurable. Although explained with 802.11b, the proposed scheme can be applied to any 802.11 network that needs to assure a number of VoIP calls within the given bandwidth allocation.

 

=========

Keywords :  Service Level Agreement and Policy Specification, QoS monitoring and control, QoS parameters mapping, VoWLANs.

=========

 

 

========

Jury

========

- Guy PUJOLLE, Professeur à l'Université Pierre et Marie Curie (Directeur de thèse)

- Ahmed KARMOUCH, Professeur à l'université d'Ottawa, Canada (Rapporteur)

- Pascal LORENZ, Professeur à l'université  de Haute-Alsace (Rapporteur)

- Prosper CHEMOUIL, Directeur de recherche, Orange Labs, France Telecom (Examinateur)

- Ahmed  MEHAOUA, Professeur à l'université de Paris-René Descartes (Examinateur)

- Pierre SENS, Professeur à l'Université Pierre et Marie Curie (Examinateur)

 

 

Cordialement,

 

Badis Tebbani

 

 

_____________________________________
 
Badis Tebbani 
Doctorant
Université Pierre et Marie Curie, LIP6
104 Av. Président Kennedy, 75016 Paris, France
Bureau 801 
Tel : 01 44 27 88 43 
Fax : 01 44 27 87 83
Page Perso : http://rp.lip6.fr/~tebbani/
_____________________________________

 

 

vendredi 16 octobre 2009

Soutenance de thèse - Thomas Baerecke - jeudi 22 octobre 2009 - 14h30

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :

Isomorphisme inexact de graphes par optimisation évolutionnaire

qui aura lieu le jeudi 22 octobre à 14h30 au LIP6, salle 549.

---------------------
Résumé
---------------------

L'isomorphisme inexact de graphes est un problème crucial pour la
définition d'une distance entre graphes, préalable nécessaire à une
multitude d'applications allant de l'analyse d'images à des applications
biomédicales en passant par la reconnaissance optique de caractères. Ce
problème est encore plus complexe que celui de l'isomorphisme exact.
Alors que ce dernier est un problème de décision de complexité au moins
de classe P et qui ne s'applique qu'à des graphes exactement identiques,
l'isomorphisme inexact est un problème combinatoire de complexité de
classe NP qui permet de prendre en compte des perturbations dues au
bruit, qui apparaissent fréquemment dans les applications réelles.

Dans ce cadre, nous choisissons d'étudier une solution basée sur les
algorithmes génétiques pouvant être appliquée à l'isomorphisme exact et
inexact. Nous proposons des opérateurs de croisement généraux pour tout
problème représenté par un codage de permutation, ainsi que des
opérateurs spécifiques à l'isomorphisme de graphes qui exploitent une
heuristique gloutonne. Nous réalisons une étude exhaustive pour comparer
ces opérateurs avec les opérateurs existants, soulignant leurs
propriétés, avantages et inconvénients respectifs.

Nous étudions par ailleurs plusieurs pistes d'amélioration de
l'algorithme, en théorie ou en pratique, considérant successivement les
objectifs d'accélération de l'exécution, d'augmentation de la précision
et de garantie de résultat optimal. Nous proposons pour cela de combiner
l'approche proposée avec d'autres techniques telles que des heuristiques
générales comme la recherche locale, des heuristiques dédiées comme
l'algorithme A*, et des outils pratiques comme la parallélisation.

Ces travaux conduisent à la définition d'une méthode générique pour la
résolution de tous les problèmes d'isomorphismes de graphes, qu'il
s'agisse d'isomorphismes exact ou inexact, d'isomorphismes de graphes de
même taille ou d'isomorphismes de sous-graphes. Nous illustrons enfin la
validité de cette solution générale par trois applications concrètes
issues de domaines différents, la recherche d'images et la chimie, qui
présentent chacune des caractéristiques spécifiques, utilisant des
graphes attribués ou non, soumis aux perturbations plutôt structurelles
ou au niveau d'attributs.

---------------------
Composition du Jury
---------------------

Mme Bernadette Bouchon-Meunier, Directeur de recherche, CNRS (Directeur)
M Marcin Detyniecki, Chargé de recherche, CNRS, HDR (Encadrant)
M Patrick Gallinari, Professeur à l'Université Paris VI (Examinateur)
Mme Evelyne Lutton, Directeur de recherche, INRIA (Rapporteur)
Mme Michèle Sebag, Directeur de recherche, CNRS (Rapporteur)
M El-Ghazali Talbi, Professeur à l'Université de Lille I (Examinateur)

La soutenance sera suivie d'un pot "germanique" auquel vous êtes
cordialement invités.

Bien cordialement,

Thomas Baerecke

Bureau 623
Laboratoire d'Informatique de Paris 6
104 avenue du Président Kennedy
75016 Paris
Tel : 01 44 27 88 03
Fax : 01 44 27 70 00
Plan d'accès : http://www.lip6.fr/informations/comment.php

mardi 13 octobre 2009

Invitation à la soutenance de thèse de Mathieu Bouet (20 octobre à 15h)

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"Localisation en trois dimensions de tags RFID basée sur les
informations de connectivité."

La soutenance se déroulera le :

==========
Mardi 20 Octobre à 15h00 au LIP6, salle 549 - 5ème étage (Site Passy-Kennedy)
==========

Vous êtes également invités au pot qui suivra.

=========
Résumé
=========

La radio-identification (RFID) est une méthode pour lire à distance
des identifiants contenus dans des appareils électroniques appelés
tags. Cette technologie qui permet la traçabilité des personnes et des
objets est amenée à supporter le développement de services
ambiant-intelligents en associant une position à chaque identité. Dans
cette thèse, nous proposons une nouvelle approche générale pour la
localisation des tags. Elle repose sur les données intrinsèques de ces
systèmes: les informations de connectivité. Celles-ci sont converties
en contraintes topologiques afin de délimiter la zone de présence de
chaque tag. Notre approche supporte l'hétérogénéité des équipements,
des environnements et l'estimation de positions 3-D. Nous la
développons en proposant deux méthodes de localisation. La première,
OpTop, repose sur une technique d'optimisation où une fonction-coût et
un ensemble de contraintes relatives à la position du tag sont définis
à partir des informations de connectivité. La seconde, L-VIRT,
consiste à discrétiser l'espace pour délimiter l'intersection du
maximum de contraintes topologiques relatives au tag et ainsi son
volume de présence.


=========
Abstract
=========

Radio-identification (RFID) enables remote identification and tracking
of people and objects. Researchers envisage this technology to support
the development of ambient-intelligent services when tag's identifier
can be associated with its position. This work proposes a new approach
for the localization of RFID tags. It applies intrinsic data of
radio-identification systems: connectivity information. These data are
converted into topological constraints to delimit the zone of presence
of each tag. Thus, our approach considers heterogeneous equipment and
environments, as well as position estimation in three dimensions. We
employ our approach to develop two localization methods: OpTop and
L-VIRT. The former is based on an optimization technique where a cost
function and a set of constraints relative to the location of the tag
are defined using connectivity information. The latter consists in
discretizing the space to delimit the intersection between the maximum
inclusive and exclusive topological constraints relative to the tag.


========
Jury
========
- Guy PUJOLLE, professeur à l'Université Pierre et Marie Curie
(directeur de thèse)
- Philippe JACQUET, directeur de recherche à l'INRIA (rapporteur)
- David SIMPLOT-RYL, professeur à l'Université Lille 1 (rapporteur)
- Vania CONAN, ingénieur de recherche à Thalès Communications (examinateur)
- Laurent REYNAUD, ingénieur de recherche à Orange Labs (examinateur)
- Pierre SENS, professeur à l'Université Pierre et Marie Curie (examinateur)


========
Accès
========
LIP6 : 104 avenue du Président Kennedy, 75016 Paris.
Plan d'accès : http://www.lip6.fr/informations/comment.php
Demander un badge visiteur à l'accueil et prévoir une pièce d'identité.


Cordialement,

Mathieu Bouet

--
Mathieu BOUET
Mathieu.Bouet@lip6.fr

Ph.D. Student
Université Pierre et Marie Curie
Laboratoire d'Informatique de Paris 6 (LIP6)
http://www-phare.lip6.fr/~bouet/

vendredi 9 octobre 2009

Soutenance de thèse de Francis Maes

J'ai le plaisir de vous inviter à la soutenance de ma thèse ainsi qu'au
pot qui suivra.

Titre de la thèse:
"Apprentissage dans les Processus de Décision Markoviens pour la Prédiction
Structurée,
Applications à l'étiquetage de séquences, la transformation d'arbres et
l'apprentissage dans les problèmes de recherche combinatoire"

La soutenance se déroulera le jeudi 15 octobre à 14h00 au LIP6, salle 549
- 5ème étage (Site Passy-Kennedy).

=========
Résumé
=========
De nombreux problèmes d'apprentissage supervisé font intervenir des
sorties complexes : séquences, arbres ou graphes. La prédiction de sorties
structurées pose d'importants défis, liés à la nature combinatoire du
problème. Récemment, la prédiction structurée incrémentale, une approche
générale et de faible complexité, a été proposée pour attaquer ces
problèmes sous l'angle de la prise de décisions séquentielles.

Dans cette thèse, je m'inscris dans cette approche et propose une nouvelle
formulation basée sur le cadre des processus de décision Markoviens
(PDMs). Cela permet d'utiliser des algorithmes d'apprentissage par
renforcement pour résoudre les problèmes de prédiction structurée et de
traiter des problèmes particulièrement complexes qu'aucun algorithme
n'était en mesure de résoudre jusqu'alors. En plus de cette contribution
majeure, je propose un nouvel algorithme d'apprentissage de politiques
basé sur l'apprentissage d'une fonction d'ordonnancement d'actions.

La validation est effectuée sur deux tâches: l'étiquetage de séquences et
la transformation d'arbres. Les résultats obtenus sur les séquences sont
compétitifs avec l'état de l'art et pour certains significativement
meilleurs. La transformation d'arbres est un des problèmes d'apprentissage
statistique les plus complexes abordés à ce jour et pour lequel il
n'existait aucun modèle applicable. Je démontre l'efficacité de
l'apprentissage par renforcement pour ce problème sur cinq jeux de
données, dont deux à très large échelle.

L'ensemble du code source développé au cours de cette thèse est testé,
documenté et publié en code-ouvert dans le Journal of Machine Learning
Research.

========
Jury
========
- Boris Chidlovskii, Centre de recherche Xerox Europe, Examinateur
- Ludovic Denoyer, Maitre de conférence à l'université Pierre et Marie
Curie (Paris 6), Encadrant de these
- Patrick Gallinari, Professeur à l'université Pierre et Marie Curie
(Paris 6), Directeur de these
- Rémi Gilleron, Professeur à l'université de Lille 3, Rapporteur
- Olivier Sigaud, Professeur à l'université Pierre et Marie Curie (Paris
6), Examinateur
- Jean-Philippe Vert, Mines ParisTech et Institut Curie, Examinateur
- Louis Wehenkel, Professeur à l'université de Liège, Rapporteur

========
Accès
========
LIP6 : 104 avenue du président Kennedy, 75016 Paris.
Plan d'accès : http://www.lip6.fr/informations/comment.php
Demander un badge visiteur à l'accueil et prévoir une pièce d'identité.

Cordialement,

Francis MAES.

mardi 6 octobre 2009

Soutenance de thèse de Vinh Truong

Bonjour,

désolé pour les réceptions multiples.

J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée :
"Apprentissage de fonctions d'ordonnancement avec peu de données étiquetées:
une application au routage d'information, au résumé de textes et au
filtrage collaboratif."

La soutenance se déroulera le :

==========
jeudi 8 octobre à 14h00 au LIP6, salle 549 - 5ème étage (Site Passy-Kennedy)
==========

Vous êtes aussi invités au pot qui suivra.

=========
Résumé
=========

La communauté d'apprentissage s'est récemment intéressée aux fonctions
d'ordonnancement. Ces fonctions cherchent à comparer les entrées entre
elles et à les retourner sous la forme d'une liste ordonnée.
Cependant, l'apprentissage nécessite une grande base de données
étiquetées, dont la création est en général coûteuse.

Dans ce mémoire, nous avons cherché à réduire le nombre d'exemples
étiquetés pour l'apprentissage des fonctions d'ordonnancement. Nous avons
abordé cette problématique sous deux angles différents. En premier lieu,
nous avons cherché à améliorer les performances en apprentissage supervisé
en exploitant l'information contenue dans un grand nombre de données non
étiquetées. Ce cadre est connu sous le terme d'apprentissage
semi-supervisé. En deuxième lieu, nous avons considéré l'apprentissage
actif, dont le but est de construire itérativement la base
d'apprentissage. L'objectif est de sélectionner les meilleures entrées à
étiqueter pour réduire au maximum le nombre de données étiquetées.

Dans une première partie, nous présentons nos modèles en apprentissage
semi-supervisé puis actif pour l'ordonnancement dit biparti. Nos modèles
sont des extensions des méthodes SVM et de boosting. Nous nous sommes
notamment intéressés à développer des modèles de faible complexité pour
pouvoir traiter un grand nombre de données non–étiquetées. Dans une
deuxième partie, nous considérons plusieurs applications de recherche en
information touchées par notre problématique : le routage d'information,
le résumé automatique de textes et le filtrage collaboratif. Cette partie
permet de valider nos modèles et de montrer l'intérêt de l'ordonnancement
pour le filtrage collaboratif.


========
Jury
========
- Massih Réza AMINI, agent de recherche au CNRC (directeur de thèse)
- Patrick GALLINARI, professeur à l'Université Pierre et Marie Curie
(directeur de thèse)
- Éric GAUSSIER, professeur à l'Université Joseph Fourier (rapporteur)
- Yves GRANDVALET, chercheur CNRS à l'Université Technologique de
Compiègne (examinateur)
- Patrice PERNY, professeur à l'Université Pierre et Marie Curie
(examinateur)
- François YVON, professeur à l'Université Paris Sud 11 (rapporteur)


========
Accès
========
LIP6 : 104 avenue du président Kennedy, 75016 Paris.
Plan d'accès : http://www.lip6.fr/informations/comment.php
Demander un badge visiteur à l'accueil et prévoir une pièce d'identité.


Cordialement,

Vinh TRUONG

mercredi 30 septembre 2009

Soutenance de thèse de Vinh Truong

Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée :
"Apprentissage de fonctions d'ordonnancement avec peu de données étiquetées:
une application au routage d'information, au résumé de textes et au
filtrage collaboratif."

La soutenance se déroulera le :

==========
jeudi 8 octobre à 14h00 au LIP6, salle 549 - 5ème étage (Site Passy-Kennedy)
==========

Vous êtes aussi invités au pot qui suivra.

=========
Résumé
=========

La communauté d'apprentissage s'est récemment intéressée aux fonctions
d'ordonnancement. Ces fonctions cherchent à comparer les entrées entre
elles et à les retourner sous la forme d'une liste ordonnée.
Cependant, l'apprentissage nécessite une grande base de données
étiquetées, dont la création est en général coûteuse.

Dans ce mémoire, nous avons cherché à réduire le nombre d'exemples
étiquetés pour l'apprentissage des fonctions d'ordonnancement. Nous avons
abordé cette problématique sous deux angles différents. En premier lieu,
nous avons cherché à améliorer les performances en apprentissage supervisé
en exploitant l'information contenue dans un grand nombre de données non
étiquetées. Ce cadre est connu sous le terme d'apprentissage
semi-supervisé. En deuxième lieu, nous avons considéré l'apprentissage
actif, dont le but est de construire itérativement la base
d'apprentissage. L'objectif est de sélectionner les meilleures entrées à
étiqueter pour réduire au maximum le nombre de données étiquetées.

Dans une première partie, nous présentons nos modèles en apprentissage
semi-supervisé puis actif pour l'ordonnancement dit biparti. Nos modèles
sont des extensions des méthodes SVM et de boosting. Nous nous sommes
notamment intéressés à développer des modèles de faible complexité pour
pouvoir traiter un grand nombre de données non–étiquetées. Dans une
deuxième partie, nous considérons plusieurs applications de recherche en
information touchées par notre problématique : le routage d'information,
le résumé automatique de textes et le filtrage collaboratif. Cette partie
permet de valider nos modèles et de montrer l'intérêt de l'ordonnancement
pour le filtrage collaboratif.


========
Jury
========
- Massih Réza AMINI, agent de recherche au CNRC (directeur de thèse)
- Patrick GALLINARI, professeur à l'Université Pierre et Marie Curie
(directeur de thèse)
- Éric GAUSSIER, professeur à l'Université Joseph Fourier (rapporteur)
- Yves GRANDVALET, chercheur CNRS à l'Université Technologique de
Compiègne (examinateur)
- François YVON, professeur à l'Université Paris Sud 11


========
Accès
========
LIP6 : 104 avenue du président Kennedy, 75016 Paris.
Plan d'accès : http://www.lip6.fr/fr/informations/comment.html
Demander un badge visiteur à l'accueil et prévoir une pièce d'identité.


Cordialement,

Vinh TRUONG

vendredi 25 septembre 2009

Soutenance de Thèse de Meriem KASSAR le Mercredi 30 Septembre à 11h00 (Salle 847)

Bonjour,
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée "Gestion du Handover Vertical dans les Réseaux sans fil Hétérogènes", ainsi qu'au pot qui suivra.
La soutenance aura lieu le Mercredi 30 Septembre à 11h00 en Salle 847 (8ème étage) au Laboratoire d'Informatique de Paris (LIP6), à l'adresse
104, Avenue du Président Kennedy, 75016 Paris.
(Plan d'accès disponible à : http://www.lip6.fr/informations/comment.php).
 
Composition du Jury :
Mr Nazim AGOULMINE, Professeur à l'Université d'Evry-Val-d'Essonne (Rapporteur)
Mr Thomas NOËL, Professeur à l'Université Louis Pasteur de Strasbourg (Rapporteur)
Mr Tijani CHAHED, Professeur à TELECOM SudParis (Examinateur)
Mr Marcelo DIAS DE AMORIM, Chargé de Recherche CNRS, HDR (Examinateur)
Mr Farouk KAMOUN, Professeur à l'ENSI de Tunis (Examinateur)
Mr Guy PUJOLLE, Professeur à l'Université Pierre et Marie Curie (Directeur)
Mme Brigitte KERVELLA, Maître de Conférence à l'IUT d'Amiens (Co-encadrante)
 
Résumé :
Avec l'évolution de nombreuses technologies sans fil et des terminaux mobiles à interfaces réseau multiples, un compromis apparaît entre la mobilité, la transparence et la performance. Les utilisateurs mobiles auront besoin d'accéder à leurs services IP en tout lieu, à tout moment et de la meilleure manière possible sans se soucier des transitions entre les différents réseaux d'accès. Cet accès sans fil universel fait référence au concept ABC (Always Best Connected) dans les nouvelles générations de systèmes de communication telle que 4G ou NGN. Cette nouvelle génération n'est autre qu'un environnement sans fil hétérogène dans lequel différents réseaux d'accès doivent coexister. Elle peut ainsi offrir une variété de services à haut débit et une couverture ubiquitaire aux utilisateurs mobiles.
Au sein de ce type d'environnement, il est nécessaire d'intégrer ou de faire coopérer des réseaux sans fil hétérogènes par un modèle d'Interworking. Une des principales exigences d'un modèle d'Interworking est de gérer la mobilité des utilisateurs pour une continuité de service de manière transparente. Dans ce cas, un réseau d'accès doit être sélectionné et la communication active doit être maintenue avec prise en compte possible des préférences de l'utilisateur. Pour cela, un schéma de gestion du handover vertical seamless devrait collecter les informations nécessaires, décider du besoin d'initier le handover en temps opportun, choisir le réseau le plus approprié parmi les réseaux d'accès hétérogènes disponibles et exécuter le handover par anticipation.   
Cette thèse analyse tout d'abord les propositions relatives à la gestion de la mobilité dans un contexte de réseaux sans fil hétérogènes, ainsi que les stratégies de décision du handover vertical existantes. Elle étudie ensuite une architecture d'Interworking 3G/UMTS-WLAN en couplage loose.
Cette architecture, prouvée par sa faisabilité et sa simplicité, se base sur le protocole Mobile IP afin de gérer la mobilité des utilisateurs pour une continuité de service. Cette thèse propose un schéma de gestion du handover contrôlé par le mobile que nous intégrons à l'architecture d'Interworking dans un contexte multi-opérateurs en collaboration, répondant aux besoins des utilisateurs mobiles d'une part, et assurant la continuité de service d'autre part. Ce schéma, efficace et intelligent, collecte les informations nécessaires, décide du besoin d'initier le handover en temps opportun à l'aide d'un système de logique floue, choisit le réseau le plus approprié parmi les réseaux d'accès hétérogènes disponibles à l'aide d'un processus AHP (Analytic Hierarchy Process). Pour une solution de type seamless, la procédure d'exécution du handover, basée sur une combinaison Mobile IP-AAA, est préparée grâce à la stratégie élaborée de la décision du handover au niveau du terminal mobile.
 
Mots-clés :
Gestion de mobilité, Handover vertical, Réseaux sans fil hétérogènes, Décision du handover, Interworking, Couplage loose, Seamless, Mobile IP, 3G/UMTS, WLAN.
 
Cordialement
Meriem KASSAR BEN JEMAA


mercredi 23 septembre 2009

Soutenance de thèse d'Alban Linard

Bonjour,

j'ai le plaisir de vous inviter à la soutenance de ma thèse, ainsi
qu'au pot ardéchois qui suivra.

=====
Titre
=====
«Sémantique paramétrable des Diagrammes de Décision : une démarche
vers l'unification»

====
Lieu
====
La soutenance aura lieu le mardi 29 septembre à 14h au LIP6 (Site
Passy-Kennedy), en salle 847. Les indications pour se rendre au LIP6
se trouvent à cette adresse : http://www.lip6.fr/informations/comment.php

====
Jury
====
La thèse sera soutenue devant le jury composé de :

M. Didier Buchs (Université de Genève) - Rapporteur
M. Jean-Michel Couvreur (Université d'Orléans) - Rapporteur
Mme Béatrice Bérard (Université Pierre et Marie Curie) -
Examinateur
M. Olivier H. Roux (IUT de Nantes) -
Examinateur
M. Alexandre Duret-Lutz (EPITA) -
Examinateur
M. Fabrice Kordon (Université Pierre et Marie Curie) - Directeur
M. Emmanuel Paviot-Adet (Université Paris Descartes) - Encadrant


======
Résumé
======
Les Diagrammes de Décision sont des structures de données compactes,
qui représentent efficacement des ensembles de données de taille
importante sous forme d'un graphe, dont les parties communes sont
partagées. Cette efficacité se traduit, lors de la manipulation de ces
structures, aussi bien dans la mémoire consommée que dans le temps
d'exécution. Elle est toutefois dépendante des données représentées :
le gain peut varier en pratique de très faible à exponentiel. Ainsi,
des techniques récentes ont permis d'atteindre plus de 10^2500 états
différents dans 1 Go de mémoire en environ une minute.

De nombreuses variantes ont été définies depuis le début des années 90
à partir des Diagrammes de Décision Binaire (BDD), à l'origine de ces
structures de données. Les évolutions sont très variées, allant
d'optimisations de la structure à l'extension hiérarchique des
Diagrammes de Décision.
Il existe ainsi actuellement plusieurs dizaines de variantes. Malgré
leur utilisation dans de nombreux domaines, les Diagrammes de Décision
sont à ce jour différentes structures, qui évoluent indépendamment les
unes des autres. Il n'existe pas de théorie unifiée, ce qui a certes
permis des évolutions rapides de ces structures, mais est un frein à
la réutilisation des résultats obtenus dans le domaine.

Nous proposons un cadre unifiant la majeure partie des Diagrammes de
Décision existants à l'heure actuelle, le grand nombre de variantes ne
permettant pas d'espérer tous les couvrir. Nous montrons que cette
généralisation se fait sans perte d'efficacité, en fournissant un
moyen de récupérer les optimisations de structure définies dans
certains évolutions. De plus, en important ces optimisations dans le
cadre unifié, nous permettons leur application pour certains
Diagrammes de Décision pour lesquels elles n'étaient jusqu'à présent
pas définies. L'unification réalisée permet de mélanger, au sein d'un
même Diagramme de Décision, les spécificités de variantes jusque là
séparées.


========
Abstract
========
Decision Diagrams are compact data structures. They represent
efficiently huge data sets as graphs, where common parts are shared.
Gains in efficiency occur on both memory and time used for
computations using these structures. However, it depends on the data
represented, and varies from almost no gain to an exponential one.
With modern techniques, state spaces containing more than 10^2500
different states have been generated in one minute, using only 1 Gbyte
of memory.

A great number of Decision Diagrams, deriving from Binary Decision
Diagrams (BDDs), have been defined during the last 20 years. Their
differences vary from cover optimizations of the structure to its
hierarchical extension. Nowadays, dozens of Decision Diagram kinds
exist. They are used in many domains, but each one is a different data
structure, that evolves unrelated to the others. No unified theory
exists. Its lack helped creating a lot of new Decision Diagrams, but
prevents reuse of results in this domain.

We propose a unifying framework, that covers most of existing Decision
Diagrams. However, we do not cover all the variations, beause of their
great number. We show that this generalization does not imply a loss
in efficiency, by extending the structural optimizations of the
Decision Diagrams. This generalization brings these optimizations to
kinds that did not define them. Moreover, the unified framework
enables mixing several disjoint kinds of Decision Diagrams in one
structure.


Cordialement,
Alban Linard

--
Université Pierre et Marie Curie - UMR CNRS 7606
Laboratoire d'Informatique de Paris 6 / MoVe
Bureau 818
Tél: + 33 1 44 27 31 92
104 Avenue du Président Kennedy
75016 Paris - France

mardi 22 septembre 2009

Soutenance de thèse de Michele NOGUEIRA

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse qui s'intitule

«SAMNAR : a survivable architecture for wireless self-organizing networks»

La soutenance aura lieu le mardi 6 octobre
à 10h au LIP6 (Site Passy-Kennedy), en salle 549.

Plan d'accès:
http://www.lip6.fr/informations/comment.php

Vous êtes également conviés au pot qui suivra.

La thèse sera soutenue devant le jury composé de :

M. Khaldoun AL AGHA, Professeur à l'Université Paris-Sud11 (Rapporteur)
M. José M. NOGUEIRA, Professeur à l'Université de Minas Gerais (Rapporteur)
M. David POWELL, Directeur de Recherche CNRS au LAAS/Toulouse (Examinateur)
M. Serge FDIDA, Professeur à l'Université Pierre et Marie Curie (Examinateur)
M. Pascal URIEN, Professeur à Telecom ParisTech (Examinateur)
M. Guy PUJOLLE, Professeur à l'Université Pierre et Marie Curie (Directeur
de thèse)

Résumé :

Ce travail présente SAMNAR, une architecture pour la survivance des
réseaux sans fil auto-organisés. SAMNAR est basée sur le système
immunitaire du corps humain et vise à maintenir les services essentiels du
réseau, comme la connectivité de la couche de liaison, le routage et la
communication de bout-en -bout même en présence d'attaques ou
d'intrusions. Elle utilise une nouvelle approche pour la gestion de la
sécurité, consistant en la coordination adaptative des lignes de défense
préventive, réactive et tolérante. SAMNAR propose la création des niveaux
différents de protection. Les mécanismes préventifs, tels que la
cryptographie, sont la première protection. Les mécanismes réactifs, tels
que les systèmes de détection d'intrusion, sont la deuxième protection. Et
les mécanismes tolérants sont la troisième protection, en atténuant les
effets d'intrusions ou d'attaques jusqu'à ce que les autres lignes de
défense puissent s'adapter. Nous appliquons SAMNAR dans deux études de
cas. La première étude propose un schèma de sélection de chemin qui
corrèle des critères fournis par trois lignes de défense en utilisant la
logique floue. Son objectif est de choisir le chemin le plus survivant. La
deuxième étude propose un système de gestion de clés publiques (PKI)
visant à gérer et distribuer du matériel cryptographique de manière
survivante. Le PKI est décentralisé et utilise différentes évidences pour
établir la responsabilité des usagers et leurs clés publiques. Ces
évidences résultent de la coordination entre les trois lignes de défense
et des relations sociales entre les utilisateurs. Enfin, nous fournissons
des orientations pour créer des connectivités survivantes au niveau de la
couche de liaison supportées par la technologie de la radio cognitive.

Abstract

This work presents SAMNAR, a survivable architecture for wireless
self-organizing networks. SAMNAR is inspired on the human body immune
system and aims to maintain network essential services, as link-layer
connectivity, routing and end-to-end communication even under attacks or
intrusion. It proposes a new approach for security management, consisting
in the adaptive coordination among preventive, reactive and tolerant
defense lines, and creates different levels of obstacles for attacks and
intrusions. Preventive security mechanisms, such as cryptography, perform
as first protection, blocking some attacks. Reactive security mechanisms,
such as intrusion detection systems, are the second protection, detecting
and reacting against intrusions (successful attacks). Tolerant security
mechanisms are the third protection, mitigating intrusion or attack
effects until the network can adapt preventive or reactive defense lines.
We apply SAMNAR in two case studies. The first one proposes a survival
path selection scheme for routing essential service. The scheme correlates
criteria provided by three defense lines using Fuzzy logic in order to
choose the most survivable path. The second one proposes a survivable
public key management system (PKI), aiming to manage and distribute
cryptographic keying material in a survivable way. Our PKI is fully
decentralized using different evidences to prove the liability of users
for their public keys. Evidences result from the coordination among three
defense lines and social relationships among users. Finally, we provide
directions for a survivable link-layer connectivity supported by the
cognitive radio technology.


Cordialement,
Michele NOGUEIRA


--
----------------------------------------------------------
Michele Nogueira <<Michele.Nogueira AT lip6.fr>>
PhD Candidate - PHARE - LIP6 - Paris Universitas
Université Pierre et Marie Curie - Paris 6
104 avenue du Président Kennedy, 75016 Paris - France
http://www-phare.lip6.fr/~lima/

Soutenance de thèse de Marc-Ismaël Akodjènou

Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée :

«Clustering et Volume des Données»

ainsi qu'au pot qui suivra. La soutenance aura lieu le lundi 28 septembre
à 14h30 au LIP6 (Site Passy-Kennedy), en salle 847.

Plan d'accès : http://www.lip6.fr/informations/comment.php

La thèse sera soutenue devant le jury composé de :

Mr. Christophe Ambroise, Professeur à l'Université d'Évry (Rapporteur)
Mr. Pierre Gançarski, Maître de Conférences à l'Université Louis Pasteur
de Strasbourg (Rapporteur)
Mr. Georges Hébrail, Professeur à l'École Nationale Supérieure des
Télécommunications (Examinateur)
Mr. Matthieu Cord, Professeur à l'Université Pierre et Marie Curie
(Examinateur)
Mr. Patrick Gallinari, Professeur à l'Université Pierre et Marie Curie
(Directeur)
Mr. Kavé Salamatian, Maître de Conférences à l'Université Pierre et
Marie Curie (Encadrant)

=========
Résumé
=========

Le clustering est une tâche fondamentale de la fouille de données. Ces
dernières années, le volume
des données (à la fois le nombre d'objets et le nombre de
caractéristiques, de "dimensions", les dé-
crivant) croît sans arrêt. Les méthodes de clustering doivent s'adapter
à cette évolution qui a des
impacts à la fois qualitatifs (la pertinence des résultats) et
opérationnels (la complexité du traitement).
Nous étudions dans cette thèse comment se sont adaptées les méthodes de
clustering le long
de ces deux axes. Après une analyse des méthodes existantes à travers ce
prisme, nous en arrivons
au constat que les méthodes qui se concentrent sur la réduction de la
complexité opérationnelle ne
sont généralement pas efficaces en haute dimension, et réciproquement.
Nous prenons ensuite ensuite
le cadre abstrait des méthodes à base de grille : le clustering est
effectué indirectement à travers un
résumé des données. Le résumé est constitué d'indices de proximité entre
les points et doit se construire
avec une complexité respectant des contraintes opérationnelles strictes.
Nous proposons ensuite une
méthode dans ce cadre : le résumé est construit à partir de projections
linéaires des données. Les
indices de proximité ainsi accumulés sont agrégés pour obtenir le
clustering. La méthode a une
complexité opérationnelle satisfaisante et a de bonnes performances en
haute dimension.

Cordialement,

Marc-Ismaël Akodjènou

lundi 21 septembre 2009

Soutenance de Thèse de Hayder MRABET

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse qui s'intitule
« Conception Et Optimisation D'Architectures Reconfigurables De Type FPGA »
Et qui aura lieu le Vendredi 25 Septembre à 10h30 dans l'Amphithéâtre
J.MONOD, Tour 42, RDC
Université Pierre Et Marie Curie (UPMC) – Paris 6
4 place Jussieu
75252 PARIS cedex 05

Vous êtes par ailleurs très chaleureusement conviés au pot qui suivra.

Plan d'accès:
http://www.upmc.fr/fr/vie_des_campus/handicap/plan_d_acces.html


Jury :

M. Régis Leveugle, (TIMA) Rapporteur
M. Yves Mathieu, (ENST) Rapporteur
M. François Anceau, (Paris 6) Examinateur
M. Marc Belleville, (CEA-LETI) Examinateur
M. André Tissot, (CEA-DAM) Examinateur
M. Olivier Lepape, (Abound Logic) Examinateur
M. Jean-Arnaud François, (STMicroelectronics) Examinateur
M. Habib Mehrez, (Paris 6) Directeur de thèse

Résumé :

La question du choix d'implémentations FPGA ou ASIC se pose dès les
premiers stades de conception des circuits intégrés. De telles décisions
sont basées sur les différences en termes de performances, consommation
électrique et du coût lié à la surface de silicium et au volume de
production. Un FPGA est 3 à 4 fois plus lent et consomme environ 12 fois
plus qu'un ASIC. Cet écart est dû au réseau d'interconnexion programmable
qui représente le facteur dominant du FPGA en terme de surface (90%) et en
terme de consommation électrique (65%). Les circuits FPGAs doivent fournir
un bon compromis entre flexibilité, performances et coût pour rester dans
la course du marché des semi-conducteurs. Ces facteurs sont fortement
liées à la qualité de l'architecture du FPGA, la qualité des outils de CAO
et la qualité de la conception physique. L'objet de cette thèse est
d'explorer les méthodes et les techniques pour trouver le meilleur
compromis.
La première partie traite la conception automatisée de cicuits
reconfigurables spécifiques à un domaine d'application. Nous essayons de
baisser les coûts de conception en automatisant le processus de
développement des dessins des masques. Le générateur développé est
indépendant de la technologie cible et peut être adaptés à n'importe
quelle bibliothèque de cellules précaractérisées. Ce générateur a permis
la création d'une matrice FPGA à base de cellules SRAMs. Cette matrice est
équipée d'un système de détection d'erreur pour l'atténuation des effets
SEU et offre un accès aléatoire à la mémoire de configuration. Un
prototype a été fabriqué avec succès en technologie CMOS 0.12µ de
STMicroelectronics.
La deuxième partie décrit le développement d'un FPGA avec une architecture
arborescente nommée MFPGA. Nous avons exploré l'effet des différents
paramètres de cette architecture (capacité des clusters, paramètre de Rent
etc.) sur la densité logique du FPGA. Grâce à un bon équilibrage entre les
ressources logiques et les ressources d'interconnexion, MFPGA réalise un
gain de 54% en terme de surface par rapport à une architecture matricielle
de référence. Finalement, vu la complexité de conception physique des
structures arborescentes, nous avons proposé une technique de mise à plat
et de construction physique pour MFPGA pour illustrer la faisabilité, la
généricité et la densité de cette architecture.


Cordialement
Hayder MRABET