计算机应用研究2016，Vol.33Issue(12)：3671-3675,5.DOI:10.3969/j.issn.1001-3695.2016.12.034
基于因素逻辑的分类推理法重构
Classification reasoning method reconstruction based on factors logic
摘要
Abstract
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 mini-mal 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.关键词
因素空间/空间故障树/因素逻辑/分类推理法/重构Key words
factors space/space fault tree(SFT)/space logic/classification reasoning method/reconstruction分类
信息技术与安全科学引用本文复制引用
崔铁军,李莎莎,王来贵..基于因素逻辑的分类推理法重构[J].计算机应用研究,2016,33(12):3671-3675,5.基金项目
国家自然科学基金资助项目 （）
