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的研究

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

电子政务安全中的三网隔离技术及应用

本文介绍了电子政务中各种业务的安全性要求及相应的安全隔离技术,并结合宁波市电子政务的建设,描述了三网隔离技术的应用。     

Divide and Congruence Applied to η-Bisimulation

We present congruence formats for η- and rooted η-bisimulation equivalence. These formats are derived using a method for decomposing modal formulas in process algebra. To decide whether a process algebra term satisfies a modal formula, one can check whether its subterms satisfy formulas that are obtained by decomposing the original formula. The decomposition uses the structural operational semantics that underlies the process algebra.