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

计算机学报 2005年第01期杂志 文档列表

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

π-网的强互模拟等价1-8

摘要：该文建立了π-网的强互模拟等价关系,对π-网的结构作了进一步的研究.π-网是一类新型的基于π-演算语义的模块化高级Petri网,是对两类并发模型Petri网和π-演算的有效结合,它的并发语义既是"真正并发"的又是"交互"的.π-网的强互模拟等价是针对π-网的交互性并发语义的,是基于π-网的标号操作语义规则,并直接用π-网作为计算单元来实现的互模拟计算,使得π-网的行为能够从动态和静态两方面得到考察.该文证明了对于任意的一个π-网N,都存在一个π-进程P,在π-网与π-演算系统等价映射Ψ下,Ψ(N)与N是强互模拟的这一重要的结论.

计算机学报杂志学术活动

第十次全国Petri网学术年会暨形式化方法学术讨论会征文通知8-8

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

多项式光滑的支撑向量机9-17

摘要：数据分类问题是数据挖掘研究的一个热门课题.它是根据对数据样本集合建模,得到最优的分类器,从而可以对未知数据进行分类.支撑向量机是二分类问题的一个分类模型,模型的结果表现为支撑向量.Lee和Mangasarian在2001年提出了使用Sigmoid函数的积分函数作光滑的支撑向量机模型SSVM.该文研究了用多项式函数作光滑的支撑向量机(PSSVM)模型,并提出了两个用于光滑多项式的函数.根据模型特点,应用BFGS方法以及Newton Armijo 方法进行求解,数值实验结果表明PSSVM模型在分类性能上优于SSVM模型.

基于类条件置信变换的后验概率估计方法18-24

摘要：后验概率估计是模式识别多分类器组合方法研究的基础,该文提出了最近邻距离分类器后验概率估计的类条件置信变换方法. 后验概率被认为集中在最近邻类与次近邻类上,而且对每一个模式类,都有一个类条件置信变换函数,该函数可以通过实验数据估计得到.实验采用Concordia大学CENPARMI手写体数字数据库与南京理工大学手写体数字数据库.实验结果表明该文所提出的类条件置信变换方法是合理的,在降低识别错误率上,优于现有的投票法、记分法、线性法以及自适应置信变换(ACT)法.

基于IEEE 802．11协议的EDCC算法研究25-34

摘要：该文对IEEE 802.11协议的DCF功能进行了研究,在分析原有的DCC算法的基础上,对其进行了改进,提出了一种增强型的DCC算法--EDCC算法.原有的DCC算法虽然能够有效地减少高负荷网络中各节点接入共享信道的碰撞次数,但其没有有效地利用高负荷网络中连续两次发送时隙利用率的相关性对时隙利用率进行平滑处理,导致对时隙利用率的估值与现实中的结果存在偏差.改进后的EDCC算法采用一维自回归滑动平均模型ARMA(α)平滑处理的方法,改进了原有DCC算法对时隙利用率估计方差较大的缺点,提高了DCC算法的性能.

Zhou—Gollmann不可否认协议的一种新的改进35-45

摘要：Zhou和Gollmann于1996年提出了一个简单有效的公平不可否认协议,但Kim等人后来发现该协议不具有时限性并提出了一个改进方案.虽然他们的改进解决了协议的时限性问题,但却高度依赖于各实体间时间的一致性,实现时需要在各实体间加入时钟同步机制,致使协议实现困难、低效.该文引入一种新的同步机制,并用它改进了Zhou-Gollmann的不可否认协议.新的改进使协议不需要时钟同步机制,还能通过使用一种称为证据链的证据管理机制使协议实现效率更高.使用SVO逻辑对改进后的协议进行形式化分析的结果表明它能提供时限性和公平性.

零拷贝报文捕获平台的研究与实现46-52

摘要：根据零拷贝思想,实现了一种高性能的报文捕获平台(High-Performance Packet Capture Platform,HPPCP).通过实现网络接口设备直接将数据报文以DMA方式存储到应用程序可以访问的地址空间,避免数据报文在内核态里传输时的内存操作,缩短了数据报文的行走路径;通过环策略管理数据报文缓冲区,实现了网卡和应用程序能够无冲突访问共享资源.这两点有效地降低了网络通信的延迟,极大地节省了CPU的开销.通过性能的分析比较表明,接收64Byte与1500Byte的报文时吞吐量分别达到90万pps (439Mbps)和8.2万pps (938Mbps),与传统的报文传输机制相比,报文捕获能力有了较为显著的提高.

一种新的低时延视频编码码速率控制算法53-59

摘要：基于DCT交流系数均方和与其变换前的像素域方差相等,该文用DCT交流系数的均方和代替像素域的方差,在视频编码的TMN8码速率控制算法中采用一种新的率模型,从而提出了一种新的TMN8码率控制算法--RC_TMN8_MSACC.这种新的算法不仅在保持性能的同时降低了运算复杂度,还具有鲁棒性好和应用范围广的特点,适用于视频转码编码中.实验表明该算法具有性能好和运算复杂度低的优点.

基于曲线和曲面控制的多边形物体变形反走样60-67

