论文部分内容阅读
随着IP网络多播技术的发展.IGMP在IP协议栈中的作用越来越重要.在对IGMP详细的机制分析的基础上用扩展的有限自动机和扩展的库所/变迁网对其进行了形式化的描述.从而奠定了IGMP协议分析和具体实现的基础.
多播组动态管理协议IGMP的形式化分析
【摘 要】
：
随着IP网络多播技术的发展.IGMP在IP协议栈中的作用越来越重要.在对IGMP详细的机制分析的基础上用扩展的有限自动机和扩展的库所/变迁网对其进行了形式化的描述.从而奠定了IG
【机 构】
：
云南大学数学系,云南大学数学系
【出 处】
：
云南大学学报：自然科学版
【发表日期】
：
2002年4期
【基金项目】
：
云南省教育厅资助项目，云南省省院省校合作项目
其他文献
近日，国家质检总局、国家标准委以国务院標准化协调推进部际联席会议办公室名义印发《推进国家标准公开工作实施方案》（以下简称《实施方案》），要求国务院相关部门向社会免费公开国家标准相关信息。国务院各有关部门、各省（区、市）人民政府可参照方案，开展本部门、本地区的行业标准、地方标准公开工作。这是落实国务院《深化标准化工作改革方案》的一项具体措施，是提升政府公共服务水平、服务“大众创业、万众创新”的一项重
随着科学技术的发展,生物体用金属材料也得到迅猛发展.综述了生物体用金属材料的现状,表面改性方法以及新型生物体用金属材料的研究和发展等.
从云南玉溪产米糠油中,分离得到一个活性三萜化合物环木菠萝烯醇阿魏酸酯(1),其结构经2D-NMR及化学转化确定.
一、备案监管：充分发挥声誉机制 （一）博弈 博弈论（Game Theory）英文原文是“游戏理论”。公认的博弈论学科创建是始于冯诺依曼和摩根斯坦的著作《博弈论与经济行为》。 博弈的要素有三个：参与人（player）、策略（strategy）、收益（gain）或支付（payment），有关这些要素的知识被称为信息，而共同的知识是指被所有参与人掌握的信息。每个博弈达到一种各方自愿选择的稳定状态上
<正>一、国家标准化工作深化改革改了什么?国务院在2015年3月公布《深化标准化工作改革方案》后,又于2017年3月印发了贯彻实施的重点任务分工(2017—2018年)的通知。其核心要
确保拖拉机和其他农用设备的安全意味着确保现有的控制系统能够正常工作。关于此设备的一系列国际信赖度很高的标准刚刚更新,其将更加适合农场使用。
针对强噪声环境下语音识别的困难,本文提出了一种基于能量比较的ICA/BSS后处理检测的消噪方法,通过信噪能量比较提取语音信号,和小波变换的方法的结果进行比较,识别结果表明
介绍了研华控制器ADAM5000TCP及ADAM5511的特点和在皮秒加速器控制系统中的应用,并主要叙述了上层开发软件组态王6.5中线性表、数据库、文件保存及位操作等技巧性的数据处理.
在国家标准中，数字使用的频率是很高的。但是，汉字数字与阿拉伯数字在使用上容易出现混淆。为了改变数字使用混乱的状况，使得国家标准中在涉及数字时体例前后统一，GB/ T 15835—2011《出版物上数字用法》做了相应的规定。本文就数字在国家标准中的使用规则进行适当的梳理、总结。为标准起草、编辑、排版、校对等相关工作者提供参考。 一、阿拉伯数字的使用 1.用于计量的数字 （1）在使用数字进行计量