高墩连续刚构桥施工控制分析

以门善大桥为例,探讨了高墩预应力混凝土连续刚构桥施工控制,首先建立有限元仿真分析模型,对施工阶段及成桥阶段的挠度、内力及稳定性进行定量分析;其次对施工现场的实测数据与理论计算值进行对比分析,掌握桥梁实际施工状态,确保桥梁施工质量与安全．     

面向SNS用户访问行为的Web缓存预测替换

为了提高web缓存性能,在已有缓存替换算法的基础上加入预测机制,提出了一种面向社交网站(SNS)用户访问行为特征的预测替换算法.通过研究SNS的用户行为模型,引入预测对象集,减小了替换风险,提高了缓存命中率.为了验证所提算法的性能,进行了大量仿真实验,结果表明,该算法在基于SNS使用行为的缓存方面,具有提高命中率的优越性.     

基于可靠性理论的岩土工程反分析设计

在工程技术领域以可靠性理论为基础的极限状态分析方法能够考虑设计参数的随机性,比以固定安全系数为根据的传统分析方法更为科学,由于在岩土工程中存在大量的不确定和不确知因素,应用可靠性理论解决岩土工程中的问题一直比较困难,但有很好的应用前景.参照现有成果和统计数据,提出了基于可靠性理论的岩土工程参数反分析设计基本过程和方法:建立结构体系的极限状态方程,确定反分析设计参数及其概率分布,并计算设计参数与可靠性指标β的关系,再根据建筑物安全等级或设计要求确定目标可靠性指标β*从而反推出设计参数.最后应用Monte-Carlo方法,说明了基于可靠性理论的刚性桩复合地基面积置换率m的设计以及土坡稳定分析中土性参数的选取.     

制氧机闲置的氪、氙回收设备的恢复利用

将三套全提取空气分离设备的氪氙系统进行组合,实现互联、互替,从而解决了其中一套氪氙系统设备因缺陷而不能生产的问题。     

泸州长江铁路大桥水中主墩施工技术

四川省隆纳铁路泸州长江铁路大桥属特大桥，其2#、3#水中主墩采用大型双壁钢围堰沉井基础方案。该工程施工难度大，风险高，通过介绍该工程的施工技术和措施，为今后同类桥梁的施工积累了宝贵的经验。     

MDM3的缓存替换策略研究

文中从基于国产DBMS—DM3的MDM3体系入手，在分析了当前各种替换策略优缺点的基础上，提出了语义簇的概念及结构，给出了适合MDM3的缓存物理存储结构及缓存替换策略，最后给出了详细的替换算法。     

关于抗撞桥墩设计与计算问题

分析了影响河道发生事故的概率和损坏桥梁概率的各种因素，给出概率的数学模型以判断桥梁在该河道上发生碰撞的可能性，其次，对影响船舶撞击力的因素：船舶撞击能量，标准船舶的选择，撞击力，撞击力作用点及撞击速度等进行了分析和讨论，给出了撞击力的计算方法，同时对，如何增强桥梁自身的防撞能力和采取的防撞措施进行了具体建议。     

电压互感器误差试验中负荷的替代计算与应用

指出了在电压互感器误差试验中，电压负荷箱相互替代使用的方法，包括直接替代、串联和并联替代以及应注意的问题。     

快速更换大钟吊杆和拉杆的措施

液压炉顶大钟吊杆和拉杆出现弯曲会影响大钟和大钟斗的密封 ,从而影响高炉的稳定顺行。结合安钢 6# 高炉大钟吊杆和拉杆弯曲后的实例检修 ,旨在说明在日常检修中可以实现快速更换大钟吊杆和拉杆 ,并提出在快速更换过程中的注意事项     

Partial redundancy elimination for access expressions by speculative code motion

We present a new memory access optimization for Java to perform aggressive code motion for speculatively optimizing memory accesses by applying partial redundancy elimination (PRE) techniques. First, to reduce as many barriers as possible and to enhance code motion, we perform alias analysis to identify all the regions in which each object reference is not aliased. Secondly, we find all the possible barriers. Finally, we perform code motions in three steps. For the first step, we apply a non‐speculative PRE algorithm to move load instructions and their following instructions in the backwards direction of the control flow graph. For the second step, we apply a speculative PRE algorithm to move some of them aggressively before the conditional branches. For the third step, we apply our modified version of a non‐speculative PRE algorithm to move store instructions in the forward direction of the control flow graph and to even move some of them after the merge points. We implemented our new algorithm in our production‐level Java just‐in‐time compiler. Our experimental results show that our speculative algorithm improves the average (maximum) performance by 13.1% (90.7%) for jBYTEmark and 1.4% (4.4%) for SPECjvm98 over the fastest algorithm previously described, while it increases the average (maximum) compilation time by 0.9% (2.9%) for both benchmark suites. Copyright © 2004 John Wiley & Sons, Ltd.