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

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

摘要：本文讨论了多值对称函数的定义和性质,指出了多值对称函数可以按函数值j分解,而与j相应的子函数L_j必为对称函数。且可表示成蜕化多值基本对称函数乘积项之和的形式。在此基础上提出了多值对称函数基于二值全加器的逻辑综合。

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

摘要：为直接利用现有逻辑器件实现多输出对称函数,通过对2 线-4 线译码器的逻辑功能和二变量基本对称函数的定义的比较,提出2 线-4 线译码器可用作二变量基本对称函数产生器. 由于任意n 变量的基本对称函数均可通过二变量基本对称函数产生器的树型扩展得到实现,因此,任意n 变量的对称函数可以用2 线-4 线译码器予以实现. 文中分别就变量数为奇数和偶数的情况进行了讨论.

摘要：特殊逻辑函数在电路设计中有着独特的优点.从特殊函数的定义出发,提出了检测含任意项特殊逻辑函数的方法,并以实例加以说明.为超大规模集成电路中单元电路的设计与化简提供了新的方法,对进一步完善布尔代数系统具有一定的实际应用意义.

摘要：特殊布尔函数在电路设计中有着独特的优点.本文从特殊函数的定义出发,导出了基于分解图的冗余函数、线性函数、对称函数、自反函数和自双反函数的相关定理,着重介绍了基于分解图的相关定理在特殊函数检测中的应用,并以实例加以说明.本文为超大规模集成电路中单元电路的设计与化简提供了新的方法,对进一步完善布尔代数系统具有一定的实际应用意义.

摘要：阐述了一种构造正交幂等系统的算法.借助计算机穷举出所有可能的对称剖分,并利用多个矩阵同时对角化的技术,得到了许多定义在有限群的对称剖分上的正交幂等系统.构成这些正交幂等系统的类对称算符,是构造对称函数的基础工具之一,其在对称设计中扮演着重要的角色.

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

摘要：给出了一种表示和计算离散有限点集的射影与排列不变量的简单有效方法。该不变量在计算机视觉、模式识别中有重要应用。首先导出了射影直线上4个点的基于一种对称函数的射影与排列不变量,该不变量等于这4个点的某个原始交比值,具有计算量低,不丢失分辨力等优点。然后根据这个简单的对称函数,结合基本的多项式对称函数,推导出了平面上5个点的两个函数无关的射影与排列不变量,以及空间中6个点的3个函数无关的射影与排列不变量。