摘要：基于参数曲线和曲面控制的空间变形是重要的几何外形编辑和柔性物体动画实现手段.当这两类变形方法的对象是多边形物体时,如何对变形物体进行重采样以得到高质量结果,是计算机动画和几何造型领域中的一个重要问题.该文针对B-样条曲线和曲面控制的空间变形方法,提出了面向多边形物体的空间变形反走样方法.在该方法中,利用等距技术将B-样条曲线或曲面所张成的变形空间近似表示为张量积B-样条参数体,结合作者提出的多边形物体精确B-样条自由变形方法,实现了参数曲线和曲面控制的多边形物体变形反走样.

航天器飞行场景的真实感生成68-74

摘要：太空场景及航天器动态飞行场景的真实感生成是计算机图形学研究者面临的新课题.该文提出了一种航天器飞行场景生成的新方法.该方法首先基于天文学的依巴谷星表,采用了基于图像的建模绘制及层次细节简化等技术加速绘制,准确地构造并绘制出不同时刻、不同观察点的地球外星空背景随时间的动态变化;再根据天体物理学原理确定出航天器的飞行轨迹,由此合成产生了航天器的太空飞行场景.然后根据量子光学及等离子体辐射原理对航天器再入大气层的过程进行了建模,确定出其再入轨迹、航天器尾焰和尾迹的颜色和几何形态.最后逼真地绘制出航天器返回时穿越大气不同阶段所产生的特异尾迹形状和发光效果.

Bézier曲线到Wang—Ball曲线的转换矩阵及其应用75-80

摘要：Wang-Ball曲线作为一种广义Ball曲线已经在参数曲线求值、升降阶计算中显示出极其有效的作用.为了在几何设计中更好地发挥其作用,应当用简单的方法求出Bernstein基到Wang-Ball基的转换矩阵.该文借助于一个多项式的展开算法,给出了这个转换矩阵,即给出了Bézier曲线到Wang-Ball曲线的转换公式,并应用它简捷地推导出n次Wang-Ball曲线的中点离散公式.

计算机学报杂志学术活动

第五届全国虚拟现实与可视化学术会议（CCVRV’05）征文通知（第一轮）80-80

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

基于广义随机Petri网的交通信息系统建模与分析81-87

摘要：交通信息系统(TIS)是目前世界各国交通运输领域竞相研究和开发的热点.它是一种复杂的服务性系统,具有典型的业务过程特点,但目前用工作流来分析交通信息系统的研究尚不多见,更很少有人对该系统中的一些实时性服务进行时序分析,提出优化方案.该文将广义随机Petri网与工作流相结合,首先为TIS建立符合工作流概念的广义随机Petri网模型.然后根据实际系统中相关数据的统计分析和经验估计,利用基于行为表达式的分析方法对点播服务的时间性质进行分析,获得了一些有价值的性能指标信息.

医学图像轮廓跟踪的广义模糊粒子滤波方法88-96

摘要：在医学图像运动跟踪领域,轮廓线跟踪是描绘边缘运动的有力手段.为避免观测噪声的影响,增加轮廓的时空局部约束并利用粒子滤波(PF)技术解决该类跟踪问题是非常有效的.为更好地优化计算PF的重要比率(IR)以提高粒子滤波器的性能,该文提出了广义模糊粒子滤波(GFPF)方法,通过与当前较好的无迹粒子滤波(UPF)相比较,GFPF显示了很好的效果;另外,在似然估计方面,GFPF提供了独特的似然轮廓估计算法.理论和试验证明,GFPF不仅能够很好地解决动态轮廓跟踪问题,还为当前各种PF算法的IR计算提供了全新的解决途径.

计算机学报杂志学术活动

中国计算机学会第二届全国Web信息系统及其应用会议（WISA2005）征文通知96-96

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

基于三维多分辨率模型与Fisher线性判别的人脸识别方法97-104

摘要：提出了一种不同姿态和光照条件下的人脸识别方法,将三维多分辨率模型与Fisher线性判别结合起来.为了排除光照、姿态对人脸识别的影响,利用重采样技术构造了三维多分辨率模型,更快、更精确地提取人脸特征;同时结合Fisher线性判别,充分利用不同条件下的二维人脸图像信息,更有效地排除光照、姿态的影响.实验表明,三维多分辨率模型与Fisher线性判别相结合能够很好地适应外部条件的变化,提高了人脸识别的速度和效率.

一种新的基于特征的图像内容认证方法105-112

摘要：该文提出了一种新的基于特征的图像内容认证方法.它首先利用小波变换多尺度边缘检测方法抽取出光滑分量和边缘特征作为生成签名的图像特征集.这可以保证特征集与图像之间的一一映射关系,避免伪造攻击.然后它将光滑分量量化后生成128位的,并将边缘特征以水印方式嵌入原图.验证图像时需同时通过与摘要的对比以及与水印特征的对比来确定内容是否被篡改.实验表明,该算法可有效地检测出恶意篡改及其发生的位置,并可容忍由压缩、滤波等操作引起的失真.即使图像受一定噪声污染,它也可通过验证.

计算机学报杂志学术活动

ACM SIGCOMM Asia Workshop 2005将于2005年4月12～14日在北京举行112-112