基于程序状态变迁的ASLR机制脆弱性分析方法

地址随机化ASLR是一种针对控制流劫持漏洞的防御机制。已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制。针对地址随机化的缺陷及其绕过技术的特点,本文提出了一种地址随机化脆弱性分析方法。该方法使用有限状态机描述程序运行路径中各关键节点的状态;针对常见的内存泄漏与控制流劫持场景建立约束条件;通过求解内存泄露状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性。实验结果显示,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率。     

The mechanical performance and a rate-dependent constitutive model for Al3Ti compound

The Al₃Ti compound has potential application in the high temperature structure materials due to its low density, high strength and stiffness. The mechanical behaviors of the material under different loading rates were studied using compression tests. The results indicate that Al₃Ti is a typical brittle material and its compressive strength is dependent on the strain rate. Therefore, a series of rate-dependent constitutive equations are needed to describe its mechanical behaviors accurately. However, it is still short of professional research on the material model for Al₃Ti. In this study, the material model was developed on the basis of JH-2 constitutive equations using the experimental data. The model was then applied in simulating the impact process of Ti/Al₃Ti metal-intermetallic laminate composites so as to validate the established model. Good agreement between simulation and experiment results shows the constitutive model predict the material responses under high rate and large deformation accurately. This work provides more support for the theoretical and numerical research on the intermetallic.     

Remembering the war of liberation: legitimacy and conflict in contemporary Algeria

The aim of this article is to consider how Algeria's most prized achievement and treasured memory – the FLN's victory over the French in the war of liberation – has helped stimulate and sustain the violence that has blighted the country since independence. It argues that successive governments have propagated a legend of the war that encourages and legitimises rebellion and armed resistance. By celebrating the actions and achievements of a committed band of revolutionaries they have established a precedent whereby it is every citizen's duty to oppose and resist an unjust government. Time and again therefore, insurgent groups like the FFS, MIA, and AIS have justified their actions and won popular support by portraying themselves as the early FLN's natural heir.     

Planning gamma accelerated degradation tests with two accelerating variables

Gamma accelerated degradation tests (ADT) are widely used to assess timely lifetime information of highly reliable products with degradation paths that follow a gamma process. In the existing literature, there is interest in addressing the problem of deciding how to conduct an efficient, ADT that includes determinations of higher stress‐testing levels and their corresponding sample‐size allocations. The existing results mainly focused on the case of a single accelerating variable. However, this may not be practical when the quality characteristics of the product have slow degradation rates. To overcome this difficulty, we propose an analytical approach to address this decision‐making problem using the case of two accelerating variables. Specifically, based on the criterion of minimizing the asymptotic variance of the estimated q quantile of lifetime distribution of the product, we analytically show that the optimal stress levels and sample‐size allocations can be simultaneously obtained via a general equivalence theorem. In addition, we use a practical example to illustrate the proposed procedure.     

炮兵指挥决策中优选作战方案的神经网络模型

优选作战方案是炮兵指挥决策的重要内容.如何从炮兵众多的作战方案中确定其价值,并根据作战任务需要选出最佳方案,是炮兵指挥员及其参谋人员的-项重要任务.根据神经网络中联想记忆的-般模型和迭代解法对炮兵作战方案进行分析和排序,并可运用计算机进行处理,为炮兵指挥员的决策行为提供依据.     

Firm embedding behavior of annular grooved projectiles impacting ductile metal targets

Annular grooved projectiles (AGPs) have drawn ongoing concerns as an advanced penetrator for their excellent anti-rebound capability in impacting metal plates. They could become embedded solidly in the target surface during low-velocity impact. In this investigation, the firm embedding behavior of AGP was observed by impact experiments. Corresponding numerical simulations provided a better understanding of this process. Experimental and numerical results indicated that the firm embedding behavior of AGP was mainly due to the filling-material in the groove rather than the friction between the projectile and target, unlike traditional shape such as conical projectile. According to observation, firm embedding process can generally be subdivided into four stages: initial-cratering stage, groove-filling stage, filling-material failure stage and rebound vibration stage. Moreover, the damage mechanics of target material around crater was obtained through microscopic tests. A comparison of the cross-sectional figures between the experiment and simulation proved that the analysis and the proposed method were reasonable and feasible, which further demonstrated that the firm embedding behavior has application potential in new concept warheads.     

浅谈以交际为目的的大学英语视听说教学

在视听说教学中应注重发挥教师的主导作用和学生的主体作用。充分利用电化设备这种现代化教学手段,对大幅度地提高外语教学质量起着重要的作用,有利于学生保持积极的心理状态,培养他们学习外语的兴趣,有助于记忆。选择教材应把学生置于国际环境下迎合真实的交际需求,培养学生跨文化交际的能力。     

基于Wigner-Ville分布及局部奇异值分解的磁记忆信号特征提取与识别

针对磁记忆检测中缺陷信号持续时间短且频率范围小的特点,为提取磁记忆信号的有效特征,根据矩阵奇异值的特点,提出一种基于Wigner-Ville分布及局部奇异值分解的磁记忆信号特征提取方法．通过将时频分布矩阵从时间轴和频率轴分别划分为不同局部矩阵,提取出各矩阵的奇异值来构造特征向量．然后,将构造的特征向量作为支持向量机的输入向量对不同检测区域的金属磁记忆信号进行识别．实验结果表明：基于Wigner—Ville分布及局部奇异值分解算法构造的特征向量能有效提取磁记忆信号的特征信息,提高支持向量机的识别精度．     

知识分子的“心灵史”——从《绿化树》到《饥饿的山村》

20世纪80年代以前,1959-1961年的大饥荒书写成为当代文学作品的重要题材之一,其中右派知识分子的"饥饿"体验更是受到作家的关注。本文仅就张贤亮的《绿化树》和智量的《饥饿的山村》两部描写"右派"在饥荒年代农村生活的小说为研究对象,通过分析文本对饥荒生活的呈现方式和对女性的态度,进而探讨知识分子的精神困境以及在80、90年代不同的自我身份认同危机。     

基于滑移网格的潜艇旋臂试验数值模拟?

潜艇水动力系数对潜艇操纵性研究具有重要意义。为了获取较高精度的潜艇旋转导数,以分区结构化网格为基础,采用基于固定坐标系的滑移网格方法,对SUBOFF潜艇进行旋臂试验数值仿真。并对比两种不同的湍流模型下仿真结果,误差均在8％以内,满足工程要求,验证了方法的可行性。