编码器真值表与逻辑表达式的关系探讨

通过对编码器真值表的特点分析,利用卡诺图最小项合并规则得出了直接书写逻辑表达式的具体方法.该方法通俗易懂,特别在卡诺图化简、组合逻辑电路设计中具有一定的理论参考价值。     

三种逻辑函数之间若干特殊关系的探讨

对数字逻辑系统中的三种逻辑函数即原函数，补函数、对偶数之间的若干特殊关系进行探讨，提出了一些独到见解，有助于对逻辑函数的分析，变换与简化。     

逻辑函数的化简与实现

提出能反映逻辑函数最小项合并规律的最小项合并图,给出了基于最小项合并图的逻辑函数化简法,用该化简法可获得逻辑函数的所有最简式且该方法便于编程实现。     

浅谈用最小项和最大项化简同一逻辑函数的规律

针对当前多数教材中用最小项化简逻辑函数的方法 ,指出了如何用最大项化简的技巧 ,同时阐明了两者之间的关系 .     

基于OLAP查询的数据集市系统的研究

研究了通过对数据仓库视图进行水平分割来建立数据集市系统，提高OLAP查询效率的方法和技术。提出了根据OLAP查询中的选择谓词构造其最小项谓词，选择数据仓库立方体视图进行水平分割，利用视图分割后的裂片建立的数据集市来回答查询，达到减少访问的视图元组数和加快查询响应时间，从而提高OLAP查询效率，削减维护费用。     

逻辑函数卡诺图及其应用

在数字电子技术领域,卡诺图不仅是表示和化简逻辑函数的重要工具,而且利用卡诺图还可以对逻辑函数进行各种基本逻辑运算。本文阐述了变量卡诺图和函数卡诺图的实用画法;推出了用卡诺图表示和化简逻辑函数的简捷方法。     

加速布尔匹配算法的研究

逻辑验证和综合中，布尔匹配利用有序二叉判定图（Ordered Binary Decision Diagram,OBDD)检验两个给定的逻辑函数是否相等。直接枚举每个函数中输入变量的各种排列顺序，并根据这些顺序进行匹配，算法时间复杂度为O(n!2^n2),n为变量数。为了提高匹配算法的效率，文中用最小项数目作为标签标定变量（变量组）。对比两函数 中变量（变量组）的标签，可删除不可能的排序，加快匹配过程。在此基础之上，利用重构将待匹配变量压缩在OBDD图的底部。利用这部分结构可以进一步区分变量。实验结果表明，该算法不仅变量区分能力要好于其他算法，且执行速度快，更具实用价值。