间歇式液相本体聚丙烯装置计算机控制与管理系统

介绍一种间歇式液相本体聚丙烯装置计算机先进控制与管理系统。它是由“基本控制层”和“上位控制层”构成的经济适用型集散控制装置。该装置采用了多屏显示技术、网络通讯技术、PLC程控技术、ActiveX控件技术和面向对象程序设计方法、数据库技术以及闭环辩识、预测控制、反应优化、底层PID控制与上层先进控制无扰动自动切换等多种技术和控制方式，因而可以灵活有效地实现聚合反应的全过程自动化生产和安全保护。     

基于PLC的工程轮胎胎面缠绕机控制系统

叙述了工程轮胎胎面缠绕成型的基本原理 ,介绍了自行设计开发的基于PLC的工程轮胎胎面缠绕机控制系统 ,并对如何利用胎面胶条的厚度控制胎面外廓作了阐述     

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.     

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.     

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.     

科技论文摘要英译策略研究——以《中国钨业》摘要英译为例

科技论文摘要属典型的信息类语篇,其英译的预期功能是向译文读者传播科研成果。译者应在充分了解汉英两种语言在语用、逻辑和句法差异的基础上,灵活进行相应的变通,使译文做到语言通顺自然、逻辑层次清楚、措辞精确严谨。     

关于真值维护系统TMS的研究

本文系统地论述了几类典型的ＴＭＳ系统，对它们进行分析和比较，量后简要地叙述近年来在该领域中的一些重要研究动向。