PLC程序形式化的设计与验证

从形式化方法的角度出发,阐述可编程逻辑控制器(PLC)程序的形式化设计和验证方法的相关研究.在形式化设计方面,分析了根据Petri网和自动机模型判断程序正确性和可靠性的研究成果;在形式化验证方面,分析了PLC语言与形式化模型的转换和基于NuSMV或UPPAAL的验证方法.最后,比较将两种形式化方法应用到PLC程序的特点,探讨现有成果中存在的问题及研究发展方向.     

COQ定理证明器辅助PLC 程序验证和分析

使用定理证明器COQ 验证和分析PLC 抢答器程序的一些性质, 证明了原程序的所有可能状态中只有半数是可达状态, 揭示了系统在可达状态之间的转移关系。基于这些性质, 引入了逻辑自动机的概念作为对PLC程序行为完整抽象的描述。此外, 在证明过程中, 发现该程序中存在着一个很难通过现场测试发现的问题。     

基于数控系统输入输出测试架的设计

由于广州数控980TD数控系统的功能强大,而数控系统中的PLC梯形图也非常复杂,为了简化对整个数控系统的功能进行测试,该文提出构建广州数控设备有限公司980TD数控系统的测试方法,在一个电路板上设计出一个测试架,用发光二极管,上拉电阻、普通电阻、拨码开关和几个常闭按钮等元器件所组成,设计了测试架的系统电路和PLC程序,用测试架对数控系统的PLC梯形图进行测试,经过实际测试数控系统的PLC梯形图程序,效果良好,这大大简化对整个数控系统的功能测试。     

基于模型驱动的Web服务符号执行与验证

Web服务测试与验证是保证Web服务功能正确的关键,目前大多数Web服务的研究无法对程序路径穷举遍历,不能保证分析的完备性.针对该不足,在基于模型驱动的3阶段Web服务模型转换生成方法的基础上,该文对转换生成的Java代码进行符号执行与形式化验证.符号执行方法可对程序运行的所有路径进行分析,为程序测试提供高覆盖率的测试...     

水流量仪表测试装置中水源控制系统的设计

针对水流量仪表测试装置中水源控制问题,基于组态和RS-485通信技术,研究上位机组态软件与PLC之间及PLC与多台变频器之间的通信方法,解决了水流量仪表测试装置的水源稳压自动控制问题,实现了组态软件对水源稳压系统的实时监控。     

数控铣削程序图形验证技术国内外研究现状

从数控铣削程序的图形验证技术入手,以国外数控铣削程序的几何与物理验证技术、国内数控程序的图形验证技术为视角,较全面地对该项技术的发展历史与研究现状进行了阐述,并分析了其优缺点和发展趋势.     

PLC的数字PID控制程序设计研究

主要介绍了在模拟量的闭环控制系统中可编程控制器(PLC)的数字PID控制程序设计，在确定PID控制算法的基础上，根据PLC的特点，重点介绍了PLC程序编制和程序调试分析，并采用PID控制的响应曲线验证了程序的正确性。     

数控铣削程序图形验证技术国内外研究现状

数控程序的自动化图形验证技术是虚拟制造中关键的一个环节，从数控铣削程序的图形验证技术入手，对该项技术的研究现状作了较为全面的论述，并分析了其中存在的不足和优缺点。     

磁流变液屈服应力测试研究综述

基于对磁流变液屈服应力的理论分析,本文分别介绍了国内外对磁流变液屈服应力测试的研究现状,阐述了常用的圆筒法、平行圆盘法、管流法和平板提拉法等测试方法,总结了各种方法的优缺点,展望了未来磁流变液屈服应力测试的发展方向,对磁流变液的理论和应用研究有着重要的现实意义。     

基于PLC的MPS加工单元控制系统的设计

文中首先分析了加工单元的结构与功能、气动控制回路,然后设计出该单元的控制任务,分配了PLC输入输出地址,进而编写流程图和梯形图程序,最后上机调试,验证了基于PLC的MPS加工单元控制系统设计的可行性。     

嵌入式软PLC开发系统研究

