一类具Holling-Ⅲ类功能性反应的食物有限捕食-被捕食模型的极限环

研究一类具Holling-Ⅲ类功能性反应的食物有限捕食-被捕食模型的动力学性态。应用微分方程定性理论,证明当正平衡点不稳定时该模型存在唯一稳定的极限环。     

军用电站谐波测量方法研究

详细地介绍了基于离散傅里叶变换（DFT）的谐波测量方法,分析了不同窗函数的特征及其对谐波测量精度的影响,并依据军用电站谐波测量特点采用布莱克曼窗提高测量精度。针对所述测量方法,利用软件进行了仿真计算,利用实用电站装备进行了对比测量实验,根据仿真和实测数据的误差分析,指出了造成测量误差的原因。     

关于右连左极函数的Gronwall不等式

给出了传统意义下的Gronwall不等式的推广形式,并且给出了在右连左极函数积分下的一种Gronwall不等式。     

对流层散射双向时间比对中对流层斜延迟估计

为精确估计对流层散射双向时间比对系统中对流层斜延迟,分析了估计卫星信号对流层斜延迟的Hopfield天顶延迟模型及CFA2.2映射函数模型并对其进行修正,从而适用于对流层散射斜延迟的精确估计。根据北纬35°~37°范围内的三个测站2010—2012三年的气象数据,验证Hopfield模型精度范围小于35 mm,并将三个测站按相互之间基线距离的不同分为三组比对站,利用2012年的气象数据,计算在不同入射角下一年的对流层散射斜延迟,并得出最大斜延迟对应的年积日和入射角。结果表明,三组比对站的最大单向散射斜延迟为21.82~35.45 m。在双向比对抵消90%的情况下,时间延迟为7.3 ns~11.7 ns;相互抵消95%时,时间延迟为3.6 ns~5.9 ns。     

Approximation algorithms for sequential batch‐testing of series systems

We introduce and study a generalization of the classic sequential testing problem, asking to identify the correct state of a given series system that consists of independent stochastic components. In this setting, costly tests are required to examine the state of individual components, which are sequentially tested until the correct system state can be uniquely identified. The goal is to propose a policy that minimizes the expected testing cost, given a‐priori probabilistic information on the stochastic nature of each individual component. Unlike the classic setting, where variables are tested one after the other, we allow multiple tests to be conducted simultaneously, at the expense of incurring an additional set‐up cost. The main contribution of this article consists in showing that the batch testing problem can be approximated in polynomial time within factor , for any fixed . In addition, we explain how, in spite of its highly nonlinear objective function, the batch testing problem can be formulated as an approximate integer program of polynomial size, while blowing up its expected cost by a factor of at most . Finally, we conduct extensive computational experiments, to demonstrate the practical effectiveness of these algorithms as well as to evaluate their limitations. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 275–286, 2016     

复杂目标毁伤效果评估关键问题分析

复杂目标毁伤效果评估一直是毁伤效果评估中的重难点问题,作为作战指挥决策的重要依据,对其关键问题进行分析和研究具有重要现实意义。首先总结和梳理复杂目标毁伤效果评估的基本思路,在此基础上归纳出复杂目标毁伤效果评估的一般步骤,并构建毁伤效果评估的基本框架,明确其中的关键环节和问题,并基于现有复杂目标毁伤效果评估的方法和模型对其进行详细的论述和分析,最后指明未来发展的方向。     

基于端点梯形白化权函数的飞机保障性灰色评估

保障性评估是提高飞机保障性的有效手段。从保障性的定义出发,构建了飞机保障性评估指标体系,在利用层次分析法(AHP)确定指标权重的基础上,对三角白化权函数进行了改进,建立了基于端点梯形白化权函数灰色评估模型,很好地解决了相邻的若干类别对该类别聚类中心的影响问题,并将其应用于飞机保障性的评估,通过实例分析,验证了此评估方法的可行性,对提升飞机保障性评估的准确性有一定的参考价值。     

基于可用度的电子设备告警系统检查策略研究

针对电子设备告警系统故障具有隐蔽性的特点,考虑检查不完善的因素,运用延迟时间概念,以系统期望可用度最大为优化目标,建立了电子设备隐蔽功能故障检查优化模型。提出了优化检查间隔期的算法,并通过实际案例验证了模型的有效性。     

频域加权LQR控制器改进设计

基于线性二次型调节器(Linear Quadratic Regulator,LQR)控制方法,设计一种频域加权LQR控制器;通过对其常用滤波器进行改进,提出一种新型滤波器设计思路.当振源频率低于执行器下限响应频率,导致执行器输出减小时,通过改变滤波器参数、增大低频部分权重及控制力,可提高低于执行器响应下限频段的控制性能...     

用弹性动力学基本分析方法求解导弹 折叠翼展开的动响应

用机构弹性动力学的基本方法分析了一种导弹折叠翼展开的动力学问题,详细介绍了运动微分方程的解法,并将计算结果曲线与刚体动力学计算曲线、试验测得的曲线进行比较和分析,证明了该算法的可靠性和可行性。