开关函数加权网络综合算法的改进

文献〔1〕根据任意开关函数可表示成某些变量重复的对称函数,即开关函数的加权表达式,提出了基于一位全加器的加权网络的代数综合算法。由于一位全加器的集成度低,因此需用较多的集成块。本文对文献〔1〕的算法作了改进,使之适用于四位全加器的情况。 四位二进制全加器的图形符号如图1所示。A_3～A_0、B_3～B_0为二个四位二进制数输入,C_0为低位进位输入,S_3～S_0为本位和输出,C_4为进位输出。其输出可表示为 C_4S_3S_2S_1S_0=A_3A_2A_1A_0+B_3B_2B_1B_0 +C_0 （1）式中“+”为二进制加法运算。     

三值绝热多米诺T运算电路设计

通过对多值逻辑和绝热多米诺电路工作原理及结构的研究,提出三值绝热多米诺T运算电路的设计方案.该方案首先将三值T运算定义与三值文字运算相结合,得到基于文字运算的T运算定义式;然后以开关信号理论为指导,推导出逻辑0与逻辑2选通电路的开关级表达式,并利用文字运算互斥互补关系,得到逻辑1选通电路的开关级表达式;最后根据这些表达式进一步实现了三值绝热多米诺T运算电路.经HSPICE仿真验证,该电路具有正确的逻辑功能及低功耗特性.     

基于CNFET的三值脉冲式D触发器设计

通过对脉冲式时序电路的研究,利用多值开关信号理论,设计基于碳纳米场效应晶体管的单边沿和双边沿三值脉冲式D触发器.该方案利用CNFET高速低功耗特征,结合多值逻辑电路的开关运算,简化函数表达式,优化电路结构,减少晶体管数量,达到了降低功耗的目的.经过HSPICE仿真结果表明,所设计的三值脉冲式D触发器具有正确的逻辑功能和低功耗特性.     

基于模拟退火遗传算法的三值FPRM电路功耗优化

在三值FPRM(Fixed-Polarity Reed-Muller)逻辑函数中,n变量函数有3ⁿ个固定极性.针对不同极性下FPRM电路功耗不同的特点,研究了三值FPRM逻辑表达式,提出一种基于模拟退火遗传算法的三值FPRM电路功耗优化方法.首先,根据三值逻辑函数表达式和开关信号传递理论,建立三值FPRM电路功耗估计模型;再利用模拟退火遗传算法对三值FPRM电路进行功耗最佳极性搜索,得到了功耗最低的FPRM电路;最后对13个MCNC Benchmark电路进行仿真.结果表明:与0极性相比,搜索到的最佳极性功耗平均节省了73.98%.     

态射的加权Moore-Penrose逆

讨论带有对合＊的范畴C中具有满单分解态射的加权Moore-Penrose逆,给出了具有满单分解态射的加权Moore-Penrose逆存在的几个充要条件以及具有满单分解的加权Moore-Penrose逆的表达式,所得结论和公式包括了关于广义Moore-Penrose逆中的结果.     

基于基本对称函数产生器的模拟开关实现

开关－信号理论与传统的电路设计理论不同,它不是以门电路或其它集成块为基本单元,而是以开关元件为构造单元,本文应用形状－信号理论指导二变量基本对函数产处理品在及双向对称模拟开关的设计,并提出了基于双向对称模拟开关的对称函数的电路实现。     

具有泛分解态射的加权Moore-Penrose逆

讨论了预加法范畴C中具有泛分解态射的加权Moore-Penrose逆,并给出了具有泛分解态射的加权Moore-Penrose逆存在的几个充要条件,以及具有泛分解态射的加权Moore-Penrose逆的表达式,推广了关于具有泛分解态射的广义Moore-Penrose逆的相应结果.     

一种改进的混合极性列表技术

针对基于多输出混合极性Reed-Muller逻辑表达式极性转换问题, 提出了基于不相交项的列表极性转换方法, 并通过极性搜索实现函数的最小化. 结果表明: 与传统列表极性转换法相比, 提出的新方法能有效降低时间复杂度.     

