Results of a User Study on 2D Hurricane Visualization

We present the results from a user study looking at the ability of observers to mentally integrate wind direction and magnitude over a vector field. The data set chosen for the study is an MM5 (PSU/NCAR Mesoscale Model) simulation of Hurricane Lili over the Gulf of Mexico as it approaches the southeastern United States. Nine observers participated in the study. This study investigates the effect of layering on the observer's ability to determine the magnitude and direction of a vector field. We found a tendency for observers to underestimate the magnitude of the vectors and a counter‐clockwise bias when determining the average direction of a vector field. We completed an additional study with two observers to try to uncover the source of the counter‐clockwise bias. These results have direct implications to atmospheric scientists, but may also be able to be applied to other fields that use 2D vector fields.     

广义AND／OR图的自底向上的启发式搜索算法BHAO

本文首先根据三角模概念，定义了一类新的更具普遍意义的广义ＡＮＤ／ＯＲ图．根据新定义的启发式函数ｈ（ｎ，ｘ）以及广义ＡＮＤ／ＯＲ图的最佳解树之所有子树亦是最佳子解树的原理，提出了广义ＡＮＤ／ＯＲ图的自底向上的启发式搜索算法ＢＨＡＯ．文中证明了算法ＢＨＡＯ的可采纳性．本文还提出了两类新的启发式函数的单调限制概念，并据此研究了算法ＢＨＡＯ的单调限制性质，研究了两个ＢＨＡＯ算法间的比较性质．     

Water-saving strategies for irrigation agriculture in Saudi Arabia

Agriculture policy changes in Saudi Arabia are investigated by water footprint (WF) assessment. WF is calculated with the model SPARE:WATER for 3758 irrigated sites. The WF of agriculture areas (WF_area, km³ yr^?1) has decreased (–17%) since the year 2000 to 13.84 km³ yr^?1 (2011), which is mainly caused by the reduction of cropland by –33%. Nevertheless, water consumption per field has increased about 16%, which can be attributed to the cultivation of fodder crops (+12%). A scenario analysis revealed that a shifting cropping pattern towards less fodder crops reduces WF_area by –15%, and implementing improved irrigation technology leads to a combined reduction of up to 32%     

黑河综合遥感联合试验涡动相关通量数据处理及产品分析黑河综合遥感联合试验涡动相关通量数据处理及产品分析

涡动相关通量数据的处理及质量控制是保证各涡动观测台站数据质量的重要步骤。“黑河综合遥感联合试验”(Watershed Allied Telemetry Experimental Research,WATER)从2007年底到现在连续观测积累了大量涡动相关通量观测资料。使用经过改进的EdiRe软件对盈科站、阿柔站和关滩站3个站点的原始涡动数据进行预处理和质量控制。通过异常值及野值点剔除、倾斜修正、超声虚温修正、时间滞后校正、频率响应修正和空气密度效应修正（WPL修正）等基本处理生成Level\|1数据产品;再通过大气状态平稳性检验、总体湍流特征检验以及湍流通量统计特征分析等初步质量控制,生成Level\|2数据产品。以盈科绿洲站2009年7月份涡动相关数据为例,着重介绍涡动相关数据处理过程中各校正方法的重要性及不同校正方法对湍流通量计算的贡献。结果表明：超声虚温修正后感热通量比修正前减少约7.7%;时间滞后校正后潜热通量和CO²通量分别增加了3.9%、2.7%;频率响应修正后感热通量、潜热通量及CO2通量分别增加了2.7%、10.5%、11.6%;WPL修正后潜热通量增加了1.7%,CO²通量减少了9.8%。最后将Campbell实时处理结果与Level\|1产品及Level\|2产品进行对比分析,并对黑河流域各涡动站做了总体数据精度评价,阿柔站数据质量最好,盈科站次之,关滩站较差。
     

VLSI并行测试生成系统的一种动态层次框架

随着VLSI技术的发展和计算机性能的提高,并行测试生成系统不仅必需而且可行,本文在总结已有并行技术的基础上,提出了并行测试生成系统的一种动态层次框架,并给出了一种实现方案。     

忆阻器状态逻辑中与操作的高效设计与实现

作为电阻、电容、电感之外的第4种基本电路元件,忆阻器自2008年被发现以来受到学术界和产业界的广泛关注.忆阻器的阻值记忆效应和纳米工艺制造方式使其被认为可用于构建未来更大容量和密度的存储器,逐渐替代FLASH等现有存储器件.除存储功能外,HP公司在2010年《Nature》上发表的文章表明,忆阻器还可以通过以蕴含为基础的状态逻辑实现任意逻辑运算.研究了忆阻器状态逻辑的另一种操作——与操作,提出了一种更加高效的与操作实现方法,该方法不需要增加额外的忆阻器,降低了激励电压的复杂性,减小了误差,使运算更加简便高效.最后通过SPICE模拟仿真对提出的方法进行了验证.     

显式与或图的一种新的贪心搜索算法

文中提出了一种性能很好的能找出显式含圈与或图的最佳解图的贪心算法，给出了其严格的正确性证明，并简单分析了其复杂性。     

A distributed deadlock detection algorithm for mobile computing system

The mode of mobile computing originated from distributed computing and it has the un-idempotent operation property, therefore the deadlock detection algorithm designed for mobile computing systems will face challenges with regard to correctness and high efficiency. This paper attempts a fundamental study of deadlock detection for the AND model of mobile computing systems. First, the existing deadlock detection algorithms for distributed systems are classified into the resource node dependent （ RD ） and the resource node independent （RI） categories, and their corresponding weaknesses are discussed. Afterwards a new RI algorithm based on the AND model of mobile computing system is presented. The novelties of our algorithm are that： 1 ） the blocked nodes inform their predecessors and successors simultaneously; 2） the detection messages （agents） hold the predecessors information of their originator; 3 ） no agent is stored midway. Additionally, the quit-inform scheme is introduced to treat the excessive victim quitting problem raised by the overlapped cycles. By these methods the proposed algorithm can detect a cycle of size n within n - 2 steps and with （ n^2- n - 2 ）/2 agents. The performance of our algorithm is compared with the most competitive RD and RI algorithms for distributed systems on a mobile agent simulation platform. Experiment results point out that our algorithm outperforms the two algorithms under the vast majority of resource configurations and concurrent workloads. The correctness of the proposed algorithm is formally proven by the invariant verification technique.     

Studies of microstructural changes upon retrogression and reaging (RRA) treatment to 8090 Al – Li – Cu – Mg – Zr alloy

Abstract

Microstructural changes upon retrogression, and retrogression and reaging (RRA) treatment to 8090 Al – Li – Cu – Mg – Zr alloy in the peak aged (T8) temper have been studied by XRD and TEM. The variation of hardness with retrogression, and retrogression and reaging (RRA) has been measured to assess RRA behaviour. XRD studies exhibited all the phases that would be expected in the system. Retrogression primarily caused dissolution of matrix strengthening δ' precipitates in the solution. Reaging the retrogressed state caused reprecipitation of the δ' precipitates in the matrix. Retrogression and reaging (RRA) treatments retained the strength of the conventional peak aged temper, but TEM observations revealed some microstructural changes, such as growth of δ', T₁ and S' phases, reduction of the dislocation densities, and generation of more dislocation loops and helices.     

基于“双芯”51内核的学习机设计

嵌入式系统在教育领域的应用产生了各种类型的学习机,重点论述了一种基于M CS-51内核的“双芯”的嵌入式学习机系统,满足了职业学校学生录入练习的需求。通过对这个系统的分析和论述提出一种在51内核上运行复杂系统的方法。