【摘 要】
:
本文讨论了具有标记变量的随机高级Petri网(SHLPN)以及标识类型、标记变量和等价标记变量的概念,给出了具有等价标记变量可达树构造算法,并证明了等价标记变量可达集与合并状态的马尔可夫链状态空间之间的同构。本文着重描述了SHLPN在计算机网络传输协议的模型与性能评价中的应用,通过这个例子充分显示了这些概念和算法的有效性。
论文部分内容阅读
本文讨论了具有标记变量的随机高级Petri网(SHLPN)以及标识类型、标记变量和等价标记变量的概念,给出了具有等价标记变量可达树构造算法,并证明了等价标记变量可达集与合并状态的马尔可夫链状态空间之间的同构。本文着重描述了SHLPN在计算机网络传输协议的模型与性能评价中的应用,通过这个例子充分显示了这些概念和算法的有效性。
其他文献
本文旨在讨论女性主义理论在电影《Alice Doesn't Live Here Anymore》中所展现的对男性中心意识下父权制社会的冲击和由此带来的困境.指出女性主体身份在影片乃至当下社
一、据统计快报报道,1995年全国图书品种比1994年下降了0.2%,出版界的同志见了这个统计结果十分高兴。请问,品种下降了反倒高兴,原因何在呢? 要讲清这个问题并不难,什么事情发
简述数字技术在电视技术发展中不同电路的各种应用,说明了数字技术是推动电视技术发展的关键.
中国动画正在走向复兴,但是与国外动画相比仍有很大的差距,原创动画人才的匮乏和人才培养模式的落后已成为制约我国动画产业发展的关键.为了培养市场所需的高素质动漫人才,必
《中国大西南在崛起》有幸获95年度中宣部“五个一工程”好书奖,诚鼓舞人心之喜事。然获奖并非一切,也无以衡量一切。瞻望前程,任重道远,对比高贤,谫陋殊多,爰赋数言,与社内
中国当代文学创作可谓形式众多、异彩纷呈,但真正的经典之作寥寥无几,原因何在?重温十九世纪法国现实主义作家巴尔扎克的创作,或许能给我们当代的作家某些启示:作家应以高度
引言急性坏死性胰腺炎的治疗观点,在医学历史上争论最多,持续时间最长。大体可以归纳为3次大的争论:第1次起始于1889年Fritz全面描述急性胰腺炎以后,争论的内容虽然也包括手术时机、手术方法
毛泽东是个彻底的唯物主义者,他对宗教本质的认识深受马克思主义影响.他虽不信仰任何宗教,但对宗教研究却十分重视.毛泽东处理宗教问题的思想对新中国的宗教政策有着深远影响
胆囊结石嵌顿的腹腔镜胆囊切除术(LC)难度较大,中转开腹率较高,探索和改进这种特殊情况下的LC方法和手术技巧,对拓宽LC的适应证范围有重要意义。1临床资料1992年5月至1995年9月,我院施行LC410例中57例为胆囊
为便于开展活动,更好地保护著作权人利益,广西版权研究会更名为广西版权保护协会,于1996年12月18日在南宁召开成立大会。自治区副主席李振潜出席大会并讲了话。会议总结了广