[机械工程译文参考模板.docVIP

译 文 原文题目： Automatic Generation of PLC Programs for Control of FlexibleManufacturingCells 译文题目：PLC程序的自动生成柔性制造单元控制 学 院 ：电工程学院 专业班级：机械工程及自动化10级（5）班 学生姓名： 杨磊刚 学 号： 41002010510         PLC程序的自动生成柔性制造单元控制 abslraa缩短的产品生命周期减小输出制造系统的速率。的离线验证控制系统的承诺，增加产量。然而，对使脱机验证一些重大的改进当前制造业的发展过程我需要系统。信息处理与发展控制程ioformstian重用是两个最重要的改进的地方。本文论述了的许多连接到启用脱机的一个问题验证。一个通用的控制程序结构，适应信息的重用和正式的数学证明的方法，是必要的。本文提出了B计划结构，它可能产生的PLC制造商—程序的信息，在已经存在B制造系统的发展过程。为了进一步inereasf oftline能力验证提出的程序结构适用于进口通过正式的mathematics1方法处理的信息 1．介绍 消费产品的生命周期不断缩短的；汽车产业是一个说明性的例子。作为一个结果，新产品的介绍制造系统一定becomcs更频繁。本质上，这带来的性能下降制造系统。如图1.1所示 图1.1生产量减少时，新的C产品替代产品降低性能的下降时间和引起的升温时间。在停机时间的机械设备改造和新的控制程序调试。斜坡上升阶段之间的时间斯坦的重建的植物和到达时间满生产速度。在坡道有大量主要是通过机械装置不造成的错误适当调整，在控制程序的错误和不习惯新的程序操作。此外，升温时间影响的性能，在最坏的情况下可能的时间，在市场需求的高峰之后推出一个新产品。不能产品产生的误差在坡道是失去的。由于市场需求下降是不可能的弥补损失的生产增加，一旦错误率下降。因此，为了保持生产力水平和实现全成本效率停机时间和上升时间必须减少。 减少停机时间和上升时间的一个方法是调试控制程序之前，他们被加载到控制系统。这是通常被称为控verificulion。oftline验证并消除了很大一部分的时间和过程中的错误加速程序错误造成的。 今天，离线验证通常需要验证通过一个三维检测系统功能—模拟。使用的详细的3D模型制造系统连同控制代码方法对模型执行代码，控制代码开发模拟系统的控制下观察的行为。没有碰撞和死锁通常可以评估，至少对系统有限的灵活性。然而，许多错误是很难通过物理地看着仿真检测，例如，当一个紧固销是在错误的位置。funhennore，程序冗长而无聊的，这可能会引起漏检错误。 进一步的crron从而增加下坡道的时代是信息的事实是不可重复使用的子过程之间的发展过程。一个例子是控制的发展程序。第一个机械工程师设计的电池和其控制功能。然后同样的控制功能实施，通常是手动，在机器人的仿真工具，机器人路径加弧。之后机械设计是由一个三维仿真验证。最后相同的控制功能的实现三分之一的时间，在PLC程序。 形式化方法，即数学推理系统模型特性。代码的自动生成能显著提高脱机能力验证缩短下坡道的时代。这研究这个问题的自动生成从产生的THC的信息控制程序对开发过程的子过程制造系统，主要是在汽车工业。这涉及到定义控制程序的总体结构，确定需要什么样的信息参与并找出该信息储存在何处。它还涉及存储在信息转换不同的不兼容的格式转换成适当的格式代码 有几篇论文已被写入有关发展自动制造控制程序。这些可以大致可分为两种类型。第一类[1]，[ 2]，[ 3 ]，可以分为基于软件工程第二类[ 4 ]，[ 5 ]，基于数学系统的表示和处理。程序在本文提出的结构是基于软件工程的原则和适应输入信息通过形式化的数学方法进行处理。 有四个原因，以前的研究并没有解决这个问题的连接下，缩短斜坡上升时间。首先，在[1]，[ 2 ]，[ 4 ]和[ 5 ]只有部分的程序，包括控制功能自动操作而言。这是典型的10%一个完整的控制程序，它是必要的包括人工交互和机械零件的联锁装置可靠的离线验证。描述的剩下的90%是在2.1节中发现。其次，不考虑信息重用。逻辑操作在一个指定的编程工具，[1]，[ 2 ]，通过控制—自动机，[ 4]，或通过Petri网，[5]。第三，由于逻辑手动指定它是不可能保证本规范是廉洁的转换到后控制程序。第四，[1]，[ 2 ]，和[ 4]个具体自动化制造单元处理，