移动机器人路径规划的一种改进蚁群算法

提出了一种复杂静态环境下的移动机器人避碰路径规划的改进蚁群算法。基于栅格法的工作空间模型,模拟蚂蚁觅食行为,并针对移动机器人的路径规划的需要,将一些特殊功能赋予常规的蚁群算法。为了避免移动机器人的路径死锁,在路径搜索过程中,当蚂蚁探索到一个死角时,建立了相应的死角表,同时用惩罚函数来更新轨迹强度。仿真研究表明:该算法能明显改善路径规划性能,并且算法简单有效。     

SQL Server 2000锁定分析及死锁预防策略

在事务并发访问数据库的过程中,锁是数据完整性和一致性的重要保证．通过对SQL Server 2000数据库锁机制的研究,介绍了SQL Server 2000数据库锁的概念、粒度和保持以及锁的模式和相容性．对死锁问题进行了具体分析,并提出相应的预防策略;分析了实际应用中用户自定义锁定问题,给出一些相关的解决实例．     

基于线程同步与妥协处理机制的多线程技术

为了充分利用CPU,节省系统开支,优化程序结构,多线程技术是许多程序开发中主要采用的技术。但是由于多线程这种技术的并发执行的特性导致许多资源利用、数据维护等方面的问题出现,死锁、数据混乱也随之产生。线程同步与妥协处理机制可以较好的解决多线程使用过程中产生的问题。实验中采用了这两种方法后数据混乱、死锁等问题的出现几率大大降低。实验结论表明上面两种方法的使用可以很好的控制死锁、数据混乱的出现,具有良好的使用价值。     

一种Linux内核自旋锁死锁检测机制的设计与实现

在操作系统内核中,自旋锁是一种应用非常广泛的锁机制,能大幅提高系统性能和吞吐量;另一方面,自旋锁的使用不当,会立即将系统锁死,直至人工重启才能解锁,是危害性最大的死锁原因.从检测死锁发生的角度出发,提出一种自旋锁死锁检测机制,可迅速检测到Linux内核中死锁的发生,报告死锁相关信息供管理员分析使用,在可能的情况下重启系统,降低系统宕机时间,提高系统稳定性.     

基于petri网的多级管理并发信息流模型与死锁分析

在多级信息管理系统中,如ERP管理软件,往往存在多维并发信息流,由此引发因争夺资源而产生的系统死锁,这将严重影响系统效能.本文基于petri网建立了系统的数学模型,进而分析在并发信息流中产生死锁的关节所在,为从理论上研究系统的效能,例如,发现和排解死锁等,提供了可靠根据,有效地保证了系统的正常运行.     

Petri网死锁的求解算法

本文对Petri网的基础知识作了相关的介绍,以及对Petri网的结构性质进行一定的介绍与分析,其中主要介绍的结构性质是可重复向量和死锁,并适当的通过举例来说明问题.根据Petri网的相关结构性质,初步得出了T-不变量、可重复向量、死锁的关系,给出了T-不变量和可重复向量的求解算法,以及对Petri网进行结构变化的基础上,给出相应算法去求解一个网的死锁.最后还给出了利用真值表求解死锁的方法.     

对银行家算法设计思想的改进及其代码实现

分析了银行家算法避免死锁的设计思想，改进了银行家算法，使其效率得到一定程度的提高，且用C语言描述了实现银行家算法的部分关键程序代码。     

基于HLA/RTI的分布式交互仿真中的死锁问题研究

从避免死锁的角度出发,深入地研究了RTI实现中的保守同步协议,并分析了RTI中为预防死锁的发生所采取的策略。在HLA标准下,其中重要的一点就是通过引入Lookahead以使时间管理机制能够得到更多的信息,这样可以有效地解决保守算法中的死锁问题。但如果物理系统出现死锁,那么基于HLA/RTI进行仿真时,仿真系统还是会出现死锁。最后,以一个机床加工系统为例进行了仿真,证实了上述看法的正确性。     

基于广义微分Petri网的混合系统仿真方法

针对混合动态系统仿真的特点，建立其广义微分Petri网仿真模型，将混合系统的仿真统一于同一建模框架下，在此框架下，离散事件和连续状态变化对混合系统演化的推动作用均可以通过仿真模型中的变迁激发来完成，通过对广义微分Petri网的仿真过程进行分析，给出了基于该模型框架的仿真算法，并对仿真过程中出现的由资源共享引起冲突现象及其解决方案进行分析，最后讨论了仿真系统的死锁及其避免问题。