一种适用于复杂对象管理的分布式并发控制算法

本文在多数一致法的基础上提出了一种新的并发控制算法,并给出了其正确性证明。该算法的最大特点是允许不同层次的颗粒同时作为并发控制单位存在,因而更适用于工程数据库中对复杂对象的管理。     

基于扩展层次自动机的UML状态图完备性和一致性检验

UML状态图是UML中重要的建模元素之一,用以描述软件系统的离散行为。完备性和一致性是UML状态图模型最重要的性质之一,是进一步验证模型行为正确性的前提。给出了状态图模型完备性和一致性的定义,研究了对完备性和一致性进行检验的方法。该方法首先把状态图模型变换成扩展层次自动机(EHA),然后对EHA进行分析。EHA中间格式消除了状态图的复杂性,简化了冲突迁移的优先级判别,便于设计简捷有效的算法对完备性和一致性进行检验。该方法的主要优点是利用了EHA的特性,给出了组合状态上迁移的传播算法,解决了完备性和一致性分析的难点。     

从计算机体系结构发展历程看数据流计算思想

在计算机体系结构发展历程中,冯·诺依曼(yon Neumann)计算机结构一直是计算机系统的主流架构.谈及非冯计算机体系结构时,数据流计算机无疑是被提及最多的.本文从计算机体系结构发展历程的角度,分析数据流计算思想在计算机体系结构创新发展过程中发挥的重要作用.本文首先回顾数据流计算思想、分析早期数据流计算机的局限性;之...     

ORDBMS的继承语义及其实现

介绍了在ＡＮＧＥＬ这样一个典型的ＯＲＤＢ系统中继承机制的设计思想与实现技术,首先详细阐述系统卡富的继承语义,包括属性继承、约束继承、触发器继承及函数继承,并给出对多重继承所带来各种冲突的处理办法。然后讨论继承机制的实现手段及有关继承机制的模式演变问题。     

基于私有云的虚拟实验平台的设计与实现

为解决当前高校计算机实验教学与科学研究在基础设施投入与满足用户需求等方面存在的缺陷,同时也能为国家863重大项目——"云计算测试与评估系统研制"提供基础试验使用,设计并实现基于私有云的虚拟实验平台。本文着重论述该平台的结构、功能的设计与实现策略,包括平台使用的核心云计算技术、网络和虚拟化策略、存储策略以及客户端的实现。实验结果表明,该平台功能完备、性能良好、实用有效。     

RFID交叉读仲裁方法研究

在密集RFID读写器部署环境中,读写器的实际探测区域与其所关注的空间单元之间存在空间失配现象,由空间失配引发的RFID数据交叉读问题会导致位置信息冲突,进而无法满足RFID上层应用的需求.基于交叉读仲裁概念的定义以及交叉读典型场景的抽象,文中提出了利用参考标签思想结合信号强度特征的相对定位技术来解决交叉读仲裁的新颖思路,设计并实现了基于滑动窗口的交叉数据读入检测和仲裁的核心算法.实验结果表明仲裁算法在不增加RFID读写器网络负载的条件下,可以在RFID数据流中有效、及时地检测出存在位置信息冲突的交叉读数据,并通过仲裁处理给出准确的相对位置归属信息.     

一个面向OLAP应用的多维数据查询语言及其在对象关系数据库中的实现

该文提出了一个面向联机分析处理(OLAP)的多维查询语言,为多维查询的方便表达提供了一个直观的高层界面。这一查询语言的独特之处在于能够很好地支持具有继承关系的维层次结构,这种维层次结构在传统的关系型的ROLAP中是难于用星型/雪花模式表示的。文章将这一查询语言实现于对象关系数据库之上。并通过实例进行说明,对象关系数据库所特有的基本类型扩展能力、复杂对象的表示以及继承机制,使得对多维数据的描述更加灵活、多维操作更为高效。     

MXDR:一种基于关键字的XML多文档分布式检索方法

基于关键字的XML检索技术是近几年信息检索领域的研究热点.但是由于关键字缺少XML结构语义信息,检索结果和用户需求偏差较大,检索质量难以提高;而XML结构检索由于用户难以提出准确描述查询意图的查询表达式而难以普及.另一个更突出的问题是现有的XML检索研究绝大多数都集中在单文档上,缺乏实用性.因此提出一种基于关键字的结构检索方法,即用分布式方式实现对多XML文档的检索,简称为MXDR(Multi-XML Distributed Retrieval).MXDR首先用一种兼顾结构和内容的聚类方法对多文档进行分类,通过分析查询关键字和类别结构信息,确定分布查找策略,再结合查询关键字和XML的结构信息,构建结构查询语句,最后通过结构查询系统实现关键字检索.在多组真实数据Sigmod数据集上的验证结果表明,与经典的SLCA方法比较,MXDR方法具有较高的查全率和查准率,尤其在检索效率上MXDR方法有显著优势.     

一种面向分布式读写分离系统的数据同步策略

读写分离是NewSQL数据库兼容传统关系型数据库以及NoSQL数据库各自优势的一种常用策略.这种架构下,基线数据被分割为多个分区分布存储于不同存储节点,更改数据存储于单个事务节点,为减轻事务节点压力以及提升查询效率,需要将更改数据定期同步到存储节点.当前策略以分区粒度进行数据同步,导致无更改数据的分区同样参与同步操作,...