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

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

一种高速系统级虚拟测试环境实现技术

提出一种针对航天嵌入式软件的系统级虚拟测试环境实现技术。通过该技术实现的系统级虚拟测试环境准确同步每个弹上处理器的运行时间,并模拟各处理器板之间的硬件接口,使基于多处理器的嵌入式软件测试摆脱了半实物环境的制约,提高了测试有效性,缩短了测试周期。该技术利用操作系统提供的进程间通讯机制,构造了可扩展的弹上软件系统级测试环境,并且在实现系统互连的前提下保证了虚拟环境执行的高效率。     

一种基于TMS320F2812DSP的参数装订改进设计

针对基于TMS320F2812DSP参数装订过程中出现的问题,通过分析TMS320F2812DSP的存储器映像、片内Flash存储器的特点,以PC机和TMS320F2812DSP控制系统通过422串口通讯的过程为例,提出了一种在伺服电机控制过程中实现在线参数装订的设计方法。通过实例验证,该设计实现了参数的快速装订,提高了工作效率。     

基于汉默斯里序列抽样的姿控系统随机稳定性评估

针对传统蒙特卡洛抽样方法所需样本个数较多、收敛时间较长等问题,提出一种基于汉默斯里序列抽样的随机稳定性评估方法,并将其应用于飞行器姿态控制系统的设计过程。通过构造随机幅值裕度和随机相位裕度评估姿态控制系统统计意义上的稳定程度,可有效避免传统频域设计中评估原则的保守性。仿真结果表明,相比基于蒙特卡洛抽样的评估方法,本方法可以有效减少样本个数,且其空间分布性更广、评估可信性更高。     

多处理器嵌入式软件的全数字仿真测试平台开发技术

研究了针对多处理器嵌入式软件的全数字仿真测试平台开发技术,该技术基于DDS(数据分发服务),设计实现了基于通道的系统模型,通过将被测软件分布在局域网多个节点,实现了基于多处理器嵌入式软件的全数字仿真测试平台。该平台准确同步每个核的运行时间,并模拟各处理器板之间的硬件接口,使基于多处理器的嵌入式软件测试摆脱了半实物环境的制约,提高了测试有效性,缩短了测试周期。     

一种基于MiniGUI的多任务嵌入式软件设计

分析图形界面支持系统MiniGUI的消息循环机制、介绍了MiniGUI分层设计的体系结构,设计了一种基于MiniGUI的多任务多窗口嵌入式软件。该软件采用消息队列和信号量处理机制以及多窗口共用一个消息循环的设计思想,加强了基于MiniGUI的嵌入式软件的应用性,对于嵌入式软件图形开发有很强的借鉴意义。     

用可编程逻辑实现SOC的中断扩展

针对传统的航天控制系统中断控制电路集成度低,可移植性差的特点,在SOC系统中,利用可编程逻辑设计实现了二级中断控制电路。介绍了用VHDL语言实现中断控制器的方法,及如何使用SOC实现对中断的控制,设计去除了传统IC电路的繁琐,实现了数字化、集成化设计,这种设计方法的优点是方便更改中断顺序,设计更改周期短、成本低。     

导航卫星可用性提升设计与实现

针对影响导航卫星系统可用性的中断,从降低中断频次和缩短中断处置时间方面开展了系统优化设计,提出了一套基于多参数联合的降低轨控中断频次的设计方法,优化设计了一种基于在轨轨道摄动特性的中断时间最短的漂星策略,建立了一套异常中断分级处置原则,有效缩减了中断时间,实现了导航系统可用性的大幅提升.此方法在工程实际中已成功应用验证,在轨运行结果表明:所有卫星空间信号可用性均满足系统指标要求,为北斗系统的稳定运行提供了有力的技术保障.     

基于数字多波束星载多通道VDES设计

阐述了甚高频数据交换系统(VDES)系统产生背景,针对目前普遍存在的系统通信速率受限以及自动识别系统(AIS)时隙冲突问题,提出一种全双工射频通信频段设计方法和时隙冲突解决途径。通过采用多个射频通道以及多个波束合成,利用阵列天线和数字波束合成(DBF)技术,将卫星大覆盖范围划分为多个相互独立区域,缩小单个天线波束视场覆盖范围,减少单波束范围内船舶数量,能有效降低AIS信号时隙冲突。以600 km卫星轨道为例,介绍了8通道及8个波束DBF设计方法,对波束视场和天线增益等进行了仿真计算。结果表明:多波束可覆盖±42°视场角范围,单波束视场角最大为±14°。     

基于FPGA的实时图像预处理系统的设计

针对基于DSP实现的实时视频信号处理系统中原始视频数据量大的问题,本文阐述了用FPGA解决该类问题的优势,并举例用FPGA实现图像滤波的数据预处理实例.该设计已通过硬件实现,结果表明是正确有效的.     

一种实时系统中的信号处理实现

近年来,实时信号处理系统的要求越来越高,所用系统须具有处理大量数据的能力,这就要求系统硬件要达到很高的运算速度,并且软件处理程序也尽可能优化,以保证系统的实时性.基于某重点工程项目,介绍了一种高速数据并行处理系统,并详细说明了DSP中信号处理程序的操作流程.该系统能对输入信号的频谱进行分析,实时输出连续波频谱或脉冲波的时域频域信息,并已测试成功.     

