基于WordNet与Wikipedia的平面几何本体的构建

针对目前本体构建中存在的如手工构建难以确保高效性和可扩展性,且自动构建难度大,可操作性不强等研究现状,提出了一种基于WordNet和Wikipedia的学科领域本体半自动构建方法。首先构建一个领域顶层本体,在此基础上,重用WordNet的结构,从深度上对其进行术语和术语层次的扩展;同时根据Wikipedia中的页面信息,从广度上对其进行术语间关系的扩展和术语的补充;并将该本体构建方法应用于平面几何领域。实验表明该方法能大大提高本体构建的效率,并在一定程度上保证了本体的质量。

三角函数表达式的计算机自动化简

从人的思维模式和技巧出发,通过观察专家直觉导出了一套三角函数化简规则链表.利用这套规则链表进行推理可以有效地化简一些对人工推导来说也有一定难度的三角函数表达式,同时产生可读的化简过程.有关算法已用Lisp编程实现.文中将它与Maple9和Mathematica作了测试对比,结果显示在三角函数化简功能方面作者的软件明显优于Maple和Mathematica.

基于本体的几何学知识获取及知识表示

文中研究了基于本体的几何学知识获取,并运用此方法获取几何学领域中的类、属性、关系及公理等;同时,研究了基于本体的知识表示,并将几何学知识转化为该领域本体,用RDF/OWL的形式进行描述.在此基础上构建了一个可共享、可重用、可扩展的几何学本体,形成了一套较完整的几何学知识获取和知识表示体系,将其应用于建立几何学知识库,可大大提高知识搜索和知识推理的效率,并为几何学专家系统、几何学信息检索、几何学教育系统、自然语言理解等领域提供智能基础.

基于LDA模型的专利信息聚类技术

针对传统专利情报采集的方式不能适应专利信息快速增加的问题,通过研究适用于专利信息聚类的主题模型和聚类算法,提出了将潜在狄利克雷分配(LDA)主题模型和OPTICS算法相结合的解决方案。该方案采用LDA主题模型将专利信息在词汇空间的高维表达转换到在主题空间的低维表达,高效地实现了对专利信息的降维,进而采用OPTICS算法及k近邻准则对专利信息进行聚类分析,达到收集感兴趣的专利情报信息的目的。理论分析和实验验证表明,提出的解决方案不仅能通过降维,提高专利聚类效率,而且能对专利信息分析提供帮助。

一种基于贝叶斯分类与机读词典的多义词排歧方法

一词多义是自然语言中普遍存在的现象,词义排歧的成功率是衡量机器翻译、信息检索、文本分类等自然语言处理软件性能的重要指标。提出了一种基于贝叶斯分类与机读词典的多义词排歧方法,通过小规模语料库的训练和歧义词在机读词典中的语义定义来完成歧义的消除。实验表明:基于贝叶斯分类与机读词典的多义词排歧算法在标注语料库规模受限的情况下,能取得较高的排歧准确率。

基于Linux下的高性能符号计算平台的实现

符号代数计算在最近十多年已得到了高度重视,各国都在开发具有自主知识产权的高性能符号代数计算平台,如美国的Mathematica、加拿大的Maple和欧盟的Possol等。这些系统已经广泛应用于大规模科学工程计算和理论研究中。但它们仍有种种不足,例如软件调用内存的限制,仅提供面向过程的而非面向对象的设计语言,特别是源代码的不公开性造成了在其上面开发的软件受制于开发平台。笔者目前开发的基于Linux下的高性能符号计算平台建立在快速的大整数运算、多项式运算和因式分解基础上,具有效率高、计算能力强、源码公开等显著优点,同时为用户提供了两种接口,一是在C++语言里提供源程序级类库,用户可以用基本类库和面向对象的程序设计语言编程;二是象大多数计算机代数系统那样提供一种编程语言,用户可以在平台上进行程序设计。这个平台也是我国目前唯一的基于Linux下的高性能符号计算平台。该文重点讨论该平台的实现原理和方法,并与Maple进行了对比测试,结果显示该平台具有更高的效率。

改进的一种图论分割方法在舌像分割中的应用

由于人舌体的特殊性质,从舌像中直接分割舌体时常存在过分割和过合并现象。针对舌像特点提出了一种结合图论分割和多分辨率分割的图像分割算法,用一种图论分割算法让舌像在两种分辨率下分别进行分割,根据两种分割的结果把它们进行交或者并处理,从而有效地分割出舌体。实验结果表明这种方法能够有效避免直接使用图论分割时出现分割过度或者欠分割的情况。

基于AJAX和自动推理技术构建交互式数学Web服务

数学辅助学习平台一直是数学教育和计算机领域的研究热点。传统设计方法在教学互动、智能教育和界面友好性等环节存在若干制约因素。集成领先的AJAX思想和成熟的自动推理算法,提出新的数学Web服务系统设计方法,辅以MathML数学表示语言等多项先进技术,构建一个交互式数学Web服务学习平台。实际运行结果表明,平台具有良好的表现形式和运行性能,为使用者提供一个良好的交互式学习环境。

