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

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

客户操作系统中断虚拟化的研究与实现

为解决操作系统在运行于虚拟机管理器提供的虚拟化环境中，无法直接处理系统中的中断的问题，针对虚拟化操作系统的中断处理，结合虚拟机管理器所能提供的功能，提出了一种中断虚拟化的模型，并以VxWorks 5．5为验证对象进行了中断虚拟化的实现以及验证，通过验证结果表明，中断虚拟化模型能够保证客户操作系统中断的正常处理。     

支持国产GPU 芯片的虚拟化构建与QoS 控制研究

采用了API 转发的技术路线,通过虚拟机、虚拟机管理系统与宿主机中各模块的协作,为虚拟机提 供与物理GPU 具有相同功能的显卡,在应用程序库层面实现了国产GPU 芯片的虚拟化平台。此外通过设计基 于QoS 的GPU 资源自适应调度算法,为多虚拟机的资源竞争提供了公平调度保证。最后通过测试验证了基于 国产GPU 芯片的虚拟化构建的可用性和基于QoS 的自适应公平性调度算法的有效性。     

基于虚拟安全域的多级安全访问控制

虚拟化技术作为云计算的核心技术,相对于传统技术具有节约开销、易于管理、灵活制定等优势,成为业界应用的热点技术。文章研究了传统的BLP多级安全模型,并改进了该模型应用于虚拟化系统访问控制,结合虚拟安全域的概念,设计实现了虚拟化系统访问控制模型,主要结合分级分域原则对虚拟机之间的通信控制和虚拟机对虚拟磁盘的访问控制进行约束。     

基于GPU指令转发的虚拟化图形引擎设计及实现

为了满足机载座舱显控系统对图形引擎的性能要求，设计了一种基于半虚拟化的机载图形引擎实现方案，并在嵌入式平台上进行实现和测试.结果表明采用本文设计的虚拟化图形引擎，可以满足多个虚拟机同时使用GPU进行绘制的需求的同时，可以有效发挥多核CPU的性能,在提高了产品集成度的同时，显著提升了机载图形应用的性能。     

虚拟化技术在民航支线机场信息系统中的应用

<正>对民航支线机场信息系统所面临的资源利用率过低、可维护性要求高以及成本投入高等问题,作者提出了基于虚拟化技术的民航支线机场信息系统综合解决方案,将虚拟机的全局虚拟化机制引入到民航机场信息化领域。测试结果表明,该方案在核心业务系统的稳定性、可维护性、资源利用率以及成本控制等多个方面均优于传统方案。     

支撑型号研制的数据中心虚拟融合架构研究

为更好的支撑型号数字化研制,以航空企业内部网络数据中心建设为例,介绍了虚拟化技术中服务器虚拟化与存储虚拟化的基本概念,研究了存储虚拟化与服务器虚拟化技术构建的虚拟融合系统架构,并进行了应用测试,验证了虚拟融合架构的可扩展、易维护、高效率等特点,并对运行中出现的一次虚拟机数据存储故障现象进行了描述和分析,给出了故障处理方法,为数据中心运行维护积累了宝贵的实践经验,也为虚拟融合架构在行业内的推广使用奠定了基础。     

虚拟化技术在航空计算领域的应用

虚拟化技术在资源分配、应用移植和隔离等方面有着巨大优势,为了满足航空计算领域对综合化、智能化的需求,以及机载嵌入式系统对实时性、功耗和体积等方面的制约,本文开展虚拟化技术在航空计算领域的应用研究。首先介绍虚拟化技术的基本原理,对比虚拟机和容器的主要特点;其次分析虚拟化技术应用的三个例子,可虚拟化操作系统在多核处理器上的...     

机载计算机多核虚拟化系统文件动态配置方法

针对机载计算机多核虚拟化环境下虚拟机数量及需要固化加载的文件数量不确定性所导致的复杂性 问题,提出了一种文件动态配置方法,通过配置工具按固定格式生成文件清单,软件根据文件清单生成文件配 置数据,针对不同的虚拟机数量及不同的文件数量,动态调整文件配置数据各项参数及偏移,并根据文件配置 数据一键固化并加载机载二进制文件。相比于传统的机载文件固化加载方法,提高了机载维护状态下操作的便 捷性;其依赖配置表的设计不需要人工过度干预,可以使维护过程更加可靠。     

基于TRACE32的智能维修技术在在线检测中的应用

针对PowerPc产品故障诊断中存在的故障定位准确率低、测试难度大的问题,提出一种基于TRACE32的智能系统开发要求软件,该软件嵌入在TRACE32仿真软件中,它既能对PowerPc产品的寄存器、存储器、CACHE、MMU、串口网口等进行自动测试,又可完成高集成度复杂电路板故障的在线检查与自动测试。相比传统的离线测试方法以及普通的在线检测技术,该智能维修技术能够更准确、快速地定位故障。     

An attack-immune trusted architecture for supervisory aircraft hardware