UN principles on remote sensing an agreement on economic relations

The agreement on remote sensing principles adopted by the UN General Assembly in late 1986 clarified the legal framework in the international environment. Investment decisions can now be made, and the agreement thus offers an important opportunity for commercial remote sensing. Several issues are still not settled, but there is time for governments to avoid political conflict which could affect international business relations. The creation of Intelsat and Inmarsat offers a model for international cooperation in remote sensing.     

基于蚂蚁算法的星上ATM交换结构

对于卫星ATM交换系统，星上ATM交换结构的设计是一个非常重要的部分。由于卫星通信具有带宽有限、时延受限、信道误码率高等特点，因而设计星上交换结构时必须尽可能降低交换时延，减少内部阻塞。为此，提出一种基于蚂蚁算法的星上ATM交换结构，并对此方案进行了分析和仿真。结果表明，该结构由于采用了蚂蚁算法和阻塞规避方案，有效改善了信元时延和信元丢失率等性能。     

一种高可靠的星载多核DSP加载方式及实现

为了应对遥感卫星复杂的智能处理应用需求,单核的数字信号处理器已无法满足实时性要求,而多核DSP处理性能更高,可以满足卫星应用需求。提出了一种多核DSP加载的高可靠方法,利用FPGA对存放的Nor Flash中程序进行纠错回写,应对空间单粒子翻转影响,可以保障卫星可靠运行,方法新颖、可靠。TMS320C6678是基于KeyStone结构的高性能多核浮点DSP,详细介绍了TMS320C6678的加载模式和流程,并提出基于EMIF16的Nor Flash高可靠异构加载方式,以及程序Bootloader。经测试验证,TMS320C6678能够稳定可靠运行。该方法支持在轨可重构,适应目前快速发展的星上智能处理发展趋势。     

论商标权与著作权的权利冲突及其解决

知识产权法的分散立法模式使各权利之间的的冲突和碰撞频繁发生,商标权与著作权的冲突就是其中之一。对于这两种权利的冲突尤其是无瑕疵的商标权与著作权之间的冲突在理论界尚未受到应有的重视。本文在分析冲突构成要件的基础上,对商标权与著作权的冲突类型进行了梳理,并对不同类型冲突的解决突出了基本的思路和应当遵循的原则。     

基于DSP的自适应桁架振动控制器设计

重量轻、功耗低、处理能力强的控制器对自适应桁架的空间应用具有重要意义。本文以自适应桁架空间应用为背景,进行了控制器的小型化设计。以DSP芯片TMS320VC33为核心,实现了自适应桁架振动控制器硬件,并开发了相应的控制程序。采用4阶线性二次型高斯(LQG)离散控制模型,在自适应桁架实验平台上进行了振动抑制实验。实验表明,以DSP为核心的小型化控制器能够实现对自适应桁架振动的有效抑制,达到了与dSPACE控制器相同的控制效果。     

基于DSP的总线式飞控系统

针对小型无人机控制系统对功耗、成本、可集成性等的较高要求,设计了一种基于DSP芯片TMS320F2812的总线式飞行控制系统。详细阐述了系统的设计思想及其基本硬件构成,包括采用DSP为处理单元的飞控计算机、采用低成本MEMS惯性器件的捷联式姿态航向基准系统(航姿仪)和提高通讯可靠性的双余度总线。飞行试验表明该系统满足小型无人机自主控制任务对于可靠性和精度的要求,同时也是一种轻型、低成本、高集成度的方案。     

DORIS星载实时定轨算法仿真及DSP实现

针对我国高分辨率空间对地观测专项的发展需求,文章在星载多普勒无线电定轨定位（Doppler Orbitography and Radio-positioning Intergrated by Satellite,DORIS）系统的实时定轨算法和流程验证基础上,进行了应用背景限制下的模型简化研究,用数字信号处理器（DSP）实现并验证了其星载实现的可行性和有效性。首先介绍法国星载实时定轨软件（DORIS Immediate Orbit Determination by Embarked,DIODE）及定轨原理,给出星载实时定轨算法的流程。通过网站下载的DORIS接收机搭载星数据,对星载多普勒实时定轨算法的观测量修正部分和卡尔曼滤波定轨算法进行验证。针对星载实现的计算简化要求,对算法中计算量较大的地球非球形引力摄动和章动模型进行研究,对比不同模型复杂度对定轨结果的影响,为定轨算法模型的选取提供依据。最后将移植到DSP的程序运行结果与个人计算机下的仿真结果进行了对比,验证其星载实现满足精度要求,同时运行时间满足实时性要求。对如何提高实时定轨算法的性能,文章给出了后续应用的改进方向。     

参数编程在数控车床上的应用

参数编程是西门子系统中一种先进的编程方法，与FANUC系统中的宏程序类同，它是使用参数变量来代替程序中的功能代码或地址值而编制的加工程序。这种参数，可示同因数一样进行逻辑运算，因而可以使复杂的程序大大简化。