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

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

基于FPGA的2D-Torus片上网络无死锁路由算法

片上网络的拓扑结构和路由算法直接影响片上网络的传输延迟和传输效率.基于2D-Torus拓扑结构,提出了一种新的片上网络无死锁路由算法.通过改变数据包在片上网络路由过程中受限制转弯的位置,保证片上网络的自适应路由条件,从而有效降低片上网络的延迟.在FPGA硬件平台上,设计并实现了基于该路由算法的2D-Torus片上网络,并对其进行测试.实验结果表明,基于该路由算法的片上网络,可以满足片上网络多方向数据通信及多路数据并行通信等性能要求.     

一种基于局部扭曲立方体的无死锁路由算法

局部扭曲立方体是一种新提出来用于并行计算的互连网络.经研究发现,局部扭曲立方体中已有最小路由算法存在着死锁.针对原有算法的特点,提出了一种新的无死锁路由算法并给出了无死锁证明.利用将物理通道分成2条虚拟通道进而形成2个不相交的虚拟网络,将不同的点对之间的路由限定在某一个虚拟网络中,从而有效地避免了死锁的产生.同时,利用一个局部扭曲立方体可由2个低维子立方体和2-扭曲立方体构成这一性质,在局部的低维子立方体和2-扭曲立方体中均采用自适应路由,从而提高了算法的自适应性.     

死锁定理与死锁的预防方法

本介绍了计算机操作系统中检测死锁的充分必要条件，即“死锁定理”，同时还介绍和讨论了预防计算机出现死锁的几个方法。     

网环步进码片上网络自适应路由算法设计

针对片上系统使用过多虚拟通道带来大量的缓存面积及能耗开销问题,提出了一种网环步进码(TSC)片上网络自适应路由算法.将网环网络中2个虚拟通道划分为按编码"O"或"1"数量递减或者递增的2个子网络,按TSC编码为网环拓扑结构中的网络节点进行编码,每个节点与相邻节点有且仅有一位不同,由此可以减小网络开销,避免片上死锁.实验结果表明:在均匀传输模式下,算法可为94%的数据包提供自适应路由选择,并在不增加虚拟通道数量的前提下,提高路由算法在网络负载增大时的适应能力.     

TCP拥塞控制中的死锁与混沌

为了研究传输控制协议(TCP)拥塞控制中的死锁和混沌现象,提出TCP发送端解除死锁的方法,以避免因为死锁而导致网络传输的不公平性,该文通过分析logistic映射的初始值对其状态的影响,证明了不同的初始值会改变混沌系统的状态。把该证明结果用于分析TCP拥塞控制,指出了对于确定参数的网络系统,不同的初始值会导致网络处于周期变化、混沌或不稳定状态,而死锁就是不稳定状态。因此,TCP发送端可以采用改变初始值的方法来避免死锁。仿真表明,该方法能有效地解除死锁,使网络回到混沌状态,提高网络传输的公平性。     

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

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

基于列分转弯模型的片上网络路由算法

针对现有的判断片上网络路由算法是否含有死锁的方法都比较复杂,以及传统转弯模型存在不足的问题,提出了一种更简单更直观的判断路由算法是否包含死锁的算法,并证明了该算法的正确性,然后提出了一种列分转弯模型。列分转弯模型能实现针对二维mesh网络的基于虚跨步交换技术的无死锁、最短路径部分自适应路由,并且不需要额外的虚拟通道。该模型会在网络节点处限制某些转弯,从而避免死锁,类似于奇偶转弯模型。模拟实验结果表明:基于该模型的路由算法与基于奇偶转弯模型的路由算法相比,在不同的流量模式下平均延迟都有所降低,饱和点有所上升,从而提高了整个网络的性能。     

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

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

一种新的分布式死锁探测与解除方法

为了有效地解决分布式环境下的死锁探测与解除问题,本文提出了一种基于请求路径双向探测的方法,此方法较以前各类方法具有更好的分布性、可靠性和更短的死锁探测时间。     

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

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

含有不可控变迁的Petri网死锁避免策略

文章针对Petri网建模的并发系统中的死锁问题,利用Petri网可达树分析方法检测系统死锁的存在,结合Petri网控制器的设计来达到预防和避免死锁的目的;提出了一种新的约束设计思想,进行控制器设计,使得系统不会出现死锁;更进一步地考虑到控制器设计过程中存在不可控变迁的情况下系统避免死锁的设计问题。     

深入解析银行家算法

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

离散事件动态系统的一种新仿真方法

本文针对离散事件动态系统,提出了一种新的仿真方法,它由异步仿真运行、仿真死锁检测、解除仿真死锁三部分组成。文中详细讨论了这种方法的原理及特性,并应用此方法对—FMS进行了仿真研究。     

一种基于并行技术的死锁检测算法

在介绍基于资源分配图的、传统的死锁检测算法基础上，提出一种新的基于并行技术的死锁检测算法，并用1个实例说明该算法的执行过程。新的死锁检测算法是基于矩阵表示方法，在最坏情况下，运行时间复杂度是O(min(m，n))，其中m和n分别是进程和资源的数量。新的死锁检测算法与传统的算法相比，执行时间大大减少，需要内存也比较小，系统能够很好地检测死锁的发生，并且释放占有资源。     

综掘工作面"双局扇双电源"供电方式研究

论述了综掘工作面“双局扇、双电源”供电方式和自动切换系统,结合阳煤集团和大同煤矿集团公司的实际,介绍了风瓦电闭锁高压的实施办法.     

并发事务的一种操作模型

本文定义了一种描述分布式数据系统并发事务行为的操作模型，以此为基础讨论了并发事务的调度，并享模式的Ｌｏｃｋｉｎｇ机制，死锁等问题。     

一种并发控制协议—2PL-LW

2PL是大多数商业数据库系统使用的并发控制机制，建议使用一种新的协议：2PL－锁全写（2PL－LW），在实时数据库系统中，使用2PL－LW比传统协议在一致截止期条件下有更好的性能，同时建议使用阻塞事务的调度方案并对死锁进行分析。     

一种动态监督系统的设计与实现

本文给出的动态监督系统可以检测Ada语言多任务程序在运动过程中量中是滞发生死锁，如果死锁的原因是由于程序设计不周而引起的，将提示用户如何修改程序，否则可以自动解锁。