导读:本文包含了逻辑规则提取论文开题报告文献综述及选题提纲参考文献，主要关键词:应答器,数据安全,逻辑验证规则,SAT
逻辑规则提取论文文献综述
王彤典,赵会兵[1]（2017）在《基于SAT的应答器工程数据逻辑规则提取及验证》一文中研究指出工程数据是应答器报文编制的重要依据,现有工程数据验证规则是基于CTCS-2级列控系统应答器应用原则及工程数据表编制规范生成的,这类基于文本语言描述的规则完备性不足,且存在二义性,数据验证不充分,易直接导致数据安全问题。因此,本文深度挖掘各类工程数据间的约束关系,提取数据逻辑验证规则,通过基于SAT的形式化建模、ROBDD构造及深度优先搜索来证明逻辑规则的可满足性。开发基于导出逻辑规则的数据验证工具,并以某城际线路工程数据表为例,与传统工程数据表检查软件进行比较。结果表明,新工具能够识别传统软件无法识别的数据隐患,消除传统验证规则的不完备性,提高工程数据的安全性。(本文来源于《铁道学报》期刊2017年02期）
刘强,史丽萍,陈伟,苏屹[2]（2016）在《基于SYT-FR-CA的团队质量缺陷管理影响因素识别及其微宏观模糊规则提取——以医学免疫和医学循证为主导逻辑的理论架构》一文中研究指出使用SYT识别团队质量缺陷管理的影响因素和先决条件,采纳基于模糊规则提取FR的集对分析法CA对经SYT法识别的团队质量缺陷管理的影响因素进行实证分析。研究结果表明:从医学免疫和医学循证视角审视团队质量缺陷管理的功能要素具有可操作性,SYT-FR-CA联合模型在识别影响因素和提取微宏观模糊规则方面具有合理性。(本文来源于《工业工程与管理》期刊2016年03期）
徐义,王艳平,窦金培[3]（2010）在《基于模糊粗糙逻辑的属性约简与规则提取》一文中研究指出把决策属性看作是一个模糊粗糙逻辑,利用矩阵法求出决策属性对于条件属性的相对正域,给出了基于模糊粗糙逻辑的属性约简的方法,最后根据约简提取规则并计算其精度.(本文来源于《辽宁工业大学学报(自然科学版)》期刊2010年05期）
何群[4]（2010）在《基于G逻辑的最简规则提取算法》一文中研究指出指出求粗集的最简规则是一个二维极简化的粒(G)逻辑问题.将行分辩和列组合具有最大强度的属性值定义为粒极值,对其逐级进行粒运算,得最简粒解集.从理论上统一了求解粗集的算法并用实例以证明.(本文来源于《微电子学与计算机》期刊2010年10期）
何群[5]（2010）在《基于逻辑距离判定的最简规则提取算法》一文中研究指出针对目前以属性约简为设计目标的算法增大了最终规则的冗余度,提出以属性值(逻辑值)为基本单位,从整个决策表的不可分辩关系出发,先由逻辑距离确定每个属性值的分辩强度,再以其强度为依据采用择强、覆盖算法对表进行多值逻辑化简,通过实例证明所得规则最简.(本文来源于《微电子学与计算机》期刊2010年04期）
陈国光,丁晓青,彭良瑞[6]（2002）在《一个基于规则的图书逻辑结构提取算法》一文中研究指出在数字图书馆建设中,一个急需解决的问题是如何自动化地将海量的纸张图书数字化为电子文档。对于生成图书电子文档而言,除了文档内容信息以外,文档版面信息和文档逻辑信息同样重要。该文提出了一种基于规则的图书逻辑结构提取算法。从多页图书文档的模型描述出发,通过采用基于规则的推理方法,提取出图书中的逻辑元素并确定各元素间的层次关系和相互联系,从而得到了整本图书的逻辑结构。实验结果证明了算法的有效性。(本文来源于《计算机工程与应用》期刊2002年19期）
陆阳,韩江洪,张维勇[7]（2001）在《二进神经网络逻辑关系判据及等价性规则提取》一文中研究指出二进神经网络中提取知识主要体现为对输入输出逻辑关系的提取,而逻辑关系的表达方式分为蕴含性规则和等价性规则,文中对比了蕴含性规则和等价性规则的差异;以KT方法为例,讨论了蕴含性规则在表达二进神经网络内在知识时,对某些具有明确逻辑意义的二进神经网络,并不是最清晰的表达方式。对这些逻辑关系,采用等价性规则可以简洁清晰地解决问题,所以对于二进神经网络神经元表达的逻辑关系建立可能的等价性规则提取方法是有意义的。CH判据是一种提取等价性规则的方法,但CH判据是充分性判据,对二进神经元的权系数有约束条件,因此不适用于任何学习算法的学习结果。为解决这些问题,文中研究了二进神经网络表达几类等价逻辑关系的充要性判据,并根据这些判据提出了提取等价性规则的WTA方法。在使用WTA方法时,必须预先对二进神经元进行必要的剪枝。文中证明了剪枝定理,并通过二个例子说明了用WTA方法进行规则提取的过程。(本文来源于《模式识别与人工智能》期刊2001年02期）
逻辑规则提取论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
使用SYT识别团队质量缺陷管理的影响因素和先决条件,采纳基于模糊规则提取FR的集对分析法CA对经SYT法识别的团队质量缺陷管理的影响因素进行实证分析。研究结果表明:从医学免疫和医学循证视角审视团队质量缺陷管理的功能要素具有可操作性,SYT-FR-CA联合模型在识别影响因素和提取微宏观模糊规则方面具有合理性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
逻辑规则提取论文参考文献
[1].王彤典,赵会兵.基于SAT的应答器工程数据逻辑规则提取及验证[J].铁道学报.2017
[2].刘强,史丽萍,陈伟,苏屹.基于SYT-FR-CA的团队质量缺陷管理影响因素识别及其微宏观模糊规则提取——以医学免疫和医学循证为主导逻辑的理论架构[J].工业工程与管理.2016
[3].徐义,王艳平,窦金培.基于模糊粗糙逻辑的属性约简与规则提取[J].辽宁工业大学学报(自然科学版).2010
[4].何群.基于G逻辑的最简规则提取算法[J].微电子学与计算机.2010
[5].何群.基于逻辑距离判定的最简规则提取算法[J].微电子学与计算机.2010
[6].陈国光,丁晓青,彭良瑞.一个基于规则的图书逻辑结构提取算法[J].计算机工程与应用.2002
[7].陆阳,韩江洪,张维勇.二进神经网络逻辑关系判据及等价性规则提取[J].模式识别与人工智能.2001