大学水平的“数学分析知识”的获取和分析研究

1

作者 刘汉武 曹存根 曾庆田 《计算机科学》 CSCD 北大核心 2005年第10期118-123,138,共7页

在过去的几十年里,数学软件系统变得越来越强大和复杂。各种数学系统的集成变得非常有意义。基于Web的分布式数学平台使得与数学相关的活动(称之为数学服务)都可以在Web上得以实现。所有这些都需要一个底层的、可共享的、面向内容的知... 在过去的几十年里,数学软件系统变得越来越强大和复杂。各种数学系统的集成变得非常有意义。基于Web的分布式数学平台使得与数学相关的活动(称之为数学服务)都可以在Web上得以实现。所有这些都需要一个底层的、可共享的、面向内容的知识库作为支撑。本文介绍一个大学水平的、可共享的数学分析知识库的获取和分析方法。NKIMath采用基于本体、框架、逻辑和类型的形式表示,采用面向概念的知识获取方法,从一套大学本科数学分析课本(2本)中获取了所有主要概念和定理。本文还总结和分析了知识获取过程中出现的错误。 展开更多

关键词 数学知识 本体 框架 逻辑 类型 知识表示 知识获取 数学分析 大学本科 知识库 知识获取过程 水 数学相关 数学平台 数学系统 软件系统

在线阅读 下载PDF 职称材料

基于均匀驱动计算架构的卫星影像快速Mask匀光方法研究 被引量：2

2

作者 常高 王华斌 +1 位作者 李国元 刘金刚 《科学技术与工程》 北大核心 2014年第12期240-244,共5页

针对大数据量的卫星遥感影像进行匀光处理的过程计算量大,效率低的情况,提出了一种基于均匀驱动计算架构(compate unified device architecture,CUDA)平台的卫星影像快速匀光并行处理方法。根据现有算法结构上的特点,将处理过程中的主... 针对大数据量的卫星遥感影像进行匀光处理的过程计算量大,效率低的情况,提出了一种基于均匀驱动计算架构(compate unified device architecture,CUDA)平台的卫星影像快速匀光并行处理方法。根据现有算法结构上的特点,将处理过程中的主要运算部分交由GPU完成。实验通过对资源三号卫星所得影像做匀光处理,对比了GPU与多核CPU运行速度和效果,分析了该方案的加速性能和实用性。实验表明,在保持原处理质量的同时,该方法构建的并行处理模型有效地提高了原有匀光算法的处理速度。 展开更多

关键词 遥感影像 Mask匀光法 GPU CUDA

在线阅读 下载PDF 职称材料

基于统计与正文特征的中文网页正文抽取研究 被引量：16

3

作者 周佳颖 朱珍民 高晓芳 《中文信息学报》 CSCD 北大核心 2009年第5期80-85,共6页

该文提出了一种基于统计与正文特征的网页正文抽取方法。该方法继承了统计方法的优点,同时利用正文特征克服了原有基于统计的方法无法抽取多正文体网页的缺陷。源于多正文体在网页的DOM树中对应着正文区域下的多棵具有相似特征的正文子... 该文提出了一种基于统计与正文特征的网页正文抽取方法。该方法继承了统计方法的优点,同时利用正文特征克服了原有基于统计的方法无法抽取多正文体网页的缺陷。源于多正文体在网页的DOM树中对应着正文区域下的多棵具有相似特征的正文子树,该文首先基于统计的方法获取一条正文路径,然后学习该路径的正文特征识别正文区域和子树主干,最后根据区域及该主干具有的正文特征进而得到完整的正文。实验表明该方法抽取单正文和多正文的精确率分别为94%和91%。 展开更多

关键词 计算机应用 中文信息处理 正文抽取 单正文体 多正文体

在线阅读 下载PDF 职称材料

混合多分辨率地形与空间矢量数据的可视化研究 被引量：8

4

