基于语义的构件检索

根据构件检索的研究现状,通过增加语义特征,改进了基于刻面分类的构件描述模型.结合领域本体,提出了基于语义的构件检索过程模型及相应的概念语义匹配算法.在基于语义的构件检索过程模型中对其中的构件推理引擎、构件分类引擎的实现进行了详细说明,并给出了贝叶斯分类方法在构件分类中的具体应用.实验表明,基于语义的构件检索方法提高了构件的查全率和查准率,证明了此方法的可行性和有效性.     

语义搜索引擎Smartch的设计与实现

为了将推理与文本检索有效融合起来,提出了一种包含多类型查询的语义搜索引擎体系结构,在此基础上设计并实现了语义搜索引擎系统Smartch.Smartch基于合理的推理流程和图形化定制过程,提供4种形式的搜索服务,分别是基本搜索、概念搜索、图形化定制搜索及关联关系搜索.实验结果表明语义搜索引擎Smartch和传统搜索引擎相比,在本体推理的基础上,查全率和查准率上有一定的提高,图形化定制查询可准确定位用户需查询的概念,关联关系搜索可发现概念之间存在的复杂关系,Smartch实现了一定程度的智能搜索.     

Web挖掘技术在搜索引擎中的应用

本文针对目前搜索引擎存在的不足,充分研究了个性化搜索引擎的发展现状,设计并实现了一种个性化搜索引擎,同时提出了一种查询语句优化策略,在此基础上,又对基于语义Web的搜索引擎进行了研究探索。     

时间图查询在实验设备管理中应用

合理有效地管理实验设备有利于提高设备的利用率,现将时间图查询用于实验设备的管理,可以丰富查询的语义,提高设备的查询效率.将设备的使用情况抽象成一个大的时间图,将用户的查询请求转换为一个查询图,利用图匹配技术查询出相关的结果.为实现查询图的匹配,提出了3种相关算法:朴素匹配算法(NM)、基于BFS的点匹配算法(BVM)和...     

支持语义web模糊本体的描述逻辑

为实现语义web上包含复杂模糊知识的模糊本体的表示和推理,提出了一种描述逻辑的模糊扩展———支持比较表达式的模糊描述逻辑(FCDLs).给出FCDLs语法和语义的形式化定义,并规定FCDLs知识库中的公理和断言形式.FCDLs将模糊描述逻辑(FDLs)中的模糊概念和扩展模糊描述逻辑(EFDLs)中的截概念结合在同一理论中,并将截概念扩展为比较截概念,从而支持对实际中经常用到的模糊隶属度之间比较表达式的描述,而其他的描述逻辑模糊扩展均不支持比较表达式.FCDLs具有比FDLs和EFDLs更强的表达能力,能够表示复杂的模糊知识并基于它们完成推理任务.因此FCDLs可实现语义web上包含复杂模糊知识的模糊本体的表示和推理.     

语篇元功能的语料库支撑范式介入

语料库支撑范式是研究系统功能语法的一个新视角,它建立在对大规模语料的检索、半自动标注基础之上,是一种理论验证与语料驱动相结合的研究方法。语篇元功能的语料库支撑范式介入研究首先是指衔接系统被模型化为可供检索的词型或正则表达式; 然后,以代表不同衔接意义的检索列表或正则表达式为检索项对文本检索,必要时可建立与之相关的附属语境词集; 最后,通过对检索行的解读和分析来建立语篇元功能的意义概率模型。     

LTSA conformance testing to architectural design of LMS using ontology

This paper proposes a new methodology for checking conformance of the software architectural design of Learning Management System (LMS) to Learning Technology System Architecture (LTSA). In our approach, the architectural designing of LMS follows the formal modeling style of Acme. An ontology is built to represent the LTSA rules and the software architecture in Acme style. Conformity of the design with LTSA rules is tested by reasoning the ontology with the query language SPARQL. A Java-based plug-in system is introduced to implement functionalities like loading the elements of the architectural design into the ontology, mapping the architectural elements with LTSA elements, and performing the conformance test. The advantage of the proposed methodology is two-folded. First, it verifies an important software quality attribute – conformance to technical standard – at an early stage of development, like high-level design phase. Secondly, instead of the conventional manual checklist based approach of conformance testing, this methodology focuses on an automated way to finding the conformance level of the system under check.     

一种科技服务资源虚拟化与存储访问方法

为促进科技资源的跨区域共享及便捷利用,研究了一种科技服务资源虚拟化与存储访问方法。提出包含信息服务/物理资源层、虚拟资源层和资源应用层的科技资源虚拟框架,定义了科技服务资源表示模型。结合科技服务资源的功能属性和非功能属性信息,给出科技服务资源的领域本体和语义定义。设计科技服务资源的统一存储模型,借助Ontop工具实现SPARQL语义查询。测试运行结果显示,构建的科技资源本体和存储模型语义查询正确。该科技资源虚拟框架分层合理,能够有效实现科技资源表达、本体构建和语义定义,且资源存储方法灵活、方便,可有效实现资源的语义查询。     

