您的位置： 专家智库 > >

国家高技术研究发展计划(2007AA01Z325)

作品数：16 被引量：170H指数：7
相关作者：曹存根眭跃飞江峰刘伟王涌天更多>>
相关机构：中国科学院北京理工大学青岛科技大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划长江学者和创新团队发展计划更多>>
相关领域：自动化与计算机技术电子电信理学文化科学更多>>

文献类型

  • 16篇期刊文章
  • 1篇会议论文

领域

  • 16篇自动化与计算...
  • 1篇电子电信
  • 1篇文化科学
  • 1篇理学

主题

  • 2篇增强现实技术
  • 2篇数据库
  • 2篇数据挖掘
  • 2篇离群点
  • 2篇离群点检测
  • 2篇翻译
  • 2篇词汇
  • 2篇粗糙集
  • 1篇电子印章
  • 1篇信息处理
  • 1篇虚拟演播
  • 1篇虚拟演播室
  • 1篇演播
  • 1篇演播室
  • 1篇一阶逻辑
  • 1篇移动增强现实
  • 1篇异构
  • 1篇异构数据库
  • 1篇语义分析
  • 1篇语义相似

机构

  • 9篇中国科学院
  • 5篇北京理工大学
  • 4篇青岛科技大学
  • 4篇中国科学院研...
  • 2篇首都师范大学
  • 1篇广西师范大学
  • 1篇江苏科技大学
  • 1篇南昌工程学院
  • 1篇北京工业大学
  • 1篇上海政法学院
  • 1篇全国科学技术...
  • 1篇中国科学院大...

作者

  • 9篇曹存根
  • 4篇郭俊伟
  • 4篇陈靖
  • 4篇江峰
  • 4篇王涌天
  • 4篇眭跃飞
  • 4篇刘伟
  • 3篇王石
  • 2篇林精敦
  • 2篇杜军威
  • 1篇刘越
  • 1篇王驹
  • 1篇王程华
  • 1篇马东嫄
  • 1篇关素洁
  • 1篇刘亮亮
  • 1篇刘磊
  • 1篇田国刚
  • 1篇林乐宇
  • 1篇马越

传媒

  • 4篇计算机科学
  • 2篇电子学报
  • 2篇计算机学报
  • 2篇中文信息学报
  • 1篇中国农村科技
  • 1篇红外与激光工...
  • 1篇计算机研究与...
  • 1篇电子科技大学...
  • 1篇系统仿真学报
  • 1篇南昌工程学院...

年份

  • 1篇2015
  • 1篇2013
  • 2篇2011
  • 5篇2010
  • 6篇2009
  • 2篇2008
