嵌入式Internet接入平台的设计与实现

为解决移动设备接入Internet的需求,提出了基于GPRS和PPP接入Internet的思想,在论证总体设计方案的基础上,介绍了嵌入式微处理器芯片S3C2410以及支持GPRS Class8的高速无线通信模块MC35T.以S3C2410处理器为硬件核心,以ARM Linux为操作系统构建了一嵌入式Internet接入平台,描述了其硬件平台结构及运行流程,分析了其三层软件体系结构,详细讲解了软件体系最上层的PPP拨号软件包的实现.     

嵌入式软件可靠性仿真测试系统研究

 研究嵌入式软件可靠性仿真测试方法和环境.文中给出了仿真测试系统的体系结构,并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性,软件可靠性仿真测试的方法、测试环境配置、关键技术及其可行的解决方案作了探讨.特别地,给出了一个生成测试用例的新方法.     

嵌入式操作系统的形式化验证方法

对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。     

PowerPC8641处理器模块的自检测设计

机内自检测对嵌入式系统中的处理器模块具有重要意义。为保证系统能够安全、可靠地工作,需要对硬件资源进行自检测试,并基于测试需求,选取了PowerPC8641处理器模块为硬件平台,以CPU、RAM存储器及FLASH存储器为例,根据其不同的硬件特性分别分析了故障特征,给出相应的测试方法,形成一整套测试方案,并结合测试结果,进行了测试性验证与分析,验证了测试方案的可行性。     

加力燃烧室双层壁隔热屏综合冷却效率的实验研究

为了研究加力燃烧室双层壁隔热屏的冷却特性,进行了综合冷却效率的模化及关键参数的匹配,通过红外测温技术测量了气膜板主流侧的综合冷却效率分布,研究了冲击孔板开孔率(φ=0.5％,0.6％,0.7％,0.8％)和动量比(I=0.02～1.38)对双层壁隔热屏综合冷却效率的影响.研究结果表明:实验室工况(主流与二次流温度比Tg...     

N型防护结构的试验与仿真研究

在不增加空间碎片防护结构整体尺寸和质量的情况下,基于防护结构在斜撞击条件下弹道极限高于正撞击条件下弹道极限的特性,研究了一种将3层平行铝板结构的中间层进行倾斜的N 型防护结构,采用超高速碰撞试验和三维SP H 数值仿真方法,定量对比了N型防护结构与相同面密度3层平行铝板结构的防护性能。研究结果初步证实,在正撞击情况下,倾斜的中间层具有提升结构防护性能的作用。     

使用高阶逆风通量差分裂格式的悬停旋翼流场数值模拟

为减少Jameson二阶中心差分有限体积法导致的旋翼尾迹的数值耗散,将三阶逆风格式(MUSCL)与通量差分裂方法相结合,建立了一个三维雷诺平均N-S方程数值模拟悬停状态旋翼流场的方法。为了充分考虑旋翼尾迹对流场的影响,采用周期性边界条件和由动量理论导出的远场边界条件。为进一步减少尾迹数值耗散和便于添加上述边界条件,采用了嵌套网格方法。然后,进行了算例计算,给出了桨叶表面的压强分布,与可得到的试验数据及二阶中心差分方法的计算结果进行了对比,并针对几种不同桨尖形状的旋翼悬停流场进行计算,数值结果显示:后掠桨尖可减弱超临界流动。此外,还计算和分析了旋翼下方不同位置上的涡量分布。计算结果表明,本文方法能够有效地减少旋翼尾迹的数值耗散。      

嵌入式微核虚拟机管理器存储管理架构设计

对微内核架构、嵌入式虚拟化技术、嵌入式多核处理器支持技术进行简介,对工业界和学术界形成的嵌入式微内核虚拟机管理器产品进行相应调研,提出一种基于微内核架构多核虚拟机管理器的存储管理架构设计模式,把存储管理分为内核态MMU管理和用户态内存分配器两部分实现.MMU管理负责完成MMU初始化、TLB无效和增加/删除映射等功能;内存分配器负责实现memcache分配器、字节分配器和页分配器3种内存管理机制.     

基于模型驱动的四余度信号表决系统设计

利用一种基于SCADE模型驱动的嵌入式软件开发方法,研究四余度信号表决系统的设计和实现,方法的主要优点在于基于图形化的软件建模、代码自动生成、具有开发周期短、安全性高,并在很大程度上实现了软件开发的自动化.通过测试和仿真,四余度信号表决系统软件模型设计合理可行,生成代码可嵌入到实时软件中使用.     

高硅氧/酚醛喷管扩张段的温度场计算与测定

本文通过圆柱座标系径向瞬时热传导偏微分方程,对喷管硅基内衬扩张段进行了温度分布数值计算.喷管结构是以石墨为喉衬,高硅氧/酚醛为收敛段、扩张段内衬,并为喉部背衬;壳体是钢.计算中考虑材料烧蚀时形成炭化层、热解层、原始材料层等多层结构,以及烧蚀边界的退移和材料物性随温度的变化.通过座标变换,将移动边界问题转化为定边界问题,计算结果与实验结果吻合良好.