微处理器容软错误设计量化评估指标及评估方法

针对高可靠微处理器软容错设计,提出了一种新的可靠性度量标准,增强的平均无失效工作量,以解决现有度量标准没有综合考虑性能、面积、功耗开销带来的可靠性降低的缺点;提出了一种评估方法对增强的平均无失效工作量以及两种控制流检测技术进行定量评估。评估结果表明,软硬件结合的控制流检测技术较好地折中了可靠性、性能、面积和功耗。量化评估指标全面考虑了多种开销对微处理器可靠性的影响,采用相应的评估方法可以更加准确地对微处理器可靠性加固手段进行定量评估,以指导设计探索和设计优化。     

基于景象匹配与惯导信息的SAR平台定位方法

利用高度传感器提供高度信息,结合高精度异源图像匹配技术与惯导系统漂移修正方法实现了SAR平台定位。根据成像中间时刻SAR平台与SAR图像中心线上物点在水平面的投影共线的特性,在单帧图像中心线上均匀选取若干点与光学基准图进行高精度景象匹配,计算平台在水平面上投影位置,并利用高度信息确定其空间位置;再使用序列图像定位结果估计惯导系统漂移参数,对惯导系统输出的位置数据进行修正,实现高精度的SAR平台定位。对各误差因素的影响进行了分析,推导了精度估计公式。仿真和实际序列图像实验结果表明,方法正确可行,平台定位精度较高,具备一定工程实用价值。     

卫星导航抗干扰接收机信道大动态范围通用设计方法研究*

为适应“导航战”下的强干扰输入,导航接收机对模拟信道的动态范围提出了更高的要求。在给定的信噪比恶化容限约束下,原有的分析方法给出了二维曲线分析模型,得到了动态范围的优化设计及各级增益划分方法,但仅适用于输出功率基本不变的AGC电路。基于增加的AGC输出回退功率这一参数,论文提出了一种三维曲面求解模型,揭示了各电路参量与模拟信道动态范围的约束关系,可适用于输出功率变化的AGC电路,以实现更高的动态范围。针对三维模型中参数求解复杂的问题,利用纯衰减网络的特性将复杂的数值求解简化为直线求解,大幅降低了设计复杂度。在给出的设计实例中,动态范围测试结果与设计预期吻合较好,验证了方法的正确性。     

车载火控系统标定原理及误差分析

巡航导弹的快速发展改变了现代战争的作战模式,为了实现对该目标的有效拦截,将防空火控系统组网是一种有效手段。文中以车载火控系统组网为例,介绍了火控系统两种标定方法的原理,并结合目标态势对误差进行了分析,结果表明系统标定引入的误差与定位定向设备精度、标定系统距离和目标态势都是相关的。     

基于MDFT框架的海上能源通道航线动态决策建模与仿真

针对常规海上航线决策没有考虑决策选择过程的问题,引入多选择决策场理论（ MDFT）,构建了海上能源通道航线动态决策模型。基于信息完备、信息不确定和特殊情况等三种情景想定,进行了海上能源通道航线规划决策及其实验仿真。结果表明,决策过程受时间压力和信息质量的制约,时间压力会制约决策质量,同时还可能引起“偏好逆转”现象,信息不确定也会导致确定性决策。该模型不仅综合考虑了海上能源通道航线选择时需关注的各类要素,且模型参数可动态调整,进而能合理模拟真实的海上状况和决策过程。     

运载火箭芯级与助推级分离的数值模拟

采用动态重叠网格方法和双欧法,耦合求解非定常流动控制NS方程和6DOF运动方程,数值模拟运载火箭助推级和芯级的自由分离过程和附加外力作用下的强迫分离过程,并对芯级、助推级分离的主要影响因素进行分析。数值结果与试验结果吻合,表明动态重叠网格方法能正确预测火箭芯级与助推级间复杂的流动现象。根据数值模拟结果,给出助推级在不同分离工况下的分离参数及分离规律。     

The burglar problem with multiple options

We consider the burglar problem in which a burglar can either retire or choose among different types of burglaries, with each type having its own success probability and reward distribution. Some general structural results are established and, in the case of exponentially distributed reward distributions, a solution technique is presented. The burglar problem's relationship to a stochastic knapsack problem with a random exponentially distributed knapsack capacity is shown. © 2014 Wiley Periodicals, Inc. Naval Research Logistics 61: 359–364, 2014     

基于U变换的空间站交会调相非线性协方差分析方法

针对空间站交会调相过程中的长时间偏差传播问题,提出一种基于U变换的协方差分析方法 UTCAM。在给出空间站交会轨道调相策略和轨道机动参数计算方法后,对UTCAM的原理和流程进行了介绍,通过和STK以及Monte-Carlo的对比验证表明,UTCAM与该两种分析方法的协方差相对误差均在1.2%以内,且计算耗时仅为Monte-Carlo的1/460,可快速准确地实现非线性系统的均值和协方差预报。最后基于UTCAM对长达20天的空间站交会调相的偏差传播进行了分析,并采用Monte-Carlo仿真对其分析结果进行了验证,验证了该方法的有效性。     

用于消除缓变伪距偏差的抗差扩展卡尔曼滤波方法

针对卫星导航系统中伪距观测量存在缓变伪距偏差,导致定位精度下降的问题,提出了一种基于滑动积累的抗差扩展卡尔曼滤波方法。该方法在抗差扩展卡尔曼滤波算法的基础上,通过滑动窗口内多个历元残差矢量的累积,增大标准化残差矢量的伪距偏差,来提高对缓变伪距偏差故障的抗差能力。仿真表明,该方法能有效消除或者减弱微小伪距偏差和缓慢增长伪距偏差造成的位置误差,与传统抗差扩展卡尔曼滤波算法比较,定位精度得到明显改善。     

动态拓扑图的卫星网络可视化方法

针对高度动态变化的卫星网络,提出一种基于动态拓扑图的可视化方法。动态拓扑图可视化的难点在于如何保持动态可视化过程中的稳定性,从而使用户容易地感知到网络中所发生的拓扑变化。根据卫星网络的动态变化特点,构建连续的动态拓扑图模型;设计一种保持布局稳定性的策略,并基于力引导思想提出一种动态拓扑图布局算法;以Iridium系统为典型实例,验证本文的可视化方法的合理性和可行性。实验表明,该方法能够以清晰的可视化图像支持用户对卫星网络动态拓扑的感知和理解。