作者 邹烷 方金云 刘金刚 《系统仿真学报》 CAS CSCD 北大核心 2006年第z1期324-325,共2页

能同时处理矢量和地形数据的混合地理信息系统逐渐成为研究的热点,其中待解决的难点是如何将复杂矢量数据实时渲染到多分辨率地形格网。结合实时优化自适应网格(Real-TimeOptimallyAdaptingMeshes,ROAM)地形简化算法,给出了关键数据结... 能同时处理矢量和地形数据的混合地理信息系统逐渐成为研究的热点,其中待解决的难点是如何将复杂矢量数据实时渲染到多分辨率地形格网。结合实时优化自适应网格(Real-TimeOptimallyAdaptingMeshes,ROAM)地形简化算法,给出了关键数据结构及相关算法来实时显示多分辨率三维地形和2D空间矢量数据,并对算法性能做出分析并给出结论。 展开更多

关键词 实时优化自适应网格 数字高程模型 无缝叠加 矢量数据 二叉三角形树

在线阅读 下载PDF 职称材料

信息共享联盟模型研究及其在农业领域的应用 被引量：3

5

作者 林乐宇 刘磊 +3 位作者 王石 郑宇飞 丰强泽 曹存根 《计算机科学》 CSCD 北大核心 2008年第1期1-8,23,共9页

本文提出了一种信息共享联盟模型UIS,对模型的结构、功能框架以及相关核心技术,包括异构数据库的标准化处理、URI远程访问技术、快速查询算法等进行了详细讨论。UIS的一个重要特点是:在逻辑上将各个信息资源的异构数据连接在一起,在物... 本文提出了一种信息共享联盟模型UIS,对模型的结构、功能框架以及相关核心技术,包括异构数据库的标准化处理、URI远程访问技术、快速查询算法等进行了详细讨论。UIS的一个重要特点是:在逻辑上将各个信息资源的异构数据连接在一起,在物理上则对加盟数据按照元数据规范标准进行整合,并备份上传至联盟。该模型通过多主体协作,能够有效地整合异构、分散的数据库,实现信息资源的有效共享和有效检索。模型服务提供了多种模式的信息检索接口。对于已经共享的多媒体资源,通过引入领域专家的知识问答命题来引导用户的学习,由此实现了教与学之间的互动,提高用户的学习质量。目前UIS已在中国农村科技信息网中进行实验和应用,实现了包括位于北京的"中国现代农业科技信息共享示范网"、"九亿网"、"国家农业科技园区网"等多家网站在内的数据库资源的信息共享,并且在河北省进行了试点,初步建立了中国农业信息共享联盟体系。 展开更多

关键词 信息共享 信息检索 异构数据库 多主体 信息联盟

在线阅读 下载PDF 职称材料

领域知识文档的语义检索方法研究 被引量：3

6

作者 齐保元 曹存根 +1 位作者 郑宇飞 岳金朋 《计算机工程与应用》 CSCD 2012年第3期146-150,共5页

语义检索是解决信息检索中准确度、人性化要求的一个非常有潜力的方法。通过对知识文档进行主题词标注,然后建立从词元→主题词→知识文档的二级索引结构;对用户的检索,进行查询词到主题词的转化,计算语义相似度,按照语义相似度算法进... 语义检索是解决信息检索中准确度、人性化要求的一个非常有潜力的方法。通过对知识文档进行主题词标注,然后建立从词元→主题词→知识文档的二级索引结构;对用户的检索,进行查询词到主题词的转化,计算语义相似度,按照语义相似度算法进行排序文档。目前基于知识文档的语义检索系统已经在某集团公司进行部署和应用,取得了前5项结果命中用户总查询90%的效果,说明这种方法是语义检索的一种有效途径。 展开更多

关键词 语义检索 知识文档 主题词 相似度

在线阅读 下载PDF 职称材料

基于机器学习的用户信任模型研究 被引量：1

