基于子结构逻辑的不确定性语义时态查询技术研究

为解决不确定性语义时态查询及其计算资源配置的优化问题,使用子结构逻辑对时态演算机制进行了完善并构建了查询中间件原型. 基于构造性逻辑语义,构建了中间件演算流程,将时态属性映射为类型语义,使针对时间属性的运算从句法演算中剥离,在保证表达能力的前提下,仅进行语义计算,加速并优化了查询演算流程.实验结果表明:该方法与中间件原型可行、高效,具有共性,为时态信息处理提供理论与技术支撑.     

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

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

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

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

时态数据库理论研究

一个好的时态数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常。因此,我们对时态初等函数依赖,时态初等关键字,时态初等主属性,时态简单关键字,时态简单主属性进行了定义,并研究了时态初等关键字范式和时态简单范式的分解问题,给出了相关分解算法。最后,基于TFD和TMVD混合集提出了时态第四范式(T4NF),并给出了时态模式的T4NF的无损分解算法,对算法的可终止性、正确性进行了证明,对时间复杂度进行了分析。     

BCDM中的时间标签规范及优化

对BCDM(the Bitemporal Concept Data Model)模型中的时间标签进行处理,给出了一种规范的时间标签的记录形式,并对规范后的标签进行优化处理,以及对时态操作前的变元进行了消解.这种对时态标签的处理,减少了时间变元的记录,也给时态存储、时态索引和检索带来了优化.     

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

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

英语动词时态形式的语用功能

"时态"和"时间"是两个容易混淆的概念。过去的英语语法书过度地强调了动词时态形式的 时间范畴,很多外语学习者认为:过去时态表示"过去",而现在时态表示"现在"。从语用学角度分析 动词现在时态形式和过去时态形式的不同语用功能,以期对其有一个新的认识。     

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

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

时态信息处理技术研究综述

时间是信息的重要属性。随着数据库与信息技术的深入和发展，时态信息在信息系统扮演着日益重要的角色。将时态信息研究的起源与发展分成3个时期，简述各个时期研究情况和代表性成果。还分析了国内外时态信息有关研究献，介绍了几种代表性时态数据模型，对时态信息技术研究现状与存在的不足，以及未来的发展都给出了作的见解。     

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

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

嵌套关系DB实现时态DB系统的方法

讨论嵌套关系表达时态关系、嵌套元组演算表达时态元组演算的能力，提出一种用嵌套关系数据库（ＤＢ）实现时态数据库系统的方法．     

时序Rough逻辑及其在数据分析中的应用

提出一种时序Rough逻辑,定义了时序算子及其作用于Rough逻辑公式上的意义．描述了这种逻辑的语法和语义．论述了时序Rough逻辑中的语义模型是一个无限状态序列,其中每一状态都描述了当前时刻和场景点上信息系统的信息．从当前状态到下一状态的变换是遵循时序Rough逻辑演算的,它必须保持知识不变,也就是属性和讨论的对象不变,而属性关于对象的特征值,即属性值随着时间和场景变化而可以变化．因此。在信息系统上作决策、数据约简和信息粒化等都将产生影响,由此可见时序Rough逻辑将是动态地处理信息系统的理论工具,也将是合理地解决和处理不一致信息表的较好方法．     

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

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

检验实时系统的有序时段性质

模型检验是一种被广泛应用于对设计或系统正确性进行自动验证的技术。实时系统的性质包括瞬间性质和时段性质，显然后的检验要比前复杂得多。介绍了一类新的时段性质——有序时段性质，并检验了时间正则表达式的有序时段性质，最后分析了算法的复杂度，和相关工作进行了比较，并探讨了今后的工作方向。     

时态XML索引Txmlsindex

时态XML数据操作的基本途径是相应时态索引模式,而时间信息与结构信息的整合协同是涉及索引效率的关键技术.该文研究了一种基于时态拟序和时态编码协调的时态XML快照索引Txmlsindex,实现了“一次一集合”的时态数据查询和基于Tcodes编码的结构信息重置;比较评估Txmlsindex的可行性与有效性;提出的技术框架和索引模式还可拓展到时态XML的一般查询过程当中.     

规划识别中的时态推理

提出了一个用于规划识别的多层次时态推理算法。该算法可将以往的时态推理从单个规划的分解推广到多层次规划系统，使之更具普遍性；可将观察中的时态关系作为约束信息在层次结构中传播，减少候选规划的数目，提高规划识别的效率和准确性。     

Temporal hyperacuity in single neurons of electric fish

Behavioural studies have revealed that animals can resolve temporal disparities in the microsecond range. This resolution is far superior to that of individual receptors, and it must therefore be achieved through central neuronal mechanisms. It is unclear, however, whether such sensitivity ever emerges at the level of single neurons, or whether it is apparent only at the behavioural level through the collective action of many less-sensitive neurons. We have found that single neurons in the pre-pacemaker nucleus of a weakly electric fish are sensitive to temporal disparities as small as 1 microsecond, the highest temporal sensitivity ever observed at the single-neuron level. The remarkable temporal resolution of these pre-pacemaker neurons results from a high degree of spatial convergence of afferent inputs. These neurons represent the final elements of a sensory hierarchy and directly control the jamming avoidance response by which these fish regulate the frequency of their electric organ discharges.