计算机研究与发展杂志 北大期刊 CSCD期刊 统计源期刊

计算机研究与发展 2004年第01期杂志 文档列表

演化门限ARMA模型方法与应用1-8

摘要：在工程实践中,有许多非线性现象,例如极限环现象、共振跳跃现象、幅频依赖现象等,这些现象实质上是不同非线性系统所表现出的不同特征.门限自回归模型(TARMA)具有很强的通用性,能解释上述非线性现象,并具有一定物理意义的特点,广泛地应用于时间序列建模.针对非线性ARMA模型,提出了演化TARMA算法.该算法克服了传统的H.Tong、D.D.C、局部区间搜索等方法一些缺陷,能自动识别模型所属类型(线性还是非线性)、模型的阶数、模型的相关参数(门限区间参数、门限参数及相应的ARMA模型参数)等.实验结果表明,该方法是高效的、全局的、自适应的、鲁棒的.并且,由于随机性的存在使得所建模型很丰富,便于决策者从中选取合适的模型进行时间序列分析和物理解释,从而显示了其自动化的一面.

基于最小序句子的上下文无关语言句子枚举9-14

摘要：形式规约获取系统SAQ和一些形式化验证系统中常常需要枚举上下文无关语言的句子,现有的枚举方法较少且效率较低.以上下文无关语言.L(G).的最小序句子和最大序句子为基础,从最小序句子开始按照一定的顺序扫描字符串,直至扫描到最大序句子为止,对被扫描的字符串进行判断取舍.在扫描的过程中采用削减和前瞻策略,很大程度上减少了被扫描的字符串个数,可以取得较好的时空性能.实验数据表明,基于最小序句子的枚举方法比其他上下文无关语言句子枚举方法具有更高的效率.

一种基于PID反馈控制的分时调度算法15-21

摘要：近年来,在实时操作系统的研究中,已开始将反馈控制融入操作系统的任务调度.将这一想法与分时操作系统相结合,提出一种基于PID反馈控制的分时调度算法.它能根据任务对CPU带宽的个性化需求,并考虑开放的分时系统中CPU占用率的不确定动态变化特性,动态地分配CPU带宽,使CPU对任务集的处理效果始终处于最佳状态.性能分析实验结果表明,它不仅兼容传统的分时调度架构,还具有良好的动态、静态特性及鲁棒性,且引入的调度费用较低.

IA-64中软件流水的寄存器需求研究22-27

摘要：软件流水是开发循环程序指令级并行性的重要方法之一. IA-64是支持软件流水的EPIC体系结构.通过对NAS Benchmarks中可软件流水循环所需的寄存器进行量化分析,提出了一种限制循环展开因子的启发式算法,有效地解决了因可用寄存器不足而导致软件流水失败的问题,并提高了应用程序的执行速度.

基于类型注解的认证编译器设计与实现28-33

摘要：基于类型注解的认证编译器是安全策略系统的核心部件,它不仅能够用C语言的类型安全子集编写的程序编译成优化的Intel x86/linux汇编语言程序,而且还可以根据类型安全策略的要求产生带注解的汇编程序.实验结果表明,新设计的认证编译器可实现:①类型安全的C语言子集的编译;②许多标准的局部优化;③可以对数组运行时越界操作进行检查.由于安全策略系统的证明是建立在含注解的代码基础之上的,因此,该认证编译器在移动代码安全检查中非常有用.

影子模式：一种新的用于测试的设计模式34-40

摘要：介绍了一种新的设计模式:用于测试面向对象程序的影子模式.它为每个使用它的对象生成一个影子对象.这种模式允许测试脚本无缝地嵌入到程序中,无需额外的测试驱动或测试插件.在测试过程中,测试用例可以调用影子对象作为测试插件,也可以调用真实的应用代码,测试脚本可以在运行时做出选择.这些概念将在模块测试和集成测试中分别举例说明.

