{"title":"用于知识重用的统一通用表示和问题解决模型。自动化运输系统安全分析中的应用","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":"{\"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}","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
摘要
动态问题的解决给人类操作员带来了许多任务,这些任务在时间限制下具有很强的信息和决策成分。虽然动态问题的解决需要基本的知识和专门知识,但它也需要使用静态和动态的专门知识,这些专门知识往往没有形式化和资本化,特别是用于援助或监督的目的。在几个领域,特别是安全分析领域,开发动态问题解决系统的经验(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)。事实上,自动运输系统的安全分析问题是一个典型的问题,该领域的专家通过静态和动态描述提出潜在的不安全情况。
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
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.