嵌入式虚拟机管理器内存虚拟化方法研究

嵌入式虚拟机管理器需对3类硬件资源进行虚拟化才能支持客户OS的正常运行,而且支持虚拟内存的客户OS需对MMU页表进行虚拟化;以NXP公司的PowerPC架构处理器为例介绍了MMU概况、管理方法,并提出MMU虚拟化的需求;研究了XEN、ViMo、KVM/ARM、NOVA、MobiVMM 5个典型虚拟机管理器软件中所采用的主流内存虚拟化方案,并给出了基于软件影子页表、基于硬件支持特性、软硬件结合等3种对MMU页表进行虚拟化的解决方案.     

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

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

MILS机载安全操作系统设计

针对构建MILS安全嵌入式操作系统需求,提出一种基于微内核的安全机制。通过微内核的安全监控机制和时空隔离结构,为系统提供安全性和可靠性的基础支撑,避免操作系统中访问控制机制被篡改、绕过,采用任务间时空隔离和消息传递机制使得各个安全关键任务独立运行,通过受控的消息机制进行交互,有效保证了各个模块的独立安全性。采用微内核架构能够进一步形式化验证,从而在安全的系统结构的下提高任务的安全性和可靠性。     

uClinux的XIP执行方式研究

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

航空电子核心处理机实现技术研究

航空电子核心处理机已经成为新一代航电的核心，采用了综合化的设计思想，其设计的复杂性远远超过了联合式核心处理机。提出了一种综合化航空电子核心处理机的硬件实现技术，提出了一种微内核体系结构来实现强分区实时系统，并且支持微内核上操作系统的灵活移植。     

航空电子系统中应用多核处理器的挑战分析

作为嵌入式计算的一种,航空电子系统中的处理器具有强实时性、高确定性、高安全性的特征。因此,同其他嵌入式系统相比,在航空电子系统中应用多核处理器面临更多的挑战。针对多核处理器基本的软硬件架构,对挑战产生的原因进行了简要的分析,指出了在航空电子系统中应用多核处理器需要解决的问题。     

机载嵌入式系统中的多核处理架构研究与分析

与单核处理器相比较,多核处理器在性能、功耗、体积以及重量各方面都有绝对的优势,这使得多核处理器在机载嵌入式系统中的应用成为必然趋势。在分析了航空电子系统的任务特点之后,介绍了两种最常见的多核处理器系统架构：对称多处理（SMP）和非对称多处理（AMP）,对这两种系统架构在机载嵌入式系统的应用进行了研究分析,并分析了其关键技术对实时性、安全性和确定性的影响。     

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

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

基于达芬奇技术的智能交通图像处理SDK设计

主要介绍使用基于Ti Davinci架构的图像处理SDK软件系统设计.软件系统运行于基于TMS320DM6467的智能交通专用主机,支持智能交通领域的多种图像处理算法,算法运行于DSP核心,通过ARM与DSP核心间RPC机制,使ARM运行的应用软件可透明地调用相应算法.针对嵌入式系统的有限内存,系统分别在ARM和DSP核心端完成内存优化.针对DSP核心的硬件架构架构,实现相关算法的指令优化.系统可应用于智能交通领域多种系统的开发.     

一种多核实时图像处理模块设计与实现

实时图像处理能力是嵌入式系统中影响系统性能的核心因素.为充分挖掘多核DSP性能,从计算机系统结构的角度出发,开展对多核DSP实时图像处理体系结构的研究,设计了一种基于TMS320 C6678的实时图像处理模块.采用FPGA进行实时图像的采集和缓存,利用四线RapidIO高速接口完成FPGA与DSP之间的数据传输,并设计了四级图像缓冲流水处理结构,实现了图像采集、缓存、处理和发送的并行进行.设计了一套基于数据块共享的实时图像处理多核协同处理机制,可以充分利用C6678八个核的优势,实现对图像的实时处理.     

方波幅度的测量不确定度

介绍了用众数法评价方波幅度时的不确定度分析和评价过程；讨论了主要的不确定度来源，包括众数判别区间的影响、波形测量系统幅度测量误差的影响等等；给出了减小不确定度的主要措施，并结合一个实例，给出了方波幅度的不确定度评价结果。     

硼粉燃烧热值测试不确定度分析

基于硼粉点火和燃烧特性,介绍了硼粉燃烧热值测试原理和方法,分析了影响硼粉燃烧热值测试不确定度的因素,并对各不确定度分量进行了评定。结果表明,影响硼粉热值测试不确定度的主要因素有：系统热容量的不确定度和助燃剂热值的不确定度;在助燃剂保障硼粉完全燃烧的条件下,减小助燃剂热值的不确定度是提高硼粉热值测试准确度的关键因素。     

高校图书馆期刊管理服务创新举措

高校图书馆期刊管理工作需立足本校实际情况,提高期刊信息服务意识及采购质量,建立合理的馆藏期刊结构,创新期刊管理服务措施,拓展期刊服务内涵。高效发挥期刊信息的作用,提高期刊资源利用率,更好地为读者服务。     

秒表检定的测量不确定度评定

介绍了用标准时间间隔发生器检定秒表时，测量结果不确定度分析和评定过程；讨论了测量不确定度的几个主要来源；通过一组实例，给出了秒表检定不确定度的分析和评定结果，该过程和结论可应用在对于计量标准进行相应指标的不确定度分析上，也可用于估计秒表检定本身的不确定度。     

电磁辐射干扰试验的测量不确定度评定

详细地分析了利用吉赫兹横电磁波室进行小体积受试设备(EUT)电磁场抗扰度测试的不确定度。     

逻辑分析仪部分参数测量结果的不确定度评定

介绍了逻辑分析仪部分参数测量结果的不确定度分析评定方法，评定过程及结论，可应用在对于计量标准进行相应指标的不确定度评定分析上。     

微放电效应预测研究

分析了几种类型结构方同轴线的特性,利用FDTD数值方法对方同轴线的微放电效应阈值电平进行预测计算,并给出了阈值曲线.结合实验数据说明了预测方法是有效的,该阈值曲线可以作为微放电效应部件设计参考曲线.     

非线性方程迭代算法收敛性分析

从几何上分析了迭代格式xn+ 1=φ(xn)所产生的序列收敛于方程根的收敛条件 ,导出了不依赖函数可导性判断迭代序列收敛的收敛定理 ,给出了产生收敛的迭代序列的技巧。     

不锈钢弯管部件钎焊的研究

提出不锈钢钎焊时被预热和被钎焊的母材都不允许焊接区呈红色和亮黄色的新观点。论证了加热时氧——乙炔焰用微碳化焰的原因及焊缝结合区不能采用抛光的道理。指出了保证钎焊温度的方法及其原理等。     

高校廉洁文化教育的载体构建

作为构建反腐倡廉体系的基础性工作之一,高校廉洁文化教育是从源头上防治腐败的根本之策,关系到整个社会廉洁文化的建设。从打造廉洁文化教育教师主体团队,发挥党团组织的战斗堡垒作用,弘扬廉洁校园文化节、占据网络文化教育阵地等方面,对高校廉洁文化教育载体进行研究,旨在为高校廉洁文化教育提供些许参考意见。