计算机学报杂志 北大期刊 CSCD期刊 统计源期刊

计算机学报 2004年第08期杂志 文档列表

计算机学报杂志研究论文与技术报告

支持时间无关激活的分布对象中间件异步模型1009-1015

摘要：时间无关的异步激活方式对于大规模分布式应用、移动应用和企业应用集成都具有重要意义.目前的分布对象中间件虽然支持回调和轮询两种异步机制,但是都不支持时间无关的异步激活方式.针对这一问题,本文基于国防科学技术大学计算机学院在分布对象中间件Starbus平台异步模型方面的研究成果,提出了一种新的异步模型RAAM(Router Agent based Asynchronous Model),该模型能够支持消息的异步传递和时间无关的激活方式,同时对消息的服务质量提供了很好的支持.在自主研发的分布计算平台Starbus异步子系统中实现了RAAM模型,并与相关工作进行了比较.

面向口语翻译的双语语块自动识别1016-1020

摘要：语块识别是实现'基于语块处理方法'的基础.目前,针对单语语块的研究成果已有很多,但机器翻译更需要双语相关的语块分析.该文根据口语翻译的实际需要,提出了'双语语块'的概念.并在此基础上,实现了一种针对并行语料库进行双语语块自动识别的新方法.该方法将统计和规则相结合,可同时保证双语语块的语义特性和句法规范.通过在一个6万句的旅馆预定领域口语语料库中的实验可以看出,该方法对汉英并行语料的双语语块识别正确率可达到80%左右.

基于三角和代数多项式的T-Bézier曲线1021-1026

摘要：该文从Γn=span{1,t,t2,t3,…,tn-4,sint,cost,sin2t,cos2t}中提取出名为T-Bézier的一组基,分析了该组基的性质,并由该组基定义了T-Bézier曲线,同时证明了许多有实际应用价值的曲线(如代数曲线和超越曲线)可以用T-Bézier曲线的形式精确表示.

视频镜头时域分割方法的研究1027-1035

摘要：视频时域分割指将视频序列分成若干镜头,是视频内容分析以及基于内容的视频浏览和检索的第一步.该文首先对视频结构以及视频镜头种类进行了简要的描述,然后对为计算不连续性而采用的提取特征和建立测量准则的常用方法进行概述.其后,文章介绍了检测镜头切变和渐变的算法及其优缺点.在压缩域上检测镜头变换边界的问题也在文中予以分析.在结论与展望中,提出了一些这一领域的难点和对今后工作的展望.

无双语词典的英汉词对齐1036-1045

摘要：该文提出了一种基于语料库的无双语词典的英汉词对齐模型.它把自然语言的句子形式化地表示为集合,通过集合的交运算和差运算实现单词对齐,同时还考虑了词序和重复词的影响.该模型不仅能对齐高频单词,而且能对齐低频单词,对未登录词和汉语分词错误具有兼容能力. 该模型几乎不需要任何语言学知识和语言学资源,使语料库方法可独立应用.实验表明,同质语料规模越大,词对齐的正确率和召回率越高.

基于直线光流场的三维运动和结构重建1046-1055

摘要：利用直线间运动对应关系,将像素点光流的概念和定义方法应用于直线,提出了直线光流的概念,建立了求解空间物体运动参数的线性方程组,利用三幅图像21条直线的光流场,可以求得物体运动的12个参数以及空间直线坐标.但是在实际应用当中,要找出这21条直线的光流场是很困难的,因此该文提出了运用解非线性方程组的方法,只需要6条直线的光流,就可以分步求出物体的12个运动参数,并根据求得的12个运动参数和一致的图像坐标系中的直线坐标,求得空间直线的坐标,从而实现了三维场景的重建.

基于可变形模型及区域流向分析的等高线自适应矢量化算法1056-1063

摘要：等高线的矢量化一直是地形图自动识别的难点之一.该文对目前图纸矢量化算法进行了总结分析,根据等高线本身所具有的特征,结合人眼对等高线跟踪提取的特点,提出可变形模型跟踪矢量化算法.算法通过初始种子段的生成、可变内力控制及区域流向分析,直接在原地形图上实现等高线的自动矢量化及断点、粘连点的处理.实验证明该方法行之有效且具有很好的稳定性.

无线多媒体网络中端到端自适应QoS保证1064-1073

摘要：无线网络中较高的信道误码率和不稳定的可用带宽等因素给多媒体传输服务质量(QoS)保证带来了新的挑战.该文提出了一种基于二级反馈的两层自适应QoS保证方法,即应用层QoS和传输层QoS,提出了将应用层的最小流速率λmin和最大帧错误率Emax两个QoS参数映射到传输层的最大端到端帧延迟Dmax的计算公式.在应用层提出了自适应节的系统资源的分配公式、自适应QoS调节算法A和算法B.在传输层提出了保证端到端帧延迟Dmax的包长计算公式,给出了自适应包长调节算法.

一种新的网络业务流的多重分形小波模型1074-1082

摘要：针对当前Internet上日益复杂的网络业务流和视频流,文章提出了一种新的多重分形小波模型.与普通的多重分形小波模型(Multifractal Wavelet Model, MWM)不同的是,该文提出的新模型在各个时间尺度上对小波系数都依据源数据尺度系数的边缘分布作了修正,这样确保新模型能在不同的时间尺度上拟合源数据的分布.决定网络业务流的排队分析特性的是一个关键时间尺度(Critical Time Scale, CTS),CTS是随着缓冲区的容量和节点传输速率的变化而变化的,该文提出的模型能描述几乎各个时间尺度的业务流特性,因此能适应各种不同情况的缓冲区的排队分析.同时,新模型也继承了传统MWM的一些优良特性,比如能描述业务流的多重分形特征以及能确保最终结果始终是非负等等.最后通过对视频业务流和网络业务流的仿真实验与排队分析验证了该模型的有效性.

