基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

构建无线自组网仿真场景

计算机仿真是测试评估网络协议性能的基本技术，而无线自组网技术是一项新兴的热门无线网络技术。目前为止还没有文章对无线自组网计算机仿真技术进行综合介绍。因此，本文以构建易用合理的无线自组网仿真场景为目标，从仿真软件、仿真场景和移动模型这三个方面综合说明了构建无线自组网仿真场景的相关技术。本文对三种通用网络仿真软件NS-2，Glomosim和OPNET进行了分析比较，介绍了无线自组网研究中几种典型的仿真场景，最后介绍了常用的几个节点移动模型，分析了移动模型存在的问题及解决方法。本文对构建无线自组网仿真环境具有指导借鉴意义。     

液体火箭发动机性能可靠性的随机仿真方法

分析了影响液体火箭发动机性能可靠性的随机扰动来源,提出了一种基于随机仿真的发动机性能可靠性的预估方法,并以某型号液氧/煤油补燃循环上面级发动机为研究对象,采用随机仿真方法对该发动机的性能可靠性进行计算,获得了该发动机主要性能参数的分布规律和在给定偏差范围内主要性能参数的可靠性。     

惯性制导系统误差补偿评估模型研究

对惯性制导系统误差补偿是提高导弹射击精度的简单有效途径，研究补偿效果的前提是系统误差模型和噪声模型的确定。通过研究飞行工作环境变化导致的系统模型差异，结合惯性制导实时补偿方法，提出了基于工程背景的误差补偿和补偿评估模型的选取方法，仿真分析表明此方法有利于验后误差系数的分离和补偿精度的评估。     

自由转子陀螺仪的伺服测试技术研究

自由转子陀螺仪是目前精度最高的一种陀螺仪,没有精密的力矩器,因此,只能采用双轴伺服法来辨识其漂移误差模型。介绍了双轴伺服测试法的基本原理,给出了双轴伺服转台的运动轨迹及重力矢量的变化规律。根据转台的运动特性,建立了自由转子陀螺仪的漂移误差模型,导出双轴伺服转台转角数据估计漂移误差模型系数的算法。从测试结果可以看出自由转子陀螺仪的长时间精度高,表明采用伺服测试法能够获得极高的测试精度,伺服转台可以作为测试自由转子陀螺仪精度的装置。     

一种适合卫星网络的拥塞控制算法

针对卫星信道环境中存在随机误码和突发误码现象,现有TCP协议不能很好地区分数据丢失的具体原因,导致TCP协议性能下降的问题,提出了一种新的拥塞控制算法。此算法采用高低优先级数据包间隔发送的数据发送策略,并根据接收端的数据接收状况判断数据丢失的原因,采取相应的拥塞窗口控制策略。另外,为了减少反向链路带宽的占用,接收端采取周期发送应答信息的策略。应答信息包含了数据接收的整个状态。通过与当前多种针对此问题的协议进行仿真比较,所提出的拥塞控制算法不仅可以有效地区分数据丢失原因,提高前向链路吞吐量,而且还降低了反向链路的带宽占用。     

雷达对抗侦察数据关联规律挖掘模型研究

现代信息作战要求能对雷达对抗侦察系统侦收到的大量数据自动进行关联规律分析和挖掘,因此设计了雷达对抗侦察数据关联规律挖掘模型,包括雷达对抗侦察数据的处理流程模型、雷达对抗数据关联规律挖掘系统模型和雷达对抗侦察数据关联挖掘操作过程模型.     

基于Radon—Wigner变换的多运动目标成像

针对逆合成孔径雷达波束内多个平稳飞行目标在距离上重叠的情况探讨多运动目标成像.首先建立多目标回波模型,由分析得出某一目标的回波在一个距离门内对应一组线性调频信号、信号参数在不同距离门内呈规律性变化的结论.据此提出一种基于Radon-Wigner变换(RWT)对多目标信号进行参数估计及分离的多目标成像算法.仿真结果说明了该方法的有效性.     

数控系统瞬时故障容错技术研究

本文研究的瞬时故障容错技术是以故障掩盖和故障恢复的思想为基础的新的提高可靠性的技术方法,建立了数控系统容错模型和层次结构,并结合弹(箭)上计算机,对故障进行实时在线检测和处理,以达到减小或消除瞬时故障对控制系统的影响的目的。     

有源磁悬浮动态特性的测试与辨识

惯性仪表有源磁悬浮的动态特性实质上反映着其浮子组件五个自由度的动力学规律。针对时分式有源磁悬浮动态特性测试在工程实现上的具体困难， 基于多输入多输出（ Ｍ Ｉ Ｍ Ｏ） 系统的测试和辨识原理， 采用时分信号激励和近似的时序同步数据采集方法， 进行了磁悬浮各回路的时域测试和辨识， 结果表明， 开环状态下的浮子运动有一定交叉耦合关系， 在有源磁悬浮设计和调试中应当加以考虑。同时分析了辨识的可行性和可信度。