检索结果-内蒙古大学图书馆

计算机学报 2005年第12期28卷 2010-2018页

作者：王海涛曹存根高颖中国科学院计算技术研究所智能信息处理重点实验室中国科学院软件研究所北京100080

文章介绍了一种新的基于领域本体的文本知识自动获取方法的设计和实现.通过引入领域本体,实现了半结构化文本知识的完全自动获取.该方法具有较好的通用性,把人们从繁重的手工劳动中解放出来,并能极大地提高知识获取的效率.已经设计并实... 详细信息

文章介绍了一种新的基于领域本体的文本知识自动获取方法的设计和实现.通过引入领域本体,实现了半结构化文本知识的完全自动获取.该方法具有较好的通用性,把人们从繁重的手工劳动中解放出来,并能极大地提高知识获取的效率.已经设计并实现了基于领域本体的知识获取方法OMKast;一种参数化的知识编程语言ePKPL,用以实现OMKast、ePKPL虚拟机VM(即ePKPL运行环境).目前,这项工作已经在中草药、音乐、西医等领域进行了应用,取得了满意的结果.

关键词：文本知识获取知识编程语言虚拟机多主体系统领域本体

来源：评论

学校读者我要写书评

暂无评论

二次B样条曲面顶点及法向插值

引用

计算机辅助设计与图形学学报 2001年第5期13卷 461-466页

作者：李桂清李现民李华中国科学院计算技术研究所智能信息处理实验室北京100080

顶点位置插值是自由曲面造型的基本方法 ,法向插值在一些 CAD/ CAM系统中也有重要应用 .文中利用子分曲面理论研究双二次 B样条曲面的性质 ,在此基础上利用 Doo- Sabin子分模式构造插值顶点位置和法向的双二次 B样条曲面控制网格 ,得到... 详细信息

顶点位置插值是自由曲面造型的基本方法 ,法向插值在一些 CAD/ CAM系统中也有重要应用 .文中利用子分曲面理论研究双二次 B样条曲面的性质 ,在此基础上利用 Doo- Sabin子分模式构造插值顶点位置和法向的双二次 B样条曲面控制网格 ,得到插值曲面的参数表示 .为了提高效率 ,对规模较大的网格数据 ,先把它划分成若干片子网格 ,分别求出满足与子网格相关的插值条件的控制网格 .最后再把它们整合在一起形成完整的控制网格 ,使得相应的二次

关键词：法向插值 B样条曲面 Doo-Sabin曲面曲面造型 CAD CAM

来源：评论

学校读者我要写书评

暂无评论

图像纹理特征及其在CBIR中的应用

引用

计算机辅助设计与图形学学报 2003年第2期15卷 195-199页

作者：万华林 Morshed U.Chowdhury 胡宏史忠植中国科学院计算技术研究所智能信息处理重点实验室北京100080 SchoolofComputingandMathematics

基于内容的多媒体信息检索是当前世界的研究热点 ,然而在图像内容表示及其相似性度量这两个关键问题上取得的进展还不能令人满意 .通过深入研究纹理的本质和人类视觉系统的特性 ,结合MPEG 7标准提出的图像内容描述子概念 ,提出一种新的... 详细信息

基于内容的多媒体信息检索是当前世界的研究热点 ,然而在图像内容表示及其相似性度量这两个关键问题上取得的进展还不能令人满意 .通过深入研究纹理的本质和人类视觉系统的特性 ,结合MPEG 7标准提出的图像内容描述子概念 ,提出一种新的谱方法来描述图像的纹理特征 ,并将其应用于图像内容的表示和检索 .在此基础上 ,讨论了图像的颜色描述子和相似性度量策略。

关键词：图像纹理特征 CBIR 纹理谱相似性度量图像检索计算机视觉 MPEG-7 图像处理多媒体

来源：评论

学校读者我要写书评

暂无评论

国家知识基础设施中的数学知识表示

引用

软件学报 2006年第8期17卷 1731-1742页

作者：曹存根眭跃飞孙瑜曾庆田中国科学院计算技术研究所智能信息处理重点实验室大规模知识处理组北京100080

