岭澳核电工程38m平台边坡处理

岭澳核电重件道路施工中所遇到的38m的观景平台在大亚湾核电站占有重要地位,在工程施工中发现边坡坡体陡峭,无法达到规范规定的稳定要求,故采取了加固措施。采用抗滑稳定计算的分析方法,对边坡加固的必要性及实施加固后的稳定性进行了分析。     

Active set truncated-Newton algorithm for simultaneous optimization of distillation column

An active set truncated-Newton algorithm (ASTNA) is proposed to solve the large-scale bound constrained sub-problems. The global convergence of the algorithm is obtained and two groups of numerical experiments are made for the various large-scale problems of varying size. The comparison results between ASTNA and the subspace limited memory quasi-Newton algorithm and between the modified augmented Lagrange multiplier methods combined with ASTNA and the modified barrier function method show the stability and effectiveness of ASTNA for simultaneous optimization of distillation column.     

Seeking the truth about ad hoc join costs

In this paper, we re-examine the results of prior work on methods for computing ad hoc joins. We develop a detailed cost model for predicting join algorithm performance, and we use the model to develop cost formulas for the major ad hoc join methods found in the relational database literature. We show that various pieces of “common wisdom” about join algorithm performance fail to hold up when analyzed carefully, and we use our detailed cost model to derive op timal buffer allocation schemes for each of the join methods examined here. We show that optimizing their buffer allocations can lead to large performance improvements, e.g., as much as a 400% improvement in some cases. We also validate our cost model's predictions by measuring an actual implementation of each join algorithm considered. The results of this work should be directly useful to implementors of relational query optimizers and query processing systems. Edited by M. Adiba. Received May 1993 / Accepted April 1996     

简易炉外处理在电炉钢生产中的应用

阐述了小电炉采用投资少，见较快，简单易行的炉外处理措施，提高了钢质量和生产率，生产实践和应用结果表明，本措施可为同类型企业的炼钢工艺完善和技术进步提供参考。     

寻找非构造油气藏的新思路

目前,一种新的理论体系和研究方法已经形成,并正在发展和逐步完善。那就是层序地层学和油气成藏系统理论的诞生和发展;以及由计算机的快速发展带动起来的地震测井资料的采集、处理、显示和各种地质问题的计算机模拟技术,使得地质学和石油地质学都在朝着从定性到定量,从推测到更科学的预测方向发展。在今后的5～10年中,中国的石油地质家们不仅要注意方法和技术方面的进步,还应当重视在陆相层序地层学和陆相层序中油气成藏机制等基本理论方面的研究。     

混合型表面活性剂液膜法处理含酚废水研究

研究了兰－１１３Ｂ＝Ｓｐａｎ－８０－－煤油ＮａＯＨ液膜体系处理苯酚废水的最佳操作工用于对高浓度含酚废水进行处理，实验结果表明，混合型表面活性剂各项指标均较好，除酚效率可达９９％以上，对内相ＮａＯＨ的最佳浓度的确定给出了估算方法。     

The formalization and analysis of a communications protocol

The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE protocol expressed in the notation CCS. Desirable properties of the protocol are expressed in the modal mu-calculus, an expressive modal logic. We show that the protocol lacks an important liveness property. In actual operation, additional operating constraints are checked to avoid potential problems. We present a modified protocol and show that it possesses the liveness property even without checking operating constraints. We also show how parts of the analysis were automated with the Concurrency Workbench.     

连铸铝镇静钢的钢水准备

在连铸生产铝镇静钢时,水口絮流一直是困扰工程技术人员的一个难题.从絮流的原因入手,分析了Al2O3生成的控制.并介绍了几种钢水钙化的方法,从中比较出用复合造渣材料来解决浇铸铝镇静钢的优点.     

从长贮试验看引信零件表面处理方式选择

总结了历年长贮试验情况，分析了防腐层变化的原因，指出了引信零件在选择表面处理方式时应注意的问题。