排序方式: 共有25条查询结果,搜索用时 0 毫秒
21.
鉴于SDN网络中数据转发与控制相互分离的特性,OpenFlow协议在其南向接口中扮演着重要的角色。随着下一代互联网的发展,IPv4可供分配的地址资源已然耗尽,瓶颈地位益发凸显。如何尽快部署IPv6,使其服务于社会生产与生活,使得当前网络与IPv6网络长期共存或平滑过渡到IPv6网络是工业界与学术界要解决的问题。SDN则提供了这样一个选项,其中OpenFlow协议是否支持IPv6协议便成为我们关注的重点。通过形式化方法对OpenFlow协议进行形式化建模,得到其非确定性有限状态机模型,在此基础上得到其测试生成树,以指导测试。同时,对于其是否支持IPv6进行重点关注,利用组合测试的方法,产生了167条测试例。
完成了测试引擎的开发,支持高效的测试生成算法,以及测试执行与判定。利用此测试引擎,以上述测试例为测试输入,执行测试过程,同时进一步对测试结果进行分析,得到了定量的分析结果,符合预期要求。 相似文献
22.
南海北部陆坡白云凹陷13.8Ma深水扇沉积 总被引:2,自引:0,他引:2
运用层序地层学的方法对珠江口盆地白云凹陷13.8 Ma以来的深水扇进行分析,建立了浅海、陆架区的沉积物(高位时期)与深水沉积(低位时期)之间的联系,进而研究了白云凹陷13.8 Ma以来的深水扇体的岩性和沉积物组成,此方法对于预测不同深水沉积单元的岩性和预测深水沉积系统的沉积物粒度及潜在储层的质量有重要意义。深水油气勘探的关键是精确地预测深水沉积储层,白云凹陷深水勘探有别于浅水陆架勘探,应先预测深水目标的岩性特征和储层条件,再进行地球物理、圈闭评价等工作的勘探流程。 相似文献
23.
24.
随着云计算、大数据以及物联网的兴起,网络流量以爆炸性的速度增长,与此同时网络带宽的增长速度却无法与之相应匹配。在可预见的将来,日益增长的网络流量与缓慢增长的网络带宽之间的矛盾将长期存在。如何改变当前粗放式的网络管理手段,实现精细化的网络管理,解决上述矛盾是需要面对的问题。提出基于状态的视图模型,描述了全局状态视图的形式化概念,同时详细介绍了全局状态视图的构建算法,并拓展其外延,提出状态视图栈的概念,扩充定义网络各层状态视图。利用层次Petri网对传输层协议建模并分析其特征,构建其状态管理表。分析了端口碰撞应用,并构建该应用的状态视图,说明了状态视图栈的一般性扩充方法。同时以负载均衡功能结合全局状态视图应用为例,说明基于状态的网络管理,可以提高资源的利用率。 相似文献
25.
文章分析了焦石坝拦河闸交通桥墩帽裂缝形成的原因,针对裂缝产生的原因及影响因素,提出对墩帽裂缝采用树脂胶灌进行封闭处理.再对墩帽进行外包钢加固,最后进行锚杆锚栓的综合处理方案.以达到控制裂缝及加固墩帽的效果. 相似文献