188宝金博页面版

  • 图案背景
  • 纯色背景
视图
标记
批注
批注本地保存成功,开通会员云端永久保存 去开通
青铜少年阿..

上传于:2017-04-05

粉丝量:98

该文档贡献者很忙,什么也没留下。


  • 相关
  • 目录
  • 笔记
  • 书签

188宝金博页面版:更多相关文档

  • 可视化的PLC程序使用XML(中英文文献翻译)

    星级: 19 页

  • 机械类外文翻译---可视化的PLC程序使用XML

    星级: 12 页

  • 毕业设计外文翻译 可视化的PLC程序使用XML

    星级: 6 页

  • 机械设计外文翻译--- 可视化的PLC程序使用XML

    星级: 7 页

  • 毕业设计(机械)外文翻译--可视化的PLC程序使用XML

    星级: 20 页

  • 外文翻译--可视化的PLC程序使用XML

    星级: 9 页

  • 可视化的PLC程序使用XML(中英文文献翻译)

    星级: 19 页

  • 外文翻译-可视化的PLC程序使用XML

    星级: 20 页

  • 可视化的PLC程序使用XML--中英文翻译

    星级: 17 页

  • 用xml实现plc程序的可视化

    星级: 28 页

暂无目录

点击鼠标右键菜单,创建目录

暂无笔记

选择文本,点击鼠标右键菜单,添加笔记

暂无书签

在左侧文档中,点击鼠标右键,添加书签

188宝金博页面版: 用XML实现PLC程序的可视化

下载积分: 1400

内容提示: 用 XML 实现 PLC 程序的可视化 摘要? 由于 PLC 程序越来越复杂?人们对形式化方法在 PLC 程序这个领域的应用越来越感兴趣了。形式化方法可以有效地确认和验证系统的性能。使用形式化方法的途径之一是在 PLC 程序中应用形式设计方法。然而?在已存在的软件中还必须经过优化?改变?或者移植到新的系统等?通过这种方式的需要才可以启动使用特定的 PLC 程序。因此?形式化的 PLC 程序正是目前研究的一个主题。该论文以形式化的 PLC 程序为基础列出了逆向工程的方法。在这一过程中?转化为独立的处理结构和可视化结构的 PLC 程序被定义为非常重要的一个步骤。结果表明...

文档格式:PDF | 页数:28 | 浏览次数:56 | 上传日期:2017-04-05 19:18:02 | 文档星级:
用 XML 实现 PLC 程序的可视化 摘要? 由于 PLC 程序越来越复杂?人们对形式化方法在 PLC 程序这个领域的应用越来越感兴趣了。形式化方法可以有效地确认和验证系统的性能。使用形式化方法的途径之一是在 PLC 程序中应用形式设计方法。然而?在已存在的软件中还必须经过优化?改变?或者移植到新的系统等?通过这种方式的需要才可以启动使用特定的 PLC 程序。因此?形式化的 PLC 程序正是目前研究的一个主题。该论文以形式化的 PLC 程序为基础列出了逆向工程的方法。在这一过程中?转化为独立的处理结构和可视化结构的 PLC 程序被定义为非常重要的一个步骤。结果表明?XML 和相应的技术怎样可以应用在现有的形式化和可视化的 PLC 程序中。 Ⅰ引言 PLCs 是一个专门应用于工业和安全保护等方面类型的计算机。PLC 的目的是通过产生电气控制信号响应与电气信号有关的输入信号?从而达到控制某一特定的程序?或者是某些特定的程序。由 PCLs 控制的程序的用途很广泛?包括应用在制造业?化工过程控制?机械加工?交通?电力分布等其他许多领域。自动化应用可以从一个简单的控制面板活动?如控制会议室里的灯光和遮光帘等?引申到复杂的自动化工业的制造生产流水线中。 随着 PLC 程序应用范围的不断扩大?人们对 PLC 程序的复杂度和准确度的要求也越来也高?应用在安全防护方面的要求尤其是如此。日益复杂的应用软件不仅包括对程序时间调试的限定?还包括找到一个对现有软件或 plc 都可以可重复使用的形式方法【1】。为了确保 plc 程序的高质量?要求在核查和证实各个程序步骤的同时?还要注意分析和模仿现在已在使用的系统【2】。逆向工程是形式化 plc 程序中一个非常重要的领域?并且在当今得到不断的发展【3】。逆向工程是为了复制现有程序或提高现有水平而去了解程序的工作原理的一个过程?是用于评测工程的。重复使用的 plc 编码是被确定的?把它当作一个用来与 plc 程序复杂化对抗的工具?然而逆向工程是用来应付即将到来的重大事项?如果现有的硬件被新的、不同的程序环境下的硬件所取代的情况下。 现有 plc 程序的可视化是逆向工程的一个重要的中间步骤。该论文提出使用 XML 使plc 程序可视化这一方法。使用 XML 这一方法意义很大?尤其是对于正在使用 plc 程序工作的工程师来说?可以更好地了解和熟悉这一程序。 论文的结构如下。首先?简单介绍一下 PLCs?并且参照 IEC 61131-3 的标准?相似的程序技术也被提及。在第Ⅲ部分?提出了以使用形式化 plc 程序为基准而进行的逆向工程的方法。在这一过程中?把 plc 编码转化为独立的处理结构是不可缺少的一个步骤。在第Ⅳ部分列出了可以完成这一转换的技术 XML,还有其他相关的技术?如 XSL 和 XSLT。

188宝金博页面版:关注我们

  • 新浪微博

关注188宝金博页面版公众号

188宝金博页面版
阅读
APP
阅读
返回
顶部
188宝金博页面版官网登录在线平台入口(2026已更新)—江苏协昌电子科技股份有限公司