AES轮变换的代数正规型及其应用

每个布尔函数的代数正规型(ANF)是唯一的,对于研究布尔函数有重要意义.利用Mathematica软件得到了高级加密标准的轮变换(Sbox,ShiftRow和MixColumn的复合)的128个分量函数的代数正规型.每个分量函数都是32元布尔函数,其项数在448 ～ 545,平均为496,远远小于随机32元布尔函数的平均项数231.这表明AES轮变换与随机置换有巨大偏差.得到这些ANF的时间复杂度在一个2GHz的PC机上只用几分钟.该方法优于通过真值表得到ANF的经典算法——其得到128个分量函数的时间复杂度为0( 128×32 ×232)=0(244).作为应用,利用得到的ANF建立了一轮AES的一个方程系统,并用Cryptominisat 2.9.0进行求解.使用Guess-and-Determine的方法,利用一个已知明密对,可以在PC机上233h内得到全部128比特密钥.     

干扰近似OFDM/OQAM系统半盲信道估计

非合作通信背景下,针对传统干扰近似法（Interference Approximate Method, IAM）进行OFDM/OQAM系统信道估计需要导频符号值作为先验信息的问题,提出一种基于OQAM符号特征的IAM（OQAM Characteristic Based-IAM,OCB-IAM）估计算法。该算法利用OQAM实符号的有限集特征,将信道衰落系数幅度和相位分开估计,在仅获得导频位置而未知导频符号值的条件下实现了OFDM/OQAM系统半盲信道估计。并且证明了OCB-IAM算法由于利用接收符号的二阶统计量将高斯白噪声变为非随机的单音干扰,从而在中低信噪比条件下具有优于IAM算法的估计性能。仿真实验验证了理论推导的正确性和OCB-IAM算法的可靠性。     

尾数细分计数逻辑对捷联惯导系统姿态误差的影响

为了提高激光陀螺的检测分辨率,采用了尾数细分计数逻辑新方法,并分析了此方法对捷联惯导系统姿态误差的影响.首先分析了常规四倍频细分计数逻辑的原理与特点,得出其分辨率约为1/4周期的结论;然后对比分析了基于常规四倍频的尾数细分计数逻辑的原理、实现方法及其特点,分析与试验表明,此方法能够进一步大幅度提高检测分辨率.基于以上结...     

近似推理在水雷参数分析专家系统中的应用

为了尽快分析出未知水雷障碍参数,根据水雷战的特点,提出了建立未知水雷障碍参数分析专家系统的观点,对专家系统的设计方法进行了一定的探讨,并针对专家系统建立中的"瓶颈"问题,提出了基于Vague集插值近似推理的专家系统知识自动获取方法,在介绍推理过程的基础上给出了算例.从推理的结果来看,该方法具有较高的可信度,从而为专家系统的研制提供了一定的方法支持.     

NEPE类推进剂燃烧模拟

在分析、研究硝胺和AP CMDB推进剂燃烧模型的基础上,结合NEPE类推进剂的配方和燃烧性能特点,建立了NEPE类推进剂燃烧的物理模型,并进行了燃速和压强指数的理论计算。结果表明,几乎100%的计算结果都在实验值的±10%范围内。这说明所建立的模型基本合理,编制的NEPE类推进剂燃速计算程序基本可行。     

基于连分式的简化拉普拉斯函数递推算法

根据简化拉普拉斯函数级数展开和将级数展开为连分式的方法,将简化拉普拉斯函数化为连分式形式。推导出基于连分式的简化拉普拉斯函数渐近分数的递推计算公式,讨论了递推计算中误差控制的方法。计算结果表明,该算法简单实用,在炮兵及防空兵火力毁伤概率计算中有应用价值。     

势流理论的一种数值方法在空泡形态中的应用

基于势流理论的假设,采取常规边界元法对具有自由面的定常平板和轴对称空泡流动数值方法进行了研究,运用Riabourichinsky镜像空化模型,建立了一种空泡自由面求解的优化迭代方法,以自由流线长度为参数求解模拟了定常无重工况下流经二维平板和轴对称圆盘的空化流动.数值计算结果与解析解的相对误差不超过3%,证实了轴对称体空泡外形的近似回转椭球体假说在空化器附近是不成立的.计算结果与同类文献数据的对比显示了边界元法进行空化流场计算具有着显著的优越性,所采用的迭代方法精度高、收敛速度快,所得结论对深入了解空化特性具有参考价值.     

What you should know about approximate dynamic programming

Approximate dynamic programming (ADP) is a broad umbrella for a modeling and algorithmic strategy for solving problems that are sometimes large and complex, and are usually (but not always) stochastic. It is most often presented as a method for overcoming the classic curse of dimensionality that is well‐known to plague the use of Bellman's equation. For many problems, there are actually up to three curses of dimensionality. But the richer message of approximate dynamic programming is learning what to learn, and how to learn it, to make better decisions over time. This article provides a brief review of approximate dynamic programming, without intending to be a complete tutorial. Instead, our goal is to provide a broader perspective of ADP and how it should be approached from the perspective of different problem classes. © 2009 Wiley Periodicals, Inc. Naval Research Logistics 2009     

装备维修器材生产路径决策的两阶启发式算法

当前装备供应保障系统中维修器材存在短缺、积压以及配送系统效率低下等问题,亟须对生产、库存和配送作业环节进行集成优化。为客观反映各个决策环节,将该问题公式化为一个混合整数线性规划模型,针对该模型多变量、多约束的特点,提出了一个基于数学规划的两阶启发式算法对其进行求解。结合算例,检验模型的可行性,并选取求解器CPLEX和一个类似的迭代算法与该算法在求解质量和运算时间方面进行对比与分析。结果表明,提出的模型是合理可行的,该算法在求解不同规模实例时表现出优异的性能。     

决定电视侦察弹射击诸元弹道模型的建立与仿真

在分析电视侦察弹各阶段弹道特点的基础上,建立了求取弹道诸元和射击诸元的弹道数学模型,给出了简单、精确、快速逼近目标的方法,并利用该模型进行了弹道逼近和决定射击诸元的模拟计算.结果表明在初始射角赋予非常简单的条件下,只用两条弹道,再通过一次插值,即可逼近开舱点,获得射击开始(装定)诸元.此模型和方法可用于射表编制和指挥自动化系统.