对Sosemanuk算法改进的猜测决定攻击

Sosemanuk算法是欧洲eSTREAM计划最终获选的七个算法之一。从比特层面对该算法进行剖析,通过对Serpent1组件S盒、模232加法和线性反馈移位寄存器的研究,找到了关于内部状态的一个方程组,并利用Groebner基方法改进了对Sosemanuk算法基于字的猜测决定攻击。结果表明只需要猜测7个32比特的字就可以完全确定出其余5个32比特的内部状态,其攻击的复杂度为O(2192)。     

JavaKBB:集成框架与产生式规则的专家系统工具

描述了一个专家系统工具JavaKBB,其目标是设计一个容易使用、方便扩展的专家系统开发工具,可以同时表示领域概念知识与过程知识;既可以运行于商用操作系统Windows等,也可以运行于中标麒麟等军用国产操作系统。为此,提出了一种集成框架与产生式规则的知识表示模式,定义了五种抽象层次以设计一个专家系统,包括知识原语、知识单元、知识部件、知识库以及知识系统;在此基础上基于Java语言设计并实现了JavaKBB。JavaKBB的另外一个重要特征是它能以XML格式保存知识库,具备与其他知识库进行交互的潜力。目前,JavaKBB已经用来构建慢性肝炎防治专家系统、装备辅助决策系统等。     

外部威胁、经济增长与中国国防开支——基于时变参数模型的实证分析

1978年～2008年中国国防开支、经济增长与外部威胁相关数据的协整分析表明,三者之间存在长期的均衡关系。基于时变参数模型的分析表明,改革开放以来中国国防开支与经济增长的相关性越来越小,而与外部威胁的相关性越来越大,以满足本土防御为目的的中国国防开支越来越表现为被动地追随世界各国国防开支的增长。     

某型机载空地反辐射导弹作战仿真与效能评估

针对某型机载空地反辐射导弹(ARM)作战特点,详细分析了反辐射导弹的作战过程,并对其作战过程进行了仿真建模,深入研究了反辐射导弹在单点源、两点源、三点源作用下的作战效能,最后通过蒙特卡洛方法仿真模拟了反辐射导弹作战的全过程,并对其作战效能进行了评估,得出了影响反辐射导弹作战效能的主要因素,为某型空地反辐射导弹的靶场训练提供了比较合理的依据。     

多核网络分组处理系统的数据分段卸载发送机制

为摆脱对商用网卡的依赖,降低软硬件复杂度,提出通用多核网络分组处理系统,构建面向大报文高速分组转发应用的软硬件协同数据分段卸载发送机制,并实现原型系统。该机制基于轻量级输入输出的软硬件协同多核分组处理系统,以降低大报文切分、拷贝开销以及软硬件复杂度为目的,把实现切分报文、封装报文头以及校验功能中硬件实现复杂的部分卸载到驱动中,将分段报文数据拷贝缩减为新报文头的拷贝,结合链式直接内存存取技术,为多核实现高速的大报文分组转发提供有效的解决方案。基于国产通用多核和高性能现场可编程门阵列平台进行发送性能测试。测试结果表明：采用数据分段卸载发送机制能大幅提升报文发送性能,有效解决大报文引发的多核网络分组处理性能下降的问题。     

基于GMM的数据仓库管理与维护

元数据管理系统是构建、管理、维护和使用数据仓库系统的核心部件。元数据管理关键在于构建一个全面的、可扩展的元数据模型,表示各种类型的元数据。本文提出了一个通用的元数据模型GMM,该模型可以有效支持数据仓库的管理和维护,如用户视图管理、个性化服务、增量刷新、数据志跟踪等。     

苏联军队各历史时期建设特点及演变(上)

1917年伟大的十月革命胜利后,诞生了世界上第一个社会主义国家--苏联,同时也诞生了世界上第一支无产阶级军队--苏联红军.从1917年十月革命到1991年苏联解体,这支军队由小到大、由弱到强,在历次战争中战功显赫,威名远扬,曾经成为世界上首屈一指的最强大的武装力量.     

从伊拉克战争看美军作战思想的新变化

伊拉克战争的硝烟已经远去,透过这场毫无悬念却又充满迷雾的战争,我们有何思考?这场战争又能给我们什么启示?为此,本刊将推出“伊拉克战争的思考与启示”(上、下篇),旨在深入探讨未来高技术战争的特点与规律。     

矩阵代数中可乘保范映照的显形式

在矩阵的可乘映照理论与应用中,判定一个可乘映照是否保持某类特定的数值特征以及获取可乘映照在保持某类数值特征条件下的解析式备受关注.对此,着重研究了一般可乘映照在具有某种保秩性或保范性下的表示问题.借助于构造的方法,给出了判定一个可乘映照是否为保秩映照的新的便捷方法.针对F=R或C,分别得到了Mn(F)上保1-范数、保∞-范数以及保F范数的可乘映照的显形式,进而证明了Mn(F)上保持1-范数可乘映照必为保F范数映照,而可乘保F范数映照又一定保谱半径、保数值半径、保正规性、保酉性等.