一种针对OpenSSL中RSA的计时攻击改进算法

针对原有BB-Attack（Boneh and Brumley’s Attack）计时攻击算法在样本量小的情况下存在0~1间隔不明显、攻击精确度低等问题,依据Montgomery乘法中额外约简数目与输入消息的关系,结合统计分析中的t检验,给出了一种改进的计时攻击算法。计时攻击实验结果表明：改进算法能够产生更加明显的0~1间隔,并且减少了攻击样本量,提高了攻击效率。     

地形通视性算法改进

为提高地形上两点间的通视性查询效率,满足仿真系统实时性要求,对通视性算法进行改进,并将改进算法与现有算法进行试验比较,结果表明改进算法的精度和计算效率是满足仿真需要的。     

采用编码降维及DTW算法改进的船舶航迹聚类

船舶航迹的时序特性在船舶航迹异常检测中至关重要,为了提取船舶航迹的时序特性,提出了一种基于编码降维及DTW(dynamic time warping)算法改进的船舶航迹聚类算法。为了避免二维时间序列DTW度量容易失去属性之间相关性的问题,该算法提出一种编码降维方法将船舶二维时间序列转化为一维时间序列;为了满足计算效率要求,该算法首先从最小粒度压缩角度对DTW算法进行了改进,然后又从度量搜索角度对DTW算法实现进一步的改进。实验结果表明编码降维后的时间序列有效保留了属性之间的相关性;改进后的DTW算法有效提高了计算效率;同时该航迹聚类算法有效提取出船舶航迹的时序特性。     

针对OpenSSL的RSA实现算法的计时攻击

通过对OpenSSL中的RSA算法的研究，发现RSA算法在解密过程中会发生Montgomery约简，从而导致对于不同的密文产生不同的解密时间差异，由该时间差异信息能够提取密钥的信息，进行密钥破解。为了能够产生更加明显的时间差异，提高攻击执行效率，提出了添加临近值的改进方法，并设计了计时攻击的流程。实验结果表明，改进的方法能够提高计时攻击的效率和准确性。     

一种时域标量场平面波算法的改进方法

基于现有时域平面波(PWTD)算法,提出了一种对时域标量场平面波算法的改进方法。此方法将现有算法中的插值计算改为制表查询,并给出了其最大误差。另外,还将现有算法中转移算子中对时间求导提到算法最外层,将原先所需的(K 1)(2K 1)次FFT和IFFT计算减少为一次FFT和IFFT计算。最后算例证明当算法选取适当参数值时,可获得需要的计算精度,并验证了改进算法所需计算时间远少于现有算法。     

不可能差分分析时间复杂度通用计算公式的改进

研究Boura等和Derbez分别提出的不可能差分分析时间复杂度计算公式,根据实际攻击过程优化密钥排除的步骤,给出不可能差分分析实际攻击的时间复杂度计算的改进公式,进而利用两个分组密码算法模型将改进后公式计算的实际结果分别与Boura等的公式和Derbez的公式的计算结果进行对比,结果表明Boura等的公式计算结果既可能高于优化公式的实际分析计算的结果,也可能低于优化公式的实际分析计算的结果,而在轮子密钥独立时改进后公式的实际计算结果是Derbez公式的计算结果的2-1.2倍。     

密集火力打击目标选择及WTA求解算法

针对舰艇编队进行攻击作战任务时,目标数量多且攻击火力有限的情况,提出了基于模糊隶属集理论的目标任务契合度计算方法,有助于减少主观判断的失误,找到任务价值最高的目标;同时,进行密集火力攻击时,提高火力的攻击密度的重要途径就是进行合理的目标火力分配,通过考虑火力单元转火攻击时间准备问题,建立多波次火力攻击平台目标分配模型,并采用改进的多层次编码的遗传算法,通过算例证明求解效率较高,可以适应作战需要,并有助于提高战场决策和战场武器资源分配效率。     

潜艇攻击鱼雷最小射程圆内目标的方法

针对潜艇攻击鱼雷最小射程圆内目标的方法问题,首先,给出了不同自导方式下鱼雷最小射程的计算方法,并分析其对鱼雷攻击的影响;然后,依据鱼雷二次转角射击弹道过程,建立了鱼雷二次转角射击通式,并分析了鱼雷二次转角射击需满足的约束条件;在此基础上,深入研究了潜艇攻击鱼雷最小射程圆内目标的具体方法。最后通过实例验证了攻击方法的可行性和有效性。     

编队对地攻击联合火力分配问题的Swt-opt算法

根据未来战争中编队对地攻击的特点,运用一致算法(consensus algorithm)的思想对Swt-opt算法进行改进,解决关于传感器-武器-目标的联合火力分配问题。改进算法继承了Swt-opt算法解决资源分配问题在通信、计算以及对战场态势的容错能力方面的优势,克服了Swt-opt算法受限于网络拓扑结构的缺点。最后,证明了改进算法的可行性,并运用Matlab对改进算法进行了仿真实现。     

基于改进蚁群算法的云计算任务调度研究

把改进的蚁群算法应用到云计算任务调度中,通过将任务在虚拟机上的一次分配作为蚂蚁的一次成功搜索,实现了虚拟机的负载均衡和调度时间的优化,提高云计算资源分配的效率。通过在Cloud Sim平台下进行仿真测试,结果显示,改进蚁群算法在负载均衡性能和总的任务调度时间方面均优于基本的蚁群算法。     

线阵CCD在弹丸飞行姿态测量中的应用

提出应用线阵CCD技术测量飞行弹丸攻角 ,建立了测量飞行弹丸攻角的计算方法。实际测量结果表明应用单个线阵CCD可以测量飞行弹丸的一个攻角分量。对测量误差进行了分析 ,发现线阵CCD的采样频率对测量误差的影响较大     