7

作者 高晓芳 朱珍民 +1 位作者 刘金刚 吴秀兰 《计算机工程与设计》 CSCD 北大核心 2010年第13期2947-2950,共4页

为了建立服务提供者与用户之间的信任关系、保证系统的安全性、促进资源的有效利用,同时兼顾用户的公平性,提出了一种基于机器学习的用户信任度模型。利用用户和系统的交互作用动态修改双方信息,根据用户的信任度和反馈信息动态修改系统... 为了建立服务提供者与用户之间的信任关系、保证系统的安全性、促进资源的有效利用,同时兼顾用户的公平性,提出了一种基于机器学习的用户信任度模型。利用用户和系统的交互作用动态修改双方信息,根据用户的信任度和反馈信息动态修改系统,并用修改后的结果来更新用户的信任度。为了保证信任度的时效性,还对其进行了随时间衰减的研究。最后对模型和算法进行了模拟实验和性能分析,结果表明了模型的可行性和算法的有效性。 展开更多

关键词 普适计算 机器学习 信任关系 反馈信息 衰减

在线阅读 下载PDF 职称材料

网络QoS调度策略的分析与研究 被引量：2

8

作者 黄敏 姚正林 刘金刚 《计算机工程与应用》 CSCD 北大核心 2006年第29期118-120,147,共4页

网络服务质量已经成为研究的热点,为了保证服务质量,需要对网络中的数据流采用一定的调度策略,论文根据排队论的思想,对网络中常用的调度策略进行了分析,并对其利弊进行了研究,最后还通过仿真证明了论述的正确性。

关键词 服务质量 调度策略 排队论

在线阅读 下载PDF 职称材料

Space文件系统安全可靠机制的研究与实现 被引量：1

9

作者 刘金刚 李宁 《空军工程大学学报（自然科学版）》 CSCD 北大核心 2008年第6期80-84,共5页

首先通过对传统文件系统在安全可靠方面存在的问题进行研究分析,然后提出了一种基于Linux操作系统的文件系统安全可靠机制,即将操作系统安装在相对独立的物理空间中,与其他应用软件在物理空间上分隔开来,同时将安装操作系统的物理存储... 首先通过对传统文件系统在安全可靠方面存在的问题进行研究分析,然后提出了一种基于Linux操作系统的文件系统安全可靠机制,即将操作系统安装在相对独立的物理空间中,与其他应用软件在物理空间上分隔开来,同时将安装操作系统的物理存储介质限定为只读方式,使所安装的操作系统在物理层上不可被改写,从而达到安全可靠;同时将用户空间在物理上与系统空间相互隔绝,当用户需要安装软件或保存各种文档时,可以透明地存储在该空间中。透明是指对用户来说,看到的文件系统视图或在操作方式上与传统操作系统完全相同,感觉不到底层系统空间和用户空间的存在。同时,详细描述了提出的SpaceFS文件系统的设计原理和实现细节,最后通过对其进行充分的测试数据,得出了在不损失系统性能的基础上保证了安全可靠的结论。 展开更多

关键词 LINUX Space文件系统 安全可靠

在线阅读 下载PDF 职称材料

网络随机接入ON-OFF重尾流的准入控制研究 被引量：1

10

作者 姚正林 刘金刚 《计算机工程》 EI CAS CSCD 北大核心 2005年第10期13-15,21,共4页

近年来的许多研究表明,随着网络带宽的增大,业务量不断增多,网络中的数据流呈现出自相似性,具有很强的长相关特点,这就使得传统的基于短相关的Markov流量分析方法不再适用,该文对渐进自相似流进行了分析,在分析了系统输入固定数量叠加的... 近年来的许多研究表明,随着网络带宽的增大,业务量不断增多,网络中的数据流呈现出自相似性,具有很强的长相关特点,这就使得传统的基于短相关的Markov流量分析方法不再适用,该文对渐进自相似流进行了分析,在分析了系统输入固定数量叠加的ON-OFF重尾间隔流排队模型基础之上,提出了随机接入重尾数据流的准入控制算法,并进行了仿真分析。 展开更多

