基于中间表示规则替换的二进制翻译中间代码优化方法

动态二进制翻译在实现多源到多目标的程序翻译过程中,为屏蔽不同源平台间的硬件差异引入中间代码,采用内存虚拟策略进行实现,但同时带来中间代码膨胀问题。传统的中间代码优化方法主要采用对冗余指令进行匹配删除的方法。将优化重点聚焦在针对特殊指令匹配的中间表示规则替换上,提出了一种基于中间表示规则替换的二进制翻译中间代码优化方法。该方法针对中间代码膨胀所呈现的几种典型情景,描述了中间表示替换规则,并将以往应用在后端代码优化上的寄存器直接映射策略应用在此处。通过建立映射公式,实现了将原来的内存虚拟操作替换为本地寄存器操作,从而降低了中间代码膨胀率。使用SPEC CPU2006测试集进行了实验,验证了此优化方法的正确性和有效性。测试用例在优化前和优化后的执行结果一致,验证了优化方法的正确性;优化后测试用例的中间代码平均缩减率达到32.59%,验证了优化方法的有效性。     

梁纯弯曲的大变形分析

在平面应力问题中 ,分析了在梁端截面作用沿高度线性分布外力时纯弯梁大变形的几何非线性问题。给出了纯弯曲应力的精确解 ,并用欧拉法得到了位移的近似解。当泊桑比为零时 ,求得位移的精确解。     

前苏联发展反卫星武器的回顾

随着军用卫星的种类变化和性能提高 ,以及为谋求外层空间作战的军事优势 ,前苏联一直在积极发展反卫星武器。介绍了前苏联反卫星武器的组成、特点、技术方案及其发展情况 ,最后归纳了关于前苏联反卫星武器的几点看法。     

战略决策模拟中的态势表现

战略决策模拟中,态势表现是实现模拟可视化的关键,具有举足轻重的作用,其研究与实现是一项具有相当难度的课题.首先分析战略态势表现所要解决的两个基本问题,即态势数据和可视化表现;其次着眼于两者的分离,按照面向对象的设计思想,提出了一种面向对象的战略态势表现实现思路;最后,给出了开发战略态势表现系统的基本工作思路.在决胜系列战略决策模拟系统的开发中,按照该思路实现了态势表现子系统,较好的满足了模拟需求.     

The poverty of power in military power: how collective power could benefit strategic studies

Strategic studies deals intimately with the topic of power. Most scholars in the discipline work with a concept of power as an adversarial zero-sum competition. This is natural and necessary. However, other conceptions of power developed within political science and sociology could enrich strategic studies. Approaching two typical, traditional tasks of strategy – alliance building and war-fighting – this article demonstrates the heuristic mileage of theories of collective power. In particular, we can shed new light on the post-Cold War transformation of NATO as well as state-building as a strategy in counter-insurgencies with new ideas of power. Broadening the palette of theories of power is thus valuable if strategic studies is to prosper as an independent field of study.     

Hybrid warfare through the lens of strategic theory

Hybrid warfare is the latest of the terms/concepts that have been used within the defence community in the last three decades to label contemporary warfare. It has been officially adopted in the core strategic documents of NATO, EU and national governments and has already inspired many articles, policy papers and books; however, this paper is unique in the sense that it analysis the hybrid warfare concept through the lens of strategic theory. It is argued that hybrid warfare does not merit the adoption as a doctrinal concept. Strategic theory instead, which lies at the nexus of all dimensions of warfare, provides a better viewpoint to approach contemporary warfare. It concludes that efforts should be directed towards exploring warfare under the light of eternal principles instead of proving the emergence of new types of warfare.     

The rise and fall of counterproliferation policy

The US government initiated a Defense Counterproliferation Initiative to address the concern that, in the post-Cold War years, the proliferation of nuclear, biological, and chemical weapons would be widespread and create a significant challenge to the US military’s combat operations. In particular, non-nuclear states might use chemical or biological warfare agents against US forces with the belief that nuclear weapons would not be used against them in retaliation. Following the events of September 11, 2001, defense strategy and policy shifted to a wider view of the threat of adversarial use of “weapons of mass destruction” (WMD) and the term “counterproliferation” was replaced by “combating” or “countering WMD.” Over time, the Defense Department increasingly moved away from counterproliferation principles with the detrimental effect of losing capabilities that US forces still need for contemporary adversaries. This shift has been aggravated by other US government agencies’ use of “counterproliferation” in lieu of what would have been termed “nonproliferation” activities in the 1990s. The loss of clarity within the US government on these terms has led to the inability to focus the “whole of government” on this significant national security challenge. To alleviate this challenge, the US government needs a top-down initiative to refocus policy on the distinctly different aspects of WMD with respect to military combat operations, combating terrorism, and homeland security.     

陆军武器装备建设智能化转型思考

智能化战争形态加速演变,为新时代陆军装备建设带来严峻挑战。必须充分认清陆军武器装备建设智能化转型形势任务,正确把握智能化陆战的基本内涵、典型特性和能力要求等需求牵引,科学确立陆军武器装备体系智能化转型总体思路和发展目标,加快推进陆军武器装备体系智能化建设发展,为新型陆军“迈向智能”奠定基础。     

基于模糊多目标对策的雷达反干扰策略优化

考虑到单部雷达反干扰效能评估指标多样化、模糊且存在不同权重的情况,在对策论基础上提出了一种雷达反干扰策略优化模型,并在考虑局中人偏好情况下,设计了一种模糊多目标对策最优混合策略求解算法,为找出较优化的雷达反干扰策略以及为战场决策提供参考。     

新型光电装备免费及按比例组合保修策略

通过对新型光电装备故障规律和实际保修的需求分析,在原有规定保证期内免费保修策略基础上进行优化,提出免费及按比例保修组合策略概念,建立该策略对应的费用模型及可用度模型,得到费效比函数。同时通过对某新型光电装备保证期内维修保障工作应用组合保修策略开展实例建模,得到最优策略并分析证明提出该组合策略的实用性和可行性。