院士戴浩的“人生三境”

【院士名片】戴浩,江苏阜宁人,1945年出生,1968年毕业于清华大学,1982年4月入伍。先后任总参某研究所总工程师、研究员,长期从事指挥自动化总体研究和网络工程建设,曾获国家科技进步一等奖,享受政府特殊津贴,先后被评为全国优秀科技工作者、全军优秀共产党员、共和国"双百人物"。人生如登楼,欲穷千里目,更上一层楼。总参某信息化研究所研究员戴浩院士的军旅之路,正是在不断地向上攀登中实现着自我超越。投身信息化,一去30年。他用软件数据吹响冲锋号角,用银线电波构筑胜利传奇,在充满未知的漫漫征途上,     

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

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

遥感天下为九州

从数据零散应用到整体解决方案,从单星应用到多星综合应用,从一般应用到应急支持服务等多个方面。资源卫星应用中心实现了从数据服务到信息服务的转变     

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

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

新一代海军指挥信息系统体系架构

面向新一代海军指挥信息系统,结合海军指挥信息系统的使命,对海军指挥信息系统的发展现状及趋势进行了研究,分析了新一代海军指挥信息系统的发展需求,在此基础上提出了未来新一代海军指挥信息系统的建设构想,分析了系统的动态构建、人机一体以及平行指控等特点。     

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

基于Multi-Agent技术的大型航天研发项目风险分析方法

大型航天研发项目对于社会经济发展和国防安全有着重要影响,是国家重大工程中一类较为特殊的项目,而风险分析是大型航天研发项目按计划、高质量、低成本完成的重要保障。通过分析大型航天研发项目的特点、风险因素以及管理过程,结合Multi-Agent以及分布式项目管理的理论和技术,研究和提出了一种新的基于Multi-Agent技术的大型航天研发项目风险分析方法,在此基础上针对具体项目进行了实验仿真,获取了项目的风险水平和关键风险因素,为航天研发项目风险管理与控制提供决策支持。     

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

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

折反射全景与遥感图像融合的建筑物高程自动提取方法

为了解决三维城市重建中的建筑物高程提取问题,提出一种折反射全景与遥感图像融合的建筑物高度自动提取方法.该方法分为三步,首先进行折反射全景与遥感图像的配准,然后利用配准结果提取折反射全景图像中建筑物的底部和顶部边界,最后基于边界信息,根据折反射全景成像光路跟踪模型计算建筑物的高度,整个提取过程自动完成.实验结果证明该方法...     

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

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