时态变量"Now"语义及相应时态关系运算

讨论了时态变量"Now"的基本语义,即Now不仅可以表示当前时间,还能表示过去时间和将来时间.在语义分析的基础上,讨论了带变量时态关系运算中需要解决的基本问题,即变量Now值的确定问题,研究了相应时态关系数据操作,建立了带变量时态关系代数系统.     

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

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

基于代数-时态逻辑的象形对象语义模型探讨

本文在“基于代数－时态逻辑的象形对象研究”一文的基础上，进一步讨论了“基于代数－时态逻辑的象形对象语义模型“问题，主要是将基于代数模型和基于时态逻辑模型这两种方法结合，通过OOCPN描述形式，对象形对象语义模型进行了探索式研究，具体包括象形对象标记，象形对象语义解释结构，象形对象语义结构模型结构，定义了状态运算符，操作运算符并给出其语义域上的解释，提出了可继承属性和可继承操作，完全继承和和部分继承等概念，并用来刻画象形对象系统中的类结构及继承性，在分类结构，组装结构的基础上提出了聚合类结构及分类－聚合类结构；给出了象形对象类类型的代规范描述，给出了有关象形对象系统的公理和定理；并用OOCPN（Object-Oriented Color Petri Net）对象形对象的继承性，类结构及类变化，重码语义的可能性和有害性等进行了描述。     

基于BCDM的双时态关系代数

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

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

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

对象—关系模型下的复杂对象代数

引言查询代数是关系模型的重要组成部分.对NF~2关系模型和()-O模型中的直询代数,很多人做了大     

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

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

基于对象时态稳定性分类特征的双时态ER模型

对双时态数据库建模时以客观事物的时态特征为切入点,定义有关时态表示的双时态点、双时态组合集和双时态标签,通过分析客观对象的时态稳定性,将其划分为时态值稳定对象和时态值变对象。参照数据库概念结构设计基本方法,给出一种基于对象时态稳定性分类特征的双时态ER模型,并定义了相关的基本图元及建立规则,该模型可有效减少因模式中存在大量与时态无关属性而造成的数据冗余现象。最后给出该模型与应用较为普遍的BCDM模型相互转化的方法,使其具有推广应用价值。     

基于代数-时态逻辑的象形对象研究

本文首先讨论了国内外有关面向对象方法学、代数规范、时态逻辑的研究现状 ,分析了对象形式化语义研究的不足 .其次 ,分析了几种主要的系统形式化模型和方法 .然后 ,在我们已研究的“计算机甲骨文象形码输入法”的基础上 ,从时态逻辑的角度定义了象形对象及其约束条件 ,定义了面向对象的有色 Petri网 (OOPEN) ,并应用 OOPEN描述了象形对象的层次结构 .最后 ,我们将代数规范与时态逻辑相结合 ,对象形对象的语义基础进行了一些研究 .     

基于有效时间的时态索引技术

研究了基于有效时间的时态关系索引的建立与实现.首先提出了有效时间索引模型VTIDM.VTIDM实际上是具有3层结点的树型结构,其内部结点由时态连通关系得到等价类组成,其叶结点由时态包含关系得到拟序关系类组成.对于VTIDM进行了查询和更新的算法设计和分析,同时进行数据模拟实验,实验结果表明,VTIDM是可行的和有效的.     

基于UPPAAL的数据关联时序有限自动机模型验证

对数据关联过程建立了时序有限自动机模型,时序有限自动机时钟变量只取整数值,从而减小数据关联过程生成的状态空间。在一定的时间约束下,使用模型检测工具UPPAAL对所建模型的关键性质——关联准确性进行了分析和验证。检测结果验证了利用UPPAAL进行数据关联准确性分析的可行性。     

基于带根连通有向图的对象集成模型及代数

提出一种便于异构数据源集成的公共数据模型——OIM对象模型.它基于带根连通有向图，图中可出现环路，因而能自然地描述复杂对象与其成员对象间的引用关系和WWW上HTML文件间的链接关系.它的每个对象含有描述符，特别适合于描述那些没有显式模式或模式无法预知的数据对象.OIM对象代数提供对象并、差、选择、投影、粘贴及切削6种操作.比关系代数具有更大的灵活性，可作为查询分解和优化的形式化基础.     

