La loi de Moore prédit que le nombre de composants dans un circuit double tous les 18 mois. Cette augmentation permet de diminuer les délais dans ces composants, mais amènent une augmentation des délais liés aux interconnexions par rapport aux délais dans les composants et de la consommation de puissance. Récemment, les délais dans les interconnexions sont devenus trop importants par rapport aux délais dans les portes logiques au point où la méthode de synthèse automatisée de circuits intégrés actuelle est devenue inadéquate. Puisque le traitement des interconnexions s'effectue lors de la synthèse physique, une nouvelle approche, inversant les étapes de la synthèse physique et de la synthèse logique, a été envisagée. La conception d'un système, utilisant un langage orienté-objet et offrant de la portabilité et une intégration de modules futurs, a été l'objet de cette recherche puisqu'un système utilisant un tel procédé n'a pas encore vu le jour. Une plate-forme de synthèse a été développée et celle-ci a été testée à l'aide d'un module de gestion de budgets de délai. Premièrement, une lecture de la description logique du circuit provenant de la synthèse comportementale a été effectuée en utilisant un décomposeur analytique et un analyseur syntaxique. Ensuite, pendant cette lecture, un réseau booléen hiérarchique représentant le circuit a été bâti selon une infrastructure prédéfinie. Afin de pouvoir tester la plate-forme, des budgets de délais ont été assignés à chaque noeud du réseau en propageant le temps d'arrivée et le temps requis dans un circuit provenant d'une description logique hiérarchique complexe. Finalement, la gestion de budgets de délai a été faite par un algorithme conçu à cet effet et les résultats de celle-ci ont été analysés. Le résultat obtenu est une plate-forme de synthèse capable de faire de la gestion de budget de délais sur les chemins critiques dans un circuit donné. De plus, celle-ci pourra être utilisée de nouveau pour d'autres projets liés à la synthèse de circuits. La pertinence de cette recherche repose sur la résolution d'un problème grandissant dans le monde de la synthèse automatisée des circuits intégrés.

Thèse de doctorat--Informatique et réseaux--Paris--ENST, 2005. / Bibliogr. p. 161-164. Glossaire. Résumé en français et en anglais.

Thèse de doctorat--Informatique et réseaux--Paris--ENST, 2007. / Bibliogr. p. 237-242. Glossaire. Résumé.

Reproduction de : Thèse de doctorat : Réseaux, télécommunications, système et architecture : Toulouse, INPT : 2008. / Titre provenant de l'écran-titre. Bibliogr. 79 réf.

Avec l’évolution rapide des technologies réseaux et télécoms radios mobiles, les chercheurs sont actuellement en train de préparer l’arrivée d’une nouvelle génération baptisée 4G. Le réseau de 4ème génération qui est encore l’objet de travaux de recherche vise à améliorer l’efficacité spectrale et à augmenter la capacité de gestion du nombre des mobiles dans une même cellule. Il tend à offrir des débits élevés en situation de mobilité à grande ou faible vitesse. Il vise aussi à permettre et à faciliter l’interconnexion et l’interopérabilité entre différentes technologies existantes en rendant transparent à l’utilisateur le passage entre les réseaux. Enfin, il vise à éviter l’interruption des services durant le transfert intercellulaire, et à basculer l’utilisation vers le tout IP. Dans ce contexte, nous nous sommes intéressés en premier lieu aux problématiques de la QoS en situation de mobilité au sein d’une technologie candidate à la 4G (WiMAX mobile) pour du trafic temps-réel. Pour cela, nous avons comparé la performance de plusieurs protocoles de mobilité dans le contexte du Handover de niveau 2 et de niveau 3 et plus. Nous avons pour cela fait varier les modèles de mobilité, les configurations et les scénarios. Enfin, nous avons modélisé un algorithme décisionnel qui gère le Handover dans le WiMAX mobile en fonction de plusieurs paramètres d’entrées. Au travers de ces études, nous avons dégagé des protocoles de mobilité qui offrent un niveau de QoS acceptable pour un trafic temps-réel dans le cadre des scénarios envisagés. En deuxième lieu, nous nous sommes concentrés sur les problèmes d’interconnexion et d’interopérabilité entre les réseaux en tenant compte de la mobilité et du Handover vertical entre deux technologies. Pour cela, nous avons proposé de comparer des protocoles de mobilité puis de les combiner afin de diminuer les délais des trafics temps-réel au cours du Handover. Au niveau de l’interconnexion, nous avons proposé des modèles entre WiMAX mobile et de nombreux autres standards (802.11e, UMTS, DVB-S/RCS, LTE). Outre les solutions d’interconnexion, nous avons également mis en évidence la ou les combinaisons de protocoles de gestion de la mobilité qui permettent de garantir de la QoS. / With the rapid evolution of mobile radio telecommunications and networks technologies, researchers are currently preparing the arrival of a new generation called 4G. The 4th generation network aims to improve spectral efficiency and increase capacity to manage a large number of mobiles in a cell. It tries to provide high flow rates under high or low mobility. It also aims to enable and facilitate the interconnection and the interoperability between different technologies allowing transparent transition between networks. Finally, it aims to avoid interruption of services during the handover, and to switch an all-IP system. In this context, we are concerned first with QoS and mobility issues in Mobile WiMAX for the real-time traffic. We compared the performance of several mobility protocols in the context of the level 2 and level 3+ handovers. Several mobility models, configurations and scenarios were considered. Finally, we modeled a decision algorithm that manages the handover in mobile WiMAX based on several input parameters.Through these studies, we have identified mobility protocols that provide an acceptable QoS level for real-time traffic under the proposed scenarios. Secondly, we focused on the problems of interconnection and interoperability between networks, taking into account the mobility and vertical handovers between two technologies. For this, we proposed to compare mobility protocols or combine them to reduce delays for real-time traffic during the handover. We also proposed interconnection models between mobile WiMAX and many other standards (802.11e, UMTS, DVB-S/RCS, LTE). Besides interconnection solutions, we also highlighted the combination or combinations of management mobility protocols that can guarantee QoS.

