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

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

论邓小平经济理论与现代区域经济理论的竞合

我国社会主义建设的总设计师邓小平同志虽然不是区域经济学家,但是他的许多经济思想具有相当的超前性,在很多方面与现代区域经济学理论出现竞合。我国各个区域都应该深入领会邓小平经济理论并以其为指导加快发展。     

基于空域灵活使用的区域航路航线运行管理

利用临时航线和固定航线等手段,建立了区域管制下以最小运行成本为目标的规划模型,在模型中引入了不同机型单位时间的运营成本和临时航线的运营成本来计算总运行成本,并以此为适应度函数,通过遗传算法实现对航班选择飞行航路航线优化,以降低运行成本。计算结果表明:利用模型管理机制进行优化后,经过指定区域的所有航班运行成本与航班在区域外等待成本之和比之前降低约10%。     

基于边缘特征和方向相关性的图像融合方法

不同传感器获得的多幅图像对同一场景的描述具有信息的冗余性和互补性,在小波图像融合的基础上提出了一种基于边缘和方向相关性的图像融合算法。对参加融合的两幅图像进行小波多尺度分解,对高低频子带系数分别采取不同的融合方法;根据高频分量不同的小波方向特性,采用基于方向相关系数的融合规则,而对低频分量采用能量和边缘特征相结合的融合方法;通过小波重构得到融合图像。实验结果表明,融合图像的视觉效果较好,客观评价指标均有提高。     

长株潭产业一体化布局与发展研究

本文根据“城市经济增长”理论,提出了长株潭产业一体化布局与发展的构想：“一心三环”式城郊型农业布局与发展;“二元一体”联动式工业布局与发展;“四业并举式”服务业布局与发展。     

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

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

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

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

区域经济发展的内在机制解析

在尝试定义区域经济运行机制内涵的基础上,从区域经济的主体——地方政府、企业和个人出发,着眼于对目标及动力机制、信息传递机制、决策机制、激励及约束等机制的具体解析,以探索区域经济发展新思路。     

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

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

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

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