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

软件学报 2011年第7期22卷 1524-1537页

作者：常亮史忠植古天龙王晓峰桂林电子科技大学广西可信软件重点实验室广西桂林541004 中国科学院计算技术研究所智能信息处理重点实验室北京100190

动态描述逻辑DDL(dynamic description logic)提供了一种基于描述逻辑的动作理论,适用于语义Web环境下对动态领域知识的刻画和推理.为了将分支时序逻辑的刻画能力引入到动态描述逻辑中,将时间的进展体现为原子动作的执行,从而将时序维... 详细信息

动态描述逻辑DDL(dynamic description logic)提供了一种基于描述逻辑的动作理论,适用于语义Web环境下对动态领域知识的刻画和推理.为了将分支时序逻辑的刻画能力引入到动态描述逻辑中,将时间的进展体现为原子动作的执行,从而将时序维与动态维统一起来.在此基础上,从描述逻辑ALCQIO出发构建了一个时序动态描述逻辑TDALCQIO,给出了TDALCQIO的Tableau判定算法,并证明了算法的可终止性和正确性.TDALCQIO不仅兼容了构建在描述逻辑ALCQIO基础上的动态描述逻辑的刻画和推理能力,而且还可从可达性、安全性等角度对整个动态领域的时序特征进行刻画和推理,从而为语义Web环境下对动态领域知识的刻画和推理提供了进一步的逻辑支持.

关键词：动态描述逻辑分支时序逻辑知识表示和推理动作理论 Tableau判定算法

来源：评论

学校读者我要写书评

暂无评论

虚拟手术中的肝脏渲染

虚拟手术中的肝脏渲染

引用

第九届中国计算机图形学大会(Chinagraph‘2012)

作者：吴雯黄敬业陈辉王平安澳门大学电脑及资讯科学系澳门香港中文大学计算机科学与工程学系香港澳门大学电脑及资讯科学系澳门中国科学院软件研究所人机交互与智能信息处理实验室北京 100190 香港中文大学计算机科学与工程学系香港中国科学院深圳先进技术研究院先进集成技术研究所深圳 518055

人体器官在手术灯环境下的渲染效果直接影响着虚拟手术模拟在视觉上的真实感。大部分的人体内部器官由多层组织构成，表面附着有半透明粘稠状液体，仅仅使用Phong光照模型很难得到满意的结果，因为这种简单的光照模型通常只能产生类似... 详细信息

人体器官在手术灯环境下的渲染效果直接影响着虚拟手术模拟在视觉上的真实感。大部分的人体内部器官由多层组织构成，表面附着有半透明粘稠状液体，仅仅使用Phong光照模型很难得到满意的结果，因为这种简单的光照模型通常只能产生类似于塑料和橡胶的光照效果。本文针对肝脏手术这一应用背景，提出了一个实时肝脏表面渲染方法。首先基于真实的肝脏照片，结合柏林噪声，通过构造不同频率和振幅的噪声函数，生成肝脏的纹理贴图。然后再按照光线和视点的位置与方向，计算出反射的高光由于不同的视点而产生的变化。

关键词：肝脏部位虚拟手术表面渲染纹理贴图高光效果

来源：评论

学校读者我要写书评

暂无评论

从Web获取部分整体关系语料的方法

引用

中文信息学报 2011年第5期25卷 17-23页

作者：曹馨宇曹存根中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院研究生院北京100190

部分整体关系获取是知识获取中的重要组成部分。Web逐步成为知识获取的重要资源之一。搜索引擎是从Web中获取部分整体关系知识的有效手段之一,我们将Web中包含部分整体关系的检索结果集合称为部分整体关系语料。由于目前主流搜索引擎尚... 详细信息

部分整体关系获取是知识获取中的重要组成部分。Web逐步成为知识获取的重要资源之一。搜索引擎是从Web中获取部分整体关系知识的有效手段之一,我们将Web中包含部分整体关系的检索结果集合称为部分整体关系语料。由于目前主流搜索引擎尚不支持语义搜索,如何构造有效的查询以得到富含部分整体关系的语料,从而进一步获取部分整体关系,就成为一个重要的问题。该文提出了一种新的查询构造方法,目的在于从Web中获取部分整体关系语料。该方法能够构造基于语境词的查询,进而利用现有的搜索引擎从Web中获取部分整体关系语料。该方法在两个方面与人工构造查询方法和基于语料库查询构造查询方法所获取的语料进行对比,其一是语料中含有部分整体关系的语句数量;二是从语料中进一步获取部分整体关系的难易程度。实验结果表明,该方法远远优于后两者。

