用动态模拟方法实现C程序输入变量的取值分析

程序输入变量取值范围的确定对于测试数据的选取,尤其对边界值分析,有着直接的指导作用.一般情形下,通过对源程序进行数据流和相关性分析,可实现输入变量的取值分析.但对某些有特殊取值限制要求的表达式,用静态分析方法,难以实现其输入变量的取值分析.为此,采用动态模拟的方法,对有特殊取值限制要求的表达式,进行输入变量的取值分析.实验表明,该方法是行之有效的.     

GPS接收信号中线性扫频干扰的抑制

研究了阵列接收的GPS接收信号中线性扫频(LFM)干扰的抑制问题。LFM信号瞬时频率的估计是抑制干扰的关键,而要准确估计信号瞬时频率,必须抑制接收信号时频分布中交叉项干扰。本文对接收信号矢量进行白化,得到信号矢量白化后的空时频分布(STFD)矩阵。文中推出一个与传统方法获得的判决变量不同的判决变量,用该判决变量可以更加清晰地选出LFM信号在时频分布中的自项。根据时频脊点的分布估计LFM信号频率参数以及信号瞬时频率,之后即可根据瞬时频率构建陷波器滤除干扰。仿真表明该方法能够将受交叉项严重干扰的接收信号时频分布映射为清晰的接收信号自项的时频分布,在数据快拍数满足一定要求时可以很好地抑制掉LFM干扰。     

一类随机差分方程的解序列的最优停止规则

设报酬序列{x_(?),(?),n≥0}满足随机差分方程x_(n+1)=x_n+a_n+b_nε_(n+1)(ε_1,ε_2,…为白噪声序列)。本文讨论了用有限情形{x_n,0≤n≤N}的Snell包逼近无限情形{x_n,n≥0)的Snell包的条件,得到了x_n=E(x_n|(?))((?)=σ{ε_0,ε_1,…,ε_n},ε_0=0)的Snell包r_n的分解形式和最优停时存在的条件。最后讨论了最优停止规则的迭代计算法,并得出了迭代过程在有限步停止的充分条件。     

多变量稳定裕度的计算方法综述

稳定裕度是评价一个控制系统的重要性能指标,它的作用在于告诉人们系统稳定的可靠程度。经典的Ｂｏｄｅ或Ｎｙｑｕｉｓｔ图能很好地度量出ＳＩＳＯ系统的稳定裕度,但其对ＭＩＭＯ系统却无能为力。文章介绍了当前用于计算多变量稳定裕的９种方法,并简要地进行了评述。最后,把计算简单而保守性又相对较小的奇异值方法应用于某ＢＴＴ导弹自动驾驶仪俯仰／偏航通道的鲁棒稳定性分析。     

最小、最大广义最优停止规则的特征

设(X_n,F_n)_1~∞是适应的报酬序列,(γ_n)是相应的snell 包,(A_n)是(γ_n)的Doob-Meyer 分解中零初值的可料增过程。本文继J.Klass 的研究证明了σ_1=inf{K≥1:X_k≥γ_k}是最小半最优的且是最大严格正则的广义规则,而K_0=sup{n≥0:A_n=0}<∞是最大正则的广义规则,从而得出了广义最优规则唯一性的另一表述。     

测向交叉定位系统多目标数据关联研究

多目标测量数据关联问题是分布式被动交叉测向定位系统必须解决的问题,首先提出了基于残差的数据关联方法,但多目标时该方法运算量很大。针对这一缺点,提出了基于不变量的目标数据关联新方法,通过数字仿真对比了这两种方法的数据正确关联概率。仿真结果表明:基于不变量的方法正确关联概率与基于残差的数据关联方法相当,但计算量远小于后者。     

基于混合变量传递函数方法的圆柱壳屈曲分析

提出了一种分析正交各向异性圆柱壳和阶梯圆柱壳稳定性问题的混合变量传递函数方法。首先在壳体环向利用三角级数对位移变量进行展开 ,利用Fl櫣ｇｇｅ薄壳理论和变分原理 ,建立圆柱壳的平衡方程 ,找出对偶力变量 ,将平衡方程写成混合变量形式 ;通过定义混合状态变量 ,建立了系统的状态空间方程 ;然后利用传递函数方法 ,得到了具有任何轴对称边界条件轴压圆柱壳屈曲问题的解析解 ;最后通过位移连续和力平衡条件 ,得到了阶梯圆柱壳屈曲问题的解。理论解推导过程表明此方法在引入边界条件和进行阶梯圆柱壳求解时非常方便。算例分析的结果验证了本方法的正确性     

基于交叉熵最小化的 Turbo 码迭代译码停止准则

根据Turbo码最优译码算法及迭代译码的基本原理 ,在保证迭代收敛的条件下 ,利用交叉熵最小化原则推导出Turbo码译码过程中停止迭代的准则 ,并给出了一种降低计算复杂性和减少存贮空间的简化算法 ,最后通过仿真证明了此迭代停止准则及其简化算法的有效性。     

高超声速滑翔导弹气动参数自适应跟踪建模

针对高超声速滑翔导弹跟踪中状态模型构建问题,研究基于制导变量变化规律的气动参数建模方法。对气动参数进行分析,指出传统建模方法的缺点。在假设制导变量服从一阶时滞过程的前提下,利用线性化的气动系数推导气动参数模型,通过分析不同飞行状态下的模型变式,证明模型对目标机动具有自适应性。对模型中未知参数的取值问题进行讨论,实现模型与飞行状态的自适应匹配。仿真结果表明：当目标发生机动时,所提模型性能明显优于传统模型。同时,在不同滤波器参数条件下的仿真结果进一步证实了模型的有效性。     

基于鲁棒高阶滑模的电动舵机伺服控制

电动舵机伺服系统是导弹飞行控制不可缺少的组成部分,按照指令模型装置或敏感元件输出的电信号来操纵舵面,实现角运动或航迹运动的自动稳定和控制。系统的静、动态性能、鲁棒性等对飞行控制非常重要。滑模控制以其强鲁棒性受到广泛关注,然而却存在抖颤问题,介绍一种克服抖颤的高阶滑模控制原理及设计方法,并针对电动舵机设计了相应的控制器。实验结果表明,尽管系统存在参数不确定和有界扰动,系统仍具有较强的鲁棒性以及较高的控制精度。