书 名: 可编程控制器应用解析

作　者：隋振有

出版社： 中国电力出版社

出版时间： 2006

ISBN: 9787508337319

开本： 32

定价: 29.00 元

本书以S7—200为样机，系统地介绍了PLC的应用技术，其内容包括PLC的数学基础、S7—200的硬件、软件等方面的技术知识。

从S7—200系列入手，对PLC硬件、软件的配置，系统的安装调试和运行操作都做了较全面的介绍。尤其，以S7～200的编程软件STEP7一Micro/WIN32为范例，对编程技术做了详细的介绍和探讨，为解决PLC编写程序这一最大的难题，提供了一些帮助。

本书可供广大工程技术人员和在校的大学、高职学生选用。

前言

第1章 可编程序控制器概论

1.1 PLC主机模块和扩展功能模块

1.1.1中央微处理器(CPIJ)

1.1.2存储器

1.1.3 PLC的L/0通道

1.1.4电源模块

1.1.5主机输入输出元器件

1.1.6扩展功能模块

1.2 PIC的工作原理和控制过程

1.2.1眦的工作原理

1.2.2 PLC的控制过程

1.3 PIJC的技术特性及其应用

1.3.1 PLC与继电器控制电路相比较

1.3.2 PLC与个人计算机(PC)相比较

1.3.3 PLC的技术指标

1.3.4 PIJC系统主要的控制功能

1.3.5 PIJC的分类

1.3.6 PTC的应用简述

1.4 PLC的配置

1.4.1系统基本配置

1.4.2扩展功能模块的配置

1.4.3系统冗余配置

1.4.4系统附加配置

第2章 PLC的数学基础

2.1 数制和数制间的转换

2.1.1数制

2.1.2数制问的相互转换

2.1.3二进制数的四则运算

2.1.4二进制编码简介

2.2 二进制编码

2.2.1常用的二一十进制编码

2.2.2标准代码

2.3逻辑代数

2.3.1二值逻辑

2.3.2基本逻辑代数及其运算方法

2.3.3复合逻辑及其运算方法

2.3.4逻辑代数的运算法则

2.3.5逻辑代数的运算定律

2.3.6逻辑代数的运算定理

2.4逻辑函数及其表示方法

2.4.1表示逻辑函数的方法

2.4.2逻辑函数表示方法间的相互转换

2.4.3逻辑函数式的化简

第3章 S7—200系列PLC的硬件

3.1 S7—200系列PLC的硬件概述

3.1.1 S7—200主机cPU模块

3.1.2数字量输入/输出模块

3.1.3模拟量输入输出模块

3.1.4 EM253位控模块

……

解析分层亦称解析谱系。按照量词复杂性对解析关系所作的递归论分层。与算术分层类似，任何解析关系可以用算术关系加上有穷个交替出现的二阶函数量词ᗄ′与∃′表示，依照量词个数，可以将该解析关系纳入具体的解析分层Σ¹_n或π¹_n中。形式地，具体的解析分层Σ¹_n，π¹_n，Δ¹_n可递归定义如下：

1.Σ¹₀=π¹₀={R：R为算术关系}。

2.Σ¹_{n 1}={(∃′f)R(f，f₁，f₂，…，f_k，x₁，x₂，…，x_m)：R∈π¹_n}.

3.π¹_{n 1}={(ᗄ′f)R(f，f₁，f₂，…，f_k，x₁，x₂，…，x_m)：R∈Σ¹_n}。

4.Δ¹_n=Σ¹_n∩π¹_n.

Σ¹_n，π¹_n与Δ¹_n中的关系分别称为Σ¹_n关系、π¹_n关系与Δ¹_n关系，此外，Δ¹_w定义为：∪{Σ¹_n∪π¹_n：n∈ω}，即所有解析关系的集合。此外，对n≥1，Σ¹_n关系可表示成下形范式：

(∃′f₁)(ᗄ′f₂)…(Q_nf_n)(Qx)

R(f₁，…，f_n，f_{n 1}，…，f_{n p}，x，x₁，…，x_q)，

其中若n为偶数，Q¹_n为ᗄ′，Q⁰为∃⁰；若n为奇数，Q¹_n为∃′，Q⁰为ᗄ⁰；而R为递归关系。π¹_n关系也可表示成以ᗄ′开头的类似表达式.解析分层还具有如下封闭性：

1.Σ¹_n，π¹_n，Δ¹_n对合取、析取运算与一阶量词封闭。

2.Δ¹_n对否定运算封闭。

3.R∈Σ¹_n，当且仅当ᒣR∈π¹_n；

R∈π¹_n，当且仅当ᒣR∈Σ¹_n。

4.对n≥1，Σ¹_n对二阶量词∃′封闭，π_n对二阶量词ᗄ′封闭。

关于解析分层的其他性质，参见“解析枚举定理”。此外，与算术分层不同，Δ¹₁≠Σ¹₀=π¹₀=Δ¹₀，Δ¹₁的关系称为超算术关系。