资讯

陈求发在国防科工局科技委一届四次会议上要求紧密围绕目标任务发挥服务支撑作用 3月27日,国防科工局科技委一届四次会议在京召开。国防科工局局长陈求发在讲话中要求紧密围绕发展目标和任务,充分发挥科学咨询的服务和支撑作用。国防科工局科技委主任栾恩杰主持会议,科技委常务副主任张华祝作了题为《把握大势,服务大局,为建设先进国防科技工业贡献智慧和力量》的工作报告。     

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

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

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

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

延伸

正2011年是"十二五"的开局之年,兵团科技工作聚焦"三化"建设,科技创新的支撑能力明显增强,各项科技工作取得了新进展、新成效,实现了"十二五"开门红目标。     

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

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

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

并行程序调试中的环境再现技术

为解决调试并行程序碰到的第一个困难:并行程序的不确定性,文中提出了环境再现技术。文中叙述了环境再现技术的思想和实现这一技术需要的数据结构,并用CCNPASCAL语言进行了描述,最后给出了一个典型的应用例子。     

民兵预备役部队信息化训练手段建设和使用“三要”

民兵预备役部队信息化训练,是我军信息化训练的重要组成部分。搞好信息化训练手段建设和使用,既是实现信息化训练的物质技术基础,又是信息化训练发展的重要标志。当前,搞好民兵预备役部队信息化训练手段建设和使用,应着重在三个方面下工夫见实效。要理清信息化训练手段建设的基本思路。信息化训练手段是运用先进技术开发信息资源,为军事训练提供信息技术支撑的方法和措施。其建     

世界电子信息装备发展研究

近年来,信息系统建设围绕一体化、网络化全面推进,态势感知、信息基础设施、通信系统、导航定位等重点领域的发展尤为值得关注。目前,多项技术取得突破,感知精确化、传输宽带化、服务综合化的发展趋势更加明显。     

航母精神:与航母同样巨大的力量

大船集团在举世瞩目的航母建造工程中,历炼出可歌可泣、催人奋进的的航母精神,打造了具有鲜明军工特色、鲜明时代特征、蕴涵独特魅力的企业文化,为实现"创建中国海军水面舰船最强最大制造基地和国内领先世界一流船舶总装厂"的目标提供了强有力的文化支撑大连船舶重工集团公司是我国重要的海军装备研制基地。自新中国成立以来,共为海军建造了数十种型号、数百艘军用舰船,是我