Invitation à la soutenance de thèse de Sinh Chung NGUYEN

Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse de
doctorat intitulée "Gestion de multi-homing au niveau transport pour
les terminaux mobiles multi-interfaces".


==========

Date et lieu

==========

La soutenance aura lieu le 10 Mai à 10h en salle 203/205 Bâtiment 41
(2ème étage) à l'Université Paris 6, 4 Place Jussieu, 75005 Paris.

Plan d'accès :
http://www.upmc.fr/fr/universite/campus_et_sites/a_paris_et_en_idf/jussieu.html


Vous êtes également conviés au pot qui suivra en salle 313 Bâtiment 41
(3ème étage).


===========

Jury de thèse

===========

M. Guy PUJOLLE Directeur de thèse Université Pierre
et Marie Curie
Mme. Thi-Mai-Trang NGUYEN Encadrant Université Pierre
et Marie Curie
M. Stefano SECCI Co-Encadrant Université Pierre
et Marie Curie
M. Yacine GHAMRI-DOUDANE Rapporteur Université
Paris-Est Marne-la-Vallée
M. Fabio MARTIGNON Rapporteur Université Paris-Sud
M. Philippe BERTIN Examinateur Orange Labs
M. Erick BIZOUARN Examinateur Bell Labs
Mme. Bénédicte LE GRAND Examinateur Université Pierre
et Marie Curie

======

Résumé

======

Avec l'évolution des technologies d'accès, des terminaux sont souvent
équipés de plusieurs interfaces réseaux. Les terminaux multi-homés
permettent aux utilisateurs d'utiliser simultanément différents
réseaux d'accès, via plusieurs interfaces, et d'avoir un accès
ubiquitaire aux services. Le multi-homing pourrait fournir une
meilleure couverture radio grâce à l'utilisation simultanée des
différentes technologies sans-fil, améliorer le débit des applications
en se basant sur l'agrégation de bande passante, et augmenter la
fiabilité de la connexion.

Dans cette thèse, nous nous concentrons sur la gestion du multi-homing
au niveau transport; nous étudions deux protocoles de transport qui
supportent le multi-homing: Stream Control Transmission Protocol
(SCTP) et Multipath TCP (MPTCP).

Tout d'abord, nous présentons une solution pour améliorer les
performances de Mobile SCTP (mSCTP) en cas de handover dans un
environnement hétérogène. Nous proposons un mécanisme de mise à jour
des paramètres de contrôle de congestion, combiné avec un mécanisme de
retransmission de données non-acquittées pendant la période de
handover. Cette première contribution est validée par les simulations
avec NS-2.

L'utilisation des fonctionnalités multi-homées de SCTP implique la
modification des applications actuelles dont la plupart se basent sur
Transmission Control Protocol (TCP). MPTCP, une extension récente du
protocole TCP est donc proposée, ce qui permet la transmission
simultanée de données sur de multiples chemins. Afin de savoir si
MPTCP peut atteindre ses objectifs en terme de performance, nous
effectuons des expérimentations en utilisant l'implémentation de MPTCP
dans le noyau Linux. L'objectif de cette deuxième contribution est
d'évaluer la performance de MPTCP en termes de partage de charge et
d'optimisation du débit dans un environnement hétérogène. Les
résultats montrent un grand impact sur le débit de MPTCP et suggèrent
la nécessité d'avoir un algorithme intelligent de sélection d'interface.

MPTCP envoie par défaut des trafics à toutes les interfaces
indépendamment du coût. Pour pallier ce défaut, nous proposons enfin
un mécanisme de partage de charge associé à MPTCP en utilisant la
théorie des jeux. La communication entre deux terminaux multi-homés
est modélisée sous la forme d'un jeu non-coopératif multi-critère qui
prend en compte le coût de connexion et le délai du chemin. Un
coefficient, qui représente le compromis "coût-performance", a été
défini, pour pondérer l'importance de chaque critère sur la stratégie
de sélection de chemin et de partage de charge. Le taux de partage de
charge est calculé en fonction du potentiel associé à chaque
stratégie. Nous montrons qu'il est possible de tenir compte des
préférences de l'utilisateur pour optimiser le coût et la performance
d'une communication MPTCP, et qu'il est également possible de les
inclure dans l'algorithme de partage de charge.



=======

Abstract

=======

With the ubiquitous availability of various access technologies,
current mobile terminals are often equipped with several network
interfaces. Users not only have access to services anywhere at any
time from any network, but also envisage using different network
accesses simultaneously through several interfaces. Such multi-homing
environment should ensure the wider radio coverage thanks to the
simultaneous use of different wireless technologies, the enhancement
of network application performances taking advantage of bandwidth
aggregation and the increase of reliability by using any of the
available technologies.

In this thesis, we concentrate on multi-homing management at transport
layer and study two protocols of transport which support the
multi-homing: Stream Control Transmission Protocol (SCTP) and
Multipath TCP (MPTCP).

