冲裁模CAD／CAM结构库之原型法

本文首先给出了一种新的2.5D 实体表示法,然后在此基础上提出了“原型”的概念。原型法的思想运用在结构库的管理中主要体现在它将模具结构与构成这种结构的零件之间的强联系变成弱联系,结构库面向的对象是一个具有整体性和可运算性的结构原型。这样的原型结构库基本上达到了通用性与开放性的要求。     

Type inference in stack based languages

We consider a language of operations which pass parameters by means of a stack. An algebra over the set of type signatures is introduced, which allows the type signature of a program to be obtained from the type signatures of its constituent operations.Although the theories apply in principle to any stack based language, they have been evolved with particular regard to the proposed ANSI Standard Forth language, which is currently implemented in a type free manner. We hope this work will stimulate an interest in Forth amongst those applying algebraic techniques in software engineering, and we hope to lay the theoretical foundations for implementing practical type checkers to support Forth.     

新世纪我国压铸业与国际接轨的思考

针对中国压铸行业的现状和存在的问题 ,以及当前的机遇和面临的挑战 ,论述了中国压铸工业进入 2 1世纪所面临的新形势及应采取的对策     

石油测井仪器可靠性指标探讨

在分析常用可靠性指标及其应用现状的基础上，根据可靠性理论及石油测井仪器的特点。提出了石油测井仪器的可靠性模型。在探讨常用可靠性指标对石油测井仪器适用性的同时，提出将平衡稳定工作时间NWTURE和免维修测井井次NOLWNM作为石油测井仪器可靠性指标的思想；探讨了获取可靠性指标的途径。给出了推荐使用的石油测井仪器可靠性指标。     

Efficient mixed Timoshenko–Mindlin shell elements

The precise representation of rigid body motions in the displacement patterns of curved Timoshenko–Mindlin (TM) shell elements is considered. This consideration requires the development of the strain–displacement relationships of the TM shell theory with regard to their consistency with the rigid body motions. For this purpose a refined TM theory of multilayered anisotropic shells is elaborated. The effects of transverse shear deformation and bending‐extension coupling are included. The fundamental unknowns consist of five displacements and eight strains of the face surfaces of the shell, and eight stress resultants. On the basis of this theory the simple and efficient mixed models are developed. The elemental arrays are derived using the Hu–Washizu mixed variational principle. Numerical results are presented to demonstrate the high accuracy and effectiveness of the developed 4‐node shell elements and to compare their performance with other finite elements reported in the literature. Copyright © 2002 John Wiley & Sons, Ltd.     

Model validation and model structure determination

This paper gives a tutorial overview of basic approaches for model validation and model structure determination.Work partially supported by the Swedish Research Council for Engineering Sciences under contract 98-654.     

Efficiency of repeated batch penicillin fermentation using two fermentors. Computer simulation and optimisation

Repeated batch operation using two fermentors (RBTF) to penicillin fermentation was demonstrated by computer simulation to improve productivity. Three operation modes were compared: chemostat, repeated batch operation using a single fermentor (RBSF) and RBTF; in each case account was made of the lag period before growth. The simulated fermentor performances were assessed on the basis of the penicillin productivity and concentration; the simulation was based on published batch fermentation data. It was shown that RBTF was superior to RBSF and chemostat. The advantage of RBTF increased as the lag period became greater.     

砂基中泥浆盾构法隧道施工开挖面稳定性试验研究

 通过模型试验，对泥浆盾构施工中泥浆维持开挖面稳定的力学机理，开挖面前缘土体的应力变化规律，泥浆压力作用机理及泥皮形态进行了研究，提出了中粗砂地基中临界泥浆压力 公式。     

准噶尔盆地侏罗系储集层的基本特征及其主控因素分析

从描述储集层基本特征、分析储集层性质的主控因素、建立储集层成因模式和评价、预测储集层性质这 4个层次 ,研究准噶尔盆地重点勘探目标区的侏罗系储集层。系统总结侏罗系储集层岩石学特征 ,认为成岩压实作用强弱是控制储集层性质的关键因素 ;指出相对优质储集层均为剩余原生粒间孔隙型储集层 ,溶蚀作用对渗透率贡献小 ;非煤系储集层的孔隙保存条件明显比煤系储集层好 ,这是三工河组、头屯河组和吐谷鲁群的物性普遍优于八道湾组和西山窑组的原因。在确定储集层性质的控制因素和控制机理基础上 ,建立了煤系和非煤系两大类储集层的成因 演化模型。在上述研究的基础上 ,分地区、分层位评价了储集层 ,并预测了不同渗透率储集层的深度界线及相对优质储集层的平面分布。图 6参 10