最新工业控制网络.ppt

工业以太网模型及拓扑结构 工业以太网的几种拓扑结构 1）提高生产过程的安全性； （2）提高生产效率； （3）提高产品质量； （4）减少生产过程的原材料、能源损耗。 ** 内联网（Intranet）又称企业内连网，是用因特网技术建立的可支持企事业内部业务处理和信息交流的综合网络信息系统，通常采用一定的安全措施与企事业外部的因特网用户相隔离，对内部用户在信息使用的权限上也有严格的规定。 * 一般认为亚里士多德是逻辑学的创始人，它的逻辑学叫形式逻辑，是康德给它命名的，原因是它仅仅涉及推理这种形式，仅仅解决推论正确性的问题。后来，有个叫莱布尼兹的提出了逻辑数学化的革新思想，于是从形式逻辑发展出了数理逻辑，也就是用数字符号代替自然语言来演绎逻辑，或者叫逻辑数学化，它比形式逻辑更精确、更严密。 一、逻辑类型 对于逻辑可作狭义和广义两种解释：狭义的逻辑只研究必然性推理，也叫演绎推理。广义的逻辑不仅研究必然性推理，还研究或然性（概然性）推理，主要是归纳推理。 ㈠形式逻辑：形式逻辑是研究必然性推理的，也叫演绎逻辑。形式逻辑有传统形式逻辑和现代形式逻辑。 ⒈传统形式逻辑 传统形式逻辑主要是指亚里士多德的逻辑和斯多葛学派的逻辑。 传统形式逻辑对各种推理都提出了相应的规则，根据这些规则可以识别一个具体的推理在形式上是否正确，对于分析日常的简单的推理来说，具有便于运用、容易理解的长处。但是，传统形式逻辑不适应现代科学技术对逻辑学所提出的要求，即使是分析日常思维它也不是足够的。 第一，它是使用自然语言表述命题形式和推理形式的，而自然语言的语词和语句每有歧义，使用有歧义的词句表示命题形式难免模糊不清。 第二，传统形式逻辑把推理的格式固定化，对前提和结论的数目和形式、对前提和结论中的词项的数目都有规定。这种情况导致传统形式逻辑只能处理少数几种推理，应用面比较窄。 第三，传统形式逻辑只限于讨论主谓句式的命题，而关系命题以及含有关系命题的推理，则在它的研究视野之外，这也限制了它的应用范围。 ⒉现代形式逻辑 现代形式逻辑是传统形式逻辑的直接延展，是传统形式逻辑的精确化、严格化和完善化，它首先指的是数理逻辑命题演算和谓词演算那一部分。 广义的数理逻辑还包括现在总称为哲学逻辑的各种非经典逻辑，如模态逻辑、多值逻辑、直觉主义逻辑、认知逻辑等等。 ㈡归纳逻辑 归纳逻辑是研究归纳推理的。 归纳推理有古典归纳推理和现代归纳推理。 ⒈古典归纳逻辑 古典归纳推理主要指的是培根（F.Bacon, 1561-1626）和密尔（J.S.Mill,1806-1871）所创立的逻辑。 古典归纳逻辑所考察的各种归纳推理或归纳方法简单易行，在经验自然科学中有一定实用价值。但是，古典归纳逻辑对归纳推理的研究是有许多缺陷的。 第一，它对归纳推理的类型和形式缺乏足够的研究，只是提出了一些初步的归纳方法，要运用这些方法得出比较可靠的结论，需要满足许多条件和假设，对于这些条件没有给予充分的考察。 第二，它对归纳结论的或然真的程度缺乏精确研究，没有真正从逻辑上分析归纳前提与结论的概然关系。 ⒉现代归纳逻辑 自19世纪中叶开始，概率论的方法被引入了归纳逻辑的研究，运用概率论的方法对归纳结论的或然性作出精确计算，标志着古典归纳逻辑开始向现代归纳逻辑过渡。至20世纪20年代，在归纳逻辑的研究中又使用逻辑演算方法建立概率演算，这标志着现代归纳逻辑的真正诞生。 ㈢“普通逻辑 ” 普通逻辑作为一门课程(并非一种逻辑类型）以介绍传统形式逻辑和古典归纳逻辑为主，也介绍一些简单的逻辑方法，同时介绍一些现代形式逻辑和现代归纳逻辑的基础知识。 概括地说，普通逻辑主要研究思维的逻辑形式，同时也研究思维的逻辑规律和简单的逻辑方法。 二、思维形式与逻辑形式 思维是人脑对于客观世界的间接的、概括的反映。 逻辑是以思维为研究对象的，但它不研究思维的一切方面。 思维有内容和形式两个方面，逻辑不研究思维的内容，只研究思维的形式方面。 ㈠思维形式 思维形式即思维内容的表现形式，有概念、命题（判断）和推理等。 ㈡思维的逻辑形式 思维活动主要是推理，研究思维的形式方面也就是研究推理的形式结构。 推理的前提和结论是命题，因而也要研究命题的形式结构。 命题和推理的形式结构就是思维的逻辑形式。 逻辑对于思维的形式结构也只是关心它们所表现的思维的真假关系，不关心它们的其他方面，例如逻辑不研究思维形式结构与思维内容的关系。正是在这个意义上，思维的形式结构被称为思维的逻辑形式。 ⒈逻辑形式 逻辑形式是指命题和推理的形式结构。 命题的形式结构： “所有S是P”；“如果p则q”。 推理的形式结构： 所有M是P， 有的S是M， 所以，有的S是P。 2．逻辑形式的构成 逻辑形式有两个部分：变项和常