蕴涵项扩展技术在多输出逻辑函数中的应用

文章给出一个适用于大变量多输出逻辑函数蕴涵项扩展的算法。多输出函数在它的矩阵表示中分为输入、输出两个部分,但是在扩展过程中,这两个部分处理的方式极为相似,从而使计算机程序简化,并节省了机器的时间、空间资源。     

用蕴涵关系化简多输出逻辑函数

本文提出利用多输出逻辑函数之间的蕴涵关系,化简多输出逻辑函数的方法。这一方法能使多输出逻辑函数的总最小项数目减少,公有的本原蕴涵项的数目增多。这一化简法,较适合于中、大规范集成逻辑组件的综合。文中,通过具体例子将该法同常规化简法作了比较。最后,指出了这一化简法的局限性和有待进一步研究的问题。     

一种基于积项扩展的大变量多输出逻辑优化算法的设计与实现

提出的算法是根据给定的输入积项计算出无共享积项的假集矩阵、阻塞矩阵和覆盖矩阵，对阻塞矩阵和覆盖矩阵依据最小列覆盖的选择算法得到最小列覆盖集合和提升集合，形成输入积项扩展后的积项形式．对于二级SOP型的多输入多输出逻辑函数，设计了基于积项扩展的多输入多输出集成电路逻辑优化软件，允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20000，并通过了Benchmark例题的测试和正确性验证．     

一种基于积项扩展的大变量多输出逻辑优化算法的设计与实现

提出的算法是根据给定的输入积项计算出无共享积项的假集矩阵、阻塞矩阵和覆盖矩阵,对阻塞矩阵和覆盖矩阵依据最小列覆盖的选择算法得到最小列覆盖集合和提升集合,形成输入积项扩展后的积项形式.对于二级SOP型的多输入多输出逻辑函数,设计了基于积项扩展的多输入多输出集成电路逻辑优化软件,允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20 000,并通过了Benchmark例题的测试和正确性验证.     

多输出逻辑函数的一种化简方法

多输出逻辑函数的化简，目前还没有成熟的方法．凭经验决定蕴涵项的取舍，往往不能确定方案是否最简．由于将多个输出电路作为一个整体电路看待，每个单输出函数最简单并不能保证整体方案最简单．若能找出各输出函数间的公共项，即使它不是质蕴涵项，由于公用，也可能得到最简的方案一作者提出了一种规范而又切实可行的化简方法，用此方法最终可解决多输出函数的化简问题．     

用Karnaugh图化简多输出逻辑函数

提出了用Karnaugh图化简多输出逻辑函数的方法,并给予了该方法正确性和最简性的证明。     

多输入多输出单边逻辑函数优化系统的设计研究

逻辑综合的作用是在功能等价的条件下减少电路中的元件数目,使电路体积减少、能耗降低、故障率下降、稳定度提高。对于超大变量多输入多输出逻辑函数优化,存储开销对输入变量呈2幂次方增长。针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输入多输出单边逻辑函数补集,以积项扩展为基础,完成多输入多输出单边逻辑函数无冗余覆盖。编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素(输入变量数、输出变量数、积项数和无关因子)进行了分析,软件系统在奔腾1.8 MHz、512 M的计算机上通过了正确性验证与测试。测试结果表明性能良好,有效的降低了系统的存储空间和时间开销。     

多输出逻辑函数简化方法的探讨

本文提出一种用相关乘积卡诺图对多输出逻辑函数进行简化的新方法,即用一张相关乘积卡诺图便可求出所有的公有质蕴涵项,在单个函数的卡诺图上可求出最佳简化结果.文中论述了它的原理和使用方法,给出了简化步骤和优化准则,介绍了这种方法在设计中规模集成电路中的应用.     

多输出开关函数的比简

本文提出一种化简多输出开关函数的新方法,该方法的主要特点是直接对本质蕴含项进行确定。文中介绍了方法的主要依据,给出了方法的步骤,最后用例子进行说明。     

逻辑函数中的约束项与任意项

逻辑函数中的约束项和会意项是两个不同的概念，但就它们对逻辑函数的影响而言，又没什么不同。本文在指出它们的不同基础上，说明在逻辑函数中又不加区别的原因。     

多输出m值逻辑函数的谱特征

讨论了剩余类环上多输出多值逻辑函数的谱特征,给出了多输出m值逻辑函数的广义一阶Chrestenson谱与单输出m值逻辑函数Chrestenson谱之间的关系,得到了多输出m值逻辑函数的广义一阶Chrestenson谱与其函数之间的转换公式,接着给出了多输出m值逻辑函数的广义一阶Chrestenson谱的概率表示式.同时讨论了多输出m值逻辑函数的广义一阶Chrestenson线性谱和循环谱之间的关系,并给出了这两种谱之间的关系式.     

多输出布尔函数非线性度的一个下界

本文讨论了多输出布尔函数的非线性度,证明了关于下界的一个新结果.文中结论可以为设计和构造具有较大非线性度的多输出布尔函数提供一种新思路.     

多输出m值逻辑函数的相关函数及其与谱的关系

首先讨论了剩余类环上多输出m值逻辑函数的相关函数的若干性质,然后给出了多输出m值逻辑函数的相关函数的概率表示式,最后得到了多输出m值逻辑函数的广义一阶Chrestenson谱与自相关函数之间的关系.     

基于立方扩展法的多输入多输出逻辑综合算法的实现

逻辑综合是数字系统自动化设计的重要理论之一。本文通过对现有算法的深入研究,介绍一种快速有效的逻辑综合算法,即立方扩展法直接求出多输入多输出函数的最小覆盖,用Delphi6.0编写相应的算法程序。大量的实验证明该算法可以减少存储容量加快程序运行速度,在电子设计自动化中具有广泛的应用前景。     

多输出Bent函数有关性质的研究

讨论了多输出Bent函数的自相关特征,给出了Bent函数自相关的两个充分必要条件;研究了多输出Bent函数的代数次数、扩散特性及计数;归纳了多输出Bent函数的等价性质;给出了多输出Bent函数的两种构造方法.     

关于多输出布尔函数的非线性度

多输出布尔函数的非线性度首先在文献[1]中被引进,本文称之为多输出布尔函数的第一类非线性度。本文定义了一种与之不同的多输出布尔函数的第二类非线性度,讨论了两者之间的关系,指出了它们的密码学意义,并且进一步讨论了两类多输出布尔函数的第二类非线性度。     

关于有限域上多输出函数的非线性度

给出了与文献[1]中所定义的有限域上多输出函数的非线性度不同的定义，并指出了它的密码学意义，也讨论了两者之间的关系，丰富了多输出函数方面的成果．     

复杂函数优化中的一种扩展微粒群算法

为了提高标准微粒群算法处理复杂函数时的优化性能,引入了一种扩展形式的新微粒群算法。该算法充分利用了微粒群算法中两个量的优点：群体最优位置利于引导个体快速进化、个体最优位置的中心利于增强群体的多样性。新算法是标准微粒群算法的扩展形式,同时保持了迭代公式的简洁形式。通过复杂函数优化的数值模拟表明,扩展的微粒群算法较标准微粒群算法在寻优能力上有明显的提高。     

多输出函数的自相关函数特征及Walsh谱特征

给出了多输出函数自相关函数的定义,并得到了多输出函数的自相关函数特征和Walsh谱特征的关系式;证明了多输出函数的Walsh谱的两种变换的关系式、Plancheral公式、能量守恒公式、卷积公式;得到了谱的平稳性．有助于进一步研究多输出函数的密码学性质．