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

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

翻转课堂中的深度学习模式应用

分析深度学习理论的内涵和要求,明确翻转课堂深度学习教学模式改革的必然发展方向,阐释深度学习路线的各个阶段和教学要素,提出翻转课堂深度学习教学模式,介绍教学实践过程并总结.     

龙芯平台在Linux嵌入式系统教学改革中的应用

阐述Linux嵌入式系统教学的改革思路,强调课程教学的校企合作模式,说明在教学过程中引入龙芯平台的可行性和优势,提出"嵌入教学"和"项目驱动"模式相结合的课程改革思路,并对课程体系和考核方法进行详细描述,为龙芯产业化在高校的发展提供思路。     

HybridHP:一种轻型的内核完整性监控方案及其形式化验证

虽然传统的虚拟化监控方法可以在一定程度上保障操作系统安全.然而,虚拟监控器VMM中管理域Domain0的存在以及操作系统级的切换所带来的性能损失是很多具有大型应用的操作系统所不能接受的.注重硬件虚拟化技术的监控能力而摒弃其不必要的虚拟化能力,提出了一个新型的通用的虚拟化监控框架HybridHP,并实现其原型.HybridHP将管理域和虚拟机监控机制两者整合到被监控操作系统的地址空间,具有很好的获取被监控系统操作语义的能力.利用Isabelle/HOL形式化辅助证明工具验证HybridHP的隔离性、安全性和监控能力.最后对HybridHP进行了攻击实验和性能评估,结果显示HybridHP提供了和传统的虚拟化监控方案相同的安全保障,并具有很好的系统性能.     

翻转课堂中的深度学习模式应用

分析深度学习理论的内涵和要求,明确翻转课堂深度学习教学模式改革的必然发展方向,阐释深度学习路线的各个阶段和教学要素,提出翻转课堂深度学习教学模式,介绍教学实践过程并总结.     

基于深度学习的大学计算机技术实验教学改革与实践

基于深度学习的理论性研究,阐述深度学习对于大学计算机技术实验教学的作用,提出通过论述情景任务巧设法、蓝墨云班课的课堂教学法、多元表征引导法、持续性教学改进等方法实施实验教学,深入探讨在教学过程中如何通过深度学习帮助学生由浅层思维向高阶思维递进,最后通过课程满意度问卷调查说明实验教学改革效果。     

基于Teager算子的短时HRV样本熵算法

在心率变异性(HRV)数据的短时非线性分析中,单纯的样本熵算法不能有效提取健康人和充血性心衰(CHF)患者的信号特征差异。为此,提出一种基于Teager 能量算子的样本熵分析算法。采用Teager算子的预处理捕获心脏动力学活动中的异常节律变化,以强化样本熵分析效果。对MIT-BIH数据库中样本的实验结果表明,该算法可反映健康人与CHF患者的短时HRV信号非线性复杂性的差异,为计算机分析诊断心衰等疾病提供新的辅助依据。     

微内核架构多线程机制的形式化设计研究

微内核架构因其有效的模块隔离性而成为操作系统方面研究的热点,多线程机制是微内核架构需要解决的关键性能问题。有不少的工作对微内核架构多线程机制进行了研究,但存在频繁的系统地址空间切换和实现复杂度高的问题。采用形式化的方式对微内核架构多线程和安全机制进行描述和设计,提出一个微内核线程分层对象语义模型,用以 设计多线程机制的线程间通信、调度和互斥同步方案。在已实现和验证的微内核操作系统VTOS中对多线程功能和性能进行了测试,结果表明 VTOS有效地实现了多线程机制,并具有很好的系统性能。     

操作系统汇编级形式化设计和验证方法

由于系统的巨大规模,操作系统设计和实现的正确性很难用传统的方法进行描述和验证.在汇编层形式化地对系统模块的功能语义进行建模,提出一种汇编级的系统状态模型,作为汇编语言层设计和验证的纽带.通过定义系统状态模型的合法状态和状态转换函数来建立系统状态模型的论域,并以此来描述汇编层的论域.通过验证汇编层的功能模块的正确性来保证汇编语言层设计的正确性,达到对系统功能实现的正确性验证.同时,使用定理证明工具Isabelle/HOL来形式化地描述这一系统状态模型,基于这一形式化模型,在Isabelle/HOL中验证系统模块的功能语义的正确性.以实现的安全可信OS（verified secure operating system,简称VSOS）为例,阐述了所提出的形式化设计和验证方法,说明了这一方法的可行性.