Developing real-time knowledge-based systems with PERFECT

PERFECT (Programming EnviRonment For Expert systems Constrained in reasoning Time) is aimed at providing the necessary engineering support in real-time knowledge-based system development. PERFECT bridges the gap between the traditional analysis and design methodologies, and the implementation tools for these systems. It does so by providing the means to construct a knowledge model and to choose a suitable inference strategy. Subsequently the properties of the knowledge model and inference strategy may be analysed. For instance, it may be checked whether the knowledge model contains sufficient knowledge to diagnose a fault in an industrial process. Moreover, it may be checked whether the inference engine is able to provide an answer to a certain problem in time. If not, the analyser of PERFECT proposes an alternative structure of the knowledge model. When the constructed knowledge model and the chosen inference strategy show the required time efficiency, the compiler of PERFECT may translate them to an actual real-time knowledge based system in COGSYS. In addition, guidelines are provided with respect to the design of the human-machine interface. The resulting system is an instrument—a source of information that can be used by the human operator during problem-solving, rather than a prosthesis—a device that solves the entire problem by itself and presents the outcome to the human operator.     

Mathematical modelling of the alcoholic fermentation of glucose by Zymomonas mobilis mobilis

The kinetics of alcoholic fermentation of a strain of Zymomonas mobilis, isolated from sugarcane juice, has been studied with the objective of determining the constansts of a non-structured mathematical model that represents the fermentation process. Assays in batch and in continuous culture have been carried out with different initial concentrations of glucose. The final concentrations of glucose, ethanol and biomass were determined. The following kinetic parameters were obtained: μ_max, 0·5 h^?1; K_s, 4·64 g dm^?3; P_max, 106 g dm^?3; Y_x/s, 0·0265 g g^?1; m, 1·4 g g^?1 h^?1; α, 17·38 g g^?1; β, 0·69 g g^?1 h^?1.     

计算机模拟技术在小型梯级电站群中优化运行的研究

研究了渠道梯级电站群的运行特点，在分析基础上建立了这类电站群化高度的分解协调模型，并采用模拟和动态规划相结合的方法，求解了海南松涛灌区５级电站群的优化调度问题．且求解优化模型的基础上对渠道梯级电站群系统和站内运行提出了具体的调控规则．     

重力式油水分离设备的计算模型

针对重力式油水分离设备设计理论尚不完善，设备设计尚处经验阶段，设备性能指标评价体系尚未建立的实际，在基于大量实验研究和理论分析的基础上，从引入分散相的粒径分布模犁入手，通过对临界粒径的分析，揭示了分离效果、设备结构与介质特性三方面之间的内在联系，由此建立了重力式油水分离设备的效率计算模型与设备设计计算模型。此外，本文还引入了粒级效率的概念，并论述了粒级效率与分离效率之间的关系与区别，澄清了多年来在设备分离效果上的一些模糊概念。     

桩土物理模型及结构—桩—土相互作用

本文将工程中常用的密集打桩土体模拟为正交各向异性弹性体。建立了刚性基础-桩-土这一空间相互作用系统的模型。根据圆柱体柱坐标的极点条件。分别选取了两组位移函数来表征桩基和土的位移,并用子区间法分析了结构-桩-土系统的相互作用地震反应。     

Coding distributive lattices with Edge Firing Games

In this note, we show that any distributive lattice is isomorphic to the set of reachable configurations of an Edge Firing Game. Together with the result of James Propp, saying that the set of reachable configurations of any Edge Firing Game is always a distributive lattice, this shows that the two concepts are equivalent.     

非相态稀体系三元复合驱油机理数学模型

在引进的UTCHEM数值模拟软件基础上，建立了非相态稀体系三元复合驱油机理数学模型，并利用所建立的数学模型对UTCHEM数值模拟软件进行了改进，对改进后的模型进行的模拟功能测试结果表明，模拟计算给出的水驱，聚合物驱和三元复合驱综合含水率变化曲线符号实际开采规律；三元复合驱比聚合物驱较大幅度地降低了油层剩余油饱和度，说明所建立的非相态稀体系驱油机理数学模型能够正确地模拟三元复合驱过程。     

基于色度分析的唇动特征提取与识别

本文提出了一种基于色度滤波的唇动特征提取与识别方法 ,它通过唇的色度滤波 ,得到增强的唇动图像 ,再利用可变模板 ,描述口型轮廓并提取特征参数 ,并用HMM模型进行唇运动序列图像识别 .该方法鲁棒性强 ,对光照没有苛刻的要求 ,且针对非特定人 ,适用于自然条件下的实用环境 ,解决了可变模板对目标边缘有较高分辨率的要求 ,使方法更实用化 .本文的实验是基于单纯的视觉信息 (没有声音信道的信息 )的唇动识别 ,不加语音信息 ,实验集合只限于单韵母 ,识别率可达 95 8% .     

利用分形几何确定多孔介质的孔尺寸分布

提出了利用分形几何确定多孔介质孔尺寸分布的方法。考虑多孔介质中孔间的屏蔽，采用此方法得到的孔尺寸分布范围比采用平行孔模型宽，分别采用本方法和平行孔模型测定γ－Al2O3催化剂的孔尺寸分布，构造简单立方体三维网络模型模拟压汞过程，并将模拟曲线与γ－Al2O3压汞实验曲线比较，结果表明，采用本方法所得孔尺雨分布优于平行孔模型所得孔尺寸分布。     

储层地质模型与油藏模拟模型之间的桥梁——一种有效的模型粗化方法

针对油田储层地质模型向油藏模拟模型转化中粗化软件存在的问题 ,提出了一种实用的网格粗化方法 ,并编制了模型粗化程序 ,还给出了检验粗化结果的 5个要点。应用效果表明 ,该粗化方法是有效的 ,它较好地解决了地质模型与油藏模型之间的转化问题