关键词 自相似 重尾分布 随机接入 准入控制

在线阅读 下载PDF 职称材料

个性化关节运动参数有效性判别策略研究

11

作者 黄海明 刘金刚 易建强 《系统仿真学报》 CAS CSCD 北大核心 2008年第S1期427-431,共5页

在人体运动捕捉过程中,根据采集的数据进行计算得到的虚拟人关节运动参数的正确性一直是人们研究的热点问题。在分析了刚体关系判别等等目前一般采用的运动参数有效性判别方法的基础上,提出了一种新的有效性判别策略"具有个性化关... 在人体运动捕捉过程中,根据采集的数据进行计算得到的虚拟人关节运动参数的正确性一直是人们研究的热点问题。在分析了刚体关系判别等等目前一般采用的运动参数有效性判别方法的基础上,提出了一种新的有效性判别策略"具有个性化关联性的运动参数有效性判别策略"。通过关节灵活度训练来生成并保存各关节的受限空间,将有效性问题转化为空间判定问题,然后通过空间划分降低了算法复杂度,最后对该策略进行了例证。 展开更多

关键词 运动捕捉 虚拟人 关节参数 受限空间模型

在线阅读 下载PDF 职称材料

域间路由不稳定性的分析方法研究

12

作者 王旸旸 翟鹏 毕经平 《计算机应用研究》 CSCD 北大核心 2006年第4期240-242,共3页

从分析<对等体,前缀>二元组的BGP更新消息序列出发,从四个不同层面提出了域间路由不稳定性的分析指标和方法。在此基础上开发出工具FlapV iew,可以全面有效地监测域间路由的不稳定性。

关键词 BGP路由 域间路由 路由不稳定性 网络测量

在线阅读 下载PDF 职称材料

从中文Web网页中获取实体简称的研究 被引量：3

13

作者 丁远钧 曹存根 +1 位作者 王石 符建辉 《计算机科学》 CSCD 北大核心 2012年第3期174-182,195,共10页

简称是自然语言词汇的重要组成部分,其获取是自然语言处理中的一个基本而又关键的问题。提出了一种根据汉语全称从Web中获取对应汉语简称的方法。该方法包括获取和验证两个步骤。获取步骤通过选择查询模式从Web上获得候选简称集合。为... 简称是自然语言词汇的重要组成部分,其获取是自然语言处理中的一个基本而又关键的问题。提出了一种根据汉语全称从Web中获取对应汉语简称的方法。该方法包括获取和验证两个步骤。获取步骤通过选择查询模式从Web上获得候选简称集合。为了验证候选简称,定义了全简称关系约束,分别定性和定量地表示全称和对应简称之间的约束,构建了全简称关系图来表示所有全称和简称之间的联系,在验证过程中,先分别用约束公理和关系图对候选简称进行过滤,再用约束函数对候选简称分类,并以分类类别、语料标记和约束函数值作为属性构建决策树,利用决策树对候选简称进行验证。实验结果表明,获取方法的最终准确率为94.63%,召回率为84.09%,验证方法的准确率为94.81%。 展开更多

关键词 自然语言处理 简称获取 约束公理 约束函数 关系图

在线阅读 下载PDF 职称材料

基于鼠标跟踪的三维交互机制的研究 被引量：6

14

作者 何中辰 刘金刚 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2012年第2期181-184,189,共5页

