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个同步安装的效果。     

汽轮机转子热应力在线计算灰色数学模型

热应力计算中边界条件、物性参数和初始条件等模型输入参数的灰色特性，使得以近似点值为输入得到的计算结果缺乏准确性依据和度量，该文提出的灰色数学模型，用区间数代替近似点值建立灰色数学模型，得出热应力在线计算值的灰色描述，可以更好地符合工程计算需要。文中针对模型应用的复杂程度，以汽轮机转子为对象，对单纯灰边界问题给出了简单的端点计算法及其依据；对复合灰边界灰物性问题建立了差分格式的数学模型，应用区间高斯迭代算法，结合模型结构特点推导了简易的基于内包含不等式的算法，并且给出两种算法的数值算例对比。     

气固流化床中非线性特性的多尺度分析

Deterministic chaos theory offers useful quantitative tools to characterize the non-linear dynamic behavior of a fluidized bed and the developed complexity theory presents a new approach to evaluate finite sequences. In this paper,the non-linear,hydrodynamic behavior of the pressure flutuation signals in a reactor was discussed by chaos parameters and complexity measures.Coherent results were achieved by our multi-scale analysis,which further exposed the behavior in a gas-solid two-phase system.     

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     

人参皂苷Rg分子轨道微扰理论的研究

人参皂苷Rg是具有生理活性的物质，它包括三个异构体：Rg1；Rg2；Rg3其中R83具有很强的抗癌作用。本文通过休克尔分子图形理论对Rg异构体的各分子轨道进行约化，并且根据分子轨道微扰理论求出它们不同本征多项式和本征值。     

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

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

社会比较对薪酬不公平感的心理作用机制

运用社会比较理论,分析了在组织内部影响薪酬不公平感的社会比较类型与评判内容;利用对比效应与同化效应,解释了薪酬不公平感的形成。在此基础上,探讨了人力资源管理中减少或克服人际攀比带来不良影响的途径。     

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.     

Some Notes on the Formal Properties of Bidirectional Optimality Theory

In this paper, we discuss some formal properties of the model ofbidirectional Optimality Theory that was developed inBlutner (2000). We investigate the conditions under whichbidirectional optimization is a well-defined notion, and we give aconceptually simpler reformulation of Blutner's definition. In thesecond part of the paper, we show that bidirectional optimization can bemodeled by means of finite state techniques. There we rely heavily onthe related work of Frank and Satta (1998) about unidirectionaloptimization.