加入动态搜索模型的蚁群算法及其应用

用传统蚁群算法求解复杂条件下的路径规划问题时易出现局部最优、收敛速度慢等问题。提出利用栅格法建立地图模型,加入动态搜索模型对蚁群算法进行优化,包括根据不同的初始、终止位置对路径选择进行限制;对死锁法要删除的栅格进行优化;在信息素浓度更新过程中,设置动态阀值,对要增加信息素浓度但长度低于阀值的路径进行“惩罚”,设置信息素浓度下限。通过对路径规划与TSP问题等实例的仿真,改进蚁群算法在避免局部最优、加快收敛速度方面均优于对比算法,验证了改进算法在提高收敛效率、缩短计算时间等方面具有优越性。

自动导引车系统实时多属性任务调度方法

针对制造系统环境下自动导引车系统任务调度问题,提出一种实时多属性任务调度方法;建立综合考虑加工子系统和搬运子系统的制造系统模型;采用输入输出缓冲区状态等系统属性衡量搬运任务的紧迫性,暂时禁止搬运非紧急任务以提高加工子系统的效率;为避免制造系统出现死锁,在调度过程中采用启发式调度规则临时禁止一些关键任务;为提高搬运子系统的效率,将空载路程作为任务分配的依据。仿真结果表明,与三种常用调度方法相比,所提方法具有更好的整体性能。

基于 Petri 网结构分析的死锁避免控制研究

该文基于Ｐｅｔｒｉ网的结构特性，针对柔性制造系统中共享多种资源的串行过程提出了一种死锁避免方法。通过在原Ｐｅｔｒｉ网的基础上增加局部控制库所以保证无陷井的极小死锁带有标识，将扩展网限制到安全标识，从而避免了全局死锁的发生。

侦查僵局与侦查情势研究

侦查情势理论要求侦查主体在侦查过程中正确、全面、发展地诠释和控制对侦查有意义的各种条件与状况 ;侦查主体未能正确地诠释侦查情势或未能根据侦查情势正确使用侦查方法是侦查僵局的成因 ;运用侦查情势理论 ,合理使用侦查方法 ,可以突破侦查僵局 ,实现侦查最优化。

FMS中资源共享导致的死锁状态及其避免方法

针对FMS中多种操作对有限资源的竞争会导致死锁状态 ,采用Petrinet分析技术对其进行了研究。建立了FMS的PPN模型 ,并在此基础上给出了直接死锁和潜在死锁的定义 ;引入了死锁状态方程的概念并给出了其构造方法 ;描述了死锁状态和资源分布之间的内在联系 ,并提出了一种死锁避免方法。实例表明该方法能够简单有效地避免死锁的产生 。

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

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

并发控制中死锁的检测方法

数据库的并发控制,经常导致死锁,本文针对此问题给出检测方法。

改进蚁群算法及其在机器人避障中的应用

提出了一种改进蚁群算法.首先针对蚁群算法在构造解过程中收敛速度慢且容易陷入局部最优,提出了在蚁群搜索路径过程中,通过建立α(信息素启发式因子)和β(期望启发式因子)的互锁关系,动态自适应调整α、β;其次针对蚁群算法在面对凹形障碍物易陷入死锁,降低搜索效率,提出了广义信息素更新规则;最后利用栅格法进行静态已知环境建模,通过不同规模TSP的仿真验证了该方法的可行性和有效性,同时将其应用到机器人避障并取得了较好实验效果。

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

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

多用户操作系统避免死锁的矩阵搜索法

死锁问题是多用户操作系统的一个重要事件,本文对避免死锁的矩阵搜索法进行分析。

Nucleus PLUS自旋锁测试方法研究

Nucleus PLUS是新一代的嵌入式实时多任务操作系统内核。在多核操作系统环境下,同一时刻多任务同时访问内核,自旋锁可以很好地处理不同处理器之间存在的同步与互斥问题,但自旋锁如果使用不当,极易产生死锁,造成应用层功能无法实现,所以很有必要对自旋锁展开重点测试。通过对自旋锁机制的研究,提供了一种针对自旋锁的测试方法,避免自旋锁在使用中产生死锁。

某型无人机方向舵卡死自修复仿真和分析

为了提高某型无人机飞行安全性和生存能力,基于模型跟随法设计了某型无人机方向舵卡死自修复控制律模型。分别对方向舵卡死故障模型及自修复模型进行了仿真,利用仿真结果对比分析了自修复前后无人机飞行状态。结果表明,通过设计的模型可以实现方向舵卡死的自修复控制,从而提高某型无人机飞控系统的可靠性和安全性。

多载量自动导引车系统防死锁任务调度方法

针对车辆装配制造应用环境中的辅料配送多载量自动导引车系统(AGVS)任务调度问题,建立了以最小化任务配送路程和最大化待料停产剩余时间为综合优化目标的任务调度数学模型,提出于基于改进带精英策略的非支配排序遗传算法(NSGA-Ⅱ)的防死锁任务调度方法。首先,构建了多个用于产生优质个体的启发式规则,以提升NSGA-Ⅱ初始种群的质量;设计了结合前瞻性预测机制和防死锁策略的个体解码决策流程,以决策出满足所有约束条件的防死锁任务调度方案;然后,为了加速非支配前沿向更优方向收敛,设计了带精英保留策略与邻域搜索的种群进化机制;最后,通过仿真实验对所提方法进行了验证。仿真结果表明:与其他方法相比,所提出的防死锁任务调度方法,能够以较低的任务执行时间获得更高的内饰装配线产能。

数据库的死锁现象及解除方法

数据库系统已成为当代计算机系统的重要组成部分．如何科学地组织和储存数据．如何有效的解决数据库中并发控制带来的死锁现象，就此提出了几个解决途径和遵循原则．

包裹智能分拣系统提效降损交通管控方法

为了提升包裹智能分拣系统的分拣效率、降低包裹破损风险,设计了一种交通管控方法。首先,介绍所设计的包裹智能分拣系统的结构和工作原理;其次,为了避免包裹在分拣过程中发生相互碰撞,设计一种基于信号量理论的避碰策略;再次,针对包裹分拣过程中可能出现的环形死锁现象,设计基于有向图理论的环形死锁检测与避免算法;最后,开发包裹智能分拣系统仿真平台,验证所设计方法的有效性。

用间接递归法判断推箱子游戏的死锁情况

把推箱子游戏中箱子的死锁情况分为三大类,分别为"之"字形死锁、"凹"形死锁区和闭合死锁区。其中"之"字形死锁是最常见的情况,"死角"、"四块"等形状只是"之"字形死锁的变形,都是在横向与竖向之间进行的交替延伸,非常适合用"间接递归法"程序进行智能分析。图文并茂、循序渐进,能使编程初学者尽快理解奇妙的"间接递归法",用java语言编写了分析程序,希望能为读者提供良好的借鉴作用,同时也为分析推箱子游戏箱子死锁问题奠定一个坚实的基础。