GF（4）上Reed—Muller系数转换公式的证明

对ＧＦ（４）上Ｒｅｅｄ—Ｍｕｌｌｅｒ展式中系数向量和真值向量之间的转换公式进行了严格证明，弥补了以往文献中的缺陷．     

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

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

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

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

关于f^#u和Muf的一个分布不等式

当（ｕ，ω）∈Ｃ时，我们证明了分布不等式ω（ｘ∈Ｒ＾ｎ，Ｍｕｆ（ｘ）〉Ｂｆ＾＃ｕ（ｘ）＋λ）≤εω（ｘ∈Ｒ＾ｎ，Ｍｕｆ（ｘ）〉λ），（ε，λ〉０），其中Ｂ〉０与ε有关，ｆ＾＃４，Ｍｕｆ分别是ｆ关于测度ｕｄｘ的Ｓｈａｒｐ函和极大函数。     

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

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

Rough隶属函数关于集合并与交的一种高精度计算方法

近些年来，许多处理近似问题的方法陆续被提出，其中利用Rough集理论计算两个集合的并和交的Rough隶属函数方法是被用较多的一种方法，但毕竟该方法精度较差。为此，介绍了一种精度较高的计算两个集合的并和交的Rough隶属函数方法，它克服了前者利用Rough集理论计算Rough隶属函数的复杂性，而迎来了简单和高精度的特点。     

特征化证据信任函数的证据诱导分布函数及其性质

基于基本概率分配构造了证据判断框架上的一个证据诱导分布函数，证明了这个证据诱导分布函数是刻划基本概率分配和信任函数特征的点函数，并证明了这个证据诱导分布函数也是证据理论判断框架上的概率分布，从而在一定意义上实现了从证据理论框架到概率论框架的转化，另外，还给出了这种证据诱导分布函数的基本性质。     

关于分担值的正规定则

定义了半纯函数族的限制值和分担值，证明若在区域Ｄ内有３个限制值或３个分担值，则为在Ｄ内正规．本定理以著名的Ｍｂｎｔｅｌ定则为特例．     

线性函数的性质及其应用 线性函数的性质及其应用

给出了线性函数、部分线性函数和线性变量的定义,提出了它们的性质.根据上述定义,利用布尔代数中的基本定理和公式以及自双反函数和对称函数的定义对这些性质给出了证明.最后讨论了它们在逻辑综合以及计算逻辑函数的布尔差分中的应用.     

ＭＡＸ０３８及函数信号发生器

在介绍ＭＡＸ０３８芯片特性的基础上，论述了采用ＭＡＸ０３８芯片设计数字函数信号发生器的原理以及整机的结构设计。对基振荡频率控制、信号输出幅度控制以及频率和幅度数显的实现作了较详细的论述。该函数信号发生器可输出三角波、方波和正弦波。输出频率范围为０．１Ｈz至１０ＭＨz。输出幅度的峰峰值为Ｖp-p=5V，正弦波非线性失真小于１％。     

行为序列及基于多值逻辑的产生技术

本文在分析传统数字电路信号行为的基础上,提出了描述信号行为的三值序列产生技术,文中首先讨论了行为序列在低功耗估计技术中的应用及其多值描述,然后运用多值逻辑理论设计了三值行为序列变换电路,并结合SPICE模拟程序给出了行为序列的软件产生技术,最后讨论了如何产生相互独立的三值行为序列。     

多值模运算的I2L电路实现

根据多值模代数运算理论及开关信号理论，建立了运用于I^2L电路设计的三值模运算的接地开关运算表示式。在此基础上，成功指导了对模3加、减、乘和除等运算电路的开关级设计，从而进一步完善了对多值模代数系统电路设计的研究。     

有效点和弱有效点的稳定性

利用集合序列的P—K收敛的概念，在控制锥是正则锥但未必具有有界基的情况下，讨论了向量值优化和集值优化问题的有效点的稳定性，改进了[2]中相应的结论。另外，还给出了向量值优化和集值优化问题的弱有效点的稳定性，得到了线性算子下的稳定性结果。     

检测含无关项旋转对称逻辑函数的快速算法

旋转对称逻辑函数在密码学函数构造领域有广泛应用。针对含无关项旋转对称逻辑函数检测中存在的不足,从含无关项逻辑函数的定义和旋转对称函数的性质出发,提出了检测含无关项旋转对称逻辑函数的快速算法。该算法通过判断逻辑函数1值最小项二进制编码周期旋转后产生的新编码同1值最小项及无关项二进制编码的重复性实现快速检测。结果表明,快速算法在适用的逻辑函数变量数、含无关项旋转对称逻辑函数检测的适用性和检测过程的复杂度方面均优于现有的表格方法与谱系数方法。     

检测含无关项旋转对称逻辑函数的快速算法

旋转对称逻辑函数在密码学函数构造领域有广泛应用。针对含无关项旋转对称逻辑函数检测中存在的不足,从含无关项逻辑函数的定义和旋转对称函数的性质出发,提出了检测含无关项旋转对称逻辑函数的快速算法。该算法通过判断逻辑函数1值最小项二进制编码周期旋转后产生的新编码同1值最小项及无关项二进制编码的重复性实现快速检测。结果表明,快速算法在适用的逻辑函数变量数、含无关项旋转对称逻辑函数检测的适用性和检测过程的复杂度方面均优于现有的表格方法与谱系数方法。     

两指标B值强鞅的收敛性与Banach空间的几何性质

证明了L1有界的两指标B值强鞅a．s．收敛的充分必要条件是Banach空间具有Radon—Nikodym性质,并进一步利用两指标B值强鞅的收敛性刻划了Banach空间的几何性质．     

两指标B值强鞅空间的强原子分解

定义了两指标B值强鞅空间和强原子,利用Banach空间的光滑性建立了两指标B值强鞅空间s~∑α^p的强原子分解定理,应用强原子分解定理证明了一些两指标B值强鞅不等式.     

两指标B值鞅空间的对偶

通过引入新型两指标B值鞅空间, 利用两指标B值鞅的Fefferman不等式, 证明了当B为自反Banach空间时, 由p均方算子定义的两指标B值鞅空间_pH_α     

关于L 1-逼近的若干注记

具有O-正则变化拟单调系数的Fourier 级数的复值函数f 的L1-逼近的特征之一是:‖ f -S n(f)‖=O(ψn) En(f)=O(ψn)和 f(n)log n =O(ψ n ), 这里S n(f)是部分和算子,{ψn}是一个单调递减趋于零的数列, 满足ψn =O(ψ2n).现问在什么情况下条件En(f)=O(ψn)可以省去? 本文讨论这个问题,并给出一些肯定的回答.