Un modèle générique unifié de représentation et de résolution de problèmes pour la réutilisation des connaissances. Application à l'analyse de sécurité des systèmes de transport automatisés

Lassaâd Mejri, H. Hadj-Mabrouk, P. Caulier
{"title":"Un modèle générique unifié de représentation et de résolution de problèmes pour la réutilisation des connaissances. Application à l'analyse de sécurité des systèmes de transport automatisés","authors":"Lassaâd Mejri, H. Hadj-Mabrouk, P. Caulier","doi":"10.3166/RTS.103.131-148","DOIUrl":null,"url":null,"abstract":"La resolution de problemes dynamiques confronte l'operateur humain a de nombreuses tâches a forte composante de prise d'information et de decision, sous contrainte temporelle. Si elle requiert des savoirs et des savoir-faire fondamentaux, la resolution de problemes dynamiques necessite aussi l'exploitation d'une expertise, a la fois statique et dynamique, trop peu souvent formalisee et capitalisee a des fins, notamment, d'assistance ou de supervision. Une experience de developpement de systemes d'aide a la resolution de problemes dynamiques dans plusieurs domaines, notamment dans les domaines de l'analyse securitaire (Mejri, 1995 ; Mejri et Houriez, 1998), de la fiabilite du logiciel (Hadj-Mabrouk et al., 1998), du web semantique (Mejri et al., 2008), de l'information multimodale (Mejri et Ben fraj, 2008) ou du genie logiciel (Kessentini et al., 2009) nous a amene a specifier et modeliser un cadre generique de formalisation de l'expertise spatio-temporelle de resolution de problemes dynamiques baptise scenario de resolution de probleme (Mejri et Caulier, 2005). En effet, le probleme de l'analyse de securite des systemes de transport automatises est un probleme typique ou les experts du domaine proposent des situations d'insecurite potentielles conjointement par des descriptions statique et dynamique.","PeriodicalId":101064,"journal":{"name":"Recherche - Transports - Sécurité","volume":"19 1","pages":"131-148"},"PeriodicalIF":0.0000,"publicationDate":"2009-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Recherche - Transports - Sécurité","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3166/RTS.103.131-148","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 7

Abstract

La resolution de problemes dynamiques confronte l'operateur humain a de nombreuses tâches a forte composante de prise d'information et de decision, sous contrainte temporelle. Si elle requiert des savoirs et des savoir-faire fondamentaux, la resolution de problemes dynamiques necessite aussi l'exploitation d'une expertise, a la fois statique et dynamique, trop peu souvent formalisee et capitalisee a des fins, notamment, d'assistance ou de supervision. Une experience de developpement de systemes d'aide a la resolution de problemes dynamiques dans plusieurs domaines, notamment dans les domaines de l'analyse securitaire (Mejri, 1995 ; Mejri et Houriez, 1998), de la fiabilite du logiciel (Hadj-Mabrouk et al., 1998), du web semantique (Mejri et al., 2008), de l'information multimodale (Mejri et Ben fraj, 2008) ou du genie logiciel (Kessentini et al., 2009) nous a amene a specifier et modeliser un cadre generique de formalisation de l'expertise spatio-temporelle de resolution de problemes dynamiques baptise scenario de resolution de probleme (Mejri et Caulier, 2005). En effet, le probleme de l'analyse de securite des systemes de transport automatises est un probleme typique ou les experts du domaine proposent des situations d'insecurite potentielles conjointement par des descriptions statique et dynamique.
用于知识重用的统一通用表示和问题解决模型。自动化运输系统安全分析中的应用
动态问题的解决给人类操作员带来了许多任务,这些任务在时间限制下具有很强的信息和决策成分。虽然动态问题的解决需要基本的知识和专门知识,但它也需要使用静态和动态的专门知识,这些专门知识往往没有形式化和资本化,特别是用于援助或监督的目的。在几个领域,特别是安全分析领域,开发动态问题解决系统的经验(Mejri, 1995;Mejri和Houriez, 1998)、软件的可靠性(Hadj-Mabrouk et al ., 1998), web文件(Mejri et al ., 2008),多式联运信息(Ben fraj Mejri和genie软件,2008)或(Kessentini et al ., 2009) .我们来对了框架和modeliser一个层次的高校专业知识的形式化方法的时空分辨率的动态场景命名为a2 (Mejri和Caulier没问题,2005)。事实上,自动运输系统的安全分析问题是一个典型的问题,该领域的专家通过静态和动态描述提出潜在的不安全情况。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信