增强型Quine-McCluskey算法及其实验

传统的Quine-McCluskey算法第一步多从只拥有最小项的真值表开始,而真值表中的最小项数目是算法时间复杂度的最重要因素,数目越大,算法完成需要的时间越多.采用增强Quine-McCluskey算法,对真值表大小进行控制,利用更多归约规则,从而减少算法执行时间.     

逻辑函数的“异或“形式

本文着重阐述“或”运算与“异或”运算的内在联系,进而得出“任何一个逻辑函数都可以表示为最小项异或的形式。”     

实质蕴涵与互逆真蕴涵

对于任何蕴涵命题都有建立它的过程和建立之后运用它来推理的过程。经典逻辑的拥护者们认为实质蕴涵的定义使其也能建立实质蕴涵命题和建立之后用其进行推理。其实,实质蕴涵的定义只能用来建立实质蕴涵命题,若用其推理则违背了哲学与数学的基本原理;虽然它可用于建立实质蕴涵命题,但却会产生实质蕴涵怪论。作为对实质蕴涵的改进,提出了互逆真蕴涵概念。互逆真蕴涵的归纳复合真值表用于建立互逆真蕴涵命题,分解真值表用于推理。互逆真蕴涵的归纳复合真值表虽然与实质蕴涵的真值表相同,但却有不同的解读。     

一种化简逻辑函数的新方法

介绍了一种化简逻辑函数的新方法。该方法是用寻找可消变量最小项求出本原蕴含项;用分析最小项的包含情况求出本质蕴含项;对大于四变量的函数采用分解变量的方法化简。该方法使多变量函数化简准确、迅速。文中实例的化简数据由自编软件给出。     

多输出组合逻辑函数共卡诺图化简法的研究

针对多输出逻辑函数,建立了一种规范化的共卡诺图化简沦。该化简法要求用一张卡诺图表示多输出逻辑函数,使得它们的共享部分在几何上相互重叠,为辨识共类共享最小项和合并提供了方便。以实例说明了共卡诺图化简法的应用,展示了该方法化简多输出逻辑函数简洁明快的特色。     

一种改进的蓝牙分散网构成算法

针对蓝牙分散网构成算法组网节点数受限、拓扑可扩展性差等问题,建立分散网拓扑模型,分析BTCP算法的组网机制,提出了一种改进的蓝牙分散网的分布式拓扑构成算法.算法使用随机角色机制在较短的时间内构成多微微网的结构,最终通过各种形式的重组与融合建立一个连通的分散网,突破了经典算法中对微微网数目、节点通信范围以及节点数目的限制,增强了拓扑可扩展性.仿真结果表明:与BTCP算法相比,该算法网络创建时间较短,微微网数目与算法消息数目较少,节点总数不局限于36个,各节点无需均在通信范围内,更具灵活性.     

二值逻辑函数中的两种映象关系及其应用

从真值表映象的观点定义了补函数和对偶函数，并由此验证了一系列重要的规则、公式和推论，列举了其在几个方面的应用。     

用变量矩阵引出卡诺图化简逻辑函数

逻辑函数表达式是描述数字电路输出输入关系的数学模型,逻辑函数的化简是分析和设计数字电路的重要步骤之一。目前,用卡诺图化筒逻辑函数仍是最常用的方法。作者用变量取值组合所构成的矩阵引出卡诺图;方法是将全部变量分成两组,各纽按只有一个变量取值不同的顺序排成一行和一列,得到的矩阵就是卡诺图。与现行的用最小项概念引出卡诺图的方法相比,理论性强,方法简便,特别是在多变量卡诺图的画法上,具有更明显的优越性。本文是工程数学应用于数字电路的一个突破。     

一种改进的Apriori算法

Apriori算法是挖掘关联规则频繁项集的最有影响的算法之一,它通过连接、剪枝等步骤产生频繁项集,进而产生强关联规则。由于面临海量数据,因此将会产生大量的候选项集,尤其是候选2-项集,严重影响了挖掘的效率。提出了一种改进的算法,此算法不产生小项候选集而直接产生大项候选集,从而提高了算法的效率。     

线性复杂度可控的新型密钥流生成器

本文利用布尔函数的真值表,给出了一类全新的密钥流生成器.它具有实现简单和所产生的密钥流,可根据不同的需求,调节其线性复杂度等优点.此外,利用该新思想还得到了一个求2~n 长序列线性复杂度的快速算法.     

一组简化逻辑模拟算法的数据描述表和时间队列表结构

给出了一组以元件为描述对象的数据描述表结构和以元件事件为处理对象的时间队列表结构，这种表格结构可使逻辑模拟的表驱动算法得到简化，从而提高了模拟效率。     

