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     

蒸汽压法测定导热油热分解温度的研究

根据克拉贝龙—克劳修斯方程，建立了国内外文献未见报道的测定导热油热分解温度的试验装置和试验方法，测定了大量国内外导热油的热分解温度，数据表明该法具有准确、简单、实用、省时、省力等优点     

Catalytic decomposition of HCFC22 (CHClF2)

The catalytic decomposition of CHClF₂ was studied over various acidic metal oxides in a fixed-bed reactor. The Cr₂O₃ZrO₂ exhibited the highest activity. The presence of water vapor in the reaction system suppresses the transformation of oxides to fluorides, progresses the formation of CO₂, and it improves the catalysts life.     

关于彩色火焰蜡烛的研制

本文阐述了利用焰色反应的原理研制彩色火焰蜡烛，着重分析并解决了在研制工作中出现的几个技术关键，如主燃剂的选取、蜡烛成型和强度、发色剂的选择与用量等．     

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

目前,一种新的理论体系和研究方法已经形成,并正在发展和逐步完善。那就是层序地层学和油气成藏系统理论的诞生和发展;以及由计算机的快速发展带动起来的地震测井资料的采集、处理、显示和各种地质问题的计算机模拟技术,使得地质学和石油地质学都在朝着从定性到定量,从推测到更科学的预测方向发展。在今后的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.     

符号运算在求解车辆传动系扭振中的应用

介绍符号运算方法在用拉普拉斯变换方法求解车辆传动系扭振过程中的作用．针对弹性联轴器的匹配计算，给出了具体求解实例．实践表明，与传统的纯数值计算方法相比，符号运算方法可以方便准确地处理车辆传动系统扭振分析中的非线性等复杂问题，具有推广应用价值．     

A NEW ALGORITHM FOR ADAPTIVE LATTICE FILTERAND ITS APPLICATION IN THE SPEECH LINEARPREDICTIVE SYNTHESIS

In this paper, an adaptive line spectral pair filter is derived from an adaptive lattice filter. A least-mean-square(LMS) type adaptive algorithm used to calculate directly the line spectral pair(LSP) coefficients on a stage-by-stage basis is presented. Experimental results show that the algorithm has higher convergence rate and lower misadjustment as compared with the other algorithms. The LSP coefficients calculated by the algorithm have been used to carry out speech linear predictive synthesis, resulting in better results than PARCOR coefficients.     

Mechanization techniques for poplar development in Turkey

Annual commercial poplar wood production in Turkey is about 3.6 million cubic meters, half of which comes from hybrid poplar I-214. The poplar plantation areas of Turkey are 70% of the poplar plantation areas of the Near and Middle Eastern countries, and nearly 5% of the world. In this study, unit times of standard operations were investigated in poplar nurseries and plantations in which new mechanical technology was applied and compared with traditional methods. Analyses of unit times were made on 11 treatments for poplar nurseries and nine treatments for poplar plantations; some new methods are also recommended. Mechanization methods based on new technologies give promising results in poplar nurseries and plantations.