Synthesis of Petri net supervisors enforcing general constraints

来源 :浙江大学学报:A卷英文版 | 被引量 : 0次 | 上传用户:zwb19860
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
为研究横向效应增强型侵彻弹(Penetrator with Enhanced Lateral Effects,PELE)的爆炸特性,采用AUTODYN-2D和无网格SPH算法建立弹体和弹靶的计算模型并模拟PELE侵彻铝合金靶的
This paper starts with a description of the present status of the Digital Library of India Initiative. As part of this initiative large corpus of scanned text i
利用MSC Marc软件建立锚固边坡的整体模型,考察岩体的流变特性和锚杆的弹性模量对锚固边坡的影响,全面分析在不同流变系数的岩体和不同弹性模量锚杆的情况下边坡的变形、岩体的
The modelling and formal characterization of spatial vagueness plays an increasingly important role in the imple- mentation of Geographic Information System (GIS). The concepts involved in spatial obj
针对在板材冲压成形CAE仿真分析过程中,等距处理后的网格会出现尖角或自交叉的问题,研究KMAS/One-step的网格等距处理,基于背景网格,实现实用的一次试输入即可判断成形模面等
尺寸;材料类型限制燃料房间的表演。在电极的温度的增加;房间的电解质,由于过去激活(负载的转移) 潜在,过去潜在欧姆(极化的电阻) ,过去反应潜在(化学药品释放的热反应) ;过去散开
中央八项规定出台一年来,各地普遍反映党政机关“大吃大喝少了,节俭办事多了;文山会海少了,工作效率高了;前呼后拥少了,轻车简从多了”。不少领导干部表示,禁止吃吃喝喝、迎来送往,实则是帮干部“减负”,“以往需三天才能办完的工作,现在一天就能完成”。然而有媒体报道,在某些地区,部分干部职工在办公用房、配备公务车辆、公款报销等方面,还存在暗使歪招、搞变通等现象,值得警惕。  长期以来,在一些地方和一些人的