可编程控制器的发展及在DCS中的应用

本文简要介绍了可编程控制器的国内现状、国外可编程控制器的技术发展动向及可编程控制器在分散控制系统中的应用。     

PLC在智能装置自动测试系统的研究和应用

可编程控制器在工业控制领域应用广泛,本文从可编程控制器在电力系统智能装置自动检测系统应用出发,介绍自动检测系统设计原理和系统组成,详细介绍PLC在本系统功能和具体应用范围,并针对可编程控制器应用中出现特殊问题进行分析,并给出解决方法。实践证明,可编程控制器系统的扩展性和可编程特点可有效满足部分控制系统的特殊要求。     

PLC可编程控制器相关外置的选择计算研究

本文结合PLC可编程控制器的研究与应用情况,在对PLC可编程控制器的相关外置设备类型分析基础上,对各外置设备的选择与计算进行研究,以促进PLC可编程控制器在实际中的推广应用,确保PLC可编程控制器外置设备的合理选择与应用。     

计算机技术在可编程控制器中的运用

随着工业化的发展,可编程控制器目前已经广泛应用于各类工业生产。可编程控制器经历了可编程序矩阵控制器、可编程序顺序控制器、可编程序逻辑控制器和可编程序控制器几个不同时期,采用可编制程序的存储器通过数字式或模拟式的输入和输出控制机械或生产。随着信息化的发展,计算机技术与可编程控制器联合运用使得工业化生产效率得到了很大的提高。     

可编程控制器数据采样特殊性问题讨论

可编程控制器采样周期由扫描周期决定,在上位机和可编程控制器组成控制系统中,上位机以通讯方式获得可编程控制器的采样数据周期由查询采样数据的间隔时间所决定,主要从可编程控制器逻辑编程和上位机采样数据处理两个方面入手,提出解决上位机获得采样周期较短的实时采样数据一种方法。     

可编程控制器在电厂输煤控制系统中的应用

介绍了可编程控制器在电厂输煤控制系统中的应用 ,详细阐述了输煤系统中采样装置的可编程控制系统的设计过程 ,并展望可编程控制器的应用前景。     

可编程逻辑控制器在工业电气自动化的实践

在各类科技术持续发展下,工业领域与信息技术间的联系逐渐加深,可编程逻辑控制器（PLC）在工业领域得到广泛的应用,促进工业电气自动化控制水平的有效提升。基于此,文章从可编程逻辑控制器概述入手,分析工业电气自动化中（PLC）的应用,阐述可编程逻辑控制器（PLC）在工业电气自动化中的应用案例,最后,提出工业电气领域可编程逻辑控制器（PLC）未来发展方向,希望为相关人员提供参考,积极借助可编程逻辑控制器（PLC）,促进工业电气自动化快速发展。     

一种可混合编程的可编程控制器

一种可混合编程的可编程控制器西北纺织学院高季雍１引言在工业控制中，以微机为核心的可编程控制装置的应用在迅速扩大。典型的有可编程控制器（简称＊ｃ，以前叫可编程逻辑控制器，简称ＰＬＣ）和可编程调节器（以下简称ＰＴ），大规模的就是集散系统。ＰＣ是对逻辑顺控...     

可编程控制器在电梯控制过程中的应用

现代科学技术发展的迅速化,为可编程控制器的产生提供了可能性,而这也使得传统控制器退出历史舞台。可编程控制器与传统的控制器相比,可靠性、适应性、可操作性更强,同时可编程控制器良好的性能可以在电梯控制中充分展现出来,更能适应现代社会人们对电梯使用的高要求。     

基于FX1NPLC的钢球外观检验控制系统

针对国内还未制造出功能完善的钢球外观检验机现状,我们设计出了一种基于可编程控制器的钢球外观检验控制系统.本文提出了可编程控制器控制系统预防电磁抗干扰的措施,分析计算了检验系统的时序性质与检验时间.叙述了可编程控制器产生控制时序的方法.     

水环境实时自动监测系统的设计与实现

该文首先简要讲述了水环境实时自动监测系统中应用到的一些先进技术,集散控制(DCS)、现场总线、可编程控制器(PLC)等;接着对水环境实时自动监测系统提出了设计实施原则,并进行了功能分析;在此基础上,提出了分散式水环境监控和集中式水环境监控两种系统结构,并进行了比较分析;最后,介绍了监控组态软件的应用。该文的重点是利用无源选通对集中式水环境监控进行优化,以适应当前我国水环境监控的需要。     

The Variable Precision Rough Set Inductive Logic Programming Model and Strings

The Variable Precision Rough Set Inductive Logic Programming model (VPRSILP model) extends the Variable Precision Rough Set (VPRS) model to Inductive Logic Programming (ILP). The generic Rough Set Inductive Logic Programming (gRS-ILP) model provides a framework for ILP when the setting is imprecise and any induced logic program will not be able to distinguish between certain positive and negative examples. The gRS-ILP model is extended in this paper to the VPRSILP model by including features of the VPRS model. The VPRSILP model is applied to strings and an illustrative experiment on transmembrane domains in amino acid sequences is presented.     

Probabilistic logic programming on the web