With the wide application of electronic hardware in aircraft such as air-to-ground communication, satellite communication, positioning system and so on, aircraft hardware is facing great secure pressure. Focusing on the secure problem of aircraft hardware, this paper proposes a supervisory control architecture based on secure System-on-a-Chip (SoC) system. The proposed architecture is attack-immune and trustworthy, which can support trusted escrow application and Dynamic Integrity Measurement (DIM) without interference. This architecture is characterized by a Trusted Monitoring System (TMS) hardware isolated from the Main Processor System (MPS), a secure access channel from TMS to the running memory of the MPS, and the channel is unidirectional. Based on this architecture, the DIM program running on TMS is used to measure and call the Lightweight Measurement Agent (LMA) program running on MPS. By this method, the Operating System (OS) kernel, key software and data of the MPS can be dynamically measured without disturbance, which makes it difficult for adversaries to attack through software. Besides, this architecture has been fully verified on FPGA prototype system. Compared with the existing systems, our architecture achieves higher security and is more efficient on DIM, which can fully supervise the running of application and aircraft hardware OS.     

机载嵌入式计算机通用化BIT架构设计技术

设计开发了一种通用化BIT软件架构技术,可应用于机载嵌入式计算机.将BIT软件按照功能分为硬件驱动层、测试算法层、测试配置及控制层、应用接口层等,可极大程度实现不同硬件环境、操作系统环境下,BIT软件的可移植性,还定义了一种操作系统启动前实现硬件BIT检测的方法,可有效提高内存、CPU等硬件资源的故障检测率.     

一种微内核分区操作系统C库的适配验证方法

针对传统C库的开发和适配方法存在的局限性问题,提出一种基于微内核架构的嵌入式分区操作系统新C库的适配验证方法,依次对基于微内核架构的嵌入式分区操作系统之上C库的总体部署方案、初始化过程、典型功能模块的适配开发方法进行了详细阐述;搭建相应的硬件测试环境,在恩智浦公司的四种硬件平台上对开发和适配的C库进行了相应的功能测试和验证,提出了三个创新点.     

基于遗传算法的转台结构有限元优化设计

高精度飞行三轴转台作为一种半实物仿真模型,影响其精度的因素主要包括各种非线性环节和台体本身的机械特性。非线性环节包括摩擦模型的不确定性,各种干扰力矩和三轴之间的惯量耦合等,而机械特性主要包括台体的机械加工精度、三轴之间的安装垂直精度以及台体的刚度特性。本文主要考虑提高台体的刚度特性来对台体进行结构优化,并采用智能优化方法—遗传算法求解出台体结构的最佳截面尺寸。     

基于Java的Web页中多媒体制作的关键技术

阐述Java在Web主页中多媒体制作的应用。利用Java语言实现多媒体制作的关键技术,其中包括多线程技术和异常处理技术。在Web主页中实现多媒体制作的关键技术,其中包括声音播放、声音合奏、图象播放及动画制作技术。     

uClinux的XIP执行方式研究

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

面向Flash存储器的FAT文件系统可靠性增强机制

FAT文件系统针对Flash存储器使用时,其FAT表存储位置不确定且各个簇之间的擦写次数不均衡,导致其可靠性降低.针对上述问题,提出了两种解决方案,分别是FAT表可控迁移和空闲簇磨损均衡.前者在Flash上预留多个块存储FAT表,每次更新FAT表时在其中选择擦除次数最小的块,预留一个块记录最新FAT表的入口地址;后者在Flash上预留一个块记录FAT表中各个簇的擦写次数,每次分配空间时选择擦写次数小于擦除阈值的空闲簇.测试结果表明,改进后的FAT文件系统能够在可控范围内可靠地存储FAT表,同时有效地均衡了各个簇的擦写次数,这些都增强了FAT文件系统的可靠性.     

基于DSP的某型无人机飞控系统硬件平台的设计

介绍了某型无人机飞行控制系统硬件平台的总体设计和具体实现方案。系统以TMS320LF2407A数字信号处理器为核心，外围扩展了高精度模数转换器、数模转换器、非易失性数据存储器(NV-SRAM)和异步串行通信接口，使系统具有了较丰富的硬件资源。整个系统体积小、重量轻、成本低，比较适用于小型无人机。     

Turbo码Log-MAP译码算法简化实现的研究

Log-MAP算法实现Turbo译码时,要用查表等方法进行修正项的近似计算。用误差传播理论推导出Log-MAP算法大规模集成电路实现时状态度量和对数似然值等的精度要求,明确了量化方案,并由此得出计算修正项所需要的精度由信道接收值量化精度决定。理论上解释了信道接收值量化间隔为0.25时,8级查表就可以满足译码精度要求;也解释了高信噪比条件下,由于量化误差的传播,修正项可以忽略不计,此时Max-Log-MAP算法与Log-MAP算法一样,也是最优译码算法。根据推导出的对修正项精度的要求,结合修正项函数值分布特点,提出用6级非均匀查表计算修正项的方法。该方法能达到16级查表精度,在实现上比8级均匀查表简单。计算机仿真证明了上述结论。     

交会对接任务两目标协同控制技术研究简

在载人航天工程交会对接任务阶段,北京航天飞行控制中心首次实现了真正意义上的两目标协同控制,完成了协同体系构建、协同模式研究、协同技术攻关、协同方案设计、协同系统研制的完整技术演进过程.本文主要目标是对交会对接任务北京中心的两目标协同控制技术研究成果进行总结,主要涉及在交会对接任务协同控制技术体系构建、两目标关联计划工作模式、两目标注入安排协同设计与实施的经验与不足,通过对协同系统在交会对接任务中的实战应用情况,分析交会对接任务在协同自动化手段方面的成果和后续改进完善方向,为后续空间站任务设计和实现更复杂的多目标协同控制体系积累经验和教训.