Query Languages for Temporal Database

In this paper, an interval-gap-based 1NF temporal tuple calculus language and the corresponding temporal relation algebra are established on the basis of considering the trouble of stack operations in both S. Gadia’s TCAL and temporal tuple calculus due to their NINF.

基于BCDM的双时态关系代数

双时态概念数据模型BCDM是一种重要的时态数据库模型 ,基于BCDM模型 ,建立了一种双时态关系代数 首先 ,对时态数据库事务时间和有效时间进行规范化的定义 ,给出BCDM中时间元素的规范化定义和演算描述 ;而后 ,定义时态映射 ,用以描述BCDM中的双时态元组 ,并形式描述时态映射的演算 ;最后 ,用时态映射定义的元组对双时态关系进行定义 。

一个实时数据模型

本文提出了一种实时数据库的数据模型 .给出了三种基本实时数据对象和基于实时数据对象的实时数据库的定义 .然后着重讨论了实时数据对象的时间关系代数操作和实时数据库的定时限制 .

主动数据库的时序事件代数

通过引入一元时序算子 ,表达事件之间任意复杂的相对次序关系 ,在此基础上重新定义了描述复合事件的时序事件代数 ,并证明了该事件代数良好的数学性质 .不仅增强了事件描述语言的描述能力 ,也为处理规则执行的合流性提供了新的方法 .

基于Rough表达的时态关系代数

现实世界的信息是和时间紧密相关的,因而记录和处理信息的数据库系统应该对时态问题进行考虑,以便更有效地解决现实问题;另一方面,现实世界的某些属性又很难用属性值简单描述。首先是用Rough理论对属性值进行一种刻画,用二元数组来表达属性值,并且将这种属性值的表达方式推广到一般情形,而后从时态映射的观点描述时态元组和时态关系,并由此形式描述相应的时态关系运算,从而建立了一套时态关系代数体系。

一个模糊时态关系代数

时间无处不在的特性要求数据库管理系统提供模拟现实世界中与时间有关的数据的设施．本文建立了一个模糊时态关系代数，它避免了本文中提到的现有时态数据库的一个弱点．

事件的模糊离散时间区间的表示

由于现实世界中事件的持续时间难以精确测量,以及起始时刻及结束时刻的模糊性,使得Allen的区间代数不能很好地刻画事件的模糊时间区间。首先将时间区间离散化,然后用事件的持续分布的概念来表示事件的持续时间,并用时间区间来近似持续分布,使得可以应用Allen的区间代数来进行相应的时态推理,最终给出了求主时间区间的算法。

模糊时态数据库关系代数演算规则分析

为了解决时态数据库对客观世界更符合实际抽象描述,能有效表示和处理复杂对象的模糊时态特性,从基本模糊时态数据模型入手,定义了一系列模糊时态关系操作元素,并论证了模糊时态区间关系代数的语法和语义,建立了一个能描述模糊时态信息的关系代数理论体系.避免了时态数据库不能提供表达模糊时态信息的环境设施,也增强了现有的时态数据库描述模糊事物特性的能力.

基于区间矩阵的时态关系的简化方法

用区间代数能表示不确定的时态关系,可以方便地应用于时态推理,表达能力强。将区间代数及区间矩阵中有端点相等的基本关系去掉,只保留现实世界中真正可能发生的基本关系,大大降低了问题的复杂性,然后,对每个原子矩阵建立一个特征集,用特征集的并运算来取代矩阵的复合运算,提高了计算效率。

基于DATL的信息物理融合系统安全性建模与验证

为解决微分时态动态逻辑(d TL)表达能力弱以及微分代数动态逻辑(DAL)缺少时序表达能力的问题,提出了一种结合d TL和DAL的微分代数动态时态逻辑(DATL).采用微分代数程序(DAP)作为操作模型,使DAL具有d TL的时序处理能力.定义了DATL操作模型的DAP和DATL语法,给出了DAP的迹语义和DATL语义,在继承d TL和DAL规则的基础上新增了6个规则.通过对飞机避撞系统安全性的规约和验证,检验了DATL的有效性.

INDU网络的解析表达及其一致性计算

INDU网络在区间代数的基础上引入了时间区间的长度,细化了时间区间之间的定性关系,使得时间定性推理的精确性有所提高。本文给出了INDU网络的0维、1维及2维的共计25个解析公式,用解析的方法来刻画INDU网络,并用它来实现INDU网络全局解的一致性计算。

军事MAS中战斗行为协调的计算

在军事MAS(multi-agentsystem多自主体系统 )中制订规划 /计划时需要对任务和战斗行为相互间存在的依赖关系和时序关系进行分析 ,计算出可保障MAS中相互进行良好协作的行为序列 ,避免因可能发生的时序错误、冲突造成协作失败。论述IA(区间代数 )网络计算应用于军事MAS中的任务 /战斗行为协调时的基本方法和应注意的问题。

基于BCDM的含有变量的双时态关系代数研究

在BCDM(双时态概念数据模型)中,时间变元Now和UC的存在解决了时态记录的频繁更新问题;但是时态变元的存在又给数据库的操作带来某种不确定性甚至是错误,同时引起关系代数运算的歧义。基于BC-DM,通过绑定时间变元,用时态映射的集合定义时态关系,由此建立了一种含有时间变元的双时态关系代数体系。该关系代数体系在双时态运算下是封闭的。

时态关系代数与元组演算的等价性

建立了一个时态关系代数和时态元组演算并证明了他们间的等价性。

OPRA方向关系网络的时空推理

由于目前的有向点方向代数(OPRA)推理只关注3个空间对象的静态关系推理,本文针对n个对象的方向关系定义了OPRA方向关系网络的时空推理问题。基于约束传播和概念领域理论,利用OPRA关系之间的空间约束和时间演变规律,给出了OPRA方向关系网络时空推理算法,解决了n个对象间动态OPRA关系的推理问题。本文算法可以应用于机器人导航、无人机导航、舰艇导航、战场分析等领域。

端点模糊的区间代数

由于现实世界中事件的持续时间难以精确测量,以及起始时刻及结束时刻的模糊性,使得Allen的区间代数不能很好地刻画事件的模糊时间区间。用事件的持续密度函数的概念来表示事件的持续时间,并用时间区间来近似持续密度函数,使得可以应用Allen的区间代数来进行相应的时态推理。

时空推理前沿研究综述

本文对时空推理及应用中若干前沿研究方向进行了综述和分析。概括了时空推理的概念和主要研究方向,总结了近10年来时空推理中时空代数、时空信息综合、时空粒度等理论方向及地理信息系统和时空数据库等应用方向的研完工作,分析了存在的问题并指出了发展趋势。

时态实体-关系数据模型TER的研究

本文形式定义了一个通用时态数据模型，即时态实体－关系模型（ＴＥＲ模型）．在ＴＥＲ模型中，我们给出了类的一致性定义，特别是对关系类采用了有效的处理方法．此外。

基于历史关系模型的时态过滤运算

提出一种新的时态过滤运算,阐述了基于历史关系模型的时态过滤操作,并结合实例予以说明。

时态关系数据模型C-TRDM的研究

提出一种新的时态关系数据模型C TRDM和基于该模型的时间过滤操作,并结合时态数据关系代数运算实例,说明它是完备的.