星模拟器驱动软件的研究

星模拟器是星敏感器的标定设备之一,主要用于星敏感器的地面调试.星模拟器的驱动软件是该系统的重要组成部分.本文概要地介绍了星敏感器系统的组成并针对对星模拟器软件设计中任务星库的选取、任务星库的分区、星点位置的确定、星等的模拟问题进行了讨论.     

软件GNSS信号模拟器架构与中频信号生成

软件GNSS(Global Navigation Satellite Systems)信号模拟器对于GNSS接收机的高效研发将做出重要贡献,因其结构灵活、开放性以及低成本.以GPS/Galileo组合系统为例,讨论了软件GNSS中频信号模拟器的架构,主要功能模块包括卫星星座仿真、接收机轨迹生成、传播通道特性仿真(包括电离层模型、对流层模型、多径模型等)、数字中频信号生成.在此基础上,着重阐述了数字中频信号生成模块的实现,功率谱图及分析结果验证了所生成的信号,包括GPS L1 C/A,Galileo E1 CBOC(Composite Binary Offset Carrier),Galileo E5a和E5b信号.     

计算机生成兵力建模仿真支撑框架

计算机生成兵力CGF(Computer Generate Force)建模仿真支撑框架为仿真的快速开发提供支持.根据建模仿真领域的相关研究,提出组装是实现这一目标的有效途径.可组装性是对可重用能力的更高要求,需要必要的框架、知识主体、工具、技术和标准,以有效地实现仿真资源的集成、互操作以及重用.为了实现组装过程的自动化,支撑框架通过对典型CGF仿真开发过程进行分析,提出了相关关键技术,并给出了支撑框架的层次结构视图,为原型系统的构建提供了依据.支撑框架通过对模型规范的研究,实现了仿真概念模型的模板,使框架工具能以一致的方式对仿真模型进行表示和操作.      

嫦娥一号卫星飞行控制模拟器的设计与研制

飞行控制模拟器,简称飞控模拟器,是飞控中心用来验证飞行程序和地面测控方案,训练操作人员的模拟仿真系统,为系统演练构造一个尽量逼真的任务环境.介绍了嫦娥一号飞控模拟器的功能、结构和使用模式.提出了带轨道根数跳时的新方法,使模拟器具备加速跳时至任意轨道段的能力,提高了任务演练的灵活性.建立了高精度轨道动力学模型,并首次在模拟器中直接嵌入了部分星载软件,大大提高了模拟器的保真度.同时专门设计了图形化的集中监控软件,方便了用户的操作和管理.该模拟器在嫦娥一号卫星任务准备中得到了充分的应用,为嫦娥一号卫星任务的圆满完成奠定了坚实的基础.根据该模拟器的开发经验,对未来模拟器的研制提出了几点建议.     

一种基于非面向对象语言的星载软件构件技术

为了进一步提高星载软件复用程度和解决航天器软件开发效率低下的问题,对星载软件特性和软件构件技术进行了分析和研究;对星载软件构件进行了定义,提出了一种基于非面向对象语言的、适用于星载软件开发和应用环境的星载软件构件模型。基于该模型开发的星载软件构件,具备独立性、完整性、可组装性和功能性。除此之外,对基于这种模型的星载软件构件设计、开发和使用方法进行了介绍,可以为采用非面向对象语言进行星载软件构件开发提供参考。在多个型号中对该技术展开实践,实践结果表明：提出的星载软件构件设计方法能够将星载软件开发效率提高2～5倍。     

飞机微波着陆模拟器自动计量系统研制CSCD

本文首先简述了MLS模拟器及其计量性能要求,然后对研制的MLS模拟器自动计量系统进行了详细介绍,包括硬件分系统组成及其关键技术,软件分系统架构及其核心流程;最后将自动计量系统应用于多台MLS模拟器的校准/检定。应用表明,MLS模拟器自动计量系统能够解决MLS模拟器计量保障中存在的问题,确保MLS机载设备各项参数准确一致,进而保证了飞行安全。     

SBD技术及其在自动飞行系统设计中的应用

ＳＢＤ技术是将仿真技术应用于产品研制阶段,在未真正制造出原型系统的情况下,用虚拟原型样机（ＶＰ）展示产品的动、静态性能,从而缩短产品研制的周期,减少研制的费用,提高产品的质量。ＳＢＤ在于提供一个开放、分布和并发的环境。对ＳＢＤ技术的主要功能框架结构进行了论述,并给出ＳＢＤ技术在自动飞行系统设计、开发中应用的一个例子。     

地面站设备监控软件框架通用性研究

针对目前卫星地面应用系统中设备监控软件可重用性差的缺点,提出一种可扩展的通用设备监控软件框架设计方案.结合模块化和抽象接口设计思想,简化了组件开发,提高了软件的复用性.通过控制反转技术,降低了组件之间的耦合,使框架更加易于扩展,在实际应用中取得了良好的效果.     

考虑作动器速率饱和的人机闭环系统稳定域

针对作动器速率饱和引起的Ⅱ型驾驶员诱发振荡(PIO,Pilot Induced Oscillations)严重威胁先进战机飞行安全的问题,研究了计及作动器速率饱和的人机闭环系统稳定域.建立了考虑作动器速率饱和的人机闭环系统非线性模型,引入增广状态变量以及饱和度函数处理速率饱和环节,应用椭球体不变集估计人机闭环系统的稳定域,得到了稳定域估计的一般算法.通过时域仿真研究了所估计的稳定域的保守性,研究了驾驶员操纵增益以及作动器速率饱和值对稳定域的影响.结果表明:稳定域法物理意义清晰、结果直观,可用于人机闭环系统稳定性的评估.研究结果可为先进战机飞行控制系统的设计提供理论依据.     

