多模块ROP碎片化自动布局方法

返回导向式编程(Return Oriented Programming, ROP)是一种可有效绕过数据执行保护机制的技术。ROP通过搜索内存代码区中合适的汇编指令片段,可组成一段执行特定功能的程序。已有的ROP自动构造技术只考虑ROP链的功能实现,而忽视了ROP链布局对程序内存可控性的要求,导致自动生成的ROP链实用性低。为解决该问题,提出了一种基于符号执行的多模块ROP碎片化自动布局方法。该方法在ROP自动构造Q框架的基础上,以模块为单位对ROP链进行切片;使用符号执行工具S2E,对控制流劫持状态下的程序内存状态进行动态分析;为各ROP模块匹配相应的可控内存区域,构造碎片化布局的ROP链。实验证明,相比已有技术,该方法生成的ROP链有效降低了对程序内存可控性的要求。     

以多元智能理论为指导的大学英语教学模式探析

由美国发展心理学家、哈佛大学研究生院心理学教授霍华德·加德纳于1983年提出的多元智能理论，对外语教学的革新提供了新的视角。该理论与外语学科关系密切，其内涵比任何一种教学法都更加丰富。发展学生的多元智能，已经成为21世纪外语教学的一种趋势。多元智能理论指导下的大学英语教学模式，对发展现代大学英语教学具有现实意义。     

实时空地作战仿真系统

现有的分布交互仿真系统实时性较差,只能使用简化的武器模型来实现多武器对抗.本系统以地空导弹作战对抗系统为例,阐述项目研制仿真系统的总体设计方法,实现了分布交互仿真技术与半实物仿真系统的结合,提高了分布交互仿真系统的内部精度.此系统的设计为提高分布仿真中模型精确化和半实物实时仿真系统扩大仿真规模提供了一种可行的方案.     

130 nm加固SOI工艺的抗辐射控制芯片设计

针对航天电子系统控制模块对集成电路的抗辐射需求,在130 nm部分耗尽绝缘体上硅(Silicon-On-Insulator,SOI)工艺平台上设计了一款基于比例、积分、微分控制算法的控制芯片,并分别从晶圆材料、制备工艺、版图设计的角度对芯片进行了总剂量辐射加固。流片测试结果表明,芯片的调节精度达到了5×10~(-12),与进口抗辐射现场可编程门阵列水平相当;在长时间频率稳定度方面,芯片优于国外抗辐射现场可编程门阵列。对芯片进行的模拟辐照试验表明,芯片在300 krad(Si)的总剂量辐照条件下依然可以正常工作。     

一类二阶微分方程Poincaré分岔极限环的不存在性

讨论一类二阶微分方程x¨+εf(x,x.)x.+g(x)=0的Poincar分岔极限环的不存在性,利用一阶Mel’nikov函数直接从整体上进行分析讨论,得出了若干充分条件和判别准则。     

基于改进 Gerstner 波的岛礁近岸波浪实时仿真?

为了实现岛礁附近波浪实时仿真，结合 Gerstner 波和水波动力学知识，提出了一种能够模拟波浪卷曲和折射绕射现象的波浪建模与绘制方法。首先，建立 Gerstner 波参数随水深变化关系，构建模拟波浪卷曲过程的几何模型；然后，定义岛礁地形对波浪传播的阻障和遮挡系数，并据此修正波浪传播的波向和波高，实现折射和绕射现象的仿真；最后，应用着色器缓存技术完成计算的硬件加速，并构建了基于视点的波浪传播多分辨率绘制策略。实验结果表明，该方法对波浪的卷曲和折射绕射现象取得了较好的仿真效果，绘制效率能够满足实时性要求。     

广义Liénard方程Poincaré分岔极限环的唯一性和不存在性

讨论了一类广义Linard方程x¨+f1(x)x.2+εf2(x)x.+g(x)=0的Poincar分岔极限环的唯一性和不存在性。将不对Abel积分进行分项,而是利用一阶Mel′nikov函数直接从整体上进行分析讨论,得出了若干判别准则和充分条件。