探索性分析在作战实验中的应用

现代作战系统特征复杂,采用当前的作战实验方法对作战运行规律进行分析研究时,层次较低、缺乏整体性、对作战行为指导意义不明显。针对此问题,结合探索性分析思想,提出一种基于探索性分析的作战实验方法,设计了方法的研究框架,给出了主要研究内容的关键技术解决方法。最后,进行了实例分析,结果表明,方法在作战方案优化方面能起到较好的效果。     

Hilbert空间极大单调算子零点的逼近问题

设H为实Hilbert空间,C为H的非空闭凸子集,T:C→2H为极大单调算子,假设S(T)={X∈H:O∈Tx}≠Φ。求xk及ek满足设Pc:H→C为H到C上的最近点投影算子,定义证明了Hilbert空间中由上式产生的序列{xk}k≥0弱收敛于T的某个零点。     

大子直积与其系数环

设 为无限正则基数,F为集合I的滤子,通过模的 积和F-积给出了其系数环R相关结构的特征刻画。作为应用,一些已有的结果得到了推广。     

侵彻靶板过程中刚体过载特征提取方法

针对引信动态环境非常复杂各种振动非常丰富,侵彻加速度信号含有许多瞬变成分,是非平稳时变信号,采用局部均值分解算法自适应的对侵彻加速度信号进行分解,从而提取加速度信号刚体过载特征和加速度信号频率分布特性,有效准确地对信号机理进行分析.为了使得侵彻特征更加明显,利用半正弦波形作为匹配波形,采用匹配相关算法得到侵彻过程层穿越的特征信号,更有效实时地进行层识别或者空穴识别.     

双曲线法抗跟踪干扰研究

针对中、低速跳频电台跟踪干扰问题,从通信抗干扰的角度出发,通过对干扰椭圆方程的变形分析,提出了抗跟踪干扰的双曲线法,推导了抗干扰双曲线的方程,并计算出了跟踪干扰无效区域。最后,分析了该双曲线的特点及影响因素,介绍了该方法的运用。与现有的抗跟踪干扰理论依据相比,根据双曲线法选择抗干扰措施更直观、更简单。     

基于FFT和电文估计的GNSS弱信号载波跟踪方法

在弱GNSS信号环境中,基于传统环路的GNSS载波跟踪方法受导航电文、接收机动态和晶振稳定性的制约,难以使用较长相干积分时间提高环路输入信噪比.本文提出了一种基于FFT的电文估计方法,该方法只需计算一种电文组合下的相干积分值序列的FFT,其他电文组合下的FFT只需少量加法运算即可完成,降低了电文符号估计的计算量.通过对...     

理想带限条件下码跟踪环路的精度分析

伪码跟踪是卫星导航接收机中的关键环节。码环的跟踪精度直接决定了接收机的定位性能,因此对码环跟踪精度的分析一直以来都是研究的热点,并且已经取得了很多重要成果。目前已有的结论大都从频域的角度表示带限信道的影响,但是频域表达式存在计算复杂,难以应用于实际情况的缺点。本文针对目前存在的不足,从时域相关函数的角度提出了码跟踪精度的解析表达式。该表达式简单直观,可以方便地应用于码环性能的分析,对导航信号接收机的设计具有重要的指导作用。     

基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

碳纳米管场效应管尺寸缩小特性的比较

由于具有更为显著的量子隧穿效应,碳纳米管场效应管具有较硅基MOS管不同的尺寸缩小特性,同时,由于工作机理的不同,类MOS碳纳米管场效应管(C-CNFETs:Conventional MOS-like Carbon Nanotube Field Effect Transistors)的尺寸缩小特性与隧穿碳纳米管场效应管(...     

集团军反空袭战役空中威胁评估

运用定量和定性分析相结合的方法,对集团军反空袭战役空中威胁问题进行了分析,提出了评估的方法和步骤,建立了评估模型,并结合实例对评估方法、步骤、模型进行了分析验证。实例计算表明,利用该方法所实现的判断结果预见性好、可靠性强,对未来集团军反空袭作战有一定的现实意义。