飞行控制软件测试用例辅助设计系统原型的设计与实现

BranchTCase原型是针对飞行控制软件中分支结构的测试用例辅助生成系统,它可以分析统计被测软件中的分支结构,生成覆盖所有可达分支的执行路径集合,从而辅助测试人员基于分支覆盖设计测试用例。BranchTCase采用纯静态技术,不依赖动态插装,通过扫描被测软件的源代码,得到软件的基本静态信息,并构造程序的执行流程图,最后遍历得到执行路径集合。本文阐述了BranchTCase原型的设计思路,讨论了其中的静态扫描分析、结构分析、分支结构遍历等主要算法。最后以某型号飞行控制软件为分析实例,得到了覆盖其所有分支结构的执行路径集合。     

靶场弹道跟踪实时数据平滑算法及实现

通过分析靶场测试中目标的弹道特性,提出并利用了Gram-Schmidt曲线拟合方法实现弹道数据的平滑处理,并利用VC＋＋高效编程保证了弹道数据平滑的实时性。试验表明,该方法能够大大提高靶场弹道测试过程中弹道测试设备对飞行特性不稳定目标的跟踪能力,同时减少了跟踪过程中跟踪抖动对精密跟踪设备的损害。     

论以科技竞赛促进网络工程专业实践教学改革

本文论述了大学生科技竞赛活动对学校网络工程专业实践教学改革的促进作用。结合网络工程专业的教学实践,提出了重视科技竞赛,促进实践教学改革,提高学生学习兴趣和积极性的一些思路和做法。     

马克思论资本主义生产方式--《资本论》思想研究之三

马克思指出,资本主义生产方式具有历史规定性,其第一特征是商品生产占统治地位,第二特征是以生产剩余价值为目的.在现时代,人们既需要重温马克思的有关论述,又要从现实的角度、管理的作用以及风险性方面进一步加深对资本主义生产方式的认识.     

Kalman滤波中连续系统离散化的计算机实现

提出一种时间连续系统的离散化算法。运用矩阵论的二次型原理,推导了连续系统离散化的一般公式,得到了系统状态方程在时间域中的离散化通用模型,通过设计参数N保证算法具有一定的鲁棒性。该算法有利于针对时间连续系统的卡尔曼滤波过程在计算机上的一体化实现,仿真结果验证了算法的可行性和有效性。     

受限控制直接分配新算法

对于三维目标的受限控制量分配问题,给出了直接控制分配方案的一种新的算法--相邻面搜索算法.直接控制分配方法的关键是找到期望目标向量与目标可达集合外表面的交点.该算法不需要确定目标可达集的所有表面,而是由目标可达集表面一个面出发,逐步确定相邻的面,直到找到与期望向量相交的面.算法放宽了原算法中控制效率矩阵任意三列线性无关的条件,并且能够在各种情况下得到最优分配结果.经验证,算法满足精确性与实时性要求.该算法的有效性在某多操纵面飞机的飞行控制系统仿真中得到了验证.     

国产民用运输类飞机障碍物限重计算模型优化研究

航空公司使用多年的某国产民用飞机性能软件,在障碍物限重计算准确性方面虽能获得较满意的结果,但计算时间较长。分析该软件所用计算模型计算效率较低的原因,通过对比采用最小改平高和采用最大改平高两种模型的计算结果和计算效率,建立优化模型,计算不同障碍物、不同风速条件下,优化模型与原模型的障碍物限重、改平高度和计算时间,并进行比较分析。结果表明：两种模型的障碍物限重和改平高度计算结果基本相同;无障碍物时,不论有风无风,采用最小改平高的优化模型相对采用最大改平高的原模型均可减少计算时间25%;有障碍物时,无风情况下,采用最小改平高的优化模型可减少计算时间78% 以上,有风时,则可减少计算时间75% 以上。采用最小改平高的模型可以兼顾准确性和高效性。     

综合应力加速寿命试验方案模拟评价的理论与方法

针对综合应力加速寿命试验方案优劣的评价问题,以产品在正常应力水平时中位寿命方差的均值和标准离差作为试验方案统计精度及其稳定性的评价指标,应用蒙特卡洛模拟方法,根据所提出的加速寿命试验方案模拟评价的准则,建立了综合应力加速寿命试验方案的模拟评价方法;同时,应用极大似然估计理论,建立了综合应力加速寿命试验方案模拟评价的数学模型。对航天电连接器综合应力加速寿命试验方案模拟评价的结果表明,在相同的试验次数和样本量下,最优试验方案的统计精度及稳定性高于均匀正交试验方案一倍左右,因此可以比均匀正交试验方案更好地代替全数试验方案,实现航天电连接器在环境温度和振动应力综合作用下可靠性水平的快速评定。     

故障检测中的一种鲁棒自适应阈值方法

对于一类带有模型不确定性、噪声干扰的线性系统，研究了其故障检测中的阈值设计问题。建立了残差与模型不确定性、噪声、控制输入、故障之间的关系；提出了基于信号L2范数与系统H∞范数的鲁棒自适应闯值设计方法；针对其检测率低的问题，进一步基于概率鲁棒的思想，对模型不确定性与残差引入了截尾高斯分布这一“软边界”描述方式；在此基础上所设计的阈值兼顾了检测率和虚警率两方面的要求，考虑了模型不确定性与噪声的影响，能够跟随控制输入信号的变化，具有较好的鲁棒性和自适应性。     

基于Bootstrap方法的捷联惯组历次测试数据验前分布研究

针对捷联惯性测量组合（捷联惯组）历次测试数据小样本的特点，在总体分布参数形式未知的情况下，根据已有的先验信息，提出了通过Bootstrap重采样技术，获得捷联惯组历次测试数据总体参数的验前分布。结合当前样本信息，给出捷联惯组历次测试数据的验后分布。将统计推断建立在验后分布基础之上，可以减小小样本情况下的统计分析误差。