【摘 要】
:
目前,对于广义混杂Petri网的变迁公平关系和同步距离都只有极少结论,本文对广义混杂Petri网,给出了两个变迁(组)之间公平关系和同步距离的形式定义,并通过修剪的不变行为状态(in
【机 构】
:
合肥工业大学计算机与信息学院,安徽理工大学理学院
论文部分内容阅读
目前,对于广义混杂Petri网的变迁公平关系和同步距离都只有极少结论,本文对广义混杂Petri网,给出了两个变迁(组)之间公平关系和同步距离的形式定义,并通过修剪的不变行为状态(invariant behavior,IB)演化图给出确定变迁同步距离的方法,得出了判定变迁公平关系的充要条件,还证明了变迁公平关系、同步距离和修剪的IB演化图之间的联系.本文的方法对简单离散Petri网不仅能得到已有的相关结论,而且推广了同步距离概念适用的范围.最后,以混杂运输控制系统为例,以同步距离为基础设计同步控制器,说明同
其他文献
采用超声波水位计观测的潮位资料,人工整编投入时间多,工作量大,准确率得不到保证,用VB开发的应用程序可以实现潮水位资料的自动整编,大大减轻了工作量,提高了工作效率,整编成果的准确率可得到有效保证。
2005年1月.亚洲女子高尔夫球巡回赛首次登陆中国。在广州江门五邑球场,我国选手张娜技压群芳.将本发冠军奖杯收入囊中。
掌握角度线 欲投全中球,必须掌握角度线瞄准法。所谓角度线瞄准法是指球员根据某一球道的特性,先决定采用多大的角度线,再在这个基础上作相应位移调整,求得落球点、目标箭头、瓶
1991年,笔者在《重庆晚报》上发表了一篇题目为“家常川莱纵横谈”的文章,其中就给当时一些并未列入历代川菜典籍或菜谱的菜品,以及不按照传统烹制技法来加工的家常菜起了一个新
我认为,腌好的虾仁要具备三个必须——必须嫩、必须白、必须脆,只有具备了这三点,炒出来的虾仁才是最好的。为此我建议大家按照以下的方式去腌虾仁。
依据摄动线化原理,本文对模型直升机非线性模型在平衡点进行了小摄动线性化处理,得出了线性化动力学模型,并对它进行了PID控制律设计,应用MATLAB/Simulink对控制律作用于线性
甜橙皮作为加工、鲜食的副产物,占了柑桔果重的30%~50%,其中主要含有类黄酮、类柠檬烯、VC、类胡萝卜素等生理活性成分。本文主要研究了用纤维素酶处理前后橙皮水提取液在体外对H2
2006“银座杯”全国桌掷球(沙狐球)锦标赛和2006年“润洁杯”全国桌掷球巡回赛6月26日、28日先后在济南市银座保龄球馆圆满结束。东道主队喜获丰收,包揽了两项赛事的全部冠军。
老钟:老婆子快点来,不然就没有球场了。钟妻:好,就来了(手里提着几个球出场).快走吧!快点!