基于数据操作的自动化测试技术研究与应用

首先分析了数据驱动实时软件自动化测试中存在的问题,提出了基于数据操作的改进关键字驱动脚本自动化测试方法,并在此基础上实现了航天测控软件系统的自动化测试平台。     

大气层内无动力低速飞行器过载控制技术研究

针对大气层内无动力低速飞行器采用传统攻角或姿态角反馈控制时存在着一些问题,如在计算中需要将过载转换为程序攻角或程序姿态角,计算复杂;以及存在风干扰时,弹上计算出来的攻角不能反应真实攻角等,本文提出了直接采用过载进行控制的方案,在此基础上研究了过载控制方案设计过程中用到的小偏差方程计算公式及简化计算公式,以及控制框图,详细的控制方程,内外环的设计方法.最后通过数学仿真验证了该方案的正确性.     

量子理论和万有引力

源于20世纪初的二大理论——相对论和量子理论在深层次上是不兼容的，以至于到了20世纪80年代，人们怀疑这二大理论或许只有一个是完备的。是选择相对论，还是量子理论？答案倾向于量子理论，人们相信20世纪80年代关于贝尔不等式的判决性实验结果支持量子理论，但是，采用量子理论描述宏观世界却又是无能为力的，特别是采用量子理论将万有引力量子化。     

战斗机结构可靠性优化分析

战斗机结构可靠性是其重要的可靠性技术指标之一，它直接影响战斗机的作战效能。决定着战斗机的使用寿命。提高战斗机结构可靠性必须从选材和改进生产工艺两方面着手，而这都是以增加费用为前提。在分析战斗机结构可靠性的基础上，从费效分析的角度建立了其结构可靠性与费用关系的数学优化模型，并采用试探差法来寻找问题的最优解。     

四色定理论证

用离散数学之图论证明"四色猜想",巧妙而深层次地应用数学归纳法和换色法,解决了肯泊(A.Kempe)百多年前提出"不可避免构形集"中的一个地域有五个邻域的情况的所谓"可约性"问题,同时指出了1890年希伍德(P.Heawood)举出的25阶反例(当时,他以此说明"四色猜想"不成立,而"五色定理"成立)与本文中的一种可换色(即"可约性")的典型实例类同,进而简捷而理想地证明了"四色猜想"是成立的,使"四色定理"得到科学的论证。     

用代数法生成飞机翼型进气道等复杂形状物体的网格

本文论述了研制网格生成软件对于促进计算流体力学研究和应用的重要意义。着重介绍了网格生成的多面方法,编制了多面法网格生成程序,生成了飞机翼型、进气道等复杂形状物体的网格.该方法可快速生成二维或三维边界正交网格,同时还可有效地控制区域内网线的分布和边界上网格点的分布.     

浅谈数学建模及竞赛辅导

本论述了数学模型的一般概念，讨论了数学模型的分类及数学模型的步骤和方法，通过两个建模实例，结合作辅导建模竞赛的经验，研究了建模竞赛的组织与训练问题。     

基于塔形形态算法的SAR图像相干斑抑制

提出将塔形形态算法用于抑制SAR图像中相干斑处理，为减少塔形处理中由于下采样造成的信息损失，从并行处理的角度出发，对塔形形态滤波器提出了改进，将下采样中的各子图同时进行形态滤波处理，在上采样中将各子图合并。经分析和处理表明这两种算法用于SAR图像滤波都能有效地去除相干斑噪声。与塔形形态滤波、Lee滤波器算法比较，采用并行算法处理后图像的各项指标有明显的改善。     

计算物理中的数学实验方法

论述了计算物理与数学实验的关系,以及数学实验对计算物理的重要性,并通过实例说明,利用数学实验方法可以简化计算,突出物理概念,使问题得到更好的解决。     

不等式nΣi=11／ai≥n^2／nΣi=1ai的两个推广

从n不正数的调和平均值，不大于其算术平均值出发，导出了一个分式不等式，又应用排序的方法，从两个方面将这个不等式加以推广，得到了两个更具一般形式的分式不等式和指数不等式：nΣi=1bi/ai≥nnΣi=1bi/nΣi=1ai,nΣi=1ai^m≥（nΣi=1ai）^m/n^m-1（n∈N，m∈Z）。