时态数据完整性约束研究与实现

时态数据库的完整性是为了保证时态数据库中存储的时态数据的正确性。为了防止时态数据库中出现不符合时态模型语义的数据,需要研究时态数据库的时态完整性相关理论,为时态更新操作的正确执行提供理论支持。在时态关系数据模型的基础上,通过将传统的数据完整性约束机制扩展到时态数据库领域,给出了时态完整性约束的完整定义和在不同的情况下违反时态完整性约束的具体处理机制,为时态数据处理构件——TempDB实现时态数据完整性约束提供了理论基础和实现依据,这对时态数据库理论的进一步完善和相关的实现技术具有重要的参考价值。     

时态的粒度刻画及演算问题研究

时态的建模及演算是时态信息处理中的逻辑基本问题,从粒度思想出发,根据时态的粒度划分,研究了时态粒度的语义与性质。并基于时态粒度对时态原语进行刻画,进而基于代数系统分析了时态的粒度转换算子及不同粒度下的时态关系,构建了时态粒度关系的演算系统。     

不确定时态信息表示及时态运算的扩展

时态信息表示和查询是时态数据库的研究重点,但现有的时态数据库模型在处理不确定时态信息方面仍存在较大困难。而现实生活中很多时态信息都是不确定的,故提出了一种不确定时态信息的表示方法,并扩展时态运算使其支持不确定时态信息的处理和查询,从而扩展了时态数据库的适用范围。     

具有多时间粒度的时态数据库初等关键字、简单范式分解问题研究

一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常．对于时态数据库也是如此．提出了时态初等函数依赖、时态初等关键字、时态简单关键字等概念,在此基础上利用具有多时间粒度的时态函数依赖（TFD）约束对时态数据库进行了规范化研究,提出了规范程度高于时态三范式低于时态Boyce—Code范式的时态初等关键字范式（TEKNF）及时态简单范式（TSNF）,并研究了时态初等关键字范式和时态简单范式的分解问题,给出了相关分解算法,并对算法的可终止性、正确性进行了证明,对时间复杂度进行了分析．     

时态原语的粒度约束与规范化问题探讨

时态应用的需要是推动时态问题深入研究的动力,时态原语之间的运算是时态研究与应用中不可忽视的基本问题之一,对时态数据库、时态知识推理、时态数据挖掘等研究领域均有深远的影响.由于时态原语进行加减运算后的结果可能为负时间因子,也可能溢出相应粒度下度的值,得出非规范的时态元素,从而影响其使用.为此,必须对非规范的时态原语进行规范化处理,使其成为规范时态原语.文章对时态粒度的度、象与转换等进行了刻画,描述了时态粒度约束与性质.在此基础上,深入地探讨了时态原语的规范化处理问题,提出了时态粒点的规范化处理算法,并将该算法应用于公历系统中典型的非规范时态原语的取值情形.     

基于不确定信息的时态索引技术

扩展了时态数据库中时态信息的表示方法，使它能处理不确定时态信息。并实现相应索引机制，从而为支持不确定时态信息的时态数据库打下基础。性能测试的结果说明，该索引不但在功能上支持不确定时态数据，而且在性能上也优于已有的时态索引技术。     

基数为M的时态候选关键字问题研究

为了更有效地研究时态数据库中各种时态依赖以及各属性之间的关系,对时态候选关键字的求解进行了研究,定义了时态准左部属性、时态准右部属性和时态纯双部属性等概念;结合关系数据库理论给出了时态最大相关块法求时态候选关键字,并对相关理论进行了证明,这对实现时态候选关键字的规范化问题具有重要的推动作用.     

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

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

偏序时态XML索引TempPartialIndex

时态数据管理是常规数据管理的深化和扩展,具有理论研究的意义与实践应用的价值.时态数据索引是时态数据管理的重要技术支撑,是其中的一个研究热点.首先,提出了一种时态数据结构,通过数据节点间的偏序关系,可将常规的二维时间区间的处理转化为基于偏序的时态等价类上的一维的处理,该数据结构可以快速有效地处理时态操作;其次,在该新型时态数据结构基础上研究了时态XML索引TempPartialIndex,其基本特征是将时态数据结构整合到非时态的XML索引中,即,将其整合到语义层之中,通过时态过滤和语义过滤掉大量节点之后,再进行结构连接;另外,着重讨论了基于TempPartialIndex“一次一集合”及其时态变量查询和增量式的动态更新机制.同时,仿真结果表明：TempPartialIndex能够有效地支持时态XML的各类查询及更新操作,技术上具有可行性和有效性.     

时空数据表达研究

描述了目前时态数据模型和时空数据模型的发展,现已共识时态是任何信息的一个重要属性,但是时态数据库中时态关系代数的基本思路是通过在关系模式上显式化时变语义来进行简单结构的时态数据建模,而时空数据建模中时态对象代数是在对象结构上显式化时变语义来进行复杂结构的时态数据建模,并深入探讨了时空数据模型中地理信息的时间维表达方式,指出了各种时空数据模型存在的主要问题。     