L’Intégration de Nouvelles Connaissances: Entre Arithmétique et Algèbre

This study analyses students integration of new knowledge in the domain of elementary algebra, which is based on arithmetics, but differs from it in a number of ways. Subjects aged between 11 and 16 years were presented with a task which consisted in evaluating equivalence of either numerical or algebraic isomorphic expressions. The results indicate that the context plays an important role in determining the choice of a strategy of comparison. In evaluating algebric expressions, students use formal rules. The observed errors derive from over-generalisation of prototypical rules and their conditions of application. In the case of numerical expressions, the dominant strategies are re-writing procedures: these may or may not be followed by quantitative evaluations of the resulting expressions. Errors are less frequent, but our analyses show that the semantics of the procedures are not always well understood. In sum, students posses a fair amount of knowledge of various kinds, but this knowledge is not well integrated or interrelated. Hence their knowledge base is not very stable and can easily become deformed.     

正则表达式在防火墙上的应用研究

通过对正则表达式的研究,采用正则表达式对防火墙过滤规则进行校验,以避免错误的过滤规则被输入防火墙系统中,提高防火墙系统管理员的工作效率。     

温州非物质文化遗产的知识产权保护研究

温州的非物质文化遗产蕴藏量很丰富。本文从知识产权的视角,对温州的非物质文化遗产如何保护提供了知识产权屏障与支持的路径,认为应根据非物质文化遗产性质、类别的不同,结合现行的著作权、商标权、专利权、地理标志权等具体的知识产权制度全方位、立体地加以保护。     

论认知语义学及其对语言教学的意义

认知语义学是认知语言学研究的核心内容.它以体验哲学观为基础,以身体经验和认知为出发点,主张意义的构建是认知的概念化过程,而概念化过程以心智的体验性为基础,以意象图式结构为中心,通过隐喻性推理进行运作.认知语义学力求对语言意义产生的认知机制做出统一而合理的解释,为语言教学提供新的研究视角和理论支持.     

基于谓词逻辑的数据转换模型的设计

本文给出了数据转换的实现模型，并提供了数据转换的一种形式化描述，实践表明：该模型能很好地将转换过程和转换规则与约束结合起来，为实现数据的语义转换奠定了基础。     

一种构造Prolog程序子句本体的方法

为了使Prolog推理引擎可以从一定程度的语义上来区分子句,通过概念图的形式对Prolog程序的子句建立本体.子句本体的概念模型通过其谓词参数和头子目标来建立,而头子目标是指出现在规则体首部并且位于任何谓词调用之前的子目标集合.所提出的方法把一个Prolog程序转换成包含其子句本体的Prolog CG程序.实验表明,通过对Prolog子句建立本体,可以尽早地去除与当前目标明显不匹配的子句,从而使得目标求解树的规模减小.在概念图的描述形式下,子句本体使得Prolog程序的语义更清晰可读,在某些情况下能明显加快程序的求解过程.     

甲骨文同位短语的判定和同位项关系

甲骨文判定同位短语要以句法语义为基础，以辞例和殷商历史文化为参照，且不忽视弹性原则。商代甲骨文典型同位短语的结构方式有“名 名、名 数、名 数名、数名 名、代 名、代 数名、名 代”。同位项表现了事理上的平行或总分关系，逻辑上的同一、属种或种属关系。有的同位项顺序不可以随意变换。     

基于内容自动扩展的多示例查询图像检索技术

为了缩短基于内容图像检索存在的"语义鸿沟",提出了一种自动扩展的多示例查询技术.该技术将传统检索使用的单一查询图像自动扩展为多个查询示例,从而包含了更多的与语义相关的图像特征.对这些查询示例进行检索,并融合检索结果,可以获得更多相关图像.扩展主要利用了一般检索算法的查准率-查全率曲线特点,对原始查询结果的图像特征距离应用K-均值聚类算法,确定多个查询示例图像.实验结果表明该方法可以显著提高原有检索算法的查全率和查准率.     

关于高职英语词汇教学的几点体会

本文分析了目前高职英语词汇教学中存在的一些主要问题，倡导高职英语词汇教学应以核心词汇教学为中心，7充分应用语音学、语义学的基本规则来展示词汇的系统性、联系性，化机械记忆为理解记忆。同时还根据心理学上的遗忘曲线实验结果，强调定期复习词汇的重要性。     

模型检查在测试用例生成中的应用

按照存在量词公式的证据是全称量词公式的反例的特性,通过考察时态逻辑算子,用模型检查的反例生成机制对测试用例生成技术进行研究．然后把模型检查的算法引入到软件测试领域,寻找验证的路径,生成测试用例,据此对系统进行测试．通过实例说明了测试用例的具体实现过程．     

基于语义的搜索算法研究

基于XML得出改进的语义表示法,能解决当前常用网络搜索引擎缺乏理解用户想法而导致查询结果不满意的问题。文档解析算法、模式匹配算法、生成XMLSE文档算法等几个基于语义搜索的核心算法,辅以人工标注和建立规则库,构成一个语义网络,能达到精确的搜索,提高搜索效率。