制造系统中的死锁问题

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

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

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

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

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

钢厂铁水运输系统的计算机控制研究

本文的研究对象是某钢铁厂的铁水运输调度系统,该系统属于无停靠站台铁水运输调度系统．文中首先用事件驱动状态空间模型理论对系统进行了描述,并在此基础上提出了避免系统死锁的敌对进路事件合并法,随后结合敌对进路事件合并所引发的问题,提出了一种ＬｏｏｋｉｎｇＡｈｅａｄ调度规则,经仿真验证算法合理．     

分布式事务管理系统DTM

本文描述一个分布式事务管理系统的模块结构。消息管理是该系统的核心,它提供简单但强有力的功能来控制事务的分布式管理。本文还给出了一种并发控制策略:带分布式死锁检查的超时法。该法按本文给出的一个公式对不同的事务计算不同的时间间隔,超时后进行分布式死锁检查。该法克服了传统的超时法和分布式死锁检查的不足。     

Petri网死锁的求解算法

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

Petri网动态运行可视化研究

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

浅析离散数学在计算机科学中的应用

离散数学作为有力的数学工具，对计算机的发展，计算机科学的研究起着重大的作用．计算机科学中普遍地采用离散数学中的一些基本概念，基本思想，基本方法，使得计算机科学越趋完善与成熟．简单介绍了离散数学在计算机科学的几个不同领域中的应用，指出了离散数学在从事计算机及相关科学工作中的重要性。     

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

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

FMS运控软件的死锁问题及其检测方法

对于一个ＦＭＳ运控软件的调试环境系统来说，能够检查出被测软件中可能发生的死锁问题是系统能够正常运行的必要条件之一．在被测系统Ｐｅｔｒｉ网模型的基础上，本文提出了一个实用的死锁检测和回避的方法，这种方法计算量小，具有通用性