环境温度对导弹发动机点火时机的影响及控制策略

针对埋入式进气道在发动机点火时刻对导弹飞行攻角的严格限制,提出了攻角点火窗口的概念;以助推器在低温、常温和高温下的推力数据为基础,分别计算了导弹飞行攻角进入攻角点火窗口的时刻,并对时刻差异进行动力学分析;为消除环境温度变化对点火指令发出时机的影响,引入伪攻角信号,设计攻角控制律。半实物仿真结果表明,该控制方法能有效消除环境温度变化对导弹飞行攻角进入攻角点火窗口时刻的影响,且能够使导弹攻角在发动机点火过程中保持稳定,具有一定的工程实用价值。     

水立方多面体空间钢架结构与ETFE膜结构探讨

北京奥运国家游泳中心（水立方）主体结构创造性地采用了由气泡理论衍生的新颖合理的多面体空间钢架结构．其屋顶和墙体全部采用了ETFE膜结构。目前，水立方是世界上规模最大的膜结构工程，介绍了这一新型多面体空间钢架结构的构成及其工作性能并阐述了ETFE膜结构的材料性能。     

高超音速粘性流场数值计算中差分格式的对比分析

本文通过三维高超音速粘性流场的求解对三种常用的差分格式： Ｈａｒｔｅｎ 的 Ｔ Ｖ Ｄ 格式、修正后的 Ｏｓｈｅｒ Ｃｈａｋｒａｖａｒｔｈｙ 的 Ｔ Ｖ Ｄ 格式以及 Ｊａｎｅｓｏｎ 的当地极值递减 （ Ｌ Ｅ Ｄ） 格式对激波的分辨率、边界层计算的准确性和格式的计算效率等三个方面进行了较细致的对比分析， 为三维高超音速复杂流场的数值模拟打下基础。     

中程空空导弹可攻击区解算的新方法

建立空空导弹初始发射距离三维预估模型,提出一种空空导弹可攻击区解算的新算法。该算法将空空导弹初始发射距离预估模型与黄金分割法相结合,用导弹初始发射距离预估值构成黄金分割法的初始搜索区间,进行攻击区边界搜索。仿真结果表明,该算法提高了空空导弹可攻击区的精度,降低了边界搜索循环次数,具有有效性。     

Optimal patrol to uncover threats in time when detection is imperfect

Consider a patrol problem, where a patroller traverses a graph through edges to detect potential attacks at nodes. An attack takes a random amount of time to complete. The patroller takes one time unit to move to and inspect an adjacent node, and will detect an ongoing attack with some probability. If an attack completes before it is detected, a cost is incurred. The attack time distribution, the cost due to a successful attack, and the detection probability all depend on the attack node. The patroller seeks a patrol policy that minimizes the expected cost incurred when, and if, an attack eventually happens. We consider two cases. A random attacker chooses where to attack according to predetermined probabilities, while a strategic attacker chooses where to attack to incur the maximal expected cost. In each case, computing the optimal solution, although possible, quickly becomes intractable for problems of practical sizes. Our main contribution is to develop efficient index policies—based on Lagrangian relaxation methodology, and also on approximate dynamic programming—which typically achieve within 1% of optimality with computation time orders of magnitude less than what is required to compute the optimal policy for problems of practical sizes. © 2014 Wiley Periodicals, Inc. Naval Research Logistics, 61: 557–576, 2014     

Weapon acquisition with target uncertainty

This article is concerned with choosing a mix of weapons, subject to constraints, when the targets to be attacked are known imprecisely. It is shown that the correct method for optimizing the mix of weapons involves a pair of nested optimization problems (two-stage optimization). Two methods for optimizing the expected utility of a mix are discussed. The first involves a simultaneous attack model, in which it is implicitly assumed that all weapons are used at once. The second involves a sequential attack model, in which targets appear in random order and are attacked one at a time. Particular attention is given to the question of the appropriate mix of general-purpose and special-purpose weapons.     

改进的二次正交设计在反水雷效能模型中的应用

针对反水雷效能模型在已有的二次组合设计下建模精度较差的问题,提出了一种改进的二次正交设计方法.通过对设计结构、编码规则、正交化原理三方面进行讨论,建立了改进的二次正交设计的设计模型,并采用遗传算法对多因素试验条件下的设计参数进行了优化求解;基于改进的二次正交设计方法,建立了一种反水雷效能模型.测试分析表明:与已有的设计...     

小子样条件下基于Normal-Poisson过程的性能可靠性评定

对于高可靠、长寿命产品,基于性能退化数据分析可靠性是一种行之有效的技术途径。结合航空航天产品性能退化的机理与现场试验小子样的特点,建立了基于Normal-Poisson过程的性能退化模型。论文在对产品性能退化建模的基础上,结合Bayes方法给出了退化模型参数的估计算法和可靠性推断的公式,最后结合实例说明了方法的有效性。     

贝叶斯网络下考虑攻击企图的目标威胁评估

为解决舰艇编队的防空目标威胁评估问题,针对现有威胁评估方法中忽略目标攻击企图,且只进行静态评估而未考虑目标机动导致的运动参数变化对威胁评估的影响之不足,提出了利用目标攻击时所表现出来的特征参数进行攻击企图估计,并分析了影响机动目标威胁程度的相关参数和变量,以目标信息更新周期为不同时间片,建立了用于动态评估目标威胁度的离散模糊动态贝叶斯网络结构模型。为适应编队防空中火力通道多、目标批次多的特点,将一般威胁等级从3级划分扩展为5级划分。给出了网络中主要节点的状态转移概率表和条件概率表。通过对机动目标按照典型攻击航路的威胁度变化仿真表明,所建立的模型和采用的方法合理有效,能够较为准确地反映目标威胁,贴近实战。