Handling mobility at the transport layer is an interesting approach to
attain seamless handover in the context of heterogeneous access
networks. To support terminal mobility, an extension of SCTP called
SCTP-DAR (SCTP Dynamic Address Reconfiguration) (a.k.a. mobile SCTP)
has been defined allowing SCTP endpoints to update IP address and
inform the remote peer about primary address change. However, mobile
SCTP suffers from performance degradation during handover. In this
first contribution, we deal with two handover-related issues:
reduction of data rate immediately after handover and packet
reordering. We propose to use a combination of two mechanisms,
congestion control parameter update and buffer retransmission. The
simulation results on NS-2 show the SCTP performance improvement
during handover.

Multipath TCP (MPTCP) is a modified version of Transmission Control
Protocol (TCP) which allows using simultaneously multiple paths for
data transmission. It aims to improve the throughput of TCP connection
in a manner that a MPTCP connection over multiple paths should achieve
at least a no worse throughput than a single TCP connection over the
best constituent path. In order to know if MPTCP could fulfill its
performance goals, we carry out experimentations by using Linux
implementation of MPTCP. The objective of this second is to evaluate
MPTCP performance in terms of throughput optimization and load sharing
in heterogeneous environment. The measurements show a great impact of
this network context on MPTCP performance and reveal the need of an
intelligent algorithm for interface selection.


Finally, a strategic load-balancing mechanism for MPTCP is proposed by
using game theory. We model the communication between multi-homed
terminals as a multi-criteria non-cooperative game so as to achieve
performance-cost decision frontiers. A trade-off coefficient is
defined to weight each criterion impact on the game. The resulting
game always allows selecting multiple equilibria, which correspond to
a strategic load-balancing distribution over the available interfaces.
Our proposal is validated by simulations on NS-2. We show that it is
possible to take into account user preferences in load-balancing
algorithm.




Cordialement,

Sinh Chung NGUYEN

Invitation à la soutenance de thèse de Xiaofei ZHANG

Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée:
"Multipath Transmission Control and Mobility Management for
Multihoming Transport Protocols".

Devant le jury composé de:
• M. Ken CHEN Rapporteur
Professeur à Université Paris 13
• Mme. Véronique VÈQUE Rapporteur
Professeur à Université Paris 11
• M. Oliver MARCÉ Examinateur Chef
de projet à Alcatel-Lucent Bell Labs France
• M. Pierre EISENMANN Examinateur
Directeur ZTE France division sans fil
• Mme. Nadia BOUKHATEM Examinateur
Maître de Conférences à TELECOM-ParisTech (HDR)
• Mme. Clémence MAGNIEN Examinateur
Chargée de recherche à LIP6-CNRS (HDR)
• M. Guy PUJOLLE Directeur
Professeur à UPMC-Sorbonne Universités
• Mme. Thi Mai Trang NGUYEN Co-directeur
Maître de Conférences à UPMC-Sorbonne Universités

La soutenance aura lieu le Jeudi 10 Mai à 14h en salle 101 couloir
25-26 (1er étage) au Laboratoire d'Informatique de Paris 6 (LIP6), 4
Place Jussieu, 75005 Paris.

Plan d'accès :
http://www.upmc.fr/fr/universite/campus_et_sites/a_paris_et_en_idf/jussieu.html
http://www.lip6.fr/informations/comment.php

Vous êtes également coviés au pot qui suivra en salle 101 couloir
26-00 (1er étage).


Cordialement,


Xiaofei Zhang


============= Résumé en français ===================

Avec la baisse des prix des périphériques réseaux, il est de plus en
plus commun un terminal mobile d'aujourd'hui équipant plusieurs
interfaces des réseaux. Par exemple, les téléphones cellulaires ou les
ordinateurs portables sont équipés les interfaces WiFi, UMTS et WiMAX.
Ces interfaces pourraient être connectées aux différents fournisseurs
de réseaux et obtenir plusieurs adresses IP. Il transmet les données
sur ces interfaces et sur les multi-chemins. L'utilisation de
plusieurs interfaces disponibles en parallèle peut grandement
bénéficier de la fiabilité de connexion, la tolérance aux pannes, le
partage de charge, l'augmentation de la bande passante disponible etc.
Elle est aussi utile pour le handover et peut fournir une gestion
efficace de la mobilité.

Pour les protocoles de transport, tels que TCP et SCTP protocols, les
paquets sont envoyés un par un de l'expéditeur et mise en ordre à la
destination. les paquets en désordre indiquent possible perte de
données. Toutefois, lorsqu'un terminal transfère simultanément les
données sur plusieurs interfaces dans le cadre de de multihoming, ce
principe n'est plus valable. En raison des caractéristiques
différentes des chemins, comme le délai et la perte, il est très
probable que les paquets sont envoyés plus tôt mais préalablement
arrivés plus tard. Ceci cause le problème du blocage de tampon. Par
conséquence, le transfert simultané de données peuvent souffrir de
mauvaises performances, si les conditions des chemins différents ne
sont pas soigneusement étudié en particulier lorsque plusieurs chemins
passent par des réseaux sans fil hétérogènes.