需求模式

为了解决软件开发过程中需求重用的问题,对统一建模语言中的活动图进行了扩展,用以作为软件需求捕获和描述的工具,并以此为基础通过借鉴其它模式语言的通用描述方式,提出了基于过程模型的需求模式描述语言,其描述框架包括模式名称、所属领域集合、适用语境、所要解决问题、条件约束、解决方案、模式实施、应用实例以及相关模式等方面,详细定义了语境、解决方案和相关模式的描述方式,并在此基础上给出了需求模式开发和应用的指导性原则.提出的需求模式技术,使软件最高抽象描述层次的重用成为可能,其应用必将大大提高软件开发的效率.      

基于全数字仿真的嵌入式软件测试技术

为了对实时嵌入式软件进行更好的测试,提出了一种基于全数字仿真的整体仿真技术.该项技术解决了现有软件测试环境中的两大功能性问题:通过将仿真时钟作为基准时间解决了断点影响实时信号处理的问题;通过提出的“动态桩”方法解决了单元测试时缺乏必要支持函数的问题.利用无损压缩原理对整个仿真测试平台进行优化,改变了仿真平台的低效问题,使这一技术走向实用化.整体仿真技术支持从单元测试到集成测试的整个软件测试过程,增强了在单元测试期间发现异常实时信号处理等方面软件问题的能力,显著提升集成测试的效率,并且实现了测试脚本的复用.该平台已经在某型号系列飞控软件的测试中得到应用.      

一个模糊软件可靠性模型的进一步确认

事实已经表明,概率方法在软件可靠性建模中遇到困难。本文介绍一个有效性业已初步确认的模糊软件可靠性模型。通过分析一个实际飞控软件的可靠性行为,进一步确认该模型的有效性。     

NLFDS一体化仿真软件包及在FS中之应用

给出了一个工程型的非线性飞行动力学系统一体化实时仿真软件包。探讨了仿真建模时性的实现，介绍了一体化仿真功能，分析了实例的仿真应用，所得结果与理论解一致，表明软件包设计合理，可行实用，是一个多层次多任务高效率综合研究和检验ＮＬＦＤＳ特性的仿真工具，应用研究结果对飞机重装空投特性之预研有参考价值。     

软件自动生成工具中应用的两个智能方法

软件功能描述和源程序代码产生是软件自动生成工具中的两个关键环节。因此,本文给出两个智能方法用于解决其中的问题。描述算子附加知识包的方法提供了一个软件功能描述环境模型,并可以根据一般性知识或标准及用户使用常识优化软件功能描述;层次性辩识网的方法用于解决源程序代码产生中的微、宏决策问题,使软件自动生成过程有更大的灵活性。 本文所介绍的两个方法已应用在菜单式用户界面生成器中。     

三轴虚拟转台的智能仿真模型库研究

针对三轴虚拟转台系统中的智能模型库单元,采用遗传算法、参数化设计和虚拟现实等技术,实现转台仿真模型库的智能设计和快速性.通过Pro/Toolkit软件接口和参数化方法建立起转台仿真模型库软件系统,采用遗传算法实现模型库的智能优化设计,同时实现模型库的自动装配和实时仿真,并最终形成通用的转台智能仿真模型库软件平台.实际仿真结果表明,智能模型库的实现除了具有智能参数化模型库设计功能外,还具有优秀的开放接口,如果进一步完善接口的通用性,将减少智能仿真模型库应用的局限性,应用更加广泛.     

面向领域的模型驱动智能表单系统的框架设计

表单是信息系统中信息传递的载体.为提高信息系统的开发效率,实现对已有系统的复用,并能够方便地提供原型系统,使业务管理人员更好地介入系统的开发,分析和研究了传统的表单开发方式和目前市场上的智能表单系统,以软件复用的软件工程和模型驱动架构(MDA, Model Driven Architecture)思想为指导,以领域建模为基础,借鉴已有的智能表单系统,提出了一种面向电子政务领域的以业务对象库为基础的模型驱动智能表单系统的开发方法,设计了采用XML语言进行描述的表单模型定义和采用Web服务与MBean技术的表单模型处理引擎的松耦合系统总体结构,并对该设计进行了详细的介绍.      

企业信息系统领域的软件建筑模型

将软件建筑的基本概念以及研究成果引入到企业信息系统建设中,提出了企业信息系统领域的软件建筑模型.首先对软件工程方法学的发展做了简要评述,指出了软件建筑在软件过程中的重要性.随后提出了企业信息系统领域的基于软件建筑模型,包括软件建筑模型、参考需求、参考建筑等.描述了基于该模型的软件开发过程,讨论了若干相关研究工作.     

基于模型架构的航天器控制软件研制方式研究

开展基于模型设计研究,旨在解决当前航天器控制软件研制所面临的需求描述准确性、设计验证充分性以及软件产品可靠性等问题.针对基于模型设计过程中的代码胶合接口复杂且操作繁琐问题,提出一种基于模型架构的航天器控制软件研制方式,搭建软件模型驱动框架,通过模型封装方式将既有代码资产或新编写代码嵌入到软件模型驱动框架,简化代码胶合过...     

VLIW上的软件旁路与细粒度并行调度

描述并分析了一种新型的VLIW(Very Long Instruction Word)机器模型,为充分利用该模型的并行特性,提出了基于静态单一赋值(SSA)表示的软件旁路方法,以及集成的基于操作的指令调度与寄存器分配算法.与常规的软件旁路方法和基于周期的调度方法相比,该方法可以灵活地进行结果寄存器的分配,并有效减少由重用结果寄存器导致的"危险值"溢出次数,生成高质量的目标代码.