机械综合项目工程译文参考模板.docVIP

译 文 原文题目： Automatic Generation of PLC Programs for Control of FlexibleManufacturingCells 译文题目：PLC程序自动生成柔性制造单元控制 学 院 ：电工程学院 专业班级：机械工程及自动化10级（5）班 学生姓名： 杨磊刚 学 号： 4100510 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]个具体自动化制造单元处理，但她们不覆盖该控制方案实施部分设备。这个原因很清楚：设备是米尔斯，车床和相同，她们全部有自己控制系统。在考虑过程本文中，这是没有情况下. 在最近几年已经推出了新自动化supplicrs为控制程序更高效开发工具这些工具基础想法是利用信息一个细胞机械设计和转换信息程