冲裁模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.     

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

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

在协议集成测试系统上开展路由协议测试

在分析路由协议的特性及其测试需求的基础上，提出利用窗口黑盒来描述被测协议，利用多通道测试方法扩展对被测实现的控制和观察，通过扩充参考实现增强系统的测试能力。将这些理论，技术应用于系统中，对路由协议开展了有效的测试活动，为国产高性能路由器的开发提供了有力的支持，也进一步增强了PITS系统的功能和适用性。     

结合试飞特点,开展专用测试设备计量确认

根据我院专用测试设备计量确认现状及需求，对开展试飞专用测试设备计量确认工作的要求，步骤、确认原则，以及编定计量确认方法进行了必要的讨论分析。     

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.     

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

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