院士戴浩的“人生三境”

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

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

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

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

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

星上路由查找设计与算法实现

针对星上路由器的路由查找功能展开研究。通过分析比较多种路由查找算法,利用软硬件协同设计的思想,给出了星上路由查找的设计与适合硬件查找的Trie树实现。给出了算法实现程序,通过实例分析了算法的优点。结果表明设计可以满足宽带卫星通信系统业务的需求。     

基于SLA的QoS监管和带宽动态调配研究

目前网络发展所要解决的主要问题之一就是提供具有不同服务质量QoS(Quality of Service)要求的多种IP业务。为了实现对具有QoS要求的IP网络及业务的管理与控制,人们引入服务等级协定SLA(ServiceLevel Agreement)。文章研究如何基于SLA对IP网络进行QoS监管进而实现端到端线路带宽资源的动态调配,提出了一种基于SLA的QoS监管和带宽动态调配管理框架,并进行原型系统实现;最后,搭建实验室演示场景,通过视频播放系统验证所提方法的可行性。     

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

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

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

一种用于区分服务路由器的crossbar调度算法

宽带路由器一般采用crossbar交换开关。Crossbar交换开关对QoS (QualityofService)的支持十分重要。提出一种支持IETF区分服务 (DifferentiatedService)服务模型的crossbar调度算法———OSP (OutputSerialPolling) ,该算法带宽利用率高 ,支持报文优先级。与目前存在的同类算法相比 ,具有硬件实现简单的优点     

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

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

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

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