应用于舰载天线电磁兼容性分析的改进多层快速多极子算法

为解决舰载天线间互相干扰的问题,准确预测舰载天线在装舰前的电磁兼容性,在矩量法(Mo M)的基础上,引入一种改进的新型算法,该算法应用多层快速多极子(MLFMA)技术,并构造谱域两步预处理器结合广义最小留数法(GMRES)来加速矩阵矢量乘的求解。应用FEKO软件对某驱逐舰进行电磁建模,使用该算法对天线方向图及天线间的耦合度进行数值仿真。仿真结果表明:这种新的算法相比于原算法计算速度更快、内存占用更低、准确性更高,可显著减少方程组的迭代次数,改善矩阵方程的收敛性。     

时域中的潜体兴波研究

从格林定理出发,在边界面上布置Rankine源和偶极子,在时域中用时间步进法计算模拟了潜体近自由面运动的兴波现象,构建了一种处理兴波问题的计算模型.文中详细介绍了这种方法的理论推导和计算过程,并通过试算确定了适当的模型参数.通过对多个参数的变化调整,讨论了它们对潜体兴波阻力和波形变化的影响.大量的数值试验和与试验数据的比较,证实了该法作为三维数值波浪水池的一个支撑模型是可行、可靠的.     

输油管路网式过滤器压降的实验研究

安装在输油管路上用以保护离心泵、流量计等管路设备的过滤器的滤网引起的管路局部压降损失是不可忽略的。通过量纲分析得到了滤网的局部水头损失系数ξ的影响因素：滤网开孔率β和雷诺数Re.并通过实验确定了β和Re对ξ的具体影响,Re对ξ影响不大,可认为与之无关,而β是影响ξ的主要因素。通过回归得到了ξ的计算公式。另外,还分析了输送介质含泥沙时滤网ξ的变化情况。     

基于符号权重的一阶逻辑前提选择方法

为增强自动定理证明器从一阶逻辑问题的大规模前提中选择相关前提的能力，首先，提出符号权重计算公式，基于符号在问题中出现的频率获取不同符号对应的权重；其次，提出相关度计算公式，利用分配的符号权重计算问题中前提和结论间的相关度；同时，研究自适应相关度边界，用于判断前提与给定的结论是否相关；最后，在自动定理证明器中交互地结合前提选择和自动推理两个过程，可在充分选择相关前提的情况下及时停止前提选择过程.实验结果表明：在最优情况下，新提出的前提选择方法能够把参与证明的平均前提数量从1 876个降低到174个；与广泛使用的前提选择方法 E-SInE和Vampire-SInE相比，使用新方法能够帮助自动定理证明器E在MPTP2078基准测试集上分别提高19.49%和10.49%的证明率.