知识库系统中的一种并发控制方法

本文给出了一个基于ＤＡＴＡＬＯＧ环境的知识库并发控制算法，算法的基础是两段锁（ＴＷＯＰＨＡＳＥＬＯＣＫＩＮＧ），它使用了相关和覆盖的概念，减少了被锁对象的数目，从而提高了系统的效率．最后给出了算法的正确性证明．

一种新型的矿井通风智能监测系统

介绍了一种新型的矿井智能监测系统的结构、组成、工作原理及性能指标，并对仪器的测频精度进行了分析。该智能监测仪通过对井下风压、风速、温度等参数的监测，找出煤矿通风系统存在的隐患。这对提高煤矿安全生产具有重要的现实意义。

Petri网的叠加运算

本文提出Ｐｅｔｒｉ网的叠加运算，并讨论了它在环型系统和星型系统的分析与合成中的应用，得到一组有助于结构性质分析的充要条件和充分条件．本文的结果是文献（１）的进一步发展，在某些方面比文献（１）的结果要好．

一种新型智能化医用给氧监控仪

本文介绍了一种操作简单、可靠性高的智能化医用给氧监控仪，简述了该监控仪的系统功能及原理。

约束并发机制下Petri网模型的逻辑行为考察与随机性能评估

提出约束并发引发规则，建立该机制下Ｐｅｔｒｉ网行为的考察手段，进一步地对该机制下的随机Ｐｅｔｒｉ网的性能进行评估．本文结果可以作为约束并发调度规则下系统逻辑行为分析与随机品质估计的理论依据，为并发调度优化提供理论准备．

动态数据库中的并发控制方法

本文给出了动态数据库中的一种并发控制方法。作者以SQL语言为背景,给出了面向操作条件的事务定义;设计了基于二段锁(2PL)的并发控制方法:Condi-tion-Locking-Rule,此方法可以有效地解决动态数据库中的幽灵(Phantom)问题,从而使并发控制机制进一步实用化。

XOCPN:支持用户交互的多媒体同步模型

多媒体同步是多媒体应用的一个重要需求。本文对ＯＣＰＮ模型进行了扩展，提出了一种基于时间Ｐｅｔｒｉ网的多媒体同步模型ＸＯＣＰＮ，以对具有时间约束关系的多媒体合成进行规范描述，并具有支持灵活用户交互的能力。文中给出了处理异步用户交互的算法，并用示例说明。

矢量文法与PN机

引入串语义下的矢量文法概念,给出矢量文法的类乔姆斯基分类,并就正规矢量文法进行了更细的划分。讨论了矢量文法谱系和标量文法谱系之间的强弱关系,构成了标矢量文法谱系图。指出正规矢量文法与Petri网(也称PN机)语言上的等同关系,引入混杂PN机,并证明其语言与上下文无关矢量文法的语言是等同的。由此部分构成了矢量文法与PN机之间的关系结构。