导读:本文包含了多输出值逻辑函数论文开题报告文献综述及选题提纲参考文献，主要关键词:多输出函数逻辑综合,预处理,启发式算法,海量数据
多输出值逻辑函数论文文献综述
窦智[1]（2009）在《多输出函数逻辑综合的理论研究与程序实现》一文中研究指出电子芯片的发展非常迅速,并且被越来越广泛的应用到各个领域,芯片的设计和解析的重要性不言而喻。面向功能集的在线式芯片解析是当前较为先进的非侵入式解析方法,己被业界广泛应用。逻辑综合子模块是在线式解析系统中的重要环节,直接影响最终分析结果的准确性、高效性。到目前为止,逻辑综合算法所面临的问题仍是实时性的要求和存储资源的限制,二者中.存储资源的制约性更强,更亟待解决,如何解决这个问题是本文研究核心。通过高效的预处理子模块,对采样结果先进行极大程度的优化.在进入将会产生大规模中间数据井大规模耗费时间的迭代过程之前将数据规模大幅压缩,从而降低算法整体的时间复杂度和空间复杂度(?)通过改进编程策略,增强对有限硬件资源的复用性,最终突破瓶颈,达到提升系统处理能力的目的。时间复杂度的控制是也本文研究的一个重要问题,对输入数据类型的适应性是另一个重要的评定标准,所以本文引进了世界广泛使用的Benchmark标准测试数据,以保证测试结果的明确性和完备性。通过以上研究,实现了对传统逻辑综合方法的优化和实现。经权威测试用例检测.本系统时间复杂度得到了很好的控制,空间复杂度在相同输入情况下大幅下降。在规模相当的情况下,时间复杂度和空间复杂度不会随集合特性的不同而出现较大差异,因此该算法具有较好的适应性。(本文来源于《解放军信息工程大学》期刊2009-10-08）
金栋梁,赵亚群[2]（2008）在《两类多输出逻辑函数的关系》一文中研究指出首次给出了多输出广义部分Bent函数的定义并论证了其的存在,得到了多输出广义部分Bent函数的等价判别条件,给出了多输出p值广义部分Bent函数与多输出p值广义Bent函数的关系,并讨论了这两者的广义一阶Chrestenson谱的关系,为多输出p值广义部分Bent函数的构造提供了一种方法。(本文来源于《计算机工程与应用》期刊2008年13期）
邱建林,王波,刘维富[3]（2008）在《多输入多输出单边逻辑函数补集算法的研究》一文中研究指出介绍一种多输入多输出单边逻辑函数补集算法,该算法通过对多输入多输出逻辑函数的分离,形成多输入单输出的分支逻辑函数,对多输入单输出分支逻辑函数求出其特征矩阵和状态矢量,根据特征矩阵的特性进行最小列覆盖的选取形成多输入单输出分支逻辑函数补集覆盖的特征矩阵、状态矢量和补集矩阵,最后对多输入单输出分支逻辑函数的补集矩阵进行合并形成多输入多输出逻辑函数的补集,通过测试结果表明性能良好。(本文来源于《计算机应用与软件》期刊2008年01期）
邱建林,王波,刘维富[4]（2007）在《大变量多输出逻辑函数实质项识别算法》一文中研究指出在对Espresso算法进行分析改进的基础上,提出了一种基于全域识别的多输入多输出逻辑函数实质本源项、完全冗余项和相对冗余项生成算法,该算法通过对基于积项表示的多输入多输出逻辑函数的余因子计算来进行全域判断,根据全域判断结果来识别实质本源项、完全冗余项和相对冗余项,从而构成实质本源项集合、完全冗余项集合和相对冗余项集合。对基于二级SOP型的多输入多输出逻辑函数设计了多输入多输出逻辑函数优化识别软件系统,允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20 000。软件系统在Pentium 1.8GHz、512MB内存的计算机上通过了Benchmark例题的测试。(本文来源于《计算机工程》期刊2007年17期）
邱建林,王波,顾翔,刘维富[5]（2007）在《单边多输出逻辑函数补集软件的设计与实现》一文中研究指出根据单边逻辑函数的特性,介绍了一种多输入多输出单边逻辑函数补集方法,该方法采用二进制特征矩阵和状态矢量来描述原函数,进行最小列覆盖的选择形成多输出补集函数的控制矩阵,由控制矩阵与补集函数的状态矢量形成单边单输出补集合逻辑函数,通过多输出逻辑函数分解与合并最终产生多输出单边逻辑函数的补集。所设计的多输入多输出单边逻辑函数补集算法软件,在P-1.8GHz,512MBRAM的计算机上完成测试和运行,并通过测试检验程序,保证输出结果在逻辑上与输入条件求补等价。(本文来源于《微电子学与计算机》期刊2007年07期）
应定海,赵亚群,冯登国[6]（2007）在《多输出m值逻辑函数的相关函数及其与谱的关系(英文)》一文中研究指出首先讨论了剩余类环上多输出m值逻辑函数的相关函数的若干性质,然后给出了多输出m值逻辑函数的相关函数的概率表示式,最后得到了多输出m值逻辑函数的广义一阶Chrestenson谱与自相关函数之间的关系.(本文来源于《郑州大学学报(理学版)》期刊2007年02期）
邱建林,王波,顾翔,刘维富[7]（2006）在《单边多输出逻辑函数补集软件的设计与实现》一文中研究指出根据单边逻辑函数的特性,介绍了一种多输入多输出单边逻辑函数补集方法,该方法采用二进制特征矩阵B(F)和状态矢量R(F)来描述原函数,进行最小列覆盖的选择形成多输出补集函数的控制矩阵,由控制矩阵与补集函数的状态矢量形成单边单输出补集合逻辑函数,通过多输出逻辑函数分解与合并最终产生多输出单边逻辑函数的补集。我们设计的多输入多输出单边逻辑函数补集算法软件,在P-1．8GHz、512MBRAM的计算机上完成测试和运行,并通过测试检验程序,保证输出结果在逻辑上与输入条件求补等价。(本文来源于《计算机工程与应用》期刊2006年S1期）
邱建林,王波,刘维富[8]（2006）在《多输入多输出单边逻辑函数优化系统的设计研究》一文中研究指出逻辑综合的作用是在功能等价的条件下减少电路中的元件数目,使电路体积减少、能耗降低、故障率下降、稳定度提高。对于超大变量多输入多输出逻辑函数优化,存储开销对输入变量呈2幂次方增长。针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输入多输出单边逻辑函数补集,以积项扩展为基础,完成多输入多输出单边逻辑函数无冗余覆盖。编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素(输入变量数、输出变量数、积项数和无关因子)进行了分析,软件系统在奔腾1.8 MHz、512 M的计算机上通过了正确性验证与测试。测试结果表明性能良好,有效的降低了系统的存储空间和时间开销。(本文来源于《南京邮电大学学报(自然科学版)》期刊2006年05期）
应定海[9]（2006）在《多输出m值逻辑函数若干性质的研究》一文中研究指出本文利用概率论、代数以及频谱理论的相关知识，对密码学中的多输出m值逻辑函数的相关系数，以及剩余类环上的多输出广义Bent函数的性质和构造进行了研究，主要包括以下两方面的内容。 第二章中首先讨论了多输出m值逻辑函数的相关度的性质，得到了多输出m值逻辑函数的相关度与独立性之间的关系；接着给出了多输出m值逻辑函数的相关系数的定义，讨论了多输出m值逻辑函数的相关系数的性质；最后给出了多输出m值逻辑函数的相关系数与独立性之间的关系。 第叁章中首先给出了剩余类环上的多输出广义Bent函数的定义，得到了多输出广义Bent函数的广义一阶Chrestenson谱特征，然后计算了多输出广义Bent函数与多输出m值仿射函数的符合率；接着定义了多输出m值完全非线性函数，讨论了多输出m值完全非线性函数与多输出广义Bent函数之间的关系；最后给出了两种构造多输出广义Bent函数的方法。(本文来源于《解放军信息工程大学》期刊2006-10-01）
赵亚群,应定海,冯登国[10]（2006）在《多输出m值逻辑函数的谱特征(英文)》一文中研究指出讨论了剩余类环上多输出多值逻辑函数的谱特征,给出了多输出m值逻辑函数的广义一阶Chrestenson谱与单输出m值逻辑函数Chrestenson谱之间的关系,得到了多输出m值逻辑函数的广义一阶Chrestenson谱与其函数之间的转换公式,接着给出了多输出m值逻辑函数的广义一阶Chrestenson谱的概率表示式.同时讨论了多输出m值逻辑函数的广义一阶Chrestenson线性谱和循环谱之间的关系,并给出了这两种谱之间的关系式.(本文来源于《郑州大学学报(理学版)》期刊2006年03期）
多输出值逻辑函数论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
首次给出了多输出广义部分Bent函数的定义并论证了其的存在,得到了多输出广义部分Bent函数的等价判别条件,给出了多输出p值广义部分Bent函数与多输出p值广义Bent函数的关系,并讨论了这两者的广义一阶Chrestenson谱的关系,为多输出p值广义部分Bent函数的构造提供了一种方法。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
多输出值逻辑函数论文参考文献
[1].窦智.多输出函数逻辑综合的理论研究与程序实现[D].解放军信息工程大学.2009
[2].金栋梁,赵亚群.两类多输出逻辑函数的关系[J].计算机工程与应用.2008
[3].邱建林,王波,刘维富.多输入多输出单边逻辑函数补集算法的研究[J].计算机应用与软件.2008
[4].邱建林,王波,刘维富.大变量多输出逻辑函数实质项识别算法[J].计算机工程.2007
[5].邱建林,王波,顾翔,刘维富.单边多输出逻辑函数补集软件的设计与实现[J].微电子学与计算机.2007
[6].应定海,赵亚群,冯登国.多输出m值逻辑函数的相关函数及其与谱的关系(英文)[J].郑州大学学报(理学版).2007
[7].邱建林,王波,顾翔,刘维富.单边多输出逻辑函数补集软件的设计与实现[J].计算机工程与应用.2006
[8].邱建林,王波,刘维富.多输入多输出单边逻辑函数优化系统的设计研究[J].南京邮电大学学报(自然科学版).2006
[9].应定海.多输出m值逻辑函数若干性质的研究[D].解放军信息工程大学.2006
[10].赵亚群,应定海,冯登国.多输出m值逻辑函数的谱特征(英文)[J].郑州大学学报(理学版).2006