基于K图的函数RM展开式在固定极性下的最小化

分析了K图的性质，发现在K图中过某格的所有聚合圈相应的各乘积项所含变量与该格对应的最小项均有相同的极性，在此基础上提出了得到基于K图函数RM展开式在固定极性下的最小化的图形方法，该方法可以从K图直接得到函数的最小化的RM展开式，从而省略了传统的把K图转变为bj图再求最小化的步骤，它具有直观、简单、易于掌握等特点。此外，文中还提出了该方法的改进算法。     

检测线性函数与线性变量的表格方法

讨论了线性函数、部分线性函数和线性变量的定义、性质和定理,提出了检测基于最小项展开的逻辑函数的线性变量与线性函数的表格方法.提出了直接从RM型逻辑函数的Reed-Muller展开出发以及直接从OC型OC展开出发检测RM型逻辑函数和OC型逻辑函数的线性变量及线性函数的表格方法.文中提出的表格方法具有简单、方便和易于计算机编程操作等优点.     

计算OC型逻辑函数的布尔偏导数与布尔差分的表格方法

讨论了OC型逻辑函数一阶布尔偏导数的规范OC展开式．在此基础上提出了计算OC型逻辑函数一阶、二阶布尔偏导数的表格方法．根据二阶布尔差分的定义以及二阶布尔差分与布尔偏导数的关系提出了两种计算OC型逻辑函数二阶布尔差分的表格方法,并作了比较．本文提出的计算OC型逻辑函数布尔偏导数与布尔差分的表格方法具有简捷、方便以及易于计算机编程操作等优点．     

管理信息本体需求的谓词演算有限集构造

由于管理信息需求的不确定性、多样性和动态性,管理信息系统（包括ERP）的开发一直被认为是一项高风险的投资项目．通过管理信息本体的研究,构建基于本体需求的管理信息本体描述框架及其谓词演算集,无疑可以进一步降低管理信息系统的开发成本,缩短开发周期,提高开发效率,并且易于维护,从而延长管理信息系统的生命周期．     

基于bj图计算逻辑函数布尔差分的新方法

分析了逻辑函数在部分变量取反时的bj图和降维bj图,在此基础上提出了用bj图和降维bj图计算逻辑函数的一阶布尔差分和二阶布尔差分的图形方法.实例表明,该图形方法有直观、简单等特点.它能给出逻辑函数布尔差分的最简与/异或式.     

混合控制变量序的三值T门网络化简方法

为获得T门网络的最佳控制变量顺序，对于n个变量的函数，用传统的方法需作n！次搜索，如果考虑混合控制方式，则搜索的次数更多。为了减少搜索次数，并尽可能得到更为简单的T门网络，本文通过对真值表分割法的分析，并结合T门网络的特点，提出了一种用T门实现三值逻辑函数的真值表分割法的改进算法。该算法可实现混合控制变量序的T门网络的最简或接近最简实现，且易于编程和上机操作。最后还对几种T门网络化简方法的优劣进行了比较。     

部分变量取反的RM型对称函数检测的新方法

分析了函数的RM展开式中乘积项所含的部分变量取反引起的变化，在此基础上提出了直接检测部分变量取反的RM型对称函数的新方法。     

门级电路自动测试向量生成技术原理

集成电路的飞速发展使得测试的难度不断增加,而ATPG技术在测试向量产生方面具有重要的意义,本文对该技术的发展及其所采用的方法进行了系统地介绍和分析.针对门级的组合电路和时序电路的ATPG方法具有许多相似之处,但也同时存在各自的特点,在文中,对这两类电路的方法进行了仔细的比较、区分.