| 基于有向图故障树自动建树方法的规范化描述及其应用研究 |
| |
| 引用本文： | 钱彦岭,邱静,温熙森.基于有向图故障树自动建树方法的规范化描述及其应用研究[J].自动化学报,2003,29(5):767-772. |
| |
| 作者姓名： | 钱彦岭 邱静 温熙森 |
| |
| 作者单位： | 1.国防科技大学机电工程研究所,长沙 |
| |
| 基金项目： | “九五”国防预研项目资助~~ |
| |
| 摘 要： | 基于有向图的建树方法是目前故障树自动建树研究中最常用的方法之一,但其有效性
多年来一直存在争议,其主要原因在于采用传统的专家定义的算子进行建树推理时,算子定义
不规范,导致对系统复杂的控制结构适应能力不强.该文利用人工智能的原理,对定性推理逻辑
进行了必要的扩展,提出了建树过程的形式化描述,在此基础上将故障树的建树问题转化为一
个约束满足问题(CSP),从而可利用比较成熟的算法来解决上述问题.针对实际问题的例证说
明了这一过程.研究表明,文中所提出的方法更便于计算机自动处理,减少建树过程中的人为失
误,可有效地提高故障分析效率.
|
| 关 键 词： | 故障树自动建树 多值逻辑 约束满足问题 |
| 收稿时间： | 2001-4-26 |
| 修稿时间： | 2001年4月26日 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《自动化学报》浏览原始摘要信息 |
|
点击此处可从《自动化学报》下载全文 |
|
