一种高效的支持原位计算的三角矩阵乘法向量化方法

向量处理器的向量化算法映射是难点问题。提出一种高效的支持原位计算的三角矩阵乘法向量化方法,采用将L1D配置为SRAM模式,用双缓冲的乒乓方式平滑多级存储结构的数据传输,使得内核的计算与DMA数据搬移完全重迭,让内核始终以峰值速度运行,从而取得最佳的计算效率;将不规则的三角矩阵乘法计算均衡分布到各个向量处理单元,充分开发向量处理器的多级并行性;将结果矩阵保存在乘数矩阵中,实现原位计算,节省了存储空间。在Matrix上的实验结果表明,提出的向量化方法使三角矩阵乘法性能达到1053.7GFLOPS,效率为91.47%。     

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

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

The Dilemmas of US Maritime Supremacy in the Early Cold War

After World War II, the US Navy confronted the challenge of adapting to dramatically altered geopolitical circumstances. Moscow did not have an ocean-going fleet, and early Cold War strategy was dominated by the salient position of nuclear strategic bombing – a mission thought to be outside the purview of the navy. Traditional roles, such as protecting sea lines of communication and supporting ground forces ashore, quickly proved indispensable. However, the navy eventually also succeeded in fielding dramatic technological and institutional innovations, for example, the strategic missile submarine, which enabled the US to successfully leverage maritime power against the continental power of the USSR.     

In the right place at the right time: US signals intelligence relations with Scandinavia,1945–1960

This paper demonstrates that US–Scandinavian intelligence relations in general, and Signals Intelligence (Sigint) relations in particular, during the period 1945 through 1960 were more extensive and complicated than had previously been believed. Bilateral US intelligence liaison relations with nominally neutral Sweden were of particular importance in the early years of the Cold War given its geographic location adjacent to the northwestern portion of the USSR. Moreover, the importance of Sigint received from the three principal Scandinavian countries covered by this paper (Norway, Denmark, and Sweden) proved to be quite important to the US intelligence community during the early years of the Cold War, when the US Sigint infrastructure was relatively weak and stretched thin by commitments in Asia and elsewhere. This paper covers the quantity, quality, and types of intelligence information provided to the US by each of the Scandinavian nations, demonstrating that the nature of US intelligence relations with these countries changed substantially as time went by.     

Insurgency by the numbers I: A reconsideration of the ecology of communist success in jiangxi province,China

Theorizing about Taliban operations in Afghanistan has its limits and it is possible that Kabul-centric strategies do not adequately address the unique circumstances of each region in the country. How exactly has the Taliban gone about attaining its objectives in Kandahar province and how have those approaches evolved since 2002? And how have the Taliban adapted to coalition forces' attempts to compete with the insurgency and stamp it out? The answers to these questions are critical in the formulation of any counterinsurgency approach to Afghanistan.     

一元二次四元数单边多项式的求根公式

随着四元数代数广泛应用于量子力学、惯性导航及控制论等学科,四元数多项式的求根问题被许多学者关注。最近Janovska和Opfer从理论上给出了一种n次四元数单边多项式零点的求解方法,Feng和Zhao进一步给出了一般n次四元数单边多项式的零点显性表达式。 本文根据Feng和Zhao的结果对一元二次四元数单边方程的根进行了讨论,并利用复数域上四次多项式的Ferrari求根公式建立了一元二次四元数单边方程的求解公式。与文献中现有的结果相比,本文建立的求根公式在许多方面展现了优越性。     

航天测控系统任务可靠性分析的EOOPN模型

提出了一种可用于航天测控系统任务可靠性分析的扩展面向对象Petri网（extend object-oriented Petri nets, EOOPN）模型,旨在对给定的航天测控方案进行可靠性评估分析。针对问题特点明确了OOPN扩展思路,给出了EOOPN模型的形式化定义、运行规则和建模步骤,模型通过引入公共库所、激发弧、消息变迁和消息处理函数等概念,体现了面向对象的思想,具有很好的层次性和模块性。所建立的EOOPN模型能够完整的描述航天测控系统的组成和任务特点。通过对算例模型仿真运行,表明实验结果具有良好收敛性,与Markov解析值对比误差在1%以内,从而验证了模型的有效性。     

公安边防情报工作中电子证据证明力问题研究

电子证据相较于传统证据,其具有的独有特征,给公安边防情报部门确认其证明力带来了困难.分析公安边防情报工作中电子证据的概念、特征和来源,探讨公安边防情报工作中电子证据的认定和保障问题.     

谈谈政治理论课的基地教学

当前,军队院校的政治理论课教学,以教员课堂讲授为主,重课堂理论教学、轻社会实践锻炼的现象比较严重。这种传统的教学模式不利于创新型人才培养和教育转型的需要。政治理论课必须向基地教学延伸。