基于模糊集的模糊时态映射模型

为了使时态数据库对客观世界更符合实际抽象描述,提出了用模糊测度分析模糊时态数据的隶属度,基于模糊集理论建立了模糊时态映射模型,实现测度模糊值向离散时态区间的映射.建立的模糊时态关系模型进行传统概念扩展,对事件的模糊时态信息作测度分析,抽取和元组离散时间对应的事件模糊值,向离散时态区间作映射,在模糊时态数据库概念层使模糊数据和时态凸区间实现原子对应.该理论弥补了现有时态数据库不能处理模糊时态信息的缺陷,扩展了模糊时态数据库处理模糊事件的能力.     

一个面向对象的实体-联系-时间模型

讨论了一种应用于时态数据库的数据模型———面向对象的实体 联系 时间 (ERT)模型 .将时态概念作为模型组成部件 ,重点描述了其模型结构和重要的时态概念 ,简要介绍了相应的时态关系代数操作 ,及在此基础上的约束     

一个面向对象的实体—联系—时间模型

讨论了一种应用于时态数据库的数据模型－面向对象的实体－联系－时间（ＥＲＴ）模型，将时态概念作为模型组成部件，重点描述了其模型结构和重要的时态概念，简要介绍了相应的时态关系代数操作及在此基础上约束。     

基于时态逻辑的多时间序列挖掘模型

为了从多时间序列之间发现的定性的时态相关模式可而更全面的理解和把握系统的演化特性,提出了一种基于时态逻辑的多时间序列挖掘模型.它首先将多时间序列转化为多事件序列,然后将预处理后的多事件序列利用区间时态逻辑(ITL)关系子集来定义多事件序列中事件间的时态相关模式.其次进行多状态序列融合和局部时态观测序列的生成,之后采用频繁模式挖掘算法发现多时间序列的频繁时序模式.该模型有助于解决时间序列挖掘所面临的若干挑战和难题,有助于扩展现有时间序列挖掘系统的功能,从而指导时间序列等复杂类型数据的知识发现过程.实验结果表明了该模型及算法的有效性和优越性.     

具有条件时态特性的RBAC模型

提出了具有条件时态特性的角色访问控制(CT-RBAC)模型.以条件周期表达式为基础,通过条件来制约时态,从而将模型的时间控制维扩展为<条件,时间>的控制平面,将模型的时态控制平面〈时间,约束〉扩展为〈条件,时间,约束〉的三维控制空间,以达到提高模型控制灵活性和多样性的目的.对条件周期以及并发执行的条件集进行了形式化描述,对条件事态的约束进行具体论述,通过阻塞路径优化条件元素的并发执行网络,并对Path()运算复杂度及其优化做了定性探讨.     

基于时态关系模型的儿童保健系统的设计研究

根据当前时态数据模型的理论,为儿童保健管理信息系统建立了一个可行的时态关系模型,并对系统中的查询做了简单的描述,最后分析了这种建模方法的优缺点.     

时序媒体间同步控制机制的时态模型

在大量实际研制，开发多媒体软件产品工作基础上，通过分析现有同步控制方法的优缺点，提出了一个统一的，可适应时序媒体间同步关系定义的时态模型，该模型可满足时序媒体定量定性的同步控制要求，并给出了“唇同步”控制的时态定义实例。     

基于时态逻辑的知识表示研究

讨论模态逻辑和时态逻辑,定义时态逻辑的四个时态算子,探讨了对象模型,提出了时态逻辑对象模型,研究了对象知识表示,给出了基于时态逻辑的知识表示模型和一个对象知识案例,结果表明时态对象模型可以有效地表达知识.     

交互时态信念逻辑及其模型检测

交互时态认知逻辑(ATEL)是对交互时态逻辑(ATL)的扩展,但是它只刻画了知识,没有探讨信念的刻画问题.给出广义并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种信念算子,在广义并发博弈结构下给出其语义,建立了交互时态信念逻辑(ATBL).给出一个多项式时间模型检测算法,并证明了ATBL的模型检测复杂度为PTIME-complete;给出并证明了ATBL的若干良好性质,比较了相关工作.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具.     

时态知识/数据模型研究及应用

时间是信息的重要属性,不仅数据有时态性,而且知识也有时态性.时态信息在信息系统中扮演着日益重要的角色,在某些系统中还起着关键性作用.将时态应用分为完全时态应用、嵌入式时态应用和混合型时态应用3种模式,提出一种时态信息模型,重点讨论时态数据模型和时态知识表达模式,介绍典型时态信息系统"工资智能决策支持系统"中的知识/数据处理模型.     

