面向地理课程自动解题的本体知识库构建

解题所需知识库的构建对自动解题尤为重要。在利用本体知识库解答地理试题时,希望尽量减少本体构建中的人工参与成分。为此,首先对地理试题文本进行分词,并利用TF-IDF算法实现试题文本中的概念实体抽取;然后设计基本术语层次关系表,实现试题文本中的概念实体关系构建;最后利用Jena推理机将概念实体关系进一步规则化为OWL本体,并利用protégé工具对其进行调整和优化。在所收集地理试题集上的实验结果表明,本文所提出的本体构建方法对各类试题的知识库构建有明显的效果。     

基于OWL的网络教学资源本体知识库构建

本文针对当前教育界虽然拥有丰富的网络教学资源,而互联网上却缺少可重用的网络教学资源的现状,本文探讨了本体技术和Web服务技术对网络教学资源系统的支持,并提出了基于本体和Web服务的网络教学资源库应用框架结构,目的是为了让网络教学资源库能提供概念共享模型,建立概念语义空间,并用本体标准语言OWL进行形式化描述,从而解决知识共享和语义互操作问题,同时也为解决机器理解问题提供了一种办法.     

面向语义的课程知识本体的构建

相对于目前常用的基于关键词字面匹配的检索方法,语义网的信息组织作为一种全新的信息组织方法和理念,为网络信息组织带来了新的变革。本体是语义网信息组织的核心,本体及其推理能力代表了现代信息组织,特别是网络信息组织的发展趋势,它不仅有利于信息的形式化描述,而且依据本体这种信息组织方法而建立的检索系统,更能满足用户进行语义检索特别是智能检索的需要。面向语义的课程知识的检索以语义理解为基础,在很大程度上揭示了信息语义的扩展性,加大了对知识的处理和理解能力。基于本体的语义信息检索在构建领域知识本体结构的基础上,通过对领域本体资源的语义信息的获取,来理解用户的检索需求,语义描述检索语句和文档的资源,从而实现信息检索。因此,如何构建课程知识本体成为现阶段教育变革的热点话题。本论述以谭浩强所著《C程序设计(第三版)》课本为基础,以创建该门课程的本体模型为例,讲述面向语义的课程知识本体的构建。     

地理本体的分层构建方法

基于本体的信息检索技术能形成较好的语义理解,能有效地提高信息检索的效率.试图将本体在信息检索中的部分研究成果运用到GIS领域,研究基于本体的地理信息检索方法.在构建地理本体时,通过领域本体生成应用本体,由此产生的应用本体采用相同的数据结构,使地理本体具有良好的共享性和扩展性.     

一种领域本体自动构建策略

本体是一种知识重用、知识共享和知识建模的重要工具.提出了一种以概念分层理论和KDD(knowlegdediscovery in databases)技术进行领域本体自动构建策略,通过对信息提取、建模以及利用概念分层理论进行领域本体的自动框架建设,并使用KDD技术进一步对领域本体进行自动扩建,达到自动构建领域本体的目的.实验结果表明该策略精度高且简便易行,具有较高的可行性和有效性.     

应用于植物建模的本体知识库系统构建

建立适合于整个植物学领域的本体库和以马尾松为特定植物类型的规则库,研究基于本体的知识库系统的总体架构,并开发了各功能模块.将本体知识库系统应用于植物几何建模.试验表明,本体知识库系统引导下的植物几何建模方法能全面、系统地将各种领域知识来约束、驱动建模全过程,有效降低了植物建模软件的复杂度,使虚拟植物建模只专注于实现树木的三维重塑,而由知识库系统负责植物学知识服务,实现了软件开发和知识运用的分离.     

本体的半自动构建技术

为了处理海量的异构信息,达到知识共享的目的,介绍和研究了半自动构建本体过程中涉及到的众多理论、技术和方法;介绍了构建本体的准则和方法;比较和分析了构建本体所需的几种常用的编辑工具;回顾了本体的半自动生成技术;介绍了本体的丰富技术,并对各种技术的不足之处做了分析.这些技术可以有效地帮助和指导用户半自动构建满足需求的领域本体.     

基于领域本体的知识库架构和实现

知识库是基于语义的信息检索进行推理和知识积累的基础和关键,而本体Ontology则是知识库的基础.对基于本体的领域知识库架构及知识推理系统进行了分析研究,以高中生物学知识库的构建为应用背景阐述了领域本体概念树的抽取过程,并应用建模工具Protégé构建了OWL语言描述的生物学领域知识库实例,为下一步实现知识推理完成了知识表示.     

