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

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

指挥实体建模与仿真研究

对国内外较为典型的指挥实体建模与仿真应用情况进行了介绍.对指挥实体建模与仿真的三个主要内容-任务规划、指挥控制和作战行动协同所采用的各关键技术手段和方法进行了较为深入的分析.指出了指挥实体建模与仿真在应用和技术手段上的发展趋势.     

基于单基地嵌套MIMO雷达的联合角度和多普勒频率参数估计

为了提升单基地MIMO雷达中角度和多普勒频率的二维参数估计性能,通过在单基地MIMO雷达的接收端和发射端进行嵌套阵列设计来实现阵列自由度的提升.通过利用隐含在目标结构中的时延特性来实现对多普勒频率旋转不变关系的构建.通过构建三阶张量模型来实现对阵列接收数据空时特性的充分利用.最后,通过利用三线性迭代最小二乘平行因子算法...     

利用软件仿真的方法研究信号完整性问题

通过软件仿真的方法研究了信号完整性问题中的信号反射。以实例的形式给出了一种利用仿真估计电路临界频率的方法。在设计开发的早期,利用软件仿真可以得到非常有价值的信息。     

非磁性建筑物空间磁场预测技术

提出了一种预测非磁性建筑物空间磁场分布的新技术.基于等效宏观磁导率和磁化率的概念,利用静磁场积分方程法的正演计算和反演计算技术,找出了试验模块磁场测量值与非磁性建筑物空间整体磁场之间的关系.通过试验模块测量和数学模型仿真相结合的手段,达到了预测低磁钢筋混凝土结构非磁性建筑物空间磁场分布的目的.     

振动矩形机翼非线性绕流数值研究

发展了可用于模拟包含运动边界的非定常流动的数值方法。该方法采用非结构动网格技术并构造了一种MUSCL类型有限体积格式,求解考虑了动网格效应的三维非定常Euler方程。非结构网格的变形运动由弹簧近似技术实现。用上述方法计算了作正弦振动的矩形机翼非线性绕流,计算结果与实验结果吻合,得到了流体运动与固体运动耦合的非线性流动特性。计算表明,该数值方法具有较好的精度和可靠性,完全可用于气动弹性或其他流固耦合问题的数值模拟。     

基于HLA的军事信息系统网仿真体系架构研究

分布式仿真系统的体系架构对于整个系统的功能实现和运行性能起着决定性的影响,为能充分利用仿真系统测试和评估军事信息系统网的性能,该文首先介绍了军事信息系统网(Military Information System Network:MISN)的组成和特点,并在分析基于数据库的仿真系统和基于HLA(高层体系架构)单联邦仿真系统局限性的基础上,得到了基于HLA的军事信息系统网分布式仿真多联邦体系框架,实现了联邦间功能转换所需的桥接联邦.该体系框架较好地完成了多通信网系的分布式交互仿真.     

军事装备效能及其评估方法研究

探讨了军事装备效能的定义、度量指标及其体系结构,提出了几个值得思考的问题,综述了效能量化方法、多指标效能的综合方法、权值的确定方法和军事装备效能评估的方法.     

军事装备仿真学初探

随着军事装备学和系统仿真理论体系的完善,以及系统仿真技术在军事装备领域的广泛应用,军事装备理论与系统仿真理论相互渗透、融合,具备了形成军事装备仿真学的基本条件.就军事装备仿真学的定义、研究对象、学科理论,以及与各学科之间的关系进行了探讨.     

一种改进的自适应Chirplet分解方法及其实现方法

参数自适应时频分布成为当前非平稳信号分析与处理的研究热点。针对自适应Chirplet分解所用基函数的时频关系为线性,对含有非线性时变分量的信号逼近效果不好的问题,提出了一种改进的自适应Chirplet分解方法,并给出其快速实现算法。首先在Chirplet时频原子的基础上添加了弯曲算子,构造了新的时频原子,得到了一种改进...