一种新的布尔函数对称检测算法

对称是逻辑综合、逻辑优化以及映象技术领域中的一个十分重要的性质－ 对于对称函数, 可以使用特殊的逻辑综合程序来改进设计结果－ 使用对称也可以提高映象技术和等价检测的有效性－ 本文提出一种用于ＯＢＤＤ 布尔函数对称检测的高效算法     

对称检测算法的研究

对称是逻辑综合，逻辑优化以及映像技术领域中一个非常重要的性质，对于对称函数，可以使用特殊的逻辑综合程序来改进设计结果，使用对称也可以提高映像技术和等价检测的有效性，提出一种用于OBDD布尔函数对称性检测的精确有效的算法。     

VHDL综合系统HLS/BIT中永真式的判定算法

在ＥＤＡ设计工具的ＨＤＬ综合系统中，高级综合、ＲＴＬ级综合和逻辑级综合等都常常需要对逻辑函数进行永真式的判定。本文给出一种高效的永真式判定算法，该算法利用余因子、Ｓｈａｎｎｏｎ展开式和单边函数，对逻辑函数的多维体列阵进行快速有效的递归判定。该算法已经在自行研制的ＶＨＤＬ综合系统ＨＬＳ／ＢＩＴ中实际应用。     

VAX中代码数据的共享技术

本文总结了ＶＡＸ机中各种代码和数据的共享技术。如建库、可共享映象、可重入例程、已知映象、ＣＤＤ词典等，给出了实际应用中使用这些共享技术的具体实现方法和技巧。     

对称逻辑函数的零级核计算问题

对对称逻辑函数的零级核计算问题进行了讨论,并给出了一个计算对称逻辑函数零级核的定理,该定理表明,对称逻辑函数的对称逻辑变量之和恰好构成了该逻辑函数的一个零级核。实际应用显示,应用该定理计算对称逻辑函数的零级核,在计算时间和存储容量上都优于传统的核理论。     

2-距离空间中一类压缩型映象的不动点定理

在完备的2-距离空间框架下,研究一类涉及4个映象并满足一定压缩型条件的公共不动点的存在性问题.利用广义弱交换映象概念,证明了这类带有对称函数的压缩映象的新型公共不动点定理.最终将相关文献中的结果推广到了2-距离空间中.     

2-距离空间中带有对称函数的广义C-映象的不动点定理

本文在2-距离空间中,研究带有对称函数的广义C-映象不动点的存在性,证明了一些新的不动点定理,从而改进和推广了现有文献中的相应结果.     

公用技术组合逻辑电路设计方法的初步探讨

通过最简逻辑函数,可以很简单的实现组合逻辑电路。但是利用最简逻辑函数实现的逻辑电路却不一定是最简的逻辑电路。本针对此问题提出公用技术组合逻辑电路设计方法这一新的逻辑电路设计方法来进行探讨。通过实例的分析证明了使用公用技术组合逻辑电路设计方法实现的逻辑电路比使用最简逻辑函数实现的逻辑电路更简单,从而提高了逻辑电路的性价比。     

论逻辑函数变量的二值与格形对称性

格形结构是自然界中普遍存在的一种结构形态。通过对逻辑函数变量的二值与对偶关系以及与之对应的格形对称图的一些性质及其规律的探讨,在两种格形对称图上,找到了最小项与其逻辑相邻项之间的对应关系,从而为用格形对称图法化简逻辑函数提供了捷径和方法。     

热力学势函数的超几何对称性

本文从热力学平衡态方程方面考虑,引入符号序列空间及交换算符找到了势力函数的基本模型,由它出发得到了势函数的超几何对称结构,并用一唯映象办法将定种对称性明显地表示。     

数据库系统的四级模式结构

本文分析了数据库系统的三级模式和二级映象的不足之处，提出数据库系统的四级模式体系结构，它以一般数据模式为系统设计基础，使用多级映象技术，使得数据库系统具有更为完善的数据独立性。     

关于用卡诺图进行多变量逻辑函数的简化问题

本文根据卡诺图的对称性,提出了简化逻辑函数的对称原则来代替过去所遵循的相邻原则。这样,就使得卡诺图由一般只用于四变量以下逻辑函数的简化而有可能用于任何多变量逻辑函数的简化。     

关于用卡诺图进行多变量逻辑函数的简化问题

本文根据卡诺图的对称性,提出了简化逻辑函数的对称原则来代替过去所遵循的相邻原则。这样,就使得卡诺图由一般只用于四变量以下逻辑函数的简化而有可能用于任何多变量逻辑函数的简化。     

各向异性固体光谱中的鞍点性质

在分数维空间模型下，研究三维（３Ｄ）各向异性固体带间光谱的鞍点特性，得到了鞍点邻近区域电子能态密度和介电函数的解析表达式，并说明只能对其中一种类型鞍点的光谱结构作适当阶数的分数微分处理后可以得到对称的洛伦兹线型．     

对称空间中一类非压缩映象的公共不动点

Hiks和Rhoades在对称空间中建立了公共不动点定理，并证明了概率度量结构包含一个相容对称．通过建立对称空间中的反交换映射，给出了对称空间中一类非压缩映象的公共不动点定理．作为应用，我们给出了概率度量空间中的一个新的不动点定理。     

正则余弦函数的谱映象定理

设Ａ为Ｂａｎａｃｈ空间（Ｘ上正则余弦函数｛Ｃ（ｔ）｝ｔ∈Ｒ的生成元。证明了正则余弦函数的各种主普映象定理，即获得了生成元Ａ的谱和｛Ｃ（ｔ）｝∈Ｒ的谱之间的一些关系。作为应用，还获得了积分余弦函数的谱映象定理。     

局部δ—Boyd,Wong映象的不动点定理

提出了一类局部δ-Boyd,Wong压缩映象，并证明了其存在唯一的不动点，且若空间是局部紧的或函数是单调不减的，则该不动点定理与Banach压缩映象原理是等价的。     

逻辑正弦—余弦函数在数字电子技术中的应用

将正弦－余弦三角函数和布尔逻辑代数相结合，交叉形成逻辑正弦－余弦函数，其自变量像普通三角函数的自变量一样可以连续取值，而函数值象布尔逻辑函数一样只取逻辑值“０”和“１”，遵从逻辑代数和运算规则，逻辑正弦－余弦函数既具有正弦－余弦三角函数的某些性质，又具有布尔逻辑函数的特性，为分析，设计数字逻辑电路实现的信号处理系统，提供了一种数学工具和信号形式。     

在MUX中利用联合卡诺图的方法实现逻辑函数

MUX通常可以作为函数发生器来使用,而卡诺图化简逻辑函数的方法又具有简单、准确的优点,本文介绍了一种全新的卡诺图计算方法,实现了卡诺图的新功能,通过这种方法可以准确地利用MUX实现所需的逻辑函数,具有很强的实用性.     

多重魔梯的一个数值例证

介绍在电子张弛振子中观察到的对称多重魔梯,它实际只有两个不连续点,但所谓的特征周期点随参数变化的移动方向在其中的一个锁相台阶内发生了改变,由此导致3个碰撞模式,其中2个完全对称．在此基础上,构造和解析多重魔梯的简化模型,结果说明映象函数斜率的非线性变化能够导致类似的现象。