嵌入式软件中断数据竞争安全性检测技术研究

嵌入式领域中由中断引发的软件故障时有发生,这些故障大多源于中断响应所带来的数据竞争,而目前缺乏针对嵌入式软件中断数据竞争的检测技术及工具。通过引入中断特征形式化描述语言和中断作用域集合概念,设计相关算法,完成对被测软件的数据竞争检测。经实验验证,该检测技术能有效帮助测试人员定位嵌入式软件中断数据竞争问题。     

运载火箭控制系统故障诊断系统

研究了运载火箭控制系统故障诊断系统的技术策略和实现途径,提出了基于仿真分析的分层次的故障模型结构和分级的故障诊断系统结构,以及适用于火箭控制系统的综合字典的逻辑结构和字典动态管理方法,专家辅助工具在一定程度上实现了对常见多故障和软故障的诊断.研究结果在实际系统中进行了验证.     

随机序列传输的误码检测

为了消除信息交换中随机信号的传输误码,设计一种接收器对输入的随机信号进行检测。当产生传输误码时,统计量的分布密度函数为,其中为未出现传输误码时,统计量的分布密度函数,P(y,p_σ,n)是以y=0为极小值的偶函数。以识别的最小错误概率为检测准则,检测的门限为方程P(y,p_σ,n)=1的根。因此,最小错误概率检测准则为:P(y,p_σ,n)≥1。     

基于图像分形的故障特征提取方法

提出了一种图像分形的故障特征提取方法。介绍了分形维数的理论计算公式,分析了计盒维数的计算方法。对现场测试的柴油机爆燃阶段振动信号波形图像和切片Wigner高阶矩谱图像进行了分形维数计算。研究结果表明柴油机缸套活塞不同磨损状态的分形维数差异明显,能够表征不同状态的特征参数。     

基于虚拟仪器的多参量数据采集系统软件设计

结合虚拟仪器多参量数据采集系统的软件设计,简述虚拟仪器技术的基本概念、LabWindows/CVI的功能与特点,重点介绍数据采集卡的驱动、虚拟仪器软件的开发方法和实现技术,并给出多路信号数据采集程序实例。利用标准信号及实验信号对所设计的系统进行测试,通过实验调试,结果显示软件工作正常。     

FY-3A极轨气象卫星

介绍了我国研制的风云三号A(FY-3A)极轨气象卫星的基本任务、轨道与发射窗口、构型与布局、主要技术参数、探测仪器配置、图像资料传输与存储,以及姿轨控和数管系统等总体概况.分析了卫星的技术特点.介绍了卫星入轨过程、平台和数传等在轨运行状况.给出了遥感仪器的工作及其部分应用结果.卫星近4个月的运行稳定,获取了大量的气象和环境数据.初步测试结果表明:FY-3A卫星大部分仪器性能与国际同类仪器比对一致,已达国际先进水平.     

专家知识在在轨管理中应用的设想

随着在轨航天器的种类和数量日趋增多,航天器工作状态的实时监测诊断成为我国航天器长期管理中的重大工程技术课题。文章提出了一种面向对象的航天器实时监测、故障诊断知识描述语言的设计思想,该描述语言具有较强的可扩展性和继承性,能够适应在轨航天器日益增多对地面管理提出的自动化、智能化的迫切要求。     

测试系统树形诊断技术

介绍了测试系统中故障树分析模型的基本原理，建立及应用情况，通过对诊断系统的故障数据库的不断完善，该模型将在固体发动机地面试验测试系统中准确，快速地确定故障位发挥重要作用。     

测控信息传输可靠性保障方法研究

随着IP（互联网协议）在测控领域的广泛应用,丢包、时延等IP网络特性对测控信息传输的可靠性提出了挑战。针对遥/外测、引导及上行控制类数据在信息传输各个环节的技术特点,本文深入研究了各类测控数据的信息传输模型及工作流程,提出了适用于不同场景的可靠性保障方法,并通过数学仿真进行了计算分析。仿真结果表明,队列中断选切策略可有效保障遥/外测及引导类信息的可靠传输,N判M模式下的上行控制类信息传输可靠性优于N选1模式。