Ivan Lavallee – författare

This special issue of Studia Informatica Universalis is dedicated to Catherine Roucairol, Professor Emerita at the Université de Versailles Saint-Quentin-en-Yvelines.Throughout her distinguished career, Professor Roucairol has made fundamental and pro found contributions to the fields of optimization, computing parallelization and operations research. This special issue consists of twelve papers, that covers some of the topics to which Professor Catherine Roucairol has contributed.

Complexité et algorithmique avancée est un exposé introductif à la pratique de la théorie de la complexité, il a été enseigné dans les trois cycles universitaires d''informatique et de cognitique et l''ouvrage est conçu pour être abordé par les étudiants des trois cycles universitaires. Il s''agit là du premier ouvrage en langue française traitant de la complexité en tant que telle. On y trouvera une introduction aux concepts fondamentaux du domaine, qu''il s''agisse de machine de Turing élémentaire ou universelle, de complexité au sens de Levin-Cook ou de Kolmogorov. Dans ce livre sont définies les trois principales classes de complexité, P, NP et NPC ainsi que le concept de quantité absolue d''information dû à Kolmogorov. Dans une dernière partie, on montre comment résoudre certains problèmes en faisant « tomber »la complexité, en utilisant des concepts probabilistes, ou en utilisant des méthodes d''énumération implicite dont les principes sont décrits. L''ouvrage se termine sur un chapitre consacré à l''informatique quantique. Ce livre est destiné tant aux étudiants en informatique qu''aux ingénieurs et chercheurs. L’ouvrage propose aussi des voies pour la recherche, abordant les aspects pratiques au travers de la conception des algorithmes de résolution pour problèmes dits NP- complets, une partie est consacrée à ces aspects pratiques.

Cet ouvrage à destination des étudiants et doctorants, est un guide des premiers pas en LaTeX. LaTeX est à l''origine un logiciel essentiellement conçu pour composer des textes scientifiques et techniques, mais au vu de sa qualité et de sa souplesse, nombre de littéraires se sont mis à l''utiliser. Par son approche pédagogique et sa clarté cet ouvrage vous aidera a réaliser des documents en LaTeX en un minimum d''efforts et de temps. Aucune notion du langage LaTeX ou de tout autre logiciel de traitement de texte n''est nécessaire pour aborder cet ouvrage. - « Sincèrement le meilleur manuel et d''une simplicité extraordinaire. » Hala Bayoumi (doctorante). - « Étant un utilisateur régulier de LaTeX, j''ai trouvé dans ce livre des réponses, faciles d''accès, à toute question. Cet ouvrage est un outil qui aide à écrire en LaTeX grâce à sa clarté, sa structure et ses exemples. » Fouchad Said (doctorant Paris VIII).

Clustering in mobile ad-hoc networks with some nodes having the same weight J.F. Myoupo, I. SowCet article s''intéresse au partitionnement des réseaux d''entités mobiles en générant une organisation hiérarchique. L''algorithme est dynamique qui supporte la mobilité des noeuds dans la phase de partitionnement. Ici, les auteurs étendent la puissance de la méthode CDAM due à Basagni au cas ou plusieurs noeuds peuvent avoir les mêmes poids.

At-Dist: A distributed method for localization with hight accuracy in sensor networks C. Saad, A. Benslimane, J.-C. KonigIci, il est question de la localisation dans les réseaux de capteurs. Quelques capteurs connaissent initialement leur position. Il s''agit de faire en sorte que les autres puissent connaître avec précision leur position. Pour ce faire, la méthode AT-DIST fournit avec précision la position des capteurs initiaux, elle gère également l''introduction des erreurs de mesure. La simulation confirme l''efficacité de la méthode.

VSR: A routing protocol based on a structure of self organisation F. Theoeyre, F. ValoisLes auteurs apportent dans cet article des éléments de réponse au problème de l''établissement d''une hiérarchie virtuelle de routage dans les réseaux sans fils (réseaux de téléphones mobiles, de senseurs...) de façon, à obtenir des chemins stables par autoorganisation avec réparations locales de chemins.

Optimisation stochastique des réseaux Manets S. Ben Amor SoufianBen Amor aborde le problème des MANETS par le biais des systèmes complexes à transition de phase. Ces transitions se manifestent à différents niveaux et se caractérisent par un changement brutal de comportement du réseau dès lors qu''un paramètre atteint un certain seuil. L''auteur utilise ici la théorie de la percolation et de la diffusion épidémique pour une modélisation globale du phénomène permettant d''isoler les paramètres critiques pour obtenir des transmissions fiables.

