投产气井的模糊聚类分析

根据过去对投产气井分类问题的研究与应用效果，提出采用模糊数学的模糊聚类分析方法来研究投产气井的分类问题，通过编制计算机程序对陕甘宁中部气田１６口投产气井应用表明，分类结果更加合理。     

Chrestenson函数序列的生成方法及其数学分析

本文提出了适于三种序号的Ｃｈｒｅｓｔｅｎｓｏｎ函数序列的复制方法，对其复制过程进行了数学分析，并指出当Ｃｈｒｅｓｔｅｎｓｏｎ函数退化为Ｗａｌｓｈ函数时，此方法即为复制理论中的平移复制方法。     

矿井串联系统模糊可靠性理论的研究

矿井系统不仅具有随机性，而且同时也具有模糊性，在系统分析与设计过程中应同时考虑这两种不确定性因素的影响。文中提出了模糊故障、模糊功能、系统模糊运营状态和广义可靠度等概念，并在此基础上提出了求单元及串联系统的生产能力、营运费用、应急维修费用、修理时间和广义可靠度等指标的方法，建立了使系统平均生产能力最大的系统最优运营策略的数学模型。     

An expert PID controller uses refined ziegler and nichols rules and fuzzy logic ideas

This article proposes a scheme for the on-line adjustment of three mode controller settings based on experimental measurements of closed-loop performance. It uses a recently developed heuristic tuning procedure to identify estimated process parameters. This method may give rise to conflicting estimates. Fuzzy Set theory is applied to manage the situation in terms of a fuzzy conjunction to combine the various estimates. PID control was chosen because of its wide use in the industrial environment due to driving simplicity and robustness. The article shows design, development, and computer simulation aspects.     

Multi-heuristic scheduling: three approaches to tune compromises

Most of the available industrial schedulers are based on a simulation approach using dispatching rules. These rules are often dedicated to the satisfaction of a single performance criterion, and are used whatever the characteristics of the workshop or of the set of jobs. An approach which allows one to bring in compromises between rules is set out in this paper. These compromises can be parametered in accordance with the objectives of the workshop and the characteristics of the jobs in order to introduce some reactivity in the decision system. Three ways to set up the parameters are compared: experimental design, fuzzy expert system and neural network. The method allowing one to define compromises can be implemented on each scheduler that uses a simulation approach. Tests have been made with an industrial scheduler called SIPAPLUS, the results of which are developed in this paper.     

Automated Theorem Proving in Temporal Logic:T-Resolution

This paper presentes a novel resolution method,T-resolution,based on the first order temporal logic.The primary claim of this method is its soundness and completeness.For this purpose,we construct the corresponding semantic trees and extend Herbrand‘s Theorem.     

Class Based Contextual Logic for DOOD

Cntextual logic provides a mechanism to reason about modules.In this paper,this theory of modules if modules is extended to a context theory of classes where class is in the true spirit of object-oriented databases.The logic,referred to as CLOG,is class-based.CLOG supports class,object identity,multiple role of object, monotonic and non-monotonic inheritance of data and method,method factoring,views,derived and query classes.Views and derived classes are queries in themselves.Objects are pure data terms representing the ground instances of facts in the class.Object identity is a first class term in the logic.Inheritance is handled through delegation.     

模糊综合评判方法在碳酸盐岩油气勘探中的应用

详细地阐述了模糊综合评判方法的数学原理及其在油气勘探开发中的应用.根据某油田的生产层参数资料,运用MICROSOFT EXCEL软件,在对各参数进行统计研究并了解它们分布规律的基础上,合理地构造出一系列隶属函数,通过编制相应的计算机程序,完成综合评判.评判结果与勘探实际吻合较好.该方法有效地适用于碳酸盐岩油气藏的勘探开发.     

A process-control and diagnostic tool based on continuous fuzzy Petri nets

The use of Petri nets and fuzzy logic in intelligent process control has caught the attention of many researchers. In this paper, a Continuous Fuzzy Petri Net (CFPN) tool which integrates the three technologies of fuzzy control, Petri nets and real-time expert systems is presented. The CFPN approach can deal with real-time continuous inferencing, for the purpose of process monitoring and diagnostics, at a high level in the presence of uncertainty. This tool has been implemented in the G2 real-time expert-system environment and is currently being used by ESSO Canada.     

多变量模糊优化信息可视化研究

本文针对复杂工程系统的多变量模糊优化问题进行了可视化方法研究，提出了模糊子域的绘制与运算算法，并在此基础上，对多变量模糊优化问题进行了数学分析，直观显示出了模糊可行域在设计空间上的分布规律．