控制软件设计与验证计算机辅助系统

介绍了控制软件设计与验证系统的原理与实现过程 ,给出顺序功能图[1] (Se quentialFunctionCharts,即SFC)需求说明语言到系统Petri网模型的转化算法和系统几种异常现象的验证算法 ,讨论了系统实现的若干关键技术 。

Petri网的公平依赖关系

Petri网是对系统进行模拟与分析的有效工具。公平性是Petri网的重要性质之一,体现了系统中变迁在运行时紧密的相互依赖关系。然而在许多情况下,这种依赖关系是单向的,这些变迁也不处于公平关系。因此,在对一些实际系统进行模拟和分析时,清楚各个环节之间的相互依赖关系十分重要。通过对依赖关系的分析,我们可以清楚决定各个环节运行的条件。

客户机/服务器模式在煤矿工资管理系统中的应用

系统地介绍了当前广泛使用的客户机 /服务器模式 ,研究了提高客户机 /服务器系统性能的措施。在此基础上 ,用客户机 /服务器模式实现了煤矿工资管理系统 。

Petri网的依赖关系

为了分析变迁不处于公平关系或弱公平关系时在运行中的依赖关系 ,本文提出了公平依赖和弱公平依赖的概念 .研究了伪可重复向量的性质及在判断公平依赖关系时起的作用 .给出了判断变迁处于公平依赖关系和弱公平依赖关系的充分必要条件 .

基于T-不变量的可重复向量的求解算法

研究了Petri网中T-不变量与可重复向量之间的关系,并基于此关系给出一个求解可重复向量的新方法。首先定义了变迁扩充网的概念,证明一个网的可重复向量与其变迁扩充网的T-不变量之间存在一一对应关系,从而将一个网可重复向量的求解转换为其变迁扩充网T-不变量的求解上。在此方法中,如果利用FM-算法去求解T-不变量,则某些求解的步骤可以省略,从而得到一个类似于FM-算法的算法来求解可重复向量。此算法能够求出一组可重复向量,而任一可重复向量都可被这组可重复向量非负有理系数线性表出。

稠密数据库有趣规则的快速挖掘

目前 ,关联规则的挖掘算法主要用于非稠密数据 ,很少有挖掘稠密数据的算法 ,而现实世界中有许多数据是稠密的 .由于现行的算法不适合稠密数据的挖掘 ,本文定义了兴趣度函数 ,给出了挖掘稠密数据有趣关联规则的有效算法 .该算法与以往不同的是提前过滤掉不满足约束的属性组合 ,因而提高了速度 ,同时 ,使发现的规则更有趣 ,更易理解 .

改进的哲学家进餐问题无饥饿解的Petri网模型

哲学家进餐问题是计算机科学中反映同步与并发的经典示例,活性与无饥饿是求解此问题的基本要求。基于两个许可卡轮转的策略,已经给出了一个无饥饿解的Petri网模型。此模型中可能出现两种情况:一个哲学家正在进餐时,另一张许可卡也轮转到他手中,但此卡只能在进餐后传下去;当两个相邻的哲学家都持有许可卡,并都希望进餐时,被竞争的那根筷子不能确定分配给谁。针对这两种情况,对原模型作了修改,提高了系统的效率。

基于分布式的文件服务器数据库加锁与刷新构件的设计

解决了有关文件服务器数据库加锁与刷新构件的设计问题：客户－服务器方式在用户量或网络数据量较少的情况下的执行效率并不如分布式文件服务器方式的效率高，文章在从理论上讨论有关网络数据库的隔离机制和锁定和刷新方式的基础上，提出了一个通用的基于分布式文件服务器的锁定和刷新构件的设计方案。

主从任务调度的T-时间Petri网

任务调度是一个NP-hard问题,并且是并行与分布式计算必不可少的组成部分.本文首先提出了适合描述异构环境下独立、等尺寸的大规模任务调度问题的T-时间Petri网模型,然后给出了刻画该模型运行的并发可达图的构造算法,最后,在并发可达图中得到了最优调度策略,该策略实现了稳定状态的最优调度,有效地缩短了调度的初始化及清除阶段的时间.

公平网的活性判断

Petri网的活性判断一直是一个广为关心的问题。本文就公平网的活性进行了研究。指出如果一个公平网的有界子网是活的,那么该公平网是活的。并给出了一个公平网活的充分必要条件。

关于XML数据库存储技术的研究

通过把关系型DBMS作为XML DBMS的内层,将XML文档存储于关系数据库.每种结构类型都基于文档结构创立相应的数据表,并建立惟一的标识符,每个元素、属性和字符数据都可以单独访问、修改或删除,提供了最大的灵活性.

面向并行工程的知识库校验模型与方法研究

主要研究并行工程知识管理中底层领域知识的分析和验证问题 .将 Petri网技术应用于领域知识库的建模和分析 ,基于高级网系统给出了知识库各种异常现象 (包括 :规则冗余、规则冲突、循环规则等 )检测的建模技术和验证方法 .