面向水土保持措施适宜性评价的本体知识库构建

针对无法实现水土保持领域内知识的重用与共享的问题,研究基于本体的知识库构建方法,研发水土保持措施适宜性评价知识库系统,并以福建省长汀县梯田措施的适宜性评价为例验证系统的科学性和有效性.结果表明,本体知识库能够有效实现水土保持领域知识与经验的重用,提高水土保持措施适宜性评价的科学性.     

基于本体知识库的建设用地疑似用地问题自动发现

城镇化发展过程中,建设用地的用地过程监管力度逐渐加大。为实现疑似用地问题的早发现,规范土地资源的使用,设计了一种基于本体知识库的建设用地疑似用地问题自动发现的技术路线。具体路线是针对目前疑似用地问题自动化判别方法研究的不足,借鉴本体知识库,对建设用地监管对象进行概念化表达,设计了建设用地监管对象本体。通过分析建设用地监管过程中的各类用地问题形成对应的问题指标;并构建对应的问题指标本体。基于监管对象与问题指标的关系构建相应的推理规则;并形成规则库。结合推理规则库与本体库进行自动化逻辑推理,发现疑似用地问题。最后通过案例实验,检验推理结果的准确性。实验结果表明基于本体知识库的建设用地监管疑似问题发现技术可行,该技术能够为建设用地动态监管提供一种问题实时发现的手段,对科学管理用地及进行用地决策具有一定的辅助作用。     

Construction of domain Web classification ontology based on suggested upper merged ontology

Aiming at the problem of merging heterogeneous semantic taxonomy emerged in Web information integration, a method of building Web classification ontology （WCO） has been proposed. A WCO that is logically consistent with the suggested upper merged ontology （SUMO） is defined, together with axioms needed to classify Web pages. WCO can be used as a foundation of merging heterogeneous semantic taxonomy, and could be used to support Web information integration and classification based Web information retrieval.     

一种基于向量空间模型的Web本体自动分类方法

在分析了Web本体的结构特征和语言学特征基础上,引入虚拟文档的概念,定义整个本体的虚拟文档为与主题相关的vocabularies的虚拟文档的组合.以虚拟文档中的词条作为Web本体分类的特征项.基于RDF图不容忽视的图状特性,在构造自RDF图本体的词汇依赖图(vocabulary dependency graph)之上采用相关基于图的排序算法,得到与构造本体虚拟文档相关的vocabularies对于该本体的重要性权值,进而计算特征项的权值.     

国家数学课程标准中的"解决问题"

从“问题解决”的背景和含义出发 ,探讨了国家课程标准中“解决问题”的设置类型及相应的教学目标、教学策略 ,突出强调了数学课程教学中“问题解决”的“过程性”目标     

Solving the membrane protein folding problem

One of the great challenges for molecular biologists is to learn how a protein sequence defines its three-dimensional structure. For many years, the problem was even more difficult for membrane proteins because so little was known about what they looked like. The situation has improved markedly in recent years, and we now know over 90 unique structures. Our enhanced view of the structure universe, combined with an increasingly quantitative understanding of fold determination, engenders optimism that a solution to the folding problem for membrane proteins can be achieved.     

多目标多阶段决策之求解

本文提出了两阶层评价决策的方法,即求出非劣解之后再求其偏爱解,并将动态规划的原理推广到多目标求非劣解的情况。还提出在一定条件下可采用线性加权化为单目标动态规划来求解。此法简捷,避免了繁复的向量集合运算。最后用一实例来说明。     

Solving liveness problem for marked nets by exhaustive coverability trees

It is well known that a coverability tree of a Petri net cannot solve reaehability and liveness problems of the net because using symbol ω (infinity.) may lose some information. A solution to this problem is presented for a special kind of Petri net, marked net. With the combination of o and the increasing/decreasing information of token number, a new kind of coverability tree of marked nets, called exhaustive coverability tree (ECT), is proposed. It is shown with an example that an ECT can be used to detect deadlock.     

基于混合算法求解指派问题

本研究建立了指派问题的数学模型,提出了以遗传算法和蚁群算法相结合的思想及其解决方案．算法主要是将每一个任务作为一个基因位形成染色体,以遗传算法控制寻优方向,更适宜解决组合优化问题．实验结果表明,使用此算法解决指派问题,提高了搜索效率,能够在短时间内找到最优分配方案,证明该算法是可行的．