论文部分内容阅读
在对可靠多播协议PGM的详细的机制分析的基础上,用扩展的库所/变迁网对其动态机制进行了形式化的描述,为其具体分析和实现奠定了形式化和自动化的基础.
可靠多播协议PGM的分析及其Petri网模型
【摘 要】
：
在对可靠多播协议PGM的详细的机制分析的基础上,用扩展的库所/变迁网对其动态机制进行了形式化的描述,为其具体分析和实现奠定了形式化和自动化的基础.
【机 构】
：
云南大学数学系
【出 处】
：
昆明师范高等专科学校学报
【发表日期】
：
2003年4期
其他文献
通过研究乙烯对盐胁迫中玉米种子活力、幼苗生长及SOD活性的影响，发现外源乙烯可提高盐胁迫下两品种玉米种子活力和SOD活性，但幼苗鲜重和高度低于对照，表明盐胁迫中乙烯通过提高
十七大报告指出，“建设生态文明，基本形成节约能源资源和保护生态环境的产业结构、增长方式、消费模式”，还强调要“使生态文明观念在全社会牢固树立”。生态文明是十七大高瞻远
郭象<庄子注>,据<晋书>本传记载,系窃取向秀庄子解义而为之.向秀"解义"早已不存,郭象究竟窃取向秀著作的那些内容,这一桩公案现在已很难弄得清楚.因而,这篇专挑毛病的文章,就
上个世纪30年代,时在云南大学执教的刘文典先生撰著了名重一时的<庄子补正>.其时,陈寅恪先生为之序云:"先生之作,可谓天下之至慎矣.其著书之例,虽能确证其所脱,然无书本可依
阳翰笙和冯雪峰是左翼无产阶级文学运动中的两员主将.他们对党的一腔激情,蒙冤后依然不改的忠诚,在中国当代文化批判史上写下了悲壮的一笔.他们的文艺思想需要研究,他们的杂
由于单核苷酸多态性(SNPs)在寻找致病基因,了解遗传多样性、环境与基因的相互作用方面有重大价值,SNPs研究已越来越多地引起了学术界和产业界的兴趣.CYP1A1编码的酶在烟草的
这里所说的层次分析法指的是,把层次放在整篇文章中加以研究,在"文章--层次--元素"的相互关系中考察层次的地位和作用,并分别对景物结构、抒情结构、情节结构、性格结构、说
中国有重视民歌民谣的优良传统.当代歌谣是历代--特别是建国后两次诗歌潮的继承与发展.本文梳理了当代歌谣的来龙去脉,重点分析了它的发展与突破.
采用递归迭代法解决了某几种数值积分的计算问题,该方法比采用传统的复化的梯形公式、复化的辛浦生公式来得快,更精确,容易达到要求的精度.
言语行为理论是语用学的核心理论,运用言语行为理论对语言现象进行分析是当前语用学研究的一个热点.文章尝试对战争言语行为典型个案进行分析,寻找其内在本质和构成规则.选择