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比特密钥.     

导弹测发控系统软件质量评价

在分析了导弹测发控系统软件特点的基础上,建立了针对该软件的质量模型,运用集成改进层次分析法和多级模糊评判于一体的综合评价方法对该软件进行质量评价,最后获得该软件质量的定量评价结果,并对结果进行了分析。     

用无形的手托举“神舟”和“神箭”——中国航天科技集团公司神舟软件自主创新之路

我国首个目标飞行器“天宫一号”和“神舟八号”相继问天,并圆满完成了交会对接任务,举世瞩目。在成功的背后,正是信息技术用一双无形的大手托举起“天宫一号”和“神舟八号”。     

军用可信软件现状及发展研究

随着计算机技术在军事领域的广泛应用,军用软件的可信性越来越引人关注。在总结了学术界对可信与可信性定义的基础上,给出了军用可信软件和军用软件可信性的定义。分析了国内外军事相关领域可信软件的发展现状,指出了当前我军军用软件研发模式中的不足并阐述了开展军用可信软件研究的意义及其发展方向。     

新舰维修能力评估体系赋权研究

为了评估舰船维修机构对新型舰船的维修能力,建立了舰船维修机构对新舰维修能力的评价体系,并介绍了各指标的量化方法,为克服体系中指标之间出现的相容性问题,在赋权过程中,采用网络分析法处理专家的倾向意见,借助超级决策软件Super Decision计算出评价体系的指标权重.从计算结果来看,网络层次结构中控制层及网络层各指标权重均符合专家倾向及部队评估实践,网络分析法与Super Decision软件值得被推广.     

课程资源视角下的“多媒体教学软件设计与开发”课程建设初探

"多媒体教学软件设计与开发"是一门面向教育技术学本科生的专业核心课,也是培养他们专业技能的课程之一。本文分析了课程资源视角下课程的教学现状,结合现有的课程建设实践,对本课程开展"课程定位"-"内容体系"-"教学策略"-"课程评价"四个模块的全方位改革。由此,建设性地提出了课程优化的若干建议。     

航天器软件的研发路线

航天器自主能力构建面临着需求不断增多、多变、复杂化、未知的发展趋势,需要在软件研发方式和架构设计上做出改变.在分析已有的4种研发路线的基础上,提出第5条路线,即基于模型化、数据化设计思想的研发路线;提出具有即插即用能力的业务模型,采用电子数据单技术自底向上构建设备级和功能业务级的即插即用能力;以智能规划业务为例说明了业...     

一种适于DSPs实现的BPSK载波同步方法

提出了全数字接收机中一种软件实现的BPSK载波同步方法 ,并给出了性能分析 ,适合于在存储空间和实时性都有要求的背景下的应用。该方法充分利用软件实现的优势 ,克服了传统方法的一些弱点 ,适合于在数字信号处理器 (DSPs)上实现