GETTING BETTER ALL THE TIME

Detect and Deter: Can Countries Verify the Nuclear Test Ban?, by Ola Dahlman, Jenifer Mackby, Svein Mykkeltveit, and Hein Haak. Springer, 2011. 279 pages, $129.     

求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

空间引力波探测无拖曳技术现状与趋势

航天器无拖曳控制是实现引力波空间探测科学平台超静超稳运行的核心关键技术之一。目前,国内外各研究机构对航天器系统的动力学与控制进行了深入研究,并针对不同的探测频段需求提出了不同的探测任务。根据探测任务进行了航天器编队设计与控制的详细介绍和分析,对涉及的无拖曳与姿态控制、高精度惯性传感器与执行机构等原理和理论方法进行了深入的剖析。针对现已开展的空间引力波探测无拖曳航天器在轨飞行的演示验证整体情况进行详述和分析。在此基础上,提出后续开展相关研究中亟待解决的关键问题,指出未来无拖曳航天器系统动力学与控制的研究热点和趋势。     

Modeling of the whole process of shock wave overpressure of free-field air explosion

The waveform of the explosion shock wave under free-field air explosion is an extremely complex problem. It is generally considered that the waveform consists of overpressure peak, positive pressure zone and negative pressure zone. Most of current practice usually considers only the positive pressure. Many empirical relations are available to predict overpressure peak, the positive pressure action time and pressure decay law. However, there are few models that can predict the whole waveform. The whole process of explosion shock wave overpressure, which was expressed as the product of the three factor functions of peak, attenuation and oscillation, was proposed in the present work. According to the principle of explosion similarity, the scaled parameters were introduced and the empirical formula was absorbed to form a mathematical model of shock wave overpressure. Parametric numerical simulations of free-field air explosions were conducted. By experimental verification of the AUTODYN numerical method and comparing the analytical and simulated curves, the model is proved to be accurate to calculate the shock wave overpressure under free-field air explosion. In addition, through the model the shock wave overpressure at different time and distance can be displayed in three dimensions. The model makes the time needed for theoretical calculation much less than that for numerical simulation.     

环境水平不变的水声环境参数盲估计与实验验证

为秘密、隐蔽地获取非常时期或非合作海区的水声环境参数,提出了水声环境参数盲估计的概念,分析和研究了水声环境参数盲估计理论,并对其中的目标函数进行了详细探讨,同时利用SWelIEx-96海试的部分数据对基于水平不变的水声环境参数盲估计方法进行了实验验证.实验结果表明,基于环境水平不变的水声环境参数盲估计技术是可行和有效的.     

高速导弹末制导虚拟样机系统设计、建模及校验

总结了国内外虚拟样机技术的发展现状,结合目前正开展的高速末制导虚拟样机系统,对虚拟样机系统建摸、模型校验等技术进行了探讨,并提出了解决方案。     

飞控设备抗强电磁脉冲方法研究

强电磁脉冲可引起空间飞行器的控制设备发生瞬时或永久故障,从而导致飞行失控。针对强电磁脉冲环境下飞控设备的防护问题,首先分析了强电磁脉冲对飞控设备的损伤效应,其次探讨了相关的防护方法,并给出了屏蔽效能和整机防护试验验证的测试结果,为提高飞控设备抗强电磁脉冲能力建立基础。     

基于测试性验证的故障注入系统设计研究

在以往的装备设计中多是按照实际需求,往往忽略了测试性验证,为装备的使用埋下隐患．以测试性验证为基础,设计了一套故障注入系统,并将其应用于某型号装备的自动驾驶仪设计阶段．实验表明,该系统能够快速有效地对装备实施故障注入并给出量化结果．     

多核处理器验证中存储数据错误快速定位机制

提出并实现的一种数据错误快速定位机制(Fast Fault Location Mechanism,FFLM)面向多核处理器存储系统的功能验证,FFLM基于硬件仿真器构建多端口存储器黄金模型,通过在仿真过程中实时监控存储系统与处理器核之间的访存报文,在线比较被测系统访问真实存储器的数据与黄金模型中的对应数据是否一致,在错误数据从存储系统送入处理器核的时刻就能够发现数据错误。与传统方法相比,FFLM具有仿真速度快、硬件资源代价低以及定位错误时间短的优点。对自主设计的CMP-16多核处理器进行仿真时的统计数据表明:使用FFLM后定位数据错误的速度能够比未使用FFLM时平均提高6.5倍。     

基于反向验证的RSC码编码参数盲识别

针对Turbo码编码中应用的RSC编码器盲识别问题,提出一种反向验证的方法,对其参数进行识别分析。通过对RSC编码器参数进行遍历估计,重新输入码字序列,将得到的码字序列与原来的输出序列进行对比,找出最优的参数组合,完成对RSC编码参数的识别。仿真实验表明,该方法能够有效完成对RSC编码器的参数识别,特别在误码率为0.3时,依然能够达到识别效果,具有较好的容错性能。