Tech. Sci. Informatiques最新文献

筛选
英文 中文
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 大数据流设计“非常规”数据表示可视化模型的认知美学分析概念框架
Tech. Sci. Informatiques Pub Date : 2014-08-30 DOI: 10.3166/tsi.33.499-539
David Bihanic
{"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}
引用次数: 1
Agrégation de traces d'exécution pour la visualisation de grands systèmes distribués 聚合用于可视化大型分布式系统的执行跟踪
Tech. Sci. Informatiques Pub Date : 2014-08-30 DOI: 10.3166/tsi.33.465-498
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}
引用次数: 0
Visualisations interactives et dynamiques de grands volumes de données spatio-temporelles. Exemples d'applications développées à la SNCF 大量时空数据的交互式和动态可视化。SNCF开发的应用程序示例
Tech. Sci. Informatiques Pub Date : 2014-08-30 DOI: 10.3166/tsi.33.439-463
M. Chandesris, Anaïs Rémy
{"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}
引用次数: 1
Réseaux de capteurs sans fil à multiples piles protocolaires 多协议电池无线传感器网络
Tech. Sci. Informatiques Pub Date : 2014-03-26 DOI: 10.3166/tsi.33.841-848
Alexandre Guitton
{"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}
引用次数: 1
Coordination dans la décision pour les architectures autonomiques à grande échelle 大规模自主架构的决策协调
Tech. Sci. Informatiques Pub Date : 2014-02-01 DOI: 10.3166/tsi.33.31-62
O. Melekhova
{"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}
引用次数: 2
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 普及应用的自我修复和自我优化。基于形式化概念分析的服务依赖项选择管理器
Tech. Sci. Informatiques Pub Date : 2014-02-01 DOI: 10.3166/tsi.33.7-30
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}
引用次数: 1
Les krachs sont rationnels 崩溃是理性的
Tech. Sci. Informatiques Pub Date : 2013-12-30 DOI: 10.3166/tsi.32.909-929
Pierre Lescanne
{"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}
引用次数: 0
Une étude des jeux distribués 分布式游戏研究
Tech. Sci. Informatiques Pub Date : 2013-12-30 DOI: 10.3166/tsi.32.1007-1041
J. Bernet, David Janin
{"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}
引用次数: 0
Jeux de congestion dans les réseaux. Partie I. Modèles et équilibres 网络中的拥塞游戏。第一部分:模型与平衡
Tech. Sci. Informatiques Pub Date : 2013-12-30 DOI: 10.3166/tsi.32.951-980
C. Wan
{"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}
引用次数: 2
Les jeux d'accessibilité généralisée 具有广泛可访问性的游戏
Tech. Sci. Informatiques Pub Date : 2013-12-30 DOI: 10.3166/tsi.32.931-949
Nathanaël Fijalkow, Florian Horn
{"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}
引用次数: 11
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信