柔性制造系统中多路径条件下的死锁避免

路径选择柔性是柔性制造系统的重要特性，但它使系统的调度和控制复杂化，从避免死锁这一重要要求出发，讨论了多路径条件下系统的建模，给出了一种称之为面向资源的着色Ｐｅｔｒｉ网（ＣＲＯＰＮ），它不仅能很妇地描述系统中的动态资源竞争，而且能准确地描述系统中的工作流，利用这一模型，将获得避免死锁的充要条件。     

柔性制造系统中死锁避免的充要条件：第一部分：资源竞争过程的建模

柔性制造系统的主要特点是多种不同类型的工件同时在系统中加工。这些工件竞争系统的有限资源，导致象系统死锁等这样的不希望事件的发生。本文用一种Ｐｅｔｒｉ网模型，称之为着色面向资源Ｐｅｔｒｉ网来描述系统中的这一竞争过程。这一模型提示了资源竞争过程的本质特点，从而为寻求死锁避免的充要条件提供了基础。     

处理死锁的几种策略

在多道程序系统中，多个程序并发执行，共享系统资源，若对资源的管理和使用不当，会导致系统死锁。死锁避免是解决死锁问题的常用方法，而银行家算法是最著名的死锁避免算法。用类C语言描述了多项资源银行家算法。     

具有多项式时间复杂性的避免制造系统死锁控制策略

基于系统 Petri 网模型, 研究自动制造系统的避免死锁问题. 对不含中心资源的制造系统, 证明了它只包含安全和死锁两类可达状态. 通过一步向前看的方法, 给出了系统多项式时间复杂性的最佳避免死锁策略. 对一般系统定义了一种辅助 Petri 网. 利用辅助网的最佳避免死锁策略, 提出了综合一般制造系统多项式复杂性的避免死锁策略的方法.     

并发操作系统中基于有色Petri网的死锁检测与避免

1.引言系统的并发性与资源的共享性是并发操作系统的主要特征,其目的是最大限度地提高计算机资源的利用率。死锁是并发操作系统必须解决的一个重要问题。人们试图用不同的方法来解决死锁问题。如Dijkstra提出的有名的死锁避免的“银行家算法”,Coffman等人给出的死锁检测算法。 Petri网模型作为模拟与分析并发、异步、分布式系统的一种有效工具,已被用于解决操作系统中的许多问题。如进程通讯中的生产者/消费者问题、哲学家用餐问题,资源竞     

Lookahead为零时的仿真

lookahead是HLA时间管理服务中的重要概念。looka-head值是在仿真执行过程中由用户自己设置的。Lookahead的值为零是一种特殊情况,它在实际仿真系统中会经常出现,IEEE标准专门为此做了规定。如果多个联邦成员都有lookahead为零,可能会造成逻辑时间推进的死锁状态。讨论了引入lookahead的意义,并分析了lookahead为零时死锁的规律性,了解了这些规律后,就能有效地避免死锁,从而使仿真过程更加顺利地进行。     

Lookahead为零时的仿真

lookahead是HLA时间管理服务中的重要概念.lookahead值是在仿真执行过程中由用户自己设置的.Lookahead的值为零是一种特殊情况,它在实际仿真系统中会经常出现,IEEE标准专门为此做了规定.如果多个联邦成员都有lookahead为零,可能会造成逻辑时间推进的死锁状态.讨论了引入lookahcad的意义,并分析了lookahead为零时死锁的规律性,了解了这些规律后,就能有效地避免死锁,从而使仿真过程更加顺利地进行.     

基于Petri网的并发系统活性分析

本文从数据库系统在时刻t的状态N出发，构造出相应的Petri网模型，进而构造出其可达标识图．通过分析可达标识图，可判断系统是否为死锁状态．若不是死锁状态，系统是否可能出现死锁，什么情况下系统肯定不会出现死锁．最后，给出了数据库系统中事务并发操作的死锁检测方法与避免措施．     

选举策略在分布式系统死锁避免中的应用

将单机系统或集中式系统中的死锁避免策略移植到分布式需要面临并发性和冲突问题的解决。本文通过分析二阶段锁的机制,引入了一种应用选举策略来幽雅地解决分布式系统中死锁避免所碰到问题的算法。     

部分可控Petri网分布式死锁监控器设计

研究了部分可控Petri网柔性制造系统中的死锁避免的问题。为了保证死锁避免和资源最大允许利用,提出了基于分支定界法的Petri网死锁监控器的优化设计方法,采用多个子控制节点对全局状态建立分布式监控器,通过行为可行和分布可行对分布式监控器下合法状态空间进行检测,对最大行为可行子集建立线性规划模型求解最大分布可行合法状态集,得到分布式监控器下的最大合法状态子空间。最后,建立了柔性制造系统的部分可控Petri网模型,针对系统的死锁避免等多个行为特性要求,分别设计了集中式监控器和分布式监控器,分布式监控器能有效地避免死锁。     

