面向安全的内存管理子系统研究

以开发具有自主知识产权的军用安全OS为背景,基于最新版本Linux内核,分析并设计安全内存管理子系统.依据可信计算机系统评估标准,将安全OS的功能需求依次映射到内存管理子系统,初步提出安全内存管理子系统的四个功能:进程隔离、防止内存信息泄露、内存访问控制,虚拟内存保护;在分析Linux内存管理机制的基础上,采用安全增强法,从安全相关和硬件相关出发分解核心程序,提出安全增强型内存管理子系统的设计方案,并对各部分进行了分析和实现.     

基于MPC8250和嵌入式Linux的中断处理

MPC8250采取了基于硬件的中断现场保护机制,系统中断响应时间与所采用操作系统相关性较小.对MPC8250中断资源的合理分配并采取合适的Linux中断处理策略设计中断服务程序对提高系统的性能将有重要的意义.     

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

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

液体火箭发动机虚拟试验技术的研究

设计了虚拟试验平台的框架结构,开发了面向对象的映射型数据库系统,分析了试验管理器模块的实现流程,阐述了建模仿真模块、虚拟环境模块等关键功能模块的研制过程,通过多种接口机制将多种技术集成为一个无缝计算机环境.最后,举例进行说明,并总结了虚拟试验技术应用到液体火箭发动机试验的优势.      

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

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

IP over CCSDS/AOS空间通信QoS保证方法

首先分析空间通信体系发展趋势,提出基于IP over CCSDS/AOS的空间通信模型。在分析总结了地面网QoS(服务质量)机制和AOS(高级在轨系统)虚拟信道调度机制的基础上,提出一种IP(互联网协议)网络层区分服务与数据链路层AOS虚拟信道动态调度相结合的QoS保证方法。该方法将网络层的业务等级划分映射到AOS的虚拟信道分配算法中,并在此基础上实现AOS虚拟信道的动态调度,提高包括话音、视频在内的综合业务在空间链路传输的性能。     

装备虚拟保障系统的概念及其技术框架

针对传统的装备保障系统仿真存在的不足,在理解保障系统的物理意义的基础上提出了虚拟保障系统的概念,分析了虚拟保障系统的特点和优点,提出了虚拟保障系统的技术框架,其主要包括保障对象建模、系统任务建模、保障系统建模、离散事件仿真和可视化仿真。在建模过程中考虑了实体的三维模型,包括保障对象和保障系统中的资源实体,构建了保障任务的虚拟设计环境。最后讨论了虚拟保障系统的运行与评价方法,可在装备的研制阶段和使用阶段为保障系统的设计、分析和评价提供技术手段。     

虚拟制造技术在飞机设计与制造中的应用

虚拟制造技术可以在产品设计阶段对产品的整个生命周期进行建模、仿真和优化,从而更加高效、经济、灵活地组织生产,达到了缩短产品研发周期、降低研发成本、优化产品质量和提高生产效率的目的。介绍了虚拟制造技术的含义、特点及国内外应用概况;综述了虚拟制造技术在航空制造业的应用,包括飞机虚拟设计、零件虚拟制造、部件虚拟装配和生产线规划等方面应用的成功案例,从而展示应用虚拟制造技术的意义;最后,总结了虚拟现实技术在飞机设计与制造过程中被广泛应用的发展现状,并且展望了虚拟制造技术的发展及应用前景。     

分布式虚拟风洞的系统结构及负载分析

虚拟风洞是虚拟现实技术和CFD技术在飞机设计和改型中的应用。本文分析了虚拟风洞的工作流程,并针对国内相关硬件水平提出了一个分布式虚拟风洞结构设计方案。在此结构上,完成了负载的合理分配。最后,以一个典型CFD应用为例分析了分布式虚拟风洞系统的硬件要求和性能。     

姿控发动机减压阀性能测试系统设计

介绍了一种基于PC-104的姿控发动机减压阀性能测试系统设计,包括其系统测试原理、硬件结构和软件结构,重点介绍了基于Delphi的应用软件的开发。通过采用动态链接库、多线程、虚拟设备驱动程序等技术提高了测试系统的实时性和稳定性。     

金属磁记忆自动扫描装置研制

