TRANSFORMATION BETWEEN TWO KINDS OF EXPANSION COEFFICIENTS OF SYMMETRIC FUNCTIONS BASED ON MAPPING METHOD

This paper discusses the definitions and properties of two kinds of fundamental symmetric functions, which are based on AND-OR-NOT algebraic system and AND-Exclusive OR algebraic system, respectively. Based upon it, some mapping transformation methods between two kinds of expansion coefficients of an arbitrary symmetric, function in the complete set of two fundamental symmetric functions.

线性函数和部分线性函数的图形检测方法

线性函数是布尔代数中常用的特殊函数之一,本文根据线性函数、部分线性函数的定义与性质,提出了检测线性函数与部分线性函数六个定理.在此基础上,给出了基于K图与bj图的线性函数与部分线性函数的图形检测方法,并举例说明具体检测过程.

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

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

函数RM展开式和CRM展开式的图形转换法

在研究或、符合代数系统的基础上,本文根据逻辑函数bj系数和dj系数的关系,提出了bj图和dj 图之间的图形转换方法,并举例说明转换过程。该方法揭示了bj图和dj图的内在联系,具有简洁、直观的特点。

基于0-1编码空间的谱系数图与b_j图的互换

从函数最小项系数与基于(0,1)空间的谱系数以及bj系数的关系出发,引进了n-bj系数,进而提出了(0,1)空间的谱系数与bj系数的互换算法并给出了相应的图形转换方法和一种改进的跨图聚合圈法.实例表明,图形转换法具有简单、直接、方便等特点.

降维d_j图及其应用

在分析应用d_j图进行逻辑函数或-符合式化简的基础上提出了逻辑函数的降维d_j图,给出了降维(?)图的定义和化简方法,并举例说明。此外,还讨论了降维K图、降维b_j图与降维d_j图之间的转换方法。

基于图形方法的对称函数两种展开系数之间的转换

本文讨论了基于“与”-“或”-“非”代数系统和基于“与”-“异或”代数系统的两类基本对称函数的定义和任意对称函数在这两类对称函数完备集中的图形表示,提出了两种展开系数的图形转换方法。

电子海图制作中坐标转换的应用与实现

一般海事局提供的CAD、DWG格式的矢量海图为BJ-54坐标,但电子海图规范格式为WGS-84坐标,文中研究在电子海图制作过程中如何实现坐标间的实时转换,从而提高坐标转换的速度。

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

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

K图与b_j图互换关系研究

介绍函数最大项展开式与K图、规范RM展开式与bj图的特点与性质,分析K图和bj图的相似性,举例说明基于重心的K图和bj图间转换方法,并在此基础上,对基于重心的K图和bj图互换提出改进方法.

关于自双反函数的RM展开式特性的研究

阐述了自双反函数的b_j图系数的特征,给出了基于缺项聚合圈的判定方法,并提出了自双反函数b_j图与K图的互换图形方法。研究表明,图形互换方法比通常的原点法和重心法提高了将近一半的效率,适合于含多自变量的情况。

基于图形方法的冗余函数与自反函数检测

冗余函数和自反函数是特殊的布尔函数,本文阐述了冗余函数和自反函数的定义,提出了冗余函数和自反函数的性质,讨论了冗余函数和自反函数的图形检测方法,并用实例说明之.通过计算机编程操作,可以得到用于多变量冗余函数和自反函数检测的快速算法.

基于异或运算的逻辑函数OC展开系数图与b_j图的转换

分析了逻辑函数的OC展开式与RM展开式,利用异或运算和符合运算的性质,推导了dj展开系数与bj展开系数的关系.在此基础上提出了基于折叠异或以及基于重心的实现dj图和bj图相互转换的两种图形方法,并对这两种方法作了比较.通过实例显示,这些图形方法具有直观、有效等特点.

基于零点的逻辑函数b_j图和d_j图的转换

图形化简法是逻辑函数化简的有效工具。bj图和dj图分别是RM展开式、CRM展开式的图形表示。通过对RM展开式、CRM展开式系数关系的分析,提出了2种bj图和dj图的图形转换方法,并对各种方法予以实例说明。对于5变量以下的逻辑函数,这二种方法具有简单、直观等特点。