基于资源共享的分布式机载软件测试系统设计

随着装备软件系统的发展,越来越多的硬件功能软件化,装备软件的发展朝着高综合、高集成、一体化的趋势发展。目前航空航天装备软件中,嵌入式软件占据主导地位,相较通用计算机软件,嵌入式软件的测试具有面向特定应用,有实时操作系统支持,运行芯片和平台较为固定,并且需要特定的数字总线资源进行数据注入等特点。尤其对于复杂的,高度综合化模块架构的嵌入式软件系统软件测试,对于测试和验证系统的要求也越来越高,数据采集、数据记录、数据激励、数据监控、数据分析等各种测试和验证系统的需求也使得综合化软件测试验证系统结构越来越复杂,基于分布式架构的软件测试系统已经成为必然趋势。结合嵌入式综合化软件测试系统的功能要求以及测试系统的特点,提出了一种基于对等架构下的分布式测试系统设计,该设计不仅能够满足嵌入式软件运行平台规模的扩展,也能够在分布式架构下实现软件运行平台内部资源的共享。     

CRRES卫星内部充电的模拟计算与验证

基于Geant 4软件建立一种用于计算航天器内部充电所产生电场的方法.分析载有IDM仪器的CRRES卫星当时所处的空间电子环境,使用该方法进行内部充电模拟,并将模拟结果与IDM仪器所测得的放电脉冲数据进行对比,不仅验证了该方法的有效性,更重要的是深入认识了引起航天器内部充电的空间环境特征以及材料特性对充放电效应的影响.介质内最大电场的模拟计算结果与CRRES卫星实际观测到的放电现象吻合;在材料的各项参数中,与辐射感应电导率有关的kp系数对稳态电场有很大影响,为了定量研究内部充电效应,需要在实验室精确地测定kp系数;材料的暗电导率、密度以及材料的分子构成等也与内部充电效应有关,对这些参数细致地研究有助于对内部充电效应的认识.      

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

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

软件无线电中的高速设计技术

介绍了高速电路的定义以及在高速电路设计中存在的信号完整性、时序问题,详细分析了产生这些问题的原因.分析了高速电路设计中消除反射常用的端接方式,并给出了串行端接和并行端接的仿真结果.结合实际应用,从工程实现的角度提出合理的连线拓朴结构并给出了实测结果.最后分析了高速电路设计中时序问题,给出了源同步时钟系统中时序设计应该满足的条件.      

软件流水中的循环展开优化

在软件流水中应用循环展开可以实现分数值的启动间距,提高资源的利用率,同时基于展开的优化技术可以降低程序的资源需求和关键路径的长度.提出了基于程序特性的展开因子算法UTBPC(Unrolling Times Based Program Characteristics),解决了循环展开的核心问题——展开因子的确定,同时提出了基于展开的软件数据预取优化技术,提高了软件数据预取的效率.所有这些都在ORC(Open Research Compiler)中实现,并对SPEC 2000中的程序进行了测试,平均性能提高了2.6%.实验结果表明新提出的算法和基于展开的数据预取优化技术提高了编译器的整体性能.      

加强计算机公共实验室的管理

介绍了计算机公共实验室的工作特点,提出了管理和建设的一些方法和方向,进一步地促进计算机及应用学科的教学质量的提高。     

基于dSPACE和三菱IPM的电机控制平台保护

电机控制中常见的控制芯片有DSP、ARM、单片机等。这些都需要根据设计的算法进行手工编程,开发周期较长。半实物仿真系统dSPACE针对这类问题提出了很好的解决方案,大大缩短了开发周期。从原理上介绍了电机控制的硬件保护和软件保护,并分析了智能功率模块IPM死区保护和dSPACE死区模块具体实现时产生的冲突。提出一种协调电路解决此问题。理论分析与制作的控制板试验结果表明,此方法可同时满足死区保护和硬件保护要求,实现IPM的正常工作。     

基于神经网络算法在机场油库安全的应用

机场油库是储存航空油料的重要基地,其安全因素包含多个方面。通过对机场油库的安全分析,采用神经网络方法,建立机场油库安全评价模型,基于MATLAB软件神经网络工具箱对其进行求解,并将结果应用到油库的安全评价中。结果表明该方法与模糊综合评价方法基本一致,研究成果对油库安全监测和预测有着重要的意义和实用价值。     

考虑流体介质影响的管路模态特性分析

针对航空发动机外部管路的动力学设计需求及湿模态特性求解问题。应用铁摩辛柯梁理论和能量法推导得到流体质量、压强、流速等综合影响下的管路湿模态振动方程,并基于软件ANSYS现有管单元,通过引入自定义附加刚度和阻尼单元建立了流体压强和流速影响项的等效方法,实现了考虑流体因素影响的管路模态特性计算。结果表明:流体压强引起的横向压力差会降低管路弯曲刚度,而压强引起的轴向张力会提高弯曲刚度,压强作用效果与管支点的轴向约束程度和管材泊松比有关。流体速度对管路湿模态影响与边界条件、振型和管路轴向伸长有关,在高流速时,模态频率可能为零,即出现屈曲失稳现象。      

航天嵌入式软件静态分析技术

软件故障已成为航天系统失败的重要因素.源代码级程序错误仍是航天嵌入式软件中最突出的问题之一,数组越界、算术溢出、除以零、指针错误、数据竞争等问题仍经常发生.静态分析能够在编译时通过分析源代码来推断程序运行时性质,是提高航天嵌入式软件安全性与可靠性的一种重要技术.首先将分析航天嵌入式软件的代码特征及常见错误.在此基础上,...