Ce n° 6.2 de Studia est entièrement consacré aux applications parallèles et distribuées. Il s''agit de la reprise du numéro 3.1. Les articles : «Transparent Data Relocation in Highly Available Distributed Systems ». Ce premier article traite des protocoles de longue durée, protocoles « de services » confrontés à des changements dans la configuration matérielle. Il propose une solution par déplacement des données transparente à l''utilisateur. par Spyros Voulgaris, Maarten van Steen, Aline Baggio, Gerco Ballintjin ; « Unreliable Distributed Timing Scrutinizer to Converge toward Decision Conditions ». Ce deuxième article concerne le contrôle et l''observation interne des systèmes distribués par caractérisation des vecteurs entrants dans des ensembles de processus, il s''agit d''une extention de l''approche conditionnée introduite par Mostaféoui, Emmanuelle Anceaume, Eric Mourgaya, Philippe Raïpin Parvédy ; « Simple gossiping with balls and bins ». Ce troisième article traite des communications multi-paires. S''appuyant sur les travaux concernant la propagation des rumeurs, il fournit une méthode nouvelle d''analyse des protocoles épidémiques par représentation des propagations comme un jeu de balles par Boris Koldehofe ; « Design of a Multi-Strategy Parallelization for an Entire Application of Document Categorization on Low-Cost Multiprocessor PCs ». Le quatrième article, s''intéresse aux parallélisations d''une application complète sur un système multiprocesseur bon marché, basé sur des PC et de technologie SCSI par Stéphane Vialle, Guillaume Schaeffer, Michel Ianotto ; « Predicates for state change vs processes for event patterns ». Le cinquième article traite du problème du choix de modèle conceptuel pour spécifier des applications. On discute des spécifications formelle ou par état. Les deux approches sont discutées pour aboutir à une proposition d''extension des spécifications en introduisant des processus communicants par Tommaso Bolognesi.

Ce numéro 6.3 vient clore la première année de reparution de Studia Informatica Universalis grâce à vous tous qui la faites connaître et envoyez des articles. La communauté informatique francophone dispose ainsi d''une revue internationale dans laquelle les articles peuvent être écrits en anglais ou en français indifféremment tant il est vrai qu''on ne pense bien que dans sa langue maternelle. Ce numéro 6.3 ne recouvre pas un thème précis mais nous permet de publier quatre articles qui tournent plutôt autour des applications. Le premier article «The Phase Transition Behaviour of Non Binary Forward Checking Algorithms » s''intéresse aux transitions de phases en satisfaction de contraintes, en ce sens qu''il étudie le cas où l''on passe d''une situation où tous les problèmes ont des solutions à celle où presqu''aucun n''a de solution, cela en fonction de la nature du nombre des contraintes, et comme on pouvait s''y attendre, passage d''un état à l''autre s''opère brutalement. Le deuxième article nous vient du Vietnam et traite d''un problème déjà classique, celui de l''établissement d''horaires de cours. « Solving The Lecture Scheduling Problem by Combination of Exchange Procedure and Tabu Search Techniques ». Tout est dit dans le titre, l''article revient sur une méthode de résolution combinant la recherche dite Tabou et la méthode classique d''échange. Le troisième article « Parallel Tree Search for Combinatorial Problems : a Comparative Study between Open MPand MPI », traite de parallélisme et mène une étude comparative de résolution de problèmes combinatoires (en particulier le problème de Langford) sur machine parallèle en comparant l''utilisation de Open MP avec MPI. Le quatrième article, « Performance Evaluation of mobile networks based on stochastic ordering of Markov Chains », revient sur un thème déjà précédemment traité dans cette revue, mais sous l''angle d''évaluation des performances de réseaux mobiles par utilisation de chaînes de Markov.

Le numéro 7.1 de Studia Informatica Universalis est tout entier consacré à la prétopologie qui est une théorie topologique « faible » permettant la modélisation de situations difficilement représentables par d''autres, en particulier en sciences humaines. Le sujet central en est le concept de proximité. Les contributions : « Retour sur les origines de la prétopologie » par M. Brissaud ; « Prétopologie et applications : un état de l''art » de J.P. Auray, S. Bonnevay, M. Bui, Gérard Duru, M. Lamure, fait le point sur l''état d''avancement des recherches en prétopologie ; « Éléments de Prétopologie généralisée » de M. Brissaud, J.P. Auray, G. Duru, M. Lamure, C. Siani, cherche à développer les concepts s''affranchissant de la notion de référentiel global ; « Généralisation des processus de percolation discrets » de S. Ben Amor et M. Bui, on utilise la notion d''espace topologique pour traiter de la dynamicité des voisinages dans une structure aléatoire ; « Structures pauvres » de J.P. Auray essaie , dans la même problématique, de repousser encore les limites conceptuelles de la prétopologie tout en en gardant la rigueur ; « Prétopologie floues » de M. Egea fournit un outil conceptuel de simulation prétopologique de systèmes flous à base d''agents ; « Pretopological Operators for Gray Level Image Analysis » de S. Bonnevay, présente une application de la prétopologie à l''analyse d''images ; « Classification prétopologique basée sur la complexité de Kolmogorov » de V. Levorato, T.V. Le, M. Lamure, M. Bui, présente des résultats en classification qui montrent comment on peut associer les concepts prétopologiques avec d''autres théories, ici la complexité de Kolmogorov.

Nouvelles Technologies de la Répartition

New Technologies of Distributed Systems

Contributions issues de l''International symposium on operations research 2008 qui portent sur les plus récentes tendances dans la recherche opérationnelle actuelle concernant l''optimisation des modèles, les méthodes et leurs applications (matérialisation des vues, entrepôt de données, maintien de la représentation en composition arborescente du réseau, ordonnancement, etc.)