目的实现三维场景中符合自然习惯的六自由度的三维交互方式。方法在三维场景中建立一个和物理鼠标运动保持一致的3D鼠标(三维模型),3D鼠标在地图空间和视景体之内可以沿各个方向自由运动,超出时进行越界处理,以OpenGL的拾取机制为基础... 目的实现三维场景中符合自然习惯的六自由度的三维交互方式。方法在三维场景中建立一个和物理鼠标运动保持一致的3D鼠标(三维模型),3D鼠标在地图空间和视景体之内可以沿各个方向自由运动,超出时进行越界处理,以OpenGL的拾取机制为基础研究新的适用于3D鼠标的拾取方法。结果设计了一种基于鼠标跟踪的三维交互机制,描述了该机制的详细设计策略及原理,提出了3D鼠标运动、越界检测、拾取的有效算法,通过模拟实验实现了融于三维场景的真正意义上的3D鼠标。结论该3D鼠标操作逼真,能够在三维场景中自由运动、有效地进行越界检测以及精确地拾取三维场景中的物体,理论和实践证明该设计机制是可行的。 展开更多

关键词 三维交互 3D鼠标 鼠标拾取

在线阅读 下载PDF 职称材料

基于维基百科的短文本语义扩展方法研究 被引量：2

15

作者 韩冬雷 金花 +1 位作者 朱亚涛 刘金刚 《计算机应用与软件》 CSCD 北大核心 2014年第10期49-52,共4页

面对短文本信息内容稀疏、上下文语境提取困难的挑战,基于维基百科的结构化信息特征,提出一种利用NMF算法来扩展短文本语义的方法。通过自动识别与短文本信息语义特征相关的维基百科概念来丰富它的内容,从而有效提高短文本信息数据挖掘... 面对短文本信息内容稀疏、上下文语境提取困难的挑战,基于维基百科的结构化信息特征,提出一种利用NMF算法来扩展短文本语义的方法。通过自动识别与短文本信息语义特征相关的维基百科概念来丰富它的内容,从而有效提高短文本信息数据挖掘和分析的效果。实验结果表明与已有方法相比,应用此方法可以进一步提高短文本信息语义扩展的效率和准确率。 展开更多

关键词 短文本 非负矩阵分解 锚文本 语义相似度

在线阅读 下载PDF 职称材料

相关事件挖掘与角色联系发现的研究 被引量：4

16

作者 彭会良 曹存根 《计算机科学》 CSCD 北大核心 2010年第12期149-155,共7页

许多研究人员认为人们是以事件为单位来体验和认识世界的。以动词为核心的事件,把实体概念有机地联系、组织起来,在丰富实体概念间静态联系的同时,也构成了用以表示动态过程的基本单元。但是,事件知识却不容易从文本中直接获取。提出了... 许多研究人员认为人们是以事件为单位来体验和认识世界的。以动词为核心的事件,把实体概念有机地联系、组织起来,在丰富实体概念间静态联系的同时,也构成了用以表示动态过程的基本单元。但是,事件知识却不容易从文本中直接获取。提出了一个以一个事件作为核心挖掘与之相关联的事件的方法。该方法在充分利用句法分析的基础之上,从二元词语扩展到语义更丰富的多个词语,挖掘到了相关的事件短语。在此基础上,机器标注了事件短语的人物角色,最终发现了相关事件与核心事件间的角色联系。实验结果显示,提出的方法从受限的文本语料里得到了大量的相关事件和角色联系,并取得了较高的准确率。 展开更多

关键词 事件 相关事件 角色联系 知识获取

在线阅读 下载PDF 职称材料

事件前提和后果常识知识分析方法研究 被引量：4

17

作者 李闪闪 曹存根 《计算机科学》 CSCD 北大核心 2013年第4期185-192,共8页

