时域超宽带紧缩场雷达目标特性测量系统研究与开发

介绍时域超宽带雷达目标特性测量系统的工作原理及测量软件的开发过程。首次将数字取样示波器应用于紧缩场,研究测量原理,给出系统结构及测量流程图,开发超宽带紧缩场暗室雷达目标特性测量系统,包括雷达散射截面测量、极化散射矩阵测量和微波成像等模块。最后给出该系统测量获得的部分数据。     

基于领域知识的仿真策略及其在可靠性设计决策中的应用

在可靠性工程的需求驱动下,提出了一种描述性的模型框架:"功能仿真模型"。该模型既明确引入了反映系统工作原理的性能领域知识,又能刻画系统的功能逻辑关系,还能建立性能与功能的联系。在此基础上给出了可操作的、基于领域知识的仿真策略———在性能仿真基础上进行功能推理。最后讨论了该仿真策略在可靠性工程中的应用途径。     

BTT 导弹自动驾驶仪的多变量频域法解耦设计

研究了一种耦合严重的ＢＴＴ 导弹偏航－滚动通道非方阵模型的自动驾驶仪的设计问题。首先采用内闭环回路法对模型进行了方阵化, 然后采用基于奈奎斯特阵列法思想的多变量频域法进行了设计。仿真表明了自动驾驶仪设计的解耦效果明显     

UWB-SAR成像算法中的插值方法研究

本文简单介绍了大处理角超宽带合成孔径雷达（ＵＷＢ－ＳＡＲ）波数域成像算法，研究了其中Ｓｔｏｌｔ插值的内容及其必要性，提出了几种插值方法来解决其中的插值问题。最后，利用所提出的几种插值方法进行仿真，得到了较好的聚焦效果，表明所提插值方法是有效的。     

PTL 证明器的实现技术

基于文［１０］中的理论,我们用Ｔｕｒｂｏ─ｐｒｏｌｏｇ编程,在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次、归纳、归结、◇（ｘ∧ｙ）、ｕｎｔｉｌ　等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。     

关于广义KKM定理的几点注记

本文在 H-空间中引入伪紧闭集的概念,得到一个广义 KKM 定理,从而获得了 KyFan 匹配定理以及极大极小不等式的一些新结果.     

倒向随机微分方程在欧式期权中的应用

假设市场为无套利市场,而且市场上只有两种证券:一种是无风险债券;一种是有风险的股票。通过自筹资策略,得到期权价格所满足的倒向随机微分方程(BSDE),利用倒向随机微分方程给出欧式期权价格概率表示;并证明欧式期权的完全套期保值性。     

机体/推进一体化飞行器动导数频域计算方法

运用Etkin非定常气动力模型,将谐波平衡法应用于复杂外形动导数辨识。计算结果表明:谐波平衡法和时域方法的动导数辨识结果一致,与实验值吻合,验证了程序的正确性和谐波平衡法的可靠性。采用谐波平衡法对类X-51高超声速机体/推进一体化飞行器WR-A进行动导数辨识,并与时域方法的计算结果比较,考察了该方法在复杂外形下数值模拟非定常流动和动导数辨识的能力。实验结果表明:对于WR-A这种复杂外形飞行器,谐波平衡法也能在保证精度的同时具有较高的计算效率。     

认知域的公域特性及其关键技术

伴随着“认知域”作战概念被引入军事领域,现代战场已经形成了物理域、信息域、认知域三大作战维度。认知域已经成为美国战略空间拓展的主要战场之一。按照习主席关于要打好意识形态领域“制脑权”战争的思想,更需要重视认知域的攻防,研究相关技术,才能在没有硝烟的战场上不落下风。     

一种搜索鲁棒的中国余数定理的多基线相位解缠绕技术

多基线相位解缠绕的性能深受噪声水平制约,比如基于经典中国余数定理的相位解缠方法,由于其糟糕的抗噪声性能,限制了其在实际中的广泛运用。基于搜索鲁棒的余数定理,通过引入公因子,构建新的同余方程组,提出了一种搜索鲁棒的中国余数定理的相位解缠方法。仿真实验验证了该方法的有效性,并表明选择合理的公因子可以有效提高算法的抗噪声性能。