面向战术互联网子网路由协议与网络业务的仿真分析

战术互联网是美军的新一代通信系统,它实现了美军三大传统通信系统的互联互通,在战场信息的传递与交互上至关重要。移动Ad hoc网络技术是战术互联网中的关键技术,再加上战场中的节点移动性强,高效稳定的路由算法是Ad hoc网络技术的重点和难点。战术互联网末端网络的主要业务是战场态势信息的交互以及话音通信,主要分析战场环境下不同射频功率和不同路由协议对战术互联网末端Ad hoc网络数据和话音业务性能的影响。     

基于加密机制模式的无线路由器网络安全设计

在传统网络当中,各种密钥管理技术已经非常成熟,从密钥的生成、更新、维护、管理、销毁等各个方面均有成熟的技术。但无线路由器网络的节点无法使用传统网络的非对称密钥体制,因此,传统的密钥管理技术也同样不适用于无线路由器网络。从基于位置的随机密钥预分配模型出发,探讨如何对其进行加密设计。     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

混合信号边界扫描测试控制系统的设计实现

现代装备火控系统中混合信号电路越来越普及,为了实现对其快速故障诊断,以IEEE 1149.4标准为依据,设计实现了一个基于边界扫描技术的数模混合信号测试控制系统。仿真实验表明,该测试控制系统操作简便,测试准确,测试效果好,为装备电子系统机内测试应用奠定了基础。     

高频链路自动化（下）

ALE是HF通信的重要环节、网络化的基础。本文分别介绍2G－ALE、AQC－ALE和3G－ALE的链路建立协议、信息协议、信号结构、调制解调波形、ALE控制与管理功能、探测与信道选择。经分析比较可察觉HF链路的建立自动化程度越来越高。     

IP安全协议

本文介绍了IP安全协议,描述了加密机制原理和IPSP密封保密有效负载格式。     

雷达网威力仿真中的复杂区域图形处理算法

以实际阵地环境下的雷达网复杂探测区域为研究对象,提出了雷达单元平面探测复杂区域填充的"橡皮擦"算法,雷达网平面探测区域面积计算、边界提取算法.并进行了仿真验证,仿真结果表明了算法的有效性,可广泛应用于雷达网威力仿真及其他相关领域中.     

采用边界元法测试轴承的动态刚度和阻尼

轴承的刚度和阻尼特性为非线性的,采用传统的方法难以准确全面进行测量。为此,分析了转子系统边界积分方程及其特点,并利用边界元法测量轴承的刚度和阻尼。结果表明,边界元法测量轴承的刚度和阻尼非常有效。     

“黑龙部队”：离朝韩边界17公里

1953年朝鲜战争结束后,朝鲜半岛局势一直没有彻底缓和。在三八线两侧非军事区,韩朝双方陈兵百万。其中韩国在离边界仅17公里的白翎岛基地,派驻了海军陆战队第6旅——亦称“黑龙部队”,是韩军中的精锐。     

SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.