湖北大冶重质碳酸钙超细粉碎研究

以湖北大冶某重质碳酸钙（GCC）为原料,采用湿法行星磨超细加工工艺,研究了磨矿浓度、分散剂用量、磨矿时间及磨矿介质配比等对磨矿粒度的影响;在最优工艺条件下,可获得d90〈2.5μm、-2μm含量〉85%的超细方解石粉体;SEM形貌观察多为片状,表面平整,颗粒均匀。     

Water shortage in GCC countries: transferring water from Iraqi Kurdistan Region

ABSTRACT

The Gulf Cooperation Council (GCC) countries lack renewable freshwater resources, yet demand for water is rising fast. The groundwater as the largest freshwater supplier has significantly dwindled and its quality has degraded. Desalination of seawater is increasingly used but the process is risky and it has huge impacts on the environment. Rainfall generally is too little to rely on. This paper discusses the water situation in GCC countries and proposes water transfer from the Iraqi Kurdistan Region (IKR). It argues that desalination cannot be the only future solution for water shortage; additional sources can be developed. Water from IKR can alleviate the existing water shortage problem.     

面向DSWP并行的OpenMP任务调度机制的扩展与实现

多核处理器能够提升多线程程序的性能,但早已存在的诸多单线程程序无法从中获益,程序员也习惯于编写单线程程序.自动并行化技术是将单线程程序移植到多核上的重要手段,但是当循环中存在无法确定的数据依赖或复杂的控制流时,传统的自动并行化技术无法取得良好效果.Ottoni等人针对传统自动并行失败的循环提出了Decoupled Software Pipelining(DSWP)算法用以实现指令级的细粒度并行,但其需要对处理器体系结构的深入了解以及对核间通信队列和专用指令的硬件支持,并行性能和应用广泛性受到限制.基于OpenMP应用编程接口实现的DSWP并行不依赖于硬件上对核间通信队列和专用指令的支持,且不受平台的限制,但现有的OpenMP任务调度机制无法满足DSWP并行中对任务调度的需求.对现有的OpenMP任务调度机制进行扩展,增加了任务与线程绑定的属性,保证了基于OpenMP的DSWP并行程序的正确执行.在GCC的OpenMP运行库libgomp中扩展了任务绑定属性子句的功能,扩展后的GCC作为OpenMP DSWP程序的基础编译器,为自动并行提供支持.通过对基准测试集NPB3.3.1的测试表明,传统自动并行失败的循环,经OpenMP DSWP自动并行后在双核处理器上平均加速比达到1.23以上;使用添加了OpenMP DSWP算法的Open64编译器生成的并行程序,与仅使用传统自动并行方法的Intel 编译器和Open64编译器所得程序相比,平均加速比分别高出22％和26％.     

GCC下基于引用次数的VLIW编译技术研究

VLIW机器的并行特性,导致其以最大限度地提高执行效率作为评判编译器性能的依据,而现今局部调度的使用已达到瓶颈.本文讨论了基于引用次数的全局trace调度在VLIW结构的MISC3270系统上的实现,它克服了目前局部list调度只能在基本块内部进行优化的限制,大大提高了系统的ILP.     

Energy Policies of Gulf Cooperation Council (GCC) countries—possibilities and limitations of ecological modernization in rentier states

Bahrain, Kuwait, Oman, Qatar, Saudi Arabia, and the United Arab Emirates are major oil and natural gas producing countries that make up the Gulf Cooperation Council. The six GCC countries fall in the top 25 countries of carbon dioxide emissions per capita and are perceived as the main actors blocking international climate change negotiations. The aim of this article is to discuss from a policy perspective the capacities of the GCC states to switch toward an ecological modernization of their energy sectors. At the beginning of the paper, I analyze the benefits of transforming oil wealth into funding for renewable energy and energy efficiency. After this, I discuss obstacles to such a transformation process based on the rentier states theory. Finally, I investigate governance of the GCC on all levels (international, regional, and local). The article shows that the GCC countries have recently adopted a more pro-active approach toward ecological modernization. This reorientation has not yet resulted in the development of consistent strategies and policies, however. The concluding assumption based on the concept of policy transfer is that pioneering projects such as Masdar City and innovative regulation like the green building code in Dubai will spread within the GCC.     

高岭土重质碳酸钙混合样品物化性能研究

将高岭土和重质碳酸钙按一定的质量比混合,研究不同比例混合样品物化性能的变化,结果显示混合样品的白度和黏浓度性质,随着重质碳酸钙含量的增加而呈升高趋势,对这一变化的原因进行了初步探讨。     

基于浅海多径时延的复合码水声测距研究

针对浅海环境单发单收水声测距方法运算复杂度较高、易受水下特殊环境影响的问题,提出一种低复杂度且适用于水声多径信道的测距方法。首先将复合码作为同步测距信号应用于水声测距系统,支持快速、准确的信号同步和多径时延检测,然后提出改进加权函数的广义互相关(GCC)算法提取多径时延,最后引入匹配函数将多径时延与传播路径正确匹配,并结合双曲线、三角形等几何方法计算收发端之间的距离。仿真结果表明,在多径及低信噪比(-10 dB)环境下,复合码同步捕获准确率达100%且运算复杂度较低,与相位变换-广义互相关(PHAT-GCC)算法相比,改进加权函数的GCC算法多径时延检测性能提高了将近6 dB,在此基础上,实现了单接收节点对水下目标的测距。     

基于程序控制流图源代码相似程度分析系统

源代码相似程度分析在软件工程和计算机教学等领域都有重要的应用.软件工程领域的源代码盗窃和著作权纠纷仲裁,计算机教学领域的学生作业作弊分析都需要源代码相似程度的分析.良好的源代码相似程序分析软件还可以应用于相似代码聚类和搜索引擎的源代码搜索领域.尽管源代码相似程度分析问题由来已久,但是这个问题并没有令人十分满意和惊喜的研究结果.源代码有其特殊结构,使用传统的纯文本相似度分析显然是不合适的.将首先介绍这个问题的研究历史和进展,简单分析这个问题的难点所在,继而介绍一个新的基于程序控制流图分析的源代码相似程度分析系统,并给出其算法和实现细节.文章最后将分析这个方法的优劣所在,讨论这个方法的进一步改进方向.     

基于值剖视的编译优化

介绍在GCC编译器中利用值剖视识别收集变量的不变特征信息并指导代码优化工作的方法。NPB基准测试程序的测试结果表明,GCC基于值剖视的优化引入的开销小,与边剖视一起使用时能获得较好的优化效果,在不同程序间显示出一定的优化针对性和局限性,值剖视信息的类型与数量、优化种类等存在较大的改进空间。