基于查询语法扩展的隐性语义关系查询研究

在充分分析语义网查询语言的语法功能及查询实现的基础上,提出在语义网查询语言的查询语法基础上增加用于查询资源对象间隐性语义关系的语法逻辑。并以实现语义查询的开源软件为基础增加隐性语义查询的算法实现。然后在已有的RDF关系数据集上进行隐性语义关系查询实验,实验结果显示隐性语义关系查询语法能为基于语义网的应用提供显著的隐性语义关系发现的功能。

一种基于语法扩展的自动互斥锁实现机制

针对多道程序开发过程中存在的互斥锁标准不统一、使用复杂、易造成死锁等不足,提出扩展C/C++标准语法,增加临界资源定义及操作关键字的方案,通过隐藏互斥锁的概念及实现从而降低开发复杂度、实现平台无关.在扩展语法基础上,提出采用分支栈检查算法在代码进行临界资源访问顺序合法化及配对完整性检查,可有效地减少死锁隐患、增强系统的可靠性.

基于Haskell语言的泛型扩展研究

泛型即通过参数化类型来实现在同一份代码上操作多种数据类型。泛型编程是一种编程范式,它利用"参数化类型"将类型抽象化,实现灵活的软件复用。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。文中旨在Haskell语言上进行泛型的研究与应用,Haskell语言是一门广为流行的函数式语言,它的计算模型简单,程序语法清晰,易于编写,易于维护。文中利用一些规则对Haskell语言的语法进行扩展,同时引入泛型编程的思想来研究新的函数定义方法,最后在Haskell语言上实现泛型功能。

XML模式的扩展研究

XML是目前已被广泛采用的WWW上信息交换和表示的技术之一,被称为Internet时代的通用数据格式。首先针对现有的XML语法进行了抽象及封闭性分析,得到了扩展XML语法,然后开发了一个分析器,对由此扩展语法生成的对象进行分析,实验表明,扩展后的XML语法具有较W3C规范的XML语法有更一般的表现力。

假设连词“哪怕”的演变及其动因

现代汉语假设连词"哪怕"来源于动词"怕"。"怕"从动词演变为副词又演变为连词,句法位置的改变和词义的虚化是其主要动因,而语法扩展则是"怕"完成双音化演变为连词"那(哪)怕"的主要动因。笔者试图对假设连词"哪怕"为个案做出初步的考察,以探寻汉语连词演变的途径。

函数式语言泛型特性的研究与实现

对于泛型程序设计来说,类型的参数化多态是其理论框架,参数化多态引入了类型变量,使得类型参数化,支持类型上的抽象,从而可以大大提高软件的复用程度。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。在函数式语言上进行泛型的研究与应用,Haskell语言是函数式语言中较为经典的一种语言,它的计算模型简单,语法清晰,易于编写,易于维护,拥有很大的发展空间。利用一些规则对Haskell语言的语法进行相关扩展,同时引入泛型的思想,研究与运用定义泛型函数的方法,在Haskell语言上实现了泛型功能。

基于O’Caml语言的通用编程技术

O’Caml语言是一门优秀的函数式程序语言,具有计算模型简单、语法语义描述清晰等特点,而通用编程技术方法通过高度抽象算法、数据结构及其他软件组件可以避免功能相似代码的重复编写.针对如何将通用编程技术方法和O’Caml语言相结合来提高O’Caml程序复用程度的问题,通过对O’Caml语言语法进行扩展引入类型标记1函数,然后运用类型结构化转换和类型映射机制,实现通用函数,从而达到在O’Caml语言中引入通用编程技术的目的.实例结果表明,在O’Caml语言中实现通用编程技术,有效提高了编程效率和程序的通用性.

O'Caml泛型编程中“泛型抽象”的研究

泛型编程旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同。泛型编程可以使算法与数据结构完全分离,极大提高了程序的灵活性。在O'Caml语言中已经实现了类型标记函数和泛型函数,但泛型函数的类型参数只能是基本类型或实例化类型,不能使用抽象类型。"泛型抽象"是指使用抽象类型作为类型参数的函数定义方法,实现了"泛型编程"类型参数的多样化。文中在O'Caml语言上进行"泛型抽象"的研究,根据规则对O'Caml语言语法进行扩展,并在O'Caml语言中实现了"泛型抽象"函数定义。

Java同步线程模型的缺陷以及改进措施

目前解决Java同步线程模型缺陷采用的是急救包类库的方式,但是此方法面临着一项重大技术难题,就是代码无法或者很难实现优化。针对Java同步线程模型缺陷问题,可以采用扩展synchronised关键字语法,使其能够接受超时说明,并且支持多个参数;解决超时检测问题,可以重新定义wait(),便于返回boolean变量,这样超时检测得以解决;扩展语法来解决同步的问题。从而,Java同步线程模型的缺陷得以解决,程序稳定且可以优化。

湖南常德方言“NP+一个人+XP+些”极比构式考察

西南官话常德方言中,“NP+一个人+XP+些”极比构式是一个主观性极强的构式,构式义表示说话者主观认为NP在性状上达到极性程度。对极比构式的句法语义进行共时考察表明:自由变量NP随着[+生命度]等级降低,语义逐渐抽象化;自由变量XP可由性质形容词、程度动词和相关谓词性短语充当,具有[+描述性]、[+无界性]、[+弥散量]的语义特征;运用语法化扩展效应理论阐释恒定常量“一个人”语法化为表强调的准副词;运用认知上“图形—背景”关系阐释极比构式极性程度的浮现机制。