计算机学报杂志学术活动

《计算机学报》“面向服务的架构、服务虚拟化技术和最终用户编程”专题征稿启事1082-1082

计算机学报杂志研究论文与技术报告

采用规划识别理论预测系统调用序列中的入侵企图1083-1091

摘要：规划识别是一种根据观察数据识别和推断被观察对象目的或意图的预测理论.在计算机系统入侵检测研究中,为了提前预测出异常事件的发生,提出了一种基于规划识别理论的入侵企图预测方法.通过对主机上的系统调用序列为观察对象建立预测模型,提出了一种带参数补偿的贝叶斯网络动态更新算法,对观察对象的目的进行预测.实验结果表明动态贝叶斯网络对预测系统调用序列中的异常入侵企图有较高的精度.

计算机学报杂志学术活动

2005年智能计算及其应用国际研讨会通知1091-1091

计算机学报杂志研究论文与技术报告

对话管理中基于槽特征有限状态自动机的方法研究1092-1101

摘要：对话系统的研究已经成为人机交互技术发展的新热点,而对话管理则是其中最重要的组成部分.该文在当前对话管理的各种实现方法的基础上,提出了一种基于槽特征的自动机设计方法,其中应用了状态压缩和状态集、动作集的子空间划分,并着重以确认过程为例,阐述了确认策略控制函数及其对对话过程的影响.文中还提出了一种树形的意图分层结构,并将这种分层结构应用于主题检测与主题切换,成功解决了多主题对话系统的主题切换问题.最后,实验表明该文提出的设计方案在策略控制、主题检测与主题切换等方面具有较好性能,同时也具有一定扩展性.

η-one-class问题和η-outlier及其LP学习算法1102-1108

摘要：用SVM方法研究one-class和outlier问题.在将one-class问题理解为一种函数估计问题的基础上,作者首次定义了η -one-class和η -outlier问题的泛化错误,进而定义了线性可分性和边缘,得到了求解one-class问题的最大边缘、软边缘和ν -软边缘算法.这些学习算法具有统计学习理论依据并可归结为求解线性规划问题.算法的实现采用与boosting类似的思路.实验结果表明该文的算法是有实际意义的.

逻辑推理与算术运算合并系统的理论分析1109-1114

摘要：提出一个逻辑推理与算术运算合并系统的形式定义,通过合并算子把逻辑推理合并到算术系统中,使得在需要解决逻辑推理中的数值计算时,直接把问题转化为纯算术系统中的运算;文章对该形式系统作了理论上的分析,考察了合并系统的语法描述和语义解释,对其中的合并算子进行了定义和讨论,证明了该系统的可靠性与完备性.由于该系统基于一阶逻辑,所以比Ohlbach和Koehler提出的基于集合的系统[1]适用性更大.

Camenisch群签名方案的改进和成员废除1115-1120

摘要：如何缩短群签名的长度以及如何安全有效废除群成员是阻碍群签名走向实用的两个主要问题.该文对Camenisch群签名方案进行改进,通过缩短其所用知识签名的长度,达到缩短签名长度的目的,所提出的改进方案使签名由原来的2n+4元组缩短为n+5元组,长度缩短了近一半.同时利用公钥状态列表和可信时戳提出一个前向安全的高效群成员废除方案,这个方案的提出纠正了不能用证书撤销列表废除群成员的观点.该文还考虑了后加入成员的超前签名问题,所提出的成员废除方案能防止超前签名.

DCR置信度评估方案1121-1128

摘要：指令间的控制相关对处理器性能的影响比数据相关带来的影响更为严重.虽然转移预测能够提高处理器的性能,但不同转移指令的可预测性是不同的.置信度评估方案可被用来评测转移预测方案的可信度,该文利用误预测集群性,设计了DCR(Decrease Constant or Reset)置信度评估方案.仿真结果表明,DCR方案相对文献中的JRS方案和MDC方案,否定测试的预测值PVN分别提高29.5%和42.19%;特异性值SPEC分别提高0.53%和151.8%,从而更适合在多线程处理器的双路径执行时使用.最后,该文讨论参数变化对DCR方案性能的影响.

适合机群OpenMP系统的制导扩展1129-1136

摘要：OpenMP以其易用性和支持增量并行的特点成为共享存储体系结构的编程标准.机群OpenMP系统在机群上实现了OpenMP计算环境,它将OpenMP的易编程性和机群的可扩展性结合起来,是很有意义的.OpenMP的编程方式主要有循环级和SPMD两种,其中循环级方式易于编程而SPMD方式难于编程.然而在机群OpenMP系统中获得高性能OpenMP程序,必需采用SPMD方式.该文描述了适合机群OpenMP系统的一个简单的OpenMP制导扩展子集(包括数据分布制导、循环调度模式),并在机群OpenMP系统OpenMP/JIAJIA上进行了实现.应用测试表明,利用这些制导扩展进行编程,既保持循环级方式的易编程性又获得与SPMD方式相当的性能,是有效的编程方式.