面向赋能教育的大学计算机个性化教学研究

针对学生的学习基础、学习能力、学习效率等差异,从进行课程顶层设计、重构教学内容体系、采取线上线下混合教学、构建多元过程化考核体系4个方面,提出开展大学计算机课程面向赋能教育的个性化教学思路和方法,为学生全面赋能。     

基于QEMU实现的处理器类故障模拟与注入方法研究

故障注入技术在BIT软件测试中是一种有效的手段。针对电路板级BIT软件测试中遇到的问题,介绍了一种基于开源模拟器QEMU实现的处理器类故障模拟方法。采用该方法对多种处理器故障进行仿真建模,通过对QEMU的扩展开发,加入故障行为模拟模块和故障注入模块,以实现一个具有处理器类故障注入功能的系统级模拟器BitVaSim。首先分析处理器功能故障模式,提取故障的关键字值对,用XML Schema定义故障并用于故障建模;其次对QEMU代码进行二次开发以实现对处理器故障行为的模拟;然后通过配置故障注入接口实现模拟器运行时的故障模式匹配、故障按条件触发等功能;最后通过实验案例来观察模拟器的故障表现,评价这种基于模拟器的故障注入技术。实验过程和结果显示这种方法是有效可行的。     

安全增强型虚拟化计算环境下的虚拟机动态迁移机制

As the number of Virtual Machines (VMs) consolidated on single physical server increases with the rapid advance of server hardware, virtual network turns complex and frangible. Modern Network Security Engines (NSE) are introduced to eradicate the intrusions occurring in the virtual network. In this paper, we point out the inadequacy of the present live migration implementation, which hinders itself from providing transparent VM relocation between hypervisors equipped with Network Security Engines (NSE H). This occurs because the current implementation ignores VM related Security Context (SC) required by NSEs embedded in NSE H. We present the CoM, a comprehensive live migration framework, for NSE H based virtualization computing environment. We built a prototype system on Xen hypervisors to evaluate our framework, and conduct experiments under various realistic application environments. The results demonstrate that our solution successfully fixes the inadequacy of the present live migration implementation, and the performance overhead is negligible.     

水电站库群系统优化补偿调节模型及算法

本文提出的最优补偿调节方法,先将求解复杂的补偿调节优化模型转化为判别约束方程组是否有解的判别问题,进而将该判别问题转变为求解具有简单目标函数的虚拟优化问题,再利用大系统目标协调算法求出最优化补偿调节方案。