Store Atomicity for Transactional Memory

We extend the notion of Store Atomicity [Arvind and Jan-Willem Maessen. Memory model = instruction reordering + store atomicity. In ISCA '06: Proceedings of the 33rd annual International Symposium on Computer Architecture, 2006] to a system with atomic transactional memory. This gives a fine-grained graph-based framework for defining and reasoning about transactional memory consistency. The memory model is defined in terms of thread-local Instruction Reordering axioms and Store Atomicity, which describes inter-thread communication via memory. A memory model with Store Atomicity is serializable: there is a unique global interleaving of all operations which respects the reordering rules and serializes all the operations in a transaction together. We extend Store Atomicity to capture this ordering requirement by requiring dependencies which cross a transaction boundary to point in to the initiating instruction or out from the committing instruction. We sketch a weaker definition of transactional serialization which accounts for the ability to interleave transactional operations which touch disjoint memory. We give a procedure for enumerating the behaviors of a transactional program—noting that a safe enumeration procedure permits only one transaction to read from memory at a time. We show that more realistic models of transactional execution require speculative execution. We define the conditions under which speculation must be rolled back, and give criteria to identify which instructions must be rolled back in these cases.     

嵌入式大容量数据采集系统设计

设计了一种基于AT91RM9200微处理器的工业监控现场嵌入式大容量数据采集系统,简化了现场设备层的布线难度,减小了现场设备模拟信号在传输过程中的衰减程度,为后期设备故障诊断和趋势预测提供了更为精确的数据信息。     

Finite element modeling of borehole heat exchanger systems: Part 2. Numerical simulation

Single borehole heat exchanger (BHE) and arrays of BHE are modeled by using the finite element method. Applying BHE in regional discretizations optimal conditions of mesh spacing around singular BHE nodes are derived. Optimal meshes have shown superior to such discretizations which are either too fine or too coarse. The numerical methods are benchmarked against analytical and numerical reference solutions. Practical application to a borehole thermal energy store (BTES) consisting of 80 BHE is given for the real-site BTES Crailsheim, Germany. The simulations are controlled by the specifically developed FEFLOW-TRNSYS coupling module. Scenarios indicate the effect of the groundwater flow regime on efficiency and reliability of the subsurface heat storage system.     

低沸点可燃组元混合物贮运过程动态可燃烧性

通过热力学状态及数值分析法对含可燃组分混合物在贮运过程中动态可燃烧性进行研究。当可燃组元为低沸点的可燃混合物时，得出其在贮运过程中发生泄漏捍的燃烧爆炸性与工质性质，可燃组元浓度，泄漏持续时间，系统及环境温度有关，指出低温汽相泄漏的初始时刻泄漏的可燃浓度有可能达到临界可燃浓度，当其与空气以适当的比例混合，而泄漏的局部温度由于磨擦或碰撞等原因快速升高时，有发生燃烧爆炸事故的可以 ，以R32／134a为例给出泄漏时的动态可燃性规律，研究结论对可燃组分混合物在贮运过程中的了燃防爆有参考价值。     

中间仓库自动化系统开发与应用

介绍了存储各种石油套管及管坯的大型无人自动化仓库控制系统的硬件结构、软件功能及控制思想。该系统运行可靠、具有广泛的通用性和较大的推广价值     

基于Autolisp的数据表格处理在机械CAD中应用

利用Autolisp语言的表处理特点，采用数据函数存储法和数据文件存储法存储数据，通过通用的检索函数，可以方便地检索出所需的数据，速度快、通用性强。     

试题库的数据加载与数据文件共享

运用数据库管理系统的数据加载技术以及对多媒体档链接与嵌入的OLE技术，结合试题库管理应用系统的开发，在数据的组织、数据加载、数据件共享等方面进行了探讨。     

Assessing biological control of Acarus siro by Cheyletus malaccensis under laboratory conditions: Effect of temperatures and prey density

In stored grain, the predatory mite Cheyletus spp. may be used to control the pest mite Acarus siro. The efficiency of control depends on many factors, particularly ambient temperature. In this study we investigated the effects of temperature and initial prey density on the prey–predator system under laboratory conditions. Ratio–response models were fitted to estimate the efficiency of control for three temperatures. At 15 °C a 90% reduction of A. siro was achieved by releasing nine Cheyletus malaccensis individuals into a population of 100 A. siro individuals in 1 kg of grain. At 20 °C, 90% reduction required seven C. malaccensis individuals and at 25 °C, it required three C. malaccensis individuals. Without the predator the intrinsic rates of increase of A. siro populations increased with temperature and were highest for an initial density of 100 individuals, revealing some form of positive interaction among A. siro individuals during food processing. The intrinsic rates of increase of C. malaccensis populations also increased with temperature and decreased with increasing density of the predator, presumably as a result of interference competition among predators.At 15 °C the rate of increase for A. siro was higher than that for C. malaccensis, while at higher temperatures it was the other way around. Lower developmental thresholds were 10 °C for A. siro and 13.6 °C for C. malaccensis. In order to find when an artificial release of C. malaccensis is most efficient we simulated a population increase of A. siro using temperature records from one grain store. In Central Europe this type of biological control can be efficient only when the predator is released at the beginning of storage, i.e. in September and October.     

重庆市既有大中型商场建筑集中空调能耗调研与分析

通过对重庆市既有大中型商场建筑空调能耗数据的调查研究分析，发现既有商场建筑空调系统中各个部分存在的问题如设计不合理，设备选型过大，输送设备配置不合理，运行管理方式落后等。在此基础上指出目前重庆市既有商场建筑空调系统能耗较高产生的原因，并针对问题进行其节能潜力分析，提出适宜重庆市既有商场建筑的节能改造的合理化建议。     

Chain store game based channel allocation in cognitive radio system

In adaptive channel allocation for secondary user(SU) of cognitive radio(CR) system,it is necessary to consider allocation process from the temporal perspective.In this article,a chain store game is modeled to achieve SU's equilibrium state.Due to the computational complexity of solving equilibrium states,the authors explore the correlated equilibrium(CE) by importing signal mechanisms based on time and sequence number.Also,correlated equilibrium based game algorithms are presented.Simulations show that the...