论文部分内容阅读
基于通信顺序进程和资源向量的有关概念,提出了截断迹及截断迹集,研究了系统具有共享资源时标志容量的计算方法,提出了具有顺序共享资源制造系统Petri网控制器的形式化设计理论和方法.
顺序共享资源制造系统Petri网控制器的形式化设计方法
【摘 要】
：
基于通信顺序进程和资源向量的有关概念,提出了截断迹及截断迹集,研究了系统具有共享资源时标志容量的计算方法,提出了具有顺序共享资源制造系统Petri网控制器的形式化设计理
【机 构】
：
西安电子科技大学,机电工程学院,西安,710071
【出 处】
：
机械科学与技术
【发表日期】
：
2002年3期
其他文献
玉米顶腐病(Fusarium moniliforme var.subglu-tinans Wr.Renik)是玉米生产上的1种新病害。与玉米其他病害相比,玉米顶腐病的为害损失更重,潜在危险性更大。该病于1998年在我
积累,就是在学习过程中,把老师讲的、自己想的、自己看的记录下来。针对学习语文为什么要注意积累以及如何积累两个问题进行了探析。
Accumulation, that is, in the learni
本研究以充分有力的系列冠状动脉血管造影证实，每天摄入维生素E100IU能够减慢冠状动脉粥样硬化的进展。156例（年龄40～bg岁）以往施行过冠状动脉搭桥移植术的男性患者进入本研究。
在新形势下,我国提出了“一带一路”的战略发展构想,新丝路北线计划则涉及到我国与俄罗斯以及西北欧之间的海上船舶货物运输贸易需求,同时随着全球气候的变化,北极地区的重要
1911年12月14日，挪威探险家阿蒙森在南极极点留下了人类首次抵达的足迹。100年后的2011年12月下旬，我作为纪念南极100年全球100名公益人士之一，以“一个地球一个家——关爱南极百人环保行”为主题，取道法国、巴西、阿根廷等国，在地球上最南端的港口城市乌斯怀亚登上“探索号”邮轮，踏上了南极大陆之旅。2012年1月中旬由南极返回后时至今日，脑中仍时不时闪现着那些令人难以忘怀的场景：奇幻般的风
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
当今世界，高技术在经济发展的过程中发挥着越来越重要的作用，高技术代表着经济发展的方向，其发展水平决定着国家的综合国力。因此，无论是发展中国家还是发达国家都将推动本国的高