基于梯形逻辑的联锁系统形式化验证方法 被引量：4

1

作者 于丽贞 徐中伟 +1 位作者 陈祖希 张舒青 《计算机应用》 CSCD 北大核心 2013年第12期3419-3422,3431,共5页

铁路联锁系统设计通常采用梯形逻辑进行建模。为了实现对铁路联锁系统进行形式化验证的目的,根据梯形逻辑的状态变迁语义,将梯形逻辑表示的联锁系统模型转换成模型检测工具NuSMV的语言,并将铁路联锁系统的安全需求表示为计算树逻辑(CTL)... 铁路联锁系统设计通常采用梯形逻辑进行建模。为了实现对铁路联锁系统进行形式化验证的目的,根据梯形逻辑的状态变迁语义,将梯形逻辑表示的联锁系统模型转换成模型检测工具NuSMV的语言,并将铁路联锁系统的安全需求表示为计算树逻辑(CTL),最后实现基于NuSMV的铁路联锁系统设计模型的形式化验证。 展开更多

关键词 铁路联锁系统 模型检测 形式化方法 梯形逻辑 NuSMV模型检测

下载PDF 职称材料

罗克韦尔PLC系统在备煤运输中的应用 被引量：1

2

作者 金富强 刘艳茹 《科技传播》 2011年第20期144-144,134,共2页

本文阐述了备煤系统中皮带运输机的控制系统及其主要特点,用PLC顺序控制的硬件组成和软件控制的设计方法,介绍了罗克韦尔自动化控制系统中的高端产品A-B ControlLogix系列Logix5000在工业控制系统中的应用。

关键词 顺序控制 皮带运输机 PLC 梯形逻辑

下载PDF 职称材料

工业水处理装置控制系统的安全性问题探讨

3

作者 卫新平 《工业控制计算机》 2007年第8期83-84,87,共3页

以乌石化公司热电厂锅炉补给水处理控制系统的安全性问题为研究对象,详细介绍了控制系统的原理、构成及曾经发生的各类故障,全面分析了各种故障产生的原因,并探讨了排查故障从而提高控制系统安全性的策略。实践表明:措施切实可行,大大... 以乌石化公司热电厂锅炉补给水处理控制系统的安全性问题为研究对象,详细介绍了控制系统的原理、构成及曾经发生的各类故障,全面分析了各种故障产生的原因,并探讨了排查故障从而提高控制系统安全性的策略。实践表明:措施切实可行,大大提高了控制系统的安全可靠性。 展开更多

关键词 控制紊乱 梯形逻辑 PLC控制器 死机 定期刷新

下载PDF 职称材料

PLC实现过程控制的一种编程方法 被引量：2

4

作者 高钦和 黄先祥 《机电工程》 CAS 1995年第1期48-51,共4页

本文分析了可编程序控制器（ＰＬＣ）控制系统的特点，给出了一种适合于ＰＬＣ实现实时过程控制功能的软件编程方法。这种方法利用ＰＬＣ逻辑处理功能强大的特点，通过将过程控制中复杂的数值运算转化为逻辑运算，简化了软件的设计，提... 本文分析了可编程序控制器（ＰＬＣ）控制系统的特点，给出了一种适合于ＰＬＣ实现实时过程控制功能的软件编程方法。这种方法利用ＰＬＣ逻辑处理功能强大的特点，通过将过程控制中复杂的数值运算转化为逻辑运算，简化了软件的设计，提高了系统的实时响应速度。文中以ＰＬＣ实现某大型装置起竖过程的控制为例，介绍了系统分析和软件设计的方法。 展开更多

关键词 程序控制器 过程控制 梯形逻辑图

下载PDF 职称材料

iFix结合RSLogix在联锁系统中组态报警应用一例

5

作者 秦晖 《石油化工自动化》 CAS 2004年第6期67-69,共3页

文章介绍了一种联锁系统的网络结构及软硬件组成,对控制系统在使用过程中,利用系统软件资源弥补硬件资源的不足,从而对解决实际问题的可行性进行了探讨,并结合系统的软硬件特点,详细阐述了一些具体的操作思路及落实方案的方法步骤。

关键词 紧急停车联锁系统 冗余控制网 VB脚本编辑器 梯形逻辑图

下载PDF 职称材料

TRT机组润滑油系统的优化改造

6

作者 王馨薇 孙建胜 《莱钢科技》 2011年第2期61-62,共2页

针对润滑油系统自启功能滞后的问题,采取了增加油泵出口压力测点、修改梯形逻辑图、增加直流泵的方式来实现润滑油系统安全自启,保证机组安全稳定运行。

