压力容器材料质量控制的几个重要环节

针对压力容器材料方面存在的问题,从设计、采购、检验、制造等环节进行了分析,根据实际情况确定材料的质量控制要点。材料使用前要通过各种检测手段,判断材料的真实性,确保所用材料合格;并应从设计、选材、采购、计划、填报内容和选择可靠的供应方等方面加以控制,确保材料的正确使用,为压力容器产品的材料控制提供借鉴。     

A method for the efficient prioritization of infrastructure renewal projects

The infrastructure renewal program at MIT consists of a large number of projects with an estimated budget that could approach $1 billion. Infrastructure renewal at the Massachusetts Institute of Technology (MIT) is the process of evaluating and investing in the maintenance of facility systems and basic structure to preserve existing campus buildings. The selection and prioritization of projects must be addressed with a systematic method for the optimal allocation of funds and other resources. This paper presents a case study of a prioritization method utilizing multi-attribute utility theory. This method was developed at MIT's Department of Nuclear Engineering and was deployed by the Department of Facilities after appropriate modifications were implemented to address the idiosyncrasies of infrastructure renewal projects and the competing criteria and constraints that influence the judgment of the decision-makers. Such criteria include minimization of risk, optimization of economic impact, and coordination with academic policies, programs, and operations of the Institute. A brief overview of the method is presented, as well as the results of its application to the prioritization of infrastructure renewal projects. Results of workshops held at MIT with the participation of stakeholders demonstrate the feasibility of the prioritization method and the usefulness of this approach.     

THE APPLICATION OF COKELET''''S WAVE THEORY IN THE CALCULATION OF WAVE-CURRENT FIELD

By using Cokelet's wave theory,the limiting wave height and the relative waveangular frequency in wave-current field were calculated in this paper.It is indicated by numeri-cal calculation that if the water depth is not too small,the result given by authors'calculationare very close to the results of limiting wave height by Dalrymple(1975)and to the data of rel-ative wave angular frequency by linear wave theory;but if water depth is rather small,thereare some discrepancy,     

微波高压提取快速测定饲料含氟量的探讨

采用微波高压制样技术,快速提取饲料中的氟元素,结合氟离子选择性电极标准添加和电位极差测试方法,能够快速、准确地测试饲料中的含氟量     

压水堆核电厂用全自动多螺栓四同步安装机的结构创新研究

首先在结构上创造了新型螺栓、螺母和一套崭新的安装机。在主机上去掉了精密、复杂、昂贵的机器人或机械手，改用结构简单的集成齿轮机构，以实现同步旋拧功能；运用现代流体传动与控制的理论，建立流本控制的数学模型和传递函数，从而实现了4个同步安装的效果。     

A New Approach to Abstract Syntax with Variable Binding

The permutation model of set theory with atoms (FM-sets), devised by Fraenkel and Mostowski in the 1930s, supports notions of ‘name-abstraction’ and ‘fresh name’ that provide a new way to represent, compute with, and reason about the syntax of formal systems involving variable-binding operations. Inductively defined FM-sets involving the name-abstraction set former (together with Cartesian product and disjoint union) can correctly encode syntax modulo renaming of bound variables. In this way, the standard theory of algebraic data types can be extended to encompass signatures involving binding operators. In particular, there is an associated notion of structural recursion for defining syntax-manipulating functions (such as capture avoiding substitution, set of free variables, etc.) and a notion of proof by structural induction, both of which remain pleasingly close to informal practice in computer science. Received October 2000 / Accepted in revised form April 2001     

由有穷自动机构造正则表达式的新算法

本文借助图论的理论，通过识别回路和不包含回路的由起始状态到终止状态的路径的方法，提出一种构造给定有穷自动机对应的正则表达式的新算法，并给出具体实例。     

High-Pressure (up to 140 MPa) Dynamic Viscosity of the Methane and Toluene System: Measurements and Comparative Study of Some Representative Models

The dynamic viscosity of toluene and methane mixtures containing 25.03, 37.19, 49.95, 64.11, and 95.00 mol% methane has been measured using a falling-body viscometer. The measurements (280 data points) have been performed in the temperature range 293.15 to 373.15 K and at pressures up to 140 MPa. The data have been discussed in the framework of recent representative models (hard-sphere scheme, friction theory, and free-volume model) as well as with simple mixing laws and empirical models (particularly the LBC model and the self-referencing model) used in the literature. This comparative study shows that the average absolute deviation of the models is between 4.9 and 26.8%, and the maximum deviation is between 11.6 and 49.5%.     

综合防渗技术在黄岗水库防渗加固工程中的应用

水库大坝综合防渗加固技术具有投资省、防渗墙体连接均匀完整可靠、防渗效果好、施工速度快等特点.通过黄岗水库的实践,为该项技术的推广提供了一个典型实例工程.     

A remark on bilinear systems and moduli spaces of instantons

Explicit equations are given for the moduli space of framed instantons as a quasi-affine variety, based on the representation theory of noncommutative power series, or equivalently, the minimal realization theory of bilinear systems.