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

来源 :动态分析与测试技术 | 被引量 : 0次 | 上传用户:crying___leaf
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
FMS中存在死现象是理想的,此时系统至少存在一个等待环,环中工件处于互相等待彼此所占有资源的状态。对于一个FMS控制软件,如果不具死锁的预测和回避方法,在实际运行过程中就会因可能出现的死锁现象而发生故障,在建立FMS运控系统调试环境时,本文旨于确认被测FMS运控软件的死锁预测和回避功能。在被测系统Petri网模型的基础上,根据选定的调度策略确定所有被占用资源上工件的目标库所集,以检验系统中是否在死
其他文献
本试验在东北地区,通过2年对不同方法加保温物蜂群越冬效果的测试结果是,试验组比对照组(三步保温法)越冬蜂群削弱率低13%-15%,饲料消耗量低36%-40%。试验证明,室外越冬蜂群应根据天
BOC 集团正推出一种新的有益环保的、不可燃的及防止溶剂滥用的喷雾器推进系统。作为工业气体的巨头,它对该项专利技术具有完全独占的全球性的分配权利。它将很快出现在明年
中国是世界上最大的烟草生产国,同时也是拥有3.01亿吸烟者的全球最大的烟草消耗国[1-2]。研究指出,吸烟是影响人类健康的最主要危险因子之一,世界卫生组织的一项研究显示,吸
<正> 1、前言近年来,随着送货上门的普及,生鲜食品的输送也得以简化,可以直接由产地运送给用户,反映了食品流通的繁荣景象,消费者也因此能吃到最新鲜的地方生鲜食品。为了适
突水事故是地下洞室工程施工中常见的工程问题,对工程的施工进度和安全存在严重影响。文章以辽宁省观音阁输水工程穿越F80断层洞段为例,利用数值模拟的方法对突水滞后时间影
<正> 当前,环境保护压力和经济在包装工业中起着很大的作用。包装商为了适应形势,不得不重新设计包装,改变包装用料结构,以达到提高回收再生率,提高包装重新复用率。
2006年受江西农业厅委托,制定《莲花粉生产技术规范》地方标准。7月初我们带上蜜蜂随同蜂场一起到广昌县驿前镇田心村进行脱粉试验。莲花在6月中旬就陆续开化,7月初进入盛花期,
提起X射线,相信读者们并不陌生。在医生看病的过程中,如果需要了解患者骨骼的情况,一般首先会让患者去拍一张X光片,利用X射线穿透能力强的特点,获知人体内部的情况。在宇宙中,X射线往往产生于非常剧烈的高能天体物理过程中,可以使天文学家们见识到通过其他频段的信号所无法认知的世界,加深我们对宇宙、星系和恒星物理过程的理解。同时,X射线与可见光因为不同的物理特性,又使得科学家们
近日,中国运载火箭技术研究院702所在天津圆满完成了长征五号乙火箭整流罩分离试验。该整流罩是目前国内直径最大、长度最长、质量最重的整流罩。