航天器控制软件可靠性工程方法研究

当前航天器控制软件的复杂度越来越高,软件的规模十分庞大,对软件可靠性安全性要求极高,因此对航天器控制软件的可靠性设计和度量具有重要意义.介绍和分析适用于航天器控制软件的可靠性设计方法,并结合某型号给出实际的软件设计以及可靠性度量的具体实例.     

基于数据挖掘的飞行器气动布局设计知识提取

为了更深入地理解飞行器气动布局设计优化中多目标/多设计变量间的影响关系,提高优化模型的科学性及优化效率,对基于数据挖掘技术的飞行器气动布局隐含设计知识提取问题开展了探索研究。以高升阻比滑翔飞行器布局设计优化问题为例,基于当前比较有代表性的方差分析、等度量映射、决策树、自组织映射4类机器学习算法对气动布局优化设计中产生的中间数据进行了挖掘分析。对不同方法得到的升阻比、横/侧向稳定性及容积率4种目标性能间的权衡关系,目标性能与设计变量间的敏感性关系及产生较优布局外形的设计变量取值规则进行了综合对比分析,凝练形成了适用于该类飞行器的设计知识,同时对4种方法的特点及适用性进行了总结分析,给出了相关结论。     

一种低轨遥感卫星按需数据传输机制

针对现有低轨（LEO）遥感卫星数据下行机制普遍存在的低效率、高时延、传输路径易损等问题,提出了一种新型的遥感数据传输机制。所提机制中,支持地面站按需实时定位遥感影像资源,并建立定位卫星到达地面站的传输路径;在建立传输路径时,考虑到协作卫星与地面的可视时间有限,提出了以路径持续服务时间最大化为度量的路由算法,降低因协作卫星改变而引入的传输时延。基于NS3仿真平台实现了所设计的数据传输机制,实验表明,提出机制相比现有数据传输机制可降低数据传输时延,减少数据丢失。      

基于LDRA TESTBED的汇编语言软件测试方法研究

在航天型号软件的开发过程中 ,充分的测试是软件质量和可靠性的必要保证。本文以软件代码分析工具─LDBATESTBED为背景 ,详细阐述了汇编程序的单元测试方法 ,并研究了测试结果的分析方法及在软件质量度量方面的应用     

区间灰系列的熵度量及其应用(英文)

研究了灰信息理论的不确定性度量方法及其在决策中的应用,说明了建立在有限区间灰数序列基础上的灰序列熵与Shannon概率熵是不同的。讨论了灰数的度量公式和性质,包括不变性、应用条件、两个灰数并与交的灰熵等。最后给出一个应用实例验证了该方法的有效性。     

XP项目迭代工作量及相关度量

在使用极限编程(XP,Extreme Programming)方法的软件开发项目中,我们可以使用用户story点来度量项目的规模,这些体现了用户需求的story是以一定的效率被逐次迭代完成的,迭代结束时形成一个完整的软件产品。本文提供一种基于用户story的迭代开发阶段工作量(IE)及任务效率(TE)等指标的计算方法。用一组数据对该方法进行了模拟验证。     

动力系统的Lyapunov稳定性和吸收性

对度量空间中动力系统的Ｌｙａｐｕｎｏｖ稳定性与吸引性之间的关系进行了研究，证明了连通局部紧空间中吸引子和全局吸收子是等价的。     

软件质量度量方法学及其应用

讲述了软件质量度量方法学模型，并讨论了软件质量需求，软件质量度量的成本与效益，度量元和度量数据的定义以及度量结果解释等诸问题。     

图像匹配中的相似性度量比较与分析

图像匹配作为一种重要的图像处理技术是图像信息融合、目标定位、变化检测、图像重建等后续工作的重要基础.选择合适的相似性度量对于图像匹配的结果至关重要.分析和讨论了图像匹配中常用的相似性度量;针对典型的基于灰度统计的图像匹配方法SSDA,实验比较了采用不同相似性度量对匹配结果的不同影响;对实验结果进行了分析和讨论,并得出了结论.     

遥感图像的快速配准方法

针对多传感器遥感图像的配准,提出了一种快速有效的图像配准方法.该基于分级候选点集匹配的配准算法充分利用了分级匹配和候选点集匹配方法的优点,减少了特征提取空间和搜索空间.并在同名控制点对的确定中引入距离计算,能更有效地确定同名控制点对,减少了误匹配率,增加的距离计算时间代价很小,而且不随图像大小发生变换,只与最终匹配点对数目有关.采用主观与客观判断相结合的方法进行配准评价,实验结果表明,该算法在图像存在一定背景噪声,同时具有平移、旋转的情况下,可以准确地进行配准,提高了配准速度和精度.