研制了由计算机控制的磁记忆自动扫描装置，该装置在金属磁记忆检测中起到非常重要的作用。磁记忆扫描装置由硬件和控制软件组成，硬件部分包括步进电机、控制卡及驱动、高斯计和扫描嚣，扫描装置执行机构由步进电机驱动，可对同一工件进行多种方式的扫描；控制软件采用面向对象编程语言VB编制．为用户提供了可视化控制界面，方便用户控制硬件并对扫描结果进行分析。     

一种运动估计的数据复用技术

利用硬件,尤其是集成电路来快速实现块匹配运动估计是现在运动图像处理研究的重点之一,而受到目前具体存储器带宽的限制,许多快速算法均无法实现。因此,如何降低对外部存储器带宽的需求直接影响到块匹配的硬件实现,本文首先分析了块匹配运动估计对存储器带宽的需求和数据读取的特点,并据此提出了一种数据复用技术。以少量本地片上存储器为代价大大降低了对外部存储器的带宽需求,利用普通的SDRAM即可快速实现高清晰图像的块匹配运动估计算法,并利用FPGA和普通SDRAM实现了整个运动估计算法。     

坐标测量机发展的新方向--虚拟坐标测量机

虚拟坐标测量机是虚拟现实技术与坐标测量技术相结合的必然产物,是虚拟制造技术发展的需要。本文提出了三坐标测量机的一个新的发展方向－虚拟坐标测量机（ＶＣＭＭ）,介绍了虚拟坐标测量机的体系结构和基本功能以及虚拟坐标测量机仿真运行所需要的软硬件环境。     

航空数据存储卡毁钥能力评价方法研究

为满足复杂战场态势下机载数据的安全性需求，需要建立对航空数据存储卡毁钥能力有效评价的方法。 建立航空数据存储卡毁钥能力有效性评价的目的是保证航空装备信息安全的重要措施，是科学、准确评价毁钥 设计是否满足需求的重要手段，是航空装备定型列装前必要的信息安全测评过程。通过对航空数据存储卡的典 型结构和硬件毁钥原理进行分析，对毁钥后电学、物理和化学等技术手段进行深入的研究，提出一种针对航空 数据存储卡毁钥能力的评价方法，从数据存储卡读取能力和存储介质损毁状态两个过程对毁钥效果开展评价， 从而规范了当前测评机构对数据存储卡毁钥能力评价过程中无统一方法的现状。本文利用该评价方法对某样品 航空数据存储卡经硬件毁钥试验后开展毁钥效果分析，验证方法的有效性。航空数据存储卡毁钥能力评价方法 可以很好的评估毁钥设计的效果，确保机载数据的安全。     

Linux下无人机软件故障注入系统研究与设计

基于linux系统的软件故障注入方法,设计了一个软件故障注入系统UAVFI_L,采用硬件覆盖和故障模型的方法,模拟无人机系统的硬件故障,并着重讨论了在总线上注入故障的试验策略。最后用一台工控机和飞控计算机通讯,注入故障。故障注入试验结果表明了这种方案的正确性和可行性。     

Lithium-ion battery software safety protection

Production Li-ion batteries include hardware and software safety protection. The hardware protection includes PTC (positive temperature coefficient) thermistor switch, electrical circuit disconnect and rupture vent. The software protection involves a charging algorithm (charging to ultimate voltage), which is used with internal electrical circuitry (cell voltage control and equalization circuit). This paper discusses a specific charging algorithm and additional software protection features associated with hard, soft and chemical shunt recognition     

嵌入式存储器自修复电路的设计与仿真

介绍了一种存储器自修复电路的仿真设计，其中内建自测试模块中的地址生成器采用LFSR设计，它面积开销相当小，从而大大降低了整个测试电路的硬件开销。而内建自修复模块采用基于一维冗余（冗余行块）结构的修复策略设计。通过16×32比特SRAM自修复电路设计实验验证了此方法的可行性。     

高效图像资源管理器的设计与实现

针对数据存储量大引起的访问广域网服务器速度慢、不能对访问的客户进行细粒度的权限控制问题,研究了B/S模式下基于.NET平台的图像资源管理器的设计和实现技术。系统综合采用权限管理模型、动态加载、文档对象模型（DOM）等技术以及非点击无刷新伸缩控制方法,实现了图像资源管理器的分权限控制、高速访问以及无刷新高效联动等操作。实验验证了方法的可行性。