Dans cette thèse, nous étudions les problèmes multihoming à la couche
de transport pour améliorer la performance de bout en bout dans les
réseaux sans fil. En outre, la coordination entre les multihoming et
gestion de la mobilité est étudiée ce qui nous permet de proposer une
gestion de la mobilité coopérative dans le contexte de multihoming
pour un environnement Post-IP.

Tout d'abord, nous proposons une solution multi-couche (cross-layer)
pour l'optimisation des performances avec le CMT (Concurrent Multipath
Transfer) extension de SCTP dans les réseaux sans fil. Deux
paramètres, FER (Frame Error Rate) à la couche de liaison et RTT à la
couche de transport sont utilisés pour évaluer les conditions des
chemins. Les résultats de la simulation sous NS-2 montrent que notre
proposition améliore les performances et réduit la réception des
paquets en désordre.

Deuxièmement, nous nous concentrons sur les liens hétérogènes sans
fil. En raison de manque de fiabilité des liaisons sans fil, nous
avons besoin d'une bonne description des caractéristiques du chemin.
Nous choisissons le filtre de Kalman puisqu'il est une méthode
efficace récursive qui non seulement estime et corrige les états
actuels du système, mais aussi prédit même les états futurs sur la
base du dernier état. Les résultats des simulations ont montré que
notre proposition avec le filtre de Kalman réduit le degré désordre et
améliore modèle de croissance de la congestion fenêtre. En
conséquence, le débit total augmente.

Enfin, une architecture de la gestion de la mobilité coopérative est
proposé comme une solution pour le Post-IP. Caractéristiques de
multihoming sont analysés afin de présenter la proposition de la MCMM
(Multihoming-based Cooperative Mobility Management). La gestion de la
mobilité coopérative optimise le délai de transfert dans les réseaux
d'accès hétérogènes. Lorsque la mobilité se produit, les messages de
mise à jour sont envoyées sur l'interface avec le plus petit retard
plutôt que sur l'interface qui déclenche la mobilité. Le MCMM est
implémenté en C++ sous Linux avec un test-bed. Les résultats
expérimentaux montrent que le retard de transfert peut être réduite
par l'envoi de messages de mise à jour via l'interface de la voie la
plus rapide.

==================== Abstract in English ============================

With the decreasing price of network peripherals, most of mobile
devices today are equipped with multiple network interfaces that could
be connected to different network providers and obtain multiple IP
addresses. For example, cell phones or laptops are equipped with WiFi,
UMTS and WiMAX interfaces. It is widely agreed that full utilization
of multihoming by simultaneous data transmission over multiple
available paths can greatly benefit from connection reliability, fault
tolerance, load sharing, load balancing, etc. Moreover, using several
interfaces at the same time can also increase the available bandwidth.
The full utilization of multihoming can also provide an efficient
mobility management.

For reliable transport protocols such as TCP and standard SCTP,
packets are sent one by one at sender and put in order at destination.
Out-of-order packets indicate possible data loss. However, when a
terminal simultaneously transfers data over multiple interfaces in the
context of multihoming, this principle is no longer valid. Because of
the different characteristics of different paths, such as delay and
loss, it is very likely that packets sent more previously arrive
later. This causes the head-of-line blocking problem. Hence,
simultaneous data transfer can suffer poor performances if the
conditions of different paths are not carefully considered especially
when multiple paths go through heterogeneous wireless networks.

In this dissertation, we investigate the multihoming problems at
transport layer to improve the end-to-end performance in wireless
networks. Moreover, the coordination between multihoming and mobility
management is studied which permit us to propose a cooperative
mobility management in the context of multihoming for an environment
Post-IP.

Firstly, we propose a cross-layer solution for performance
optimization with the CMT (Concurrent Multipath Transfer) extension of
SCTP in wireless networks. Two parameters, FER (Frame Error Rate) at
the link layer and RTT at the transport layer are used to evaluate the
path conditions. The simulation results by using ns-2 show that our
proposal improves the performance and reduces the out-of-order data
reception.

Secondly, we focus on the heterogeneous wireless links. Because of
unreliable wireless links, we need a good description of link
characteristics. We chose Kalman filter because it is an efficient
recursive method which not only estimates and corrects the current
system states but also predicts even the future states based on the
latest state. The simulation results showed that our proposal with
Kalman filter reduces the reordering degree and improves congestion
window growth pattern. As a result, the total goodput increases.

Finally, a cooperative mobility management architecture is proposed as
a solution for Post-IP. Multihoming and end-to-end features are
analyzed to present the proposal of MCMM (Multihoming-based
Cooperative Mobility Management). The cooperative mobility management
optimizes the handover delay in the heterogeneous access networks.
When mobility occurs, update messages are sent over the interface with
the smallest delay rather than over the interface which triggers the
mobility. The MCMM is implemented in C++ under Linux with a test-bed.
The experimental results show that the handover delay can be reduced
by sending update messages over the interface of the fastest path.

===============================================================