We present the web application ‘cplint on SWI‐Prolog for SHaring that allows the user to write (SWISH)' Probabilistic Logic Programs and submit the computation of the probability of queries with a web browser. The application is based on SWISH, a web framework for Logic Programming. SWISH is based on various features and packages of SWI‐Prolog, in particular, its web server and its Pengine library, that allow to create remote Prolog engines and to pose queries to them. In order to develop the web application, we started from the PITA system, which is included in cplint , a suite of programs for reasoning over Logic Programs with Annotated Disjunctions, by porting PITA to SWI‐Prolog. Moreover, we modified the PITA library so that it can be executed in a multi‐threading environment. Developing ‘cplint on SWISH’ also required modification of the JavaScript SWISH code that creates and queries Pengines. ‘cplint on SWISH’ includes a number of examples that cover a wide range of domains and provide interesting applications of Probabilistic Logic Programming. By providing a web interface to cplint , we allow users to experiment with Probabilistic Logic Programming without the need to install a system, a procedure that is often complex, error prone, and limited mainly to the Linux platform. In this way, we aim to reach out to a wider audience and popularize Probabilistic Logic Programming. Copyright © 2015 John Wiley & Sons, Ltd.     

The Virtuality of Constraints and the Constraints of Virtuality

We propose to extend current Constraint Logic Programming techniques and to export them from their classical Logic Programming setting to more conventional and widely used paradigms, such as the Java language. We also advocate for the use of constraints in new types of applications such as 3D graphics and Virtual Reality systems.     

Translations and similarity-based logic programming

In order to provide approximate reasoning capabilities, in Gerla G, Sessa MI (1999) Chen G, Ying M, Cai K-Y (Eds) Fuzzy Logic and Soft computing, 19–31, Kluwer Academic Publishers, Boston an extension of Logic Programming has been proposed. Logic programs on function-free languages are considered, and approximate and imprecise information are represented by introducing a similarity relation ? in the set of predicate names and object names of the language. The inference system exploits the classical resolution rule of the Logic Programming paradigm. Moreover, the notion of fuzzy least Herbrand model is also provided. In this paper, by introducing the general notion of structural translation of languages, we generalize these results to the case of logic programs with function symbols. Some properties of the similarity relations are also proven.     

Constrained relative least general generalization for Inducing Constraint Logic Programs

Relative least general generalization proposed by Plotkin, is widely used for generalizing first-order clauses in Inductive Logic Programming, and this paper describes an extension of Plotkin’s work to allow various computation domains: Herbrand Universe, sets, numerical data, ect. The ?-subsumption in Plotkin’s framework is replaced by a more general constraint-based subsumption. Since this replacement is analogous to that of unification by constraint solving in Constraint Logic Programming, the resultant method can be viewed as a Constraint Logic Programming version of relative least general generalization. Constraint-based subsumption, however, leads to a search on an intractably large hypothesis space. We therefore providemeta-level constraints that are used as semantic bias on the hypothesis language. The constraintsfunctional dependency andmonotonicity are introduced by analyzing clausal relationships. Finally, the advantage of the proposed method is demonstrated through a simple layout problem, where geometric constraints used in space planning tasks are produced automatically.     

可编程控制器的解释程序开发

从可编程控制器的基本原理出发,详细分析了PLC的工作过程,开发出了以C语言为基础的指令解释程序,实现了PLC的许多基本功能。     

The Connectionist Inductive Learning and Logic Programming System

This paper presents the Connectionist Inductive Learning and Logic Programming System (C-IL²P). C-IL²P is a new massively parallel computational model based on a feedforward Artificial Neural Network that integrates inductive learning from examples and background knowledge, with deductive learning from Logic Programming. Starting with the background knowledge represented by a propositional logic program, a translation algorithm is applied generating a neural network that can be trained with examples. The results obtained with this refined network can be explained by extracting a revised logic program from it. Moreover, the neural network computes the stable model of the logic program inserted in it as background knowledge, or learned with the examples, thus functioning as a parallel system for Logic Programming. We have successfully applied C-IL²P to two real-world problems of computational biology, specifically DNA sequence analyses. Comparisons with the results obtained by some of the main neural, symbolic, and hybrid inductive learning systems, using the same domain knowledge, show the effectiveness of C-IL²P.     

PLC和触摸屏在电热水器喷搪机中的应用

以PLC(可编程序控制器)和触摸屏为控制核心,通过与变频器、传感器和驱动装置构成高效、可靠、先进的喷搪机控制系统,大大提高了热水器内胆喷涂搪瓷的自动化程度和生产效率。     

Hybrid PI controller constructed with paraconsistent annotated logic

In this work a new type of hybrid PI controller is presented using the Paraconsistent Logic (PL) as the basis for the mathematical and logical treatment of the signals corresponding to the control variables. This control has the conventional actions PI (Proportional and Integral) together with the logical actions structured in the concepts of Paraconsistent Logic. Compared to conventional techniques, this new type of Hybrid PI Controller with Paraconsistent Logic responded well to the various tests performed in the control loop. The tests and the technical validations were done with evidences that prove the efficiency of the paraconsistent concepts.