Please wait a minute...
  • 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

当期目录

    论文
    上下文感知的动态访问控制模型
    姚寒冰[1] 胡和平[2] 李瑞轩[2]
    2007, 29(5): 1-3. doi:
    摘要 ( 447 )   PDF (261KB) ( 409 )     

    现有的访问控制技术主要依靠主体的标识来实现对系统资源的保护,在权限的控制时没有考虑执行的上下文环境。随着网络和分布式计算的发展,应用环境具有分布、异构、  动态的特点,需要考虑主体所处上下文进行动态的权限控制。本文提出了一个上下文感知的访问控制模型(DCAAC),DCAAC扩展了RBAC模型,增加了上下文约束。DCAAC从应   用环境中获取与安全相关的上下文信息来动态地改变用户的权限,同时保留了传统RBAC模型的优点。这一访问控制模型已在网格计算实验平台中实施。

    基于TCP报文的防火墙渗透测试系统的设计与实现
    胡华平[1] 杜昆[2] 刘波[2] 王谷[2]
    2007, 29(5): 4-7. doi:
    摘要 ( 385 )   PDF (275KB) ( 485 )     

    防火墙渗透是网络攻防研究的一项重要内容。在有防火墙保护的情况下,目前许多渗透软件已经很难获取到主机的有用信息。本文通过分析现有国内外防火墙渗透工具存在的 问题,在深入研究TCP报文结构的基础上提出了基于TCP报文的防火墙渗透探测方法,并利用该方法实现了基于TCP报文的防火墙渗透测试系统。该系统能够直接对目标主机进
     行探测,发现防火墙保护下主机是否在线,同时分析防火墙保护下主机的端口、服务开放情况和操作系统类型等基本信息。这些信息既可以为安全检测服务,也可以为网络攻攻击提供基础。

    一种新的移动Ad Hoc网络随机密钥分发机制
    崔国华 张群书
    2007, 29(5): 8-10. doi:
    摘要 ( 416 )   PDF (185KB) ( 276 )     

    移动Ad Hoc网络是一种无需固定通信基础设施、拓扑结构动态变化的无线网络,所以传统的密钥管理机制不能应用于Ad Hoc网络。本文在分析文献[1]中所提出的无线网络随 机密钥分发机制的基础上提出了一个改进的基于环形通信的密钥分发协议,并对该协议进行了安全性和性能上的分析。在建立结点之间的安全信道时,该协议引入环状的合作结点集,不仅能够保证安全性和鲁棒性,而且大大降低了通信量。

    基于SVM的网络威胁频率预测算法研究
    刘春芬[1,2] 宣蕾[2] 王正华[2] 李旭峰[2]
    2007, 29(5): 11-14. doi:
    摘要 ( 415 )   PDF (245KB) ( 461 )     

    网络安全风险评估分为定量评估与定性评估两种方法。现今的评估方法多数仅对网络安全事件进行定性的评估,不能给出网络安全风险值的定量说明,评估结果缺乏客观性、动态性和可信性。本文在深入研究风险评估理论和实验的基础上提出了一种新的网络安全定量风险评估方法——基于支持向量机SVM的网络威胁频率预测方法,构造了相应的S SVM模型,并采用仿真数据对模型进行了验证。该模型对来自某局域网IDS实测数据的网络威胁频率进行了预测,和真实值的对比说明,所提出的网络威胁预测算法是行之有效效的。

    面向应用的IPSec系统策略管理机制
    周辉 程东年 权乐
    2007, 29(5): 15-18. doi:
    摘要 ( 365 )   PDF (311KB) ( 301 )     

    针对现有IPSec系统策略机制的不足,本文提出了一种面向应用的IPSec系统策略管理机制,通过监视应用程序的socket活动,实时地设置好相应的IPSec策略,对IP流实施细粒度的、不同等级的保护;同时,提供高级语言形式的策略设置语句,以满足用户添加和修改细粒度IPSec策略的需要;提供解决策略冲突的算法,将相互冲突的需求转化为 无冲突的策略。该机制可以提高现有IPSec系统的性能,使其更好地满足网络实际环境的需要。

    防DPA攻击的两种不同逻辑比较研究
    石伟 戴葵 童元满 龚锐 王志英
    2007, 29(5): 19-22. doi:
    摘要 ( 424 )   PDF (305KB) ( 459 )     

    DPA是一种非常有效的密码处理器攻击技术,它能够通过对密码处理器的功耗行为进行分析来获取密钥值。运用功耗恒定的标准单元实现密码处理器可以很好地达到防DPA攻击的目的。本文针对不同的集成电路制造工艺,分别对DIX2VSL与SABL两种不同逻辑的防DPA攻击特性进行比较分析。实验结果表明.随着晶体管沟道长度的减小,内部节点电容容对功耗恒定特性的作用逐渐减小,DDCVSL与SABL具有相近的防DPA攻击特性。同时,DDCVSL的功耗、延迟与面积小于SABL。

    IPSec客户端自动认证配置方式的研究与实现
    涂进 李之棠
    2007, 29(5): 23-25. doi:
    摘要 ( 360 )   PDF (259KB) ( 347 )     

    本文阐述现阶段IPSec远程访问模式下客户端的自动配置方法ISAKMP和DHCP,并针对它们存在的问题提出了一种改进的IPSec隧道模式下客户端自动配置的认证配置方法。实践表明,这一方法不仅安全有效,而且更方便,可扩展性好。

    区域网络化制造系统安全体制研究
    皮建勇 刘心松 吴艾 符青云 刘丹
    2007, 29(5): 26-29. doi:
    摘要 ( 430 )   PDF (280KB) ( 343 )     

    针对目前区域网络化制造系统的完全分布式运行模式对信息安全的需求,本文提出了一个基于离散对数的身份认证和密钥协商方案。该方案不依赖于在线用户证书管理中心,  因此能很好地适应区域网络化制造系统现有的完全分布式服务模式。通过将现有IPSec框架的内部功能模块进行改造,进而将该安全体制融入到虚拟私有网络(VPN)的服务模 模块中。安全分析表明,该方案能有效地抵御消息重放攻击和中间人攻击。同时,性能测试表明,该安全体制方案有较高的通信效率,因而能较好地保障区域网络化制造系统 的信息安全。

    报文处理系统可靠性分析与实现
    刘巍[1,2] 郭长国[2] 邹鹏[2]
    2007, 29(5): 30-32. doi:
    摘要 ( 365 )   PDF (214KB) ( 133 )     

    随着网络技术的飞速发展,电子邮件已成为信息交互的主要手段之一。但是,一般的电子邮件系统普遍存在传输不可靠的问题,无法满足军事、商务等领域对公文交互高可靠 性的要求。本文根据X400建议提出了一种公文传输协议,并依据此协议实现了一套能保证用户之间信息可靠交互的报文处理系统,最后对该协议的性能进行了详细测试。

    数字家庭网关UPnP模块的设计与实现
    杨宗凯 雷嘉 余江
    2007, 29(5): 33-36. doi:
    摘要 ( 357 )   PDF (256KB) ( 748 )     

    本文探讨了数字家庭的应用、家庭网络的构建以及家庭网关的重要地位,详细分析了家庭网络标准UPnP的组成与工作原理,并针对家庭网络中媒体的有效共享与传输提出了一 种数字家庭网关中UPnP模块的实现方案。此方案的设计结构层次清晰,可扩展性强,目前已成功运用于基于嵌入式Linux平台的家庭网关中。

    应用级流量测量系统IPTMAS
    张晓初[1] 冯悦[2] 陈依群[1] 吴伟航[1] 周建军[1] 陈斌[1]
    2007, 29(5): 37-40. doi:
    摘要 ( 477 )   PDF (267KB) ( 361 )     

    对于新出现的网络应用多样化及复杂化带来的流量测量困难问题,本文介绍了一种新型的应用级流量测量方法及其系统IPTMAS的实现.该方法实现了应用级流量类型组合识别技术,可准确识别产生网络流量的应用类型.IPTMAS系统可以同时支持数据包级和网络流级流量测量,提供了扩展流监测接口,允许灵活配置监测策略,以更好地平衡流量的信息量
    与数据量需求.实验结果验证了方法的有效性.

    基于双缓存机制的分布式WebGIS数据集成访问策略
    祁羽 陈荤 张瑞雪 刘露
    2007, 29(5): 41-44. doi:
    摘要 ( 453 )   PDF (348KB) ( 368 )     

    随着因特网的迅猛发展,分布式webGIS的重要性日益增加。如何提高分布式WebGIS的查询效率是其中的重要课题。针对此问题,本文提出了一种基于双缓存机制的分布式空间数据集成访问策略,给出了双缓存机制的控制数据结构,讨论了空间数据集成访问策略和针对WebGIS数据特点的缓存替换策略。实验表明,双缓存机制能够有效地提高分布式式WebGIS的查询速度。

    D-RED:一种改进的路由器拥塞控制算法
    谌新年
    2007, 29(5): 45-49. doi:
    摘要 ( 375 )   PDF (293KB) ( 458 )     

    本文详细分析了随机早期检测RED拥塞控制机制算法的思想,阐述了RED的不足,提出了一种改进的动态自适应算法D-RED。该算法设置一个平均队列大小的目标值,在实时平均队列大小小于目标值和大于目标值时使最大丢包概率动态地减去和加上一个通过数学方法推导出的同路由器上一次丢包概率有关的值,以达到更好地控制网络拥塞的目的。 利用NS2设计多组仿真实验对RED和D-RED性能进行比较,通过对吞吐量、延迟、振荡、丢包率等多项性能指标分析和比较表明,D-RED算法相对于RED算法使网络丢包率降低了 15.7%,网络吞吐量提高了9.44%,而且能够在一定程度上保护TCP数据流,使其得到公平的网络资源。

    基于OPNET的多播网络仿真平台的设计与实现
    程文青 张燕 余江
    2007, 29(5): 50-53. doi:
    摘要 ( 380 )   PDF (265KB) ( 476 )     

    随着高带宽消耗多媒体业务的层出不穷,多播这种有效利用了有限带宽资源的传输方式越来越引起人们的重视。在多播发展的过程中涌现出了许多新算法、新方案,研究者迫  切需要一个方便、高效的平台来对这些算法和方案进行测试和评估。本文利用OPNET设计并实现了一个基于离散事件驱动的多播网络仿真平台,该平台提供了对这些算法和方  案更为真实可靠、经济有效的测试手段,大大减少了网络建设中的盲目性以及投资风险,对促进多播技术的研究有极大的推动作用。

    一种密集通道多协议传输技术的硬件设计与实现
    汪明辉[1] 黄金锋[2] 陈一骄[2] 陈曙辉[2]
    2007, 29(5): 54-55. doi:
    摘要 ( 444 )   PDF (174KB) ( 413 )     

    本文介绍了一种适合通道密集、多用户协议、低速率接入的广域网络互联技术,即密集通道多协议传输技术,提出了以cPOS+FPGA技术解决密集通道传输、通道无关性和模块 化多协议三大关键技术的设计方案与实现。

    一种基于USB Key的双因子身份认证与密钥交换协议
    吴永英 邓路 肖道举 陈晓苏
    2007, 29(5): 56-59. doi:
    摘要 ( 524 )   PDF (240KB) ( 528 )     

    传统的USB Key只能存储数据而无法进行复杂的加/解密运算,导致基于USB Key的认证协议存在诸多不足。本文针对含智能卡芯片的USB Key可进行加/解密运算和生成随机密钥的特点,提出了一种基于USB Key的双因子身份认证与密钥交换协议DKAKEP。该协议综合运用伪随机数验证、一次性会话密钥、AES加密算法、安全哈希算法等技术,除了可提供安全快速的身份认证与密钥交换,还具有快速更改密钥、支持多种哈希算法和无需时间同步机制的特点。 多种协议攻击,具有较强的实用性、安全性和可靠性。

    一种密集堆放的烟支计数修正方法
    曹计昌 邓祯
    2007, 29(5): 60-61. doi:
    摘要 ( 334 )   PDF (199KB) ( 300 )     

    大量密集堆放的烟支的二值截面图像中存在较多的连通区域,为其识别与计数带来了困难。基于模板匹配的方法对烟支进行识别时存在模板中心点定位偏差导致计数不准的问题,本文针对此问题提出了一种识别后的修正方法。烟支具有类圆形几何结构,因此可利用圆间位置关系理论分析烟支间的位置关系,并定义平稳态住置关系。修正的过程便
     便是使烟支的非平稳态住置关系向平稳态位置关系转化的过程。修正后的烟支图像中多计烟支被去除,可达到对计数结果进行修正的目的。

    基于FPGA的多显示模式VGA接口研究与设计
    肖炀 卿粼波 罗代升
    2007, 29(5): 62-65. doi:
    摘要 ( 373 )   PDF (238KB) ( 509 )     

    本文设计了一种基于现场可编程逻辑器件FPGA计的多显示模式VGA接口。通过设计一种全新的分频算法,使该接口能支持从VGA到SVGA多达13种显示模式,在实际利用FPGA的嵌入式系统中能替代VGA专用显示芯片,节省了计算机处理过程,加快了数据处理速度,节约了硬件成本。

    一种基于遗传算法的FFT Snake模型图像分割方法
    陈勤 刘茵 王涛
    2007, 29(5): 66-68. doi:
    摘要 ( 411 )   PDF (251KB) ( 482 )     

    本文针对Snake模型用于轮廓跟踪时存在抗噪性能差、易于从弱边界溢出的不足,对其能量函数进行改进,提出一种新的FFT Snake模型。该模型较好地解决了以上问题,并将 FFT Snake模型的解作为遗传算法的搜索空间,利用遗传算法的全局优化性能,有效地克服了Snake轮廓局部极小化的缺陷,从而可得到对目标更精确的分割。实验结果表明,该方法分割效果十分理想。

    基于凹凸特性笔顺编码的手写体数字识别方法
    罗佳 王玲
    2007, 29(5): 69-70. doi:
    摘要 ( 793 )   PDF (175KB) ( 409 )     

    针对传统的基于骨架特征识别方法具有运算量大、速度慢、对细化等预处理要求高,以及受起始点、断笔、跟踪方式影响极大等缺点,本文提出一种基于凹凸特性笔顺编码的识别方法。该方法首先计算数字图像的赋值背景场,再从中提取凹凸特性,然后根据凹凸特性进行笔顺编码,最后将编码与正则表达式表匹配。该方法不需要细化,减少了细
    细化形变可能带来的误识和拒识;也不需要搜索、拟合等复杂处理,因此简单快速,运算量小。实验表明,该方法能大大提高识别率和速度。

    反求工程中扫描曲面特征的提取
    朱根松[1,2] 周天瑞[1] 潘海鹏[1] 胡世飞[1]
    2007, 29(5): 71-72. doi:
    摘要 ( 343 )   PDF (177KB) ( 536 )     

    根据扫描曲面的定义,本文提出了一种基于点云切片数据的扫描曲面特征的提取方法。首先,由平行且过扫描面特征的切片点云数据获取扫描轨迹曲线;接着,由垂直于扫描 轨迹线的切片点云数据获得截面轮廓线;最后,由扫描轨迹曲线和截面轮廓线即可确定扫描面特征。本文算法已在UG/OPEN上实现,并用实例证明了该方法的正确性和可行性
     性。

    调整门和连线尺寸以减小串扰的拉格朗日松弛法
    张富彬[1] 何庆延[2] 彭思龙[1]
    2007, 29(5): 73-76. doi:
    摘要 ( 410 )   PDF (268KB) ( 368 )     

    本文给出了一个布线后减小串扰噪声的算法。该算法通过调整逻辑门和互连线的尺寸有效地减小了串扰噪声,在减小噪声的同时约束电路的最大延时,使得在串扰噪声和时序都满足约束的条件下最小化芯片面积。算法保证了改变逻辑门和线网尺寸不会破坏电路的时序约束。实验结果证明,本算法有效地减小了串扰。此算法不需回到布线阶段来优
    优化串扰,减少了设计迭代次数,加快了设计收敛时间。

    用表驱动算法在GCC中优化实现指数函数
    杨灿群 王锋 彭林 杨学军
    2007, 29(5): 77-80. doi:
    摘要 ( 403 )   PDF (253KB) ( 647 )     

    科学计算中的许多领域都需要快速而精确地计算超越函数,即exp、log、sin、tan等此类函数。本文采用表驱动算法,结合IA-64体系结构特点,在GCC中优化实现了指数函数(exp),提高了GCC编译器在IA-64系统上的浮点性能,为在IA-64和其它平台上高效实现所有超越函数打下了基础。

    带杂交算子的蚁群算法求解动态网络中的最短路径问题
    陈立潮 刘佳 吕亚男
    2007, 29(5): 81-82. doi:
    摘要 ( 371 )   PDF (188KB) ( 436 )     

    动态网络与传统的网络模型相比更具有现实意义,具有广泛的应用领域。本文对动态网络模型进行了描述,用实例证明了著名的Dijkstra算法在动态网络中不能有效地求解最短路径问题,提出了一种用带杂交算子的蚁群算法来求解动态网络最短路径问题的新算法。此算法不仅能够以较大的概率找到最优解而且对网络没有任何约束条件,即对离散
    散和连续的动态网络模型都有效,而且用实例证明了算法的稳定性。

    基于安全远程口令和公钥体制的Kerberos改进算法
    胡迎松 徐鹏
    2007, 29(5): 83-85. doi:
    摘要 ( 360 )   PDF (254KB) ( 409 )     

    首先使用改进SRP实现加密的私钥下载,最后通过解密的私钥进行数据签名及认证。在此基础上,还给出了改进算法的安全性和时间性能分析。

    一种实现偏序约束条件下的序列模式挖掘算法
    任家东 宗俊省 李志国
    2007, 29(5): 86-89. doi:
    摘要 ( 401 )   PDF (223KB) ( 406 )     

    在序列模式挖掘应用中,约束是非常重要的。本文提出了一种新的约束一偏序约束,允许事务之间的间隔可以是无穷大。但是,本文间隔约束中事务之间的间隔只能是整数,所以可以把偏序约束看成是间隔约束的扩展。针对这个问题,提出了一种新颖的算法SPM(Sequential Pattern Maintenance,简称SPM)算法来解决偏序约束,采用含蓄分割  割技术把不满足偏序约束的数据序列分割出去,充分利用已挖掘出来的信息来解决由于数据序列数目变小使得支持度值变小的复杂情况。实验表明,SPM算法能够快速可扩展
    地挖掘出所有满足约束的频繁序列模式。

    针对ALM结构FPGA的改进工艺映射算法研究
    王列伟 杨全胜 王健
    2007, 29(5): 90-93. doi:
    摘要 ( 356 )   PDF (248KB) ( 378 )     

    本文分析了已有的工艺映射算法对新型ALM结构FPGA的不适应性,提出了针对ALM结构FPGA工艺映射的改进算法。该算法主要包括预处理、DAG图分解算法、黑盒边界处理三个 部分。

    BM串匹配算法的一个改进算法
    王建国[1] 郑家恒[2]
    2007, 29(5): 94-95. doi:
    摘要 ( 337 )   PDF (174KB) ( 1106 )     

    在BM算法的基础上,本文提出了改进的算-IMBM算法。该算法有以下重要特点:(1)有效地减少了字符重复比较与样本的移动次数,提高了算法的匹配效率;(2)在串的匹  配问题中有较广泛的用途。

    多层服务器集群容量规划启发方法研究
    王玉峰[1,2] 王怀民[2] 刘必欣[2]
    2007, 29(5): 96-98. doi:
    摘要 ( 370 )   PDF (182KB) ( 414 )     

    本文研究了多层服务器集群系统的容量规划问题,提出以吞吐优化为目标的增量式服务器资源配置算法SHISA.该方法基于闭环排队网络模型求解系统的稳态性能指标,利用请求 队列长度、资源利用率及有效响应时间等启发信息指导服务器的增量配置过程.对不同启发信息下算法的求解能力进行了敏感性分析.

    基于Swarm的经济仿真方法研究
    翁鸣
    2007, 29(5): 99-100. doi:
    摘要 ( 346 )   PDF (201KB) ( 547 )     

    Swarm是基于CAS理论的一种重要仿真工具,在多个领域得到应用。本文阐述了利用自下而上的思想建模的方法,讨论了基于Swarm的经济仿真实现中的若干关键技术,指出计 算机仿真将成为经济学研究的重要手段之一。

    信号与系统仿真通用框架的设计与实现
    谢军[1] 黎永健[2]
    2007, 29(5): 101-104. doi:
    摘要 ( 318 )   PDF (261KB) ( 322 )     

    本文提出了信号与系统仿真的一个通用框架,该框架充分考虑了系统的可扩展性和可重用性,并用几个Java类对核心模块的一些关键算法进行了设计和封装。然后设计了采样 定理仿真的实例。仿真结果表明,在这个框架的基础上实现的信号与系统仿真结构清晰,简单易行,效果显著。最后,进一步说明了框架的应用。

    软件维护成熟度模型的应用探讨
    张海梅 贲可荣
    2007, 29(5): 105-108. doi:
    摘要 ( 404 )   PDF (244KB) ( 546 )     

    SM^mm(软件维护成熟度模型)是软件维护过程管理和控制的系统方法,它为软件维护过程的改进提供了指南,为组织的维护能力评估提供了依据。本文对比CMMi总结了SM^mm 的体系结构和应用领域,对模型的五级结构、内容和不同成熟度等级间的关系,以及各成熟度等级的行为特征进行了描述,指出了该模型尚存在的一些问题,提出了进行概要要剪裁与详细剪裁应遵循的一般规则。

    一种基于S.M.A.R.T的保障RAID数据高可靠性的方法
    刘景宁 饶国林 冯丹
    2007, 29(5): 109-111. doi:
    摘要 ( 314 )   PDF (174KB) ( 428 )     

    本文介绍一种采用S.M.A.R.T技术提高RAID数据可靠性的方法.阐述了S.M.A.R.T技术在RAID系统中的实现,给出了保障RAID数据高可靠性的执行流程,并且针对该方法进行了可靠性分析.分析结果表明了该方法的有效性.

    基于领域本体的语义相似度计算研究
    黄果 周竹荣 周亭
    2007, 29(5): 112-117. doi:
    摘要 ( 400 )   PDF (352KB) ( 440 )     

    本文介绍了有关本体的知识以及在领域本体参照下三种语义相似度的计算模型,并针对这三种计算模型的优缺点和领域本体所特有的性质提出了一种改进的基于领域本体的语 义相似度计算模型.该计算模型的基本思想是:以基于距离的计算模型为基础,把概念的信息内容和概念的属性作为两个决策因子.实验结果表明,该方法能够比较准确地反映概
      念之间的语义关系,为概念之间的语义关系提供一种有效的量化.

    基于消息反演的动态工作流引擎的研究与实现
    陈传波 孔雄飞
    2007, 29(5): 118-119. doi:
    摘要 ( 333 )   PDF (197KB) ( 286 )     

    本文提出了一种基于消息的动态工作流引擎的实现方式.该方式通过定义任务项的等价关系,由消息触发反演计算.该反演计算以结点-状态路由算法N-S实现基于能力的任务项 的动态路由,使工作流引擎对流程实例进行动态流转,从而整个活动结点的负载能保持相对平衡,提高了流转的效率.

    基于AOP技术的通用线程监控平台的研究与实现
    张瞩熹[1,2] 郭长国[1,2] 苑洪亮[2] 王怀民[2]
    2007, 29(5): 120-122. doi:
    摘要 ( 351 )   PDF (300KB) ( 351 )     

    在传统的OOP编程中,由于需求空间是N维而实现空间是一维的,导致了软件开发中横切关注点的代码纠缠问题,严重影响了软件的质量.作为OOP的补充,AOP很好地解决了横切关注点带来的问题,提供了核心关注点和横切关注点互相分离的解决方案.本文从具体工程中开发线程监控这一需求所暴露的问题出发,提出了为什么需要AOP编程;然后着重讨论 如何通过AOP技术解决这一问题,提出并实现了基于AOP技术的通用线程监控平台.该平台可以在不手工改变系统源代码的情况下通过工具植入系统内部,实现对运行线程信息的监视、对指定线程运行速度的变换和对整个系统运行行为的控制.

    ASCruiser:一个P2P实时流媒体服务监控系统
    石柯 高峻 涂旭平
    2007, 29(5): 123-125. doi:
    摘要 ( 458 )   PDF (171KB) ( 394 )     

    监控是P2P系统的一个重要组成部分。本文设计了一个用于实时流媒体服务的监控系统,它采用邻近原则构建一个控制层次树对监控数据进行分散采集、逐层汇总,具有扩展 性能好、网络开销小等特点,并实现了对Anysee++系统的监控。

    EH*p: 一种使用奇偶编码的高可用可扩展分布式数据结构
    沈亢伟 王于同
    2007, 29(5): 126-129. doi:
    摘要 ( 438 )   PDF (255KB) ( 268 )     

    EH*p是一种使用奇偶编码对数据进行备份的高可用可扩展分布式数据结构.EH*p文件可以随着记录的插入而逐渐扩展到多台服务器上,并可在单服务器故障时自动对丢失的数据进行恢复.EH*p采用数据桶满后立即分裂的扩展方法,直接把记录关键字映射到服务器地址,并且把数据桶的分裂和恢复操作分配给系统中的各服务器,克服了LH*类数据结
     构的不足之处.实验显示,该结构的备份数据的存储消耗较小,而且单次查询所花费的消息数接近理论最小值2.

    基于UPnP的数字家庭研究
    张群哲[1,2] 吴庆波[2]
    2007, 29(5): 130-134. doi:
    摘要 ( 336 )   PDF (333KB) ( 483 )     

    UPnP技术是现代数字家庭技术中得到广泛支持、最有发展前途的一种,主要用于实现设备的智能互联互通.本文研究了UPnP的协议栈和工作过程,通过联网微机来模拟UPnP设备,  建立了一个基于UPnP的媒体播放原型系统,并对其性能进行了分析研究.

    一种移动实时事务调度策略
    李国微 殷小尧
    2007, 29(5): 135-137. doi:
    摘要 ( 350 )   PDF (165KB) ( 313 )     

    支持无线网络断接和提高实时事务的成功率是移动计算环境下实时事务处理要解决的两个主要问题。本文首先提出了一个优先级分配策略,它考虑了无线网络断接性;然后提 出了一个冲突事务定义,它减小了事务冲突的概率;最后给出一个基于此的避免冲突的事务调度策略,它使事务调度和并发控制高度集成,降低了系统的事务管理开销,提高
     高了事务成功率。

    布尔函数的复杂系数及其应用
    孙兵[1] 李超[1,2] 李清玲[1]
    2007, 29(5): 138-140. doi:
    摘要 ( 420 )   PDF (169KB) ( 542 )     

    本文利用线性复杂度相关理论,给出了布尔函数复杂系数的定义:得出任何布尔函数的线性复杂度均等于这个函数的复杂系数;给出了一种快速求解布尔函数多项式表示的算法;研究了Bent函数的线性复杂度特点,利用布尔函数的复杂系数,得出布尔函数为Bent函数的一个必要条件。

    一种SIMD优化中的向量寄存器部分重用方法
    钱兴隆 臧斌宇 朱传琪
    2007, 29(5): 141-146. doi:
    摘要 ( 398 )   PDF (334KB) ( 387 )     

    SIMD架构用于多媒体加速,已经广泛应用于现代通用处理器中.SIMD架构的数据并行性可大大提高处理器的运算能力,但由于存储系统的速度远远不能与其匹配,使得应用程序的性能很难获得进一步的提高.因此,本文基于SIMD架构的访存特性,提出了一种向量寄存器部分重用的方法,以提高访存效率;并给出了相应的程序转换算法,通过数据相关性的分
    分析,在应用程序向量化时,生成采用向量寄存器部分重用的优化代码.实验结果说明,该算法对多媒体应用程序的性能有显著的提高.

    RTEMS嵌入式系统中的软件容错设计
    张靓[1] 刘光明[2]
    2007, 29(5): 147-151. doi:
    摘要 ( 385 )   PDF (381KB) ( 496 )     

    为了提高嵌入式系统在恶劣环境下的可靠性,除了在硬件上采用诸如双机冷备份之类的容错方案外,在实时操作系统级提供软件容错处理功能既可以减小硬件资源开销,又可以在不影响系统工作效率的前提下明显提高系统的容错纠错能力.本文针对RTEMS实时操作系统缺乏软件容错支持功能的不足,在操作系统级设计了一套两级软件容错的方案,提高了嵌入式系统的可靠性.