***************************************************************
Xiaofei ZHANG
PhD Student - Team PHARE
Laboratory of Computer Science of Paris 6 (LIP6)
University of Pierre and Marie Curie (UPMC - Paris 6)
4 place Jussieu
75005 Paris, France
Tel : +33 1 44 27 88 79
***************************************************************

Invitation à la soutenance de thèse de Mohamed Benazouz (Vendredi 13 Avril 2012 à 15h, Amphithéâtre 45B)

Bonjour,

 

j'ai le grand plaisir de vous inviter à la soutenance de ma thèse de doctorat intitulée

 

"Dimensionnement des Mémoires dans les Applications de Traitement de Flux de Données".

 

==========

Date et lieu

==========

 

La soutenance aura lieu à l’Université Pierre et Marie Curie le Vendredi 13 Avril 2012 à 15h00 dans l'Amphithéâtre 45B, au pied de la tour 45 (niveau Jussieu).

Vous êtes également invités au pot qui suivra à la maison de la pédagogie Salle A002.

http://www.upmc.fr/fr/vie_des_campus/handicap/plan_d_acces.html

 

===========

Jury de thèse

===========

 

M.          Dritan NACE, Professeur de l'Université de Technologie de Compiègne                                                                  (Rapporteur)

M.          Sid TOUATI, Professeur de l' Université Nice Sophia Antipolis                                                                                      (Rapporteur)

Mme.    Nathalie DRACH-TEMAM, Professeur de l'Université Pierre et Marie Curie                                                           (examinateur)

Mme.    Claire HANEN, Professeur  de l'Université de Paris Ouest Nanterre la Défense                                                    (examinateur)

M.          Thierry MICHEL, Docteur Ingénieur de Recherche au Centre R&D Crolles de STMicroelectronics                 (examinateur)

M.          Renaud SIRDEY, Chercheur au Commissariat à l'Energie Atomique CEA                                                                   (examinateur)

M.          Yves SOREL, Directeur de Recherche à l'INRIA Centre de Recherche Rocquencourt                                           (examinateur)

Mme.    Alix MUNIER-KORDON, Professeur de l'Université Pierre et Marie Curie                                                                (Directeur de thèse)

 

======

Résumé

======

                Les récents travaux en conception électronique au niveau système (ESL) et la synthèse haut niveau (HLS) ont permis l'essor des techniques d'exploration de l'espace de conception dans le but de satisfaire des exigences croissantes tout en réduisant le temps de mise sur le marché. Plusieurs métriques sont utilisées durant ce processus d'exploration; le débit constitue une des plus importantes mesures de performance d'une application de traitement de flux de données. Un des facteurs qui limite le débit atteint est la taille des mémoires tampons (buffers) assurant l'échange de données entre les différentes tâches d'une application. Des méthodes exactes ou heuristiques ont été proposées ces dernières années pour calculer la taille des buffers sous contrainte de débit. Cependant, elles  ne sont pas satisfaisantes du fait de leur temps de calcul prohibitif. Le but de cette thèse est de proposer une approche analytique permettant de résoudre en temps polynomial le problème de dimensionnement des mémoires tampons tout en garantissant d'atteindre un débit préfixé.   Deux modèles de calcul (MoC) très répandus ont été retenus pour  décrire le parallélisme des tâches et les taux de transfert de données entre elles : Graphes d'Evénements Généralisés Temporisés (GEGT) et Graphes Cyclo-Static DataFlow (CSDFG).

               

                Nous considérons dans un premier temps les GEGTs.  En supposant que les tâches sont exécutées périodiquement, nous montrons que le problème d'optimisation avec contrainte de débit est un programme linéaire en nombres entiers (PLNE). Après avoir donné une caractérisation complète du problème bi-critère "taille d'un buffer-débit", nous proposons une formule close pour le calcul de la taille minimale à allouer à un buffer unique pour un débit fixé. Ce résultat est alors généralisé afin d'obtenir une solution optimale au PLNE pour des GEGTs à structure arborescente et aux GEGTs cycles. Dans le cas général, nous proposons un algorithme polynomial 2-approché pour résoudre le PLNE. Dans la deuxième partie, nous étendons des résultats obtenus pour le modèle GEGT au modèle CSDFG. En particulier, nous proposons une condition suffisante  de vivacité. Nous sommes alors amenés à ordonnancer les phases successives d'une tâche CSDF. Nous présentons un programme linéaire Min-Max (PL Min-Max) afin de répartir les phases sur une période. Ce PL Min-Max est ensuite utilisé pour relâcher la contrainte de périodicité, ce qui accroit sensiblement la précision dans le calcul des tailles suffisantes des buffers.

               

                Malgré la restriction aux ordonnancements périodiques, nos expérimentations sur des cas d'études réels montrent que les solutions calculées sont de bonne qualité par rapport aux méthodes heuristiques ou exactes utilisant un ordonnancement au plus tôt. Dans le contexte  d'utilisation croissante d'outils HLS et ESL, nos algorithmes qui allient une précision accrue et de faibles temps d'exécution constituent une avancée importante pour le développement d'outils efficaces d'exploration de l'espace de conception.

 

=======

Abstract

