MDBS中2LSR调度正确性的方法研究

为了提高多数据库环境下事务处理的并发度,选择放松可串行化标准作为可行的解决途径,以二级可串行化作为新的串行化标准,对保证调度正确性的两种典型方法进行了分析了,总结了基于视图的方法优越性;针对基于视图的方法,提出了一种种优化的设计实施方案。     

广播环境中伪可串行化实时并发控制协议

为在广播环境中同时有效支持移动更新事务和移动只读事务,提出一种可在移动客户端同时支持更新事务和只读事务的伪可串行化实时并发控制协议。形式化定义了伪可串行化,证明了伪可串行化比冲突可串行化宽松且能始终保证数据库的一致性,给出了保证伪可串行化的充分必要条件。基于时标段排序原理,提出了相应的实时并发控制协议。通过性能评价实验验证了新协议的性能。实验结果表明,新协议可显著改进移动事务的平均响应时间。     

一种维护分布式数据库数据一致性的方法

在分布式数据库系统中,并发控制是分布式事务管理器的的基本任务之一,它能够为并发的事务产生一个可串行化调度,但即使每个局部调度都是可串行化的,也不能保证分布式数据库的一致性.提出了在每一个局部站点上设置事务登记表的方法,使子事务间能够按照同一种串行化顺序执行,保证了多副本一致性.     

支持移动更新的弱可串行化实时并发控制

研究了非对称通信数据广播环境中的一致性问题,提出使用弱可串行化正确性准则．形式化定义了弱可串行化这种新的正确性准则,证明了弱可串行化比冲突可串行化宽松且能始终保证数据库的一致性,给出了保证弱可串行化的充分必要条件．基于时标段排序原理,提出了可在移动客户端同时支持更新事务和只读事务的弱可串行化实时并发控制协议WBCC—MUR．通过性能评价实验验证了新协议的有效性：WBCC—MUR协议能有效改进移动事务的平均响应时间、更好地满足数据广播环境中高性能事务处理的要求．     

数据库系统并发控制的扩展有色Petri网方法

加锁与可串行化是并发控制中采取的2个主要措施.两段锁协议(two-phase locking protocol,简称2PL)是解决可串行化调度较好的方法之一,但满足可串行化的调度可能会出现死锁.为此建立了多个事务并发访问数据库的扩展有色Petri网模型,该模型可使并发事务的调度符合两段锁协议.利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度.     

基于简化可视图的环境建模方法

针对移动机器人全局路径规划中环境地图的构建问题，提出一种基于简化可视图的环境模型建立方法.该建模方法通过剔除环境中对路径规划结果不造成影响的障碍物来简化环境模型的表示.在环境建模期间，利用机器人的起点和目标点以及环境中保留的障碍物建立一种可视边的数量足够少的简化可视图，简化可视图中的可视边即为移动机器人的可行路径.根据简化可视图建立的环境地图提高了后续移动机器人路径规划算法的执行效率.仿真结果表明该建模方法简单且有效.     

基于UML的选课系统的分析和设计

UML是一种标准的软件建模语言,本文展示了基于UML的功能视图——静态视图和动态视图的学生选课系统的分析和设计。     

事务并发控制中的两段锁和可串行化冲突图的对比

数据库中并发操作一般分为数据级和事务级两种,由于资源的竞争可能引起数据级的冲突和事务级的冲突,因此需要对并发执行的事务转化为某个可串行化调度,从而确保数据库的一致性．目前并发控制的方法有很多,从锁和非锁机制两个方面分析了两段锁和可串行化冲突图两种并发控制的规则和数据结构及分类,并从事务的冲突可串行化方面和结构上分析了各自的性能和优缺点．     

DIBR中一种基于视图判定的褶皱消除方法

为消除基于深度图像绘制(DIBR)技术生成目标图像时可能出现的“褶皱”现象,提出了一种通过视图判定来确定参考图像像素点扫描顺序的方法.首先设定极点的z坐标为一个无穷小量,然后由该极点的齐次坐标得出绘制左、右视图时参考图像像素点的扫描顺序.该方法只需判断目标图像是左视图还是右视图,便可确定参考图像像素点的扫描顺序.试验表明,该方法能消除褶皱现象,且复杂度比Z-buffer 算法小,适用于虚拟视点水平移动时的虚拟视图绘制.     

