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

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

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

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

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

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