Linux操作系统网络软件时延的研究41-46

摘要：Linux操作系统在高性能计算环境、机群系统、高性能安全网关等方面日益发挥着重要作用,因此,了解和掌握Linux操作系统的网络软件性能具有重要意义.利用Netslice--一种自动分析网络软件时延的工具,对Linux操作系统的网络软件时延进行深入和全面的测评与分析.实验发现,在发送同样大小的数据包时,网络软件的接收时延远远大于发送时延.进一步的研究指出,非对齐数据的拷贝和上下文切换是造成接收额外开销的主要原因.实验同时指出,Linux和FreeBSD操作系统的网络软件具有相同的性能.

ACP——一种基于局部邮区的移动agent通信算法47-52

摘要：agent的迁移在位置透明性、通信可靠性以及迁移和执行的异步性等多方面对通信算法的设计提出了挑战.提出一种基于局部邮区的移动agent通信算法,通过在agent当前通信和迁移活动较集中的区域建立局部邮区来支持消息的高效传输,且通过对邮区迁移和消息发送的同步来保证通信的可靠性.此外,算法支持通信的位置透明性,对Home结点依赖少,对agent迁移不做限制,且具有较好的适应性和容错性.

无线网络TCP研究综述53-59

摘要：如果把标准TCP直接应用于3种无线网络模型(蜂窝网络、Ad hoc网络和卫星网络),由于其不能够区分丢包的原因,可能会错误地启动拥塞控制,导致性能下降.分析了3种无线网络模型中影响TCP性能的因素,指出为减轻这些因素造成的负面影响所必须增加的一些额外技术,总结了提高无线网络TCP性能的一些方法并对这些方法进行了比较和分类,指明了无线网络TCP的研究方向.

高速路由器并行交换技术研究60-64

摘要：提出一种基于低速输入缓存交叉开关的并行交换结构PSIQC(parallel switch based on input-queued crossbars),该结构不但具有很好的性价比和可扩展性,而且易于实现.为解决PSIQC中负载均衡分配和报文不乱序这两个关键问题,还提出RRDS(round robin and deterministic sequence)算法,该算法实现简单,能保证同一条流的报文顺序不变,而且没有增加额外的传输开销.模拟结果显示,RRDS算法能够将负载均匀地分配到各交叉开关,系统吞吐率和平均信元延时与相同容量的集中式交换开关基本相当,可满足实际应用需要.

蜂窝网络中依概率环状搜索移动性管理策略65-70

摘要：位置管理是移动通信领域的一个具有挑战性的问题,涉及到位置更新和位置查找操作.在现行蜂窝系统的位置管理策略(简称基本策略)中,一旦移动台越区(越过位置区边界),就需要进行位置更新.由于移动台的越区具有局部性,基本策略会造成系统资源的极大浪费.因此,降低位置管理的费用成为移动通信领域的一个研究热点.给出了不需要进行位置更新的、根据移动台访问位置区的概率进行环状搜索的位置管理策略(简称依概率环状策略),并推导出搜索位置区平均层数的一个公式,然后利用这一公式对基本策略与依概率环状策略的费用进行了对比研究,得出在一定条件下,依概率环状策略的费用比基本策略小这一结论.

WebCom：一个基于Web技术的计算网格入口工具包71-78

摘要：以西安交通大学校园网格计算环境建设为背景,分析了网格入口的概念和基本技术,设计并实现了一个基于Web技术的计算网格入口工具包--WebCom,它给计算网格系统用户提供了访问网格系统资源的良好交互界面、一致的使用模式和'傻瓜式'的使用方法,从而解决了网格系统使用复杂的问题. WebCom在设计和实现中充分考虑了系统的安全性、透明性、好用性、完备性等特点,并进行了测试,给出了测试结果和评价,为今后同类系统的设计、开发和实现提供了一个详细的参考模型.

一种改进的椭圆曲线离散对数快速冗余算法79-82

