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

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

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语言进行了描述,最后给出了一个典型的应用例子。     

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

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

丽江市古城区注重加强专武干部队伍建设

近年来,云南省丽江市古城区人武部通过把好“三关”加强基层专武干部队伍建设,取得了实在成效。一是把好入口关。选拔基层武装部长,经区人武部党委提名,区委组织部、区人武部其同考察、集体把关,报区委研究后由区人武部任命;将基层武装干事录用纳入地方招考公务员的总体计划统一组织实施,人武学院毕业生、部队转业干部和退伍军人优先录用。     

补钙,从“大五”开始

2012年9月份,西安通信学院研究生管理大队8队9队新来了三百多名国防生,半年过去了,他们情况如何呢?种种"不合理"现象2012年7月份,从西安邮电大学毕业的国防生阮博希刚入校,对部队的种种情况不理解:"为什么别人做错了,大家都要‘吃药’?"从河南理工大学毕业的学员张晓曦来到西安通信学院之后,看到学院正规的管理氛围,半个月之后,平时"野愤"了的他感到压抑,甚至"心灰意冷"。     

《武警学院学报》征稿简则

《武警学院学报》为月刊,常年开设:边防研究、警卫研究、维和研究、思想政治工作、部队建设、后勤工作、法学研究、文史研究、理论园地;消防理论、灭火救援、消防评价与设计、防火技术、消防管理、火灾调查等栏目,热诚欢迎各界专家学者惠赐佳作!为进一步提升本刊的学术质量,提高来稿的规范化水平,确保学报编辑出版工作又好又快地发展,特对来稿作如下要求:     

第七期澳门消防官研修班在学院举办

6月2日下午,澳门保安部队高等学校许少勇校长率第七期澳门消防官研修班来院研修考察,该校综合训练中心主任雷华龙及中央政府驻澳联络办警联部副处长邓松柏陪同来访。学院政委崔     

求真务实 砥砺奋进

乘着十八大胜利召开的东风,踏着科学发展的节拍,我们款步迈入2013年,《武警学院学报》也翻开了全新的一卷。值此辞旧迎新之际,编委会和编辑部全体同仁向长期给予学报关爱与支持的领导、专家、作者、读者拜年了,向奋战在边防、消防、警卫、维和战线的各位战友致以最诚挚的新春问候及最崇