解开计算机硬盘死锁的一种方法

本文介绍硬盘逻辑死锁的原因，并给出了解开硬盘死锁的思路和详细的程序。     

Petri网动态运行可视化研究

讨论了可视化开发方法在开发Pmtri网工具中的应用，描述了Petri网的视化运行的表现形式，介绍了Petri可视化运行的设计方法。     

关于操作系统中死锁问题的探讨

自从操作系统中引入多道程序设计技术以后,程序的并发性所引起的死锁问题便成了操作系统中我们必须面对和解决的一个难题。本文旨在探讨操作系统中死锁的形成原因及其有效地解决办法,通过实例和由浅入深的方式对死锁问题进行了全面而详细的探讨,由此我们知道,死锁问题是无法去完全避免和防范的,我们只能尽可能的去完善操作系统中的各项设计,从而在最大程度上去减少死锁的发生。     

CHY-Ⅲ通讯库的设计--一种面向并行仿真程序的可伸缩通信缓冲申请算法

从并行仿真程序的特点出发，为了解决点对点消息传递系统中由于网络热点（ＨｏｔＳｐｏｔ）而引发的消息阻塞问题，充分利用仿真程序的帧特性，设计实现了一种可伸缩的通信缓冲区申请算法，用软件方法消除了由阻塞而引起的死锁现象。经试用表明该算法开销小、效率高     

基于BDD快速求解Petri网的陷阱和极小信标

为了分析和计算Petri网模型的陷阱和极小信标,同时实现符号化快速求解,提出了基于二叉决策图(BDD)获取模型的陷阱和优化已有的求解极小信标的方法,主要对原有方法缩减计算步骤并进行优化。通过引入BDD布尔计算方式,可快速求解较大规模Petri网模型的陷阱和极小信标。依据布尔函数给出了相应的符号化表述,并结合实例使用提出的方法进行求解,求得并分析相关结果。分析表明,极小信标求解方法的优化具有显著的时间优势,使用BDD符号化计算方式可以快速求出Petri网模型的陷阱和极小信标,甚至对规模更大的Petri网模型也是有效的。     

一种基于线程机制的死锁模拟教学实验设计

计算机操作系统课程由于概念抽象,较难理解和掌握,因而课程实验对于加强概念的理解显得尤为重要。死锁是该课程的一个非常核心的概念,本文设计了一个基于windows环境下线程机制的死锁模拟教学实验,程序简单,易于实现和理解。实践表明,该实验在教学过程中收到了良好效果。     

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

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

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

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

计算机操作系统中哲学家进餐问题探究

解决"哲学家进餐"问题首先要找出对应的控制关系,设定相应的控制信号量。避免死锁也是解决该类问题的关键。     

制造系统中的死锁问题

介绍了制造系统中的死锁问题,特点及控制策略.总结了近十年来制造系统中死锁问题的研究成果,将死锁问题的研究方法,按照建模方法进行分类:基于图论的方法,基于Petri网的方法,基于自动机的方法.并对算法进行了总结和比较.最后指出了未来的研究和发展方向.