导磁不锈钢毛的结构化研究

研制了一种新型的结构化钢毛——胶结钢毛。和传统的普通钢毛相比,胶结钢毛具有很强的结构刚度和很低的钢毛流失量;同时,对高岭土有较高的除铁效率。     

Experiments of Fast Learning with High Order Boltzmann Machines

This work reports the results obtained with the application of High Order Boltzmann Machines without hidden units to construct classifiers for some problems that represent different learning paradigms. The Boltzmann Machine weight updating algorithm remains the same even when some of the units can take values in a discrete set or in a continuous interval. The absence of hidden units and the restriction to classification problems allows for the estimation of the connection statistics, without the computational cost involved in the application of simulated annealing. In this setting, the learning process can be sped up several orders of magnitude with no appreciable loss of quality of the results obtained.     

铝对W9Mo3Cr4V高速钢组织和硬度的影响

用Ｘ－射线仪，扫描电镜和透射电镜系统研究了铝对钨钼系高速钢铸态，退火以及淬回火组织的影响，铝含量超过２．０％，淬火组织中出现含析出合金的铁素体组织和晶界屈氏体，导致钢硬的降低。     

粘土作为高放废物处置回填材料的可行性研究

本文以西北粘土为对象,对其压实行为、热传导、膨胀特性,以及吸附和渗透性能进行了初步研究,借以探讨西北粘土在高放废物处置中用作回填材料的可行性。试验表明,以西北粘土为基材,经过适当的热改性和吸附改性,在初始含水量约为9%,于70MPa 下成型,用作高放废物处置中的回填材料是可行的。     

Significance of fluid regime in biological filtration

A dispersed flow model previously developed to study substrate utilization in unsaturated media was experimentally verified and its practical application was considered. For this purpose, measurements were made using tap water and a synthetic feed solution. The importance of the change in fluid regime as regards to the simultaneous transport and reaction within biological filters were demonstrated. The effect of drop formation and the breakage of liquid jets inside the filters on substrate utilization was also shown.     

Resolution calculus for the first order linear logic

This paper presents a formulation and completeness proof of the resolution-type calculi for the first order fragment of Girard's linear logic by a general method which provides the general scheme of transforming a cutfree Gentzen-type system into a resolution type system, preserving the structure of derivations. This is a direct extension of the method introduced by Maslov for classical predicate logic. Ideas of the author and Zamov are used to avoid skolomization. Completeness of strategies is first established for the Gentzen-type system, and then transferred to resolution. The propositional resolution system was implemented by T. Tammet.     

微合金化高强度钢轧制采用的工艺技术

本文综述微合金化高强度钢轧制采用的工艺技术，其中包括热装热送、板坯加热、控轧控冷、快速冷却、采用的新设备等工艺技术。重点是生产低碳、高韧性、高强度、易焊接的造船用钢采用形变热处理技术，以提高产量和质量，节省昂贵的Ｎｉ、Ｃｒ、Ｍｏ等合金，降低生产成本。     

一种新型润滑油添加剂的质谱研究

采用独特的分离方法和途径，综合使用多种质谱分析技术，如电子轰击谱（ＥＩ／ＭＳ）、场解吸谱（ＦＤ／ＭＳ）、快速原子轰击谱（ＦＡＢ／ＭＳ）、色／质联用等，对高档齿轮油的主剂－含磷极压剂的结构组成进行了较为详尽的分析研究，提出了复酯胺盐的结构组成。     

A Study of the Specific Heats of the Compounds in the Sm_2O_3-BaO-CuO System

By means of X-ray diffraction and adiabatic scanning calorimeter,the specific heatsof five compounds in the Sm_2O_3-BaO--CuO system,such as Sm_2BaO_4,Sm_2CuO_4,BaCuO_4,Sm_2BaCuO_5,SmBa_2Cu_3O_(7-x),from -150℃ to 800℃ have been measured.It is found that the specific heats ofthese compounds increase smoothly with the increase of temperature.     

宣钢近北庄铁矿露采边坡稳定的结构分析

以宣钢近北庄铁矿露采边坡稳定性研究为例，说细说明了岩体结构分析方法的应用。