用于实验室调试的数字量测试平台设计

现场模拟系统是针对管道自动化系统集成测试而设计的,它为实验室调试提供了一个仿真的现场环境,可以对自动化系统的多个工艺控制流程进行测试,完成现场难以完成的控制逻辑测试,提高控制系统的可靠性及控制逻辑准确性,也可以用于对员工的培训,使员工的成长更迅速.现场模拟系统一共由数字量模拟系统、模拟量仿真系统及通讯调试设备三部分构成...     

A Correct Logic Programming Computation of Default Logic Extensions

We present a method of representing some classes of default theories as normal logic programs. The main point is that the standart semantics (i.e., SLDNF-resolution) computes answer substitutions that correspond exactly to the extensions of the represented default theory. This means that we give a correct implementation of default logic. We explain the steps of constructing a logic program LogProg(P, D) from a given default theory (P, D), give some examples, and derive soundness and completeness results.     

Qualitative Reasoning Under Ignorance and Information-Relevant Extraction

This paper is devoted to qualitative reasoning under ignorance. We show how to represent conditional ignorance and informational relevance in the symbolic entropy theory that we have developed in our previous work. This theory allows us to represent uncertainty, in the ignorance form, as in common-sense reasoning, by using the linguistic expressions of the interval [Certain, Completely uncertain]. We recall this theory, then we introduce the notions of conditional ignorance and of informational relevance. Finally we present some theorems of qualitative reasoning with uncertain knowledge. Particularly, we show how to extract the best relevant information in order to treat some problems under ignorance. Received 8 March 2001 / Revised 26 July 2001 / Accepted in revised form 4 December 2001 Correspondence and offprint requests to: M. Chachoua, LERIA, UFR Sciences, University of Angers, 2 Boulevard Lavoisier, F-49045 Angers Cedex 01, France. Email: chachoua@info.univ-angers.frau     

A semantics for Fuzzy Logic

 We present a semantics for certain Fuzzy Logics of vagueness by identifying the fuzzy truth value an agent gives to a proposition with the number of independent arguments that the agent can muster in favour of that proposition. Received: 25 February 1997 / Accepted: 12 March 1997     

A Logic for Rewriting Strategies

Rewriting strategies can become quite complex and are not easy to comprehend or reason about when they are expressed in operational terms. This paper develops a weakest precondition logic for reasoning about strategies programmed in the strategy language Stratego. This logic embeds the modal mu-calculus, allowing it to express properties of terms of arbitrary depth. Its use is illustrated by characterizing properties of several reduction strategies for the lambda calculus with explicit substitutions.     

一个带有相似性关系的模糊逻辑

模糊集与模糊逻辑是处理模糊性与不确定性信息的重要数学工具,相似性关系是模糊集的一个基本概念。为了在模糊逻辑中集成相似性关系并考虑其模糊推理,提出了一个带有相似性关系的模糊逻辑,给出了其语法及语义描述,在模糊谓词逻辑情形下,讨论并证明了基于归结与调解方法的模糊推理的有关属性,考虑到许多定理证明器和问题解决系统均是基于否证法,证明了归结与调解方法对模糊谓词演算的反驳完备性定理。     

A Synthesis Method For Robust Pid Controllers For A Class Of Uncertain Systems

PID controller design is considered where optimal controller parameters are found with constraint on maximum sensitivity and robustness with regard to a cone bounded static nonlinearity acting in feedback with part of the plant. The design procedure has been successfully applied in the synthesis of a controller for an Anti‐lock Braking System (ABS).     

A Programmable Debugging Aid For

This specialized hardware assists program debugging and testing and program performance evaluation. It is installed like any other peripheral device.