冗余信标及其在Petri网结构控制中的应用

来源 :机械科学与技术 | 被引量 : 0次 | 上传用户:pengtao2222
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了冗余严格极小信标的概念,冗余信标是网拓扑的一种特殊结构.在保证网系统的所有信标不被清空时,只需要考虑那些非冗余的严格极小信标即可.这样便降低无死锁Petri控制器设计的复杂性,大大增强了Petri网处理复杂系统的能力.同时提出了一种死锁控制的迭代算法,使用冗余信标的概念可以大大简化Petd网的设计.以自动制造系统为例,说明了这种概念的应用.
其他文献
介绍了在基于Client/Server的多媒体创作平台HCS上的实现的应用系统-防汛抗旱多媒体信息服务系统。该系统能以图、文、声、像的形式实时提供天气预报、气象云图、水文水情等信息,可为防汛抗旱指
采用有限元法分析了背压腔结构变化对压力平衡型指尖密封性能的影响程度和规律,探讨了背压腔设置位置和背压腔大小在不同密封流体压差和转子径向跳动量条件下,对指尖密封的迟
往复推送链是一种新型的链传动装置.本文简略介绍往复推送链的结构形式及工作原理后,重点阐述往复推送链运动精度的可靠性设计原理,即将链条中的链节长度、运动副间隙看作矢
利用RAPD-PCR技术,对7个抗大豆孢囊线虫的大豆和10个感病大豆品种的基因组DNA进行了RAPD分析,供试的200个随机引物均产生了清晰稳定的RAPD扩增产物,其中有21个随机引物产生的RAPD扩增产物具有多态性,获得了5个与大
考虑摆盘活塞式发动机具体结构特点和材料性质,以及所涉及的振动分析频率范围,建立了轴向振动和扭转振动的多自由度振动集中参数模型,对于高频振动,采用了分布参数模型等效传
提出评判轨迹创成平面连杆机构设计稳健性的准则,并采用蒙特卡罗模拟方法对这类连杆机构的产品质量特性进行了分析,分析表明这类产品的质量特性不符合正态分布.
依据与SMV(SoybeanMosaicVirus)抗性基因紧密连锁的共显性SCAR标记SCW—05660的序列测定结果,合成了两对SCAR(SequenceCharacterizedAmplifiedRe-gions)标记特异引物,对30个栽培大豆品种进行了指纹图谱分析。结果表明,较短的片段S—5600和S—05660是抗病品种的特征性条带;而较长
以不同醇或醚为配基,发展了一系列以硅胶为基质的新型疏水色谱固定相,研究了以山梨醇及其单丁醚为配基的填料对生物大分子分离了最佳色谱条件,该固定相可以很高的活性回收率使蛋
简述了一种能求得非线性方程组完全解的数值方法--连续法的基本原理及其发展状况,该方法既能可靠求得机械运动学方程的全部精确解。又有用于求机构优化设计的全部优化解,从而有利
介绍了一种用反应蒸发工艺生长在陶瓷平板上的一种电热转换元件,给出了薄膜电阻率与温度的关系以及电功率与时间的关系,分析了这些特性在实际应用中的作用和功能。对其它特性也