论文部分内容阅读
本文提出了一种在等待图中检测回路的线性时间算法，它通过搜索回边来判定等待图中回路的存在性。
基于等待图模型的死锁检测新算法
【摘 要】
：
本文提出了一种在等待图中检测回路的线性时间算法，它通过搜索回边来判定等待图中回路的存在性。
【机 构】
：
浙江大学计算中心,长春光机学院
【出 处】
：
计算机研究与发展
【发表日期】
：
1994年10期
其他文献
加筋土是在土中铺设加筋材料而使整个土工系统的力学性能得到改善的土工加固方法。土工格栅是现在较为常用的一类加筋材料。本文对土工格栅加筋土挡墙施工技术进行相关的论述
天然气长输管道关键设备国产化项目——20兆瓦级超高速防爆变频调速同步电动机经过一年多的试制，近日通过了国家能源局新产品鉴定。这是继25兆伏安高压变频调速装置通过国家级
当前经济发展下，企业文化愈发受到广大企业的重视，被作为企业发展的动力及理念创新的基本得到广泛提倡。而人力资源作为企业生产的保障．加强对其人性化的管理，是凸显企业以人为本
英特尔、三星和戴尔近日宣布联合成立“开放互联联盟”（OpenIntemonnectConsortium），开创一个新的物联网无线标准，旨在确保智能设备之前的相互通信，协同工作，解决智能家电之间各行
在小型气－液鼓泡床反应器上，观察、测定了气泡的大小及运动情况，并运用统计学原理计算出Sauter气泡平均直径、气泡上升速度，为了解大型气提式外环流反应装置内的气泡大小及运动情
植物是陆地生态环境的主体，是风景资源的重要内容。在人们的日常生活中，最经常接触，最容易感受到的美丽景物，就是千姿百态的植物所构成的自然景象了。“远山一带翠屏，近水两岸垂柳
安哥拉房建工程中，经常遇到湿陷性砂土，对几种用到的软土基础处理技术总结，同时对其他几种软基处理方法进行说明，不同的软基有着不同的处理方法、同一种软基可以同时结合使用几种