-
题名基于因素逻辑的分类推理法重构
被引量：8
- 1
-
-
作者
崔铁军
李莎莎
王来贵
-
机构
辽宁工程技术大学安全科学与工程学院
大连交通大学辽宁省隧道与地下结构工程技术研究中心
辽宁工程技术大学力学与工程学院
-
出处
《计算机应用研究》
CSCD
北大核心
2016年第12期3671-3675,共5页
-
基金
国家自然科学基金资助项目(61350003)
-
文摘
为使空间故障树理论中系统结构反分析的分类推理法具有严格的数学定义,以适应广泛的系统结构反分析问题,引入因素空间理论的因素逻辑对分类推理法进行重构。重构的目的在于规范原方法定义和步骤为严格的数学形式,赋予其因素逻辑推理能力,从而提升其数学层次,应用于广泛的问题分析。给出了空间故障树中分类推理法的基本过程和描述;使用因素逻辑重构该方法的相关定义,并给出了极小析取范式步骤,即重构分类推理法步骤。使用原方法和重构方法分析了实例,证明两种方法得到的系统结构相同,而后者具有更高的逻辑数学层次和广泛的应用能力。
-
关键词
因素空间
空间故障树
因素逻辑
分类推理法
重构
-
Keywords
factors space
space fault tree（SFT）
space logic
classification reasoning method
reconstruction
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