基于ARM处理器和Linux操作系统的嵌入式软PLC运行系统,针对开发系统生成的目标代码通用性和不便于用户使用问题,设计了一种将IEC61131—3标准的语言程序转换为C语言程序的开发系统,使系统生成的目标代码在此种类型的运行系统上具有通用性。生成的LinuxC程序不仅能够在运行系统上直接编译运行,而且便于在PC机上仿真测试。介绍了各个模块的功能和实现,重点阐述了编译模块的设计与实现的关键技术,并结合实例进行测试验证。实验表明,该系统界面友好、操作简单,编译出的C语言程序执行效率较高,通用性强,方便用户使用。     

基于S7-200PLC热电偶模块的监控系统开发

介绍了由S7～200PLC热电偶模块构成的温度监控系统,详细讨论了EM231热电偶模块的工作原理、外部接口方法,并对PLC和PC机的软硬件设计技术进行了分析,给出了部分程序。     

顺序功能图编程在PLC编程中的应用

介绍一种基于功能图编程的PLC编程软件CADEPA的使用方法及其应用,剖析功能图语言编写PLC控制程序的方法和特点,并借助该软件编制两个不同结构的PLC控制程序。     

基于光纤通信的闸门控制系统设计与实现

利用光纤通信系统实现冯家山水库八处13扇闸门的自动控制.提出了闸门自动控制系统的设计方案,研制了PLC闸门现地控制单元,并使用MCGS组态软件编制了上位机控制程序,利用可编程自由口通信模式编制了PLC和上位机的通信协议.通过实施达到了较好的控制效果.     

多通道锁具性能测试系统的设计与开发

研制一种基于可编程逻辑控制器(PLC)与虚拟仪器的多功能、多通道锁具测试系统.该系统由PLC主控制器、力与扭矩测量装置及工控机构成.工控机通过PLC对3台测试机进行协同控制,实现对门锁耐用度、抗拔插性及扭矩等参数的在线测试、采样数据分析与处理、查询及存储.测试结果表明,系统自动化程度高、性能稳定、操作简单,能很好地满足...     

基于预测模型的分段模糊控制系统设计

针对加速量热仪需要按照材料的特性设定温度变化规律,温度精确控制困难的问题,通过研究电加热功率与温度变化的关系,采用调整脉冲宽度调制方波(PWM)占空比的方式来控制加热功率.针对系统的非线性、时变性、变结构、多层次和滞后等缺点,提出分段、分级和基于预测模型的模糊控制策略.采用上位机(IPC)+下位机(PLC)的测控系统结构,并编写PLC程序完成模糊控制.实验结果表明,本方案实现了以固定升温速率加热,定点温度保持的功能.     

SIMATIC-S7200PLC中定时器的应用

叙述了S1MATIC S7200PLC提供的3种定时器的功能和用法,开通过一个典刑例子说明了定时器在水压试管机中的应用,这一编程方法已经在SlMATIC S7200PLC中调试通过。     

PLC在电梯控制系统设计中的应用

介绍了基于可编程序控制器(PLC)的电梯控制系统的基本结构、控制原理和实现方法,并详细介绍了电梯PLC控制一些主要环节的实用程序,分析了PLC在电梯控制技术中的应用前景。     

基于LOGO!的全自动洗衣机控制系统设计

针对全自动洗衣机控制系统采用单片机控制存在编程复杂、硬件复杂、维修困难以及采用PLC控制成本高等问题，提出在全自动洗衣机中采用西门子LOGO！控制器。对采用LOGO！的全自动洗衣机控制系统进行了分析和设计，编制了软件程序，实现了不同洗衣模式（棉织物、化纤、羊毛不同织物下、不同温度下的洗衣模式，以及单洗涤、单漂洗和单脱水洗衣模式）下的控制，以及借助于变频器对脱水速度进行调节，保证了脱水过程的平稳。对控制系统进行仿真调试和验证，结果表明，LOGO！可以实现对全自动洗衣机的各种控制功能。     

适用于PDA的PLC编程系统开发

传统上调试PLC通常采用手持式PLC编程器，且只能适用于相应型号的PLC，上位计算机上的编程软件无法适用于现场实时调试、编辑程序．本系统在分析PLC编程器和编程软件的功能上，通过系统分析．设计出适合PDA的模块．它采用PDA作上位机，嵌入式VB为开发工具．开发出相应的微型GUI和上层应用软件．该系统可用PDA代替原有的手持式PLC编程器，具有初始化内存、编辑调试程序、监视PLC运行等功能．其既具有PLC编程器的灵活方便的优点．又具有上位计算机易于编程、方便调试且应用范围广的优点。