Huang ZhiQiu
Professor
Alma Mater:南京航空航天大学
Education Level:南京航空航天大学
Degree:Doctoral Degree in Engineering
School/Department:College of Computer Science and Technology
Discipline:Cyberspace Security. Computer Science and Technology. Software Engineering
Contact Information:025-84892400
E-Mail:
Hits:
Affiliation of Author(s):计算机科学与技术学院/人工智能学院/软件学院
Journal:小型微型计算机系统
Key Words:GO图;故障树;大型复杂系统;自动生成;
Abstract:故障树作为一种重要的安全性和可靠性分析方法,被广泛应用于工业界.然而,针对大型复杂系统的故障树建模,传统的基于手工构建的方式存在建模周期长、对建模者要求较高且容易发生遗漏和错误等缺点.而GO图由于其与系统功能原理图的相似性易于构建.因此,基于系统GO图,提出一种故障树自动生成方法.首先,定义操作符到故障树节点的语义映射规则;然后,根据定义的语义映射规则,提出一个自动转换算法,实现GO图到故障树的自动转换;并对生成的故障树进行简化,删除冗余的故障树逻辑门;最后,通过对机床液压系统的案例分析,验证该方法的正确性与可行性.
ISSN No.:1000-1220
Translation or Not:no
Date of Publication:2019-08-09
Co-author:宛伟健,Shen Guohua,尹小花
Correspondence Author:Huang ZhiQiu
黄志球，男，博士，教授，博士生导师，国家教育部计算机基础教学(理工类)指导委员会委员，国防科技工业质量专家委员会委员 ，中国计算机学会理事、“系统软件”专业委员会副主任、“软件工程”委员，中国电子学会软件定义推进委员会委员，IEEE计算机学会南京分会副主席，CCF南京主席，江苏省计算机学会常务理事，江苏省软件人才基金会理事，工信部重点实验室“高安全系统的软件开发与验证重点实验室”主任。
主要研究方向为工业软件、智能化软件工程、网络空间安全、大数据和云计算等。
近年来承担国家重点研发计划课题、863高技术项目、国家自然科学基金以及各类国防科技型号项目30余项。发表SCI、EI和核心期刊论文100余篇；已培养博士近20名，硕士100余名。获得教育部自然科学奖二等奖1项，省部级科技进步二等奖2项，省部级科技进步三等奖2项，省部级教学成果二等奖2项。