关键词：部分整体关系获取语料获取查询构造

来源：评论

学校读者我要写书评

暂无评论

面向形态丰富语言的多粒度翻译融合

引用

中文信息学报 2011年第4期25卷 75-81页

作者：王志洋吕雅娟刘群中国科学院计算技术研究所中国科学院智能信息处理重点实验室北京100190 中国科学院研究生院北京100049

形态丰富语言由于其复杂的形态变化,会导致大词汇量和数据稀疏问题,这给统计机器翻译带来了巨大挑战。该文通过将这类语言表示为不同的粒度,然后分别进行翻译;由于不同的粒度能表征语言不同层面的特点,通过对不同粒度的翻译结果进行词... 详细信息

形态丰富语言由于其复杂的形态变化,会导致大词汇量和数据稀疏问题,这给统计机器翻译带来了巨大挑战。该文通过将这类语言表示为不同的粒度,然后分别进行翻译;由于不同的粒度能表征语言不同层面的特点,通过对不同粒度的翻译结果进行词级系统融合,便可生成更好的译文。维吾尔语、蒙古语到汉语的两组翻译实验表明,这种多粒度系统融合方法改善了翻译效果,BLEU值比最好的单系统分别提高了+1.41%和+2.03%。

关键词：形态丰富语言多粒度系统融合

来源：评论

学校读者我要写书评

暂无评论

一种考虑对齐不一致的短语翻译概率估计方法

引用

中文信息学报 2011年第3期25卷 118-122页

作者：苏劲松刘群吕雅娟中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院研究生院北京100190

在统计机器翻译中,短语翻译概率特征对最终的翻译结果有着重大的影响。传统的估计方法只考虑了双语短语同时出现,满足对齐一致性的情况,而没有对其他情况进行统计,因而短语翻译概率的估计不够准确。该文中,我们修改了传统的短语概率计... 详细信息

在统计机器翻译中,短语翻译概率特征对最终的翻译结果有着重大的影响。传统的估计方法只考虑了双语短语同时出现,满足对齐一致性的情况,而没有对其他情况进行统计,因而短语翻译概率的估计不够准确。该文中,我们修改了传统的短语概率计算公式,在估计概率的过程中充分地考虑短语的各种出现情况。多个测试集上的实验结果证明了我们方法的有效性。

关键词：统计机器翻译对齐不一致短语翻译概率

来源：评论

学校读者我要写书评

暂无评论

维吾尔语中汉族人名的识别及翻译

引用

中文信息学报 2011年第4期25卷 82-87页

作者：李佳正刘凯麦热哈巴.艾力吕雅娟刘群吐尔根.依布拉音中国科学院计算技术研究所中国科学院智能信息处理重点实验室北京100190 新疆大学信息科学与工程学院新疆乌鲁木齐830046

该文研究了一种维吾尔语中汉族人名的识别和翻译方法。该方法在词典等传统方法的基础上,运用语言模型实现维语中的汉族人名的识别和翻译。针对维语人名的构词和拼写特点,增加了名词词缀识别预处理模块,补充了维语字母到汉语拼音的映射规... 详细信息

该文研究了一种维吾尔语中汉族人名的识别和翻译方法。该方法在词典等传统方法的基础上,运用语言模型实现维语中的汉族人名的识别和翻译。针对维语人名的构词和拼写特点,增加了名词词缀识别预处理模块,补充了维语字母到汉语拼音的映射规则,有效提高了人名识别的正确率及召回率。在1 000句含有汉族人名的维语语料上进行测试,汉族人名识别的正确率和召回率分别达到75.2%和91.5%。

关键词：语言模型名词词缀拼写规则人名识别及翻译

来源：评论

学校读者我要写书评

暂无评论

最大熵和规则相结合的藏文句子边界识别方法

引用

中文信息学报 2011年第4期25卷 39-44页

作者：李响才藏太姜文斌吕雅娟刘群中国科学院计算技术研究所中国科学院智能信息处理重点实验室北京100190 青海师范大学计算机学院青海西宁810008

句子边界识别是藏文信息处理领域中一项重要的基础性工作,该文提出了一种基于最大熵和规则相结合的方法识别藏语句子边界。首先,利用藏语边界词表识别歧义的句子边界,最后采用最大熵模型识别规则无法识别的歧义句子边界。该方法有效利... 详细信息