=======

                Recent works in Electronic System Level (ESL) design and High-Level Synthesis (HLS) have enabled Design Space Exploration (DSE) in order to meet the growing demand for higher performance while reducing time to market. Several metrics are used during the exploration process; the throughput is a key performance measure when it comes to stream  processing applications. Sizes allocated to the buffers that support data streams  between the different  application tasks is one of the factors that influence the achievable throughput. Several exact and heuristic methods have been proposed  to compute  buffer capacities that satisfy  throughput constraint. However, their exponential complexity and thus their prohibitive run-time make them useless even for some small applications. The aim of this thesis is to provide an  analytical approach to optimize buffer capacities  under  throughput constraint in polynomial time. We adopted for this study two powerful Models of Computation (MoC) for timing analysis of systems behavior: Timed Marked Weighted Event Graphs (TMWEG) and Cyclo-Static DataFlow Graphs (CSDFG).

 

                The first part of this thesis is dedicated to TMWEGs. Assuming that tasks are scheduled periodically, we model the buffer capacities optimization problem under throughput constraint by an Integer Linear Program (ILP). We characterize the trade-offs between the throughput and the capacity of a buffer and we propose a closed-form formula for the computation of the minimum capacity to allocate to a buffer in  order to achieve a given throughput. This result is then generalized to derive an optimal solution to the ILP for tree-structured TMWEGs. We also develop an algorithm to build an optimal solution for the case of a cycle TMWEG. In the general case, we propose a 2-approximate polynomial algorithm to solve the ILP. In the second part, we extend results obtained for TMWEGs to CSDFGs. In particular,  we propose a sufficient condition for the liveness of a CSDFG that is checkable in polynomial time. The CSDFG model raises the problem of the scheduling of the different phases of a CSDF task. We present a Min-Max  Linear Program  (Min-Max LP) that derives an optimized periodic phases scheduling per CSDF task in order to minimize buffer capacities. Then, this Min-Max LP is used to relax the periodic schedule semantic, which allows to obtain close to optimal buffer capacities while running in polynomial time.

 

                Despite the restriction to the periodic scheduling policy, our experiments on real case studies show that solutions computed by our  polynomial  algorithms are of good quality compared to  heuristics or exact techniques based on the as-soon-as-possible scheduling policy. In the context of growing use of HLS and ESL design tools, our algorithms that combined increased accuracy and low run-time constitute an important step towards the development of efficient design space  exploration tools.

 

Cordialement,

 

Mohamed BENAZOUZ

Doctorant LIP6

 

Invitation à la soutenance de thèse de Othmen BRAHAM

Bonjour,
J'ai le grand plaisir de vous inviter à la soutenance de ma thèse
intitulée "Étude et stratégies pour l'urbanisation d'un environnement
de réseaux virtuels" ainsi qu'au pot qui suivra.
La soutenance aura lieu le Mercredi 04 Avril 2012 à 10h00 à:
Université Pierre et Marie curie
Tour 25/26, 1er étage, salle 105
4, place Jussieu
75252 Paris
***********
Résumé
***********
L'adaptation des concepts de virtualisation pour faire face à un grand
nombre de défis qu'affrontent aujourd'hui les réseaux de
télécommunication bénéficie d'une attention de plus en plus
importante. Cette thèse propose une alternative à l'infrastructure
physique du réseau informatique et développe les outils de gestion
nécessaires pour gérer une plate-forme de réseaux virtuels. Le
problème considéré est celui de l'urbanisation d'un environnement de
réseaux virtuels. L'objectif est donc de répondre aux attentes des
opérateurs pour fournir les services liés aux réseaux informatiques de
manière flexible, extensible et à coût réduit. Dans ce cadre, une
étude expose, en premier lieu, les apports de l'approche de
virtualisation adaptée aux besoins des réseaux afin de bien identifier
ses avantages et ses inconvénients. En second lieu, une autre étude
porte sur l'architecture d'un environnement de réseaux virtuels.
Enfin, cette thèse présente les mécanismes nécessaires pour
l'urbanisation d'un environnement de réseaux virtuels et exploite les
résultats de leur implémentation.
Une première contribution de cette thèse consiste à la conception et à
l'implémentation d'un outil d'urbanisation de l'environnement de
réseaux virtuels. Une description de notre architecture sera
présentée. Nous avons implémenté l'outil VirtuOR Control Center (VCC)
à cet effet. Cet outil a permis d'offrir toute une panoplie de
fonctionnalités pour les administrateurs à chaque niveau de
virtualisation. Les résultats pertinents de la mise en place sont
aussi exposés.
Dans le cadre d'extension de l'environnement virtuel avec de nouveaux
équipements virtualisés, le deuxième apport se présente dans la
virtualisation d'un point d'accès WiFi. C'est-à-dire il a été possible
de mutualiser un point d'accès WiFi physique entre plusieurs points
d'accès virtuels. Le développement de cette approche permet de
soutenir les avantages du réseau sans fil dans un environnement
virtualisé tels que la mobilité, l'étendue de la zone de couverture,
la vitesse d'installation et la simplicité. L'approche adoptée dans la
réalisation de cet apport permet d'étendre d'une part un réseau
virtuel par un point d'accès WiFi virtualisé et d'une autre part de
fournir aux utilisateurs une plus grande flexibilité pour accéder à
leurs services à travers le réseau virtuel.
Le troisième apport consiste à proposer des stratégies pour améliorer
l'urbanisation des réseaux virtuels. En effet, il est difficile de
gérer l'énorme quantité d'éléments virtuels et de manipuler toutes les
fonctionnalités offertes à partir des agents VirtuOR. Une description
sur la façon qui a permis d'améliorer l'urbanisation des réseaux
virtuels en incluant le concept du pilotage autonomique est décrite
dans la présente étude. Le choix de développer cette approche a permis
d'aider l'administrateur du réseau à s'acquitter de ses tâches. En
plus, cette approche est caractérisée par un comportement décentralisé
pour la gestion, plus pratique au sein d'un environnement de réseaux
virtuels.

