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）由风成砂岩和再造海相砂岩组成。