基于本体与Prolog的平面几何定理证明

基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域知识和实现概念分层,从而能快速地构建几何模型,还可以进行复杂关系间的推理,最终实现基于本体和Prolog规则的平面几何定理证明。

几何命题处理中的中文分词技术

如何将自然语言表述的初等几何命题自动转化为计算机可理解的作图语言是自然语言处理中的空白,也是实现教育软件人机交互的难点。而中文分词是自然语言处理的第1步,分词结果直接影响后期的处理工作。该文通过对几何范围内的受限语言的研究,建立了有效可行的语言理解模型,完成了词素的切分和词性标注,并在程序上得以实现。

XML-CORBA框架的设计与实现

因为安全的问题,防火墙阻塞了除HTTP协议以外的所有协议。设计XLM-CORBA框架可克服Internet和ORB对象通讯的困难。它利用XML来通讯,XML是以文本为基础的,可以被HTTP所传输,可以穿越防火墙。提出了框架设计的思想,并阐述了设计的具体步骤和它的实现。

基于自然语言处理的计算机几何作图

如何将自然语言表述的初等几何命题自动转化为计算机可理解的作图语言是自然语言处理中的空白,也是实现教育软件人机交互的难点。文中通过对几何范围内的受限自然语言的研究,建立了有效可行的语言理解模型,实现了从自然语言到形式化规则的自动转化,并且设计出相应的软件。

基于模式识别的多项式因式分解算法及其应用

讨论模式识别和搜索技术在智能教学软件设计中的应用 ,特别是多项式因式分解的算法和解题过程的自动产生。

语音词汇网单词联想记忆

语音联想记忆是一种高效的记忆方法。为了给学习者提供语音联想的素材,引导学习者进行语音联想,熟悉读音规则,加深对单词拼写和发音的记忆,帮助学习者建立字母组合与相关发音间的双向认知,提出一种基于语音的词汇网。语音词汇网是基于常见字母组合和单词读音之间的差异构建的,因此其中既包含了语音近似度信息,也包含了一定的单词结构信息。利用该网络,学习系统不但可以实现语音联想功能,还能提供语音方面的相关统计信息。语音词汇网的引入能进一步完善单词学习系统的联想记忆功能。

仿分子动理学数据聚类法在基因表达数据上的应用

为了识别出可能具有诊断力的特征基因,常常使用聚类的方法对基因表达数据进行分析,而仿分子动理学聚类法通过仿效分子间的作用力机制能达到对数据聚类的目的。仿分子动理学聚类技术不需要预设簇个数,且可用于估计数据中的簇个数。该方法被应用于基因表达数据,结合相关指标用以估计数据中存在的簇个数和发现可能具有诊断力的特征基因。实验与分析结果显示了仿分子动理学聚类技术具有良好的知识挖掘能力。

基于语义关系对的SVG图形搜索引擎

个性化图形搜索打破了传统的查询方式搜索,将基于关键词的查询方式转变为基于图形的查询方式,使图形的查询具有一定的语义关系,查询结果也更加准确。该文给出一种基于语义关系对的SVG图形搜索引擎。目前大多数浏览器不直接支持SVG图形,但通过该文提出的SVG图形解析器和SVG图形显示器可以对网络上的SVG图形进行检索和显示。

基于TK资源数据库的GUI设计

文中研究基于TK资源数据库的GUI设计。首先给出资源的定义 ,讨论了资源数据库的作用及其管理 。

基于Ontology的平面几何知识库设计

文中给出了Ontology建模方法在平面几何知识库设计中的一个应用实例。先从总体上介绍了Ontology建模方法的思想、框架结构及优点。再详细描述了平面几何知识库的设计、组织结构及其实现。我们提出概念分层 ,等价类存贮 ,启发式双向推理 ,推理经验生成 ,交互解题 ,数字测试等多种平面几何知识库的相关技术 ;能生成与“吴法”等代数方法不同的、传统的、较优的可读证明 ;并提高了系统的重用性、可靠性。

基于移动互联网的文献个性化推荐系统

为了满足科技工作者对文献获取和阅读的便捷性、高效性及个性化的需求,提出了一种基于移动互联网的文献个性化推荐(MIPLR)系统,并阐述了系统的体系架构以及各个模块的功能及实现。通过实现基于接受者请求的推送模型,解决了大量移动用户内容自动获取的问题;构建科技文献领域的垂直搜索引擎,解决了文献资源获取的问题;采用向量空间模型(VSM)表示文献资源与用户模型以及使用用户阅读行为反馈机制动态更新用户模型,来推荐准确的文献资源给用户。实验结果表明,该系统有效地提高了用户文献检索效率和推送结果的准确率,可以持续、自动地为用户提供符合其兴趣爱好的文献资源,为用户节约了大量的时间与精力。

Win32中钩子的实现技术及其应用

钩子 (HOOK)本质上是Windows消息处理函数 ,应用程序可以利用它来监视指定窗口的某种消息 ,当消息到达后 ,在目标窗口处理函数之前处理它。随着网络技术的发展 ,该技术在远程教育 ,远程医疗和远程维护方面有着广泛的应用 。