***********
Abstract
***********
Adapting virtualization concepts to satisfy many of today's network
telecommunication challenges receives more and more attention. This
thesis proposes an alternative to the physical network infrastructure.
We have developed a necessary management tools to control a virtual
network environment. The addressed problem is how to urbanize a
virtual network environment. The objective is to meet the expectations
of operators for providing networks services with flexibility,
scalability and reduced cost. Our contribution consists on providing a
design for a virtual network environment to coexist virtual networks
and their respective operators. In this thesis, we describe how we
focus our work on virtual network environment architecture to properly
identify its advantages and disadvantages. Finally, we explain some
proposed organization strategies to improve virtual network
urbanization. The relevant results of the architecture deployment are
exposed.
A first contribution of this thesis consists on the design and the
implementation of a tool used to urbanize a virtual network
environment. We have described our architecture. We have implemented
the tool VirtuOR Control Center (VCC) at this level. The tool offers a
range of features for administrators at each virtualization level.
Pertinent results of the implementation are exposed.
To extend the virtual network environment with new virtualized
equipment, we have published a second contribution concerning a WiFi
access point virtualization. We have described how we have improved
virtual network urbanization by including virtualized access point
equipment. We developed this approach for supporting wireless network
advantages such as mobility, coverage areas, installation speed and
simplicity. Our approach allows extending a virtual network with a
virtualized WiFi access point deployment to provide users more
flexibility to access their services delivered by the allocated
virtual networks.
Our third contribution proposes new strategies to improve the
urbanization of virtual networks. Indeed, it stills hard to manage the
huge amount of virtual element and surround all the functionalities
offered through VirtuOR agents. In this contribution, we describe how
we have improved virtual network urbanization by including autonomic
concepts. We have developed this approach because it helps the manager
to perform his tasks and it has a distributed behavior which is more
convenient for virtual environment management.
*****************
Jury de thèse
*****************
M. Guy PUJOLLE, Directeur de thèse, Professeur à l'UPMC.
M. Jean-Pierre CLAUDE, Rapporteur, Professeur à l'Université de Versailles.
Mme. Hassnaa MOUSTAFA, Rapporteur, Ingénieur de recherche senior à
Orange Labs.
M. Abdelhamid MELLOUK, Examinateur, Professeur à l'Université Paris
Est Créteil.
Mme Bénédicte LE GRAND, Examinateur, Maître de Conférences (HDR) à l'UPMC.
M. Patrick BORRAS, Examinateur, Directeur Services et Ingénierie, UCOPIA.

Cordialement,
Othmen BRAHAM

Soutenance de thèse de Massoud Seifi - 12 mars 2012

Bonjour,

 

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

 

"Cœurs stables de communautés dans les graphes de terrain"

 

ainsi qu'au pot qui suivra.

 

La soutenance aura lieu le lundi 12 mars 2012 à 14h à Jussieu (métro Jussieu ligne 7 et 10) en salle 25-26/105.

 

 

========================================================================

Résumé

========================================================================

Dans de nombreux contextes, des ensembles d'entités en relation peuvent être modélisés par des graphes, dans lesquels les entités individuelles sont représentées par des sommets et les relations entre ces entités par des liens. Ces graphes, que nous appellerons "graphes de terrain", peuvent être rencontrés dans le monde réel dans différents domaines tels que les sciences sociales, l'informatique, la biologie, le transport, la linguistique, etc.

La plupart des graphes de terrain sont composés de sous-graphes denses faiblement inter-connectés appelés "communautés" et de nombreux algorithmes ont été proposés afin d'identifier cette structure communautaire automatiquement.

Nous nous sommes intéressés dans cette thèse aux problèmes des algorithmes de détection de communatés, notamment leur non-déterminisme et l'instabilité qui en découle. Nous avons présenté une méthodologie qui tire parti de ce non-déterminisme afin d'améliorer les résultats obtenus avec les techniques actuelles de détection de communautés. Nous avons proposé une approche basée sur le concept de communautés fortes ou "cœurs de communautés" et nous avons montré l'amélioration apportée par notre approche en l'appliquant à des graphes réels et artificiels.

