基于有限容量库所方法的死锁防止算法

针对变迁均可控、可观的推广Petri网,给出了一种防止死锁的算法.该算法基于将死锁防止问题转化为控制规范的迭代算法和将控制规范施加到被控对象上的有限容量库所方法.它相对于只能面向某一类网的死锁防止方法,在通用性上有了很大改进;而且设计的控制器是结构型的,在线计算少、执行快;不过由于是迭代算法,有时离线计算量较大.最后用一个示例说明了该算法,并进行了进一步的讨论.     

基于优先级动态分配的分布式死锁探测方法

本文采用动态优先级分配策略,提出分布式事务死锁探测的有效方法。该方法所使用的优先级分配策略改进了传统的分配方法,它能更为准确地反映事务的运行特性,以较少的通讯开销来探测分布式死锁,且具有更短的死锁探测时延。     

基于活标识性质的活网子类划分

现有的Petri网子网分类在活性判断问题上难度跳跃过大,难以取得突破.通过对活标识单调性质的研究对结构活网进行了子类划分,将结构活网划分为严格单调活网、单调活网、关于冲突源单调活网、广义单调活网和奇异活网.同时,文中还给出了严格单调活网和单调活网的判定条件.这种划分对活性判断问题作了更细的分级,为活性的研究提供一种新思路.     

反应式系统的并发模型（Ⅲ）——Petri网模型

基于文（２,３）,引入反应式系统形式化描述的另一种典型模型－Ｐｅｔｒｉ网,给出一些重要性质的Ｐｅｔｒｉ网描述,建立了它与文（２）的抽象计算模型之间的映射关系,最后指出Ｐｅｔｒｉ网的一些不足之处。     

基于KOCNCES的智能重构制造控制系统动态建模与分析

为了提高制造控制系统的智能重构能力,提出了扩展功能块的新概念.在分析了智能重构与智能控制的并行执行过程基础上,探讨了基于知识表达的面向对象着色NCES(KOCNCES)建模方法,并给出了检测各虚拟制造设备(VMD)功能块对象KONCEM模型的死锁检测算法,以及检测整个控制系统KOCNCES模型的死锁检测算法.利用这些算法对机器人VMD功能块对象的KONCEM模型及一个柔性制造系统(FMS)的控制系统的KOCNCES模型进行了死锁分析.分析结果验证了该建模方法及死锁检测算法的有效性.     

嵌入式无线网卡驱动的实现与死锁问题的解决方法

本文介绍了USB无线网卡驱动程序设计的一般方法和技巧，并在嵌入式平台上实现了驱动的动态加载，对出现的热插拔问题进行分析，解决了平台USB底层驱动Hub．c函数中存在的死锁问题，最终使得无线网卡正常热插拔。     

程序正确性证明与动态特性

程序在多道程序系统中正确运行,取决于它的静态性和机子的动态特性。本文讨论程序正确性检测的可行性与局限性并重点讨论机子的动态特性检测方法,给出一些检测实便和方法。     

WIN95/98硬盘死锁的修复

硬盘死锁往往是由病毒或人为造成的，死锁后即使用软盘也无法启动。本文通过对ＷＩＮ９５／９８的ＩＯ．ＳＹＳ文件的分析，提供修改系统指令的技术来解决这种硬盘死锁问题。     

分布式两段锁协议

2PL是大多数商业数据库系统使用的并发控制机制,在实时数据库系统中,使用2PL协议有更好的性能,同时建议使用阻塞事务的调度方案并对死锁进行分析。