多播路由协议PIM-SM的扩展Petri网形式分析

来源 :云南大学学报(自然科学版) | 被引量 : 0次 | 上传用户:jundy123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
PIM—SM是一类重要的多播路由协议.在对PIM—SM详细的机制分析的基础上用扩展的库所/变迁网对其进行形式化的描述,为其计算机仿真和具体实现奠定了形式化和自动化的基础.
其他文献
2008年4月2日下午1:30由北京市建筑设计研究院刘晓钟工作室、加拿大联邦住房署,BIAD传媒《建筑创作》杂志社主办的中国·加拿大绿色建筑及建筑技术研讨会在北海公园内上林
针对柔性结构振动测量研究的需要,设计了一种基于机器视觉的非接触式柔性臂振动测量系统.该系统在柔性臂上安装光源标记供振动测量,采用工业CCD相机采集振动图像,基于多线程技术设计的用户软件实现了振动参数的测量.应用Otsu阈值分割法提取光斑,获得光斑的质心位置;通过坐标转换计算出柔性臂光斑处的动态位移.实验结果表明:所设计的基于机器视觉的振动测量系统简单易实现、实时性好,图像的处理速度完全能够满足振动
一、“泸州河”的起源:与“资阳河”的关系川剧是巴蜀传统文化中具有代表性、根源性的艺术形式,其正式成立的标志是清雍正二年(1724)泸州艺人组建的庆华班。在川剧的“四大河
针对重轨生产线钢坯检测所涉及的钢坯提取问题,提出了一种改进的交互式图论分割方法.首先用基于颜色差异的改进的K均值聚类算法将人工标记的种子进行精确地初步分类;然后使用改进的图论分割算法,将钢坯目标从复杂场景中分割出来;最后将分割结果进行边缘校正和去噪处理.实验结果表明:该算法充分利用了图像的区域特征和边缘特征,提高了分割的质量和速度,分割结果满足实际应用的需求.
开发了基于实体壳单元的动力显式及隐式程序,模拟了板料成形及回弹过程.该实体壳单元具备如下特性:考虑厚度变化的双面接触判断精确模拟了板材厚向挤压变形;采用厚向多点积分
该项目位于校园静思湖畔占地约4600m^2,为地下一层及地上十层的电子通讯及研究大楼。除了一般教室、研讨室共22间以外,另设有共同实验室、保留实验室共14间、教学、研究实验室7
完善并扩展了一个尾拍计算公式,分析了射弹的转动角速度,发现角速度随时间的变化趋势并非先增大后减小,而是直接减小.研究了超空泡壳结构航行体在匀速、加速和减速情况下的尾拍,讨
2008年4月18日,西班牙驻华大使馆经济商务处携手文筑国际,在北京隆重举行《西班牙建筑1997~2007》的新书首发活动。本次活动是去年“中国-西班牙文化年”的重要组成部分同时也是
提出传统体育以三类内容进行划分并论述它们的健身特点.体育分类与运动特点是不可分割的同一体.学习传统体育要以现代科学理论为基础.通过对传统体育机理的分析,使我们对古代
对监狱行刑各项制度的实施效果进行实证分析,可以为完善监狱法律制度提供实践依据。围绕监狱改造、分类管理与考核、减刑、假释、暂予监外执行等若干重要监狱行刑制度的实施