电子保险锁结构的改进

某科研所开发研制的电子保险锁 ,在试用期产生的情况为 :每使用１０００次会发生２０次左右的死锁现象 ,一旦发生故障排除极难 ,所以对其结构需进行改进。（１）原电子保险锁的结构及死锁现象产生原因原电子保险锁的工作原理与结构见图１,图中锁处于打开状态。锁舌由于弹簧的拉力而复位 ,卡锁键在弹簧的推力作用下紧贴锁舌槽外的圆柱面。如锁舌向上推动 ,卡锁键便滑入锁舌的槽中 ,则呈锁紧状态。当密码输入正确时 ,微电机便通电旋转带动蜗杆蜗轮传动 ,固结在蜗轮上的偏心圆头柱便随一起旋转。当偏心圆头柱顶端到达卡锁键的槽中时 ,便推动卡…     

自动小车存取系统中轨道导引小车环路死锁控制的研究

为防止自动小车存取系统中轨道导引小车环路死锁现象,提出了一种基于Petri网和有向图的死锁控制方法.该方法首先应用有色赋时Petri网建立了自动小车存取系统的动态模型,并结合有向图工具,阐述了导致环路死锁的原因.在此基础上,针对单一轨道双向运行的轨道导引系统,探讨了其环路死锁的主要表现形式,给出了轨道导引小车无死锁运行的充要条件,并提出了包含临界状态在内的死锁避免控制策略.最后,结合实例说明了环路死锁控制的有效性.     

复杂并行共享资源与系统死锁

研究了制造过程共享资源引起的死锁问题。提出了并行资源死锁结构的概念。对于包含该结构的系统，给出了Petri网模型具有可能死锁的充要条件。基于资源向量的概念，提出了一个简单方法，用于判断系统是否具有可能的死锁。针对包含死锁结构的系统，提出了系统Petri网无死锁的设计方法，举例说明了这种方法的应用。     

自动导引车系统避碰及环路死锁控制方法

为了避免单向导引路径网络中各自动导引车间发生碰撞及系统死锁,以基于单向导引路径网络的自动导引车系统为研究对象,提出一种避免自动导引车间碰撞的避碰方法。针对基于单向导引路径的自动导引车系统特点,建立了基于有向图的自动导引车系统运行状态模型,基于该模型提出一种环路死锁搜索方法。定义了包括单环路和多环路死锁临界状态的环路死锁临界状态概念,针对两种环路死锁临界状态,设计了对应的死锁控制策略。通过仿真证明了所提方法的有效性。     

一种基于Petri网和AGA算法的测试系统死锁预防策略

在自动测试系统中,很多任务需要并行测试.测试过程比串行测试复杂,较容易出现死锁现象,因此提出一种基于Petri网和自适应遗传算法(adaptive genetic algorithm)的死锁预防策略.在该策略中,首先为自动测试系统建立一个Petri网模型,然后将Petri网的状态方程作为约束条件,最后求出模型的发射序列即系统中无死锁的任务调度路径.Petri网的发射序列求解一直是NP问题,针对这种情况,引入自适应遗传算法对可行解空间进行全面的搜索,可得到所有无死锁的路径.最后,通过雷达接收机的并行测试例子,和启发式算法搜索进行对比,进一步体现了该死锁预防策略的优越性.     

一种半导体自动化制造系统中的死锁避免

在半导体自动化制造TRACK系统中，由于没有缓冲空间，死锁避免更加困难，保守策略大大降低资源利用率，而路径的柔性为获得更有效的死锁避免策略提供了可能性，本文采用面向资源的着色Petri网建模，基于该模型并利用路径柔性，提出一个系统无死锁的充分条件，并给出相应的控制规律，依据该规律，系统中任务的个数不受限制，并能处理多晶片类型，最后，给出一个说明方法的实用实例。     

一种运用图论进行FMS无死锁调度的方法

在制造系统中 ,必须防止死锁的发生。本文提出一种在制造系统 (带有限缓冲区 )中搜索最优的无死锁调度算法。此算法建立在遗传算法的基础上 ,运用图论算法来保证无死锁调度结果。为了保证遗传算法生成的调度策略能够满足所要求的约束 ,运用图论方法选择无死锁个体 ,添加缓冲区 ,从而在保证了系统的主要性能指标的同时 ,得到系统可行的无死锁的调度结果。本文的主要创新之处在于提出了一种考虑系统缓冲区的无死锁调度方法。     

并行测试中合成仪器的应用研究

根据并行测试资源需求及合成仪器在并行测试中的应用优势,提出了满足并行测试需求的多通道并行信号产生模块。该模块为并行测试系统提供丰富的激励资源通道,降低了由竞争和死锁现象引起的任务分解与调度的压力,为并行测试系统的搭建提供了很好的支持。     

FMS运控软件调试环境中的死锁检测方法

ＦＭＳ中存在死现象是理想的，此时系统至少存在一个等待环，环中工件处于互相等待彼此所占有资源的状态。对于一个ＦＭＳ控制软件，如果不具死锁的预测和回避方法，在实际运行过程中就会因可能出现的死锁现象而发生故障，在建立ＦＭＳ运控系统调试环境时，本文旨于确认被测ＦＭＳ运控软件的死锁预测和回避功能。在被测系统Ｐｅｔｒｉ网模型的基础上，根据选定的调度策略确定所有被占用资源上工件的目标库所集，以检验系统中是否在死     

自动化仓库输送过程调度问题研究

自动化仓库中输送系统的工作过程具有典型的离散事件特征。本语文基于面向对象着色Ｐｅｔｒｉ网模型，讨论了该过程的死锁分析问题，并给出了死锁避免的最大允许反馈控制策略。