设计模式探析及其在测控软件中的应用

针对测控领域中复用程度低和开发周期长的问题,提出在该领域软件进一步推广和使用设计模式的思路。分析当前测控软件在实际开发过程中遇到的突出症结,并结合具体工程实践描述在测控软件领域引入设计模式的作用和影响,以单态模式为例分析引入设计模式对软件体系架构造成的深刻改变和潜在风险,给出测控软件领域中运用设计模式的建议。通过分析不同应用场景表明,灵活运用设计模式能够解决航天测控软件中常见的突出问题。     

基于扩展Petri网的除冰软件安全需求建模和验证

Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.     

一种试验数据处理软件设计

介绍了液体火箭发动机试验数据处理软件的开发过程和方法。软件是在综合数据采集系统硬件的基础上,以VB语言为基础结合试验中各类型参数处理算法和关系数据库技术而开发的,具有操作简便、功能齐全、效率高等特点。软件已成功应用于多次地面试验,取得良好效果。     

基于UG的工装一键设计

主要介绍了应用UG三维软件进行工装一键设计的思想,并结合工作实际详细地阐述了某一类结构相似、尺寸不同的被加工零件的工装从模型到图纸一键设计的整个过程以及这种设计理念为工装设计带来的高效、便捷的效果。     

基于MATLAB仪器控制工具箱的仪器驱动开发研究

首先描述了MATLAB和仪器之间的信息传递方式;然后以Ag34410A为例,分析了仪器驱动的开发过程,并用驱动程序测试工具对生成的驱动程序进行了验证;最后使用测试测量工具实现了对仪器的控制。     

国外航天软件故障原因分析

介绍了包括阿里安-5火箭、＂火星气候轨道器＂、＂火星极地着陆器＂在内的几个国外航天器和运载器发生的在轨故障,并从技术和管理方面分析了这些故障中与软件相关的原因。针对技术方面,分析了国外航天软件研制过程中在软件需求分析、软件复杂度、软件重用、软件安全性设计准则、质量保证及评审、系统安全性设计、测试及仿真环境缺陷等方面存在的问题;针对管理方面,分析了责任和权力划分、沟通渠道等方面存在的问题。文章最后给出了美国国家航空航天局专家针对这些问题提出的改进建议,提出了针对我国航天软件研制过程的启示和建议,如加强团队之间的沟通,提高评审效率。     

基于隐马尔可夫模型的语音识别技术在载人航天器上的应用

利用嵌入式平台构建了基于隐马尔可夫模型（Hidden Markov Model,HMM）技术的载人航天器语音识别系统,并针对载人航天器特殊的噪声背景和声学训练,对传统语音端点检测算法进行了改进。通过试验在嵌入式运行环境下实现了指令发送、文字输入等功能,证实该系统适应航天员的口音和发音习惯,可对连贯自然发音方式的命令进行识别,能够满足航天员及任务使用需求。     

基于软件无线电技术的4G数字接收系统设计

研究了基于软件无线电技术的体系结构,设计了一种基于软件无线电技术的4G数字接收系统,并对该系统各主要部分电路设计进行了详细阐述。该设计系统具有双通道,采样速率可达到65MHz,分辨率12bit。由于该设计采用了FPGA作为信号处理器,其设计灵活及可编程等特点使得该设计具有较强的通用性,适合4G通信中应用。     

基于Simscape模型的航空发动机系统安全性分析方法

针对航空发动机系统安全性分析中的耦合情况,研究基于Simscape模型的航空发动机耦合故障建模和安全性分析问题。在基于模型的安全性分析(MBSA)故障拓展一般特点的基础上,分析了Simscape环境下进行故障外部拓展和建模语言内部故障拓展两种方式,以建立耦合故障模型。以全权限数字式发动机控制(FADEC)主燃油控制子系统为研究示例,进行独立和耦合故障形式化系统安全性分析。结果表明:航空发动机系统安全分析Simscape模型基于系统设计环境,可直接成为系统设计和安全性分析共同的工具,便于保证设计和安全性分析的一致性;该模型拓展方法和建模语言,从故障数学原理出发,对实际系统不同物理域的组件独立和耦合故障特性具有灵活和定量描述能力;由此拓展的故障模型下的安全性分析具有形式化、直观性和客观性的优势。      

基于DSP28335的质子旋进式磁力仪控制系统设计与实现

质子旋进式磁力仪是依据质子的旋进频率来测量地磁场的仪器。文章在分析了国内外质子磁力仪发展现状的基础上,提出了以DSP28335为核心的新型质子旋进式磁力仪控制系统的设计方案,着重介绍了数字控制板的设计和测频关键技术。与以单片机、PIC为控制芯片的传统磁力仪不同,新设计旨在解决现有系统成本高、功能有限和硬件电路复杂等问题,并完成了原理样机的研制。最后在实验室内对关键的测频技术进行了针对性测试,测量精度达到国内先进水平。