【摘 要】
：
针对由Petri网建模的离散事件系统中具有混合约束的Petri网控制器的设计问题,利用局部设计和Pe-tri网简化技术改进与完善控制器的设计方法,并证明所提方法是最大容许的。先利
【机 构】
：
沈阳理工大学机械工程学院,清华大学国家CIMS工程研究中心
【基金项目】
：
科技部中小企业创新基金资助项目（05C26211400246）.
论文部分内容阅读
针对由Petri网建模的离散事件系统中具有混合约束的Petri网控制器的设计问题,利用局部设计和Pe-tri网简化技术改进与完善控制器的设计方法,并证明所提方法是最大容许的。先利用局部设计Petri网简化技术把所有约束库所融合为一个与它们标识总量相等的库所,然后再与受约束的变迁进行对照比较,使控制器的设计更为简单并且避免了死锁,尤其是对规模较大的系统,其优势更加明显。针对于约束的不同情况,给出了相应的控制器设计方法,最后通过几个例子对该方法的简单性和有效性进行了验证。
其他文献
农业转型升级对涉农专业人才培养提出新需求,针对目前中职涉农专业人才培养模式的现状,以安徽省阜阳农业学校农艺专业为例,构建了课堂与田间工学反复交替的人才培养模式。主
以生物制剂KZSH01作为还原剂与铁锰多金属矿发生氧化还原反应,研究了铁锰矿的细度和还原剂的含量对还原效果的影响,考察了还原过程中温度和物相的变化,探讨了H2SO4用量对Mn和
摘要根据贵州省、毕节市、六盘水市、黔西南州面板数据，分析了贵州省毕水兴资源富集区总体情况和农业发展基本情况；运用经济非均衡增长理论，从第一产业人均增加值、人均农产品产量、人均可支配收入3个方面研究了该区域存在的非均衡增长现象。基于经济、产业、改革、条件等基础层面分析了非均衡增长现象的成因，有针对性地提出了强化区域性农业产业分工与协同、强化区域性农村改革新模式的系统研究、强化区域性农业产业转型与创新
摘要通过对榆社基准气候站实测2013年1月1日—12月31日的逐日最低气温、地面最低温度、草面最低温度以及榆社各区域站每日最低气温的分析，结合收集到的霜冻资料，建立区域站与本站的气温关系以及区域站气温与地表温度的关系，形成区域站地表温度与本站最低气温预报值的关系，实现通过本站最低气温来预报区域站最低地温，建立霜冻精细化预报模型。通过2014—2016年实测霜冻数据进行验证，得出：本站最低气温预报的
目的探讨单侧输尿管上段嵌顿性结石患者的微创手术方案。方法选取2012年1月~2015年1月于本院就诊的单侧输尿管上段嵌顿性结石患者104例。将104例入选病例分为经皮肾镜碎石取
利用Cu与Fe具有液相分离特性,以及母材与堆焊材料的冶金反应,采用聚焦光束堆焊制备了Fe3Si弥散分布的铜基合金复合堆焊层.采用X射线衍射、SEM、EDS及显微硬度分析等方法研究
研究了熔融的SnPb钎料由固定高度滴落到Au/Ni/Cu焊盘上的温度变化过程和界面反应情况.结果表明:对钎料熔滴到达焊盘瞬时的接触温度,熔滴初始温度是其主要影响因素,而高度变化
采用石英晶体微天平现场技术研究了Hg(Ⅱ)离子在纳米TiO2表面的吸附及光化学还原过程.结果表明:Hg(Ⅱ)离子借助于纳米TiO2表面羟基发生吸附,吸附平衡常数约为3.9×105L/m