军事欺骗战法分析的数学方法-应用

针对军事欺骗战法定量分析困难的问题,采用基于贝叶斯统计推断和博弈均衡分析的数学方法,在理论上为解决此难题提供了一种可行的方法。该方法首先定义基本概率矩阵,然后根据贝叶斯原理为交战双方构造用于统计推断的主观概率矩阵,并在由两个主观概率矩阵元素构成的偏序链与实施军事欺骗机会之间建立对应关系,再将此关系推广到基本概率矩阵,即是否存在实施军事欺骗的机会将由基本概率矩阵元素构成的偏序链决定。对理论成果的初步应用表明：通过分析由战场情报信息构成的基本概率矩阵的偏序链,可以科学地运用军事欺骗和反军事欺骗战法。     

基于偏最小二乘特征提取的支持向量机回归算法

为了提高SVM的建模质量,简化建模难度,提出了PLS-SVM组合回归建模方法.该方法通过PLS对样本数据进行降维、去噪以及消除共线性处理后,再进行SVM回归建模.不仅保持了SVM良好的模型性能,而且使SVM具备特征提取功能.实验结果表明,该方法是可行的,采用此法构建的SVM模型,泛化性能优于没有特征提取的SVM.     

KPLS-SVM在缺失飞参数据估计中的应用

飞行参数的缺失给飞行事故调查工作带来了很大困难.将核的偏最小二乘法与支持向量机耦合,建立基于状态匹配的飞行参数估计模型可以较好地解决缺失飞参数据的估计问题.首先将初始输入映射到高维特征空间,进而利用偏最小二乘法在特征空间中提取对缺失飞参数据影响较强的得分向量, 最后将提取的得分向量作为输入建立支持向量机模型.既克服了输入变量间的相关性问题, 又降低了支持向量机的输入维数.仿真也说明了使用该方法估计缺失飞行参数的可行性和有效性.     

基于对称迭代的反向混合单调算子方程组解的存在惟一性

运用锥与半序理论和对称迭代方法,讨论半序Banach空间一类反向混合单调算子方程组解的存在惟一性,并给出了迭代序列收敛于解的误差估计,同时讨论了非反向混合单调算子方程组解的存在惟一性.所得结果改进和推广了混合单调算子方程某些已知相应结果.     

使用位流重定位与差异配置在线演化数字系统

利用位流重定位与差异配置技术对现有基于动态部分重构的演化硬件实现方法进行改进,以解决其演化复杂电路时位流存储开销大和演化速度慢的问题。利用Xilinx早期获取部分重构技术,定制能实现位流重定位的可演化IP核。原始位流文件经设计形成算子核位流库存于外部CF卡上,方便系统调用。将现场可编程门阵列片内软核处理器Micro Blaze作为演化控制器,采用染色体差异配置技术,在线实时调节可演化IP核的电路结构,构成基于片上可编程系统的自演化系统。以图像滤波器的在线演化设计为例,在Virtex-5现场可编程门阵列开发板ML507上对系统结构和演化机制进行验证,结果表明,所提演化机制能有效节省位流存储空间,提高演化速度。     

Partial input to output impacts in DEA: Production considerations and resource sharing among business subunits

Data envelopment analysis (DEA) is a methodology for evaluating the relative efficiencies of peer decision‐making units (DMUs), in a multiple input/output setting. Although it is generally assumed that all outputs are impacted by all inputs, there are many situations where this may not be the case. This article extends the conventional DEA methodology to allow for the measurement of technical efficiency in situations where only partial input‐to‐output impacts exist. The new methodology involves viewing the DMU as a business unit, consisting of a set of mutually exclusive subunits, each of which can be treated in the conventional DEA sense. A further consideration involves the imposition of constraints in the form of assurance regions (AR) on pairs of multipliers. These AR constraints often arise at the level of the subunit, and as a result, there can be multiple and often inconsistent AR constraints on any given variable pair. We present a methodology for resolving such inconsistencies. To demonstrate the overall methodology, we apply it to the problem of evaluating the efficiencies of a set of steel fabrication plants. © 2013 Wiley Periodicals, Inc. Naval Research Logistics, 2013     

基于Mamdani模糊推理的核动力装置技术状态评估

分析了传统二元逻辑应用于核动力装置部分失效技术状态评估时的局限性,概述了Mamdani模糊推理的基本技术;结合状态评估实例,提出了基于Mamdani模糊推理的核动力装置系统级的技术状态评估方法,为系统部分失效的技术状态评估提供了一种新的技术途径。     

应用函数Laurent展开定理化有理分式为部分分式

将函数Laurent展开定理及留数概念应用于有理分式是将有理分式化为部分分式的一种行之有效的方法。     

局部状态检测的GPS/INS组合导航转发式干扰检验方法

针对GPS/INS(Global Positioning System/Inertial Navigation System)组合导航中GPS转发式干扰问题,在分析故障变化特性与故障诊断函数特性之间关系的基础上,提出了一种基于局部状态χ2检验的方法。通过观测值的变化、观测模型的变化和χ2检验中x赞1k的变化论证了方法的可行性,并得出组合导航受到转发式干扰是判断系统发生故障的充分而非必要条件的结论。最后通过在仿真轨迹中加入诱偏来模拟转发式干扰,仿真实验证明该方法能够以较高的灵敏度和较高的准确性判断转发式干扰的发生。     

一类二阶椭圆型边值问题正解的唯一性

文中讨论了一类二阶椭圆型边值问题正解的唯一性。削弱了文献[1]中主要定理的条件,并将其推广到一般光滑区域,所用方法主要是对格林函数的精细估计。