发布求助
文献互助 智能选刊 最新文献

Tech. Sci. Informatiques最新文献

筛选
英文 中文
Un Framework dirigé par les modèles pour modéliser la gestion de qualité de service dans les SGBD temps réel 一个模型驱动的框架，用于在dbms中实时建模服务质量管理
Tech. Sci. Informatiques Pub Date : 2015-12-30 DOI: 10.3166/tsi.34.731-755
Salwa M'barek, Leila Baccouche, H. B. Ghézala
{"title":"Un Framework dirigé par les modèles pour modéliser la gestion de qualité de service dans les SGBD temps réel","authors":"Salwa M'barek, Leila Baccouche, H. B. Ghézala","doi":"10.3166/tsi.34.731-755","DOIUrl":"https://doi.org/10.3166/tsi.34.731-755","url":null,"abstract":"","PeriodicalId":109795,"journal":{"name":"Tech. Sci. Informatiques","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117282766","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
Maintien de la cohérence de modèles de conception hétérogènes 保持异构设计模型的一致性
Tech. Sci. Informatiques Pub Date : 2015-12-30 DOI: 10.3166/tsi.34.667-702
Mahmoud El Hamlaoui, Sophie Ebersold, B. Coulette, A. Anwar, M. Nassar
{"title":"Maintien de la cohérence de modèles de conception hétérogènes","authors":"Mahmoud El Hamlaoui, Sophie Ebersold, B. Coulette, A. Anwar, M. Nassar","doi":"10.3166/tsi.34.667-702","DOIUrl":"https://doi.org/10.3166/tsi.34.667-702","url":null,"abstract":"L’application de l’ingenierie dirigee par les modeles au developpement de systemes complexes introduit un ensemble de modeles heterogenes, elabores separement, dans des langages varies. Afin de garantir la bonne execution de l’ensemble et sa coherence, il est necessaire de proceder a la composition des modeles heterogenes, puis a la mise en œuvre d’un ensemble de mecanismes permettant de l’exploiter. Cet article presente un processus semi-automatise qui consiste d’une part a mettre en correspondance des modeles heterogenes, et d’autre part, a maintenir la coherence de l’ensemble par synchronisation des changements. Pour demontrer la faisabilite de l’approche, nous avons developpe un outil support, en l’appliquant a l’exemple d’un systeme de gestions d’anomalies.","PeriodicalId":109795,"journal":{"name":"Tech. Sci. Informatiques","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133977607","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}
引用次数: 4
Adaptation d'exécution de modèles par contrats 根据合同调整模型的执行
Tech. Sci. Informatiques Pub Date : 2015-12-30 DOI: 10.3166/tsi.34.703-730
E. Cariou, Olivier Le Goaër, F. Barbier, Samson Pierre, Mohamed Graiet
{"title":"Adaptation d'exécution de modèles par contrats","authors":"E. Cariou, Olivier Le Goaër, F. Barbier, Samson Pierre, Mohamed Graiet","doi":"10.3166/tsi.34.703-730","DOIUrl":"https://doi.org/10.3166/tsi.34.703-730","url":null,"abstract":"","PeriodicalId":109795,"journal":{"name":"Tech. Sci. Informatiques","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129261139","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
Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires 铁路运行规则建模和验证的基于角色的形式化
Tech. Sci. Informatiques Pub Date : 2015-10-30 DOI: 10.3166/tsi.34.495-521
Rahma Ben Ayed, S. C. Dutilleul, P. Bon, Y. Ledru, Akram Idani
{"title":"Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires","authors":"Rahma Ben Ayed, S. C. Dutilleul, P. Bon, Y. Ledru, Akram Idani","doi":"10.3166/tsi.34.495-521","DOIUrl":"https://doi.org/10.3166/tsi.34.495-521","url":null,"abstract":"Le systeme europeen de gestion du trafic ferroviaire (ERTMS) est un standard de controle/commande et de signalisation ferroviaire mettant en oe{}uvre des regles europeennes d'exploitation ferroviaires. Ce standard vise a harmoniser la signalisation et a assurer l'interoperabilite en Europe au moyen de documents standard de specifications. La question principale que nous abordons est de pouvoir modeliser ces regles et de mener rigoureusement des activites de verification et de validation formelles (V&V) afin de faire face a la complexite et a la criticite de ces systemes. En effet, ces specifications contiennent des aspects de securite bases sur des autorisations accordees aux roles pour effectuer des actions. Notre approche consiste a modeliser des scenarios avec des formalismes bases sur les roles, notamment RBAC et Or-Bac et de les transformer en specifications formelles B afin de valider les proprietes de securite ferroviaire.","PeriodicalId":109795,"journal":{"name":"Tech. Sci. Informatiques","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115508355","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
Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique 在多周期同步程序中端到端实时属性计算
Tech. Sci. Informatiques Pub Date : 2015-09-14 DOI: 10.3166/tsi.34.601-626
Rémy Wyss, F. Boniol, Julien Forget, Claire Pagetti
{"title":"Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique","authors":"Rémy Wyss, F. Boniol, Julien Forget, Claire Pagetti","doi":"10.3166/tsi.34.601-626","DOIUrl":"https://doi.org/10.3166/tsi.34.601-626","url":null,"abstract":"Les systemes temps reel critiques doivent souvent repondre a des exigences temporelles de bout en bout, exprimees au niveau modele, mais qui ne sont pour la plupart verifiees qu’au niveau de l’implantation. Cet article se focalise sur trois exigences : la latence d’une entree vers une sortie, la fraicheur d’une sortie relativement a une entree, et enfin la reactivite du systeme vis-a-vis d’une entree. Nous montrons que, en utilisant une approche synchrone enrichie par des horloges temps reel pour la modelisation du systeme, il est possible de calculer ces proprietes automatiquement en faisant abstraction des choix d’implantation.","PeriodicalId":109795,"journal":{"name":"Tech. Sci. Informatiques","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122141362","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
Un réseau sur puce RF reconfigurable dynamiquement pour les many-cœurs 多核动态可重构射频芯片网络
Tech. Sci. Informatiques Pub Date : 2015-09-01 DOI: 10.3166/tsi.34.11-29
Alex Briere, Julien Denoulet, A. Pinna, B. Granado, F. Pecheux
{"title":"Un réseau sur puce RF reconfigurable dynamiquement pour les many-cœurs","authors":"Alex Briere, Julien Denoulet, A. Pinna, B. Granado, F. Pecheux","doi":"10.3166/tsi.34.11-29","DOIUrl":"https://doi.org/10.3166/tsi.34.11-29","url":null,"abstract":"La multiplication du nombre de cœurs de calcul presents sur une meme puce va de pair avec une augmentation des besoins en communication. De plus, la variete des applications s’executant sur la puce provoque une heterogeneite spatiale et temporelle des communications. C’est pour repondre a ces problematiques que nous presentons dans cet article un reseau d’interconnexion sur puce dynamiquement reconfigurable utilisant la Radio Frequence (RF). L’utilisation de la RF permet d’avoir plus de bande passante en minimisant la latence. La possibilite de reconfigurer dynamiquement le reseau permet de s’adapter a la variabilite des communications. Nous presentons les raisons du choix de la RF par rapport aux autres nouvelles technologies du domaine que sont l’optique et la 3D, l’architecture detaillee de ce reseau et d’une puce le mettant en œuvre ainsi que l’evaluation de sa faisabilite et de ses performances. Un des avantages de ce reseau d’interconnexion RF est la possibilite de faire du broadcast sans surcout par rapport aux communications point-a-point, ouvrant ainsi de nouvelles perspectives en termes de gestion de la coherence memoire notamment.","PeriodicalId":109795,"journal":{"name":"Tech. Sci. Informatiques","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127551200","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
Automates cellulaires probabilistes et de la physique statistique 概率蜂窝自动机和统计物理
Tech. Sci. Informatiques Pub Date : 2015-08-30 DOI: 10.3166/TSI.34.431-461
P. Louis
{"title":"Automates cellulaires probabilistes et de la physique statistique","authors":"P. Louis","doi":"10.3166/TSI.34.431-461","DOIUrl":"https://doi.org/10.3166/TSI.34.431-461","url":null,"abstract":"Probabilistic cellular automata are considered in this review. They are CA dynamics whose updating rule is a probability depending on each site's neighbourhood. Spatial homogeneity is recovered in distribution. Several families of examples are considered. The time-asymptotic behaviour is highly non trivial. Ergodicity and dynamical phase transition phenomena are explained and some associated criteria are given. These stochastic processes dynamics are considered from a statistical mechanics point of view. The relationships between the infinitely-many interacting case and the associated finite-volume case are stated. The importance of fixed boundary condition is emphasised.","PeriodicalId":109795,"journal":{"name":"Tech. Sci. Informatiques","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129361794","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
Analyses statiques de la dynamique des réseaux d'automates indéterministes 非确定性自动机网络动力学的静态分析
Tech. Sci. Informatiques Pub Date : 2015-08-30 DOI: 10.3166/TSI.34.463-484
Loïc Paulevé, Maxime Folschette, M. Magnin, O. Roux
{"title":"Analyses statiques de la dynamique des réseaux d'automates indéterministes","authors":"Loïc Paulevé, Maxime Folschette, M. Magnin, O. Roux","doi":"10.3166/TSI.34.463-484","DOIUrl":"https://doi.org/10.3166/TSI.34.463-484","url":null,"abstract":"Cet article presente une synthese de resultats recents permettant l'analyse a grande echelle de la dynamique des reseaux d'automates. Nous nous focalisons sur deux types de proprietes : l'accessibilite -- etant donne un etat global du reseau, existe-t-il une suite de transitions permettant d'atteindre un etat local donne pour un automate donne ; et la caracterisation des points fixes a partir de la topologie du reseau d'automates et de ses transitions locales. Pour l'accessibilite, nous donnons des conditions necessaires applicables a tout reseaux d'automates et des conditions suffisantes pour les reseaux d'automates asynchrones. Nous abordons egalement le calcul d'ensembles de coupes pour l'accessibilite, qui sont des ensembles d'etats locaux d'automates qui, si ils sont desactives, rendent impossible l'accessibilite etudiee. Ces analyses de la dynamique exploitent la concurrence au sein des reseaux d'automates indeterministes et reposent sur des abstractions donnant une representation compacte, non redondante, mais approchee, de l'ensemble des comportements possibles. Ces methodes ont rendu possible l'analyse de la dynamique de reseaux biologiques avec des centaines et des milliers de composants.","PeriodicalId":109795,"journal":{"name":"Tech. Sci. Informatiques","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115730568","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
Piles de sable décroissantes 1D. Classification expérimentale d'émergences 一维减砂堆。突发事件的实验分类
Tech. Sci. Informatiques Pub Date : 2015-08-30 DOI: 10.3166/tsi.34.377-400
Kévin Perrot, E. Rémila
{"title":"Piles de sable décroissantes 1D. Classification expérimentale d'émergences","authors":"Kévin Perrot, E. Rémila","doi":"10.3166/tsi.34.377-400","DOIUrl":"https://doi.org/10.3166/tsi.34.377-400","url":null,"abstract":"La dynamique des modeles de piles de sable decroissantes en une dimension laisse apparaitre des motifs reguliers apres une phase d'evolution a l'allure desordonnee. Dans cet article, nous presentons les resultats de simulations mettant en avant des phenomenes d'emergence entretenus par differents mecanismes. La definition des modeles est argumentee, ses premieres proprietes sont demontrees, et les observations sont discutees autour de la formulation de deux conjectures.","PeriodicalId":109795,"journal":{"name":"Tech. Sci. Informatiques","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116524821","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
Cycles, double-cycles d'interactions et modes de mise à jour 周期，双周期交互和更新模式
Tech. Sci. Informatiques Pub Date : 2015-07-10 DOI: 10.3166/tsi.34.401-430
Tarek Melliti, Mathilde Noual, D. Regnault, S. Sené
{"title":"Cycles, double-cycles d'interactions et modes de mise à jour","authors":"Tarek Melliti, Mathilde Noual, D. Regnault, S. Sené","doi":"10.3166/tsi.34.401-430","DOIUrl":"https://doi.org/10.3166/tsi.34.401-430","url":null,"abstract":"Qu'il s'agisse de notre vie quotidienne a travers les reseaux sociaux, de ce qui constitue notre essence avec les reseaux de regulation biologique, ou meme du monde physique auquel nous appartenons et des systemes de particules qui le constituent, nous sommes tous concernes de tres pres \u0000par les reseaux d'interactions. Or, les connaissances acquises a leur sujet ne sont que tres partielles et il semble aujourd'hui necessaire, ou tout du moins utile, de mieux apprehender et comprendre leurs proprietes intrinseques, et notamment les relations entre leur architecture et leur dynamique ainsi que leur rapport au og temps fg{}. En considerant comme modele general de reseaux d'interactions les reseaux d'automates booleens, nous presentons dans cet article une synthese de resultats recents sur le role de la presence de cycles de retroaction et de leurs intersections sur leur comportement asymptotique, en mettant notamment en avant l'influence des modes de mise a jour des automates.","PeriodicalId":109795,"journal":{"name":"Tech. Sci. Informatiques","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117344554","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
首页 上一页 下一页 尾页
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学术官方微信