数学知识表示是知识表示中的一个重要方面,是数学知识检索、自动定理机器证明、智能教学系统等的基础.根据在设计NKI(nationalknowledgeinfrastructure)的数学知识表示语言中遇到的问题,并在讨论了数学对象的本体论假设的基础上提出了... 详细信息

数学知识表示是知识表示中的一个重要方面,是数学知识检索、自动定理机器证明、智能教学系统等的基础.根据在设计NKI(nationalknowledgeinfrastructure)的数学知识表示语言中遇到的问题,并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法:一种是以一个逻辑语言上的公式为属性值域的描述逻辑;另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑.在前者的表示中,如果对公式不作任何限制,那么得到的知识库中的推理不是可算法化的;在后者的表示中,以描述逻辑描述的本体中的推理是可算法化的,而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的.因此,在表示数学知识时,需要区分概念性的知识(本体中的知识)和非概念性的知识(用本体作为语言表示的知识).框架或者描述逻辑可以表示和有效地推理概念性知识,但如果将非概念性知识加入到框架或知识库中,就可能使得原来可以有效推理的框架所表示的知识库不存在有效的推理算法,甚至不存在推理算法.为此,建议在表示数学知识时,用框架或描述逻辑来表示概念性知识;然后,用这样表示的知识库作为逻辑语言的一部分,以表示非概念性知识.

关键词：数学知识框架描述逻辑本体

来源：评论

学校读者我要写书评

暂无评论

基于本体论和多主体的信息检索服务器

引用

计算机研究与发展 2001年第6期38卷 641-647页

作者：武成岗焦文品田启家史忠植中国科学院计算技术研究所智能信息处理开放研究实验室北京100080

Internet技术的发展为人们提供了方便快捷的信息获取手段 ,然而要从如此庞大且瞬息万变的 Internet上检索信息 ,需要快速准确的信息检索工具的协助 .提出了一种利用多智能主体和本体论 (ontology)理论设计的信息检索服务器 .它集成了界... 详细信息

Internet技术的发展为人们提供了方便快捷的信息获取手段 ,然而要从如此庞大且瞬息万变的 Internet上检索信息 ,需要快速准确的信息检索工具的协助 .提出了一种利用多智能主体和本体论 (ontology)理论设计的信息检索服务器 .它集成了界面主体、预处理主体、管理主体、信息处理主体和具有移动性的信息搜集主体 ,并利用ontology对文档进行领域分类 ,同时对用户的查询信息进行规范 .该系统能够比较及时地反映网络中信息的动态变化。

关键词：本体论信息检索服务器主体 Intenet 信息数据库

来源：评论

学校读者我要写书评

暂无评论

基于模块化的移动Agent及其调度方法

引用

软件学报 2002年第8期13卷 1628-1636页

作者：武成岗史忠植中国科学院计算技术研究所智能信息处理开放研究实验室北京100080

网络促进了信息的交流和数据的共享,人们正在研究和探索新的网络编程技术以使其更加有效地发挥作用.通过将执行代码从客户端传送至服务器的这种新的Client/Server程序执行思想已得到广大从事智能网络服务的研究和开发人员的认可,基于移... 详细信息

网络促进了信息的交流和数据的共享,人们正在研究和探索新的网络编程技术以使其更加有效地发挥作用.通过将执行代码从客户端传送至服务器的这种新的Client/Server程序执行思想已得到广大从事智能网络服务的研究和开发人员的认可,基于移动Agent的计算被视为该思想的一个代表.着眼于Agent的迁移机制的研究,为移动Agent设计了一个模块化结构模型,提出一种适合于Agent迁移过程实现和并发执行的调度方法,合理地运用模块复用的思想,减少了不必要的数据及代码迁移,缩短了移动Agent的平均执行时间.

关键词：模块化移动Agent 调度方法迁移机制功能模块调度序列计算机网络

来源：评论

学校读者我要写书评

暂无评论

主体命名方式AST

引用

计算机研究与发展 2001年第12期38卷 1480-1485页

作者：钟石强史忠植田启家中国科学院计算技术研究所智能信息处理开放研究实验室北京100080

