摘要：通过对自动制造系统的Petri网模型的分析,可以揭示出被模拟系统的死锁跟其初始标识和其结构有关。要想消除自动制造系统的死锁异常,可以通过修改Petri网的初始标识或Petri网的结构来解决。该文结合具体示例,给出了具体的可操作算法并设计出了控制自动制造系统死锁的Petri网模型,从而为自动制造系统的异常处理提供了一条有效途径。

摘要：针对自动导引车系统中的协调控制问题,提出一种基于有向图的控制程序自动化设计方法.首先,根据自动导引车系统的结构建立基于区域控制的有向图模型;其次,在部分可观的条件下,定义扩充危险域的概念,给出一种估计危险域中车辆数目的方法,进而给出导引路径的防碰撞控制规范;最后,讨论系统发生死锁的两个条件,给出相应的死锁控制方法,并通过仿真实验验证了所提方法的有效性.

摘要：设计了一个双通道运算放大器芯片SD358D的并行测试仿真实例。实例中应用USB数据采集卡和HPVEE软件组成的虚拟仪器对两路放大器的三个指标进行并行测试。由于两个测试任务共享仪器资源,容易发生死锁。为了解决并行测试中的死锁问题,首先为并行测试建立Petri网模型,模型中的变迁发射序列与系统任务调度路径一一对应,利用遗传算法搜索模型中无死锁的序列,然后控制系统按照这些无死锁的路径调度测试任务,就可以有效避免死锁的发生。最后通过实验结果,验证了该方法的正确性。

摘要：隐式硬编码的基于过程调用构件连接束缚构件集成的灵活性,且存在的死锁连接造成软件可靠性隐患问题.针对该问题,首先建立基于过程调用连接器形式语义模型,显式地将连接关系从构件中分离;然后给出并通过映射规则进行连接器到构件连接有向图的转换,并设计给出两阶段死锁检查算法和基于极大复用频率死锁连接消除算法,用于找到存在的所有死锁连接回路和消除所有死锁连接需要消除的最小数目连接的位置.最后应用及实验结果表明,该解决方法可行而且有效,可以用于增强软件可靠性,同时因其从语义上分离描述和存储构件连接方式,适合以此为基础进一步设计实现适应性连接器.

摘要：文中基于补库所理论提出了活性控制器设计方法.首先,利用容量函数K将原Petri网N转变为有限容量网珦N,再通过逐一增加K值得到具有最大可达集的容量函数Kmax,然后根据Kmax添加一组补库所,最终得到活性受控网N′.文中首先以S3PR网模型为例,与几种经典的死锁预防控制策略进行比较.实例数据表明,基于补库所理论设计的控制器不仅结构简单,避免了信标计算,还具有较好的行为许可性.最后,以S3 PGR2网模型为例,说明基于补库所的死锁预防策略同样可以应用于一般Petri网.

摘要：利用虚跨步切换技术中消息的依存关系只与相邻缓冲区队列相关的特点,设计了一种称为维度气泡流控(DBFC)的新型流控策略.该流控策略建立在虚跨步(VCT)切换和信约流控机制之上,通过分析端口信约值和路由信息实现点点间的流控.在无边带karyncube网络中,如果采用DBFC流控策略,即使网络中存在环相关,设计的自适应维度气泡路由(ADBR)算法仍可实现无死锁的最短距离的路由.对于以上结论,文中提供了详细的证明.最后,通过修改模拟工具RSIM的网络模拟器———NETSIM的代码,实现了DBFC流控策略和ADBR算法.模拟结果显示,ADBR算法在性能上比常用的维序路由优越,在报文延迟上有近17.5%的降低.

摘要：时间管理服务是高层体系结构HLA(HighLevelArchitecture)的重要组成部分,而考虑不全面的时间推进机制和算法会导致死锁,进而导致整个仿真系统无法向前推进。讨论了死锁出现的原因,对Frederick算法存在的不足之处进行了修正,提出了改进的身高测量法,并证明了这种方法不会产生死锁现象。在设计一个联盟时可考虑使盟员灵活地使用保守和乐观两种时间推进机制,并在对保守盟员计算GALT时使用改进的身高测量法,这样就可以在仿真过程中有效地避免死锁的产生。

摘要：BPEL流程的正确性问题越来越受到广泛关注.作为一种支持并发机制的Web服务组合语言,不正确地使用并发和同步操作或不正确的交互都可能会使单一流程内部或流程间产生死锁.死锁问题是一类常见的并发缺陷,可能严重影响系统的可靠性与可用性.更为严重的是,对于业务流程组合这种可靠性和安全性要求极高的系统,一旦发生死锁,将会对业务系统产生严重的后果.为此作者在分析BPEL特性和死锁特征的基础上,提出了一种可在BPEL流程设计阶段检测流程死锁的方法,从而提高流程的可靠性,减少系统的维护代价.文中提出了一种从全局出发进行分析的方法,结合流程间执行的上下文信息,可以有效检测流程间的通信死锁,该方法也适用于其它与流程执行上下文相关的缺陷检测.

摘要：研究高层体系结构中的死锁问题对于正确理解HLA标准中的时间推进机制、设计运行支撑平台RTI软件中的时间推进服务、以及开发基于逻辑时间的HLA/RTI仿真应用等都具有重要的意义.论文从零前瞻值、时间推进服务、时间管理算法以及死锁的解除等方面对分布式仿真中的死锁问题进行了多方面的研究,探讨了死锁发生时系统所具有的一系列现象,论证了发生死锁和不可能发生死锁时的各类情形.论文揭示了一个带有相当普遍性的原理,即“水平面原理”.该原理表明:当死锁发生时,所有程序都无法向前推进而处于相对静止状态,犹如平静的水面一样.在HLA/RTI仿真中表现为处于死锁状态的所有程序具有相同最大可用逻辑时间,此时所有程序均无法继续向前推进.

摘要：本文主要研究由资源分配引起的死锁,说明资源的各种类型和基于资源分配的系统状态模型,给出了死锁形成的四个必要条件。分别对解决死锁的四个感兴趣的区域:死锁的预防、避免、探测和恢复进行较详细的分析和研究。