Petri网中的公平依赖体系研究

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:missingmm
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文给出了弱公平依赖的严格定义,及亚公平依赖、弱公平依赖关系的判定条件.从而使了公平依赖关系也同公平关系一样成为一个严格体系,并给出了公平依赖体系的图形表示.使公平依赖关系的研究可部分的借鉴公平体系研究的成果,这对以后公平依赖关系的研究具有一定的指导意义.
其他文献
浙江省磐安县农房改造是当代中国乡村建设的一个缩影,它反映了中国乡村建设普遍存在的困境:文脉断裂、审美缺失。本文主要探讨磐安农房改造过程中“拆旧建新”的农房改造模式
介绍了2015年中国专用化学品及其8个下游分领域产品的出口情况。2015年中国专用化学品总出口额为1024亿元,出口额排前3位的省份是江苏、山东和江西,占中国总出口额的57%。
调查研究美术教材不适应农村小学教学的原因,依据调查结果充分考虑农村小学生的生理和心理发展、美术教学资源、学生学习兴趣、家庭教育经费投入、学生全面发展观等诸因素,提
Web日志挖掘的基本思想是将数据挖掘技术应用于Web服务器的日志文件,本文从Web日志挖掘过程邓处理阶段的结果用户会话文件开始,提出了一种基于扩展有向树模型进行用户浏览模式识别的Web日志
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
目的探讨影响高龄(≥70岁)Ⅰ期非小细胞肺癌(non-small cell lung cancer,NSCLC)患者术后生存的预后因素。方法回顾性分析2003年4月~2013年12月我院211例70岁及以上Ⅰ期NSCLC
本文从资源需求,流量控制和统计复用效果,QOS参数公式选择三个方面讨论了QOS保证与网络资源高效利用的关系,用对比的方法说明了在保证服务质量的前提下人上述三个方面提高网络资源利用
本文给出了一种不需要反算控制顶点的三次NURBS插值曲线方法,此方法得到的插值曲线在曲线段连接点处是C^2连续的,并且曲线是保形的,并具有局部修改性质。该算法简洁、易于编程实现。最后
目的探讨肾脏局部肾素血管紧张素系统(RAS)激活在载脂蛋白E基因敲除(ApoE-/-)小鼠高脂介导的肾损伤中的作用。方法将16只8周龄雄性ApoE-/-小鼠适应性喂养1周后随机分为高脂饮
目的了解我院ADR报告基本情况和ADR发生情况。方法统计2004年~2005年收集的89例ADR报表,对ADR涉及的药品种类、临床表现、合并用药情况、因果关系进行分析。结果89例ADR报告中5