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

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

涡轮泵状态监控及传感器故障识别的新异类检测方法

为了在故障样本稀缺、故障模式不完备的情况下监控涡轮泵状态,并剔除传感器失效故障造成的虚警,提出用于涡轮泵状态监控及传感器故障识别的单类支持向量机新异类检测方法。该方法以正常状态为目标类构建单类支持向量机检测器,用于检测涡轮泵是否出现异常;以传感器故障为目标类构建单类支持向量机检测器,用于判断检测到的异常是否属于传感器故障。对涡轮泵试车数据的分析结果表明了该方法的有效性。     

荧光分析技术在单个生物分子行为及实时检测中的应用

活细胞单分子行为及实时检测研究是生命科学向微观世界深入探索的一个重要标志,它需要生物、化学、物理等多学科的交叉,已经成为目前研究的一个热点。该领域主要研究内容有细胞内单个大分子的实时研究、细胞内大分子的超微量实时检测。文章介绍了近年来对活细胞单分子行为及实时检测研究的几种荧光分析技术及其应用,涉及到的荧光分析技术有全内反射荧光显微术、荧光共振能量转移术、多光子荧光成像术、荧光相关光谱、光漂白后荧光恢复技术、荧光寿命成像显微术、单分子荧光偏振等。这些荧光分析技术以其快速、无损、时空分辨率高的特点,成为了研究单个生物分子行为的重要手段。     

对抗战时期中国机器工业“繁荣”的思辨

抗战时期,中国的机器业获得了一个＂繁荣＂的发展。这是近代中国追求机器业发展几十年的结果,更是战争特殊环境直接推动的结果。然而,这种主要因战争而＂繁荣＂的假象是暂时的,在整个中国工业中的比重也很弱,它并没有将中国工业化推向深入。同时,就战争带给机器业的影响来看,它是一把双刃剑,无论就战争发动者与应对者,它带给人类的是祸大于福,任何寄希望于战争带动社会经济、大发战争财的做法迟早会作茧自缚。我们应反对战争、创造和平、珍惜和平,只有在和平环境中才能谋求真正的发展。     

Optimal search for a moving target with the option to wait

We investigate the problem in which an agent has to find an object that moves between two locations according to a discrete Markov process (Pollock, Operat Res 18 (1970) 883–903). At every period, the agent has three options: searching left, searching right, and waiting. We assume that waiting is costless whereas searching is costly. Moreover, when the agent searches the location that contains the object, he finds it with probability 1 (i.e. there is no overlooking). Waiting can be useful because it could induce a more favorable probability distribution over the two locations next period. We find an essentially unique (nearly) optimal strategy, and prove that it is characterized by two thresholds (as conjectured by Weber, J Appl Probab 23 (1986) 708–717). We show, moreover, that it can never be optimal to search the location with the lower probability of containing the object. The latter result is far from obvious and is in clear contrast with the example in Ross (1983) for the model without waiting. © 2009 Wiley Periodicals, Inc. Naval Research Logistics 2009     

基于支持向量机的多分类军事目标识别应用

针对现代战场信息化程度的不断提高,电磁环境日趋复杂,侦查目标难以准确地识别情况,提出了运用支持向量机多分类器对军事侦查目标进行有效识别.结构风险最小化地支持向量机分类方法是小样本情况下统计机器学习的经典,具有速度快、泛化能力强等特点.用该算法建模军事目标的识别问题,达到了较高的识别准确率.所以应用在对侦查目标的识别上具有良好的效果,在军事应用上有较广阔的前景.     

基于扩展状态机的资源泄漏检测方法

基于扩展状态机对资源泄漏故障进行描述,给出了资源泄漏缺陷状态机,定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中,按照资源泄漏缺陷状态机给出的转换条件进行状态计算,如果计算结果为故障,则报告1个资源泄漏故障。应用该算法对大型开源软件进行测试,发现多个资源泄漏故障。测试结果表明：该算法具有测试效率高和误报率低等特点。     

基于FBS-因果有向图模型的诊断设计建模方法研究

提出了一种基于有向图的FBS-因果模型,对FBS-因果模型的形式化描述、建模步骤进行了详细研究,对模型的有关假设、定义及其应用范围等进行了分析,总结性地给出了2种基本的故障诊断策略：序贯测试确定性故障修复法和最大后验概率候选故障源更换法。最后对抽象实例进行验证,结果表明基于有向图的FBS-因果模型的故障诊断测试是实用的,也是有效的。     

电子装备随机存储器通用测试算法

随机存储器在电子装备中广泛使用,对其进行有效测试是电子装备自测试与生产功能测试的主要内容。以走一测试算法为基础,设计了数据线、地址线与存储单元测试方法,可以有效检测各种类型的RAM焊接质量与器件质量,对于提高故障定位精度和减少产品的测试时间起重要作用,特别是在电子装备的自测试、生产测试和维护测试中具有很好的应用前景。     

基于转置卷积神经网络的翼型结冰冰形图像化预测方法

结冰问题严重影响飞机飞行安全,结冰智能预测是飞机智能防除冰系统设计和安全设计的重要依据和支撑.为解决复杂冰形在翼面同一位置的法线方向冰形厚度存在多值的问题,提出基于转置卷积神经网络的翼型结冰冰形图像化预测方法.设计预测模型的神经网络结构、损失函数、数据规范等,直接将影响飞机结冰的飞行和大气条件作为输入,以灰度化的冰形图...