P/R网和进程(Ⅱ)

给定一个EN系统的一次运行,与它对应的P/R网不是唯一的。 本文引进了P/R网同构的概念,并证明了EN系统的同一个运行所对应的P/R网在同构意义下是唯一的。本文还讨论了P/R网表示的反问题,引进了P/R网良构的概念,证明了良构性是对任一P/R网存在一个相应的EN系统的充分必要条件,该系统的一个运行即以此P/R网为其描述。本文还证明了反问题的解在如下意义上是唯一的:具有相同P/R表示的EN系统彼此亦相同     

基于图的主动数据库规则模型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.     

P/R网和进程(Ⅰ)

Petri网是描述、分析和设计并发行为的数学工具。然而,对于并发行为中至关重要的进程概念,网论中的定义一直未能尽如人意。本文认为,把Petri网看作平面网的传统观点是造成这种困难的重要原因,并定义了一种多层Petri网——Petri/Riemann网,简称P/R网,以图解决上述困难。本文证明了,对任意的EN系统(以及C/E系统)均存在一个P/R网表示,既反映系统的静态性质(结点间的拓扑排序),又反映系统的动态性质(事件点火的偏序关系)。P/R网到系统的映射即定义为进程。     

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

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

Petri网和图文法

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

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

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

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

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