时态数据库时间轴的动态逻辑模型

尽管在1994年,Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的,但是仍需要通过对时间轴的公理化建模,利用公理化系统的可靠和完全等性质对时间轴作“细精度”的语义刻画.只有这样才能准确地在数据库中反映时间和时间属性的本质特点,并应用于与时间轴模型直接相关的时态查询语言.因此,从分析时间轴的性质出发,对时间轴的序关系和谓词逻辑性质进行了研究和阐述.随后分别用经典的时态逻辑Tense Logic和动态逻辑对时态数据库的时间轴进行了公理化建模,这样刻画的目的是为了“细精度”地体现时间轴的特点,并借助逻辑的方法对其分析.在TDB(temporal database)时间轴的动态逻辑建模部分,相对于原时态逻辑系统较为静态,着重处理了时间的动态性,并参照了Tense Logic中的Lin.Z系统,将其转化为动态Lin.Z系统,在其中添加了参数化处理.该参数化的处理是基于动作执行的,主要工作在动作指数的数值化和函数化两个方面,其结果体现了时态数据库中规则生存周期和“Now”节点的一些特点以及知识表达和解决方法,研究结果将对后续时态知识表达和时态数据库查询语言的研究起到积极的作用.     

一个实现双时态数据库的新方法

在双时态数据模型中,随时间变化的事实是用两个时间维--有效时间维和事务时间维--来描述.在关系数据库中,通常用4个时间字段表示数据的时态性,这种方法使得数据和时间分离.为了描述时变数据的物理意义,定义了时态数据类型,并且定义了时态数据运算和时态关系运算,同时建立了时态索引机制.以时态数据类型为系统的基本数据类型,扩展关系数据库系统为时态关系数据库系统.     

描述逻辑εL混合循环术语集的LCS和MSC推理

分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混合循环术语集LCS和MSC推理的需要,提出了TBox-完全的概念,并重新定义了描述图.使用描述图和TBox-完全给出了最大不动点语义下εL混合循环术语集LCS和MSC的推理算法,证明了推理算法的正确性,并证明了推理算法是多项式时间复杂的.该推理算法为(L混合循环术语集的LCS和MSC推理提供了理论基础.     

QoS映射与自适应协商机制的研究与实现

TCP/IP协议本身只提供“Best-Effort”级别的服务,而对QoS支持很少.基于此,提出一种基于TCP/IP协议的自适应QoS协商机制,其基本思想是基于资源预留协议RSVP(resource reservation protocol).在提出QoS请求时进行QoS映射,然后启动适应性函数和资源管理函数进行协商,直到获得一组在当前资源状况下最佳的QoS指标为止.然后介绍了应用GQoS实现自适应QoS协商的基本步骤以及重要数据结构和函数.实验结果表明,应用该方法可以根据网络资源的变化,自适应地调整QoS参数.