基于活性顺序图的形式化验证方法及工具研究

近年来,形式化验证方法在软件开发过程的作用越来越大。如何充分利用形式化验证方法提高软件系统的可靠性已成为软件开发者及使用者主要关注的问题。总结了近年来基于活性顺序图的形式化验证方法的研究进展,首先介绍活性顺序图的语言及其表达能力与复杂性,然后深入分析现有的基于活性顺序图的形式化验证的关键技术及其典型应用,最后实现一种基于活性顺序图的运行时验证工具,实验证明使用本验证工具进行形式化验证的可行性。     

窄带卫星通信系统地面通用多模网桥设计与实现

现有卫星通信地面网桥在进行IP数据星地传输时多采用私有协议和定制化结构,增加了前期系统联试和后期设备扩展的工作量.同时,窄带相较于宽带通信,占用频谱资源更少,不需要高信噪比的通信环境,可在复杂电磁环境等特殊场景应用.因此本文针对现有不足,并根据应用场景需求,为具有透明转发功能的卫星设计地面通用网桥设备,并对其协议、软件设计进行详细描述.最后通过两设备基带中频互通实验模拟设备与透明转发卫星组网,对其功能和性能进行测试,测试结果证明了方案的有效性.