基于时态关系代数的工作流引擎

对于工作流系统中普遍存在的时态信息,由于后台关系数据库管理系统难以很好处理,造成工作流引擎需要进行相关的时态信息处理。提出在时态数据库平台上建立工作流管理系统的架构,并采用时态关系代数描述工作流引擎运行中涉及的时态信息,证明了该架构的优势。最后以一个例子分析该架构下的工作流执行过程。     

云存储系统中数据副本服务的可靠性保障研究

以数据节点与网络链路的可靠性因素分析为基础,提出了云存储系统的数据副本服务可靠性模型。根据访问可靠性与数据副本数量、用户访问量之间的关系,设计数据服务可靠性、副本生成时机、存储节点选择的确定方法,实现了副本分布、删除算法,并在云存储系统ERS-Cloud上进行一系列实验,结果表明该方法能够有效保障数据服务的可靠性,进一步降低副本的冗余存储数量。     

FoxPro Screen Wizard生成程序汉化工具设计及其应用

ＦｏｘＰｒｏ Ｓｃｒｅｅｎ Ｗｉｚａｒｄ是最常用的ＦｏｘＰｒｏ Ｗｉｚａｒｄ（屏幕精灵）之一，利用Ｓｃｒｅｅｎ Ｗｉｚａｒｄ可以很方便地开发数据库管理程序。但是，在实际衫系统设计时，必须对用Ｓｃｒｅｅｎ Ｗｉｚａｒｄ生成的程序做一些必要的修改才能使用。在［１］中，我们已对Ｓｃｒｅｅｎ Ｗｉｚａｒｄ生成的程序进行了较详细的剖析，本文将主要介绍我们研制的一种对Ｓｃｒｅｅｎ Ｗｉｚａｒｄ生成的程序自动汉     

CD-ROM技术讲座 第二讲 CD-ROM光盘的使用

上一讲我们系统地介绍了CD—ROM驱动器的特性、安装、使用和维护.但是,如果只用CD—ROM驱动器而没有CD—ROM光盘就象只有唱机而没有唱片一样是没有意义的.本讲将系统地介绍CD—ROM光盘的特性、CD—ROM产品的安装、使用及其保养等基础知识.1CD—ROM光盘的物理特性许多人认为CD与密纹唱片存贮信息的方式相同.其实不然,它们存贮信息的方式是完全不同的.二者之间的相似之处仅仅在于:二者均呈圆盘状,均包含音频信号且均沿圆形轨道旋转.     

面向大规模学术社交网络的社区发现模型

针对基于标签传播的复杂网络重叠社区发现算法中预先输入参数在真实网络中的局限性以及标签冗余等问题,提出一种基于标签传播的面向大规模学术社交网络的社区发现模型。该模型通过寻找网络中互不相交的最大极大团(UMC)并对每个UMC中的节点赋予唯一标签来减少冗余标签,提高社区发现的效率以及稳定性。标签更新时以UMC作为核心单位采用亲密度的方式由中心向四周更新UMC邻接节点的标签及权重,以权重最大值的方式更新网络中非UMC邻接节点的权重。后期处理阶段采用自适应阈值方式去除节点标签中的噪声,有效克服了预先输入重叠社区个数在真实网络中的局限性。通过在学术社交网络平台——学者网数据集上的实验表明,该模型能够将具有一定共性的节点划分到同一个社区中,并为学术社交网络平台进一步的好友推荐、论文分享等精确的个性化服务提供了支持。     

一种新的XML文档更新计算

当对XML文档进行插入操作时面临调整编码问题,目前提出的很多编码方案不能同时很好地支持XPath查询和XML文档更新。在分析现有编码方案的基础上,提出了基于完全树的编码方案,该编码方案采用序号冗余和虚拟节点两种冗余方式,不仅支持XPath的查询,而且能有效降低因插入节点需要对XML文档进行二次编码率。实验结果表明,完全树以及相应编码有效提高了XML文档插入节点的效率。     

大批量数据录入技术及其处理工具研究

一个数据库应用系统在投入运行的初始阶段，大都需要一次性录入在量初始数据。传统的方法是利用数据库应用系统本身提供的数据录入功能完成这一工作。但是，这种方法对大批量数据来说效率非常低，我们提出一种大批量数据录入的“工程方法”并设计了一个Ｗｉｎｄｏｗｓ环境运行的大批量数据录入处理工具软件ＬＤＰＴ。     

基于CSCW的人机界面研究与设计

文章分析了CSCW环境下人机界面的特性,并描述了人机界面各个模型的功能、特点,在此基础上提出了一个基于CSCW的人机界面模型结构,同时讨论了该模型的工作流程,最后通过一个实例对实现该模型的几项关键技术进行了探讨。     

关系代数操作符的时态扩展

时态数据库由时态数据结构、时态关系探作符和时态约束三部分构成。本文主要介绍在关系探作符的基础上进行时态扩展以构成时态关系探作符；并使用标准的SQL语句对时态关系探作符的语义进行了描述。它们包括时态并、时态交、时态减、时态投影、时态选取和时态除等几个时态关系操作。     

基于描述逻辑的带属性依赖时序ER模型

分析了描述逻辑在数据库中的研究现状和存在的问题,特别是描述逻辑与时序ER模型的关系,在Artale的基础上提出了一种形式化带属性依赖时序ER模型εRVTAD.针对带属性依赖时序ER模型εRVTAD的需求和特点,提出了一种新的描述逻辑,即时序描述逻辑ALCQI（D）US.给出了ALCQI（D）US的语法和语义,提出了基于ALCQI（D）US的带属性依赖时序ER模型,即给出了如何将带属性依赖时序ER模型εRVTAD转化为ALCQI（D）US知识库,以及利用ALCQI（D）US的推理机制给出了带属性依赖时序ER模型εRVTAD的可满足性、冗余性、包含关系和蕴含关系等自动推理问题,证明了这些推理问题的正确性.