CADP与PIM-SM协议分析

来源 :微电子学与计算机 | 被引量 : 0次 | 上传用户：LILLER1010

【摘要】

：

由于PIM-SM协议标准化进程还处在实验阶段,协议本身需要不断发展完善.提出PIM-SM组播系统的抽象模型,给出了协议实体的部分形式化描述,并使用CADP工具集对其进行简单验证.

【作者】

：

王永滨郭云飞陆娜

【机构】

：

国家数字交换系统工程技术研究中心,中国传媒大学计算机与软件学院

【出处】

：

微电子学与计算机

【发表日期】

：

2006年z1期

【关键词】

：

PIM-SM LOTOS 协议工程形式化方法 CADP PIM-SM LOTOS Protocol engineering Formal methods

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

从中华民族思维方式看中华文明

中华民族传统思维方式具有多样性特点,它有力地促进了中国封建社会的经济、政治和文化发展,丰富了中华文明的内涵.鸦片战争后中华民族经过长期艰难曲折的斗争历程,逐步实现了

期刊

中华文明思维方式整体思维直觉思维辩证思维象征思维

基于数据挖掘的图像分割技术研究与应用

文章主要介绍了基于数据挖掘技术的数字图像处理的应用研究情况,提出了将数据挖掘的聚类算法用于基于图像处理中边缘识别的图像分割的方法,并对传统的聚类算法进行了改进,并通过实验证明。算法具有可行性和有效性,有利于实现图像的分割。最后结合实验结果,探讨了基于图像处理中的数据采掘的特点和潜力,指出了目前存在的局限性及改进思路。

期刊

数据挖掘模式识别数字化图像图像分割中值滤波Data execration Pattern recognition Digital images

CADP与PIM-SM协议分析

其他学术论文