PCF的信息系统模型

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

用常规电阻率测井资料确定水淹层的剩余油饱和度

油田综合含水越来越高，利用电阻率测井资料确定地层的剩余油饱和度变得非常困难。针对这一问题，提出了确定地层水民阻率和含油饱和度的方法。（１）利用已知的地怪水分析资料，采用井下自然电位刻度，井间对经和双自然电位一方法来示准地层水混合电阻率，然后利用相邻井相同地层的电阻率对比方法求含水饱和度。（２）利用电阻率的横向探测特性，避开阿尔奇公式中ｍ、ａ选择上的困难，采用横向法计算水淹层目前的含水饱和度。利用以     

Taste recognition threshold concentrations of styrene in oil-in-water emulsions and yoghurts

Taste recognition threshold concentrations (TRTC) of styrene were determined in samples of oil-in-water emulsions (30–300 g kg^?1 oil) and yoghurts (1–30 g kg^?1 fat), spiked with styrene. The observed TRTC increased linearly with increasing fat content and ranged from 0–3 to 2–1 mg kg^?1 for the emulsions and from 36 to 171 g kg^?1 for the yoghurts. Styrene equilibrium partition coefficients between emulsions and their respective vapour phases were determined. The concentrations of styrene in the continuous aqueous phase of the emulsions and yoghurts were calculated at the TRTC. The styrene concentrations in the continuous phase had constant values of about 15 g kg^?1 indicating that perception of styrene for oil-in–water emulsions is determined by the aqueous phase of the emulsion. The concentrations of styrene in the vapor phases above the emulsions and yoghurts were also calculated and were found to be constant at the TRTC. This relationship probably resulted from the equilibrium of distribution of styrene between the respective phases. Commercial yoghurt packed in polystyrene beakers contained styrene levels in the range 2–11 g kg^?1, much lower then the TRTC reported.     

对象模型及其模型化方法——一种深知识的表示模型

本文介绍了对象模型和深知识等概念,在这些概念的基础上还讨论了基于框架知识表示形式的复杂系统的模型化方法.文中给出的模型化方法是通过 ISA 关系和 PART-OF 关系的相结合而形成的.这种模型化方法可用于基于深知识的设计型、分析型以及控制型等类型的专家系统.     

Discrete-time adaptive sliding mode power system stabilizer with only input/output measurements

In this paper a discrete-time adaptive sliding mode control method is newly developed and applied to the power system stabilization problem. A controllable canonical form of state space realization is constructed using the parameters identified by the on-line recursive least squares method and the system state is estimated from the input/output measurements and the simple state transformations. The identified parameters and the estimated state are then used by the discrete-time sliding mode control, which is suitable for the digital equipment. The most important advantage of the proposed power system stabilizer (PSS) is that it is able to maintain its regulating performance with a slower sampling period than that of the conventional sliding mode PSS because it is developed in a pure discrete-time domain. Another advantage of the proposed PSS is that it needs neither a mathematical model of the power system nor the full-state measurements because they are identified through on-line identifications. Several computer simulations for the linear power system are performed to verify the performance of the proposed PSS. In the computer simulations for various circumstances which are probable in a power system are considered, such as transitions of the active and reactive powers, change of parameters of the synchronous machine, line-to-ground faults and measurement noise. As a result, a new power system stabilizer which can operate in a wide range of operating conditions and can overcome various disturbances and measurement noises is proposed.     

冶钢小方坯连铸机结晶器液面控制系统故障分析及对策

本文针对某一钢铁厂的一套小方坯连铸机结晶器液面自动控制系统，对其故障原因进行了深入分析，指出导致系统控制性能达不到设计要求长期无法投入运行的主要原因，并提出了相应的解决方法。     

K418B合金细晶铸造整体涡轮真空热处理工艺研究

通过力学性能评估和金相组织观察，研究五种热处理制度，两个周期的试验结果，确定了Ｋ４１８Ｂ合金细晶铸造整体涡轮的真空热处理工艺。     

稀土萃取信息系统

应稀土化学发展的需要,我们组建了稀土萃取信息系统。其中包括:数据的来源和数据类型;数据的组织;检索功能;数据间的关联;最优化设计以及萃取剂结构与其物理性质和结构与萃取性能的相关分析研究。     

关系数据库在专家系统中的应用

在传统的专家系统中，对推理机工作过程的控制是程序实现的。本文介绍了一个用数据库技术引导推理过程的专家系统－精神分裂症诊断专家系统（ＥＳＳＤ）的推理控制策略。在这个专家系统中，作者将有关推理过程的控制信息用关系数据库技术进行存储和管理，达到了将控制策略数据化的目的。将数据库技术引入到专家系统的推进控制机制中可以使控制策略比较容易调整，且而可以大大压缩程序篇幅，显著提高系统运行效率，为专家系统的结构设     

微型集散系统通用过程控制软件包

本文给出一种新的基于ＭＣＳ－５１单片机集散系统通用过程控制软件包的设计原理及其实施方法。文中重点地阐述了微型集散系统的构在民，通用过程控制软件的自动生成，主要数据结构与程序结构，实现方法及关键技术等。本软件包是采用ＴＵＲＢＯＣ２．０版本和ＭＣＳ－５１泄编语言编程的，并通过了ＭＣＳ－５１组合软件的编译，形成了可用的目标码程序系统。