PCF的信息系统模型

带类型的λ－演算是一个逻辑系统，它可以作为程序语言的基础．Ｐｌｏｔｋｉｎ所引进的ＰＣＦ就是这样一类程序语言．Ｐｌｏｔｋｉｎ构造了ＰＣＦ的一个模型，然后讨论与这个模型相关的指称语义和操作语义之间的配合问题──简单配合和完全配合．本文利用Ｓｃｏｔｔ引进的信息系统概念构造ＰＣＦ的另一种模型，并证明与这个模型对应的指称语义与操作语义是完全配合的．     

不锈钢网架结构试验研究

对奥氏体不锈钢网架结构的物理力学性能、焊接性能加以分析，并进行了不锈钢焊接空心球节点承载力试验，确定了该种节点的受拉和受压承载能力。在此基础上，又做了不锈钢组合扭网壳模型的破坏性试验研究，试验结果与理论计算值比较，吻合较好。     

水泵水轮机的数值模拟及其应用

采用足够小的直线段拟合机组全特性曲线平直部分，采用二次多项式拟合机组全特性曲线弯曲部分，推导了有关方程，并对模拟的方程进行了处理，编制了较通用的计算机程序，利用该计算机程序对我国蒲石河抽水蓄能电站进行了计算分析，计算结果表明：该计算机程序计算速度较快、计算准确度较高，提出的水泵水轮机的数值模拟方法具有实用价值．     

Expert system for dispatch control in restoration of ehv power system after complete blackout

Present-day power systems operate with high reliability, and it is rare that a blackout will extend over an entire system swiftly and securely. This paper considers automatic power supply to loads after a complete blackout of a system. First, taking into account characteristics of generators, loads, and initial power sources, a method is proposed of allocating several generators to each load in parallel to the system and supplying power to the load sequentially. Second, to remove the imbalance between supply and demand of power, a method is proposed of adjusting the amount of supply and generation according to a present imbalance and the sum of past ones. Third, to automatically issue orders for start-up, parallel, follow-up, stand-by, and stoppage of generators, several rules for each power station are set and an expert system is made based on them. Finally, the expert system is applied to a model power system, and it is verified that it can restore loads without any trouble for a complete blackout which occur at any time of a day and in any restoration pattern.     

Continued fraction for formal laurent series and the lattice structure of sequences

Besides equidistribution properties and statistical independence the lattice profile, a generalized version of Marsaglia's lattice test, provides another quality measure for pseudorandom sequences over a (finite) field. It turned out that the lattice profile is closely related with the linear complexity profile. In this article we give a survey of several features of the linear complexity profile and the lattice profile, and we utilize relationships to completely describe the lattice profile of a sequence over a finite field in terms of the continued fraction expansion of its generating function. Finally we describe and construct sequences with a certain lattice profile, and introduce a further complexity measure.     

The Horace Method for Error-Correcting Codes

Here we apply the so-called Horace method for zero-dimensional schemes to error-correcting codes on complete intersections. In particular, we obtain sharper estimates on the minimum distance.     

一种测定深部岩体地应力的新方法——钻孔局部壁面应力全解除法

简要回顾了基于钻孔进行地应力测量的几种方法，并指出了这些方法自身存在的局限性。提出了一种测定深部岩体地应力的新方法-钻孔局部壁面应力全解除法。该方法的明显优点是，不需要套钻，而且在确定地应力的主值及其方向时也不需要作任何假定。从理论上讲，该方法将不受测量深度的限制，对于深钻孔是普遍适用的，这将为大陆科学钻探计划中深部岩体地应力测量提供一种新途径。     

利用二进制数算法寻找5个点的Ramsey图

用二进制数来表示完全图的各种组合,借助计算机编程可从完全图的各种组合中寻找出ramsey图。5个顶点的Ramsey图是最基本的Ramsey图,这种基本方法为寻找更复杂的Ramsey图提供了基础。     

纳米晶体Se的微观结构特征

本文采用Ｘ射线衍射和透射电子显微镜研究了纳米晶体Ｓｅ的微观结构特征．通过测定不同晶粒尺寸的纳米晶体Ｓｅ的点阵参数ａ和ｃ，发现纳米晶体Ｓｅ中存在晶格畸变，畸变量与晶粒尺寸有关．得到了纳米晶体Ｓｅ中晶胞体积变化与晶粒尺寸的关系．并由点阵参数计算出纳米晶体Ｓｅ的键长．用非晶态Ｓｅ中的无规链折叠的晶化机制解释了纳米晶体Ｓｅ中晶格畸变现象．     

氢对Ti合金的Debye温度和晶格常数的影响

使用X射线衍射仪测定出不同氢含量的Ti-30Mo合金的Debye特征温度值以及晶格常数的变化,结果表明随着氢含量的增加,Debye特征温度相应地减小而晶格常数增加,证实了氢含量的增加会导致金属原子间键合力的减弱,从而造成金属脆化。