构建面向对象时态数据模型的研究

本文通过对现存关系数据库和面向对象数据库的比较分析，总结其优点与不足，并在结合了二者优点的UniSQL/X模型基地上，对该模型进行时态上的扩展，使它能够记录和处理时态信息。在查询代数中，引入了一 些特殊的时态操作，通过聚集、概括和时间参考三种关联对对象进行访问，而且此代数同时反映了时态关系代数和对象代数的特点。     

基于GIS林权变更信息管理系统的设计

现有林权变更信息管理系统仅支持空间信息和属性信息的查询、管理和分析。运用地理信息系统对林地林木空间位置、属性信息、时闻信息进行组织管理,构建面向对象的时空数据模型,在此基础上建立时空数据组织,建立林权变更数据库,支持历史信息的管理、查询等操作。以广西梧州林权改革数据为数据源,通过时态GIS对林权变更信息进行分析．实现图形信息和属性信息一体化存储与管理分析．便于时间和空间信息的查询．有利于林权改革的进一步深入开展。     

应急系统中不确定时态知识表示及其推理

在分析现有不确定信息表示模型基础上，提出了一种可扩展的时态知识表示模型，该模型对真实事件的间断性表示加以改进，进而讨论了应急决策知识库的构建方法和相应推理机制。实验数据表明，在原型系统中使用改进后的表示模型和推理方法，能够提高应急系统处理效率和决策方案的合理性。     

基于Petri网的一种时序分析方法

Ｐｅｔｒｉ网由于有强大的建模能力和成熟的理论支持,被广泛应用于各种系统的建模．本文通过把Ｐｅｔｒｉ网转换成转移系统,利用转移系统和Ｋｒｉｐｋｅ结构给出时序逻辑语义的解释,从而建立了一种在Ｐｅｔｒｉ网上进行时序分析的方法．这种方法是根据不动点理论,用模型检查验证公式正确性．通过对Ａｄａ程序会合性质进行模型检查,验证了这种方法的有效性．     

电子政务信息的时态属性研究

电子政务在我国全面实施,电子政务中的信息的时效性非常重要,长期以来没有得到重视,针对目前对电子政务中信息处理方法的不足,文章分析了电子政务信息处理中的存在的问题,结合时态理论,规则库,数据库等理论知识,提出了一个解决电子政务中信息有效性的处理模型。     

教育部优秀青年教师资助计划项目信息隐藏模型及容量分析*

在分析已知信息隐藏系统通信模型的基础上,提出了一种理论新模型,运用最优化理论的观点得出了隐藏系统的容量,对容量的存在性进行了证明,并对该模型进行了讨论。新模型重点考虑了信息隐藏系统实际存在的鲁棒性和透明性,全面综合了信息隐藏的嵌入、提取和攻击模型,对以往信息隐藏理论模型不能描述能够引起载体尺寸变化的几何攻击的缺点做出了彻底改进。     

行为时序逻辑与自反线性时序逻辑的关系

为了能够将哲学逻辑中的公理系统运用到行为时序逻辑的研究中。对行为时序逻辑公式的语义进行形式化定义．从语义和语法两方面研究行为时序逻辑公理系统和具有自反性质的线性时序逻辑公理系统之间的联系．提出并证明行为时序逻辑公式转换为自反线性时序逻辑公式的定理。按照集合论和模型论的思想,定义行为时序逻辑中项和行为时序逻辑原子公式的概念。定义Lesilie Lamport所提出的行为时序逻辑公式的语义。证明自反线性时序逻辑公理系统适用于行为时序逻辑公理系统．以此为基础证明行为时序逻辑的简单规则、基本规则和附加规则。     

Performance of multiclass BCMP model for computer system based on fuzzy set theory

The purpose of this paper is to combine the ability of fuzzy set to represent more realistic situations with the well-established traditional queueing system model problem. We are forced to employ subjective probabilities when there is no information about a model or some parameters of a model are vague. The information and data are very fuzzy, because they are frequently very little, 'and may be sometimes obtained from experts subjectively. We apply fuzzy set theory to the closed multiclass model with the fuzzy queues. thus, we represent the characteristic and performance of the closed multiclass model based on the proposed fuzzy set theory.     

基于记忆机制的视觉信息处理认知建模

受人类认知环境方式的启发,将人类记忆机制引入到视觉信息处理过程,提出一种基于记忆机制的视觉信息处理认知模型,用于模拟人脑的一些认知过程。该模型主要包括5个部分:信息粒、记忆空间、认知行为、信息传递规则和决策过程。根据人脑三阶段记忆模型定义3个记忆空间:瞬时记忆空间、短时记忆空间和长时记忆空间,分别用于存储当前的、临时的和永久的视觉信息。该模型可记住或遗忘曾经出现过的场景,从而使其能快速适应场景变化。将其应用于计算机视觉研究中的两个关键问题:背景建模与运动目标跟踪。实验结果表明,该模型能较好解决复杂场景下背景或目标姿态突变以及目标被严重遮挡等问题。