基于TMS320C6713B的远程软件加载设计与实现

针对以TMS320C6713B为核心的某嵌入式系统要求通过RS422/485进行系统应用软件的加载与固化,摆脱JTAG口调试电缆的长度限制的问题,描述了一种采用RS422/485进行软件加载与BOOTLOAD的设计方法,从硬件设计、软件设计两大方面说明基于C6713B的远程软件加载系统的实现,对TMS320C6713B使用DSP/BIOS配置、EMIF总线外挂大容量SDRAM等一些新特点进行软件加载系统的设计,从而满足了嵌入式系统对远程加载软件大数据量,快速传输的要求.     

基于多种并发机制的卫星电子设备地面测试软件设计方法

在卫星电子设备测试系统中,地面测试软件不仅要访问测试系统硬件,而且需要与用户直接交互,并完成测试数据的存储和管理,并发处理能力是测试系统可靠和正确的关键,传统软件设计采用的串行策略无法适应卫星地面测试软件中的并发处理需求.为解决上述问题,提出多线程、消息机制、共享缓冲区、P-V操作4种并发机制相结合进行程序设计的方法.实际应用表明采用这种基于多种并发机制的程序设计方法能可靠实现卫星地面测试软件,有效解决了软件开发中的并行性问题.     

基于IVI驱动的真空热试验数据采集系统软件开发

目前国内大型空间环境模拟器配备了多种型号的数据采集系统,主要负责完成对多种数据信号的综合测试。文章以Keithley 3706数据采集系统为设计对象,在VB6.0的开发环境中设计了基于IVI驱动的数据采集软件,给出了IVI驱动的设计过程及软件代码。实践表明,IVI驱动的引入提高了数据采集系统的开发效率,降低了研制成本,实现了数据采集系统的硬件无关性。     

飞行员助手项目综述

当前人工智能技术于航空领域的应用存在研究分散、总体设计思想落后的问题,导致无法将各种技术融合以形成一个完整的智能辅助系统来提升飞行员的决策能力。本文首先总结了飞行员的能力限制及座舱功能存在的问题,分析了座舱智能辅助系统的设计需求,在此基础上,重点综述了飞行员助手项目的总体结构及其设计,给出了各分系统的实现方式。最后,梳理了相关内容,指出项目中尚可完善之处,为今后的研究指明方向。     

航天器控制软件可靠性工程方法研究

当前航天器控制软件的复杂度越来越高,软件的规模十分庞大,对软件可靠性安全性要求极高,因此对航天器控制软件的可靠性设计和度量具有重要意义.介绍和分析适用于航天器控制软件的可靠性设计方法,并结合某型号给出实际的软件设计以及可靠性度量的具体实例.     

保持颜色一致性的动态电磁环境绘制算法

针对电磁环境绘制的研究现状,提出了保持颜色一致性的动态电磁环境绘制算法。明确了绘制中的颜色一致性原则:同一数据值对应同一颜色,绘制图像序列中颜色变化与数据变化保持一致。在颜色一致性分析的基础上,对静态电磁环境的绘制方法进行了修改,使其能够在绘制动态电磁环境时保持颜色的一致性。必要时,颜色与数据值的对应关系可以交互调整或自动调整,以适应数据场的值域变化。实验表明,算法能够在保持颜色一致性的情况下绘制动态电磁环境,直观显示其变化情况,便于用户观察和理解。同时算法可并行执行,在统一计算设备架构下具有较高的执行效率,利于算法的使用。      

宽带高性能SMA匹配负载的研制

本文介绍一款高性能SMA匹配负载的设计、制作及测试。匹配负载制作难点在于高性能微波电阻选型、过渡段匹配设计及电阻段外导体渐进线设计。本文应用CST仿真软件对产品结构进行整体仿真,优化得到合理结构。仿真中应用TDR模块“看见”结构找到不匹配点。产品测试达到设计目标：DC～18GHz,驻波比小于1.07。测试结果验证设计方法有效性。     

闭式叶轮加工技术研究

通过对目前叶轮传统加工方法和存在的问题进行分析,利用现代五轴数控加工技术,使用UG进行CAD\CAM加工,探索出一种全新的闭式叶轮的加工方法,从而提高叶轮使用寿命和工作效率。     

基于ANSYS对遥感器铝合金镜头低温环境试验技术的研究

为了给新型遥感器用铝合金镜头提供良好的模拟试验环境,针对较低的温度以及较高的温度均匀性要求,为提高试验可靠性和工作效率,采用仿真计算与试验相结合的方式。运用ANSYS软件详细分析试验过程中的三维温度场,预测整个过程的降温趋势,以提前发现试验中可能存在的潜在问题并做出有效的改进。同时开展低温条件下的试验验证。结果表明:仿真计算值与试验结果趋势相符。通过仿真分析提前预测潜在的问题并对试验方案做出改进,有助于提高试验的可靠性和效率,也为日后的各类金属镜头的低温试验奠定了基础、积累了经验。     

组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.