论文部分内容阅读
文章根据RFC3775简单介绍了移动IPv6机制，提出了移动IPv6协议层次化描述方法，把整个移动IPv6协议分为4个层次加以描述，并通过有限状态机建模，为最终抽象测试集的生成奠定了基础。
移动IPv6协议的形式化描述研究
【摘 要】
：
文章根据RFC3775简单介绍了移动IPv6机制，提出了移动IPv6协议层次化描述方法，把整个移动IPv6协议分为4个层次加以描述，并通过有限状态机建模，为最终抽象测试集的生成奠定了基础。
【机 构】
：
内蒙古大学图书馆
【出 处】
：
内蒙古科技与经济
【发表日期】
：
2010年7期
其他文献
马丁·文德恩现在掌管着大众汽车公司。五年前他制定了一个宏伟的计划，2018年让大众超过通用和丰田成为全球最大的汽车制造商。他的目标不仅是在财务上打败通用和丰田。到
文章介绍了地方国有资产管理体制的一般模式,分析了地方国有资产经营公司管理体系构建中存在的问题,并提出了相应的解决意见。
据《园艺学报》2013年第8期《短截、拉枝、刻芽对苹果枝条不同部位芽激素含量的影响》（作者艾沙江·买买提等）报道，为进一步了解修剪反应的生理基础，以“富士”（国光X元帅）苹果
摘 要：魏晋南北朝时期武陵地区“土著”内涵丰富，构成复杂，既有“蛮夷”，也有华夏。“永嘉之乱”后，北方民众大量南迁，武陵地区在这一时期也迁入了不少的客民。这些客民有“逃亡如蛮”的汉人，也有兵家、吏家、流民等。在统治者的争夺、治理以及客民的带动下，武陵地区特别是沿江、平原地带的经济社会实现了较大的发展，也带来了一定的土客矛盾。研究认为，武陵民族关系研究不能简单就民族论民族，而应立足区域族群关系场域，
随着人民币国家化与利率市场化的循序渐进,以及国内资金供给偏紧依旧,越来越多的CFO意识到,企业资金管理应立足于流动性优点的视角下,通过加快运转、把握关键、从严管控以及