简介:天地一体化网络是未来网络发展的一个重要方向,与传统网络相比,天地一体化网络具有拓扑动态变化、节点计算能力受限等特点,难以直接应用传统的路由协议。这种情况下,出现了面向天地一体化网络的OSPF+、BGP+等新型路由协议。针对新型路由协议的特点,采用形式化测试描述语言TTCN-3设计开发了适用于OSPF+、BGP+协议的一致性测试集。基于通用协议集成测试系统PITSv3,使用该测试集对新型路由协议进行了一致性测试,测试结果表明,该测试集能有效发现天地一体化网络新型路由协议实现与其设计规范的不一致,为新型路由协议的开发优化提供有力的帮助。
简介:摘要随着科学技术的不断发展,计算机技术以及人工智能也在人们的日常生活中运用的次数越来越多,就目前的形势而言,人工智能所涉及的领域不仅仅是包含人类生活,还会对国家的经济、自然科学等方面产生巨大的影响,由此可见,人工智能的发展是至关重要的。而且在房地产营销领域,将人工智能引入也是必然趋势,当然,人工智能也是把双刃剑,如果没有好好地利用人工智能,也会给房地产营销带来严重的后顾。因此,我们必须对房地产营销中的人工智能进行深入的探析,让人工智能发挥出最大限度的作用。本文将从对人工智能的概述、人工智能的研究现状以及人工智能在房地产营销中的应用。本人才疏学浅,若有不足或错误之处,还望予以指正。