论文部分内容阅读
由于PIM-SM协议标准化进程还处在实验阶段,协议本身需要不断发展完善.提出PIM-SM组播系统的抽象模型,给出了协议实体的部分形式化描述,并使用CADP工具集对其进行简单验证.
CADP与PIM-SM协议分析
【摘 要】
：
由于PIM-SM协议标准化进程还处在实验阶段,协议本身需要不断发展完善.提出PIM-SM组播系统的抽象模型,给出了协议实体的部分形式化描述,并使用CADP工具集对其进行简单验证.
【机 构】
：
国家数字交换系统工程技术研究中心,中国传媒大学计算机与软件学院
【出 处】
：
微电子学与计算机
【发表日期】
：
2006年z1期
其他文献
2002年欧盟食品安全局的建立,意味着欧盟从1997年开始酝酿的加强欧盟食品安全法的活动有了新结果,也标志着欧盟食品安全法的立法和监督体系将进入一个大量增加立法的新时期.
口头语言—语音(SPEECH)和书面语言—文字(TEXT)是人类最重要的交际工具。实现人机语音通讯,是现代信息社会智能计算机的重要特征。“语音打字机”是人类很早就提出并渴望实
中华民族传统思维方式具有多样性特点,它有力地促进了中国封建社会的经济、政治和文化发展,丰富了中华文明的内涵.鸦片战争后中华民族经过长期艰难曲折的斗争历程,逐步实现了
岁末年初,回首2018年中国建筑设计行业的发展,有惊喜也有困惑。惊喜的也许是在大的市场形势并不太看好的情况下,有一部分设计企业取得了有史以来的最好成绩;困惑的是建筑设计
Paradox for Windows和Fox-Pro 2.5 for Windows都是DOS环境移植入Windows中的。前者适用于客户—服务器体系;而后者则以速度见长。 最近Borland公司和Microsoft公司同时将各
文章主要介绍了基于数据挖掘技术的数字图像处理的应用研究情况,提出了将数据挖掘的聚类算法用于基于图像处理中边缘识别的图像分割的方法,并对传统的聚类算法进行了改进,并通过实验证明。算法具有可行性和有效性,有利于实现图像的分割。最后结合实验结果,探讨了基于图像处理中的数据采掘的特点和潜力,指出了目前存在的局限性及改进思路。
保加利亚提均降水４５０－８００ｍｍ，７０％以上的耕地不能灌溉。充分发挥机械程度高的优势，旱作农业主要采取调整种植业布局、带茬耕作、培肥地力、积雪、早春与播后耕作等措施，调节土壤水分，以进行作物