给水流量控制系统仿真辅助设计

本文将给水流量系统规范化，给出静、动态数学模型，通过计算机仿真计算建立起设计参数Ｓ与系统特性间关系数据库，这些数据可用于控制系统辅助设计。本文还介绍了在Ｓ较小时自动补偿系统增益和时间常数的自适应控制方法并给出仿真结果。     

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