面向对象的Petri网死锁检测

研究如何检测面向对象的Petri网(OOPN）中的死锁，将OOPN中的死锁分为结构死锁和约束死锁，给出了采用常规分析法检测结构死锁的步骤。运用大系统分解的思想，分两步进行分析，即首先验证每个对象类的子模型的活性，然后检查对象间的同步约束。该方法提供一种解决复杂问题的途径。     

硬盘死锁及其解除方法

本文首先描述了硬盘死锁的特征，并深入分析了硬盘死锁的原因在于硬盘分区表的篡改，由此引出解开硬盘死锁的思路和具体方法。     

基于工步备刀的FMS刀具流死锁的研究

针对为工步准备刀具的柔性制造系统中由于刀具资源竞争导致的死锁问题,采用图论方法进行了分析,建立了刀具流状态演变图,定义了机床阻塞,并由此给出了刀具流死锁的定义.建立了刀具资源分配图,描述了刀具流死锁与刀具资源分配图之间的内在联系,分析了刀具流死锁的相关特性,提出了刀具流死锁判定定理和刀具流死锁检测算法.实例表明该方法能够解决FMS中在工步备刀情况下的刀具流死锁问题,为进一步实现刀具流死锁避免奠定了技术基础.     

星形图上路径算法的无死锁性

本文对星形图上路径算法的无死锁性问题进行了分析，给出了星形图上的两个无死锁受限条件和一个满足无死锁受限条件的路径算法。     

柔性制造系统的死锁避免控制

用一类扩展Ｐｅｔｒｉ网，以模块组合形式对柔性制造系统的制造过程进行建模．以此模型为基础，分析了制造过程中出现死锁的充要条件．并给出了避免死锁，对共享资源所采取的最小限制的控制方法     

信息转接死锁避免的动态优化算法

对于动态传输路径，给出了每个结点至少两个缓冲的信息转接网死锁避免问题，所提出的死锁避免算法从缓冲利用的角度看是优化的。同时给出了死锁无关的证明及其条件，这对于并行计算处理问题是有益的。     

带有部分可观察的无死锁模监控

讨论了带有部分可观察的无死锁模监控的综合问题．通过用可辨识语言来代替可观察语言引入无死锁的，可控闭语言中，利用一对监控器间的d-不变关系，得到带有部分可观察的无死锁模监控的充分必要条件是两个子监控器满足d-不变关系．最后，又给出了带有部分可观察无死锁模监控的综合过程．     

FMS中刀具流死锁检测新方法的研究

FMS中的刀具流死锁问题是刀具流控制中至今未解决的难点问题,为此提出了一种解决刀具流死锁问题的方法———刀具流死锁图判定法,首次提出了刀具申请分配图的概念,定义了刀具流死锁图,把刀具流死锁和死锁图联系起来,建立了刀具流死锁的判定定理,并给出了两种死锁检测算法.该方法解决了FMS中的刀具流死锁问题,并为刀具流控制问题的深入研究奠定了理论和技术基础.     

一种解决FMS中刀具流死锁问题的方法

FMS中的刀具流死锁问题是刀具流控制中至今尚未解决的难点问题,文中提出了一种解决刀具流死锁问题的方法—刀具流死锁图判定法,首次提出了刀具申请分配图的概念,定义了刀具流死锁图,把刀具流死锁和死锁图联系起来,建立了刀具流死锁的判定定理,并给出了2种死锁检测算法.该方法解决了FMS中的刀具流死锁问题,并为刀具流控制问题的深入研究奠定了理论和技术基础.     

网络环境下多用户操作的并发控制

多用户并发操作发生“冲突”和“死锁”，是设计网络应用软件需解决的关键性技术问题，本文介绍了实践中解决“冲突”和“死锁”所采取的具体措施。     

A Graph Theoretic Method to Handle Deadlocks in Flexible Manufacturing Cells

The deadlock-handling scheme is based on a bipartite graph model of the part-machine relationship in the manufac- turing cell.A distinction is made between permanent deadlock and transient deadlock.Permanent deadlock depicts a manufactur- ing system state where parts are irrevocably blocked and where external intervention is required to resolve the deadlock,whereas a transient deadlock indicates that there is a positive probability that the deadlock will resolve itself over time.To recover from dead- locks,one control policy is studied:resolve deadlocks in the manufacturing cell.Under the policy,it is shown that it is sufficient to resolve any cycle in the set of deadlocked parts to resolve the deadlock.Finally,we estimate the deadlocks in flexible manufactur- ing cells.     

A Graph Theoretic Method to Handle Deadlocks in Flexible Manufacturing Cells

The deadlock-handling scheme is based on a bipartite graph model of the part-machine relationship in the manufacturing cell. A distinction is made between permanent deadlock and transient deadlock. Permanent deadlock depicts a manufacturing system state where parts are irrevocably blocked and where external intervention is required to resolve the deadlock, whereas a transient deadlock indicates that there is a positive probability that the deadlock will resolve itself over time. To recover from deadlocks, one control policy is studied: resolve deadlocks in the manufacturing cell. Under the policy, it is shown that it is sufficient to resolve any cycle in the set of deadlocked parts to resolve the deadlock. Finally, we estimate the deadlocks in flexible manufacturing cells.     

S3PR网的一种死锁预防策略

针对S³PR网的死锁预防问题,提出了一个有效的死锁预防控制算法,将用于死锁避免的C／D-RUN控制策略扩展到基于信标的死锁预防策略中,合理分配控制库所的资源,从而保证不存在死锁的状态和步骤．首先将S³PR网中的严格极小信标分为基本信标和从属信标,由基本信标集合得出一组状态向量表示的线性不等式约束,然后将这组约束用C／D-RUN策略进行优化,得到一组标识向量满足的广义相互抑制约束．根据所得标识约束添加控制库所,使所有基本信标均为P-不变式可控,得到活的、结构简单的、许可行为更多的Petri网监督控制器．     

基于时间戳的进程死锁预防策略的研究

通过分析死锁产生的条件,结合基于时间戳的事务并发控制方法,提出了在分布式系统中基于时间戳的进程死锁预防策略(即基于时间戳的对进程分配资源的动态优先级方案),利用等待-死亡策略和伤害-等待策略两种策略,来解决资源请求的冲突,以达到预防进程死锁的目的.并分别从理论和实例两方面验证了基于时间戳的动态优先级方案预防进程死锁的可行性和有效性.