S-ALOHA协议相关论文
随机模型检测是一种不仅可以分析系统的定性属性,而且还能用来对系统属性进行定量分析的高度自动化形式化技术,其基本思想是构造捕获......
某型卫星通信系统在遂行反恐维稳、抢险救灾、安保警戒、海上维权、应对边境突发事件等多样化任务中发挥了积极有效作用。从多址接......

