基于语义可串行性的锁协议并发控制算法

为实现语义可串行性调度而提出的基于两段锁协议的并发控制算法无法保证所得到的历史具有可恢复性，为解决该算法的可用性问题，利用并发控制和恢复的统一模型给出一种基于两段锁协议的并发控制算法。     

一种新的手机交互方式

目的解决手机多用户图形交互过程中的共享冲突问题,降低网络通信量,提高系统响应速度。方法分析基于手机的图形交互的特点,提出一个手机多用户共享电子白板并发控制算法MBC(Mod ify before comm it),并对该算法进行了冲突概率分析。结果分析结果证明应用MBC算法系统发生冲突的概率很小,能降低网络通信量,提高系统响应速度。结论初步实验表明所提出的这种手机交互方式现实可行,对手机环境下多用户图形交互提供了有效支持。     

An Efficient Secure Real-Time Concurrency Control Protocol

0 IntroductionThe real-ti me database system(RTDBS) is usually ap-pliedto the safety-critical applications .Inthese applica-tions,besides the ti ming constraints ,it is essential to preventunlawful information flows between different transactions .The traditional real-ti me concurrency protocols such as two-phase locking high priority (2PL-HP)[1], priority ceiling(PC)[2], OPT-WAIT[3], OPT-SACRIFICE[4], etc ., con-centrate on how to mini mize the missing deadlines ratio oftransactio…     

SQL Server 分布式数据库的并发控制和故障恢复

MS SQL Server是专为分布式客户／服务器环境设计的数据库管理系统，它提供了一套系统的安全保护机制，具有高的安全性、完整性以及并发控制和故障恢复的数据控制能力。文章对其事务并发控制机制和故障恢复机制进行了深入的分析，并对实际应用中用户数据库恢复和MASTER数据库恢复的具体方法进行了讨论。     

簇程——一种大颗粒度的分布并发单元

开发了一个分布式操作系统的原型－ＣＬＵＳＴＥＲＳ，通过引入两级并发体制，提供了一种称为簇程（ｃｌｕｓｔｅｒ）的大颗粒度并发单元，初步的实践表明，簇程很好地适应了分布式系统对并发机制的独特要求。     

Version based spatial record management techniques for spatial database management system

The search operation of spatial data was a principal operation in existent spatial database management system, but the update operation of spatial data such as tracking are occurring frequently in the spatial database management system recently. So, necessity of concurrency improvement among transactions is increasing. In general database management system, many techniques have been studied to solve concurrency problem of transaction. Among them, multi-version algorithm does to minimize interference among transactions. However, to apply existent multi-version algorithm to improve concurrency of transaction to spatial database management system, the waste of storage happens because it must store entire version for spatial record even if only aspatial data of spatial record is changed. This paper has proposed the record management techniques to manage separating aspatial data version and spatial data version to decrease waste of storage for record version and improve concurrency among transactions.     

具有真正并发语义的面向约束的实时进程代数

对于标准进程代数,通过加入因果和时间约束,对前缀操作项进行扩展,使得处理后的演算,保持定义简单,表达力增强,能够描述实时系统,并且具有真正并发语义。     

一种基于有色网的行动推理表示模型

针对行动推理中的异步并发、真并发和冲突难以被表示的问题,利用有色网具有严格的数学模型、易于形式化地描述系统异步、并发等特征的优点,提出一种基于有色网表示行动推理的形式化模型—CPNRAA网.运用其对状态、动作以及复合动作进行了形式化的描述,通过构造动作及复合动作的CPNRAA网并加入一个用于保存动作序列的库所,得出一个可以生成动作序列的CPNRAA网系统,并提出了该网系统动作序列的生成方法.对办公室环境下送咖啡实例的CPNRAA网系统进行了建模和仿真,自动生成的动作序列验证了CPNRAA网表示行动推理的可行性和有效性.     

StarSim:支持快速构建的离散事件系统通用模拟框架

离散事件系统是研究和实践中常见的一类目标系统,使用软件对其进行模拟是有益甚至必须的。提出支持快速构建的离散事件系统通用模拟框架StarSim,为离散事件系统快速构建软件模拟器。StarSim设计简单通用的系统抽象模型以支持快速构建目标系统模拟器,提供基于事件的实体间交互方式以表达目标系统中的交互行为,引入简化的对象请求代理技术以透明的支持分布性,使用基于令牌分发的多线程技术以并行处理目标系统中同时发生的事件,预留可定制的监测和控制接口以灵活的监控目标系统,使用Java语言编写以确保移植性。为一个混合类型离散事件系统快速构建模拟器,验证了StarSim的诸特性和快速构建能力。     

基于Petri网与改进A星搜索算法的矿井机车调度优化

为了提高煤矿井下机车调度效率、防止机车碰撞、堵塞,根据井下调度特点建立了机车运行赋时Petri网模型。针对原有启发式A*搜索算法存在的易陷入局部最优的缺点,提出了基于petri网的并发变迁遴选算法,引入变迁并发度概念,与启发式A*搜索算法相结合,得到改进的A*搜索算法。经过改进后算法的回溯计算,得到Petri可达图上的最佳路径,从而得出最优调度策略。根据以上算法进行MATLAB建模,最终仿真结果表明,经过改进的启发式A*搜索算法有效的避免了陷入局部最优解,其计算得出的调度路径及调度策略资源消耗量最少,调度效率较高且未出现机车堵塞碰撞等问题。