Zadoff-Chu序列的内插算法

脉冲压缩体制斜向短波信道探测主要利用Zadoff-Chu序列良好的周期自相关特性进行相关检测。为使Zadoff-Chu序列的频谱特性与信道探测收发信机的要求相匹配,提出一种适合Zadoff-Chu序列的FDI内插算法,以改善其频谱特性,并与一般内插算法内插后的序列频谱进行比较。仿真结果表明:采用FDI内插算法插值后序列的频谱滚降更快,且几乎没有旁瓣,能量十分集中,确认了FDI内插算法的优越性;在接收端,通过理论推导给出了一种实现采用FDI算法内插后的序列最佳抽取的方法。计算和仿真结果验证了该方法的有效性。     

基于PSD的炮口扰动测试方法

针对火炮性能测试时难于实时、准确测量炮口扰动的问题,提出了一种基于光电位置传感器（Position Sen-sitive Detector,PSD）的炮口扰动测试方法。采用光学杠杆、激光脉冲调制、高精度光电位置传感器、高速数据采集技术,以及所建立的PSD测量炮口角数学模型构建炮口角测量系统,可有效消除炮口闪光、外界自然光及蚊虫干扰,具有较高的灵敏度、精度和可靠性。     

基于贝叶斯混合源分离方法的声纳探测误差模型

声纳的探测误差模型是声纳仿真的核心技术。针对现有的声纳误差白噪声模型仿真逼真度低的问题,提出了基于贝叶斯混合源分离方法,建立了声纳的探测误差模型,提高了声纳误差模型的性能。与传统的白噪声仿真方法相比,基于贝叶斯混合源分离方法的声纳误差仿真模型具有较好的逼真度,可以有效地对声纳探测误差进行建模和预测。     

基于正则化的多平台导航定位及探测偏差估计方法

影响舰载雷达探测误差主要为平台导航定位误差和传感器自身探测误差,针对对这两类误差的影响因素进行了分析,首次综合考虑这两种系统误差,提出了一种基于正则化的多平台导航定位及探测偏差估计方法,利用不同舰艇上传感器对公共目标探测的迭合条件,建立系统误差观测方程,利用LS对两种系统误差同时进行了估计,并在偏差估计中采用正则化估计方法,提高估计结果的稳定性,最后进行了仿真验证,仿真效果验证了算法的有效性,具有较高的工程应用价值.     

Optimal inventory control policy for periodic‐review inventory systems with inventory‐level‐dependent demand

We consider a setting in which inventory plays both promotional and service roles; that is, higher inventories not only improve service levels but also stimulate demand by serving as a promotional tool (e.g., as the result of advertising effect by the enhanced product visibility). Specifically, we study the periodic‐review inventory systems in which the demand in each period is uncertain but increases with the inventory level. We investigate the multiperiod model with normal and expediting orders in each period, that is, any shortage will be met through emergency replenishment. Such a model takes the lost sales model as a special case. For the cases without and with fixed order costs, the optimal inventory replenishment policy is shown to be of the base‐stock type and of the (s,S) type, respectively. © 2012 Wiley Periodicals, Inc. Naval Research Logistics, 2012     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

双站无源定位最佳配置分析

为了提高双站无源定位精度,在全局坐标系下分析了双站纯方位定位系统的最佳配置形式。首先研究了最小GDOP(Geometric Dilution of Precision)意义下的方位角约束关系及最优夹角,得到双站的最佳配置形式是目标与两传感器间呈一确定夹角的等腰三角形;在此基础上,讨论了夹角对GDOP的影响进而提出有效定位区域的概念,指出只有当目标位于该区域内时双站才能获得较好的定位精度。仿真结果验证了上述关于最佳配置形式及有效定位区域的分析,指出该结论可以应用到基于传感器管理的多站无源定位算法中。     

基于四阶累积量的双基地MIMO雷达收发角度估计

提出了一种基于四阶累积量的双基地MIMO雷达收发角度估计算法。在接收端,通过分别构造单阵元和双阵元的四阶累积量矩阵,采用基于四阶累积量的MUSIC算法和ESPRIT算法分别估计出目标的离开方向(DOD)和波达方向(DOA),并且DOD和DOA自动配对。该算法将二维参数的估计问题转化为两个一维形式,不需要二维谱峰搜索,在保证二维方位角估计性能的基础上,降低了运算量。利用四阶累积量有效地扩展了阵列孔径,并且适用于任意加性高斯噪声环境。仿真结果验证了算法的有效性。     

武器装备军事需求论证的地位与作用

介绍了武器装备军事需求论证的概念,从武器装备发展的基本规律出发,对武器装备军事需求论证在武器装备论证中的地位与作用进行了全面分析,突出了武器装备军事需求论证在武器装备建设中的重要地位,强调了武器装备军事需求论证的“牵引”作用。     

基于磁强计和光纤陀螺的小卫星姿态确定非线性滤波算法

提出了一种小卫星姿态确定的非线性滤波算法,该算法利用三轴磁强计和光纤陀螺作为姿态敏感器。在非线性滤波器的设计中,从两个方面对平方根sigma点卡尔曼滤波方法进行改进。第一,把姿态四元数的矢量部分、光纤陀螺的漂移和噪声组合,得到滤波器的增广状态向量;第二,分别建立向量旋转模型、最优化模型和误差四元数乘法模型来确保非线性滤波过程中四元数的归一化约束。仿真分析结果表明,本文提出的非线性滤波算法能够有效地提高小卫星的定姿性能,与扩展卡尔曼滤波相比,具有较高的精度、稳定性和较快的收敛速度;与无迹卡尔曼滤波相比,收敛性相当,但是精度略优,稳定性和计算效率较高。