Nous avons aussi étudié la structure des cœurs des graphes aléatoires et nous avons montré qu'à la différence des algorithmes classiques de détection de communautés qui peuvent trouver des partitions en communautés dans des graphes n'ayant pourtant aucune structure communautaire intrinsèque, notre approche indique clairement l'absence de structure communautaire dans les graphes aléatoires et permet en ce sens de distinguer les graphes aléatoires des graphes réels.

Nous avons étudié également l'évolution des cœurs dans des réseaux dynamiques via une dynamique simulée simple et contrôlable ainsi qu'une dynamique réelle. Nous avons montré que les cœurs sont beaucoup plus stables que les communautés obtenues par les techniques actuelles de détection de communautés et que notre approche peut donc pallier les défauts des méthodes stabilisées qui ont été proposées récemment.

 

========================================================================

Abstract

========================================================================

In many contexts, sets of related entities can be modeled by graphs, in which entities are represented by nodes and relationships between these entities by edges. These graphs, which we call "complex networks", may be encountered in the real world in various fields such as social science, computer science, biology, transportation, linguistics, etc.

Most complex networks are composed of dense subgraphs weakly interconnected called "communities" and many algorithms have been proposed to identify the community structure of complex networks automatically.

During this thesis, we focused on the problems of community detection algorithms, especially their non-determinism and the instability that results. We presented a methodology that takes advantage of this non-determinism to improve the results obtained with current community detection techniques. We proposed an approach based on the concept of strong communities, or "community cores", and we showed the improvement made by our approach by applying it to real and artificial graphs.

We also studied the structure of cores in random graphs and we showed that unlike classical community detection algorithms which can find communities in graphs with no intrinsic community structure, our approach clearly indicates the absence of community structure in random graphs and, in this way, allows to distinguish between random and real graphs.

We also studied the evolution of cores in dynamical networks using a simple and controllable simulated dynamic and a real dynamic. We showed that cores are much more stable than communities obtained by current community detection techniques and our approach can overcome the disadvantages of stabilized methods that have been recently proposed.

 

========================================================================

Composition du jury

========================================================================

 

Bertrand Jouve ; Professeur, Université Lumière Lyon 2 ; Rapporteur

Christine Largeron ; Professeur, Université Jean Monnet ; Rapporteur

Christophe Crespelle ; MdC, Université Claude Bernard Lyon 1 ; Examinateur

Marcelo Dias de Amorim ; Directeur de Recherche CNRS ; Examinateur

Matthieu Latapy ; Directeur de Recherche CNRS ; Directeur de thèse

Jean-Loup Guillaume ; MdC, Uuniversité Pierre et Marie Curie ; Encadrant

 

 

Cordialement,

Massoud SEIFI

 

 

Soutenance de thèse de Anh Phuc TRINH - 17 Février 2012

Bonjour,

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

"Classifieur probabiliste et Séparateur à Vaste Marge. Application à la
classification de texte et à l'étiquetage d'image".

ainsi qu'au pot qui suivra.

La soutenance aura lieu le vendredi 17 février 2012 à 10h00 sur le Campus de
Jussieu en salle 105 couloir 25-26 (1er étage).

Composition du Jury
=========================

Rapporteurs :
Mme. Sylvia THIRIA, Professeur à l'Université Versaille Saint Quentin en
Yvelines.
M. Thierry PAQUET, Professeur à l'Université de Rouen.

Directeur de thèse :
M. Patrick GALLINARI, Professeur à l'Université Pierre et Marie Curie.

Examinateur :
M. Thierry ARTIERES, Professeur à l'Université Pierre et Marie Curie.

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

Cette thèse propose des estimateurs de probabilités a posteriori pour des
Séparateur à Vaste Marge. Elle comporte une partie théorique et une partie
expérimentale.

La première contribution que nous présentons dans cette thèse est
d'introduire un classifieur probabiliste basé sur des SVM pour la
classification multi-classes. L'approche que nous utilisons est l'approche
1 contre 1, où pour un problème à k classes k(k - 1)/2 classifieurs sont
entrainés. Les sorties binaires de ces classifieurs forment un espace de
votes dans lequel sera prise la décision de classe. Nous introduisons un
espace de vote enrichi qui permet de prendre en compte des relations entre
l'ensemble des classes du problème et proposons une méthode pour apprendre
à partir de cet espace binaire à estimer les probabilités a posteriori des
classes.

La seconde contribution concerne le problème de la classification
multi-étiquettes et la prise en compte de dépendances entre étiquettes. La
prédiction de sorties structurées a été ces dernières années un domaine
extrêmement actif et de nombreux modèles basés sur des extensions des SVMs
ou des modèles graphiques on été proposés. Nombre de ces modèles ont une
complexité qui empêche toute application sur des données réelles. Nous
introduisons un classifieur multi-étiquettes basé sur un formalisme de
modèle graphique non dirigé. Nous proposons une méthode d'inférence
approchée de complexité limitée qui permet une utilisation pratique de ces
méthodes. Nous incorporons dans ce modèle les classifieurs probabilistes
mentionnés plus haut pour estimer les probabilités nécessaires au calcul
d'inférence.

