利用状态机检测JAVA空指针引用故障

介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的。     

一类装甲车辆对不平路面的激励响应模型

研究内容为(轮式、履带)车辆在不平路面行驶和通过障碍时的平顺性问题。利用状态方程法建立了包括随机和确定路面轮廓、3维车体等较为通用的车辆行驶平顺性模型。并针对行驶振动中车轮与悬架的碰撞建立了专门模型。对某型装甲车辆进行了计算机仿真和验证,对模型的精度和有效性进行检验和评估。结果表明所建立的车辆-地面系统模型是有效的。该模型和建模采用的方法为装甲车辆的系统设计和动力学分析提供了一条途径。     

【专栏】飞机结构静强度应变现场测试手段展望

目前飞机结构静强度应变现场主要的测试手段为使用电阻应变计测量系统，但电阻应变计测量系统存在抗电磁干扰差、引线过多以及一致性难以保证等问题，测试效果难以保证。近年来，光纤传感以及非接触光学测量手段的迅速发展，为飞机结构静强度应变现场测试提供了多种选择。本文通过分析以数字图像相关法技术为代表的新技术的特点，如通过进行非接触操作消除安装过程中所带来的分散性误差以及不确定性，在应对某些需要定性分析的飞机静强度试验场合时可以实时给出三维应变和位移场数据，使测量技术更加直观，以及可溯源性更好、更容易保证计量特性的稳定等，对未来飞机结构静强度应变现场测试手段进行了展望，以期为相关部门和机构提供参考。     

水下缩比航行体热尾流的红外探测实验

根据缩比模型,建立缩比红外成像实验测试系统,对水下航行体的体积、航行深度、运动速度、尾流排放等进行缩比设计,设计多种实验工况,可实现缩比目标模型红外尾流的静态和动态测试。一方面明确红外尾流的可探测性,另一方面掌握红外尾流可探测性的影响因素以及红外尾流的变化规律,为下一步工作奠定基础。缩比实验结果表明,利用区域灰度均值和均方差的起伏变化可有效探测水下航行体水面尾迹。     

基于静态舒适性分析的装甲车辆驾驶舱人机匹配研究

基于人体骨骼结构分析,结合坦克驾驶员驾驶特点,建立坦克驾驶员的二维运动学模型;根据该二维模型的几何特性,建立人体各关节链的闭环矢量方程,并运用Newton-Raphson方法对方程进行求解;以求解计算结果为依据,分析不同身高尺寸的驾驶员对某型主战坦克驾驶舱的静态人机适应性。     

区域目标搜索中基于改进RRT的UAV实时航迹规划

在线自主航迹规划是无人机(Unmanned Aerial Vehicles,UAV)执行区域目标搜索任务的有效保证.针对UAV区域搜索中航迹规划的实时性要求,提出了一种固定搜索模式和动态搜索模式相结合的UAV自主航迹规划框架.在快速扩展随机树(RRT)方法的基础上,通过改进随机扩展树的节点选择和引入启发式信息,提出了基于改进RRT的UAV实时搜索航迹规划算法,该算法能够有效降低在线航迹规划的时间代价和扩展节点数.仿真实验结果验证了本文方法的有效性.     

Remembering and forgetting Mirambo: Histories of war in modern Africa

ABSTRACT

While the study of organised violence is considered essential to understanding the history of the West, and accordingly imbued with various layers of meaning and remembrance, war is widely regarded as inimical to the modern nation in Africa and stable development more broadly. Using examples drawn from primarily from East Africa, this paper considers the ways in which warfare in the deeper (‘precolonial’) past has been framed and envisioned in recent decades, in particular by governments whose own roots lie in revolutionary armed struggle and who began life as guerrilla movements. While in some cases particular elements of the deeper past were indeed mobilised in pursuit of contemporary political goals, in many other scenarios histories of precolonial violence were beheld as problematic and unworthy of remembrance. This paper highlights the paradox and ambiguity which has attended the memory of key aspects of Africa’s deeper past.     

ASLR机制脆弱性自动分析方法

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

金属磁记忆信号表征铁磁材料变形的基础研究

为探索利用金属磁记忆技术进行再制造毛坯质量控制的方式方法,制作了18CrNiWA钢退火处理和调质处理的板状静载拉伸试件,在MTS810型液压饲服试验机上进行了拉伸试验,采用EMS2003金属磁记忆仪检测拉伸过程试件表面磁记忆信号变化,并利用OLYMPUSGX51观察了2种热处理状态的金相组织。研究结果表明:轴向拉伸载荷诱发试件产生磁有序状态,磁信号曲线在弹性和塑性变形阶段内呈现不同分布特征,磁曲线斜率Ks可以表征拉应力导致的变形程度;2种试件微观组织不同导致拉伸过程中呈现不同的力磁效应。     

二阶矩模糊随机过程的均方极限

给出了二阶矩模糊随机过程均方极限的两种定义,证明了这两种定义的等价性,并讨论了二阶矩模糊随机过程均方极限的性质。