教授
招生学科专业：
计算机科学与技术 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
软件工程 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
网络空间安全 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
毕业院校：南京航空航天大学
学历：南京航空航天大学
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院/软件学院
联系方式：025-84892400
电子邮箱：
最后更新时间：..
点击次数：
所属单位：计算机科学与技术学院/人工智能学院/软件学院
发表刊物：小型微型计算机系统
关键字：GO图;故障树;大型复杂系统;自动生成;
摘要：故障树作为一种重要的安全性和可靠性分析方法,被广泛应用于工业界.然而,针对大型复杂系统的故障树建模,传统的基于手工构建的方式存在建模周期长、对建模者要求较高且容易发生遗漏和错误等缺点.而GO图由于其与系统功能原理图的相似性易于构建.因此,基于系统GO图,提出一种故障树自动生成方法.首先,定义操作符到故障树节点的语义映射规则;然后,根据定义的语义映射规则,提出一个自动转换算法,实现GO图到故障树的自动转换;并对生成的故障树进行简化,删除冗余的故障树逻辑门;最后,通过对机床液压系统的案例分析,验证该方法的正确性与可行性.
ISSN号：1000-1220
是否译文：否
发表时间：2019-08-09
合写作者：宛伟健,沈国华,尹小花
通讯作者：黄志球
