• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文学位 >Modular logic controllers of machining systems: A modeling and analysis methodology.
【24h】

Modular logic controllers of machining systems: A modeling and analysis methodology.

机译：加工系统的模块化逻辑控制器：一种建模和分析方法。

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The machining systems considered in this dissertation are high volume transfer lines which are widely used in automotive manufacturing. In these machining systems, several machines are linked together to provide complete processing of a machined part. The logic controller for a machining system is a discrete event supervisory system. Generally, it has three control modes: auto, hand, and manual. This dissertation addresses a formal representation of logic controllers with three control modes in modularized structures using Petri net formalism. By considering the fault recovery processes of operations, two operation modules are developed. The structure of the modular logic controller is introduced and its properties are verified using well-known theorems for state machines. Each station control module can be represented by connecting operation modules; their connection algorithms are provided. If the connection algorithms are followed, live, safe, and reversible Petri nets can be obtained. A condition for a modular logic controller to generate correct control logic is presented. A modular logic controller for the normal operation cycle is introduced and formalized for performance analysis; its properties are verified using well-known theorems for marked graphs. The performance analysis using the modular logic controller for the normal operation cycle is introduced. The cycle time during normal operation is used as the performance metric of a transfer line. By adding time specifications to the modular logic controller for the normal operation cycle, a timed modular logic controller is generated. The time-based cyclic behavior of high volume transfer lines is thus characterized. Two efficient algorithms to compute the cycle time and critical operations are developed. It is also shown that this modular structure can be used in control logic reconfiguration and automatic code generation.
机译：本文所考虑的加工系统是大批量输送线，广泛应用于汽车制造业。在这些加工系统中，几台机器链接在一起，以提供对加工零件的完整处理。加工系统的逻辑控制器是离散事件监控系统。通常，它具有三种控制模式：自动，手动和手动。本文利用Petri网形式化理论，以模块化结构形式对具有三种控制方式的逻辑控制器进行形式化表示。通过考虑操作的故障恢复过程，开发了两个操作模块。介绍了模块化逻辑控制器的结构，并使用状态机的众所周知的定理来验证其性能。每个站控制模块都可以通过连接操作模块来表示。提供了它们的连接算法。如果遵循连接算法，则可以获得实时，安全和可逆的Petri网。提出了模块化逻辑控制器生成正确控制逻辑的条件。引入了用于正常运行周期的模块化逻辑控制器，并将其形式化以进行性能分析；使用众所周知的标记图定理验证其性质。介绍了使用模块化逻辑控制器进行正常操作周期的性能分析。正常运行期间的循环时间用作传输线的性能指标。通过将正常操作周期的时间规格添加到模块化逻辑控制器，可以生成定时的模块化逻辑控制器。因此表征了高容量传输线的基于时间的循环行为。开发了两种有效的算法来计算周期时间和关键操作。还显示了该模块化结构可用于控制逻辑重新配置和自动代码生成。

著录项

  • 作者

    Park, Euisu.;

  • 作者单位

    University of Michigan.;

  • 授予单位 University of Michigan.;
  • 学科 Engineering System Science.; Engineering Industrial.
  • 学位 Ph.D.
  • 年度 1999
  • 页码 102 p.
  • 总页数 102
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 系统科学;一般工业技术;
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号