基于事务回退的事务存储系统的故障恢复

针对事务存储系统机制下的容错问题,提出一种基于事务回退的事务存储系统的故障恢复方法.该方法利用事务存储系统自身的版本管理机制,避免了额外的检查点数据保存开销,从而实现了事务存储系统高效的故障恢复.通过对容错事务存储系统的隔离性证明了该方法的正确性.最后,使用包括4个SPLASH-2典型用例在内的5个测试程序对该方法进行了性能测试.实验结果表明,与经典的Checkpointing机制相比,该方法在避免了额外的检查点数据保存开销的同时,还具有较低的故障恢复开销.     

SGA3722型42t矿用自卸汽车在石灰石矿山中的应用

SGA3722型矿用汽车是北京首钢重型汽车制造厂自行研制开发的系列车型，用于冶金矿山、露天煤矿、水利电力建设工地等场所运送散装物料，属于超廓型非公路车辆。具有整体造型美观、结构布局合理、技术性能先进、质量稳定可靠、价格适中等特点。     

缓解热岛效应的居住区环境绿化探讨

城市热岛效应是伴随城市建设发展出现的一种负面现象,居住区环境绿化可解决在有限的城市空间提高绿地效率、缓解热岛效应的问题。文章从城市热岛效应出发,对缓解热岛效应的居住区环境绿化布局模式、方法及相关技术研究进展等方面进行了探讨。     

能耗受限时实现性能最大化的作业管理模型

在诸如星载并行计算机这样的系统中,一定周期内,系统能耗存在上限。围绕高产出率计算的概念,针对这种能耗受限条件下性能最大化的作业管理需求,提出了一种作业分配的模型。该模型基于计算节点、作业的性能和能耗参数,动态地进行作业分配,从而在满足能耗上限的前提下获得尽可能大的计算性能。通过模拟实验,验证了该算法的有效性。     

WAP网关服务器应用形式初探

目前WAP（WirelessApplica－tionProtocol）已成为信息技术领域内的热门话题,有关这方面的文章和论述也较多,涉及到WAP的方方面面,例如协议本身、WAP的各种应用等。的确,WAP实现了二十一世纪人们随时随地"上网冲浪"的梦想,是无线通信和Internet结合的最佳模式之一。WAP应用领域也相当丰富,其最大特点在于系统结构的灵活性和协议的开放性。WAP网关服务器（WAPGatewayServer）是其中的关键部分,它与移动网络的连接方式直接决定了其应用模式和效能。本文就此议题以及进一步加强WAP网关服务器功能方面谈一下初步看法。典型的…     

2000年引黄济津输水调度浅析

2000年引黄济津，由于合理的工程设计、科学的水量调度和沿线干部群众认真保水护水，实现了历次引黄济津中最高的输水率，位山闸节约放水1．34亿m3,提前26 d完成了预定4亿m3的供水任务。1　引黄济津输水设计　　2000年引黄济津应急调水主要是利用现用河道和渠道输水，即利用黄河下游山东省聊城市东阿县位山闸引水，经位山三干渠、清凉江、清南连接渠、杨圈以下南运河，从九宣闸进入天津境内后，分两线向天津市区送水，一线经南运河至西河闸入海河干流，一线经九宣闸入马厂减河，进入北大港水库调蓄后，再由十里横河过独流减河入洪泥河至海河…     

挑流冲坑紊流场的二维数值模拟

利用代数应力模型对淹没冲击射流作用下的冲刷坑内紊流场结构进行了二维数值模拟。计算中采用贴体正交网格变换处理不规则的冲坑几何边界，用VOF方法处理自由水面条件对水流结构的影响。结果分析表明，采用的数值方法可行，计算结果合理，在此基础上，可进一步研究冲坑的消能机理和冲坑的动态发展过程。     

海河流域中小洪水调度探析

大洪水由于其巨大的破坏性和影响的广泛性而受到世人的瞩目,但中小洪水调度的好坏直接影响到随后演变而成的大洪水的灾害程度。而中小洪水调度的关键是妥善处理防洪与兴利的矛盾以及小水效益与大水安全的关系问题。通过各类防洪工程的联合运用、蓄滞洪区主动分洪恢复湿地和地下水位、下游河网联合运用延长洪水在河道的滞留时间等措施进行中小洪水优化调度,实现流域洪水资源化将是解决流域水生态环境危机的一个有效途径。     

一种循环水冷却塔系统余压余能利用的方法

在工业领域存在着许多万吨级大流量的循环水系统，系统中不仅有许多富余能量和压力，而且通过对其中不合理、不科学部分的改造，可挖掘出更多的可回收能量。循环水能发电系统是将回水能量转化为机械能以后，再进一步将其转化为电能。电能小的可以回馈到系统本身或提供给其他低耗能设备；像火电企业等这种大流量的循环水系统完全可以建立一个独立的循环水能发电站并将所发的电能直接供给电网。该系统对于节能减排具有现实意义。     

语义相关的中粒度动态更新技术研究

软件动态更新技术是保证系统长时间的可靠运转和高可配置能力的关键技术，软件系统愈趋复杂的今天，其重要性得到越来越多的认同。这一技术通常可分为以代码插入技术为代表的细粒度更新和构件级的粗粒度更新两类，两者在灵活性、适用性上都有各自的不足。本文针对现有动态更新技术的不足，将一组具有语义相关性的功能集合作为参与动态更新的对象，提出了一种应用于传统操作系统运行环境的中粒度动态代码更新机制PRODUP（PRO-vider-based Dynamic UPdate system），使得传统操作系统及应用程序也具备一定的动态更新能力，以满足应用过程中越来越多的高可用、高可配置要求。PRODUP以构件动态重配思想为基础，结合动态链接技术，使动态更新过程符合透明、低耗的要求。并基于PRODUP实现了一套可动态更新的内核模块机制，证明了PRODUP思想的可行性。