一种新的数组逻辑结构猜想方法

许多编译优化技术都依赖于数组的逻辑结构,然而在实际的应用中,有相当多的数组是无结构的一维数组,从而妨碍了编译器的优化工作。提出了一种新的数组逻辑结构猜想算法,它能将无结构的一维数组自动变换成具有多维逻辑结构的数组,从而使编译器的优化工作成为可能。首先给出一个引理,指出猜想后的多维数组应满足的基本性质,然后基于该引理给出了猜想数组的逻辑结构应遵循的两条基本规则,最后基于这两条基本规则给出了猜想数组逻辑结构的算法。实验结果验证了所提出的数组逻辑结构猜想算法的有效性。     

解析世界武器装备与军事技术发展走势

一、削减国防预算,调整装备发展思路 受财政赤字和债务危机影响,西方主要国家纷纷削减国防预算.美国计划未来10年削减4500亿美元国防开支,法国2011～ 2013年国防预算将削减35亿欧元,英国未来4年国防预算将每年削减8％.为在预算削减的情况下保持军事优势,各国更加注重核心能力建设. 1.突出装备建设重点 在国防预算削减的背景下,主要国家调整或中止部分武器装备发展.美国计划削减F-35采购数量,中止“联合战术无线电”系统地面移动电台项目,取消海军电磁导轨炮和自由电子激光器项目,中止第30批次“全球鹰”无人机等;法国推迟“幻影2000”战斗机现代化项目;英国退役“皇家方舟”号航母,并调整新航母的建造方案,将可部署航母由2艘改为1艘,舰载机数量减少为原计划的1/3.     

中国电子科技集团公司亮相2012年亚洲防务展览会

日前,中国电科组织团队参加在马来西亚首都吉隆坡举办的2012年亚洲防务展（DSA2012）。会展上,中国电科展示了在国土防空、海岸防御、舰载作战、军事通信、通信对抗、边境防护、智慧城市等方面的强大实力。     

南宋名臣周必大的军事防御思想

周必大作为南宋著名的政治家、文学家和学者,在助政高、孝、光、宁四朝的过程中,围绕国家中兴图强这个目标,对军事问题多有论述。其军事防御思想主要体现在＂边防＂和＂平寇＂两方面。他主张＂守御＂下＂内修＂的边防观以及＂备御＂下＂斗智＂的平寇法,既是对以往军事防御思想的继承,又是他在长期的政务实践中摸索出来的重要创举,具有进步的历史意义和重要的现实价值。     

俄罗斯海军的近程防御系统

1967年10月21日,以色列海军“埃拉特”号驱逐舰使用II-15型巡航导弹在西奈半岛沿岸将两艘埃及183P型炮艇击沉。这一事件对世界海军武器装备的建设发展产生了重大影响。世界各主要海上强国迅速投入人力和物力,大力开展用于抵御反舰巡航导弹的近程防御系统的研制工作。俄罗斯海军的前身——苏联海军近程防御系统的研制也紧跟时代步伐,在发展中不断得到完善并日益成熟。     

南宋钓鱼城城池防御初探

针对古代战争研究与当今国防建设缺乏关联的问题,首次就钓鱼城保卫战经典战例对我国现代国防建设的启示意义作了研究。分析钓鱼城城池选址"独"与"险"的地理关系、筑城布局内容和多层综合防御体系这三者对战争胜利的关键影响,提出在当前国防工程规划与建设中借鉴其成功经验的观点,并从工程宏观选址、多城池防御的联防体系及军民联合的防御模式等三方面就其经验和启示意义进行归纳与总结。     

基于最优刚性编队分布式生成算法

为了描述一类特殊的刚性图,给出最优刚性图的概念。在保持队形时,最优刚性图可以减少拓扑图的复杂性。为了最大可能地减少队形通信的复杂性,研究了最优刚性编队的生成理论。首先,提出了4个命题,用以论证基于分布式的最优刚性生成方算法的可行性;其次,基于这些命题,提出了一种多智能体系统的编队算法;最后,通过仿真来验证所提算法的有效性。     

部分服务台同步多重休假的GI/M/c稳态队长

在经典GI/M/c排队中引入部分服务台同步多重休假策略,利用拟单生过程和矩阵几何解的方法,求解系统的稳态队长分布及其条件随机分解。     

用克罗内克积形式构成模糊推理中关系矩阵的新方法

通过对模糊推理的典型形式、推理方法以及推理关系的表达方式进行研究与讨论,提出了一种用克罗内克积形式表达模糊推理中关系矩阵的新方法.该方法以统一的形式成功地表达了单模糊变量与多模糊变量情况下关系矩阵的构成方法,为模糊推理的理论研究和应用提供了方便.     

双(多)基地雷达的发展及在现代防御体系中的作用

叙述了双（多）基地雷达的历史发展情况,对该雷达在现代防御体系中的优势和作用做了分析与探讨,阐述了典型的双（多）基地雷达系统及其未来发展趋势。