军用嵌入式可信软件研究

随着军用计算机技术的不断发展,软件在军用设备中的地位越来越重要。软件规模日益增大,安全性、可靠性等问题日益凸显。充分研究可信软件的特性,对提高我国军用装备技术水平意义重大。在总结学术界对可信软件定义的基础上,结合实际的军事嵌入式应用阐述了软件可信性特点。分析了国内外军用领域软件可信性的发展现状,总结了软件可信性的评估方法。     

航天器密封舱微重力对流传热与传质地面试验模拟方法理论分析

针对航天器密封舱内气体对流传热传质地面模拟试验问题，依据传热传质相似试验理论方法，进行了初步的理论分析，包括热缩比模型法和降压法，给出了它们相似试验的相似律及它们应用的约束条件，并从理论上定性分析了不同试验方法的优缺点。分析表明，在重力条件下，热缩比模型法在保持Reynolds数不变的前提下可明显抑制传热传质过程的温差和密度差对流动与传热传质的影响，而且抑制效果与缩比比例的三次方成正比；而降压法在保持Reynolds数不变的前提下同样可明显抑制自然对流的影响和密度差对流动与传热传质的影响，但对自然对流和传质过程的密度流的抑制效果有所不同。     

基于软件工程思想方法的CAI课件开发

介绍了软件工程思想方法，运用软件工程思想方法基于瀑布模型分析了CAI课件开发过程，实践创作开发了基于Web的多媒体《概率论与数理统计》CAI课件。     

软件技术专业“订单式”人才培养模式的探索和实践

本文从“订单式”人才培养模式的客观需求入手，依据课题的研究和实践经验，综述了软件技术专业“订单式”人才培养的开展过程，分析了“订单式”人才培养模式的关键问题并提出了解决方案。     

一种同轴腔温漂问题的仿真

文章在三维仿真软件HFSS和CST中建立谐振腔模型，给出建模的原理和注意点；详细研究了腔体各尺寸随温度变化对腔体本征频率的影响的正负性及影响大小，得出引起腔体频率变化的主要结构因素；重点分析了调谐螺钉纵向扰动及径向扰动对谐振频率的影响。结合LC谐振电路对结果进行分析，得出减小温漂的措施。并根据仿真结果，对腔体的各个部分合理使用不同材料，使腔体温漂得到补偿。     

基于Eclipse的航天嵌入式软件集成 开发环境设计与实现

针对当前航天器软件研制过程中需要使用多种开发工具的问题,设计实现了集工程管理、代码编辑、语法检查、编译链接和调试测试于一体的航天嵌入式软件集成开发环境.研究成果已应用于航天器嵌入式软件的研发,缩短了软件研发周期并提高了软件质量,同时也为软件集成开发环境的研发提供借鉴.     

基于基元关系模型的C++程序静态分析器

分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(ERM),介绍了从基于MFC(Microsoft Foundation Class)的Visual C+ +6.0源程序中构造ERM模型的算法,据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明,该分析器可以高效正确地提取出模型中描述的各种关系,有助于面向对象软件测试和度量方面的进一步研究.      

二维非对称喷管数值模拟与验证

采用Fluent软件针对二维非对称喷管进行数值模拟,考察了其中几种常用湍流模型及网格密度对模拟精度的影响,并将计算结果与NASA公布的实验数据进行比较,找出了精度较高、求解快捷的模拟方案,结果表明FLUENT软件可以应用于带高超声速外流的非对称超声速喷管内外流场的数值计算。      

基于任务的软件配置管理模型的研究

介绍了传统配置管理模型的特点,针对其管理分散、难于在数据以及数据版本间建立关联等问题,对基于任务的软件配置管理模型进行了深入研究.模型在传统的配置管理模型中增加任务层,以功能要求为目标驱动,创建任务结点,通过任务的完成建立起上层目标与所有相关的配置项及配置项版本的关联,从而实现了目标与基本管理单元的自动追踪.     

可编程逻辑器件的设计与开发

概括介绍可编程逻辑器件CPLD的主要特点、EDA软件平台和VHDL开发语言。介绍在EDA软件平台的支持下,采用VHDL语言开发以可编程逻辑器件CPLD为核心的现代数字系统设计方法和开发设计流程。