{"title":"Design de grands flux de données Cadre conceptuel d'analyse esthétique cognitive des modèles « non conventionnels » de représentation-visualisation de données","authors":"David Bihanic","doi":"10.3166/tsi.33.499-539","DOIUrl":"https://doi.org/10.3166/tsi.33.499-539","url":null,"abstract":"","PeriodicalId":109795,"journal":{"name":"Tech. Sci. Informatiques","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128701952","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Robin Lamarche-Perrin, Lucas Mello Schnorr, J. Vincent, Y. Demazeau
{"title":"Agrégation de traces d'exécution pour la visualisation de grands systèmes distribués","authors":"Robin Lamarche-Perrin, Lucas Mello Schnorr, J. Vincent, Y. Demazeau","doi":"10.3166/tsi.33.465-498","DOIUrl":"https://doi.org/10.3166/tsi.33.465-498","url":null,"abstract":"RÉSUMÉ. La visualisation de performance consiste à représenter graphiquement l’exécution d’applications parallèles pour procéder à leur analyse. Dans le cas de très grands systèmes, l’agrégation des données analysées est inévitable. Cet article met en évidence un problème scientifique majeur : comment produire des représentations agrégées qui ont un sens lors du passage à l’échelle ? Quatre éléments de réponse sont discutés. (1) Les outils de visualisation doivent garantir la compréhension et le contrôle par l’utilisateur du procédé d’agrégation. (2) Il est crucial d’estimer la qualité des représentations engendrées afin de distinguer les agrégations utiles (suppression d’informations redondantes) de celles qui sont dangereuses pour l’analyse (perte d’informations importantes). Nous proposons des mesures issues de la théorie de l’information pour quantifier ces deux aspects et pour ainsi engendrer des représentations multirésolutions (agrégation de données redondantes et conservation des données hétérogènes). (3) Les propriétés sémantiques et topologiques du système doivent également être prises en compte afin de garantir la juste interprétation des agrégats par l’utilisateur. La recherche des agrégations optimales est ainsi restreinte à un ensemble d’agrégations pertinentes sur le plan sémantique. (4) Des méthodes de calcul sophistiquées sont alors nécessaires pour sélectionner les agrégations optimales lors du passage à l’échelle. Nous proposons un algorithme à complexité linéaire (dans le cas de systèmes hiérarchiques) parvenant à agréger jusqu’à un million d’entités et garantissant l’interprétabilité des visualisations engendrées.","PeriodicalId":109795,"journal":{"name":"Tech. Sci. Informatiques","volume":"2 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128078871","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Visualisations interactives et dynamiques de grands volumes de données spatio-temporelles. Exemples d'applications développées à la SNCF","authors":"M. Chandesris, Anaïs Rémy","doi":"10.3166/tsi.33.439-463","DOIUrl":"https://doi.org/10.3166/tsi.33.439-463","url":null,"abstract":"","PeriodicalId":109795,"journal":{"name":"Tech. Sci. Informatiques","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130003696","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Réseaux de capteurs sans fil à multiples piles protocolaires","authors":"Alexandre Guitton","doi":"10.3166/tsi.33.841-848","DOIUrl":"https://doi.org/10.3166/tsi.33.841-848","url":null,"abstract":"Les reseaux de capteurs sans fil permettent de repondre aux besoins de nombreuses applications de surveillance, en raison de leur faible cout, de leur capacite a communiquer sans fil et de leur facilite de deploiement. Toutefois, les applications deployees sur les reseaux de capteurs sans fil ont souvent des besoins varies de qualites de service, et il est difficile pour une seule pile protocolaire de repondre a ces besoins. Des architectures reseaux dans lesquelles plusieurs piles protocolaires cohabitent commencent a emerger. \u0000 \u0000Dans ce document, nous nous interessons aux interactions entre les piles protocolaires d'un reseau de capteurs sans fil, en prenant deux projets pour exemples. Dans le premier projet, qui concerne le domaine industriel, l'optimisation des protocoles proposes nous a amene a autoriser des interactions entre piles protocolaires. Nous generalisons cette approche en introduisant le concept d'architecture multi-piles locale, ou le choix de la pile a utiliser est decide localement par chaque nœud. Dans le second projet, qui concerne le domaine environnemental, ce sont les caracteristiques des phenomenes observes qui declenchent les interactions entre piles protocolaires. Nous introduisons alors le concept d'architecture multi-piles globale, ou le choix d'utiliser une pile ou une autre est impose aux nœuds. Dans ces deux projets, nous proposons des solutions pour eviter les boucles de routage. \u0000 \u0000Les travaux decrits dans ce document ont ete menes en collaboration avec trois etudiants en these, deux ayant deja soutenu. Ce document decrit aussi les perspectives de ces travaux.","PeriodicalId":109795,"journal":{"name":"Tech. Sci. Informatiques","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124849284","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Coordination dans la décision pour les architectures autonomiques à grande échelle","authors":"O. Melekhova","doi":"10.3166/tsi.33.31-62","DOIUrl":"https://doi.org/10.3166/tsi.33.31-62","url":null,"abstract":"Bien que l’informatique autonomique ait fait l’objet d’une attention considerable depuis ses origines au debut des annees 2000, les recherches se sont principalement concentrees jusqu’ici sur des systemes a relativement petite echelle. Mais Kephart rappelait recemment que les principaux defis dans le domaine sont lies a la decentralisation inherente au passage a l’echelle, qui complique fortement la prise de decisions d’adaptation souvent interdependantes. D’autant que l’informatique autonomique impose d’inevitables contraintes temporelles car elle implique de fait un controle reactif pour ces adaptations. Nous proposons une nouvelle approche decentralisee pour la coordination des decisions qui decouple cette derniere en deux processus concurrents : l’echange et l’accumulation d’informations de coordination d’une part, et la prise de decisions locales coordonnees d’autre part. Ce decouplage permet de prendre sans delai des decisions locales coordonnees en utilisant les informations de coordination prealablement accumulees. Cette approche est illustree par une application en geolocalisation de grandes flottes de camions du projet ANR SALTY et validee par une serie de simulations montrant l’adequation et les bonnes performances des differents algorithmes utilises.","PeriodicalId":109795,"journal":{"name":"Tech. Sci. Informatiques","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131263763","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Stéphanie Chollet, Vincent Lestideau, D. Morand, Yoann Maurel, Philippe Lalanda
{"title":"Auto-réparation et auto-optimisation des applications pervasives. Un gestionnaire de sélection de dépendances de services basé sur l'Analyse de Concepts Formels","authors":"Stéphanie Chollet, Vincent Lestideau, D. Morand, Yoann Maurel, Philippe Lalanda","doi":"10.3166/tsi.33.7-30","DOIUrl":"https://doi.org/10.3166/tsi.33.7-30","url":null,"abstract":"Les objectifs importants et ambitieux de la gestion autonomique necessitent une representation complexe de la connaissance dans le but de supporter des raisonnements avances et l'adaptation dynamique des applications. La connaissance est en fait centrale dans l'informatique autonomique puisqu'elle fournit les moyens pour definir les actions necessaires pour assurer les proprietes auto-*. Malheureusement peu de support est actuellement disponible pour representer cette connaissance. Dans cet article, nous nous concentrons sur les proprietes d'auto-reparation et d'auto-optimisation pour les applications pervasives. Nous proposons une solution basee sur l'Analyse de Concepts Formels afin de representer la connaissance de l'environnement. Notre approche a ete implementee et validee dans le cadre de projets industriels avec Schneider Electric et Orange.","PeriodicalId":109795,"journal":{"name":"Tech. Sci. Informatiques","volume":"147 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115631803","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Les krachs sont rationnels","authors":"Pierre Lescanne","doi":"10.3166/tsi.32.909-929","DOIUrl":"https://doi.org/10.3166/tsi.32.909-929","url":null,"abstract":"Comme nous le montrons en utilisant les notions d'equilibre dans la theorie des jeux sequentiels infinis, les crashs ou les escalades financieres sont rationnels, pour les agents economiques ou environnementaux, qui ont une vision d'un monde infini. Cela va a l'encontre de la vision auto-regulatrice d'un monde economique sage et pacifique en equilibre, autrement dit, dans ce contexte, equilibre n'est plus synonyme de stabilite. Nous tentons de tirer de ce constat quelques consequences methodologiques et quelques nouveaux modes de pensee que l'on doit adopter, notamment en theorie des jeux economiques. Parmi ces modes, il y a la coinduction qui est a la base de notre raisonnement sur les jeux infinis.","PeriodicalId":109795,"journal":{"name":"Tech. Sci. Informatiques","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123556739","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Une étude des jeux distribués","authors":"J. Bernet, David Janin","doi":"10.3166/tsi.32.1007-1041","DOIUrl":"https://doi.org/10.3166/tsi.32.1007-1041","url":null,"abstract":"Dans cette article, nous etudions quelques proprietes des jeux distribues : un modele oriente semantique qui vise a capturer nombre de formalismes de specification de problemes de synthese de programmes distribues. Nous examinons en particulier les interconnections etroites qui existent entre les automate d'arbres alternants et les jeux distribues. En utilisant notamment le theoreme de simulation de Muller et Schupp et une notion de composition sequentielle d'automates d'arbres, nous obtenons des outils conceptuels simples et elegants permettant de resoudre, sous certainnes hypotheses de linearite, les jeux distribues. Parce que les jeux distribues permettent aussi bien la specification de comportement synchrone ou asynchrone, nous pouvons aussi enoncer et prouver une intuition assez commune en conception de systemes distribues : dans le cas d'une capacite memoire bornee, tout systeme distribue asynchrone se reduit a un systeme synchrone. Formellement, nous demontrons que tout jeu distribue asynchrone peut etre transforme en un jeu distribue synchrone de meme taille qui lui est equivalent au sens ou les deux jeux admettent, essentiellement, les memes strategies distribuees a memoires finies.","PeriodicalId":109795,"journal":{"name":"Tech. Sci. Informatiques","volume":"349 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122318156","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Jeux de congestion dans les réseaux. Partie I. Modèles et équilibres","authors":"C. Wan","doi":"10.3166/tsi.32.951-980","DOIUrl":"https://doi.org/10.3166/tsi.32.951-980","url":null,"abstract":"RESUME. Cet article constitue la premiere partie d’une synthese de resultats majeurs sur les jeux de congestion dans les reseaux. Nous presentons d’abord les jeux de congestion a la Rosenthal, l’exemple de Pigou et le paradoxe de Braess en guise de motivation. Puis nous introduisons des modeles de congestion avec differents types d’acteurs : non atomique, atomique divisible et atomique indivisible. Nous formulons les definitions des equilibres puis nous examinons leurs proprietes statiques (caracterisation, existence et unicite). En particulier, nous exposons en detail la formulation des equilibres sous forme d’inegalites variationnelles et de problemes d’optimisation. L’optimum social est egalement aborde.","PeriodicalId":109795,"journal":{"name":"Tech. Sci. Informatiques","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131816085","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Les jeux d'accessibilité généralisée","authors":"Nathanaël Fijalkow, Florian Horn","doi":"10.3166/tsi.32.931-949","DOIUrl":"https://doi.org/10.3166/tsi.32.931-949","url":null,"abstract":"In this paper, we consider two-player zero-sum games with generalized reachabi lity objectives, defined as conjunctions of reachability objectives. We first prove that deciding the winner in such games is PSPACE -complete, although it is fixed-parameter tractable with the number of reachability objectives as parameter. Moreover, we consider the memory requi rements for both players and give matching upper and lower bounds on the size of winning strategies. In order to construct more efficient algorithms, we consider subclasses of generali zed reachability games.","PeriodicalId":109795,"journal":{"name":"Tech. Sci. Informatiques","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125489267","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}