事件推理的研究需要事件的知识作支撑。事件知识作为一种常识性知识,其获取仍然是知识获取的瓶颈。提出一种事件知识分析方法,以从多个视角分析事件的前提和后果知识。在对事件知识分析中遵循基础分析、知识丰富、知识优化的流程。针对... 事件推理的研究需要事件的知识作支撑。事件知识作为一种常识性知识,其获取仍然是知识获取的瓶颈。提出一种事件知识分析方法,以从多个视角分析事件的前提和后果知识。在对事件知识分析中遵循基础分析、知识丰富、知识优化的流程。针对分析过程中所得知识不够全面和准确的问题,总结得出生理、心理、社会、物理世界4个常识知识角度,同时在知识丰富步骤中提出了角色细化的方法。实验表明,此方法能够得到较为全面和准确的事件知识。 展开更多

关键词 事件 常识知识角度 多视角常识分析 角色细化

在线阅读 下载PDF 职称材料

Wireshark环境下的网络协议解析与验证方法 被引量：58

18

作者 罗青林 徐克付 +1 位作者 臧文羽 刘金刚 《计算机工程与设计》 CSCD 北大核心 2011年第3期770-773,共4页

网络协议解析通过程序分析网络数据包的协议头及其负载,是一系列网络功能的基础。分析了Wireshark的功能、作用、体系结构以及开发环境,给出了Wireshark在Windows系统下对网络协议解析的两种方法,总结了两种方法的特性。实验结果表明,... 网络协议解析通过程序分析网络数据包的协议头及其负载,是一系列网络功能的基础。分析了Wireshark的功能、作用、体系结构以及开发环境,给出了Wireshark在Windows系统下对网络协议解析的两种方法,总结了两种方法的特性。实验结果表明,在两种方式下添加的协议解析器都能正确解析网络数据包相应协议并分析数据包的负载内容,对网络协议的解析与验证及网络数据包的内容分析具有借鉴意义。 展开更多

关键词 WIRESHARK 网络协议 协议树 协议提交 协议解析

在线阅读 下载PDF 职称材料

改进SIFT算法在文字图像匹配中的应用 被引量：17

19

作者 胡海青 谭建龙 +2 位作者 朱亚涛 龚国成 刘金刚 《计算机工程》 CAS CSCD 2013年第1期239-243,共5页

使用SIFT算法对文字图像进行特征提取时,产生的特征点数目较少,且不同文字产生的特征向量存在强干扰性,导致匹配准确率较低。为此,提出一种改进的SIFT算法。该算法利用二值化图像代替灰度图像,增加特征点数目,并取消SIFT的旋转不变性。... 使用SIFT算法对文字图像进行特征提取时,产生的特征点数目较少,且不同文字产生的特征向量存在强干扰性,导致匹配准确率较低。为此,提出一种改进的SIFT算法。该算法利用二值化图像代替灰度图像,增加特征点数目,并取消SIFT的旋转不变性。实验结果证明,与标准SIFT算法相比,改进SIFT算法能有效提高文字图像匹配的准确率。 展开更多

关键词 文字图像 模板匹配 尺度不变特征变换算法 极值点 特征向量 特征提取

在线阅读 下载PDF 职称材料

基于邻居决策的协同过滤推荐算法 被引量：25

20

作者 李春 朱珍民 +1 位作者 高晓芳 陈援非 《计算机工程》 CAS CSCD 北大核心 2010年第13期34-36,39,共4页

协同过滤技术应用于个性化推荐系统中,稀疏性问题和可扩展性问题成为亟需解决的问题。针对传统方法的不足,提出一种凭借邻居数做决策的方法,比较各个待测位置的用户邻居数和项目邻居数,由数量多的一方作预测,同时对预测值判定给出一种... 协同过滤技术应用于个性化推荐系统中,稀疏性问题和可扩展性问题成为亟需解决的问题。针对传统方法的不足,提出一种凭借邻居数做决策的方法,比较各个待测位置的用户邻居数和项目邻居数,由数量多的一方作预测,同时对预测值判定给出一种合理而有效的度量方法。实验结果表明,该方法能够提高推荐质量。 展开更多

关键词 个性化推荐 邻居数 协作过滤 平均绝对误差

在线阅读 下载PDF 职称材料