简介:摘要近年来,随着汽车工业的发展和人类出行方式的多样化需求,“飞行汽车”逐渐进入我们的视线,众多的汽车制造厂商和科技公司纷纷加入到飞行汽车的研发行列中。2018年7月,阿斯顿·马丁宣布将推出具备垂直起降功能的豪华概念飞机,支持半自动驾驶,飞行时最高时速320公里。而吉利汽车集团旗下飞行汽车公司——Terrafugia也已宣布首辆飞行汽车将在2019年量产,最高时速160公里,可实现空中640公里续航,除此以外,奥迪、保时捷、奔驰等车企也早有布局。作为未来可能流行的出行方式之一,飞行汽车的出现,无疑可以为人口密集的城市提供更便利的交通需求。飞行汽车作为飞行器和汽车的统一体,需要符合包括飞行器和汽车在内的不同的检测标准的要求,作为上路并能够飞行的工具还需要交通法规上的支持,目前两项内容均属空白,本文的课题只对未来飞行汽车在检测技术及标准方面进行讨论。
简介:天地一体化网络是未来网络发展的一个重要方向,与传统网络相比,天地一体化网络具有拓扑动态变化、节点计算能力受限等特点,难以直接应用传统的路由协议。这种情况下,出现了面向天地一体化网络的OSPF+、BGP+等新型路由协议。针对新型路由协议的特点,采用形式化测试描述语言TTCN-3设计开发了适用于OSPF+、BGP+协议的一致性测试集。基于通用协议集成测试系统PITSv3,使用该测试集对新型路由协议进行了一致性测试,测试结果表明,该测试集能有效发现天地一体化网络新型路由协议实现与其设计规范的不一致,为新型路由协议的开发优化提供有力的帮助。