句子边界识别是藏文信息处理领域中一项重要的基础性工作,该文提出了一种基于最大熵和规则相结合的方法识别藏语句子边界。首先,利用藏语边界词表识别歧义的句子边界,最后采用最大熵模型识别规则无法识别的歧义句子边界。该方法有效利用藏语句子边界规则减少了最大熵模型因训练语料稀疏或低劣而导致对句子边界的误判。实验表明,该文提出的方法具有较好的性能,F1值可达97.78%。

关键词：最大熵句子边界识别藏文信息处理

来源：评论

学校读者我要写书评

暂无评论

基于社区发现的多主体信任评估

引用

计算机应用 2011年第8期31卷 2068-2071,2082页

作者：杨兴华王文杰王晓峰史忠植中国科学院研究生院信息科学与工程学院北京100049 中国科学院计算技术研究所智能信息处理重点实验室北京100190

为了解决多主体系统(MAS)的开放性、动态性和不确定性所带来的主体信任问题,提出一种基于社区发现的信任评估方法。首先使用G-N算法(GIRVAN M,NEWMAN M E *** structure in social and *** of the National Academy of Sciences of the ... 详细信息

为了解决多主体系统(MAS)的开放性、动态性和不确定性所带来的主体信任问题,提出一种基于社区发现的信任评估方法。首先使用G-N算法(GIRVAN M,NEWMAN M E *** structure in social and *** of the National Academy of Sciences of the United States of America,2002,99(12):7821-7826)发现系统中的社区结构;然后根据推荐主体的推荐信任分别计算被评估主体的社区内部、外部声誉,进而结合直接信任形成主体的综合信任度;最后根据协作反馈实现主体信任度的动态调整。仿真实验结果表明,基于社区发现的信任评估方法能有效评估主体信任度,通过引入反馈机制能进一步提高交互成功率。

关键词：多主体系统信任社区发现声誉反馈

来源：评论

学校读者我要写书评

暂无评论

基于双语约束的蒙古语无监督依存分析

引用

中文信息学报 2011年第4期25卷 24-29页

作者：刘凯乌日力嘎斯钦图姜文斌刘群中国科学院计算技术研究所中国科学院智能信息处理重点实验室北京100190 内蒙古大学蒙古学学院内蒙古呼和浩特010021

句法分析在自然语言处理的实际应用中扮演着重要的角色。当前各少数民族语言包括蒙古语的句法分析研究还处在相对滞后的阶段。同时给其他相关研究带来了相应的困难。该文提出了一种基于双语约束的蒙语的无监督依存分析方法。能够在无需... 详细信息

句法分析在自然语言处理的实际应用中扮演着重要的角色。当前各少数民族语言包括蒙古语的句法分析研究还处在相对滞后的阶段。同时给其他相关研究带来了相应的困难。该文提出了一种基于双语约束的蒙语的无监督依存分析方法。能够在无需蒙语依存树库及蒙语句法的情况下,对蒙语进行无监督的依存句法分析。并且获得了较好的效果,在人工标注的测试集上有向及无向的正确率分别达到了67.2%及73.3%,可以实际应用到自然语言处理中了。

关键词：蒙古语无监督句法分析依存分析双语约束

来源：评论

学校读者我要写书评

暂无评论

面向移动终端的统计机器翻译解码定点化方法

引用

中文信息学报 2011年第2期25卷 61-65页

作者：李响徐金安姜文斌吕雅娟刘群中国科学院计算技术研究所智能信息处理重点实验室北京100190 北京交通大学计算机与信息技术学院北京100044

面向移动终端的统计机器翻译需求越来越多,但无浮点运算单元的处理器限制了翻译速度。该文提出了一种对统计机器翻译解码运算的定点化运算方法,缓解了无浮点运算单元的处理器对翻译速度的影响。基于PC和移动终端的实验表明,在保证翻译... 详细信息

面向移动终端的统计机器翻译需求越来越多,但无浮点运算单元的处理器限制了翻译速度。该文提出了一种对统计机器翻译解码运算的定点化运算方法,缓解了无浮点运算单元的处理器对翻译速度的影响。基于PC和移动终端的实验表明,在保证翻译质量的情况下,利用定点处理浮点运算的解码器的运算速度较编译器模拟的浮点运算速度提高135.6%。因此,该方法可以有效地提高浮点运算能力薄弱的移动终端统计机器翻译速度。

关键词：统计机器翻译定点化移动终端

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：