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

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

基于表格法的CRM型对称函数检测

分析了函数的CRM展开式中和式项所含的部分变量取反引起的变化,在此基础上提出了直接检测CRM型全对称函数以及部分变量取反的CRM型对称函数的新方法,并以实例加以说明．与传统方法相比,该法使基于逻辑函数对称性的逻辑设计更简单、更有效．     

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

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

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

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

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

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

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

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

基于与一异或代数系统的对称函数的研究

本文在分析与一或一非代数系统的基础上研究了基于与一异或代数系统的对称函数，讨论了RM型基本对称函数的定义和性质.在此基础上提出了二种基于RM型对称型函数的任意对称函数的综合方法:基于RM型通用逻辑组件ULM 3的逻辑综合及基于余加器与RM型PLA的逻辑综合.     

检测逻辑函数中线性变量的代数方法

根据线性变量、线性函数的定义和性质,提出了5个定理及3个推论．在此基础上给出了检测基于与-或展开的、基于或-与展开的、RM型的、基于或-符合展开的逻辑函数中线性变量的代数方法,并举例说明了具体检测过程．本文的工作对于完善数字电子CAD设计中的逻辑综合理论具有实际意义．另一方面,相对于其它特殊逻辑函数而言,线性函数还缺乏系统的研究,本文的工作对于补充和完善线性函数的理论具有重要意义。     

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

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

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

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

基于最小项表计算e导数的方法

给出了布尔函数的e导数、高阶e导数以及e偏导数的定义,在此基础上提出了基于布尔函数1值最小项表计算布尔函数的e导数、高阶e导数以及e偏导数的表格方法.该方法具有简单、不受变量数限制以及易于计算机编程操作等优点.     

不同分布NA序列完全收敛性的注记

主要讨论了不同分布NA变量在不受某个随机变量X随机控制的条件下.其部分和的完全收敛性.通过适当改变矩条件,得到了不同分布NA随机变量序列部分和完全收敛性的充要条件.推广了苏淳等人的结论;同时获得了不同分布NA序列满足对数律的一个充要条件.     

END随机变量序列移动平均过程的极限性质

介绍了由END随机变量序列生成的移动平均过程,利用END随机变量序列的Rademacher-Menshov型不等式,得到了移动平均过程部分和最大值的矩完全收敛性和几乎处处收敛的极限性质。END随机变量序列是范围较广的相依序列,得到的结论是对前人研究工作的推进。     

AANA序列部分和的收敛性质

利用对AANA随机变量做截尾方法处理,给出AANA随机变量序列的三级数定理.研究了在矩条件下,AANA随机变量序列的一类强极限定理和强大数定律.由于AANA随机变量序列比NA随机变量序列要弱,故本文所得的结论对NA随机变量序列仍然成立.     

END随机变量序列移动平均过程的极限性质

介绍了由END随机变量序列生成的移动平均过程,利用END随机变量序列的Rademacher-Menshov型不等式,得到了移动平均过程部分和最大值的矩完全收敛性和几乎处处收敛的极限性质。END随机变量序列是范围较广的相依序列,得到的结论是对前人研究工作的推进。     

含无关项布尔函数的对称变量检测算法

为简化布尔函数中12类对称变量的检测过程,提出了含无关项布尔函数基于最小项展开系数的对称变量检测算法.该算法通过判别布尔函数有序特征值矩阵的约束条件以实现对称变量的快速检测.应用结果表明,与现有方法相比,算法在适用的布尔函数变量数、检测类型、检测含无关项布尔函数和检测过程的复杂度方面表现较优.