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

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

基于表格法的部分变量取反的对称函数检测

对称函数有许多优点,引入部分变量取反的对称函数可以大大增加对称函数的数目,从而有助于扩大对称函数的应用范围.检测对称函数是函数对称性研究中的重要工作.分析了基于表格法的对称函数检测,在此基础上进一步提出了改进的部分变量取反的对称函数检测的新方法.     

基于代数方法的基本 R M 型对称函数与基本对称函数 的转换`

TransformationbetweenFundamentalRMTypeSymmetricFunctionsandFundamentalSymmetricFunctionsBasedonAlgebraicMeansLuJianmin;YuanZhenfeng;ChenXiexiong(DepartmentofElectronicEngineering,Hangzhou310028)基本对称函数与基本Reed－Muller对称函数（简称为基本RM型对称函数）是对称函数族中两类重要的对称函数，它们分别定义如下[1-2]：定义1n变量的基本对称函数Si定义为所有i个变量取原变量，其余变量取反变量组成的布尔积之或，例如S1＝定义2n变量的基本RM型对称函数Ri定义为所有i个变量取原变量组成的布尔积之异或，例…     

CRM型对称函数及其逻辑综合

逻辑函数的CRM展开式是逻辑函数在或-符合代数系统中的一种基本表示形式,而对称函数又有许多独特的优点.在讨论了与-或-非代数系统中和最大项对应的对称函数定义、性质基础上,研究了CRM型基本对称函数的定义及其性质.进而提出了基于全加器以及CRM型PLA网络的逻辑综合,还举例说明了逻辑综合过程.该综合的PLA网络是以或、符合二种运算作为基本运算的,类似于与、异或的电路实现,CRM型对称函数常常可以导致使用较少的门及较少的连线,更重要的是它具有易于测试等特点.本文的讨论揭示了CRM型基本对称函数的内在规律,有助于开拓或-符合代数系统的应用.     

关于对称函数的性质之补充研究

在与-或-非代数系统中存在一种构成完备集的对称函数:基本对称函数.其定义如下:即S_i为所有i个变量取原变量,余下n—i个变量取反变量组成的布尔积(相与)之或它表示当n个输人变量中任意i个变量为1,其余变量为0时,函数值为1;否则函数值为0.任意对称函数可表示为     

基于RM型通用门ULM3的对称函数综合

阐述了基本RM型对称函数的定义和性质，给出了任意”变量对称函数在n-1变量基本RM型对称函数完备集中展开系数的计算公式，在此基础上，提出了基于RM型三变量通用逻辑门ULM3的变量数为奇数或偶数的对称函数综合方法，实例验证了上述方法的有效性．     

基于bj图检测自双反函数和自反函数的新方法

自双反函数和自反函数为特殊布尔函数．本文讨论了自双反函数和自反函数的定义和性质,给出了基于bj图获得变量全部取反的逻辑函数f（x1^-～xn^-）的bj图的方法．在此基础上提出了基于bj图检测自双反函数和自反函数的新方法．该图形方法具有直观、简单以及可并行处理等优点．     

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

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

CRM分解图的性质及其应用

针对或/符合代数系统中电路设计与化简的要求,提出了一种全新的图形表示方法--CRM分解图,给出了其特点和性质,并作了相应证明.此外,文中还讨论了对CRM分解图进行对称函数检测的方法,并以实例加以说明.本文的讨论揭示了CRM分解图的内在规律,有助于开拓CRM分解图的应用领域,可以用来指导超大规模集成电路的设计和化简,使电路实现较传统设计更简单、更有效.     

对称函数的dj图表示及其应用

根据对称函数的性质,在对称函数K图/bj图的基础上提出了部分对称函数/全对称函数的dj图表示.给出了利用对称函数dj图检测对称性的方法,并以实例加以说明.与传统方法相比,该法使基于逻辑函数对称性的逻辑设计较传统设计更简单、更有效.     

CRM分解图的压缩及其化简

CRM分解图可以用来指导超大规模集成电路的设计和化简.本文在分析应用CRM分解图进行逻辑函数或符合式化简的基础上提出了逻辑函数的降维CRM分解图,给出了降维CRM分解图的定义和图形化简方法.实例表明,该图形方法有直观、简单等特点,它能给出逻辑函数的最简或-符合式,使电路实现比传统设计更简单、更有效.     

基于CRM型三变量通用逻辑门的查表设计

讨论了逻辑函数的CRM展开与分类,给出了基于逻辑函数CRM展开的三变量函数P分类表、接线顺序以及P分类代表函数的接线方案.在此基础上提出了基于CRM型三变量通用逻辑门的查表设计方法,并给出了具体设计实例.     

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

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

检测旋转对称函数的表格方法

讨论了旋转对称函数的定义和性质,提出了检测基于最小项展开逻辑函数的旋转对称函数的表格方法,提出了直接从RM型逻辑函数的Reed—Muller展开出发以及直接从OC型OC展开出发检测RM型逻辑函数和OC型逻辑函数的旋转对称函数的表格方法．文中提出的表格方法具有简单、方便和易于计算机编程操作等优点．     

基于谱技术的旋转对称函数检测

推导了旋转对称函数的Rademacher-Walsh变换（RW变换）谱系数的性质,在此基础上提出了基于RW变换检测旋转对称函数的方法.该方法具有操作简便、易于计算机编程操作以及能检测多种特殊逻辑函数等优点.