分析二维导体电磁散射问题的FEM/POPTD方法——TE模(英文)

提出了一种分析计算带有裂缝的二维电大尺寸复杂导体目标电磁散射问题的混合方法—— FEM/ PO-PTD方法。该方法采用基于棱边的有限元法 ( Edge-basedFEM)为低频方法 ,物理光学法与物理绕射理论 ( PO-PTD)为高频方法 ,通过耦合技术将两者结合在一起。本文将该方法应用于带有缝隙的二维导电柱 TE模的电磁散射特性分析 ,计算结果与有关文献的数据一致性很好 ,从而验证了该方法的准确性。文中还给出了另外几种截面的导电柱体雷达截面的计算曲线。理论分析与计算结果表明 ,本文提出的混合方法与其他计算同类问题的方法相比 ,能节省计算机存储单元、提高计算速度     

对动矩心的动量矩定量的探讨

本文从动静法的角度，以牵连运动为平动的动点为矩心，根据惯性力的定义，引入质点牵连惯性力，成功地证明了动量矩定量，得出了动量矩定量的一般表达式，并对其结果进行了讨论。     

嵌入式操作系统的形式化验证方法

对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。     

导弹非线性自适应鲁棒控制系统设计

提出了一种基于全调节RBF神经网络的导弹非线性自适应鲁棒控制系统的设计方法，应用全调节RBF神经网络在线辨识系统中存在的不确定性，利用反演和鲁棒控制技术设计了导弹控制系统，成功地处理了非匹配不确定性，并在虚拟控制中引入了微分阻尼项，有效地改善了系统动态性能。最后，应用Lyapunov稳定性理论推导出RBF神经网络各参数的调节律，并证明了系统状态全局渐近收敛于原点的一个邻域，仿真结果验证了该设计方法的有效性和可行性。     

基于领域的机器定理证明的研究

采用分类的思想,对领域内的证明问题进行了归纳总结、抽象,在计算机上建立了相应的模型,采用基于知识的推理技术,设计了机器定理证明的实现流程,并针对某种具体类型实现了相应的原型系统,得到了满意的结果。分类思想为具有较强客观规律问题的机器自动求解提供了思路。     

一类非线性三点边值问题正解的存在性

文章研究了一类非线性三点边值问题正解的存在性。运用一种新的方法得到格林函数的一些性质,然后运用Guo—Krasnoselskii不动点定理建立了边值问题在满足很弱的条件下解存在的条件,推广和改善了相关文献的结果。     

费马大定理巧妙证明

费马大定理是费马发现巧妙证法之后提出来的。通过从特殊到一般的巧妙证法,用二项式定理等初等数学方法巧妙地证明了此定理。即:不定方程xn yn=zn(n>2)(本文的各种字母没有特别指出时,都表示是正整数),当x=10a时,z不等正整数。由此得出"1加正有理数n次方和的n次方根是无理数。"的引理。用此引理和集合包含关系巧妙地证明了此定理。     

四色定理论证的关键

一百多年来对"四色问题"的研究长期不得其解的关键在于:肯泊(A.Kempe)当年提出的"不可避免构形集"中一个国家(地域)具有五个邻国(邻域)的所谓"可约性"问题得不到解决。"《四色定理》论证"用数学归纳法,而"平面图的点着色方法"未用数学归纳法,两种方式论证"四色问题"都涉及到"一个(待着色)顶点有五个邻接顶点,已着有4种颜色,要将这4种颜色设法变成3种,把腾出来的1种颜色给该顶点着色。"———这就是四色定理论证的关键。再根据换色原理,用巧妙而深层次地换色办法,对这个关键进行更深刻地论述,其换(着)色最多六步就可以完成,进而更充实和完善了前述两文。     

动目标双站RCS预估的图形电磁计算（GRECO）方法

图形电磁计算 (GRECO)技术是目前分析高频区复杂目标雷达散射截面 (RCS)最有效方法之一。通过应用 GRECO方法和单 -双站等效原理 ,计算动目标高频区的双站 RCS,给出了与实验结果符合良好的计算实例 ,具有很好的工程应用价值     

基于二元交替激励的一维线阵控制方法

为了得到一种简单有效的阵列天线方向图控制方法,首先,从二元阵天线的结构及方向图入手,结合方向图乘积定理,通过对阵元天线激励幅度和相位的控制,得出了一种基于二元阵交替激励的阵列天线方向图调控方法;然后,结合理论推导,对真实的阵列天线进行了激励控制实验,并对实验数据的分析,重点研究了阵列天线归一化方向图的变化,证实所研究方法的可行性。