基于因素逻辑的分类推理法重构-计算机应用研究.PDFVIP

第３３卷第１２期 计 算 机 应 用 研 究 Ｖｏｌ３３Ｎｏ１２ ２０１６年１２月　 ＡｐｐｌｉｃａｔｉｏｎＲｅｓｅａｒｃｈｏｆＣｏｍｐｕｔｅｒｓ Ｄｅｃ．２０１６ 基于因素逻辑的分类推理法重构 １ａ，２ １ａ １ｂ 崔铁军 ，李莎莎 ，王来贵 （１．辽宁工程技术大学ａ．安全科学与工程学院；ｂ．力学与工程学院，辽宁阜新 １２３０００；２．大连交通大学辽宁 省隧道与地下结构工程技术研究中心，辽宁大连 １１６０２８） 摘　要：为使空间故障树理论中系统结构反分析的分类推理法具有严格的数学定义，以适应广泛的系统结构反 分析问题，引入因素空间理论的因素逻辑对分类推理法进行重构。重构的目的在于规范原方法定义和步骤为严 格的数学形式，赋予其因素逻辑推理能力，从而提升其数学层次，应用于广泛的问题分析。给出了空间故障树中 分类推理法的基本过程和描述；使用因素逻辑重构该方法的相关定义，并给出了极小析取范式步骤，即重构分类 推理法步骤。使用原方法和重构方法分析了实例，证明两种方法得到的系统结构相同，而后者具有更高的逻辑 数学层次和广泛的应用能力。 关键词：因素空间；空间故障树；因素逻辑；分类推理法；重构 中图分类号：ＴＰ１８１　　　文献标志码：Ａ　　　文章编号：１００１３６９５（２０１６）１２３６７１０５ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１００１３６９５．２０１６．１２．０３４ Ｃｌａｓｓｉｆｉｃａｔｉｏｎｒｅａｓｏｎｉｎｇｍｅｔｈｏｄｒｅｃｏｎｓｔｒｕｃｔｉｏｎｂａｓｅｄｏｎｆａｃｔｏｒｓｌｏｇｉｃ １ａ，２ １ａ １ｂ ＣｕｉＴｉｅｊｕｎ ，ＬｉＳｈａｓｈａ，ＷａｎｇＬａｉｇｕｉ （１．ａ．ＣｏｌｌｅｇｅｏｆＳａｆｅｔｙＳｃｉｅｎｃｅ＆Ｅｎｇｉｎｅｅｒｉｎｇ，ｂ．ＳｃｈｏｏｌｏｆＭｅｃｈａｎｉｃｓ＆Ｅｎｇｉｎｅｅｒｉｎｇ，ＬｉａｏｎｉｎｇＴｅｃｈｎｉｃａｌＵｎｉｖｅｒｓｉｔｙ，ＦｕｘｉｎＬｉａｏｎｉｎｇ １２３０００，Ｃｈｉｎａ；２．Ｔｕｎｎｅｌ＆ＵｎｄｅｒｇｒｏｕｎｄＳｔｒｕｃｔｕｒｅＥｎｇｉｎｅｅｒｉｎｇＣｅｎｔｅｒｏｆＬｉａｏｎｉｎｇ，ＤａｌｉａｎＪｉａｏｔｏｎｇＵｎｉｖｅｒｓｉｔｙ，ＤａｌｉａｎＬｉａｏｎｉｎｇ１１６０２８， Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：ＩｎｏｒｄｅｒｔｏｍａｋｅｔｈｅｉｎｗａｒｄａｎａｌｙｓｉｓｏｆｓｙｓｔｅｍｓｔｒｕｃｔｕｒｅｏｆｔｈｅｃｌａｓｓｉｆｉｃａｔｉｏｎｒｅａｓｏｎｉｎｇｍｅｔｈｏｄｉｎＳＦＴｈａｓａｓｔｒｉｃｔ ｍａｔｈｅｍａｔｉｃａｌｄｅｆｉｎｉｔｉｏｎ，ｔｏａｄａｐｔｔｏａｗｉｄｅｒａｎｇｅｏｆｓｙｓｔｅｍｓｔｒｕｃｔｕｒｅｔｏａｎａｌｙｚｅｐｒｏｂｌｅｍｓ，ｔｈｉｓｐａｐｅｒｉｎｔｒｏｄｕｃｅｄｔｈｅｔｈｅｏｒｙｏｆ ｆａｃｔｏｒｓｓｐａｃｅｏｆｆａｃｔｏｒｓｌｏｇｉｃａｌｔｏｒｅｃｏｎｓｔｒｕｃｔｔｈｅｃｌａｓｓｉｆｉｃａｔｉｏｎｒｅａｓｏｎｉｎｇｍｅｔｈｏｄ．Ｔｈｅｇｏａｌｏｆｒｅｃｏｎｓｔｒｕｃｔｉｏｎｗａｓｔｏｓｔａｎｄａｒｄｉｚｅ ｔｈｅｍｅｔｈｏｄｄｅｆｉｎｉｔｉｏｎａｎｄｓｔｅｐｓｆｏｒｔｈｅｓｔｒｉｃｔｍａｔｈｅｍａｔｉｃａｌｆｏｒｍａｎｄｔｈｅｆａｃｔｏｒｓｌｏｇｉｃｒｅａｓｏｎｉｎｇ，ｍａｔｈｅｍａｔｉｃａｌｌｅｖｅｌ，ｔｏｉｍｐｒｏｖｅ ｔｈｅｉｒｍａｔｈｌｅｖｅｌ，ａｐｐｌｉｅｄｔｏａｗｉｄｅｒａｎｇｅｏｆｐｒｏｂｌｅｍａｎａｌｙｓｉｓ．Ｔｈｉｓｐａｐｅｒｐｒｅｓｅｎｔｅｄｔｈｅｂａｓｉｃｐｒｏｃｅｓｓａｎｄｄｅｓｃｒｉｐｔｉｏｎｏｆｃｌａｓｓｉｆｉ ｃａｔｉｏｎｒｅａｓｏｎｉｎｇｍｅｔｈｏｄｏｆＳＦＴ．Ｕｓｉｎｇｆａｃｔｏｒｓｌｏｇｉｃａｌｒｅｃｏｎｓｔｒｕｃｔｉｏｎｒｅｌａｔｅｄｄｅｆｉｎｉｔｉｏｎｏｆｔｈｅｍｅｔｈ