ABDOM的参数规范化与离散化改进

为了更好利用叠加式双阻尼振荡模型(ABDOM,Accumulative Bi-Damped Oscillation Model)来描述、预测和评估真实软件缺陷发现时序过程,在提出理想软件缺陷发现时序过程范型(ISPSDD,Ideal Sequential Process of Software Defects Discovery)的基础上,对ABDOM中软件缺陷发现阻尼 a 和软件缺陷发现周期阻尼 b 的规范化进行了进一步讨论,提出了软件缺陷发现时序过程质量评价指数 Q ,给出了其典型取值和相关意义,并将其引入ABDOM,最终得到了经过参数规范化和离散化改进后的ABDOM-Q_d,并利用一个真实的工程实践项目数据对ABDOM-Q_d 进行了验证.     

飞行控制软件测试中的插桩技术

插桩技术是软件测试中常用的关键技术之一.插桩技术应用在飞行控制软件测试中所遇到的一个严重的问题是其带来的额外开销将导致原程序的实时性下降甚至软件的失效.针对该问题,提出了一种基于布尔型存储数组的新的插桩方法.与传统方法相比,该方法优化了插桩的内容,降低了插桩对程序实时性的影响.搭建了一个仿真测试平台并以某型飞行控制软件为实验对象验证了该方法的有效性.实验结果表明该方法大大减少了插桩后程序的运行时间,保证了飞控软件的实时性要求.     

基于懒替换的C符号执行

针对传统符号执行中的动态地址计算问题,提出了基于懒替换的符号执行方法.通过引入尽可能替换的策略,基于懒替换的符号执行在无法静态确定变量的地址或符号表达式过长时不做符号替换.首先给出了基于懒替换的符号执行算法,在此基础上,详细分析了C语言主要结构尤其是数组和指针的懒符号执行语义.LazySEC是一个面向C程序的懒符号执行系统原型,初步实验表明,它可以有效地处理含有指针和结构体等涉及动态地址计算的程序语言结构.     

软件可靠性验证测试最小测试量的必要条件

将统计学中样本容量的确定方法引入软件可靠性验证测试中,提出了软件可靠性验证测试最小测试量的必要条件的概念.推荐最小测试量的参考值,使其在满足第一类风险的情况下,第二类风险也不超过某一定值.分析了最小测试量的影响因素,对现有的软件可靠性验证测试方案进行了修正,给出在最小测试量指导下的软件可靠性验证测试流程,弥补了现有方法的判定结论并非在任何情况下都可信的不足.     

基于VxWorks的小天体撞击任务的星载GNC软件设计

针对小天体撞击任务,应用VxWorks嵌入式实时操作系统,设计小天体高速撞击器的星载GNC软件部分．对星载GNC系统结构进行简要描述;在此基础上,综合考虑小天体撞击任务的实时性要求、不同飞行模式的耦合关系、轨道确定的数学运算量以及对不同敏感器数据采集的周期性控制等多方面因素,对小天体撞击任务进行模块化分解,提出各个任务模块间的同步方式与通信手段;在PC-104嵌入式计算机与dSPACE实时仿真平台的联合环境下,对所设计的星载GNC软件进行仿真验证,结果表明,基于VxWorks嵌入式实时操作系统所设计的小天体撞击GNC软件完全可以满足小天体撞击任务的实时性要求,为撞击任务的顺利进行提供有效的保证．     

基于宏定义动态链接的模块化星载软件升级方法研究

提出了基于宏定义动态连接的软件模块化设计思路, 并针对某小卫星平台的体系结构, 对其星载软件进行了具体的模块化实现, 同时提出了一种在轨升级方案. 经实验验证分析, 所提出的模块化设计思路提高了星载软件在轨升级的效率和灵活性, 升级过程中对结构化模块信息上载和验证, 提高了升级方法的可靠性和安全性.      

飞行器控制软件的Statechart原型及其验证

为快速构建飞行器控制软件的系统功能与行为模型,以无人飞行器为时象研究了一种飞控软件的Statechart原型(简称SCP)及其验证技术。基于软件虚拟原型,该SCP采用形式化语言Statechart对飞控软件进行自顶而下的功能与行为建模。先通过顶层模块定义系统的入口与主流程,接着构造两个并发的子模块：主控模块描述飞行控制与设备管理的状态演变,定时控制模块完成控制输出的实时更新。之后分别从语法、功能及性能3个层面对SCP进行验证与测试,并给出相关实验。该SCP具有层次性、模块化、可视化、可执行和快速反应等特点,适用于各种复杂嵌入式系统(包括有人飞行器和高空高速无人飞行器的飞控系统)的软件规范设计。     

基于遥感卫星地面应用系统的软件复用方法研究

本文分析了面向对象技术和构件技术在软件复用方面的不足之处,提出采用Web Services技术搭建遥感卫星地面应用系统在增强软件的可复用性方面具有优越之处,并且介绍了两种Web服务的复用方法.     

基于OPTIMUS的临近空间飞行器再入轨迹优化设计

针对临近空间飞行器再入飞行受到热流率、动压和过载等多约束情况下的轨迹优化问题,提出了基于OPTIMUS优化软件平台搜索初值的编程求解方案。首先根据再入飞行动力学原理建立数学模型,并合理简化,应用最优控制理论设计滚转角控制律;然后利用OPTIMUS软件平台搭建系统工作流程,进行试验设计并建立响应面模型,通过平台集成的优化算法寻找初值;最后结合不同优化算法的优点,基于遗传算法加模式搜索法编写程序求解轨迹。结果表明,基于OPTIMUS分析所设计的轨迹优化方案,可以快速确定较为准确的初值,计算效率显著提高,且能够保证较高精度。     

基于MCGS组态软件对机械手的控制

针对工业现场中纯粹的基于PLC对机械手的控制系统的一些不足,如对现场设备运行情况的实时监控,人机交互、数据处理等方面的不足,提出通过MCGS组态软件对机械手的控制,实现对机械手运行情况进行有效、实时、便捷的监控,提高了劳动生产效率及自动化水平,在工业生产中有广泛的借鉴意义。