一类并行互斥制造系统的死锁避免控制

本文用一种扩展Ｐｅｔｒｉ网，并行过程Ｐｅｔｒｉ网，对竞争使用有限资源的一类并行互斥制造系统进行建模。以此模型为基础，分析了这类制造系统中出现死锁的充要条件，并给出了避免死锁，对共享资源所采取的最大允许允馈控制策略。     

柔性制造系统中死锁避免的充要条件第二部分：资源的动态分配规则

本文根据在第一部分中推导出来的描述资源竞争的着色ＲＯＰＮ给出在柔性制造系统中无死锁运行的充分必要条件，从而得出相应的控制规律。它是一种资源动态分配的策略，它决定当一个资源空闲时，是否可以分配给一个任务，可以的话先分配给谁，以保证系统无死锁，并使得资源利用率最大。     

基于强化学习算法的多机器人系统的冲突消解策略

多机器人系统中，随着机器人数目的增加．系统中的冲突呈指数级增加．甚至出现死锁．本文提出了基于过程奖赏和优先扫除的强化学习算法作为多机器人系统的冲突消解策略．针对典型的多机器人可识别群体觅食任务．以计算机仿真为手段，以收集的目标物数量为系统性能指标，以算法收敛时学习次数为学习速度指标，进行仿真研究，并与基于全局奖赏和Q学习算法等其他9种算法进行比较．结果表明所提出的基于过程奖赏和优先扫除的强化学习算法能显著减少冲突．避免死锁．提高系统整体性能．     

一种面向软件工程的时序逻辑语言

ＸＹＺ系统由时序逻辑语言ＸＹＺ／Ｅ及一组基于该语言的ＣＡＳＥ工具集组成．ＸＹＺ／Ｅ语言的目的是欲使逐步求精，描述及验证、快速原型等一些软件工程方法更加有效．特别地，它还能表示实时通信进程中的动态成分．在统一的框架下，不仅能表示不同层次的抽象描述，而且能表示普通高级语言的各种重要性质．本文是关于这一时序逻辑语言最新、最完整的介绍．     

如何解决MS SQL SERVER数据库中的死锁

一、问题的提出 MS SQL SERVER 是一个高性能的多用户关系型数据库管理系统,它强大的管理工具和开放式的系统体系结构正被越来越多的人们所认可。但在使用时,经常会遇到一个讨厌的问题——死锁。数据库中的死锁不能完全避免,笔者仅就实践中如何解决MS SQL SERVER 数据库中的死锁提出解决办法。 避免死锁的常规方法是保证编写应用代码的一     

分布式锁管理在集群系统中的应用研究

集群系统可实现不间断实时数据处理,分布式锁管理可以为集群系统中的相互操作的进程提供同步访问共享资源的机制.同时避免死锁的发生.     

优先级反转和死锁的资源管理模式研究与实现

为了抑制优先级反转现象,采用优先级继承协议来解决优先级反转现象,在此协议中不能避免系统死锁现象的发生。分析了死锁现象产生的原因的,在优先级继承协议基础上提出了优先级反转和死锁问题的资源管理模式,采用排序锁定共享资源的方法,使共享资源按照SourceID由低到高的共享顺序依次被访问。理论证明该方法在一定程度上抑制优先级反转且避免了死锁现象的发生,通过实验结果表明了解决优先级反转和死锁的资源管理模式的正确性与可行性。     

一类FMS的最佳活Petri网模型的综合

利用Petri网为一类柔性制造系统建模,并讨论避免系统死锁问题.通过Petri网模型的结构分析,证明了系统产生死锁的一个充分必要条件.给出了避免死锁的最佳控制器,它可以通过给系统的Petri网模型增加一些新的位置与相应的弧来实现.从而导出了这类制造系统的最佳活Petri网模型.     

数据库系统中并发事务死锁的解除与避免

本文利用Ｐｅｔｒｉ网作为工具，从提高事务进程并行性出发，建立数据库系统的并发事务进程竞争数据资源的模型。并由此推导出死锁和临界死锁的充分必要条件及提邮相应的避免死锁的控制机制。该控制机制是通过如何对关键的空闲数据资源进行控制分配来实现避免死锁。     

避免FMS死锁的控制策略

本文利用ＦＭＳ的Ｐｅｔｒｉ网模型讨论系统的死锁问题，给出了系统死锁的必要充分条件，提出了避免系统死锁的反馈控制策略，这种策略对系统的限制小，在许多情形下是最优的。