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

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

IEL&HIRF传递函数分析预测与系统定义

讨论闪电间接效应和高强度辐射场的飞机传递函数的同步测量与分析计算,论述飞机系统设备对闪电间接效应或高强度辐射场响应的分析预测方法,说明系统定义中电磁兼容及设备电磁防护的设计方法。     

低地轨道小卫星星座优化问题研究

以低地轨道小卫星星座为研究对象，着重从星座覆盖性能考虑出发，详细阐述了局部覆盖小卫星星座优化设计的一般方法与思路。针对某一类型任务对两轨道面和三轨道面星座进行了优化设计，阐述了在一定约束条件下星座优化设计的关键因素以及不同轨道面数目下星座优化的特点，并进行了仿真分析。结果表明提供的优化模型对小卫星星座设计具有理论意义和实用价值。     

飞机级闪电间接效应防护试验方法介绍

概述了闪电间接效应定义,飞机级闪电间接效应(IEL)防护试验的必要性,分析了IEL耦合机理,并对飞机级IEL防护试验方法进行了初步介绍。     

评分偏差对于推荐质量的影响

从理论上分析了评分偏差对于推荐质量的影响;基于潜在偏好及已知评分对评分偏差进行度量,其中潜在偏好通过心理测量学模型计算得出;通过设定不同的评分偏差水平,对评分偏差的影响进行了实验验证.理论分析及实验验证表明:评分偏差可导致推荐准确度及覆盖度下降;基于高质量的评分数据,协同过滤算法可为用户作出好的推荐.     

基于LDRA Testbed的飞机中央维护系统覆盖测试

基于测试工具LDRA Testbed实现了飞机中央维护系统的覆盖测试工作。以飞机中央维护系统的主界面源程序为例,通过测试过程说明了工具在飞机中央维护系统测试中的成功应用,并达到了一定的语句覆盖分析和分支覆盖测试率。给出了软件的测试流程和测试结果。测试结果表明,使用LDRA Testbed工具,可以大大提高飞机中央维护系统的软件测试效率,同时也能够满足航空业界的软件标准DO-178B,并获得了规定的语句覆盖和分支覆盖测试率。     

无人机覆盖路径规划中转弯机动的运动学分析

针对无人机覆盖路径规划过程与机器人的不同,对无人机转弯机动的运动学特性进行了分析。建立了无人机转弯机动的数学模型;证明了转弯过程比直线平飞需要耗费更多的燃油;推导出了转弯过程中,给定巡航速度下最省油的法向过载计算公式;分析了转弯过程中探测区域移动路线与无人机移动路线之间的关系,并分三种情况给出了转弯过程中转弯路程和转弯时间的计算公式。     

视函数法分析卫星覆盖研究

通过所建立的视函数法,得到了星座中每一颗卫星对地面的覆盖区和间隙区出现的时刻,各覆盖区和间隙区的长度、最大间隙出现的时刻等覆盖的详细信息;讨论了星座的覆盖性能指标,并建立了各项覆盖性能指标的计算方法。最后,对ＧＰＳ星座的覆盖性能进行了数值仿真,给出了ＧＰＳ星座的视函数图,并得到了ＧＰＳ星座在不同纬度的覆盖性能。     

间接Legendre伪谱法的欠驱动航天器姿态运动轨迹跟踪

针对仅带有两组喷气推力器的非轴对称欠驱动刚性航天器,提出一种基于间接Legendre伪谱法的姿态运动轨迹跟踪控制算法。首先采用Legendre伪谱法(LPM)离线规划出系统的最短时间姿态机动参考轨迹。接着将实际运行轨迹与参考轨迹之间的偏差作为变量,根据Pontryagin极小值原理必要条件把系统姿态运动跟踪问题转化为一个两点边值问题(TPBVP)。最后采用 Legendre-Gauss-Lobatto(LGL)点将此两点边值问题离散转化为一个线性方程组来求解,避免了对传统Riccati微分方程的积分运算。数值仿真校验了本文基于间接Legendre伪谱法的姿态运动轨迹跟踪控制算法的有效性。     

采用多重交点判别的传感器网络覆盖控制协议

在保证一定的覆盖质量前提下,延长传感器网络生存时间,提出一种以充分必要条件判断网络节点冗余性的分布式覆盖控制协议.该协议通过多重交点判别法则(MIER,Multi-Intersection Estimation Rule)对无线传感器网络进行分布式节点的动态休眠控制,从理论上证明了MIER法则是判断网络节点冗余性的充分必要条件,能保证目标区域不出现覆盖盲点同时使活跃节点数降至最低.实验表明,MIER法则比CCP法则有了很大改进,消除由于法则本身引起的盲点数目,能更好的运用于覆盖控制协议中,更为准确的判断节点是否应该工作或休眠,是判别节点是否冗余的充分必要条件;同时比Ottawa法则更加高效的减少整个网络功耗,延长网络寿命.