称重仪表电磁兼容性能的改进

针对称重仪表中出现的电磁兼容性问题进行讨论，并采取了相应的措施，对其进行了改进。     

一种基于嵌入式图像处理的工程车辆导向装置

分析了架桥施工中运梁车工作的特点,针对其在车辆导向方面所存在的主要问题,并结合现场需求,设计了一种基于单片机实现的嵌入式图像处理的新型车辆辅助导向装置,完成了相关硬件平台的设计,给出了在单片机系统中实现视频采集、图像处理、车辆跑偏判断和报警输出等关键技术细节的具体方法.实验结果表明,该辅助导向装置满足了运梁车在轨道梁上的行驶要求.该装置已应用于现场实际,其设计和实现方法对于其他大型工程车辆导向装置的研发具有较高的参考价值.      

鸟撞高速摄影试验与过程研究

研究鸟撞问题时,一个很关键的问题是鸟撞载荷力学模型的建立.对飞机风挡进行全尺寸鸟撞试验,通过对鸟弹撞击风挡玻璃过程高速摄影、动态应变测量等试验结果的分析,提出了斜撞击过程的鸟撞载荷可以简化为三角形脉冲的简化分析模型,利用该简化载荷模型对风挡玻璃鸟撞进行的有限元分析,结果和试验结果很好地相符.      

分区间通信在航空电子系统中的设计与实现

新一代航空电子系统是一种高度综合化、模块化的系统,为了确保系统工作的安全、可靠,必须有高安全性的实时操作系统支持。在高安全性的实时操作系统中提出了分区(Partition)的概念,原有的“子系统”概念已由硬件实体演变为软的“子系统”。分区是运行于一个处理机模块上的多个应用程序(或子系统),这些应用程序在时间和空间上彼此隔离,互不影响,当一个分区内的应用发生错误时,在时间和空间上都不会影响到别的分区的执行。为了适应分区间隔离的需要,应用程序之间的通信由传统的进程间通信方式变为分区间的通信方式,本文着重介绍了自主版权操作系统(ACoreOS653)中满足ARINC653要求的分区间通信的设计与实现方法。     

嵌入式软件自动化测试平台的研究与实现

随着嵌入式系统的广泛应用,对其软件进行完善而又高效的测试成为必须.本文提出了一种联系宿主机和目标机的自动化测试平台.该平台分为宿主机端的测试管理和目标机端的测试代理,实现了代码自动插装、脚本自动化批量执行、功能测试、分支覆盖、数据通信和测试结果报告生成等功能.     

ESA再入探测器的某些空气热动力问题

给出了两种不同的再入飞行器:充气的再入和下滑演示器(IRDT)和Huygens.两者的任务都涉及在靠近轨道的条件下再入并均已于2005年完成.概述了IRDT的使命和具体设计问题,综述了IRDT最近飞行的初步结果和ESTEC估计Huygens受到的辐射通量采用的方法.     

uClinux的XIP执行方式研究

uClinux是主流Linux的一个变种,它运行于无MMU(内存管理单元)的处理器架构之上.分析了uClinux内核的组成并对实现uClinux的XIP(Execute-In-Place)运行的关键技术进行了深入研究,改进了代码重定位问题的算法,进而实现uClinux在基于ARM平台上的移植和XIP运行.这样内核代码段和应用程序可以直接从Flash或ROM中运行,减少内存需求.     

红外热像仪防辐射罩冷挤压成形技术研究

星载红外热像仪防辐射罩为多台阶锥筒形薄壁零件,材料为较软的铅质材料,加工难度较大。为了解决加工成形的难题,对各种加工方法(切削、拉伸、旋压、冷挤压)进行了分析、对比和试验验证,最终采用冷挤压技术解决了防辐射罩加工成形的难题,而且加工成形的防辐射罩满足各项技术要求,加工成品率很高,材料消耗小,成本低,效果良好。     

同轴接入设备的系统升级机制设计

高性能同轴网络(HINOC,High performance Network Over Coax)是面向下一代广播电视网的同轴电缆接入新技术,是实现模拟电视系统双向数字改造以及广播电视三网融合战略的关键技术之一.HINOC系统中的嵌入式设备HB(HINOC Bridge)与HM(HINOC Modem)需要通过在线升级实现软件版本的不断更新.针对目前一般的软件在线升级系统中普遍存在的整体加密传输效率低、硬件失效缺乏保护等问题,本升级系统设计在文件的传输和文件烧写的基本步骤上引入了文件差分编码解码、文件校验与加密解密以及异常保护机制.实际测试结果显示,升级系统能够满足HINOC系统在效率、安全性和可靠性方面的要求,保证了嵌入式系统的信息安全以及嵌入式设备在异常情况下的稳定工作.     

基于编码规则的中断数据访问冲突检测方法

针对“重复加锁解锁”和“volatile修饰符误用”两种数据访问冲突缺陷模式,提出基于编码规则的检测方法.首先,对缺陷模式的故障机理进行分析,提炼出3条编码规则用以在开发阶段避免缺陷发生,并基于一个静态代码检查工具SpaceCCH进行了规则检测方法研究和实现.在实际星上软件上的实验结果表明,扩展的SpaceCCH能够高效、低误报、低漏报地发现规则违反,从而有效避免这两种的数据访问冲突问题.本文的贡献在于将一类复杂缺陷的检测转换为相应的编码规则及其检测.