实现最优BDD结构的联合改进方法

针对文献[13]的最优BDD指标顺序算法,详细研究了该方法的计算机实现。在分析实现各个关键技术的过程中,阐明了存储每个指标值的真值表的冗余性,分析了获取一个最优解(当对象含有多个最优解时)的弊端,提出了改进方法——删除存储指标值的真值表,获得所有最优解。为了实现形式最优BDD结构,详细研究了"去除"操作在简化"等价"节点上的原理。将最优指标顺序的理论和"等价"节点的简化操作方法联合起来,实现了理论和形式都最优的BDD结构。最后,以具体的例证阐释了联合改进方法在获取最优BDD结构中的突出特点。     

用数据选择器进行逻辑设计地址变量的优化

用数据选择器可进行任意组合逻辑的设计，本文研究了地址变量的优化问题，给出了用原函数真值表的变换寻找最佳地址变量组合的方法。     

一种基于TCAM的PLO_OPT算法的改进

在最大前缀长度为L的TCAM(Ternary Content Addressable Memory)中,采用PLO_OPT算法更新路由表项仍然有很大的时间消耗,其时间复杂度为O(L/2)。为了进一步提高路由更新速度,根据路由前缀数量分布图,本文提出了一种PLO_OPT路由更新算法的改进方案,每更新一次表项只需进行一次操作即可,可以使时间复杂度达到O(1),且更有效地利用了存储空间。     

二进制QR码的一个简化查表译码算法

基于QR码的特点和伴随式的重量,给出了二进制QR码的一个新的简化查表译码算法。译码表的行是形如（ e,eH ）的向量,其中 e 是错误仅出现在信息部分且错误个数不超过码的纠错能力一半的错误模式, eH 是 e 的伴随式。该算法适用于所有的二进制QR码。其译码表的行数在目前已知的二进制QR码的查表译码算法中是最小的。因此该算法不仅有一定的理论意义,也有一定的实用价值。     

基于FP树的最大频繁项目集增量式更新算法

发现最大频繁项目集是关联规则挖掘的重要步骤,针对关联规则挖掘中最小支持度发生变化的增量式更新问题,提出了高效发现最大频繁项目集的更新算法.该算法在FP树的基础上增加了记录各项目支持数的表,在头表中增加了域,从而减少了访问事务数据库和FP树的时间,提高了发现最大频繁项目集的效率.     

管道漏磁检测数据压缩技术

漏磁检测系统属于海量数据采集系统,针对该系统中电子硬盘存储数据量较少的问题,利用LZW算法和Hash表理论,提出了一种漏磁检测数据实时无损压缩算法.采用LZW算法对漏磁检测数据进行无损压缩,并根据Hash表管理LZW算法的字符串表,设计了基于ARM处理器为核心器件并嵌入Linux操作系统的硬件系统对算法进行实现.实验结果表明,该系统实现了漏磁检测数据采集、压缩和存储的全过程,得到了2倍以上的实时数据压缩结果.     

基于FP树的最大频繁项目集增量式更新算法

发现最大频繁项目集是关联规则挖掘的重要步骤，针对关联规则挖掘中最小支持度发生变化的增量式更新问题，提出了高效发现最大频繁项目集的更新算法．该算法在FP树的基础上增加了记录各项目支持数的表，在头表中增加了域，从而减少了访问事务数据库和FP树的时间，提高了发现最大频繁项目集的效率．     

Mod 2n加法和减法的代数正规型

文献[1]给出了从n元布尔函数f的代数正规型得到f（X＋Y mod 2^n）和f（X＊Y mod 2^n）的公式,其中Y是常数。基于mod 2^n加法进位比特的性质,给出了求X＋Y mod 2^n或X-Y mod2^n的n个分量函数的代数正规型的方法。其总的计算复杂度分别为O（2^n）（或O（3n））。远远低于经典的用真值表计算布尔函数代数正规型的算法[2]。使用文献[2]的算法仅得到X＋Ymod 2^n（或X-Y mod 2^n）最高位的计算复杂度就达O（2^n＊22 n）。     

布尔函数的代数攻击

基于代数攻击,提出了一种已知部分真值表还原整个布尔函数的方法。对于n元d次布尔函数, 该方法的空间复杂度和数据复杂度均为O(N),计算复杂度为O(N3),其中N=1+C1n+C2n+…+Cdn。由复杂度可知,所求密码函数的代数次数越低,该方法的有效性越高。攻击方法表明密码设计中应该谨慎使用代数次数较低的布尔函数。