2008年, 第36卷, 第2期 刊出日期:2008-02-25
  

  • 全选
    |
    论文
  • 赵霞, 郭耀, 雷志勇, 陈向群
    电子学报. 2008, 36(2): 209-215.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    随着嵌入式系统低能耗技术研究的深入,软件对系统能耗的影响越来越受到人们的关注,并向着定量分析方向发展.本文提出一种嵌入式操作系统能耗量化分析方法,通过模拟运行嵌入式操作系统和应用软件,利用微体系结构能耗模型估算单时钟周期指令能耗.提出基于软件功能结构的操作系统内核能耗估算模型并估算分析内核执行路径、服务、例程、原子函数的能耗,发现操作系统内核中显著影响系统能耗的关键软件模块及其特征.实验结果表明,本方法可以从很大程度上提高嵌入式操作系统能耗估算和分析的准确性,估算结果有助于嵌入式操作系统能耗的量化分析和操作系统及应用程序的能耗优化设计.
  • 何建波, 郭新, 卿斯汉,
    电子学报. 2008, 36(2): 216-223.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    分析了当前Clark-Wilson完整性模型实现机制的不足,提出了一种基于TE实现Clark-Wilson模型的方法.首先讨论了TE对Clark-Wilson模型的支持能力,然后给出了用TE实现Clark-Wilson模型的配置规则和约束.在实现中,扩展了模型的(userid,TP,list of CDIs)三元组,引入了角色层,以更实用的方式实现了职责隔离.同时,实现机制实现了对TP的保护,有效地保障了TP功能的正确性,提高了系统正确控制TP操作的可信度,减少了对Clark-Wilson模型验证规则的依赖.
  • 孙彩霞, 张民选
    电子学报. 2008, 36(2): 224-229.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    同时多线程(SMT,Simultaneous Multithreading)处理器中,取指策略隐式的决定了共享资源在线程之间的分配,进而决定了吞吐量和公平性.然而,前面对取指策略的研究大都集中在吞吐量优化上,对公平性的研究极少.本文把公平性作为优化目标,提出了一种新颖的取指策略FAIR.实验结果表明:对于所有类型的负载,FAIR都能获得很好的公平性,RPRrange都不超过5%.而且,FAIR并没有以牺牲吞吐量来获取公平性.与ICOUNT这种典型的以优化吞吐量为目标的取指策略相比,FAIR的吞吐量平均只降低了3.8%.
  • 彭朕, 盛新庆
    电子学报. 2008, 36(2): 230-234.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文将一种多层不完全LU分解预处理方法应用于合元极技术(即混合有限元、边界元、快速多极子技术).理论和数值实验表明,此种预处理方法能大大减少合元极技术的内存需求,同时兼有极高的计算效率.本文首先给出此种预处理方法的构造方式和实施步骤,接着对此种预处理方法在合元极技术中的数值性能进行了理论和数值实验的分析研究;最后,本文计算了几种电大尺寸复杂目标的散射,以展示应用了此种预处理方法的合元极技术的计算能力.
  • 杨瑾屏;吴文
    电子学报. 2008, 36(2): 235-238.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在Chebyshev原型滤波器基础上引入衰减极点来获得准椭圆低通滤波器的集总参数电路,并分别采用哑铃型和螺旋型缺陷接地结构实现其串联支路的电感和高外Q值LC并联谐振电路,再采用加宽微带线实现其并联支路电容,从而获得了具有良好的频率选择性及谐波抑止特性且整体结构紧凑的DGS准椭圆低通滤波器.由于该设计方法完全采用解析公式计算,故具有快速有效的优点.最后研制了一个工作频率为2.4GHz的5阶准椭圆低通滤波器,其通带内最大插损小于0.5dB,衰减超过20dB的阻带宽度为13GHz,纵向长度大约为1/4工作波长.
  • 卢清华, 张宪民
    电子学报. 2008, 36(2): 239-244.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    根据估计量的统计特性,提出了一种适用于低信噪比条件下运动估计的最小化MSE(均方误差)滤波器多尺度运动估计算法.首先,根据Cramer-Rao下界建立一个包含估计量噪声项的MSE惩罚函数.然后,最小化MSE惩罚函数设计一种用于低信噪比条件下运动估计的优化滤波器.该优化滤波器与多尺度方法相结合,使其对低信噪比条件下运动估计的精度得到了进一步提高.实验模拟表明,该方法在估计2个像素附近的噪声图像运动时,估计偏差小于0.008个像素.与传统方法相比,本文方法对低信噪比条件下的运动估计具有更高的估计精度.
  • 马海平;陈子栋
    电子学报. 2008, 36(2): 245-249.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    为提高对机动目标的跟踪效果,本文提出了一种基于H滤波的模糊变结构交互多模型算法.该算法采用H滤波器作为模型条件滤波器,通过调节其参数来增强对外界干扰的鲁棒性,提高滤波性能和精确度.同时把交互多模型(IMM)算法的模型概率作为模糊推理系统的输入,利用模糊逻辑推理优化模型概率,实时改变模型数目和参数,减少模型之间竞争,实现变结构功能.实验仿真结果表明,本文提出的算法比标准IMM算法具有更高的跟踪精确度.
  • 涂治红, 褚庆昕
    电子学报. 2008, 36(2): 250-254.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    传输零点的确定是交叉耦合滤波器综合的最基本要素.本文利用广义Chebyshev函数的极值特性以及滤波器阶数与传输零点最大值的关系,提出了一种根据滤波器特性指标同时确定广义Chebyshev滤波器的阶数和传输零点位置的方法,弥补了传统方法中传输零点确定的人为随意性,在满足技术指标条件下,实现了广义Chebyshev滤波器阶数最少,传输零点位置最佳.几个数值实验显示了该方法的过程和有效性.
  • 隆志力, 吴运新, 韩雷, 钟掘
    电子学报. 2008, 36(2): 255-260.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    研究了热超声倒装键合设备的核心执行机构——换能系统的动力学特性.利用激光多谱勒测振仪测试系统末端各方向的振动速度,发现系统以轴向振动为主,但受到其他非轴向振动的干扰.非轴向振动对芯片造成芯片倾斜、键合强度降低等负面影响.采用有限元方法对换能系统建模,仿真计算发现换能系统振动是各方向振动的耦合结果,且工作模态附近存在多种干扰模态.最后分析了系统多模态产生的根源并提出抑制方法.
  • 刘积学, 钟先信, 江洪敏, 彭江陵
    电子学报. 2008, 36(2): 261-265.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文研究了差分直接序列扩频多符号检测器算法及实现.基于差分多符号检测算法,导出了差分直接序列扩频多符号检测器算法;采用声表面波(SAW)匹配滤波器和固定延迟线融合设计结构,实现了增益为13、同检符号数N=4的巴克码差分直接序列扩频多符号检测器.并对检测器的解扩解调性能进行了测试和分析.
  • 张立森;王立志;
    电子学报. 2008, 36(2): 266-270.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    建立了PWM型二阶开关电容DC-DC变换器的二维离散映射模型,用非线性动力学理论分析了映射模型定点的稳定情况.以电压反馈系数为参数,通过数值计算描绘了系统动态演化的分岔图和最大Lyapunov指数变化曲线.以二阶串并电容组合开关电容DC-DC变换器为例,用PSPICE软件对其进行模拟仿真,得到了变换器的混沌吸引子.理论分析、数值计算和模拟仿真保持了一致.
  • 涂文娟, 丘东元, 张波, 黎剑源
    电子学报. 2008, 36(2): 271-277.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    高阶升压式谐振开关电容变换器的升压阶数增加,拓扑变得更加复杂,其潜在路径隐蔽性更强,因而需要研究一种系统的分析方法.为此本文基于图论提出一种n阶升压式谐振开关电容变换器潜电路分析方法,文中给出了该图论分析法的原理和步骤,并以3阶升压式谐振开关电容变换器为例进行了仿真和实验证明.研究结果表明,该方法简单易行,是一种可供推广的电力电子变换器的潜电路分析方法,为预先发现和消除高阶升压式谐振开关电容变换器中的安全隐患提供了理论依据.
  • 孙含欣, 佟冬, 袁鹏, 程旭
    电子学报. 2008, 36(2): 278-284.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文采用软硬件协同设计技术,提出以寄存器簇为粒度对嵌入式处理器寄存器堆进行功耗管理的方法.在软件方面,面向寄存器簇的编译优化使循环程序段中寄存器的编号尽可能相邻;在硬件方面,采用寄存器簇缓冲器过滤对寄存器堆的访问并降低其动态功耗,采用基于寄存器簇的动态电压调节电路和门控预充电路降低存储单元和位线的泄漏功耗.实验结果表明,本文方法将寄存器堆的总功耗降低约44.7%,比传统方法达到了功耗、面积和延迟的更优折衷.
  • 张科;郝智泉;王贞松
    电子学报. 2008, 36(2): 285-290.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    为适应未来对地观测卫星系统对数据吞吐速率和通信带宽的增长需求,本文提出并实现了一种基于新体系结构的,由若干存储模块依靠高速串行互连构成的空间固态记录器原型系统.存储模块采用DDR SDRAM提高吞吐率,配置高速串行接口完成模块间互连,利用单数据总线、双地址总线的存储拓扑结构增加模块内部存储容量,并使用可编程逻辑器件FPGA管理和控制存储资源.同时,应用多层次通信接口协议保证通信链路质量.单模块存储容量可达8GB,访存带宽可达3.2GBps,物理通信带宽高达25Gbps.模块间的高速串行链路误码率可低于10 -11.
  • 薛广涛, 俞嘉地, 尤晋元
    电子学报. 2008, 36(2): 291-297.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    为了提高BitTorrent对等网络系统的文件共享性能,本文提出基于临近结点聚类方法,将临近的结点聚合成结点簇,同一结点簇中结点优先建立共享连接,构建了层次化BitTorrent文件共享机制.通过基于马尔可夫链的流体数学模型分析该系统性能,证明了层次化结构的BitTorrent系统比原BitTorrent系统具有更好的文件共享性能.模拟实验证实了理论分析结果,并显示该系统有效地降低了中央服务器Tracker的负载,提高了系统可扩展性和稳定性.
  • 欧阳一鸣, 成丽丽, 梁华国
    电子学报. 2008, 36(2): 298-302.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    为了解决系统芯片(SoC)测试过程中自动测试设备(ATE)在存储空间以及带宽等方面所面临的问题,本文提出了一种新的基于变长数据块相关性统计的测试数据压缩和解压方法.以测试向量为单位,先用算法确定一个具有最好相关性的数据块作为该向量的参考数据块,再利用它与该向量中数据块的相关性进行压缩.且每个向量的参考数据块长度相互独立.其解压结构只需要一个有限状态机(FSM)、一个5位暂存器和一个与参考数据块等长的循环扫描移位寄存器(CSR)即可,硬件开销小,对ISCAS-89标准电路Mintest集的压缩结果表明,本文提出方案较同类编码方法有更高的压缩效率.
  • 路文, 高新波, 王体胜
    电子学报. 2008, 36(2): 303-308.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    部分参考型图像质量评价的性能依赖于图像的特征提取和稀疏表示.WBCT(Wavelet-based Contourlet Transform)是一种无冗余度的图像稀疏表示方法,能有效地反映图像的视觉感知特性,可以用来捕捉由于图像失真而引起的视觉感知的变化.为此,结合部分参考型图像质量评价模型和WBCT,提出了一种自然图像质量客观评价方法.实验结果表明,利用该方法所得到的图像质量客观评价结果与主观评价结果之间具有很好的一致性,能准确地反映人眼对图像质量的主观感受.
  • 吴证, 周越, 杜春华, 袁泉, 戈新良
    电子学报. 2008, 36(2): 309-313.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文提出了一种基于复合局部信息模型的改进Active Shape Model(ASM)算法,并进一步提出了基于人脸特征点Gabor小波特征降维分类的特征点搜索方法,对改进ASM的结果进行精确校正,达到鲁棒精确定位特征点的目的.本文首先对经过Adaboost检测的彩色图像人脸区域进行光照补偿,然后根据眼睛和唇色的色度特性定位双眼和嘴唇中心位置,从而得到较好的人脸特征点的初始位置.在特征点位置搜索中,本文结合肤色概率信息对ASM方法进行了改进,从而提高了仅基于灰度梯度信息的传统ASM方法的鲁棒性和准确性.最后选取改进ASM搜索后的某些特征点一定领域内梯度值较高的点,提取其Gabor小波特征,通过线性判别式分析法(Linear Discriminant Analysis)和最近邻分类法对其进行分类,搜寻最符合训练样本Gabor特征的点作为最佳位置点,修正了ASM的搜索结果,使得搜寻结果更加精确.
  • 张薇, 马建峰, 王良民, 郭渊博
    电子学报. 2008, 36(2): 314-319.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对纠删编码和门限方案在分布式存储中的应用,提出门限Byzantine quorum系统(TBQS)的概念.该系统与数据分离算法相结合,可以构造可靠性较强的存储系统,当故障服务器个数不超过服务器总数的1/4时,利用TBQS设计存储策略可以实现容错和无间断服务.讨论了TBQS的存在性,构造了两类TBQS并对其效率进行分析,在此基础上设计了基于TBQS的分布式读写协议.
  • 苗付友, 王行甫, 苗辉, 熊焰
    电子学报. 2008, 36(2): 320-324.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文针对举报系统应该有效保护和激励举报人等应用需求,基于环签名和环签密提出了一种支持悬赏的匿名电子举报方案.该方案能够通过身份模糊性有效保护举报人,通过举报内容的机密性、举报的不可传递性以及第三方不可伪造性确保举报信息的安全,并通过举报人身份的自证明性为悬赏机制提供支持.分析表明,该方案能够有效满足此类电子举报系统的应用需求.
  • 张东晓;李立峰
    电子学报. 2008, 36(2): 325-330.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文从语构理论入手,在经典二值命题逻辑系统中给出公式的语构真度的概念,从两个不同的角度给出语构真度的等价刻画.给出语构真度的实例,说明原来在语义下的真度是语构真度,并且由语构真度诱导的相似度和伪距离具有语义下相似度和伪距离的基本性质.给出τ-相容理论的概念,指出τ-相容理论和相容理论的内在关系.
  • 邹权, 郭茂祖, 张涛涛
    电子学报. 2008, 36(2): 331-337.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    RNA二级结构预测是计算分子生物学中的一个重要领域.本文介绍了RNA二级结构的预测方法,包括该问题的数学模型、主要算法思想以及每种算法对应的软件.在tRNA和RNase P RNA数据库中随机选取了几组样例对目前主要的7种软件进行测试,同时对每种软件的优缺点进行了详细比较.实验证明,当存在同源序列时,Pfold的效果优于其它软件.最后,在总结分析现有算法的基础上探讨了该领域进一步的研究方向.
  • 李福乐;段静波;王志华
    电子学报. 2008, 36(2): 338-341.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    对于开关电容模数转换器来说,电容失配是一种主要的非线性误差源.为了减少电容失配误差,本文提出了一种差分电容选择配对技术.该技术基于差分级电路的增益误差正比于差分采样电容和与差分反馈电容和之间的相对误差的原理,通过电容比较和电容交换等电路技术,对电路中的工作电容进行选择配对来减小增益误差.概率分析和Monte Carlo仿真表明,该技术可将模数转换器的线性指标提高0.6-bit以上.与其他电容失配校准技术相比,该技术具有校准电路简单、不影响模数转换速度、对工作环境变化不敏感等特点.
  • 宁俊松;罗正祥;羊恺;补世荣;刘娟秀
    电子学报. 2008, 36(2): 342-345.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    低通滤波器是通信系统中关键的器件之一,常作为选频器件用来抑制干扰信号和谐波信号,因此低通滤波器阻带带宽成为关键指标.常见的平面低通滤波器采用短截线(分支线)或高低阻抗线结构,这些结构的低通滤波器阻带不够宽,一般在截止频率的2倍频或3倍频处出现寄生通带.本文使用等效的T形节替代低通滤波器中的串联传输线的方式实现了带阻滤波器嵌入到低通滤波器内部,既对低通滤波器的阻带上任意频段出现的寄生通带进行了抑制,又不影响低通滤波器的通带内性能,并给出等效T形节的综合设计公式.此结构综合设计方法严谨简单、易于平面电路实现,制作出来改进的低通滤波器对3倍频寄生通带进行抑制,扩宽了阻带带宽到4个倍频程以上,测试结果:通带带宽0~3GHz,通带插入损耗小于0.5dB,带外抑制3.6~12GHz大于60dB.
  • 卢文科, 朱长纯, 刘清洪, 刘君华, 方建安, 文常保
    电子学报. 2008, 36(2): 346-349.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文提出了用同相位法减小三次行程反射信号的方法.当信号频率与叉指换能器中心频率相等,并且主信号的相位等于三次行程反射信号的相位时,从可达到减小三次行程反射信号的影响.并且探讨了双接收叉指换能器并联法,要求双接收叉指换能器要完全对称,否则声表面波式小波变换器件频率特性曲线不光滑.
  • 马可, 章隆兵
    电子学报. 2008, 36(2): 350-357.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    随着现代高性能通用处理器结构的不断发展,处理器的性能分析已经变得越来越困难.基于大工作负载和单纯依靠模拟器的性能分析方法复杂度高,且难以直观地反映微体系结构特征.本文针对超标量处理器的特点,提出一种新的处理器性能分析方法,具体包括:设计一个微基准程序集Godson-Microbench,并提出相应的理想性能上限计算公式.这种方法扩充了过去基于约束的性能分析方法,可以更加完整地评估流水线性能并有效地发现性能瓶颈.本文使用这种方法分析比较了龙芯2号处理器和Alpha21264处理器,并依此改进了龙芯2号的结构,使得微基准程序的平均性能提高了13.8%,SPEC程序集的IPC提高了28.8%.本文提出的性能分析方法在龙芯2号的结构优化工作中发挥了重要作用.
  • 张耀锋;孙以材;邢晓辉
    电子学报. 2008, 36(2): 358-361.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    为了在一定的温度和压力下有效改善传感器的非线性及温度变化引起的误差输出特性,提出了一种人工神经网络算法对其实现软件补偿.它包含4个权值的调整,分别代表输出信号的一次项,二次项以及温度的一次项,二次项系数,经过迭代以后获得一个最佳输出公式.该公式既能够满足样本值,也能够满足非样本值,并最终可校验神经网络迭代结果的正确性.
  • 李海婷, 鲍长春
    电子学报. 2008, 36(2): 362-366.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文提出了一种新的应用于宽带导抗谱频率参数量化的转换分类乘积码锥形矢量量化方案.该量化器基于转换分类与乘积码锥形矢量量化原理,首先对待量化的ISF参数矢量进行分类,然后按类进行乘积码锥形矢量量化.该算法具有低存储量及低复杂度的特点.实验表明,该算法在每帧编码比特数为46时,平均谱失真比乘积码锥形矢量量化低,且达到了透明量化标准.
  • 赵玉芳, 唐立新
    电子学报. 2008, 36(2): 367-370.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    连续型批处理机调度问题是一种新型的批调度问题,它是从钢铁工业加热炉对管坯的加热过程中提炼出来的.批的加工时间取决于该批的大小、批中工件的最大加工时间及机器的容量.本文研究了目标函数是极小化总完工时间问题,对最优解的性质进行了理论分析,提出了最优的分批策略及批间序的确定方法,给出了一个多项式可解的动态规划算法.
  • 刘欣萌;彭喜元
    电子学报. 2008, 36(2): 371-375.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文提出了热敏电阻功率传感器在功率测量时的传热模型,得出了传感器有效效率和热导、热容的关系表达式.定义了换热差异给微波功率测量带来的热等效误差.详细分析了热等效误差的来源,提出了该误差的表达式,最后给出了消除该项误差的办法.
  • 张玉华, 王欣
    电子学报. 2008, 36(2): 376-380.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    小波变换作为一种多尺度信号分析方法,在图像处理中得到了重要的应用.图像处理的一个重要研究方向就是去噪.由于图像含有大量的边缘,因此用于图像处理的小波基必须具有良好的边缘检测性能和较强的平滑噪声能力.但是,目前还难以找到具有这样特性的正交小波基.本文利用信号的多相位表示理论,提出了一种基于Haar小波的三通道正交完全重建滤波器组,并推导出它在图像去噪中的软门限方法.试验表明,该滤波器组用于图像去噪可以得到很好的结果.
  • 王, 毕秀丽, 马建峰
    电子学报. 2008, 36(2): 381-385.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    现有的图像椒盐噪声滤除算法缺乏对小于滤波窗口的图像细节与边缘信息的保护能力,本文提出了一种基于二次噪声检测和细节保护规则函数的图像椒盐噪声滤波算法,算法将滤噪过程分为两个阶段:噪声检测和噪声恢复阶段.在噪声检测过程中,用自适应中值原理对图像中的噪声点进行初步检测,然后通过局部模糊隶属度函数对检测出的噪声点进行二次判断,有效提高了噪声检测的准确度.在噪声恢复阶段,利用细节保护规则函数与1数据逼近的凸面代价函数来恢复噪声点.为了充分利用图像局部特征,该算法自适应地选择噪声点周围的象素点利用细节规则保护函数得到输出值,当图像噪声点的凸面代价函数值达到最小时,噪声图像得到最佳恢复.实验结果表明,本文提出的滤波算法针对椒盐噪声具有很好的细节保护与噪声滤除能力,特别是在噪声感染率高(70%以上)的情况下,算法性能优于现有的其它算法.
  • 刘兆广;彭玉华;杨阳
    电子学报. 2008, 36(2): 386-391.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在传统的基于运动补偿的时间滤波小波视频编码方案中,帧组尺寸和低通帧位置都是固定的,没有考虑到视频序列中运动的性质.本文提出了一种类似haar小波的基于运动补偿的时间滤波编码方案,利用互信息技术,根据视频的运动特征自适应的选择帧组尺寸和低通帧位置.同时,根据选定的帧组尺寸和低通帧位置决定时间上的编码层次.大量的实验比较了提出的方法和传统方法的压缩性能.当视频序列运动较为剧烈时,本文提出的自适应选择低通帧方法较固定低通帧方法的PSNR提高约0.3~0.5dB;当视频序列中运动缓急不一,如频繁的画面切换,本文提出的自适应的选择帧组尺寸的方法能取得更好的效果.
  • 邓晴莺, 张民选
    电子学报. 2008, 36(2): 392-396.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    寄存器文件的设计在高性能处理器设计中十分重要,寄存器栈和寄存器栈引擎是提高其性能的重要手段.编译优化常常基于特定的体系机构以及目标机器.本文针对EDSMT微体系结构(基于IA-64的同时多线程体系结构)提出了一种新颖的基于映射表的寄存器机制——MTRM(Mapping Table-based Register Management),它通过映射表将连续的虚拟寄存器物理号映射到不连续的实际物理寄存器,并研究了编译器支持下的及时去配,实验结果表明该方案能有效提高性能.
  • 曹天杰, 雷红
    电子学报. 2008, 36(2): 397-401.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    认证密钥协商协议能够为不安全网络中的通信双方提供安全的会话密钥,但是,大多数的认证密钥协商协议并没有考虑保护用户隐私.论文关注网络服务中用户的隐私属性,特别是匿名性和可否认性,规范了增强用户隐私的认证密钥协商协议应满足的安全需求,即双向认证、密钥控制、密钥确认、会话密钥保密、已知会话密钥安全、会话密钥前向安全、用户身份匿名、用户身份前向匿名、不可关联和可否认,并基于椭圆曲线密码系统设计了一个满足安全需求的隐私增强认证密钥协商协议.
  • 廖名学;范植华
    电子学报. 2008, 36(2): 402-407.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文提出了MPI程序的同步通信模型及三个基本简化模型,给出了判定这些基本模型是否死锁的方法和定理并予以了严格证明.简化模型的死锁检测理论和方法是真实MPI程序死锁检测的必要基础.这些方法基于程序静态分析,必要时进行运行时检测,它们对两种简化模型可以在程序编译前确定是否死锁,对另外一种模型,在编译前可静态确定部分死锁,运行中可确定其他死锁.我们的理论可以证明MPI程序死锁检测主流算法的正确性,其方法可以减少它们对客户源代码或MPI profiling接口的修改量,从而大大降低死锁检测开销,并可在运行前判定死锁.
  • 李林, 卢显良
    电子学报. 2008, 36(2): 408-412.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    防火墙规则冲突不仅使规则集变得难于管理,而且会影响报文分类的效率.现有的规则冲突消除算法不能完全消除冲突.针对这一情况,从计算几何角度对规则冲突进行了分析,提出了一种基于切割映射的冲突消除算法.该算法对规则冲突进行了详细的分类,并根据不同的类型消除冲突.算法以两条冲突规则为基本处理对象,在其冲突消除过程中,顺序切割优先级较低的规则的每一维分量.理论分析和测试表明,算法达到了只需增加少量规则即能彻底消除冲突的目的.
  • 李静, 陈蜀宇, 吴长泽
    电子学报. 2008, 36(2): 413-416.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    如何有效地进行资源定位是影响网格和对等网性能的重要因素,已有的一些资源查找算法引入了小世界原理来提高定位效率和降低网络负载,但没有较好解决小世界网络的构造问题.在Kleinberg小世界模型的基础上,提出了一个小世界网络的构造方法SSWCP(Scalable Small World Construction Protocol),并给出了该方法的数学分析和实现.该方法是分布式的,不必拥有全局知识,每个结点只需维护局部视图,即可使资源定位具有小世界特征所带来的优化的时间复杂度.分析和实验结果表明,该方法具有良好的扩展性,可以提高资源查找的效率.