摘要：提高点倍乘的运算效率是椭圆曲线密码体制得以广泛应用的基础.在大数的二进制序列中引入-1,构成等价的二进制冗余序列,可使序列中0的个数增加,从而使得大数倍乘中加法运算减少.提出了一种新的椭圆曲线离散对数快速冗余算法.算法针对大数的二进制冗余序列,给出了新的合理构建,消除序列转换中不必要的步骤.分析表明,新算法显著减少了倍乘的运算,效率明显提高.

确保服务中一种基于动态阈值的数据包标记算法83-91

摘要：确保转发过程中带宽享用的公平性问题一直是区分服务网络研究的热点.影响这种公平性的因素包括回路响应时间RTT、数据包大小、目标速率及聚流中包含的单流数量等.确保服务的实现依赖于在边界路由器执行的数据包标记策略和在核心路由器执行的队列管理策略.基于动态阈值的数据包标记策略DTBM的目的就是处理异质的TCP流之间带宽享用的公平性问题.DTBM通过测量局部吞吐量来调整标记算法中的阈值,以改变不同颜色的标记概率从而达到公平带宽享用的目的. DTBM的主要优点在于其实现简单、对参数不是很敏感并且对端结点主机是"透明"的.仿真实验表明,和其他几种标记算法相比,DTBM能有效地消除上述因素的影响,具有更好的公平性.

一种保证各流量共享瓶颈带宽的队列管理机制92-97

摘要：随着Internet网规模的扩大,保证其应有的服务质量是网络性能研究的前沿课题.因带宽问题而造成的数据包丢失是网络服务质量的一个重要方面.总结了近10年来RED队列管理机制的各种改进方法,同时从随机排队模型出发对RED机制做了一定的性能分析,并针对它的并不能完全保证各流量共享瓶颈带宽做了称之为New_RED队列管理机制的改进.最后通过利用网络仿真工具对RED队列管理和New_RED队列管理这两种机制进行了比较:New_RED队列管理更能有效地保证各连接流量共享瓶颈带宽,而不至于在瓶颈链路上大量丢失具有拥塞控制的数据包(例如FTP流量).

加速评估算法：一种提高Web结构挖掘质量的新方法98-103

摘要：利用Web结构挖掘可以找到Web上的高质量网页,它大大地提高了搜索引擎的检索精度.目前的Web结构挖掘算法是通过统计链接到每个页面的超链接的数量和源结点的质量对页面进行评估,基于统计链接数目的算法存在一个严重缺陷:页面评价两极分化.一些传统的高质量页面经常出现在Web检索结果的前面,而Web上新加入的高质量页面很难被用户找到.提出了加速评估算法以克服现有Web超链接分析中的不足,并通过搜索引擎平台对算法进行了测试和验证.

基于多自主智能体的群体动画创作104-110

摘要：群体动画一直是计算机动画界一个具有挑战性的研究方向.提出了一个基于多自主智能体的群体动画创作框架:群体中的各角色作为自主智能体,能感知环境信息,产生意图,规划行为,最后通过运动系统产生运动来完成行为和实现意图.与传统的角色运动生成机理不同,首先采用运动捕获系统建立基本运动库,然后通过运动编辑技术对基本运动进行处理以最终得到角色运动.应用本技术,动画师只需"拍摄"角色群体的运动就能创作群体动画,极大地提高了制作效率.

基于反馈日志分析的图像检索相关反馈方法111-117

摘要：基于内容的图像检索是多媒体数据库研究的重要内容之一.近年来,采用用户相关反馈方法提高检索效率的研究已成为新的热点.用户相关反馈是一种交互式的渐进过程,如何提高反馈效率,减少交互次数是该技术面临的主要问题.提出一种通过对相关反馈历史数据进行在线分析从而加快反馈过程的新方法.对10000幅图像数据库的实验表明,与传统相关反馈技术相比,新方法对检索效果有明显改善.