基于图的主动数据库规则模型E-RG

针对两种典型的主动数据库系统HiPAC和Starburst系统中主动规则模型的不足,提出主动数据库的E-RG规则模型.该模型由规则间基本时序关系导出控制结构,形成高层次的主动规则,既支持CA规则的并发执行,又易于规范规则集的行为特性.同时给出由规则间基本时序关系导出S,Y与P的关系,并保证时间语义无损的转换算法.     

应用线程和队列技术提高Access数据库的并发性能

Access数据库使用和维护比较简单方便，在中小型MIS系统应用比较广泛；但是由于Access数据库的并发性较差，使它的应用受到了一定的限制，文章通过对线程和队列技术的研究，提出并在考试系统中使用了线程和队列的组合技术，使Access数据库的并发性能有了较大的提高．     

Combination Reduction： A SYN-Sequence Selection Strategy for Reachability Testing of Concurrent Programs

Reachability testing is an approach to testing concurrent programs, which can systematically exercise every partially ordered SYN-sequence without constructing the static model. In fact, not all the SYN-sequences need to be tested. This paper proposed a SYN-sequence selection strategy for reachability testing, which can reduce the number of SYN-sequences generated without decreasing the effectiveness of detecting programs＇ errors. We described a simple algorithm to implement the strategy, and then discussed several optimizations to the algorithm. Experiments have been carried out in a case study to verify the efficacy of the strategy.     

对COM线程管理模型的实验性研究

在基于COM的应用开发过程中,经常由于对COM线程管理模型的理解不够深入而导致程序的性能不优或是并发性错误.尤其是并发性错误,重复出现的几率不高,给程序的调试带来很大的困难.通过实验对COM的各种线程管理模型进行了详细的描述.     

多线程数据通信系统的Petri网建模

根据多线程数据通信系统的设计需求,建立数据传送模块的Petri网模型.运用模型对数据传输过程所涉及的线程之间的同步协作、线程对共享资源的独占性存取、线程启动与结束时机判断等问题做模拟分析,并给出通信数据队列的多线程软件解决方案.该方案可以提升多线程串行通信程序的安全性和运行的稳定性.     

Petri网和图文法

通过对Ｐｅｔｒｉ网的点火变迁过程和图文法推导过程的研究，给出了从Ｐｅｔｒｉ网到图文法的构造过程，并进一步证明了网络的点火过程等价于图文法的推导过程，提供了关于并发性研究的又一途径。     

分布式数据库在高校的应用策略

本文分析了分布式数据库关键技术(如数据的分布、数据的复制等技术),并提出一种在多校区大学校园网环境下的实现分布式数据库的具体方案。     

基于图的主动数据库规则模型E—RG

针对两种典型的主动数据库系统的ＨｉＰＡＣ和Ｓｔｒａｂｕｒｓｔ系统中主要动规则模型的不足,提出主动数据库的Ｅ－ＲＧ规则模型,该模型由规则间基本时序关系导出控制结构,形成高层次的主动规则,即支持Ｃ－Ａ规则的并发执行,又易于规范规则集的行为特性,同时给出由规则间基本时序关系导出Ｓ,Ｙ与Ｐ的关系,并保证时间语义无损的转换算法。     

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.