位置:成果数据库 > 期刊 > 期刊详情页
UML模型形式化B方法转换的实现
  • ISSN号:1000-386X
  • 期刊名称:计算机应用与软件
  • 时间:2011.11.11
  • 页码:15-20
  • 分类:TP301[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]同济大学电子与信息工程学院,上海201804
  • 相关基金:国家自然科学基金(61075002); “十一五”国家科技支撑计划(115-05-YK-060)
  • 相关项目:高速铁路列控系统安全性验证的一阶可判定形式理论研究
中文摘要:

针对传统RPN(风险优先数)方法在安全苛求系统FEMA(失效模式与影响分析)过程中的不足,提出一种基于FRPN(模糊风险优先数)的新方案,即运用模糊逻辑理论进行定量的FMEA。通过运用模糊加权几何平均计算失效模式的FRPN,据此对失效模式的风险程度排序,寻找影响系统安全性的主要因素,并将其作为改善对象。最后将该方法应用到高速铁路列控系统的FMEA过程中,结果表明,所提出的FRPN方法比传统RPN更加科学严谨,更能紧密联系应用环境,具有较高的科学性和实用价值。

英文摘要:

Due to traditional RPN's(Risk Priority Number) incapability in the Safety Critical System's FEMA process,an FRPN-based new scheme is put forward.It uses the fuzzy logic theory to carry out quantitative FMEA;then uses fuzzy weighted geometric mean to calculate FRPN of failure modes to queue failure modes by their risk priority;then searches for major elements that influences the system security and regards them as targets to improve;finally applies the method to FMEA process of high-speed railway train control system.Experiment results demonstrate that the proposed FRPN method is stricter,closer to application environment,more scientific and practically more valuable than traditional RPN.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《计算机应用与软件》
  • 北大核心期刊(2011版)
  • 主管单位:上海科学院
  • 主办单位:上海市计算技术研究所 上海计算机软件技术开发中心
  • 主编:朱三元
  • 地址:上海市愚园路546号
  • 邮编:200040
  • 邮箱:cas@sict.stc.sh.cn
  • 电话:021-62254715 62520070-505
  • 国际标准刊号:ISSN:1000-386X
  • 国内统一刊号:ISSN:31-1260/TP
  • 邮发代号:4-379
  • 获奖情况:
  • 全国计算机类中文核心期刊
  • 国内外数据库收录:
  • 波兰哥白尼索引,美国剑桥科学文摘,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2011版),中国北大核心期刊(2000版)
  • 被引量:27463