主体的命名和定位是移动主体中的关键技术 ,它的优劣影响到整个移动主体系统的性能 .在分析了目前几种主体命名和定位方式之后 ,提出一种新的主体命名和定位的方法 :Agent Shadow Tracing.这种方法将主体看成是生成它的主机的一种资源 ... 详细信息

主体的命名和定位是移动主体中的关键技术 ,它的优劣影响到整个移动主体系统的性能 .在分析了目前几种主体命名和定位方式之后 ,提出一种新的主体命名和定位的方法 :Agent Shadow Tracing.这种方法将主体看成是生成它的主机的一种资源 ,为主体在生成它的主机上分配一个固定的界面 (shadow) ,在主体移动时 ,别的主体和程序可以通过与界面交互达到与移动主体通信的目的 .这种方法避免了目前主体命名和定位方式的一些缺点 ,较好地解决了移动主体之间的通信问题 .

关键词：移动主体主体命名主体定位 AST 人工智能

来源：评论

学校读者我要写书评

暂无评论

二维流形上一组等距与尺度不变的形状描述子

引用

计算机辅助设计与图形学学报 2014年第10期26卷 1781-1788页

作者：曹伟国李海洋李诗锐李华中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院大学北京100049

在流形上构造了一组具有等距不变与尺度不变的形状描述子.该方法首先利用Biharmonic距离构造核函数,然后利用勒贝格积分构造具有等距不变的描述子,再利用曲面的勒贝格测度对形状描述子进行标准化,得到了一组新的描述子.这种新的形状描... 详细信息

在流形上构造了一组具有等距不变与尺度不变的形状描述子.该方法首先利用Biharmonic距离构造核函数,然后利用勒贝格积分构造具有等距不变的描述子,再利用曲面的勒贝格测度对形状描述子进行标准化,得到了一组新的描述子.这种新的形状描述子既具有等距不变性,又具有尺度不变性,反映了几何形状的内蕴性质.在非刚体模型上进行了大量实验,通过实验结果可以看出,该方法对于发生等距变形的物体具有很好的识别和区分效果.

关键词：非刚体等距变换尺度变换形状分析形状描述子不变量

来源：评论

学校读者我要写书评

暂无评论

利用图像相位信息构造的仿射-卷积矩不变量

引用

计算机辅助设计与图形学学报 2014年第6期26卷 851-860页

作者：公明曹伟国李华中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院大学北京100049

不理想的成像设备或者成像条件经常会导致图像的退化现象,如相机失焦、相机与场景的相对运动等会使得图像模糊,不同拍摄视角会引起图像中几何形状的变化等.为了实现对退化图像的识别、检索等,利用图像的相位信息构造了一种仿射-卷积矩... 详细信息

不理想的成像设备或者成像条件经常会导致图像的退化现象,如相机失焦、相机与场景的相对运动等会使得图像模糊,不同拍摄视角会引起图像中几何形状的变化等.为了实现对退化图像的识别、检索等,利用图像的相位信息构造了一种仿射-卷积矩不变量对这些退化图像进行描述.首先利用高斯卷积变换、仿射变换对图像的模糊、几何变化建模;然后分析图像的相位谱图像在高斯卷积变换、仿射变换下的性质,提出了能同时对高斯卷积变换和仿射变换具有不变性质的不变量计算方法.通过对计算机合成变换的图像、真实拍摄的图像进行检索、识别实验,表明了文中提出的仿射-卷积矩不变量的有效性和适用性.

关键词：矩不变量图像模糊几何退化卷积变换仿射变换图像相位

来源：评论

学校读者我要写书评

暂无评论

公式分层的谓词模态逻辑

引用

软件学报 2014年第5期25卷 1014-1024页

作者：孙梅莹邓少波陈博曹存根眭跃飞中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院大学北京100049

由于必然模态词的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世... 详细信息

由于必然模态词的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词?的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得?可以出现在的范围内,并且不能出现在?的范围内.由于任意形如?x?(x)的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.

关键词：跨可能世界相等谓词模态逻辑可变论域语义 Ⅴ-性质可靠性完备性

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：