导读:本文包含了规则化简论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:规则,语义,文法,卡诺,地形,流网,模型。
规则化简论文文献综述
王碧颖[1]（2017）在《用于k-匿名数据的关联规则集化简与可视化技术》一文中研究指出随着互联网的快速发展,网络逐渐成为人们日常生活中不可或缺的一部分。人们在享受网络带来便利的同时,也在网络应用的服务器上留下了大量的个人生活、消费、习惯等信息,而这些信息极有可能包含那些人们不愿意泄露的个人隐私信息。随着人们隐私保护意识的提高,隐私泄露问题也越来越受到人们的重视。通过不断的发展和完善,k-匿名隐私保护模型已经逐渐成为数据发布者可信赖的隐私保护模型,网络上也将会涌现出越来越多的k-匿名数据。k-匿名数据作为一种特殊的不确定性数据,是通过泛化树对精确数据进行泛化而得到的,因此使得k-匿名数据的关联规则挖掘结果集不同于传统的确定数据的关联规则集。k-匿名数据关联规则的挖掘无论是基于等概率展开等概率可能世界,还是通过了解泛化值的特征直接进行关联规则挖掘,得到的关联规则结果集均包含与k-匿名数据形式相同的关联项。若将关联规则的泛化值还原到确定的值域空间,需要通过大量的计算实现,会导致用户的等待时间增加,极其不利于用户的体验。与此同时,如若原始数据量增加,则关联规则结果集也将随之逐渐增大;且由于关联规则自身复杂的特性,即生成的关联规则包含项目的个数不确定,每条关联规则还有两个重要参数支持度和置信度,从而使得用户想要在大量关联规则集中探索发现自己感兴趣的关联规则变得越来越困难。因此,如何帮助用户有效的探索和研究关联规则结果集是一个亟待解决的问题。目前,经过众多学者研究发现,在人类的视觉神经系统的帮助下,信息图形化的表达能够给人们提供一种更好的获取和寻找信息的方式。因此,运用可视化技术对庞大而复杂的关联规则进行可视化将是帮助用户实现对关联规则结果集研究和学习的有效方法之一。本文通过学习k-匿名数据的关联规则集和可视化技术,提出并实现了基于矩阵的关联规则3d可视化系统,用于帮助用户探索和研究确定化后的k-匿名数据关联规则。该系统所使用的可视化技术采用的是新型的基于矩阵的可视化技术,该技术使用规则-项目的映射代替了传统的项目-项目的映射,通过规则-项目映射将原始的关联规则结果集转化为能够直接进行可视化表达的数据形式,该技术可以有效的解决含有多个前项的关联规则的可视化重迭问题;同时,基于对蕴含相同右边项集的关联规则的左边不同项目的重要性的考虑,本文提出一种应用于确定化后的k-匿名数据关联规则集的化简的方法。该方法通过研究确定化后的k-匿名数据关联规则的右边项集,将属于同一组的关联规则进行归并,同时为新生成的关联规则的项目指派权重。实验证明,通过这种归并方法可以有效的化简确定化后的k-匿名数据关联规则结果集,并且可以帮助用户比较确定化后的k-匿名数据关联规则左边项目的重要性。此外,本文研究的基于矩阵的关联规则3d可视化系统提供了简单实用的交互功能,包括对确定化后的k-匿名数据关联规则的支持度、置信度和权重的排序和过滤,对叁维矩阵可视化图形的缩放和旋转以及与可视化图形实时交互并展示更详细的信息等。这些交互功能的实现帮助用户从不同的角度深入的探索确定化后的k-匿名数据关联规则结果集。最后,通过参考可视化系统的评估和软件测试的方法,对整个系统的功能进行讨论。结果表明,本系统可以有效的解决可视化技术导致的图形重迭问题,并且能够清晰的解释确定化后的k-匿名数据关联规则包含的全部项目之间的关系,以及两个重要参数支持度和置信度。(本文来源于《东华大学》期刊2017-01-01）
刘运通,梁燕军[2]（2015）在《中文文法规则的化简及其语义计算效果对比》一文中研究指出为在自然语言处理中进行更快的语义计算,分析自然语言中最普适语法规则的基本特征,在此基础上,将语义功能相似的文法符号合并,构造一个更为简洁的文法规则,用来描述自然语言;依据自然语言语义计算模型,通过语义计算,进行模型求解,求出最符合语义逻辑的语法分析方案。通过实验比较文法简化前后的计算复杂度和正确率,得到模型求解"时间复杂度"和"正确率"之间的关系。(本文来源于《计算机工程与设计》期刊2015年05期）
李燕[3]（2014）在《基于化简规则与过程评价的企业业务过程合理性分析》一文中研究指出业务过程管理系统(BPMS)是企业实施过程管理的主要技术手段,为避免系统出现异常终止或瘫痪,必须对输入系统的企业业务过程合理性进行分析,对此,文章从BPMS运行前和运行中两方面展开研究。在BPMS运行前,通过设计一组化简规则验证企业业务过程工作流网(WF-net)模型的逻辑结构合理性;在BPMS运行中,提出一种用于衡量业务过程实例与业务过程模型间差异的技术,即"过程评价",并设计评价框架。(本文来源于《信息系统工程》期刊2014年04期）
杨怀洲,王学龙[4]（2013）在《Web服务组合系统扩展GSPN建模与化简规则》一文中研究指出使用广义随机Petri网(generalized stochastic Petri net,GSPN)对具有复杂时间约束信息的大规模Web服务组合系统进行建模时,模型难以直观理解,并且会造成状态空间爆炸.针对此问题提出一种扩展GSPN建模方法.将不同类型的时间约束信息分别施加于模型的位置、变迁和弧,可以简洁直观地表达系统复杂时间约束信息.进而提出一组应用于扩展模型的化简规则,对模型中一些常用结构进行化简,克服了GSPN缺乏通用化简方法以及难以在保留时间约束特征前提下进行化简的问题,减小了系统模型的状态空间.多种模型下的化简示例表明,所提方法有效降低了系统性能分析的复杂度,适用于对大多数Web服务组合系统进行快速性能分析.(本文来源于《应用科学学报》期刊2013年06期）
张曼,段振华,王小兵[5]（2013）在《自由选择工作流网的可靠完备化简规则集》一文中研究指出流程化简技术是一种重要的商业流程模型分析方法.已有的非形式化化简方法因缺乏理论基础而无法保证完备性.基于Petri网的化简方法应用范围不针对流程模型因而不能保证可靠性.提出了针对自由选择工作流网的一个可靠完备化简规则集,可靠性保证化简过程中这类模型的行为正确性被保持,完备性保证任意一个正确的此类工作流网最终都能被化简为最简形式.基于化简规则集给出可靠完备的合成规则集,用于流程模型的设计与精化.(本文来源于《软件学报》期刊2013年05期）
王荣[6]（2012）在《论逻辑函数卡诺图化简的“标记法”规则》一文中研究指出逻辑函数的化简常用代数法和卡诺图法两种,二者相比而言,卡诺图法具有方法独特、容易掌握、一目了然等特点被广泛应用。但对于初学者来说,对卡诺图的化简从认识、掌握到熟练应用需要一个过程。本文介绍卡诺图化简的一种极易掌握又应用方便的方法——卡诺图的"标记法"规则。实践证明,该方法对于卡诺图化简的认识和应用具有非常良好的教学效果。(本文来源于《计算机光盘软件与应用》期刊2012年10期）
魏振春,汪国胜,毕翔,刘小平[7]（2009）在《规则化描述方法中的规则化简方法》一文中研究指出给出了采用规则化描述方法设计的离散事件控制系统中,将规则转换为较为简单的规范化形式—Horn子句形式的方法,提出了将采用逻辑规则描述语言编写的规则组中的else语句转换为Horn子句形式的方法,使得规则的形式单一化、规范化,从而减少对规则进行处理的复杂性。(本文来源于《全国第20届计算机技术与应用学术会议（CACIS·2009）暨全国第1届安全关键技术与应用学术会议论文集（上册）》期刊2009-07-17）
夏传良[8]（2008）在《基于Petri网表示的嵌入式系统模型化简规则(英文)》一文中研究指出为了提高基于Petri网表示的嵌入式模型(PRES+)验证的效率,对模型进行了保性变换,给出了一组关于PRES+模型的化简规则,这些化简规则在原模型和简化模型之间保持完全等价关系。对两个系统模型的化简结果进一步说明了这些化简规则的有效性。(本文来源于《计算机科学与探索》期刊2008年06期）
张姝,江金龙[9]（2008）在《基于DTPN的时间Petri网的组件级化简规则》一文中研究指出时间Petri网(TPNs)是实时系统时间特性常用的描述和验证的Petri网模型。组件级化简方法是TPN模型常用的分析方法,在保持外部可观察时间特性的前提下,将组件TPN模型化简成一个很简单的TPN模型。然而它却失去了组件内部的性质,如冲突和并发等性质。文中引入延迟时间Petri网(DTPN),通过组件TPN模型向DTPN模型转化,使化简后模型既保持外部可观察时间特性,又保持组件内部的冲突和并发等性质。为了分析化简后的DTPN模型,文中还提出了一种新的DT- PN调度分析方法。最后通过对一个C2系统的组件TPN模型的分析实例,验证该方法的有效性。(本文来源于《计算机仿真》期刊2008年01期）
王建,杜道生[10]（2007）在《规则格网DEM化简的一种改进方法》一文中研究指出分析了从较高分辨率DEM化简到较低分辨率DEM的地形简化方法的优缺点,提出了考虑整体地形特征信息的一种改进方法,实现了改进后的方法具有较好的简化效果。(本文来源于《测绘信息与工程》期刊2007年02期）
规则化简论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
为在自然语言处理中进行更快的语义计算,分析自然语言中最普适语法规则的基本特征,在此基础上,将语义功能相似的文法符号合并,构造一个更为简洁的文法规则,用来描述自然语言;依据自然语言语义计算模型,通过语义计算,进行模型求解,求出最符合语义逻辑的语法分析方案。通过实验比较文法简化前后的计算复杂度和正确率,得到模型求解"时间复杂度"和"正确率"之间的关系。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
规则化简论文参考文献
[1].王碧颖.用于k-匿名数据的关联规则集化简与可视化技术[D].东华大学.2017
[2].刘运通,梁燕军.中文文法规则的化简及其语义计算效果对比[J].计算机工程与设计.2015
[3].李燕.基于化简规则与过程评价的企业业务过程合理性分析[J].信息系统工程.2014
[4].杨怀洲,王学龙.Web服务组合系统扩展GSPN建模与化简规则[J].应用科学学报.2013
[5].张曼,段振华,王小兵.自由选择工作流网的可靠完备化简规则集[J].软件学报.2013
[6].王荣.论逻辑函数卡诺图化简的“标记法”规则[J].计算机光盘软件与应用.2012
[7].魏振春,汪国胜,毕翔,刘小平.规则化描述方法中的规则化简方法[C].全国第20届计算机技术与应用学术会议（CACIS·2009）暨全国第1届安全关键技术与应用学术会议论文集（上册）.2009
[8].夏传良.基于Petri网表示的嵌入式系统模型化简规则(英文)[J].计算机科学与探索.2008
[9].张姝,江金龙.基于DTPN的时间Petri网的组件级化简规则[J].计算机仿真.2008
[10].王建,杜道生.规则格网DEM化简的一种改进方法[J].测绘信息与工程.2007
论文知识图
