INTERNATIONAL REGIME OF FRESH FUEL SUPPLY AND SPENT FUEL DISPOSAL

Recent events in Iran and elsewhere demand a reevaluation of the need for increasing nuclear fuel supplies and assuring reliable flow of fuel to nuclear power user states vis-à-vis the need for strengthened security for all countries against the use of weapons of mass destruction (WMD). The right of countries to a guaranteed supply of nuclear energy for peaceful uses must be balanced with the global community's desire to limit flows of nuclear material and sensitive nuclear facilities that could create opportunities for nuclear proliferation. This article proposes elements of an international regime of fresh fuel supply and spent fuel disposal that will guarantee fresh fuel supplies to countries honoring their obligations under the Treaty for the Non-Proliferation of Nuclear Weapons (NPT), while reducing concerns about diversion of spent fuel for weapons purposes. A specific application to countries with small pre-commercial uranium enrichment plants is also proposed.     

A PANEL DATA ANALYSIS OF THE NEXUS BETWEEN DEFENCE SPENDING AND GROWTH IN THE EUROPEAN UNION: A COMMENT

Abstract

This paper explains and assesses the UK experience with determining prices and profitability for non-competitive defence contracts. Three periods are considered, namely pre-1968, the 1968 Profit Formula Agreement and the changes introduced in 2014. Two cases of ‘excessive’ profits were major determinants of the 1968 Profit Formula Agreement; but continued dissatisfaction with the 1968 Agreement led to changes in 2014. The historical overview of UK experience provides a basis for understanding current UK policy and offers insights for other countries facing similar policy challenges. A critique is presented of UK policy on single source pricing and profitability.     

银河机向量线性代数库的并行算法研究及优化

文中对YH-1标量线性代数库进行并行算法研究:改造串行算法,挖掘其中的向量成份,实行并行计算。根据并行机的特点采取有效的程序优化措施,设计出银河机向量线性代数库。该库采用各种直接解法的并行算法求解各类线性代数问题,精度好,运行速度快(当n=300时,向量库运行速度平均为标量库的13倍)。     

公安边防人力情报源可信度影响因素分析

公安边防部队的情报来源以人力情报源为主,通过社会学研究方法对公安边防人力情报源可信度影响因素进行分析,得出5大类影响因素,并对所得结果加以解释,分析计算出各影响因素重要程度权重值,对公安边防人力情报源可信度影响因素重要性进行了排序,为构建公安边防人力情报源评价指标体系奠定基础。     

武警部队“忠诚卫士文化”建设历程探析

以《武警年鉴》原始资料为基础,从三个阶段简述武警部队“忠诚卫士文化”建设的历程：以武警部队重新组建为标志,忠诚卫士文化建设进入自发发展时期;以“中国武警十大忠诚卫士”评选为标志,忠诚卫士文化建设进入迅速发展时期;以《武警部队先进军事文化建设纲要》颁发为标志,忠诚卫士文化建设进入有意识地打造品牌的时期。     

基于奇异谱分析的盲源分离单通道语音增强算法研究

针对盲源分离算法无法直接对单路含噪语音信号进行分离的问题,提出一种基于奇异谱分析的盲源分离单通道语音增强算法.通过对单路含噪语音信号进行奇异谱分析,将其低频分量作为第二路观测信号,利用改进的最大信噪比盲源分离算法进行处理,从而实现语音信号和噪声的分离.实验结果表明,该算法能够有效抑制噪声,提高信噪比,起到良好的语音增强效果.     

无航速具有自由液面的三维脉动源Green函数的数值积分方法

提出了一种计算无航速具有自由液面的三维脉动源Green函数的方法.采用零阶Bessel函数的Laplace变换,将无航速具有自由液面的三维脉动源Green函数变形为易于截断处理的形式,实现无穷积分向有限积分的转变.采用样条插值技术和自适应方法解决了高振荡函数的数值积分的速度和精度问题.对半球浮体进行了数值计算,结果令人满意,表明了该方法的有效性和实用性.     

基于类成员后向切片的面向对象程序回归测试

程序切片是一种重要的程序分析方法,类成员级粒度的切片技术目前仅仅有Tip提出的类层次切片技术.Tip提出的类层次切片技术其分析基础是Rossie-Friedman的类层次框架,但主要用于面向对象程序的优化,并不适用于回归测试.本文基于Rossie-Friedman的类层次框架提出类成员后向切片方法,并提出一个覆盖类的方法一级的回归测试策略.     

基于最少谓词思想的可达路径选择

对于结构测试中的不可达路径问题,仅仅使用传统的不可达路径排除方法存在很大的限制性,应用效果一般.积极选择可达路径的思想可有效减少不可达路径的产生.目前,基于最少谓词思想的路径生成方法得到广泛的认可.了解可达路径选择思想后,主要介绍一种基于数据流信息的,具体应用基本程序切片技术来生成可达路径的方法,该方法可生成几乎有最少谓词的路径,有较好效果.     

武器雷达装备RCM分析决策系统

详细介绍了武器雷达装备RCM分析决策系统的体系结构、功能模块划分和数据库设计方法,并给出了系统的实现方案以及后续开发的设想。