关键词 润滑油系统 梯形逻辑图 直流泵

下载PDF 职称材料

渔轮冷库供电系统中的一种电力配给方法

7

作者 季致和 《山东轻工业学院学报（自然科学版）》 CAS 1996年第2期5-6,47,共3页

本文介绍了ＰＬＣ在渔轮冷库供电控制系统中的应用，设计了一种经济简便的编程方法。

关键词 PLC 冷库供电 梯形逻辑图 电力配给 渔船

下载PDF 职称材料

SCAN3000系统在单质起爆药生产的应用

8

作者 孟亚男 邸书玉 《自动化与仪表》 2003年第3期30-32,共3页

介绍了在单质起爆药生产中SCAN3000系统的基本构成、系统功能以及系统的冗余设计。通过对控制图和梯形逻辑图的组态,实现了控制方案。

关键词 集散控制系统 SCAN3000 单质起爆药 控制图 梯形逻辑图 组态

下载PDF 职称材料

主风机机组辅助油泵联锁系统的改造

9

作者 王炯 王琦 《宁夏石油化工》 2003年第1期39-40,共2页

介绍主风机组仪表自控系统的改造,论述其改造过程及原理,初步总结硬件及软件方面的应用经验。

关键词 主风机机组 辅助油泵 联锁系统 技术改造 编程 可编程控制器 ESD AI卡 DI卡 梯形逻辑图 维护

下载PDF 职称材料

可编程序控制器(PC)及其在橡胶工业中的若干应用

10

作者 吴延熙 《青岛科技大学学报（自然科学版）》 CAS 1989年第3期100-107,共8页

本文简要介绍可编程序控制器(PC)的基本组成原理及其特点,并以轮胎成型机,三角带单鼓成型机,定型硫化机为例说明PC技术在橡胶工业中的应用,用先进的(PC)技术改造老设备是今后的发展方向。

关键词 可编程序控制器(PC) 继电器梯形逻辑 指令语句表编程器

下载PDF 职称材料

梯形图逻辑功能的单片机直接实现核心技术 被引量：2

11

作者 吴晓渊 《江苏理工大学学报（自然科学版）》 1997年第1期79-84,共6页

建立了用单片机直接实现梯形图逻辑功能的程序模块，提出了控制延时计时器的T0中断控制法等．实验结果和理论相符．

关键词 程序控制器 逻辑运算 梯形图逻辑 单片机

下载PDF 职称材料

变频器的PLC控制技术 被引量：1

12

作者 张桂金 《大众科技》 2007年第8期126-126,116,共2页

变频器是利用电力半导体器件的通断作用将工频电源变换为另一频率的电能控制装置。PLC可编程序逻辑控制器是专为工业环境下应用的计算机控制装置而设计的。把PLC技术应用到变频器的控制中,使变频器有效地发挥作用,更好地为工业生产服务。

关键词 变频器 可编程逻辑控制器 工业控制自动化 梯形图逻辑

下载PDF 职称材料

基于面向对象的工控DCS系统编程教学方法探究 被引量：2

13

作者 姚海军 《电子设计工程》 2010年第9期33-35,共3页

为了使计算机技术专业的学生在学习面向对象程序设计时对其抽象概念进行理解并能灵活地应用,也使工业控制自动化专业的学生在PLC/DCS系统编程时对编程原理理解,加深对编程理论的学习,把面向对象编程和工业控制自动化这两个看似不同的学... 为了使计算机技术专业的学生在学习面向对象程序设计时对其抽象概念进行理解并能灵活地应用,也使工业控制自动化专业的学生在PLC/DCS系统编程时对编程原理理解,加深对编程理论的学习,把面向对象编程和工业控制自动化这两个看似不同的学科门类,通过其内在的编程思想,在教学中联系起来,以提高学生的编程兴趣和应用程序的开发能力,为学生的可持续发展和成为复合型的企业技术人才奠定坚实的基础。做中学,学中做,到实践中去,把生产和教学结合起来,其中不乏工学结合的高职教学理念。 展开更多

关键词 面向对象编程(OOP) PLC/DCS 梯形图逻辑 VB脚本 工学结合

下载PDF 职称材料

浅谈PLC的梯形图设计方法——梯形图逻辑通电表法

14

作者 薛枫 《科技信息》 2011年第17期270-271,共2页