一种面向对象的双时态数据模型

在对象数据库的基础上,扩展时态信息管理功能,成为时态数据库技术发展的一个重要趋势.在面向对象的数据库模型的基础上,扩展了时态处理功能,基于属性时态模式,提出了一种面向对象的双时态数据库模型.     

一种基于时间相关属性的双时态改进模型

提出了一种改进的双时态关系模型，并给出了模型之上的插入、修改等相关操作. 该模型对时间相关属性和非相关属性明确地加以区分，满足了数据分析工作中时间相关属性针对性的需要，同时，可以加快一般情况下时态数据库的插入和修改的速度，并定义了类似于对象标号的主题标号属性“hostNo”，在一定程度上减少了查询中连接操作出现的频度，提高了效率.     

时态信息与时态信息管理研究

时态信息和时态信息管理是数据库技术和信息管理技术的一种新的研究领域,对于信息的时态要求是信息应用需求多元化的必然.本文概括了时态信息管理中的经典模型,研究了时态信息管理的常用软件,并对其相关的时态支持进行了分析归纳.     

应急系统中时态数据的本体表示研究

对时态数据库的存储模型进行了讨论,针对时态数据库的二元时间结构较难用本体表示的问题,运用嵌套关系模型,提出了时态数据的表示方法,并用本体语言进行实现。     

铁路系统的模型检查和参数分析

研究铁路系统的自动验证技术，建立火车和控制器的混合自动机模型，用时态逻辑ＩＣＴＬ描述铁路系统的性质规范，使用模型检查技术自动验证铁路系统，并且对铁路系统的一些参数进行分析。     

一个模糊时态数据库关系代数理论

为了解决时态数据库对客观世界更符合实际的抽象描述、能有效表示和处理复杂对象、支持用户定义的数据类型、扩展建模能力、减少不同类型数据转换代价大等问题,针对复杂数据不仅有时态性,而且具有模糊的特性,从基本的时态数据库模型入手,定义了一系列模糊时态关系元素,并建立了一个能描述模糊时态信息的1NF关系代数.从理论上论证了相应的模糊/时态关系代数映射及运算模型,避免了模糊时态数据库不能提供表达时态信息的环境设施,也增强了现有时态数据库描述模糊事物特性的能力.     

在线定房系统中XML文档的时态扩展

Web应用中的数据交换技术进行了相当长的时间的研究，但是几乎没有哪一种方法在实际应用中用到了时态操作。时态XML数据交换模型以及应用这个模型开发出来的在线定房系统，利用时态存储相关技术来处理系统的时态属性。     

基于模糊集的不精确时态关系建模

基于模糊集理论,建立了一种扩展Allen时态关系模糊时态区间模型.在经典时态关系的基础上,讨论了模糊时态区间关系,提出了时间点的模糊时态序列概念,并定义了模糊时态关系属性,同时用模糊时态序列定义了模糊时态区间的边界关系.最后结合时序测度公式对13种模糊时态定性关系给出了精确的表达.能精确表达模糊事件的精确和不精确关系,也为模糊推理提供了理论基础.     

基于时态信息的RBAC建模研究

经过多年的发展,RBAC模型理论研究已十分成熟,并广泛成功应用于信息系统访问控制.本文阐述了RBAC模型安全控制的思想及原理,它通过抽象用户、角色、目标、操作、许可权5个基本数据元素并建立它们之间的联系构建网络状的权限控制模型;分析了RBAC模型在处理具有时间约束的访问控制时的不足,不能充分考虑时态系统中基于时间约束的授权和访问控制;回顾了时态RBAC模型的研究现状,讨论了时态RBAC模型在时态系统授权中存在的问题,它只在角色层次进行了简单约束,而对授权和角色指派等过程中的细节考虑不够;展望了GTRBAC模型的思想并进行了讨论,GTRBAC不仅在时态RBAC的基础上考虑了持续约束、周期约束和其他特定形式的激活约束,而且提出了约束冲突的解决办法,是目前在时态环境下定义比较完全和细致的访问控制模型.     

时态数据库的时态代数分析

以传统关系数据模型为基础建立了多种时态数据库模型。传统数据库具有一些集合运算：选择、投影、连接、笛卡尔积、差、并和交，这些关系代数只是一种瞬像代数，没有考虑时态关系。本文重点介绍了适合于时态数据库的时态关系代数。结果证明时态关系代数运算与传统关系代数运算是相容的。