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

基于多模态子空间相关性传递的视频语义挖掘

作者：刘亚楠 吴飞 庄越挺 刊期：2009年第01期

在视频语义信息理解和挖掘中,充分利用图像、音频和文本等多模态媒质之间的交互关联是非常重要的研究方向.考虑到视频的多模态和时序关联共生特性,提出了一种基于多模态子空间相关性传递的语义概念检测方法来挖掘视频的语义信息.该方法对所提取视频镜头的多模态底层特征,根据共生数据嵌入（co-occurrence data embedding）和相似度融合（Si mFus...

一种新的基于扩展规则的定理证明算法

作者：孙吉贵 李莹 朱兴军 吕帅 刊期：2009年第01期

基于扩展规则的定理证明方法是一种与归结方法互补的新的定理证明方法.首先通过对扩展规则的深入研究,给出了扩展规则的一个重要性质,设计并实现了该性质的判定算法.此外,从理论上分析及证明了该判定算法的时间和空间复杂性.基于此,提出了一种新的基于扩展规则的定理证明算法NER,将判定子句集可满足性问题转化为一系列文字集合的包含问题,而非计...

描述逻辑εL循环术语集的混合推理

作者：蒋运承 王驹 周生明 汤庸 刊期：2009年第01期

循环术语集是描述逻辑长期以来的研究难点,它最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader和Brandt的基础上进一步研究了描述逻辑εL循环术语集的混合推理问题.给出了εL的混合循环知识库的语法和语义（包括不动点语义和描述语义）.针对εL循环术语集混合推理的需要,提出了TBox-完全...

基于自组织动态神经网络的图像分割

作者：史春奇 施智平 刘曦 史忠植 刊期：2009年第01期

图像分割是图像处理和模式识别的重要课题,而图像特征空间聚类是图像分割的一种重要方法,认为图像的特征是图像中待分割物体表面所特有而且恒定的特征,并将图像的特征映射到某种几何空间,称为特征空间,并且假定图像中不同的待分割物体在该特征空间中呈现为不同的聚集.提出了自组织动态网络（SODNN）聚类算法,并且利用该算法对图像特征空间聚类....

基于子图的随机图点覆盖2度点核化研究

作者：黄海滨 杨路明 王建新 陈建二 李绍华 刊期：2009年第01期

点覆盖问题虽然可以在参数计算理论的架构内求精确解,但是目前在理论及应用上有一定的局限性.根据不同度的顶点之间及顶点与边的关系,提出随机图参数化点覆盖问题的d-核化可决策性及2度点三角形子图的计数方法;通过研究子图对顶点的共享关系,分析2度顶点核化过程中核及度分布演变的动态过程,得出随机图2度点核化强度与2度点概率关系及2度点核化...

广义的势支撑特征选择方法GPSFM

作者：皋军 王士同 邓赵红 刊期：2009年第01期

势支撑向量机P-SVM（potential support vector machine）作为一种新颖的封装型特征选择方法在许多领域得到了成功的运用,然而依据Fisher准则的基本原理发现势支撑向量机方法对应的目标函数只是类内离散度各类均值为0的一种特殊形式,从而使该方法的运用受到一定的限制.同时由于要求各类样本均值为0,一定程度上会导致在0矢量周围出现样本交叉,从...

kNN文本分类器类偏斜问题的一种处理对策

作者：郝秀兰 陶晓鹏 徐和祥 胡运发 刊期：2009年第01期

类偏斜问题（class i mbalance problem）是数据挖掘领域的常见问题之一,人们提出了各种策略来处理这个问题.当训练样本存在类偏斜问题时,kNN分类器会将小类中的样本错分到大类,导致分类的宏F1指标下降.针对kNN存在的这个缺陷,提出了文本训练集的临界点（critical point,CP）的概念并对其性质进行了探讨,给出了求CP,CP的下近似值LA、上近似值UA...

全国第6届智能CAD与数字娱乐（CIDE2009）学术会议征文通知

刊期：2009年第01期

采用术语定义模式和多特征的新术语及定义识别方法

作者：荀恩东 李晟 刊期：2009年第01期

新术语及其定义抽取是信息抽取的重要研究内容之一.研究结果表明,在科技文献中,一个新术语往往伴随其定义出现,通过考察,在真实文本中,术语定义存在显著的语言表述特征,从大规模真实语料库中,通过考察术语定义构成的语言学模式、定义中词汇和术语周边的统计特征,提出了以术语定义的语言学模式（LPTD）作为待识别候选新术语集,同时考虑到有关新术...

DMAMH’2009国际会议征文通知第4届数字媒体及其在博物馆和文化遗产中的应用

刊期：2009年第01期

基于混合DSm模型的多机器人地图构建

作者：李鹏 黄心汉 王敏 刊期：2009年第01期

针对多移动机器人探测静态未知环境,提出了多机器人的一类新的体系结构和机器人内部控制结构,采用分布式融合框架,引入了最近提出的一种在贝叶斯和DST扩展而来的信息融合理论DSmT,结合限制传播算法,建立了不精确传感器（声纳）的混合DSm模型,构造了基本信度赋值函数,计算每个栅格的基本信度值（gbba）,有效地融合了多个移动机器人使用声纳获取到...

k-匿名方法中相关视图集和准标识符的求解算法

作者：宋金玲 刘国华 黄立明 朱彩云 刊期：2009年第01期

准标识符是影响k-匿名方法有效性的关键因素.在视图过程中,求解准标识符所面临的问题是如何在已的视图集合中找出与待视图相关的全部视图.将已的视图集合与待的视图映射为一个超图,寻找相关视图集问题可被转化为在超图中求解特定结点间的全部通路问题.首先,给出了视图集向超图的映射方法及有关引理和定理,提出了基于超图的相关视图集求解算法;其...

计算机网络防御策略描述语言研究

作者：夏春和 魏玉娣 李肖坚 王海泉 何巍 刊期：2009年第01期

定义了一种计算机网络防御策略描述语言CNDPSL（computer network defense policy specificationlanguage）.该语言面向CNDPM模型,能够统一描述保护、检测和响应策略.在CNDPM模型中,给出了抽象策略细化为具体规则的推导原理,并以形式化的方法分析并验证了策略的完备性、一致性和有效性.CNDPSL是一种声明式语言,抽象了网络防御控制的行为,对网络...

使用阈下信道的可逆R-S数字水印

作者：赵险峰 李宁 黄炜 刊期：2009年第01期

由于难以获得足够的冗余水印容量,一些面向内容认证的可逆水印方案仅嵌入了用对称算法加密的杂凑值,它的数据尺寸显著地小于数字签名,但这使不诚实的验证者能伪造合法的内容.然而研究发现,虽然当前公钥签名的长度是杂凑值的数倍,但通过使用阈下信道,在方案中引入公钥签名仅需增加数个字节的容量.据此,一个改进的R-S（regular-singular）可逆数字...

第4届全国几何设计与计算学术会议征文通知

刊期：2009年第01期