Cette thèse s'inscrit dans le cadre d'une étude polyhédrale des problèmes de conception de réseaux fiables avec forte connexité. En particulier, nous considérons les problèmes dits du sous-graphe k-arête-connexe et de conception de réseau k-arête-connexe avec contrainte de borne lorsque k _>3. Dans un 1er temps, nous étudions le problème du sous-graphe k-arête-connexe. Etant donné un graphe non orienté et valué G = (V, E) et un entier positif k, le problème du sous-graphe k-arête-connexe consiste à déterminer un sous-graphe de G de poids minimum telle qu'il existe k chaînes arête-disjointes entre chaque paire de sommets de V. Nous discutons du polytope associé à ce problème lorsque k _>3. Nous introduisons une nouvelle famille d'inégalités valides pour le polytope et présentons plusieurs familles d'inégalités valides. Pour chaque famille d'inégalités, nous étudions les conditions sous lesquelles ces inégalités définissent des facettes. Nous discutons aussi du problème de séparation associé à chaque famille d'inégalités ainsi que d'opérations de réduction de graphes. En utilisant ces résultats, nous développons un algorithme de coupes et branchements pour le problème et donnons des résultats expérimentaux. Ensuite, nous étudions le problème de conception de réseaux k-arête-connexe avec contrainte de borne. Soient G = (V, E) un graphe valué non orienté, un ensemble de demandes D _C V x V et deux entiers positifs k et L. Le problème de conception de réseaux k-arête-connexe avec contrainte de borne consiste à déterminer un sous-graphe de G de poids minimum telle qu'entre chaque paire de sommets {s, t} E D, il existe k chaînes arête-disjointes de longueur au plus L. Nous étudions ce problème dans le cas où k _>2 et L E {2, 3}. Nous examinons la structure du polytope associé et montrons que, lorsque I D I = 1, ce polytope est complètement décrit par les inégalités dites de st-coupe et de L-chemin-coupe avec les inégalités triviales. Ce résultat généralise ceux de Huygens et al. [75] pour k = 2, L E {2, 3} et Dahl et al. [35] pour k _>2, L = 2. Enfin, nous nous intéressons au problème de conception de réseau k-arête-connexe avec contrainte de borne lorsque k _>2, L E {2, 3} et I D I _> 2. Le problème est NP-difficile dans ce cas. Nous introduisons quatre nouvelles formulations du problème sous la forme de programmes linéaires en nombres entiers. Celles-ci sont basées sur la transformation du graphe G en graphes orientés appropriés. Nous discutons du polytope associé à chaque formulation et introduisons plusieurs familles d'inégalités valides. Pour chacune d'elles, nous décrivons des conditions pour que ces inégalités définissent des facettes. En utilisant ces résultats, nous développons des algorithmes de coupes et branchements et de coupes, génération de colonnes et branchements pour le problème. Nous donnons des résultats expérimentaux et menons une étude comparative entre les différentes formulations.

Thèse de doctorat--Informatique et réseaux--Paris--ENST, 2006. / Bibliogr. p. 187-195. Glossaire. Résumé.

Thèse de doctorat : Informatique : Evry-Val d'Essonne : 2008. / Titre provenant de l'écran-titre.

Thèse doctorat : Informatique : Rennes 1 : 2007. Thèse doctorat : Informatique : Universidad de la Republica, Montevideo (Uruguay) : 2007. / Thèse soutenue en cotutelle. Bibliogr. p. 153-159.

