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

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

简化的UKF方法在多普勒雷达对目标跟踪中的应用

多普勒雷达对目标的观测数据是由距离、方位角、俯仰角和径向速度组成,而大多数雷达的观测数据仅由前三者组成.基于利用径向速度的扩展卡尔曼滤波方法,提出利用径向速度的一种简化的UKF方法对目标进行跟踪.此非线性方法对目标的跟踪有两大改进:①引入径向速度观测值时可以大大提高跟踪性能;②UKF方法比传统的EKF算法有更高的估计精度.     

态势评估专家系统的知识库研究

知识库是专家系统的的一个重要组成部分.通过对态势评估专家系统的结构的分析,研究战场态势评估知识库的构建,进而对态势评估的领域知识进行归纳,并用示例对态势评估的事实知识与规则知识的表示方法详加探讨.针对态势评估中存在的不确定性,把可信度方法引入态势评估知识的表示中,给出一种计算复合条件可信度的方法.     

基于锁相环快速跳频源的设计

简要介绍了跳频通信技术发展概况及其用到的关键技术,说明了锁相环的基本原理,介绍了组成部件的基本特点.然后从相位角度分析了锁相环环路模型,给出了相位传递函数;再分析环路带宽并推导了与其有关参数的关系式,从而推出加快频率锁定关键技术的原理.最后详细说明了实现快速跳频的原理,并以ADF4193芯片为例作,对环路带宽的设计做了说明,并给出了测试结果.     

风场的科学计算可视化在导弹射击中的应用

在导弹射击时,消除风会对导弹飞行造成不利的影响,因此基于可视化分析的研究模型、流程等,利用科学计算方法直观分析优点对风的大小和方向进行分析,并采用开放图形接口对实验风场数据进行了三维图形绘制以提高导弹打击目标的精度,对实际中导弹的风场阻力研究有一定的指导意义.     

装备故障诊断和预测技术综述

结合故障诊断与预测技术的国内外研究现状,综述了故障诊断和预测的完整性认知模型,并以此对蓬勃发展的故障诊断和故障预测技术进行了分类与综合分析。同时针对故障的不确定性特征,对故障诊断和预测技术的性能要求、定量评价与验证方法进行了分析。最后,分别从实际应用及扩展的四个方面提出了故障诊断、预测,以及PHM技术未来发展的几个问题。     

HLA的数据链综合仿真系统

数据链的组网规划、效能评估和模拟训练是数据链武器装备论证的重要内容,而仿真是武器装备论证的有效方法.根据数据链系统的主要特点、组成要素、仿真目的与仿真内容,以促进仿真系统的重用和互操作为宗旨,建立了基于HLA的数据链综合仿真系统框架,并对仿真系统的模型功能和结构关系进行描述.此外,提出了系统仿真环境设计的规范与标准,并分析了建立数据链综合仿真系统所需要的软件平台环境.     

指挥实体建模与仿真研究

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

气动力/直接力复合舵系统神经网络参考模型设计

提出了一种气动力/直接力复合控制导弹在舵机层面进行复合控制的神经网络设计方法,即空气舵与直接力喷流机构看作是复合舵系统模型.该方法在完成复合舵系统建模的基础上,利用神经网络参考模型方法对等效舵机系统进行设计.最后,通过仿真验证了该方法可利用直接力喷流机构快速性,有效地提高复合舵系统的性能.     

过盈配合数值分析与优化设计

围绕高速转盘的过盈配合问题,应用Ansys9.0有限元软件非线性接触技术和优化分析技术确定传递扭矩所需的最佳过盈配合量。实践证明,有限元技术在工程应用中能够优化过盈配合量,缩短设计周期,提高设计质量。