La troisième contribution est la validation expérimentale de ces idées et
algorithmes. Une première application nous permet de tester notre
classifieur probabiliste multi-classes. Il s'agit du Défi DEFT 1 qui est
une compétition française sur la classification de textes. Les données sur
lesquelles nous avons travaillé traitent de classification en thème et en
genre de corpus journalistiques. La seconde application que nous avons
traitée porte sur l'étiquetage d'images en utilisant une information de
dépendance entre les étiquettes. Elle correspond à une tâche proposée dans
la compétition internationale ImageCLEF08 2. Nous proposons un modèle
graphique adapté à cette tâche qui nous permet de valider ce modèle
multi-étiquettes.

==============================================
TRINH Anh Phuc.
Bureau 523, Tour 26-00, LIP6.
4 place de Jussieu.
75005 Paris.
Tél : (+33) 01 44 27 38 11
================================================

Soutenance de thèse de Ibrahima FALL

Bonjour,
J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée :
"Gestion Optimisée de Produits-Modèles de Procédés Logiciels".
qui aura lieu le mercredi 08 février à 10H30 au campus de Jussieu, salle 105
couloir 25/26 - 1er étage,

ainsi qu'au pot qui suivra.

Le jury sera composé de :

Directeur de thèse:
Mme Marie-Pierre GERVAIS, Professeure à l'université Paris X-Nanterre
La Défense

Co-directeur de thèse:
M. Moussa LO, Professeur à l'université Gaston Berger de Saint-Louis

Encadrant de thèse:
M. Reda BENDRAOU: McF à l'université Paris VI - P. & M. Curie

Rapporteurs:
Mme Mireille BLAY-FORNARINO, Professeure à l'université de Nice -
Sophia Antipolis
M. Bernard COULETTE, Professeur à l'université de Toulouse II – Le Mirail

Examinateurs:
M. Fabrice KORDON, Professeur à l'université Paris VI - P. & M. Curie
M. Xavier BLANC, Professeur à l'université Bordeaux I

Résumé :
Actuellement, la communauté des procédés logiciels ne porte que peu
d'attention aux artefacts de ces procédés. Leur gestion est minimale.
Or l'introduction des principes de l'ingénierie des modèles dans les
procédés logiciels modifie en profondeur la nature de ces artefacts et
augmente leur complexité: ils deviennent des modèles (que nous
appelons produits-modèles). La prise en compte de cette complexité est
alors impérative en vue d'optimiser la gestion de ces produits-modèles.

Dans cette thèse, nous posons le problème de la modélisation des
relations entre produits-modèles en analysant l'importance de ces
relations dans la gestion de l'évolution des produits-modèles lors de
l'exécution du procédé qui les utilise et/ou les produit. Ainsi nous
illustrons qu'exploiter les modèles de relations à l'exécution du
procédé optimise la gestion des produits-modèles en matière de
cohérence, de synchronisation ou encore de flexibilité dans la
granularité des produits-modèles.
Notre contribution est composée de deux éléments majeurs qui sont
relatifs à la modélisation puis à l'exécution de procédés.
Du point de vue de la modélisation des procédés, nous avons proposé un
méta-modèle permettant de structurer les éléments relatifs à la
spécification des produits-modèles. Ce méta-modèle contient les
concepts nécessaires à la définition des relations entre ces éléments
et d'associer à ces relations les caractéristiques nécessaires à une
meilleure gestion des produits-modèles à l'exécution des procédés
modélisés. Notre approche supporte les relations d'inclusion (Nest) et
de partage d'éléments (Overlap) entre deux ou plusieurs
produits-modèles d'un procédé en exécution.

Du point de vue de l'exécution des procédés, dans le but de structurer
les entités logiques à travers lesquelles sont gérés les
produits-modèles d'un procédé modélisés avec les concepts du précédent
méta-modèle, nous avons proposé un autre méta-modèle. Ce dernier
contient les concepts nécessaires à la représentation des objets de
procédé correspondants aux produits-modèles ainsi qu'aux relations, en
conformité avec le premier méta-modèle.

Dans le but d'assurer une correspondance entre les concepts des deux
méta-modèles ainsi que de permettre une exploitation automatique des
concepts de modélisation à travers ceux d'exécution, la proposition
comprend également des règles de transformation entre ces différents
concepts.

Les apports de notre approche sont relatifs à la gestion des
produits-modèles de procédés en exécution. Il s'agit d'une cohérence
relationnelle systématique, d'une synchronisation également
systématique, d'une construction assistée, d'une flexibilité du point
de vue de la granularité, et d'une intégrité ou cohérence sémantique
de ces produits-modèles.

Nous avons également conçu et réalisé un prototype qui simule un
environnement de modélisation et d'exécution de procédés selon notre
approche.

Mots clés:

Procédés Logiciels, Produits de Procédés, Modélisation de Procédés,
Exécution de Procédés, Nest, Overlap.