分层隔离的安全操作系统内核结构研究

传统单块结构操作系统的所有内核代码在一个公共的、共享的地址空间运行,因此内核中任何一个漏洞或在内核中加载任何不可靠模块都会威胁到整个系统的安全。本文提出了一个分层隔离的操作系统安全结构,该结构有效地将内核特权分割隔离,阻止内核安全漏洞的扩散,防止恶意内核模块代码对内核代码数据的随意篡改。原型操作系统完全自主开发,支持i386体系结构。内核模块隔离机制利用分段保护硬件机制保证安全微内核的不被篡改性,并在此基础上实现操作系统各服务功能模块的隔离。     

基于分段保护的内核模块隔离机制

传统单块结构操作系统的所有内核代码在一个公共的、共享的地址空间运行。因此内核中任何一个漏洞或在内核中加载任何不可靠模块都会威胁到整个系统的安全。内核模块隔离机制从安全的角度出发,将原内核中最易引入不安全因素的部分采用保护模块的形式装载到内核中,并利用硬件保护机制与其它内核模块隔离,从而增强现有单块操作系统内核的可靠性与安全性。     

不动点问题的一个定理

本文改换了文献[1]中定理4的条件,证明了在紧距离空间的情况下,在一个较弱的一个条件下,有限可交换连续自映射族仍具有不动点。并用一个例子说明在完备空间的情形下,这个条件是不充分的     

Debug硬件调试功能的扩充

程序设计完成之后,接下来的工作就是进行调试,以发现隐匿在程序中的错误并使程序正常运行。PC机DOS环境下的调试器很多,既有象Debug、Sid这样短小精悍的调试工具,也有象Turbo Debugger、CodeView、Soft-Ice这样功能强大的软件包,而它们工作的基础都是80X86。     

基于无人机航拍图像的关键目标点间距测量研究

为了解决以往测距方法受到噪声影响而导致测量结果精准度低的问题,提出了基于无人机航拍图像的关键目标点间距测量研究。依据无人机航拍图像上下行链路测距原理,设计测量方案实现流程。利用三轴机光电经纬仪获取关键目标点方位角和高低角,采用灰度信息匹配方法匹配图像,标记参考点。根据参考点生成特征描述子,通过局部自相关函数曲率对多维特征描述子进行分类,并对像素点进行检测,以此提取特征点,通过无人机上下行链路获取的图像信息进行间距测量计算。经过图像坐标变换、重采样、图像增强、图像平滑步骤完成误差修正,实现去燥目的。在地空链路有线测试平台上进行数值分析,由结果可知,基于无人机航拍图像测距结果更为精准,有效提高了在复杂地理环境下方法测量精度。     

基于网格耦合的数据流异常检测

基于网格的数据分析方法以网格为单位处理数据,避免了数据对象点对点的计算,极大提高了数据分析的效率。但是,传统基于网格的方法在数据分析过程中独立处理网格,忽略了网格之间的耦合关系,影响了分析的精确度。在应用网格检测数据流异常的过程中不再独立处理网格,而是考虑了网格之间的耦合关系,提出了一种基于网格耦合的数据流异常检测算法GCStream-OD。该算法通过网格耦合精确地表达了数据流对象之间的相关性,并通过剪枝策略提高算法的效率。在5个真实数据集上的实验结果表明,GCStream-OD算法具有较高的异常检测质量和效率。     

SG-Edge: 电力物联网可信边缘计算框架关键技术

随着国家电网电力物联网的逐步推进,作为其核心支撑技术的边缘计算框架逐渐成为研究热点.首先,总结了物联网和边缘计算框架方面的已有研究工作;其次,通过分析电力物联网在业务场景、边缘计算、信息安全等方面的关键技术难题,提出了一种适应于电力物联网的可信边缘计算框架SG-Edge;随后,结合边缘框架的可信防护关键难题,给出了硬件可信引导、软件行为动态度量等关键技术方法;最后,从业务适应性、安全性以及性能等方面对SG-Edge进行了全面评估,并对未来研究可能面临的挑战进行了展望.     

一种基于LabVIEW FPGA的运载火箭数字量接口测试方法

在运载火箭综合试验过程中,为提高测量系统在综合试验中的数字量接口测试的通用化和自动化水平,该文设计一种基于PXI总线的外系统等效器发送数字量信号模拟源的方法,通过LabVIEW FPGA模块方式来模拟控制系统的加表、陀螺脉冲、计算机字,使用LabVIEW图形化编程方式在上位机在线下载和编译FPGA逻辑,从而实现数字量信号时序逻辑的软件自定义。该方法成功应用于某运载火箭型号测量系统综合试验,易于状态升级需求和移植到其他型号,具备较强的扩展性。     

一种轻量级的Android内核保护监控器

为阻止针对Android系统内核的攻击,保护Android系统内核不被破坏,设计一种基于ARM平台轻量级的hypervisor监控器架构。该架构利用ARM硬件虚拟化扩展技术,对不信任模块进行隔离,阻止模块中恶意代码对内核的破坏,保护关键对象不被篡改,并基于hypervisor、利用交叉视图检测rootkit。实验结果表明,该架构能及时阻止对被监控对象的修改,快速检测出rootkit威胁,减少系统被攻击后带来的损失。     

甘油脱水酶生化结构、催化机理的研究进展

甘油脱水酶是微生物经还原途径将甘油转化为1,3-丙二醇(1,3-PD)的限速酶。1,3-PD是合成多种聚合物的一种理想单体,利用微生物发酵甘油生产1,3-PD具有潜在的优势,因此,有关甘油脱水酶的研究备受关注。迄今,报道了两种不同类型的甘油脱水酶:依赖辅酶B_(12)和不依赖辅酶B_(12)的甘油脱水酶。前者的三维结构是一个异三亚基二聚体,而后者的三维结构是一个同型二聚体。两者的催化机理都是典型的酶自由基催化,催化的功能自由基均为腺苷酸自由基。但两类甘油脱水酶的腺苷酸自由基的来源却不尽相同,前者的腺苷酸自由基来自辅酶B_(12)的同型裂解,而后者的腺苷酸自由基则来自S-腺苷酸基甲硫氨酸。重点阐述了甘油脱水酶的生化结构及催化机理。