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

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

将任意开关函数变换为对称函数的新方法

本文分析了函数部分对称性、全对称性与函数分解图之间的关系,并在此基础上提出了利用分解图及编码阵将任意开关函数变换为对称函数的图形方法.     

基于四位全加器的开关函数加权实现

任意开关函数都可表示成某些变量重复的对称函数形式,即开关函数的加权表达式.本文根据开关',`-,CI数的加权表达式,提出了基于四位全加器的加权网络的实现,并在此基础上通过使用数据选择器实现开关函数.     

基本超几何级数的q-模拟

通过运用文献[1]的求和算法，得到q-模拟的两个重要性质，并求得三个基本超几何级数的估计式，从而拓展了文献[2]中的一些结论。     

基于四位全加器的n中取m及择多函数等对称函数的实现

全加器是一种常用的运算部件,它在有关运算的数字系统中得到了广泛的应用.文献[1—3]指出了一位全加器具有对称性,它可以方便地实现各种对称函数.然而,迄今在逻辑电路设计中常常使用双一位全加器(简称双全加器).由于其集成度较低,因此往往需用较多的集成块构成电路.为了进一步降低电路的成本,本文考虑使用集成度较高的四位全加器.     

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

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

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

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

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

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

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

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

基于并联开关技术的ECL电路设计

本文首先指出了采用电压信号的多值电路中,在多个开关串联时存在的问题,进而提出了适合于ECL电路设计的两种将串联开关转换成并联开关的方法,并具体设计了采用并联开关的三值ECL电路。设计实例表明这些方法具有简便、规范的特点。用PSPICE对设计的电路进行模拟得到的结果表明,采用并联开关技术设计的电路不仅具有正确的逻辑功能,而且比采用串联开关设计的电路具有更快的速度。     

用电流型CMOS电路实现多值对称函数

本文根据多值对称函数、蜕化多对称函数的定义及性质,在讨论二值对称函数基于电流型ＣＭＯＳ电路的实现基础上,提出了用电流型ＣＭＯＳ电路实现多值对称函数的方法。     

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

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

基于可控阈开关的电路设计

本文讨论了可控阀开关的三种应用。建立了实现阈值控制电路的开关运算,设计了三值电流型ＣＭＯＳ施密特电路。在利用电流求和信号并引入阈值控制技术后,设计了具有简单结构的ＥＣＬ全加器。ＰＳＰＩＣＥ模拟证明了所设计的电路具有正确的功能和理想的特性。     

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

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

对称二值电流型CMOS电路设计

应用开关信号理论，建立了基于对称二值逻辑的传输电流开关理论。该理论能从开关级指导设计对称二值电流型CMOS电路。应用该理论设计的对称二值电流型CMOS电路可以利用零电流作为区分二值电流信号的现成阈值，因此，不仅具有简单的电路结构，而且能处理具有双向特性的信号。计算机模拟结果表明：具有理想的逻辑功能。     

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

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

关于旋转对称布尔函数性质之研究

旋转对称函数为特殊布尔函数,本文阐述了旋转对称函数的定义,提出了旋转对称函数的性质,并给出了相应的证明,讨论了该函数在k图、bj图、谱系数图中的特点.     

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

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