基于元组存在性的概率数据模型研究

随着信息与通讯技术的快速发展,数据管理正面临着越来越多的挑战,其中之一就是数据的不确定性。提出一种基于元组存在性的概率数据模型相似文献   

基于状态和变化的统一时空数据模型

提出了一个基于状态和变化的统一时空数据模型SCUDM(state and change based unified spatio-temporial datamodel).时空数据库的状态是关于对象、空间和时间的三元组,时空数据库的变化就是状态的变化.按照对象域、空间域和时间域将时空数据库中的变化分别投影分解,显式地表达在对象、空间和时间上的变化.而事件是在某一时刻前后,时空实体的变化关系,在事件表达中蕴涵了空间实体之间的时间拓扑关系.SCUDM不仅支持状态和变化的表达,而且支持时间拓扑和空间拓扑的表达.     

基于时态知识模型的网络入侵检测方法研究

在分析国内外现有入侵检测技术和系统的基础上，提出了一种基于时态知识模型和可变滑动窗口的实时模式提取算法，并在此基础上，实现了基于规则的、层次化的智能入侵检测原型系统(RIDES)．实验结果表明：该系统不仅能快速检测网络入侵，而且具有一定的学习能力，能够适应不同的网络应用环境．     

多智体系统时序认知规范的SPIN模型检测

SPIN模型检测器主要用来检测线性时序逻辑描述的规范,而多智体系统的规范采用时序认知逻辑描述比较方便。本文着重讨论了如何利用SPIN模型检测线性时序认知逻辑的方法,根据局部命题的理论,将模型检测知识算子和公共算子表述的规范规约为模型检测线性时序逻辑的问题,从而使SPIN的检测功能由线性时序逻辑扩充到线性时序认知逻辑。本文通过一个RPC协议分析实例来说明模型检测线性时序认知逻辑的方法。     

基于过程数据模型的视景仿真系统研究与设计

针对一般靶场试验系统,结合靶场试验中仿真技术的运用状况,在描述试验系统组成及试验过程的基础上,该文提出了基于靶场试验系统试验过程数据模型进行视景仿真系统设计的方法。在对与模型构造相关的系统数据类型进行概括介绍,并对支持试验过程数据模型的数据关联进行详细描述之后,将过程数据模型应用于靶场试验视景仿真系统的设计,并给出了一个基于过程数据模型的靶场视景仿真系统的体系结构。该体系结构已应用于某靶场视景仿真系统的实际设计。     

基于STN的计划执行过程时间冲突检测与消解*

计划执行过程中,各种不确定因素常常引起时间约束的违背.为维护计划的时间一致性,利用STN表示时间约束,分析了由于活动的提前或延迟导致的两种时间冲突,给出了冲突判定定理,在此基础上通过松弛冲突路径上某些约束来消解冲突;最后通过一个计划案例的仿真验证了本方法能够有效检测和消解执行过程中的时间冲突.     

基于TEN的3D GIS数据模型及其生成算法

四面体网格(简称TEN)是三维GIS中的一个重要的数据模型,文中首先提出了一种基于TEN的三维GIS数据模型;然后介绍了其中TEN的生成算法;最后本文总结了基于TEN的三维数据模型的优缺点。     

基于FR算法的数据模型三维可视化研究

针对传统数据模型描述方式无法满足用户快速理解和使用数据模型的不足,论文提出建立数据模型的三维可视化描述.对于传统FR算法在实体节点过多时将导致图形绘制过慢、连线交叉过多等问题,论文结合数据模型的特点,基于实体结构和实体属性对FR算法进行改进,改进后的FR算法不仅能快速地绘制三维图形,而且可以显示实体节点及实体关联等信息,从而辅助建立三维可视化模型,直观的表达数据模型,梳理数据模型的结构,加快用户对数据模型的理解.