计算机系统结构

维普资讯 http://www.cqvip.com ２００８年第ｌ４卷第１４期　中国学术期刊文摘　１９７　建立起能够定量表示的不确定性转换模型，发展不确定性人工　智能；要利用现实生活中复杂网络的小世界模型和无尺度特　性，把网络拓扑作为知识表示的一种新方法，研究网络拓扑的　演化与网络动力学行为，研究网络化了的智能，从而适应信息　时代数据挖掘的普遍要求，迎接人工智能科学与应用新的辉　煌．参４（张嫣茹）　关键词：人工智能；不确定性人工智能：认知物理学：数据场；　云模型；网络化智能　０８１４１３８３　５２０・２０　基于信息检索方法的统计翻译系统训练数据选择与优化＝　Ｃｏｒｐｕｓ　ｓｅｌｅｃｔｉｏｎ　ａｎｄ　ｏｐｔｉｍｉｚａｔｉｏｎ　ｆｏｒ　ｓｔａｔｉｓｔｉｃａｌ　ｍａｃｈｉｎｅ　ｆｉａｎｓｌａ—　ｔｉｏｎ　ｓｙｓｔｅｍ　ｂａｓｅｄ　ｏｎ　ｉｎｆｏｒｍａｔｉｏｎ　ｒｅｔｒｉｅｖａｌ　ｍｅｔｈｏｄ［刊，中］／黄瑾　（中国科学院计算技术研究所，北京１０００８０），吕雅娟，刘群∥　中文信息学报．一２ｏ０８，２２（２）．－－－４０￣４６　双语平行语料库是构造高质量统计机器翻译系统的重要基础．　与传统的通过扩大双语平行语料库规模来提高翻译质量的策　略不同，旨在尽可能地挖掘现有资源的潜力来提高统计机器翻　译的性能．提出了一种基于信息检索模型的统计机器翻译训Ｉ　练数据选择与优化方法，通过选择现有训练数据资源中与待翻　译文本相似的句子组成训练子集，可在不增加计算资源的情况　下获得与使用全部数据相当甚至更优的机器翻译结果．通过　将选择出的数据子集加入原始训练数据中优化训练数据的分　布可进一步提高机器翻译的质量．实验证明，该方法对于有效　利用现有数据资源提高统计机器翻译性能有很好的效果．图１　表８参ｌ５　关键词：人工智能；机器翻译：统计机器翻译：平行语料库；　信息检索；数据选择　０８１４１３８４　５２０・３０计算机系统结构　基于身份别名的加入辅助认证方的［ＢＥ方案＝ＩＤ　ａｌｉａｓ［ＢＥ　ｓｃｈｅｍｅ　ｗｉｈｔ　ａ　ｔｒｕｓｔｅｄ　ｈｔｉｒｄ　ｐａｒｔｙ［刊，中］／胡德斌（吉林大学计　算机科学与技术学院，长春１３００１２），王金玲，于孟涛，林宇，　胡亮∥吉林大学学报（工学版）．一２００８，３８（２）．—４ｌ９～４２２　用户如何向ＰＫＧ证明自己的身份以及ＰＫＧ如何安全地将用户　的私钥送到用户的手中是［ＢＥ系统面临的两大技术问题．通过　加入辅助认证方（ＴＡ）的方式实现信任转移，解决密钥托管的问　题．用户的私钥由用户和ＰＫＧ共同产生，通过引入身份别名，　方便了私钥更新．分析表明，该方案在保证安全性的同时，解　决了部署［ＢＥ系统所遇到的问题，明显扩大了ＩＢＥ系统的可应用　范围．图２参ｌ０　关键词：计算机系统结构：［ＢＥ；别名；私钥产生器：加密　０８１４１３８５　５２０・３０　一种新的Ｍｅｓｈ网络漫游接入协议＝Ｎｅｗ　ａｕｔｈｅｎｔｉｃａｔｉｏｎ　ｐｒｏｔｏｃｏｌ　ｏｆ　ｒｏａｍｉｎｇ　ｏｆｒ　ｗｉｒｅｌｅｓｓ　Ｍｅｓｈ　ｎｅｔｗｏｒｋ［刊，中］／杨超（西安电子　科技大学计算机学院，西安７１００７１），曹春杰，王巍，马建峰∥　吉林大学学报（工学版）．一２ｏ０８，３８（２）．—４２３～４２８　针对无线Ｍｅｓｈ网络现有接入认证协议不能满足节点漫游对性　能和身份保护需求的问题，基于“通用可组合”安全模型的组　合特性与匿名技术，采用将身份与归属域分开处理的方式，设　计了一种满足漫游特殊要求——身份保护和认证时延的接入　认证协议，该协议不仅具有可证明的安全性和必需的安全性　质，而且通信效率优于原有协议．图２表２参９　关键词：计算机系统结构；Ｍｅｓｈ网络；漫游；身份保护；可证　明安全　０８１４１３８６　５２０・３０　一种新的业务过程管理模型＝Ａ　ｎｅｗ　ｂｕｓｉｎｅｓｓ　ｐｒｏｃｅｓｓ　ｍａｎａｇｅ—　ｍｅｎｔ　ｍｏｄｅｌ［刊，中］／李向宁（西安电子科技大学电子装备结构　教育部重点实验室，西安７１００７１），郝克刚，赵克∥计算机学报．　一２ｏ０８，３１（１）．一１０４～ｌｌ１　通过对工作流本质的探讨和对Ｗｆｌ￣ＣＩ作流参考模型的分析，　提出了在分解业务过程控制逻辑与应用逻辑的基础上，进一步　将控制逻辑分解为路由逻辑与资源管理逻辑的思想．提出了　描述资源管理逻辑的资源管理模型．基于资源管理模型提出　一种新的过程管理模型ＢＲＭ，给出了基于ＢＲＭ的业务过程管　理系统的系统框架和功能模块．与Ｗｆｌ￣ＣＩ作流参考模型的对　比表明：ＢＲＭ模块更清晰，柔性更突出，分解粒度更小．图５　参６　关键词：工作流；业务过程管理；过程模型；资源管理　０８１４１３８７　５２０・３０　基于运动趋势的自适应垂直切换算法及其性能评价＝Ａ　ｍｏｖｅ—　ｍｅｎｔ　ｆｉｅｎｄ　ｂａｓｅｄ　ｓｅｌｆ－ａｄａｐｔｉｖｅ　ｖｅｒｔｉｃａｌ　ｈａｎｄｏｆｆ　ａｌｇｏｒｉｔｈｍ　ａｎｄ　ｉｔｓ　ｐｅｒｆｏｒｍａｎｃｅ　ｅｖａｌｕａｔｉｏｎ［刊，中］／刘敏（中国科学院计算技术研　究所，北京１０００８０），李忠诚，过晓冰，郑坤∥计算机学报．一　２００８，３１（１）．一ｌｌ２～ｌ１９　采用不同的无线接入技术的多种网络的融合可以提高无线传　输性能，为移动用户提供随时随地的网络连接．垂直切换是异　构无线网络相互融合的基础．在垂直切换过程中，切换判定是　一个非常重要的环节，直接决定切换性能．文中给出了常用的　迟滞电平算法和驻留定时器算法中切换判定条件的形式化表　达，并对其进行了性能分析．在此基础上，提出了一种自适应　的垂直切换算法，通过分析节点的运动趋势，自适应地调节切　换触发条件，有效提高垂直切换性能．所涉及的运算均为初等　计算，算法简单，适用于低能量、低运算能力的移动设备．仿　真实验表明，该算法的综合性能优于迟滞电平算法和驻留定时　器算法．图５参ｌ８　关键词：异构无线网；垂直切换；水平切换；无线局域网；无　线广域网　０８１４１３８８　５２０・３０　无线传感器网络中节点非均匀分布的能量空洞问题＝Ｔｈｅ　ｅｎ—　ｅｒｇｙ　ｈｏｌｅ　ｐｒｏｂｌｅｍ　ｏｆ　ｎｏｎｕｎｉｆｏｒｍ　ｎｏｄｅ　ｄｉｓｔｒｉｂｕｔｉｏｎ　ｉｎ　ｗｉｒｅｌｅｓｓ　ｓｅｎｓｏｒ　ｎｅｔｗｏｒｋｓ［刊，中］／吴小兵（南京大学软件新技术国家重　点实验室，南京２１００９３），陈贵海∥计算机学报．一２ｏ０８，３ｌ（２）．　一２５３～２６ｌ　节点非均匀分布策略能缓解无线传感器网络中的能量空洞问　题．从理论上探讨这种策略，证明在节点非均匀分布的圆形网　络中，如果节点持续向Ｓｉｎｋ节点发送数据，能量空洞现象将无　法避免，而当节点数目满足一定关系时，网络中能够实现次优　能耗均衡．提出一种节点非均匀分布策略及相应的路由算法　用于实现这种次优能耗均衡．模拟结果显示网络生存周期终　止时，处于网络内部的节点几乎达到了能耗均衡．图６表１参１３　关键词：无线传感器网络：能量空洞；节点非均匀分布　０８１４１３８９　５２０・３０　Ａｄ　ｈｏｃ网络寻路阶段的合作激励机制研究＝Ｓｔｕｄｙ　ｏｎ　ｃｏｏｐｅｒａ—　ｔｉｏｎ　ｓｔｉｍｕｌａｔｉｏｎ　ｍｅｃｈａｎｉｓｍ　ｉｎ　ｒｏｕｔｅ　ｄｉｓｃｏｖｅｒｙ　ｏｆ　Ａｄ　ｈｏｃ　ｎｅｔｗｏｒｋｓ　［刊，中］／黄蕾（中国科学院软件研究所综合信息系统技术国家　级重点实验室，北京１０００８０），刘立祥∥计算机学报．一２ｏ０８，　３　１（２）．－２６２￣２６９　如何激励属于不同利益最大化实体的自私节点合作是当前Ａｄ　ｈｏｃ网络研究中的一个热点问题．现有的自私节点检测和激励　机制主要针对数据传输阶段，不能适应寻路阶段的特点．文中　基于邻居节点中继和生成的路由请求包之间的统计关系，提出　了一种适用于按需路由协议寻路阶段的自私行为检测和惩罚　机制，并利用博弈论工具将其建模为噪声环境下的重复囚徒困　境博弈，对算法激励合作的有效性进行分析．理论分析和仿真　结果显示，该算法能够有效地惩罚寻路中的自私行为，促进节　维普资讯 http://www.cqvip.com １９８　Ｃｈｉｎｅｓｅ　Ｓｃｉｅｎｃｅ　Ａｂｓｔｒａｃｔ（Ｃｈｉｎｅｓｅ　Ｅｄｉｔｉｏｎ）　２００８Ｖｏ１．１４，Ｎｏ．１４　点合作．图３表２参２０　关键词：Ａｄｈｏｃ网络；路由；自私检测；合作激励；博弈论　０８１４１３９０　５２０・３０　一种基于推荐证据的有效抗攻击Ｐ２Ｐ网络信任模型＝Ａ　ｎｅｗ　ｔｒｕｓｔ　ｍｏｄｅｌ　ｂａｓｅｄ　ｏｎ　ｒｅｃｏｍｍｅｎｄａｔｉｏｎ　ｅｖｉｄｅｎｃｅ　ｆｏｒ　Ｐ２Ｐ　ｎｅｔｗｏｒｋｓ　［刊，中］／田春岐（同济大学嵌入式系统与服务计算教育部重点　实验室，上海２０１８０４），邹仕洪，王文东，程时端∥计算机学报．　一２０ｏ８，３１（２）．一２７０～２８１　提出一种基于推荐证据的对等网络（Ｐｅｅｒ－ｔｏ．Ｐｅｅｒ，Ｐ２Ｐ）信任模型　ＲＥＴＭ（Ｒｅｃｏｍｍｅｎｄａｔｉｏｎ　Ｅｖｉｄｅｎｃｅ　ｂａｓｅｄ　Ｔｒｕｓｔ　Ｍｏｄｅｌ　ｆｏｒ　Ｐ２Ｐ　ｎｅｔｗｏｒｋｓ），解决了基于推荐的信任模型中普遍存在的在汇聚推　荐信息时无法处理不确定性信息以及强行组合矛盾推荐信息　引起的性能下降问题，同时，ＲＥＴＭ采取推荐证据预处理措施，　在合成之前有效过滤了无用的以及误导性的推荐信息，使得该　模型具有一定的抗攻击性能．在推荐信息的查找问题上，　ＲＥＴＭ提出了基于反馈信息的概率查找算法，该算法在降低了　网络带宽开销的情况下，提高了信息查询的准确率．实验证明　ＲＥＴＭ较已有的信任机制在系统成功交易率、模型的安全性等　问题上有较大改进．图８表２参２４　关键词：Ｄ—Ｓ证据合成规则；对等网；信任；信誉；局部信任　度　０８１４１３９１　５２０・３０　基于逆向分层的网格工作流调度算法＝Ｂｏｔｔｏｍ　ｌｅｖｅｌ　ｂａｓｅｄ　ｈｅｕｒｉｓｉｔｃ　ｏｆｒ　ｗｏｒｋｆｌｏｗ　ｓｃｈｅｄｕｌｉｎｇ　ｉｎ　ｇｒｉｄｓ［刊，中］／苑迎春（东南　大学计算机科学与工程学院，南京２１００９６），李小平，王茜，张　毅∥计算机学报．一２０ｏ８，３１（２）．一２８２～２９ｏ　有向无环图ＤＡＧ（Ｄｉｒｅｃｔｅｄ　Ａｃｒｙｌｉｃ　Ｇｒａｐｈ）描述的工作流时间费　用优化问题是计算网格下一个基本的且难以求解的问题．通　过分析ＤＡＧ图中活动的并行和同步完成特征，采取由后向前方　法将活动逆向分层（Ｂｏｔｔｏｍ　Ｌｅｖｅｌ，ＢＬ），将工作流截止期转化　为层截止时间，提出截止期约束的逆向分层费用优化算法ＤＢＬ　（Ｄｅａｄｌｉｎｅ　Ｂｏｔｔｏｍ　Ｌｅｖｅ１）．算法中同层活动的开始时间不同于　ＤＴＬ（Ｄｅａｄｌｉｎｅ　Ｔｏｐ　ｅＬｖｅ１）算法中设置相同的策略，而是分别由　其前驱活动确定，时间浮差被平均分配到各分层，以尽量增大　活动的费用优化区间．通过大量模拟实验将ＤＢＬ和ＭＣＰ　（ｍｉｎｉｍｕｍ　Ｃｒｉｉｔｃａｌ　Ｐａｔｈ）、ＤＴＬ两算法比较，结果表明ＤＴＬ将ＭＣＰ　的平均费用降低１５．６２％，而ＤＢＬ将ＭＣＰ的平均费用降低　２４．７４％．最后讨论了截止期和分组参数对算法性能的影响．　图３表４参１７　关键词：计算网格；工作流；有向无环图；启发式算法；逆向　分层　８０１４１３９２　５２０・３０　Ｐｅｔｒｉ网的一类禁止状态问题的混合型监控器算法设计＝　Ｃｏｍｂｉｎｅｄ　ｓｕｐｅｒｖｉｓｏｒ　ｓｙｎｔｈｅｓｉｓ　ｆｏｒ　ａ　ｃｌａｓｓ　ｏｆ　ｆｏｒｂｉｄｄｅｎ　ｓｔａｔｅ　ｐｒｏｂ—　ｌｅｍｓ　ｉｎ　Ｐｅｔｒｉ　ｎｅｔｓ［刊，中］／罗继亮（华侨大学信息学院，泉州　３６加２１）∥计算机学报．一２０ｏ８，３１（２）．－２９１￣２９８　针对广义互斥约束下Ｐｅｔｒｉ网的不可控影响子网为状态机的一　类禁止状态问题，给出了观测器的设计方法，并基于观测器得　到了求解最大允许控制策略的算法．利用观测器将广义互斥　约束简化为单禁止库所约束，并将存在不可控变迁的问题简化　为相当于变迁全部可控的问题，有效地解决了不可控变迁带来　的计算复杂性问题．最后，利用一个地铁交通调度示例验证和　说明该监控器设计方法．图１参１５　关键词：Ｐｅｔｒｉ网；离散事件系统；监控；禁止状态：混合型监　控器　８０１４１３９３　５２０・３０　一种基于活跃周期的低端口数低能耗寄存器堆设计＝Ａｃｔｉｖｅ—　ｃｙｃｌｅ　ｂａｓｅｄ　ｒｅｇｉｓｔｅｒ　ｉｆｌｅ　ｄｅｓｉｇｎ　ｏｆｒ　ｒｅｄｕｃｅｄ　ｐｏｒｔｓ　ａｎｄ　ｅｎｅｒｇｙ［刊，　中］／赵雨来（北京大学信息科学技术学院，北京１００８７１），李险　峰，佟冬，孙含欣，陈杰，程旭∥计算机学报．一２０ｏ８，３１（２）．一　２９９～３０８　多端口寄存器堆有助于挖掘指令级和线程级并行性，但同时带　来面积、能耗和访问时间的压力．面向超标量和ＳＭＴ处理器，　给出了一种方法，即通过增加一个小的活跃值堆（Ａｃｔｉｖｅ　Ｖａｌｕｅ　Ｆｉｌｅ，ＡＶＦ）选择性地保存处于活跃周期（从产生到最后一次使用　之间）的物理寄存器值．ＡＶＦ结构可分担主寄存器堆的访问压　力并降低端口数目，实现简单且具有写过滤的特点．在获得较　大幅度能耗降低的同时不影响时钟频率且ＩＰＣ损失较小．图１１　表４参１７　关键词：物理寄存器堆：寄存器重命名；寄存器生命周期：乱　序执行；ＳＭＴ　０８１４１３９４　５２０・３０　使用取指策略控制同时多线程处理器中个体线程的性能＝　Ｕｓｉｎｇ　ｉｎｓｔｒｕｃｔｉｏｎ　ｆｅｔｃｈ　ｐｏｌｉｃｙ　ｔｏ　ｃｏｎｔｒｏｌ　ｐｅｒｆｏｒｍａｎｃｅ　ｏｆ　ａ　ｔｈｒｅａｄ　ｉｎ　ＳＭＴ　ｐｒｏｃｅｓｓｏｒｓ［刊，中］／孙彩霞（国防科学技术大学计算机　学院，长沙４１００７３），张民选∥计算机学报．一２０ｏ８，３ｌ（２）．一　３０９～３１７　当前，对同时多线程（Ｓｉｍｕｌｔａｎｅｏｕｓ　Ｍｕｌｔｉｔｈｒｅａｄｉｎｇ，ＳＭＴ）处理　器取指策略的研究大都集中在总体性能的优化上．文中提出　一种新颖的ＳＭＴ处理器取指策略（Ｃｏｎｔｒｏｌｌｉｎｇ　Ｐｅｒｆｏｒｍａｎｃｅ　ｏｆ　Ｉｎｄｉｖｉｄｕａｌ　Ｔｈｒｅａｄ，ＣＰＩＴ），用于控制个体线程的执行．结果表　明，对于模拟的所有负载，ＣＰＩＴ在９４％以上的情况下都能保证　受控线程获得期望性能．而对于失败的情况，受控线程的平均　性能偏差不超过１．２５％．此外，ＣＰＩＴ策略对处理器总体性能的　影响并不大．与ＩＣＯＵＮＴ这种以优化性能为目标的取指策略相　比，总体性能的平均降低不超过３％，而除受控线程外的其他线　程的性能平均只降低了１．７５％．图５表４参ｌ３　关键词：同时多线程；取指策略；性能；资源分配；期望性能　０８１４１３９５　５２０・３０　一个基于微处理器功能模型的可靠度评估系统＝Ａ　ｄｅｐｅｎｄａｂｉｌｉｔｙ　ｅｖａｌｕａｔｉｏｎ　ｓｙｓｔｅｍ　ｂａｓｅｄ　ｏｎ　ｍｉｃｒｏｐｒｏｃｅｓｓｏｒ　ｆｕｎｃｔｉｏｎ　ｍｏｄｅｌ［刊，　中］／张仕健（中国科学院计算技术研究所计算机系统结构重点　实验室，北京１０００８０），许彤，章隆兵，胡伟武∥计算机学报．一　２００８，３１（３）．一３９１～３９９　随着以嵌入式微处理器为核心的容错系统在航空、航天、核电　等高可靠领域的广泛应用，如何迅速、方便、低成本地评估这　些系统中的容错机制是一个重要的问题．传统的可靠度评估　方法需要一个详细的硬件原型才能进行评估，周期长、成本高，　因此提出了一个基于微处理器功能模型的可靠度评估技术，构　建了一个纯软件的可靠度评估系统．和已有的系统相比，该系　统评估周期短、控制方便、成本低廉．使用该系统评估软件实　现的指令冗余技术、软件实现的断言技术和硬件实现的重复取　指执行技术的实验结果表明，该系统的评估是合理的．图７表５　参２１　关键词：故障注入；可靠度评估；容错技术；微处理器：瞬态　故障　０８１４１３９６　５２０・３０　ＥＨＳＴＣＰ：改进的高速ＴＣＰ算法＝ＥＨＳＴＣＰ：Ｅｎｈａｎｃｅｄ　ＴＣＰ　ｉｎ　ｈｉｇｈ—ｓｐｅｅｄ　ｎｅｔｗｏｒｋｓ［刊，中］／龙承念（燕山大学电气工程学院　网络控制与生物信息研究中心，秦皇岛０６６００４），杨会龙，李欣，　关新平∥计算机学报．一２０ｏ８，３１（３）．—４４０～４４９　ＴＣＰ在高带宽时延积网络中不能获得良好的性能，主要表现为　低的吞吐量和大的窗口震荡．ＨＳＴＣＰ算法解决了传统ＴＣＰ算法　在高带宽时延积网络下的性能瓶颈，但ＨＳＴＣＰ在拥塞点时会产　维普资讯 http://www.cqvip.com ２００８年第１４卷第１４期　中国学术期刊文摘　１９９　生大量的数据包丢失，同时当队列管理为去尾算法时，存在着　严重的Ｒ１’ｒ不公平性问题．针对ＨＳＴＣＰ算法的性能缺陷，该文　提出一种在拥塞避免阶段进行拥塞避免模式切换的改进算法，　称为ＥＨＳＴＣＰ．基于拥塞窗口历史值的端到端可用带宽预测方　法，利用拥塞窗口历史信息来判断拥塞避免切换点．同时引入　Ｒ１’ｒ公平因子，消除了ＨＳＴＣＰ的ＲＴＴ不公平性问题．ＮＳ２仿真　实验验证了算法的有效性．图６表４参２３　关键词：ＨＳＴＣＰ；拥塞控制；ＴＣＰ；包丢失；ＫＩＴ不公平性　０８１４１３９７　５２０・３０　一种具有信元保序能力的Ｃｌｏｓ网络分布式调度算法＝Ａ　ｄｉｓ－　ｔｒｉｂｕｔｅｄ　ｓｃｈｅｄｕｌｉｎｇ　ａｌｇｏｒｉｔｈｍ　ｍａｉｎｔａｉｎｉｎｇ　ｃｅｌｌｓ　ｏｒｄｅｒ　ｆｏｒ　ｔｈｒｅｅ－　ｓｔａｇｅ　Ｃｌｏｓ　ｎｅｔｗｏｒｋｓ［刊，中］／杨君Ｉ￣ｌｊ（西安电子科技大学综合　业务网国家重点实验室，西安７１００７１），鲍民权，刘增基，邱智　亮，赵瑞琴，石增增∥计算机学报．一２００８，３１（３）．—４６７～４７５　分组交换三级Ｃｌｏｓ网络信元调度算法可分为集中式和分布式两　种实现方式．分布式调度具有良好的可扩展性，适于在高速大　容量环境中应用．然而由于分布式调度会带来同一分组各个　信元间的乱序问题，给其实现带来困难．该文提出了一种具有　信元保序能力的三级Ｃｌｏｓ网络分布式调度算法．该算法包括第　一级的均匀负载分配、中间级的并行调度和第三级的按序输出　调度三部分．对算法的性能进行了严格的理论证明和相关的　仿真分析，表明该算法可以很好地解决传统分布式调度中的信　元乱序问题，具有良好的性价比．图６参１５　关键词：三级Ｃｌｏｓ网络；分布式控制；调度算法；信元保序　０８１４１３９８　５２０・３０　移动自组网中感知拓扑失配的Ｐ２Ｐ覆盖网构建＝Ｃｏｎｓｔｒｕｃｔｉｏｎ　ｏｆ　ｔｏｐｏｌｏｇｙ　ｍｉｓｍａｔｃｈｉｎｇ　ａｗａｒｅ　Ｐ２Ｐ　ｏｖｅｒｌａｙｓ　ｉｎ　ｍｏｂｉｌｅ　Ａｄ　Ｈｏｃ　ｎｅｔｗｏｒｋｓ［刊，中］／黄宇（中国科学技术大学计算机科学与技术　系，合肥２３００２７），金蓓弘∥小型微型计算机系统．一２００８，２９（３）．　一３８５～３９Ｏ　对等计算主要关注构造在应用层的虚拟覆盖网络．在上层的　覆盖网络和底层的物理网络之间，通常都存在着拓扑失配．这　种失配会导致Ｐ２Ｐ应用耗费相当大的通信开销．在移动自组　网中，由于资源（比如带宽，电池能量等）和节点移动性的限制，　拓扑失配问题变得更加严重．而已有工作对这一问题没有进　行充分的研究．研究了移动自组网中的拓扑失配问题对非结　构化Ｐ２Ｐ覆盖网中目标搜索的影响，并提出一个分布式的、能　感知拓扑失配的覆盖网络构建算法Ｄ．ＴＡＯＣ．分析和实验表明　在Ｄ．ＴＡＯＣ构建的拓扑失配感知的覆盖网中，Ｐ２Ｐ应用能够在　较少牺牲目标搜索效率的前提下，明显地降低网络中的通信负　载．图１５表１参１８（王丽丽）　关键词：对等计算；移动自组网；覆盖网；拓扑失配　Ｏ８１４１３９９　５２０・３０　一种通用的分布式网络流量监测点优化部署模型＝Ｕｎｉｖｅｒｓａｌ　ｍｏｄｅｌ　ｆｏｒ　ｏｐｔｉｍａｌ　ｄｅｐｌｏｙｍｅｎｔ　ｏｆ　ｎｅｔｗｏｒｋ　ｆｌｏｗ　ｍｏｎｉｔｏｒｓ［刊，　中］／张进（解放军信息工程学院国家数字交换系统工程技术研　究中心，郑＇￣Ｈ４５０００２），张晖，邬江兴∥小型微型计算机系统．一　２００８，２９（３）．－３９７￣４０１　针对分布式网络流量监测中的监测点优化部署（Ｏｐｔｉｍａｌ　Ｄｅ．　￣ｏｙｍｅｎｔｏｆＨｏｗＭｏｎｉｔｏｒｓ，ＯＤＦＭ）问题，提出了一种可扩展的　通用模型．　模型采用链路流量抽样比作为决策变量，决策变量　的数目和网络规模之间存在线性关系，因而具备很好的可扩展　性；模型定义了监测代价函数和监测收益函数，以适应不同的　监测任务的需求，比现有模型具备更强的通用性．提出了求解　该模型的两步近似算法和遗传算法．仿真实验的结果表明，与　两步近似算法相比，遗传算法具有更强的稳定性和更好的性　能．模型求解的结果表明，在网络中不多于２０％链路上部署监　测点，即可获得不少于８０％的监测收益．表３参ｌｌ（王丽丽）　关键词：流量监测；优化部署；遗传算法　０８１４１４００　５２０・３０　一种基于结构化Ｐ２Ｐ系统的数据部署算法＝Ｄａｔａ　ａｌｌｏｃａｔｉｏｎ　ｌａｇｏｒｉｔｈｍ　ｂａｓｅｄ　ｏｎ　ｔｈｅ　ｓｔｒｕｃｔｕｒｄｅ　ｐｅｅｒ－ｔｏ－ｐｅｅｒ　ｓｙｓｔｅｍ［刊，中］／　程新策（中国科学技术大学自动化系，合肥２３００２７），李俊，王　嵩∥小型微型计算机系统．一２００８，２９（３）．－－－４０２￣４０５　基于Ｐ２Ｐ技术的文件共享系统是目前Ｐ２Ｐ技术的一个重要研究　领域．论文针对一种特殊的Ｐ２Ｐ文件共享系统，即系统中的每　个节点是可控存储的，提出一种新颖的基于时延统计信息的结　构化方案，在此基础上，提出了一种区域自治的数据部署算法．　最后通过理论和试验分析，证明了该结构化方案和数据部署算　法是合理高效的并且具有很好的可扩展性．图３表１参７（王丽　丽）　关键词：可控存储；结构化Ｐ２Ｐ系统；数据部署：自治域：时　延　Ｏ８１４１４Ｏ１　５２０・３０　ＳＩＰ协议测试方法和测试工具的研究＝Ｒｅｓｅａｒｃｈ　ｏｎ　ＳＩＰ　ｐｒｏｔｃｏｏｌ　ｔｅｓｔｉｎｇ　ａｎｄｔｅｓｉｔｎｇ　ｔｏｏｌｓ［刊，中］／林浒（中国科学院沈阳计算技　术研究所，沈阳１１０００４），王阳，雷为民，于东海，杜玲∥小型　微型计算机系统．一２００８，２９（３）．—４０６￣４１０　介绍ＳＩＰ性能测试领域的一些技术背景，包括在测试中使用的　性能评价标准以及测试方案．在对ＳＩＰ性能测试方法和测试工　具综合研究的基础上，设计一种新的测试工具的工作模式以及　媒体流的传输机制，使得这种测试工具能够支持大量的媒体流　并发的测试，并且突破了对于媒体源进行编解码的难点，提出　一种新的解决方案．ＳＩＰ性能测试工具可以为被测系统提供全　面准确的性能测试结果，提高了测试结果的可信度．图４表５参　１０（王丽丽）　关键词：ＳＩＰ；ＳＩＰ性能测试；测试工具；ＳＩＰ协议测试　Ｏ８１４１４Ｏ２　５２０・３０　基于动态家乡代理的ＮＥＭＯ路由优化＝Ｒｏｕｔｅ　ｏｐｔｉｉｍｚａｔｉｏｎ　ｂａｓｅｄ　ｏｎ　ｄｙｎａｍｉｃ　ｈｏｍｅ　ａｇｅｎｔ　ｉｎ　ＮＥＭＯ［刊，中］／石东海（国防　科学技术大学电子科学与工程学院，长沙４１００７３），唐朝京，张　尔扬∥浙江大学学报（工学版）．—２００８，４２（２）．一３４４～３４８　为了实现网络移动性（ＮＥＭＯ）中的路由优化，在ＭＩＩ，／　框　架的基础上设计了一个动态家乡代理路由优化方案．当移动　式网络进入外地网络时，申请一个动态家乡代理为每个移动式　网络节点分配一个新的动态家乡地址，并将该地址作为移动式　网络节点对外连接的源地址．通过建立移动路由器与动态家　乡代理之间的注册协议，实现了移动式网络的基本数据传输模　型．对动态家乡代理方案与基于家乡代理注册的返回路由可　达（ＲＲ）方案中的网络控制消息和数据传输消息进行了比较分　析与仿真，并提出了判决函数用于选择动态家乡代理方案．仿　真结果表明，提出的动态家乡代理方案较基于家乡代理的ＲＲ　方案在网络损耗和注册延迟等网络性能方面有很大的改善．　图６参８（钱欣平）　关键词：网络移动性；路由优化；ＲＲ机制；动态家乡代理　８０１４１４０３　５２０・４０计算机软件　开放式网络环境下的上下文敏感的信任管理＝Ｃｏｎｔｅｘｔ．ａｗａｒｅ　ｔｒｕｓｔ　ｍａｎａｇｅｍｅｎｔ　ｏｆｒ　ｏｐｅｎ　ｎｅｔｗｏｒｋ　ｅｎｖｉｒｏｎｍｅｎｔ［刊，中］／王勇　（北京理工大学软件学院，北京１０００８１），李明，崔灵果，胡晶　晶，张龙飞∥北京理工大学学报．一２００８，２８（３）．－２２２￣２２５　为了更准确地反映出开放式网络环境下实体行为的不确定性　和动态性，提出一种基于贝叶斯网络的信任管理方案．该方案　显式地加入了上下文信息，并使用一种统计学方法推算出上下　文信息对实体行为的影响因子．采用一种上下文间的信任度