基于状态图的航天器测试用例设计

为进一步提高航天器测试效率和测试覆盖性,提出了一种基于状态图的航天器测试用例设计方法,以状态图模型作为测试用例设计的依据,通过模型覆盖准则,由算法生成测试用例,并以自主热控功能的测试为例,对新方法进行了可行性验证,给出了原始用例和新用例的比较结果。该方法有利于准确衡量测试用例覆盖率,缩短用例设计时间,可为工程应用提供参考。     

基于资源扩展活动图的并发测试用例生成方法

对UML(统一建模语言)活动图进行共享资源的属性扩展,利用扩展的活动图对并发系统间任务的同步及数据的竞争关系建模,充分考虑并发软件运行原理、故障模式及测试效率,提出并发系统的测试覆盖原则及基于扩展活动图的并发测试用例生成方法。进一步通过举例验证该方法能够正确的生成并发测试用例同时又可防止用例数量爆炸,提高了并发软件测试的可靠性及效率。     

虚拟三维地形模型的建模技术研究

三维地形建模技术是视景仿真系统开发的关键因素。为了缩短地形建模时间和提高地形模型的真实性,提出了一种基于Terra Vista的地形建模方法。该方法将获取的数字高程模型（DEM）数据、文化特征数据及其遥感影像数据进行融合,并通过地形转换算法及矢量数据的映射生成比较真实的三维地形模型。测试结果表明,该方法快速、高效地生成了三维地形模型,并为三维地形建模的进一步研究提供了参考和依据。     

SAR仿真技术

从SAR的回波模拟原理和实际需求出发,提出适合实际应用的基于真实SAR图像数据和方位时域回波生成方法的SAR回波数据模拟技术和半实物仿真方法。该方法能够获得真实可靠的回波数据,并实现对SAR和匹配处理系统的半实物仿真,对实现SAR系统的优化设计和快速测试具有重要意义。     

潜基导弹发射阵地优选辅助决策系统设计

在系统功能分析的基础上,运用UML建模技术从需求分析、系统结构以及系统交互过程3个方面对潜基导弹发射阵地优选辅助决策进行了建模设计。构建了系统需求描述的UML模型,通过分解用例模型,分析系统的类结构体系及关联关系建立了系统结构模型,运用顺序图构建了系统行为描述模型。该方法有效提高了系统设计效率,设计出的系统在实用性基础上,还具有复用性及拓展性。     

航天器软件参数修改的测试策略研究

梳理了现有的回归测试策略,并结合航天器软件参数修改错误的2个实例分析,提出了一种新的回归测试策略。该策略借鉴回归测试用例集约简算法中的需求驱动方法,提出了基于构建程序-需求覆盖矩阵和测试用例-需求覆盖矩阵进行回归测试的方法,并给出了按照该策略实施软件参数修改测试的流程。最后,提出了将该测试策略工具化的设想,如研发代码变更影响域自动分析工具,或者使用已有的商用工具。     

基于多信号模型航天器多故障诊断技术研究

最优多故障诊断问题是一个NP-COMPLETE问题。本文针对卫星电源这类复杂航天器系统，建立了多信号模型，该模型采用有向图描述元件与测试间的因果依赖关系。考虑系统元件发生故障的先验概率以及可用的测试工具，给出了一种基于拉格朗日松弛和子梯度优化算法的近最优多故障诊断算法。该建模方法与诊断方法在某卫星电源系统测试中得到了验证，结果表明该方法建模简单，诊断速度快，适用于航天器这种复杂系统的多故障诊断。     

电子战系统仿真评估的基本方法

对电子战(EW)系统在完成作战任务中的作用和使用效果进行定量描述和测试、评估,在EW系统的论证、研制、采办、应用过程中具有十分重要的地位。对于EW系统这样的大型动态复杂系统,计算机建模和仿真的方法是全面分析和评估其动态行为效能的重要手段。综述了计算机仿真在EW系统评估中的应用,把EW系统的仿真评估分为三个层次:工程级、系统级和任务级。并从EW的特点出发,提出了EW系统仿真模型中的三个重要的类型:基于离散事件的事件模型,基于数据描述的数据模型,基于信号描述的信号模型。提出根据这三个模型的标准规范建立系统数学模型和设计EW系统仿真模型构件的概念,用于构筑大型复杂的EW系统评估的仿真环境,并利用计算机技术,走发展和利用综合仿真的道路。     

基于PDW的雷达信号环境建模与仿真研究

在雷达电磁环境仿真系统中,需要模拟生成描述雷达信号环境的脉冲描述字(PDW)数据,以引导系统生成干扰信号环境数据。采用PDW对雷达信号环境进行描述,结合雷达信号环境的PDW数学模型,给出了基于PDW的模型框架,并设计了雷达电磁环境仿真流程。最后归纳了生成PDW数据的处理方法,给出了载频、重频和脉宽的模拟生成示例。     

基于马尔可夫模型的液体火箭发动机状态监控方法研究

本文介绍了动态系统马尔可夫模型描述方法，在动态系统马尔可夫建模理论基础上提出了基于马尔可夫模型的液体火箭发动机状态监控方法，最后，根据某型发动机的实际数据给出了仿真结果。