深入解析银行家算法

银行家算法是操作系统中采用避免死锁策略来解决死锁问题的一种算法。本文首先讲述了银行家算法流程,然后深入解析了银行家算法的根本原理。这在国内外操作系统教材中是第一次揭示银行家算法的根本原理。     

浅谈Java多线程机制

针对高可靠、高质量Java并行多任务程序设计，分析了Java多线程的创建、调度、同步机制及死锁，探讨了多线程程序的设计。     

基于谓词冲突图的死锁检测

在分布式多数据库环境下,局部站点数据库自治性使其只能对本地站点上事务进行并发控制而无法防止全局事务间的冲突和死锁发生,故采用谓词冲突检测技术来判断全局事务间的直接和间接冲突,为此,提出了多粒度的谓词冲突图构建方法,从而使并发控制粒度达到谓词级,分析了冲突的全局事务在谓词冲突图中形成死锁的各种情况并通过检测图中是否形成环来避免全局事务在执行中可能产生的死锁,不仅减小死锁冲突检测粒度,而且还提高了全局事务执行的并发度.     

整体式半导体自动物料搬运系统解死锁算法

为了有效地解决300mm晶圆制造中整体式自动物料搬运系统的设备缓冲约束引起死锁的问题,构建了基于图论的两阶段解死锁算法.首先对问题域进行了形式化描述,在此基础上,证明了死锁产生和解除的充分条件,以关键设备死锁解除时间最小化为目标,建立了数学规划模型,并构造了解死锁算法.该启发式算法使用存储柜转存晶圆批来释放死锁的小车资源,并应用图论理论构造了多个并行路径来解除死锁.最后,对算法进行了仿真实验,结果表明该算法能有效求解设备缓冲约束引起的死锁问题.与其他解死锁方法相比,上述算法能有效减少解死锁时间,提高了关键设备的可用率.     

基于定时限保护整定计算的实用断点计算方法

结合电力系统定时限保护整定计算的特点,提出了一种新的实用断点计算方法.定义了配合环网和死锁环网的概念,并通过预整定形成死锁环网;在所得死锁环网基础上,将依赖函数扩充分为主依赖函数和后备依赖函数,根据主/后备依赖函数中元素的特点判断死锁环网中是否存在特殊网络结构并进行相应的处理,同时动态地将主依赖函数或后备依赖函数为空的保护从待选断点保护中删除,以保证每一步的断点计算都是针对环网进行.算例表明:本方法能较好地满足国内电力系统定时限保护逐级配合整定计算的要求.     

一种进程网络中的死锁检测算法

卡恩进程网络(KPN)是一种应用于数据流建模的模型.由于理想的KPN需要无限制容量的用于通信的管道,而这种要求用计算机是无法实现的,所以T. M. Parks提出了一种有界调度策略.然而,这种有界调度又会导致一种理想KPN里不存在的假死锁,即由于写阻塞导致的死锁.针对PN中存在的假死锁,提出一种消息复杂度为O(n)的死锁检测算法DRAP,该算法能找到当前死锁的瓶颈所在,通过增加瓶颈管道的容量来解除死锁.     

移动机器人智能车场停车资源调度分配

商业、民航业、汽车制造业停车场的“效率低、管理难”问题日渐严峻,通过引入AGV构建自动化智能停车场迫在眉睫。与柔性制造系统、自动化码头等领域不同,AGV智能停车场可以自由选择终点,而传统的停车资源分配方法：随机分配或就近分配对AGV运行情况的预测不足,造成等待时间与停车资源的大量浪费。本文提出了一种停车资源分配方案的代价评价模型,通过计算分配方案的路径干涉概率对分配方案进行评价,并在传统分配方法的基础上提出了两种新的停车资源分配方法。通过Plant Simulation对模型进行仿真验证,仿真结果显示：在44个停车位,4辆AGV投入运输的情况下,降低路径干涉概率,将仿真总时长降低了30.4%,提高了停车场的运输效率。     

SQL Sever 2000系统编程时的性能优化

SQL Sever 2000作为一种普遍应用的大型数据库管理系统,其优化技术在数据库应用中尤显重要.从减少数据传输、避免使用LIKE搜索条件、使用分组字段等方面介绍如何优化查询设计;从使用UPDATE数据库更新、使用索引、防止死锁及死锁处理等方面介绍在数据维护时的性能优化.     

基于多目标优化的移动机器人避障算法

针对移动机器人自主导航过程中由于过多寻求当前时刻最优路径或最优解而产生死锁或震荡现象,提出了一种动态变化权重的移动机器人行为融合避障算法.该算法利用多目标优化方法获得移动机器人最有效解,并把指定目标的移动机器人避障导航过程分解为3个子行为避障系统.通过动态改变子行为函数的权重和优先级,实时获得当前时刻最满意路径或最有效路径.实验结果表明,该算法可在确保避障过程鲁棒性前提下,有效地改善避障导航的安全性和平滑性。     

Petri网死锁的求解算法

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