The hierarchies of knowledge and the mathematics of discovery

Rather than attempting to characterize a relation of confirmation between evidence and theory, epistemology might better consider which methods of forming conjectures from evidence, or of altering beliefs in the light of evidence, are most reliable for getting to the truth. A logical framework for such a study was constructed in the early 1960s by E. Mark Gold and Hilary Putnam. This essay describes some of the results that have been obtained in that framework and their significance for philosophy of science, artificial intelligence, and for normative epistemology when truth is relative.I am indebted to Kevin Kelly for several years of happy conversation from which the perspective and views of this paper grew, for comments on a draft of the paper, and for constructing some of the illustrations. A fellowship from the John Simon Guggenheim Memorial Foundation provided the liberty to write this paper. It was first presented in the Turing Colloquium, 1990.     

SIMATIC S5—115U可编程控制器

本文通过对SIMATIC S5—115U可编程控制器性能的简介,简述国外PC技术的现状和发展,并提出对PC国产化的看法.     

带模糊控制的单回路可编程调节器的研究与开发

设计研制了一种带模糊控制的新型单回路可编程调节器 ,该调节器不仅适用于一般的线性控制对象 ,也适用于中和滴定、球罐液位控制等非线性对象和复杂的工业对象 ,实现了多种常用的控制算法 ,在工业中有很好的实用价值     

基于概念网络的文本信息监控技术

由于网上信息的迅速增长,文本信息监控已经成为网上信息管理中的热点研究课题。本文在模糊集和语义网络的理论基础上,构建了模糊值动态约束性概念网络,介绍了该概念网络的基本构建方法,并提出了基于概念网络的文本分析算法。     

ON THE ROBUST GLOBAL STABILIZATION OF nth-ORDER REACTIONS

In this paper, we employ a nonlinear adaptive mechanism to globally stabilize n^th-order reactions.     

智能混合控制在高速纸机的应用

介绍了压力式网前箱的建模和控制，并通过构造一个新的控制器结构-智能混合控制器，将Fuzzy和PID控制融于其中。     

A new voltage control equipment using fuzzy inference

Power system control equipment needs higher sensitivity and operational reliability. Advanced voltage control equipment is needed for reducing the frequency of tap changes and improving the characteristics (the relationship between the actual voltage and reference voltage) of the voltage to meet today's power system requirements. However, these objectives are in a trade-off relationship. Studies of voltage control derived from a knowledge base suitable for electric power systems can satisfy these objectives using fuzzy inference. Compared with corresponding conventional equipment, the new equipment improved the deviation of 30 min average voltage of 30 percent. This paper describes the design concept of new voltage control equipment using fuzzy inference. In addition, field test results are described along with rules of fuzzy inference, membership functions, and the deviation of 30 min average voltage through detailed simulation.     

XML schema, tree logic and sheaves automata

XML documents may be roughly described as unranked, ordered trees and it is therefore natural to use tree automata to process or validate them. This idea has already been successfully applied in the context of Document Type Definition (DTD), the simplest standard for defining document validity, but additional work is needed to take into account XML Schema, a more advanced standard, for which regular tree automata are not satisfactory. In this paper, we introduce Sheaves Logic (SL), a new tree logic that extends the syntax of the – recursion-free fragment of – W3C XML Schema Definition Language (WXS). Then, we define a new class of automata for unranked trees that provides decision procedures for the basic questions about SL: model-checking; satisfiability; entailment. The same class of automata is also used to answer basic questions about WXS, including recursive schemas: decidability of type-checking documents; testing the emptiness of schemas; testing that a schema subsumes another one.This work was partially supported by the French government research grant ACI TRALALA and by IST Global Computing Profundis.     

自适应比例因子模糊控制器在异步电动机调速系统中的应用

为了降低转子电阻变化对异步电动机矢量控制系统性能的影响，本文把自适应比例因子模糊控制器应用到了矢量控制系统中。介绍了自适应比例因子模糊控制方法的綦本原理，给出了使用自适应比例因子模糊控制器的异步电动机矢量控制系统的结构框图，对主模糊控制器和辅助模糊控制器进行了设计。仿真实验结果表明，采用这种控制方法的调速系统不仅具有优良的动态性能，而且对转子电阻变化具有很强的鲁棒性。     

基于C8051F040的CAN总线通讯系统设计

作为一种很有前途的现场总线,CAN总线通信相对于一般的串行通信总线,他的实时性、可靠性和灵活性的特点更加突出。介绍了C8051F040内部集成的CAN控制器的使用方法,给出了以此芯片为核心的CAN总线智能节点通讯接口的硬件和软件设计,实际的运行验证了设计的正确性。其设计通用性好、可靠性高、性价比高,具有广泛的应用前景。