数据库视图更新的一种Opfibrations方法

视图为数据库操作提供一定程度上的逻辑独立性,但视图支持的这一功能依赖于数据库视图更新问题的解决.针对数据库视图更新问题的研究现状,提出一种基于Opfibrations的数据库视图更新方法,在模型范畴内将视图定义映射提升为数据库视图更新函子并分析了泛转换存在的条件,对数据库视图更新函子的Opfibrations分裂性质进行了形式化证明,设计了数据库视图更新函子的Grothendieck构造方法,为数据库视图更新问题的有效解决提供了统一的基于Opfibrations方法的数学框架.     

Weak Serializable Concurrency Control in Real-time Broadcast Environments

Given the asymmetric communication capabilities in mobile real-time environments, traditional serializability-based approaches are too restrictive, unnecessary, and impractical. Thus propose the use of a new weaker correctness criterion is proposed. This paper first formally defines the new notion of correctness called weak serializability. After the necessary and sufficient conditions for weak serializability are shown, corresponding concurrency control protocol based on this criterion is outlined for real-time broadcast environments. Finally, the simulation results confirmed that the proposed techniques help mobile transactions to meet their deadlines and improve query response time.     

多数据库事务处理中的并发控制

分析了多数据库系统中事务的特征,指出多数据库事务处理的并发控制问题需保持全局可串行化,即要求在各局部场地局部事务的执行不违反全局的执行次序．研究了ＴＳＧ,Ｔｉｃｋｅｔ和基于冲突检测的保持全局可串行化算法,并对ＴＳＧ算法给出证明．     

Quasi serializable concurrency control in mobile broadcast environments

The problem of maintaining data consistency in mobile broadcast environments is researched.Quasi serializability is formally defined and analyzed at first.It was shown that quasi serializability is less stringent than serializability when database consistency is maintained for transactions.Then,corresponding concurrency control protocol that supports both update transactions and read-only transactions is outlined for mobile broadcast environments.Finally,the simulation results confirmed that the proposed protocol could improve the response time significantly.     

事务框架下主动规则的并发控制算法

探讨并行规则事务对于共享数据对象的锁继承和锁剥夺关系 ,提出一个并发控制算法 ,并基于层次可串行性标准证明算法的正确性 .     

A New Primary Lazy Update Propagation Protocol for Replicated Databases

This paper proposes a new primary lazy update protocol, PTCS （Primary Transaction Commit Schedule）. In the PTCS protocol, a serializable primary transaction schedule is generated firstly and then the secondary transactions are committed according to the serializable primary transaction schedule. PTCS protocol can guarantee serializability if the data copy graph contains no directed circles. It can also be ex tended to eliminate all requirements on the data copy graph. Compared to earlier works, PTCS protocol not only imposes a much weaker requirement on the data placement, but also avoids the deadlock caused by transaction waits and extra message overhead. The performance experiments show that the degradation of the performance caused by the replica man- agement of the PTCS protocol is tolerable.     

一种边缘保护的灰度图像插值算法

提出一种边缘保护的灰度图像插值算法，目的在于从低分辨率图像中复原出高分辨率的图像。首先对低分辨率图像做双线性插值放大，然后用一个二维非线性滤波器做迭代滤波处理，从而得到高质量的插值放大图像。实验仿真结果表明，该算法在插值放大图像的边缘保护方面取得了良好的效果。     

一种新型的针对SRAM-Based FPGAs的容错方法

提出了一种针对基于SRAM型的现场可编程门阵列（FPGA）的新型容错方法，包括一套容错结构以及对应的布线过程，此方法对可编程逻辑单元（CLB）和连线资源的代价都予以考虑，容错布线过程简单，耗时少，模拟结果还显示，该方法与以前的方法比较，具有较低的代价。