“真”无时态语言研究

尚无足够有力的证据表明,人类语言句法中必然有时态表征。对于无显性时屈折语素的语言而言,假定其句法中有可区分将来和非将来的时态成分,需要回答这样一个问题,即这一有时间指称功能的时态构件如何能够在没有任何形态证据表明存在时间语义对比的情况下被习得;而如果假定其句法中含无时间指称的填充性时态部件,需要论证该成分对句法推导有益。但从相关语言语料来看,为句法设立填充性时态部件也证据不足。如此,可以认为存在"真"无时态语言。"真"无时态语言可以通过语气情态和体貌来表达时间性语义。有证据表明,汉语可能也是"真"无时态语言。

汉语是一种“无时态语言”吗?

因为汉语没有明显的时态标记,所以不少学者认为汉语是一种无时态语言。但是,我们通过实例分析和比较,发现现代汉语的动态助词“了 1 ”也可以满足如下时态语言的要求: 1)“了 1 ”作为时态标记,出现在动词之后,把事件时间锚定在时间轴上;2)它可以把“先时/非先时”区分开来;3)虽然不是所有动词都能与“了 1 ”搭配使用,但是随着时间的变迁,它逐渐打破了这一限制。也就是说,没有带上终点的状态类、活动类动词本来不能跟“了 1 ”结合,但是通过语料库调查,我们发现有些状态类、活动类动词也能跟“了 1 ”搭配使用。由此可见,虽然“了 1 ”还没虚化为一个完善的时态标记,但它的时态功能也在不断地强化。换句话说,“了 1 ”已经开始发生从体标记到时态标记的转变。值得注意的是,因为它还处在变化之中,所以有些方面不太符合时态语言的要求。为了更加明确地说明上述现象,我们认为现代汉语是一种介于“时态语言”与“无时态语言”之间的“半时态语言”。

时态查询语言的并发Lambek演算及范畴语法

时态逻辑不可递归公理化的性质,造成它的公理化系统和证明论方法不适于时态查询语言的建模.这使得时态逻辑无法利用公理化系统的良好性质及相关证明论方法对时态数据库的推理和查询做更为严谨和细致地刻画.因此寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析是必要的.考虑的2个主要工具是作为句法分析工具的以Lambek演算为核心的范畴语法系统,和作为语义分析工具的类型演算λ-演算.这主要是基于类型论的演算特点、SQL语句与陈述句的相似性、Lambek演算和λ-演算的公理化与证明论方法,及它们作为句法和语义分析工具之间的密切联系与对应性决定的.据此从Lambek演算出发,结合时态的处理,构建了并发的Lambek演算(LCTQ)及相应的范畴语法,对以公理化系统为基础的时态查询语言的句法分析做相关研究,并从证明论性质上保障了计算性资源,使得系统更为严谨和完善.

时态查询语言的扩展

讨论了时态数据库处理不明确时间存在的一些问题,并给出了描述不明确时间间隔的方法。之后扩展了各种时态运算,并给出了与不明确时间相关的新运算符。最后给出了能够处理不明确时间的查询语言扩展。

时态查询语言对处理不明确时间间隔的扩展

关于时态数据库的先前工作 ,主要是建立在时态属性的时间间隔和事件的开始 /终止点都十分清楚的基础上。然而 ,在许多实际情况中 ,事件的时间界限并不十分清楚。因此 ,表示不明确时间 ,并给出处理不明确时间查询的方法 ,是对时态数据库中目前仍缺少的一个有效的扩展。讨论了时态数据库处理不明确时间存在的一些问题 ,并描述不明确时间间隔的方法。之后扩展了各种时态运算 ,并给出了与不明确时间相关的新运算符。也提出了能够处理不明确时间的查询语言扩展。在此讨论的时态查询语言对处理不明确时间间隔的扩展和丰富时态数据库的适应性有一定作用。

时态空间查询语言及时态空间GIS结构模型

时态空间数据一体化是实现地理信息共享与发布的基础，在总结相关领域研究状况的基础上，对时态空间数据库在地理信息系统上的实现进行了一些探讨，设计了一种混合式时态空间查询语言，并以此语言为基础，构建了时态空间地理信息系统结构模型。

HBase中时态查询语言

ＨＢａｓｅ是在ＤＯＳ／Ｗｉｎｄｏｗｓ下实现的时态数据库管理系统，其结构采用的传统关系数据库的时态扩展．讨论了它的语言风范、ＤＤＬ和ＤＭＬ语言的时态句法以及ＨＢａｓｅ实现中的特殊技术．

正则模型类的时态可定义性

正则模型是非正规模态逻辑的模型,通过定义正则模型的不相交并、C2t-互模拟、生成子模型、C2t-超滤扩张等模型上的运算,可以证明一个正则模型类在时态语言中可定义当且仅当它在不相交并、满C2t-互模拟像、C2t-超滤扩张下封闭,并且它的补类在C2t-超滤扩张下封闭.该刻画定理说明了时态语言在正则模型类上的表达力.

基于时态逻辑语言XYZ/E的软件体系结构研究(I)——基本组件和连接件的描述

XYZ/E是世界上第一个可执行的时态逻辑语言 ,它既能描述抽象静态语义 ,又能表示程序的动态语义 ,这一特征恰好适合分层描述软件体系结构。本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件 ;它为进一步描述体系结构风格提供了一个基础。

基于时态逻辑语言XYZ/E的软件体系结构(Ⅱ)——常见体系结构风格的描述

XYZ/E是世界上第一个可执行的时态逻辑语言 ,它既能描述抽象静态语义 ,又能表示程序的动态语义 ,这一特征恰好适合分层描述软件体系结构 ,文 [1]采用XYZ/E语言刻画了软件体系结构的基本组件与连接件。本文讨论如何通过对这些组件及连接件进行特定的组合 ,来表示几种重要的软件体系结构风格。

面向时空特性的地理信息元数据组织方法

针对目前地理信息元数据管理与组织中存在的不能有效描述地理信息资源的时态性质,忽略资源的时效性和时空查询效率低的问题,面向时空特性,针对信息组织的合理性、时空检索的快速性和使用信息的时效性,提出了一种组织地理信息元数据的方法。首先采用时态可扩展标记语言(XML)元数据描述资源以达到描述、存储的合理性,提出地理信息资源时效性本体以定义时效性分类、关系和规则,然后利用HR-树索引时空信息以提高查询效率,最后给出应用实例,说明方法的可行性。实验分析表明,该方法能够有效考虑地理信息资源的时态性质,并显著提高资源检索的时空查询效率。

CATALAN NUMBERS, DYCK LANGUAGE AND TIME SERIES OF ELEMENTARY CELLULAR AUTOMATON OF RULE 56

A new approach to study the evolution complexity of cellular automata is proposed and explained thoroughly by an example of elementary cellular automaton of rule 56. Using the tools of distinct excluded blocks, computational search and symbolic dynamics, the mathematical structure underlying the time series generated from the elementary cellular automaton of rule 56 is analyzed and its complexity is determined, in which the Dyck language and Catalan numbers emerge naturally.