局部公平网的充要条件研究

来源 :西安电子科技大学学报 | 被引量 : 4次 | 上传用户:duozhiyu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Petri的局部公平性反映了网系统在局部行为的公平关系,给出了局部公平Petri网的一个充要条件,即如果Petri网具有若干个互不相交的变迁不变式的支撑,则该网是为变迁不变式覆盖的.同时提出了状态观测器的概念,根据网的库所不变式理论,通过把网中所有的状态观测器设计为一个库所不变式,可把一个局部公平网设计为一个公平网.最后给出了状态观测器初始标志的确定方法,来最大限度地保证网系统的行为不受观测器的约束.
其他文献
<正>~~
期刊
通过对大学生思想政治状况调查,掌握其政治态度、思想状况、道德水平、网络行为,以及对思想政治理论课态度等,将为开展大学生思想政治工作提供依据,也有利于思想政治教育的科
利用360安全浏览器上网快捷,很多朋友都在使用,将360安全浏览器升级到3.5正式版后,发现QQ空间加速有不错的表现,特分享给大家。
讨论了树型任务图到超立方体的映射问题,基于矩阵分析的方法,建立了以二项树为数据的嵌入算法,该算法利用了特殊矩阵的某些性质,克服了以往采用双根树的缺点,使嵌入过程易于自动实
Windows Media Player(以下简称WMP)是很多朋友都默认使用的媒体播放工具,但看着一成不变的淡雅背景,着实有些令人生厌。其实,只要对注册表键值稍作更改,即可快速更改WMP的默认背景
要提高高职生的英语综合能力,仅靠课本知识的学习和课堂上教师的讲授是远远不够的,还必须在此基础上进行大量的课外阅读,这样有利于扩大词汇量,增强对背景知识的了解,同时在
在行政办工作,三天两头需要向各部门及下属机构发送固定格式的邮件,原来很是麻烦,不是从Word里面复制之前的来修改,就是自己写。近日发现网易163、126邮箱新增
讨论了框架的一般特性,并着重研究框架的冗余性,结果表明,采用冗余的小波框架进行离散小波重构,其重构误差比采用比采用正交基实现的重构误差要小。
探讨了抽象概念与相对具体概念之间的关系 ;从资源模型出发 ,给出了针对抽象概念操作的二义定理 ;研究了抽象概念在需求提出与方案设计中的作用 ,并将需求分成静态和动态两类 ;指出在计算机上针对动态需求实现产品发明是完全可能的
针对多分量正弦信号,采用信号分解的思想,提出一种基于频域“CLEAN”抑制交叉项的方法,即行在频域利用“CLEAN”的技术将信号逐一分解,然后对每一个分解后得到的单分量信号进行时频分析(Winger-Ville分布