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

π-网的强互模拟等价

作者：曹木亮; 吴智铭 刊期：2005年第01期

该文建立了π-网的强互模拟等价关系,对π-网的结构作了进一步的研究.π-网是一类新型的基于π-演算语义的模块化高级Petri网,是对两类并发模型Petri网和π-演算的有效结合,它的并发语义既是"真正并发"的又是"交互"的.π-网的强互模拟等价是针对π-网的交互性并发语义的,是基于π-网的标号操作语义规则,并直接用π-网作为计算单元来实现的互模拟计算,使得...

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

刊期：2005年第01期

多项式光滑的支撑向量机

作者：袁玉波; 严杰; 徐成贤 刊期：2005年第01期

数据分类问题是数据挖掘研究的一个热门课题.它是根据对数据样本集合建模,得到最优的分类器,从而可以对未知数据进行分类.支撑向量机是二分类问题的一个分类模型,模型的结果表现为支撑向量.Lee和Mangasarian在2001年提出了使用Sigmoid函数的积分函数作光滑的支撑向量机模型SSVM.该文研究了用多项式函数作光滑的支撑向量机(PSSVM)模型,并提出了两...

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

作者：娄震; 金忠; 杨静宇 刊期：2005年第01期

后验概率估计是模式识别多分类器组合方法研究的基础,该文提出了最近邻距离分类器后验概率估计的类条件置信变换方法. 后验概率被认为集中在最近邻类与次近邻类上,而且对每一个模式类,都有一个类条件置信变换函数,该函数可以通过实验数据估计得到.实验采用Concordia大学CENPARMI手写体数字数据库与南京理工大学手写体数字数据库.实验结果表明该...

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

作者：何宏; 李建东; 盛敏; 李维英 刊期：2005年第01期

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

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

作者：黎波涛; 罗军舟 刊期：2005年第01期

Zhou和Gollmann于1996年提出了一个简单有效的公平不可否认协议,但Kim等人后来发现该协议不具有时限性并提出了一个改进方案.虽然他们的改进解决了协议的时限性问题,但却高度依赖于各实体间时间的一致性,实现时需要在各实体间加入时钟同步机制,致使协议实现困难、低效.该文引入一种新的同步机制,并用它改进了Zhou-Gollmann的不可否认协议.新的改...

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

作者：王佰玲; 方滨兴; 云晓春 刊期：2005年第01期

根据零拷贝思想,实现了一种高性能的报文捕获平台(High-Performance Packet Capture Platform,HPPCP).通过实现网络接口设备直接将数据报文以DMA方式存储到应用程序可以访问的地址空间,避免数据报文在内核态里传输时的内存操作,缩短了数据报文的行走路径;通过环策略管理数据报文缓冲区,实现了网卡和应用程序能够无冲突访问共享资源.这两点有效地...

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

作者：赵波; 吴成柯 刊期：2005年第01期

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

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

作者：冯结青; 赵豫红; 万华根; 郭建民; 金小刚; 彭群生 刊期：2005年第01期

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

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

作者：刘世光; 王章野; 王长波; 彭群生 刊期：2005年第01期

太空场景及航天器动态飞行场景的真实感生成是计算机图形学研究者面临的新课题.该文提出了一种航天器飞行场景生成的新方法.该方法首先基于天文学的依巴谷星表,采用了基于图像的建模绘制及层次细节简化等技术加速绘制,准确地构造并绘制出不同时刻、不同观察点的地球外星空背景随时间的动态变化;再根据天体物理学原理确定出航天器的飞行轨迹,由此...

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

作者：蒋素荣; 王国瑾 刊期：2005年第01期

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

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

刊期：2005年第01期

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

作者：林琳; 蒋昌俊 刊期：2005年第01期

交通信息系统(TIS)是目前世界各国交通运输领域竞相研究和开发的热点.它是一种复杂的服务性系统,具有典型的业务过程特点,但目前用工作流来分析交通信息系统的研究尚不多见,更很少有人对该系统中的一些实时性服务进行时序分析,提出优化方案.该文将广义随机Petri网与工作流相结合,首先为TIS建立符合工作流概念的广义随机Petri网模型.然后根据实际...

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

作者：周寿军; 陈武凡; 王涌天 刊期：2005年第01期

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

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

刊期：2005年第01期