基于变粒度的大规模真值表快速知识约简

在大规模逻辑电路的分析与设计中,直接由大规模真值表得到最简逻辑函数表达式的过程往往比较复杂。针对此问题,提出了一种基于变粒度的大规模真值表快速知识约简算法。随着真值表的输入逻辑变量的粒度变化,通过引入标记矩阵和启发式算子,对大规模真值表进行知识约简,从而得到最简逻辑函数表达式。最后,通过实例分析并详述算法过程,且通过数据集进行对比实验,验证了该算法的快速性与有效性。     

基于粒矩阵的多变量真值表快速约简算法

真值表化简可简化数字逻辑电路的分析与设计。在人工智能理论中, 命题逻辑值的判定和复合命题的等值关系判定也需要用到真值表及其化简。文中将真值表定义为逻辑信息系统, 用粒矩阵由粗到细描述不同粒度空间下的知识, 将真值表化简转化为通过粒矩阵运算实现的逻辑信息系统属性与属性值的约简, 从而提出多变量真值表快速约简算法。并将算法应用到发光二极管七段数字显示器的设计中, 实验分析表明文中算法的快速性和有效性。     

相容关系模型及其在逻辑优化中的应用

逻辑表达式化简是数字电路分析与设计的重要内容,基于相容关系的粒计算模型是处理不完备信息的有效工具。定义了不完备真值表,并将传统的逻辑表达式化简转化为不完备真值表的规则提取,从多粒度角度出发,在由粗到细的粒度空间下,计算每个属性集合的相容矩阵和逻辑关系矩阵,根据矩阵所包含信息之间的关系提出一种新的逻辑表达式化简算法。最后通过定理证明、实例分析和算法正确性分析验证了该算法的有效性。     

采用布尔矩阵不完备信息系统的属性约简

对于不完备信息系统完备化问题,现在常采用的方法是数据补齐法和扩充法,在研究和分析了其优劣后,提出一种完全依据信息系统提供的信息来产生布尔可辨矩阵的方法。给出一个基于对布尔可辨矩阵进行化简的求属性约简（或最小属性约简）的高效算法。     

基于粗糙集理论的约简、决策规则与模式

粗糙集理论的概念性框架之一就是利用不可分辨关系和布尔推理作为数据约简和获取决策规则的基础.在分辨矩阵和决策矩阵概念的基础上,提出将约简分为4类,即信息表的对象约简、信息表的全局约简、决策表的对象约简和决策表的全局约简,其中决策表的对象约简对应决策规则.从模式的角度对约简和决策规则进行了分析,利用决策矩阵和决策函数,给出了获取最小决策规则的一种算法,上述结论可以作为设计启发式算法的基础,并用例子对结论进行了说明.     

布尔表达式的化简与并行排序网络验证

为设计出能够验证并行排序网络正确性的有效工具,根据[0,1]原理和布尔函数的特点和性质,提出一种布尔表达式的化简算法,并根据此算法设计出验证工具.对[0,1]原理和布尔函数的特点和性质进行了讨论,指出有利于化简操作的性质.设计出的工具能够根据并行排序网络的参数显示网络图形、自动生成布尔表达式并实现化简验证,工具的输出有利于对排序网络的分析,也可以用于辅助排序网络的设计和优化.实验结果表明了该工具的有效性.     

基于改进NB分类方法的网络异常检测模型

在神经网络的数字VLSI实现中,激活函数及乘累加等计算部件是设计中的难点.区别于使用乘法器及加法器的传统方法,该文提出的LMN方法基于查找表(即函数真值表),使用逻辑最小项化简提炼出函数最简逻辑表达式后,可直接生成结构规整的门级电路,除线延时外,电路只有数个门级延时.以非线性函数为例对该方法进行了介绍,结果表明当定点数位数较少时,算法在速度及误差方面具有更好的性能.     

基于系数矩阵的极性转换方法及其在MPDRM化简中的应用

针对多输出布尔函数系统混合极性对偶Reed-Muller展开（MPDRM）的极性转换问题, 提出了一种基于系数矩阵的极性转换方法。该方法通过分析使用转换矩阵进行极性转换时所需的矩阵运算, 进行子矩阵提取并将复杂的矩阵运算简化为子矩阵间的同或运算, 提高了极性转换速度。在此基础上, 给出了MPDRM精确化简算法, 该算法采用格雷码策略使得极性转换发生在相邻极性值的MPDRM之间, 并以和项数作为主要化简标准, 文字数作为次要化简标准, 通过采用穷举策略搜索极性空间求解最小MPDRM。实验结果表明, 使用文字数作为次要化简标准能够获得更优化的MPDRM, 与基于列表技术的极性转换方法相比, 所提出方法能够缩短精确化简过程49. 5%的时间。     

基于余子式的组合逻辑电路覆盖等效性检测算法

覆盖等效性检测指验证2个具有不同表达式的组合逻辑电路是否实现相同的函数功能.通过扩展余子式概念,提出一种基于乘积项余子式分解及重言式判别的组合逻辑电路覆盖等效性检测算法.首先将等效性检测问题分解成电路包含检测子问题,逐一求取其中一个电路表达式对另一个电路表达式各乘积项的余子式;然后在建立各乘积项余子式的香农结构图基础上判断其是否重言式;最后根据重言式判别结果确定两电路间是否覆盖等效关系.该算法通过求取乘积项余子式对逻辑函数进行分解和降阶处理,从而加快了覆盖等效性验证速度.电路测试结果表明,文中算法是稳定有效的;对EXPRESSO软件集成的3种算法所得电路的测试结果表明,与基于真值表和BDD的2种检测算法相比,该算法具有明显的速度优势.     

基于布尔矩阵的初等行变换的知识约简算法

给出了布尔矩阵的初等行变换定义，建立了线性逻辑方程组形式的属性约简模型，用布尔矩阵的初等行变换把系数矩阵化为最简矩阵，给出了用系数矩阵和最简矩阵判定绝对必要属性、相对必要属性和绝对不必要属性的三个充分必要条件，并由此提出了一种知识约简的快速算法。