摘要
为使空间故障树理论中系统结构反分析的分类推理法具有严格的数学定义,以适应广泛的系统结构反分析问题,引入因素空间理论的因素逻辑对分类推理法进行重构。重构的目的在于规范原方法定义和步骤为严格的数学形式,赋予其因素逻辑推理能力,从而提升其数学层次,应用于广泛的问题分析。给出了空间故障树中分类推理法的基本过程和描述;使用因素逻辑重构该方法的相关定义,并给出了极小析取范式步骤,即重构分类推理法步骤。使用原方法和重构方法分析了实例,证明两种方法得到的系统结构相同,而后者具有更高的逻辑数学层次和广泛的应用能力。
In order to make the inward analysis of system structure of the classification reasoning method in SFT has a strict mathematical definition,to adapt to a wide range of system structure to analyze problems, this paper introduced the theory of factors space of factors logical to reconstruct the classification reasoning method. The goal of reconstruction was to standardize the method definition and steps for the strict mathematical form and the factors logic reasoning, mathematical level, to improve their math level, applied to a wide range of problem analysis. This paper presented the basic process and description of classifi cation reasoning method of SFT. Using factors logical reconstruction related definition of the method steps and presented a minimal disjunctive normal form, namely, reconstruction classification reasoning method steps. Using the original method and recon- struction methods to analyze the instance, proves that the two methods get the same system function structure, while the latter has higher ability of mathematical logic level and wide application.
作者
崔铁军
李莎莎
王来贵
Cui Tiejun Li Shasha Wang Laigui(College of Safety Science ＆ Engineering School of Mechanics ＆ Engineering, Liaoning Technical University, Fuxin Liaoning 123000, China Tunnel ＆ Underground Structure Engineering Center of Liaoning, Dalian Jiaotong University, Dalian Liaoning 116028, China)
出处
《计算机应用研究》
CSCD
北大核心
2016年第12期3671-3675,共5页
Application Research of Computers
基金
国家自然科学基金资助项目(61350003)
关键词
因素空间
空间故障树
因素逻辑
分类推理法
重构
factors space
space fault tree（SFT）
space logic
classification reasoning method
reconstruction