局部紧Vilenkin群上加权Herz空间中的向量值极大函数不等式

建立了局部紧Vilenkin群上加权Herz空间上向量值极大函数的Fefferman-Stein型加权不等式.     

基于矩形覆盖的FPRM电路多级面积优化

Reed-Muller(RM)逻辑因其优越的性能而广泛应用于数字电路,本文提出一种固定极性RM(FixedPolarityRM,FPRM)逻辑函数的多级优化方法.首先将电路表示成XOR/AND形式的FPRM逻辑函数,再计算函数的kernels和co-kernels,并由其生成矩阵,然后从矩阵中搜索尽可能多的矩形覆盖,利用矩阵分块和贪心策略逐步提取公共变量,最后生成多级逻辑表达式.MCNC Benchmarks测试后的结果表明,本方法得到的表达式比原RM逻辑表达式减少66%的文字(literals)数目,比onset表方法的优化结果减少19%.     

化学分析测试中的加权线性回归

本文阐述了化学分析中某些非线性函数化作线性函数处理时,进行加权线性回归的方法及必要性。     

证据的信任函数表示

以诊断推理为应用背景，研究了信任函数理论框架下的证据表示．从似然原理出发，给出了基于似然性的信任函数所要满足的性质，引入了嵌套表示，建立了嵌套表示与稳健贝叶斯推断的联系，并以一个简化的诊断推理过程为例，说明了嵌套表示的应用，最后指出嵌套表示与其它表示方法的差异来自对似然原理的不同理解．     

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

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

抗差加权两阶段估计及其应用

在系统误差为随机变量的情况下，利用加权两阶段估计及抗差加权两阶段估计研究半参数模型得到了参数及非参数的估计；接着，讨论了估计量的影响函数及渐近方差协方差；最后，运用自由水准网的例子说明本文方法的有效性。     

用阈函数实现任意逻辑函数的新方法

本文讨论了任意逻辑函数化为阈函数的基于谱技术的设计方法，并在此基础上提出了一种新方法。     

基于四元数尺度函数的边缘检测方法

四元数解析信号是解析信号在四元数意义下的推广,其由原信号、四元数方向Hilbert变换和四元数交叉项Hilbert交换构成。通过四元数解析信号的极坐标表示,可得信号的特征表示,如局部相位角和局部振幅,其中局部相位角包含信号的结构信息。研究了右四元数解析信号,给出了其二维延拓定理,得到右四元数尺度函数,并将其局部特征应用于彩色图像的边缘检测,提出了基于局部相位角和局部振幅的边缘检测方法,通过对比实验,证明了基于局部相位角的边缘检测方法在抗噪上具有鲁棒性。     

Marcinkiewicz积分在加权Campanato空间上的有界性

主要讨论了Marcinkiewicz积分算子, 通过函数分解等方法证明了Marcinkizwicz积分算子在加权Campanato空间上的有界性, 并推广了Marcinkiawicz积分算子在Campanato空间上的有界性问题.     

Caffarelli-Kohn-Nirenberg不等式的证明

先用函数表示和Picone恒等式的方法建立高维欧氏空间的一类Hardy型不等式,结合CAFFARELLI、KOHN、NIRENBERG三人证明Caffarelli-Kohn-Nirenberg不等式的思想,给出Caffarelli-Kohn-Nirenberg不等式的证明,突破原文需转化为一维情形的限制,对高维空间的情形直接证明,易于推广．     

两两NQD列的广义Jamison型加权和强收敛性注记

通过随机变量序列广义Jamison型加权和的系数指标函数自身性质,讨论两两NQD(Negatively Quadrant Dependent)列的广义Jamison型加权和的强收敛性,将NA中一些相应结果推广到两两NQD列场合,削弱了以前结果的条件.最后给出的例子进一步说明结论更具一般性.     

关联余割函数的Hilbert型不等式及其应用

通过引入参数,构造了第一象限内的非齐次混合核函数,建立了常数因子最佳的Hilbert型积分不等式。利用余割函数的有理分式展开,证明了最佳常数因子可用余割函数的高阶导数表示。此外,通过对参数赋值,给出了若干特殊结论。