可编程控制器是集计算机技术、自动控制技术、通信技术为一体的新型自动控制装置。由于它可通过软件来改变控制过程,而且具有体积小、组装维护方便、编程简单、可靠性高、抗干扰能力强等特点,已广泛应用于工业控制的各个领域,是现代工... 可编程控制器是集计算机技术、自动控制技术、通信技术为一体的新型自动控制装置。由于它可通过软件来改变控制过程,而且具有体积小、组装维护方便、编程简单、可靠性高、抗干扰能力强等特点,已广泛应用于工业控制的各个领域,是现代工业自动化三大支柱之一。随着教育的发展,为了适应PLC日益广泛应用形势,目前它已成为各个学校电工类专业学生必须掌握的一门专业技术课,而要掌握这门技术课,关键是看学生是否掌握了程序设计,而设计的关键又在于你是否弄清了编程思路,掌握住了编程方法。本文主要通过简单实例来介绍其中一种逻辑量控制的编程设计方法——梯形图逻辑通电表法。 展开更多

关键词 梯形图逻辑 步 节拍 通电表 惟一性原则 逻辑表达式 综合 组合逻辑

下载PDF 职称材料

电动机控制的PLC实现 被引量：1

15

作者 张桂金 姚海军 《大众科技》 2007年第9期149-149,137,共2页

自动控制在工业自动化中具有十分重要的地位,控制的手段也是多种多样,目前以PLC/DCS系统控制居多。以电动机的控制为例,使用梯形图逻辑编制控制程序,来实现PLC系统中电动机的自动控制。

关键词 控制自动化 PLC/DCS系统 梯形图逻辑 iFix控制软件包

下载PDF 职称材料

GX Simulator仿真软件在PLC程序调试中的应用 被引量：1

16

作者 彭登峰 《机床电器》 2010年第6期54-55,共2页

采用GX Deve1oper编程软件及GX Simulator仿真软件可以在计算机上直接进行PLC编程及仿真调试。文中探讨了使用GX Simulator进行PLC程序调试的方法和步骤。利用仿真软件,能够使PLC程序设计与调试脱离硬件本身,给系统的开发及PLC的教学和... 采用GX Deve1oper编程软件及GX Simulator仿真软件可以在计算机上直接进行PLC编程及仿真调试。文中探讨了使用GX Simulator进行PLC程序调试的方法和步骤。利用仿真软件,能够使PLC程序设计与调试脱离硬件本身,给系统的开发及PLC的教学和自学提供了便利。 展开更多

关键词 PLC GX Simulator仿真软件 梯形图逻辑测试 程序调试

下载PDF 职称材料

浅谈PLC控制系统在安拆中的注意事项及使用中故障的简易判断

17

作者 张致智 《青海水力发电》 2004年第2期62-63,47,共3页

文章叙述PLC在机械控制中安拆的注意事项，以及逻辑工作原理特点和简易的故障判断，并对PLC在工程建设中发挥的作用同老式的控制方式进行比较。使安装维护及管理人员对PLC有一个全新的认识，并对其在工程中发挥作用和故障排除，提高设... 文章叙述PLC在机械控制中安拆的注意事项，以及逻辑工作原理特点和简易的故障判断，并对PLC在工程建设中发挥的作用同老式的控制方式进行比较。使安装维护及管理人员对PLC有一个全新的认识，并对其在工程中发挥作用和故障排除，提高设备的生产效率，增强设备的安全可靠运行进行叙述。 展开更多

关键词 PLC 故障判断 机械控制 故障排除 梯形图逻辑法

下载PDF 职称材料

梯形图逻辑语言在港口自控系统中的应用

18

作者 蔡伟 《水运工程》 北大核心 1998年第10期74-76,共3页

以营口市鲅鱼圈港输煤自动控制系统的控制软件为例，介绍梯形图逻辑语言的特点及其在港口自动控制系统中的应用。

关键词 梯形图逻辑语言 港口 自控系统 装卸

下载PDF 职称材料

基于PLC系统的电机故障分析方法探究 被引量：3

19

作者 张桂金 《价值工程》 2011年第29期61-61,共1页

《电机安装维护与故障处理》是电气自动化技术专业的必修课,也是维修电工所必需具备的岗位技能,当今的电气自动化技术广泛地使用了PLC/DCS(Programmable Logic Controller可编程逻辑控制器/Distribution Control System集散控制系统)控... 《电机安装维护与故障处理》是电气自动化技术专业的必修课,也是维修电工所必需具备的岗位技能,当今的电气自动化技术广泛地使用了PLC/DCS(Programmable Logic Controller可编程逻辑控制器/Distribution Control System集散控制系统)控制系统,利用计算机控制程序对故障的分析具有定位准确、简捷快速的特点,极大地提高了控制质量和运行效率。 展开更多

关键词 电气自动化 控制技术 PLC/DCS 故障 梯形图逻辑 图形操作站 工程数据库

下载PDF 职称材料