De nombreux jeux de données sont publiés sur le web à l’aide des technologies du web sémantique. Ces jeux de données contiennent des données qui représentent des liens vers des ressources similaires. Si ces jeux de données sont liés entre eux par des liens construits correctement, les utilisateurs peuvent facilement interroger des données à travers une interface uniforme, comme s’ils interrogeaient un jeu de données unique. Mais, trouver des liens corrects est très difficile car de nombreuses comparaisons doivent être effectuées. Plusieurs solutions ont été proposées pour résoudre ce problème : (1) l’approche la plus directe est de comparer les valeurs d’attributs d’instances pour identifier les liens, mais il est impossible de comparer toutes les paires possibles de valeurs d’attributs. (2) Une autre stratégie courante consiste à comparer les instances selon les attribut correspondants trouvés par l’alignement d’ontologies à base d’instances, qui permet de générer des correspondances d’attributs basés sur des instances. Cependant, il est difficile d’identifier des instances similaires à travers les ensembles de données car,dans certains cas, les valeurs des attributs en correspondance ne sont pas les mêmes.(3) Plusieurs méthodes utilisent la programmation génétique pour construire des modèles d’interconnexion afin de comparer différentes instances, mais elles souffrent de longues durées d’exécution.Dans cette thèse, une méthode d’interconnexion est proposée pour relier les instances similaires dans différents ensembles de données, basée à la fois sur l’apprentissage statistique et sur l’apprentissage symbolique. L’entrée est constituée de deux ensembles de données, des correspondances de classes sur les deux ensembles de données et un échantillon de liens “positif” ou “négatif” résultant d’une évaluation de l’utilisateur. La méthode construit un classifieur qui distingue les bons liens des liens incorrects dans deux ensembles de données RDF en utilisant l’ensemble des liens d’échantillons évalués. Le classifieur est composé de correspondances d’attributs entre les classes correspondantes et de deux ensembles de données,qui aident à comparer les instances et à établir les liens. Le classifieur est appelé motif d’interconnexion dans cette thèse. D’une part, notre méthode découvre des correspondances potentielles entre d’attributs pour chaque correspondance de classe via une méthode d’apprentissage statistique : l’algorithme de regroupement K-medoids,en utilisant des statistiques sur les valeurs des instances. D’autre part, notre solution s’appuie sur un modèle d’interconnexion par une méthode d’apprentissage symbolique: l’espace des versions, basée sur les correspondances d’attributs potentielles découvertes et l’ensemble des liens de l’échantillon évalué. Notre méthode peut résoudre la tâche d’interconnexion quand il n’existe pas de motif d’interconnexion combiné qui couvre tous les liens corrects évalués avec un format concis.L’expérimentation montre que notre méthode d’interconnexion, avec seulement1% des liens totaux dans l’échantillon, atteint une F-mesure élevée (de 0,94 à 0,99). / There are many data sets being published on the web with Semantic Web technology. The data sets usually contain analogous data which represent the similar resources in the world. If these data sets are linked together by correctly identifying the similar instances, users can conveniently query data through a uniform interface, as if they are connecting a single database. However, finding correct links is very challenging because web data sources usually have heterogeneous ontologies maintained by different organizations. Many existing solutions have been proposed for this problem. (1) One straight-forward idea is to compare the attribute values of instances for identifying links, yet it is impossible to compare all possible pairs of attribute values. (2) Another common strategy is to compare instances with correspondences found by instance-based ontology matching, which can generate attribute correspondences based on overlapping ranges between two attributes, while it is easy to cause incomparable attribute correspondences or undiscovered comparable attribute correspondences. (3) Many existing solutions leverage Genetic Programming to construct interlinking patterns for comparing instances, however the running times of the interlinking methods are usually long. In this thesis, an interlinking method is proposed to interlink instances for different data sets, based on both statistical learning and symbolic learning. On the one hand, the method discovers potential comparable attribute correspondences of each class correspondence via a K-medoids clustering algorithm with instance value statistics. We adopt K-medoids because of its high working efficiency and high tolerance on irregular data and even incorrect data. The K-medoids classifies attributes of each class into several groups according to their statistical value features. Groups from different classes are mapped when they have similar statistical value features, to determine potential comparable attribute correspondences. The clustering procedure effectively narrows the range of candidate attribute correspondences. On the other hand, our solution also leverages a symbolic learning method, called Version Space. Version Space is an iterative learning model that searches for the interlinking pattern from two directions. Our design can solve the interlinking task that does not have a single compatible conjunctive interlinking pattern that covers all assessed correct links with a concise format. The interlinking solution is evaluated with large-scale real-world data from IM@OAEI and CKAN. Experiments confirm that the solution with only 1% of sample links already reaches a high accuracy (up to 0.94-0.99 on F-measure). The F-measure quickly converges improving on other state-of-the-art approaches, by nearly 10 percent of their F-measure values.