OPERATOR-SPLITTING METHOD FOR ANALYSIS OF CAVITATION IN LIQUID-LUBRICATED HERRINGBONE GROOVED JOURNAL BEARING

ＮＯＭＥＮＣＬＡＴＵＲＥｃ　ｒａｄｉａｌｃｌｅａｒａｎｃｅｈ　ｆｉｌｍｔｈｉｃｋｎｅｓｓ ｈ　ｄｉｍｅｎｓｉｏｎｌｅｓｓｆｉｌｍｔｈｉｃｋｎｅｓｓ (ｈ/ｃ)Ｌ/Ｄ　ｒａｔｉｏｏｆｌｅｎｇｔｈｔｏｄｉａｍｅｔｅｒｐ　ｆｉｌｍ ｐｒｅｓｓｕｒｅｅ　ｅｃｃｅｎｔｒｉ     

川崎钢铁公司的多用途涂层作业线

月产１２５００ｔ的多用途涂层作业线，为汽车及电气工业提供无机／有机物成分树脂和铬酸盐的薄涂层带钢产品。这种可以连续处理各种厚度带钢的二级涂层，二级洪干作线业，其操作是自动控制的。     

最佳轴承配置计算与分析的通用计算机程序

瑞典SFF公司开发了一个新的计算机程序，用于轴承配置的传统或高级分析和计算。可以处理轴承配置中有关元件、负荷和偏差大多数问题，建立了一个完全的数学模型。新程序考虑轴承、轴和轴承座的弹性变形；轴承的数学模型考虑了诸如球轴承滚道半径、滚子轴承的滚子和滚道形状等内部几何形状问题。根据新的或最初的SKF寿命理论计算的寿命都考虑了间隙、不同心度和边缘应力等因素的作用。新程序SKF应用工程师位在用户服务方面提供了有力的帮助，具有重要意义。     

A Structured Temporal Logic Language:XYZ/SE

In order to enhance the readability and to simplify the verification of temporal logic programs in the XYZ system,we propose a structured temporal logic language called XYZ/SE,based on XYZ/BE which is the basis language of the XYZ system.A set of proof rules are given and proved to be sound and adequate for proving the partial correctness of XYZ/SE programs in a compositional way.Moreover,we show that every XYZ/BE program can be transformed into an equivalent XYZ/SE program.So we have developed a general conpositional verification method in the XYZ system concerning the sequential case.     

黄海东南部散布有细粒沉积物的新证据

黄海为一冰期后沉溺的陆表浅海盆地,在地质构造上它是接受中国和朝鲜等陆块供给碎屑的稳定沉积中心。其广阔的西部分布着主要由中国诸大河供给的细粒沉积,而其狭窄的东部则分布着主要来自朝鲜半岛的粗粒沉积。     

玛丽安油田诺夫莱特组

莫比尔海湾玛丽安（MaryAnm）油田的诺夫莱特组（Narphlet）由风成砂岩和再造海相砂岩组成。     

毛管压力与Pickett图一体化确定流动单元和储集层

本文介绍了如何在Pickett图上绘出毛管压力常数、传输速度、孔喉半径以及自由水面以上高度线。综合利用这些属性可确定流动单元和储集层，并阐明了地质学、岩石物理学和油藏工程问的重要关系。流动(或水力)单元与储集层的概念在过去几年里已相当成功地用于石油工业中，并取得了丰硕的成果。传输速度K／φ可用于许多确定流动单元的实例中。井问流动单元的关系有助于确定储集层和预测储层性能。研究表明，对传输速度K／φ为常数的地层，有效孔隙度与真电阻率的Pickett交汇图为一系列相互平行的直线。直线的斜率与孔隙度指数m、含水饱和度指数n、和绝对渗透率方程中的常数有关。通过这些直线，可直接确定每一类流动单元在任意含水饱和度下的毛细管压力和孔喉半径。含水饱和度65％时的孔喉半径与Winland的r35值有很好的对应关系。以前发表的文献中没公开发表过此方法。画出K／φ常数曲线，可在Pickett图上绘出完整的毛细管压力曲线，包括束缚水饱和度和非束缚水饱和度的区域。以前用于确定给定层段绝对渗透率的经验方法是假设含水饱和度为束缚水饱和度。本文介绍了一种确定绝对渗透率的方法，它适用于层段含可动水的情况。我们通过Cdorado东南部Sorrento地区的Morrow砂岩资料和Dokoto北部Little Knife地区Mission Canyon组的碳酸盐岩资料为例说明此技术的应用情况。我们认为，流动单元可通过单对数坐标的Pickett图、毛细管压力、孔喉半径和Winland r35值一体化确定。