共 16 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
不同逻辑间翻译的逻辑性质被引量：4
2009年
如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.针对上述问题,该文提出了语义忠实(the faithfulness)和语义满(the fullness)两条逻辑性质来确保可满足的公式翻译为可满足的公式,不可满足公式翻译为不可满足公式.该文例证了二阶逻辑在标准语义下到一阶逻辑的翻译是语义忠实的但不是语义满的,在Henkin语义下是语义忠实的和语义满的.
申宇铭马越曹存根眭跃飞王驹
关键词：翻译一阶逻辑
谓词模态逻辑中变量的严格指派问题被引量：1
2009年
目前,命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具,但谓词模态逻辑却不是。关于谓词模态逻辑还存在着很多的争议和问题。表面上看,在命题模态逻辑中添加相应的量词而得到谓词模态逻辑似乎是一件很简单的事情,但是这些新添加的量词却带来了许多的问题和麻烦,例如,变量的严格指派问题、不变论域与可变论域问题、跨界相等问题等。主要研究谓词模态逻辑中变量的严格指派问题。首先,介绍什么是变量的严格指派问题;其次,讨论对于该问题现有的解决办法及所存在的不足;最后,分析造成该问题的深层次原因,并简要介绍该问题的解决办法。
江峰
关键词：本体
基于Agent联盟的协作学习系统研究被引量：3
2009年
为了在协作学习系统中实现学习者Agent之间的有效合作,通过引入一种新的合作机制——同学关系网模型(School mate Relation Web Model),来构建学习系统中学习者Agent之间的同学联盟,并且基于学习者Agent之间的同学联盟来实现多个学习者Agent之间的协作学习。在每个同学联盟中,任意两个Agent之间都具有同学关系,并且联盟中的所有Agent相互协作,共同完成学习任务。另外,联盟中的学习者Agent之间的通信不是直接进行的,而是通过一个黑板来进行,这可以显著地提高Agent之间的通信效率。由于同学关系网模型可以避免Agent联盟形成的盲目性,并且可以提高学习者Agent之间的交互效率,从而使得我们基于Agent同学联盟的协作学习系统可以实现学习者Agent之间的有效合作,弥补了现有协作学习系统的不足。
江峰王程华刘国柱
关键词：多AGENT系统远程教育AGENT联盟
利用补偿矩阵的可变焦摄像机跟踪算法被引量：4
2011年
变焦镜头的标定和跟踪技术已广泛应用于虚拟演播室,体育视频转播等领域。由于在长焦范围,普遍采用的针孔模型已不再适用,导致长焦镜头的标定和跟踪难以达到较高的精度。从分析变焦镜头内部结构出发,对变焦时透镜组之间的相互运动与摄像机外参之间的关系进行详细研究,提出用补偿矩阵来补偿变焦过程中产生的摄像机外参的偏移。该方法在不改变原有摄像机标定方法的基础上,解决了变焦镜头跟踪问题。实验表明:利用补偿矩阵的方法,当镜头焦距达到80 mm时,仍然能够将像素误差控制在3,有效地提高了跟踪精度。
刘伟王涌天陈靖郭俊伟
关键词：摄像机标定虚拟演播室
基于区域分割随机树的特征识别匹配算法
本文提出一种基于区域分割的随机树分类算法。随机树分类算法是一种有监督学习的模式识别分类算法,可有效地应用于增强现实系统中的特征识别与匹配。为克服现有随机树算法中特征点选择的随意性,使其更具自适应性,本文提出利用区域分割算...
林精敦王涌天陈靖刘越郭俊伟刘伟薛康
概念空间中上下位关系的意义识别研究被引量：16
2009年
针对上下位关系在分类层级结构建立阶段遇到的多义性问题,给出一种概念空间中上下位关系意义识别的方法.单个概念的意义识别问题被转换为概念空间中上下位关系的意义识别.首先利用并列语境解决语境稀疏问题,获取上下位关系意义的语境.然后利用《同义词词林》对每个语境进行词义修正,以三种特征计算特征词权重,构建"关系-词"的高维向量空间,然后通过潜在语义分析降维,获取上下位关系意义的潜在语义,最后组平均聚类后得到关系的意义划分.在实验中,给出了聚类阈值自动调整函数,分析了词林和潜在语义分析的作用,实验结果证实了方法的有效性.
刘磊曹存根张春霞田国刚
关键词：知识获取上下位关系潜在语义分析
WNCT:一种WordNet概念自动翻译方法被引量：7
2009年
WordNet是在自然语言处理领域有重要作用的英语词汇知识库,该文提出了一种将WordNet中词汇概念自动翻译为中文的方法。首先,利用电子词典和术语翻译工具将英语词汇在义项的粒度上翻译为中文;其次,将特定概念中词汇的正确义项选择看作分类问题,归纳出基于翻译唯一性、概念内和概念间翻译交集、中文短语结构规则,以及基于PMI的翻译相关性共12个特征,训练分类模型实现正确义项的选择。实验结果表明,该方法对WordNet 3.0中概念翻译的覆盖率为85.21%,准确率为81.37%。
王石曹存根
关键词：人工智能机器翻译词汇翻译中文信息处理
基于元性质的数量型属性值自动提取系统的实现被引量：4
2010年
实体属性值抽取是信息抽取的重要组成部分.针对数量型属性类型多样以及取值易变的问题,设计实现了一种基于元性质的数量型属性值自动抽取系统.对系统的结构、功能框架以及相关核心技术,包括提取文本的选择、候选值的提取及评估、结果的自动验证等进行了详细讨论.通过对百度百科的五大类9个子类实体数量型属性值的抽取,平均准确率和召回率分别达到71%和89%,高于基于简单搜索的方法和传统的基于词汇-句模的方法.该方法适用于开放领域的数量型属性值获取,易于获取单值属性的精确取值.
卢汉曹存根王石
关键词：锚文本层次分析
基于粗糙集理论的序列离群点检测被引量：16
2011年
作为数据挖掘的一项重要任务,离群点检测已经引起人们的广泛关注.本文基于粗糙集理论来讨论离群点的定义与检测问题,提出了一种新的离群点定义——粗糙序列离群点以及相应的离群点检测算法RSOD.该算法利用粗糙集理论中的知识熵和属性重要性等概念来构建三种类型的序列,并通过分析序列中元素的变化情况来检测离群点.在UCI标准数据集上,将RSOD算法与现有的离群点检测算法进行了比较分析,实验结果表明,我们所提出的离群点检测方法是有效的.
江峰杜军威葛艳眭跃飞曹存根
关键词：离群点检测粗糙集数据挖掘
农村科技信息与科技专家共享联盟被引量：1
2008年
Internet已经成为了一个庞大的、分布式的异构数据库和应用计算平台。它给人们提供了一个非常广阔的空间，帮助人们获取所需要的各种信息资源。然而，由于信息形式的多样性和信息存储的异构性，网络资源的有效利用率总是很低。
刘亮亮林乐宇曹存根
关键词：INTERNET联盟共享农村异构数据库
全选 清除 导出
共2页<12>
聚类工具0