通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行...通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行分析,给出服务组合故障处理正确性准则,并证明了其正确性.最后,采用CTL(computational tree logic)描述相关性质并提出验证服务组合故障分析的实施算法.仿真结果表明,该方法在处理服务组合故障时具有一定的优越性.展开更多
城市埋地燃气(主要包括天然气、煤气)管网在运行中会受到复杂环境因素和人为因素的影响,如果发生失效,就会直接威胁着管道沿线附近人员生命和国家财产的安全,因此有必要对燃气管道进行可靠性分析。失效树分析(Fault Tree Analysis)是一...城市埋地燃气(主要包括天然气、煤气)管网在运行中会受到复杂环境因素和人为因素的影响,如果发生失效,就会直接威胁着管道沿线附近人员生命和国家财产的安全,因此有必要对燃气管道进行可靠性分析。失效树分析(Fault Tree Analysis)是一种已被广泛应用的可靠性分析方法。文章选取失效树分析法对引起城市埋地燃气管网失效的各方面因素进行了全面地系统分析,建立了以燃气管网失效为顶事件,包含了116个基本事件的城市埋地燃气管网失效树。通过逻辑运算,得到了失效树的287个最小割集,并通过实例计算与分析对上述失效树进行了验证。通过对最小割集的分析,得到了影响城市埋地燃气管网可靠性的各影响因素的逻辑关系。结果表明,第三方破坏、腐蚀、制造缺陷等是影响城市埋地燃气管网可靠性最主要的因素,并提出了相应的措施以提高燃气管网的可靠性。展开更多
文摘通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行分析,给出服务组合故障处理正确性准则,并证明了其正确性.最后,采用CTL(computational tree logic)描述相关性质并提出验证服务组合故障分析的实施算法.仿真结果表明,该方法在处理服务组合故障时具有一定的优越性.
文摘城市埋地燃气(主要包括天然气、煤气)管网在运行中会受到复杂环境因素和人为因素的影响,如果发生失效,就会直接威胁着管道沿线附近人员生命和国家财产的安全,因此有必要对燃气管道进行可靠性分析。失效树分析(Fault Tree Analysis)是一种已被广泛应用的可靠性分析方法。文章选取失效树分析法对引起城市埋地燃气管网失效的各方面因素进行了全面地系统分析,建立了以燃气管网失效为顶事件,包含了116个基本事件的城市埋地燃气管网失效树。通过逻辑运算,得到了失效树的287个最小割集,并通过实例计算与分析对上述失效树进行了验证。通过对最小割集的分析,得到了影响城市埋地燃气管网可靠性的各影响因素的逻辑关系。结果表明,第三方破坏、腐蚀、制造缺陷等是影响城市埋地燃气管网可靠性最主要的因素,并提出了相应的措施以提高燃气管网的可靠性。
