发布时间 : 星期六 文章可编程控制器外文翻译、中英文翻译、外文文献翻译更新完毕开始阅读
无锡科技职业学院毕业设计中英文翻译
机可能被分析是否达到被要求的目标。第二状态机描述提供一个结构化表示法传达合乎逻辑的需求和约束，像是详细的安全定则。第三，明确的控制系统设计结果有助于自动的代码产生。生产可运行的逻辑控制器上的控制软件能降低软件程序设计研制时间和人工成本。
用户驱动的制造业
在现代生产过程中，系统以产品和生产流程革新为特点，因此必须对改变系统要求迅速反应。主要的挑战是提供技术以能在变更需要和新的机会之后节俭的重新配置自动化控制系统。设计和操作的知识可能被使用，因此，在工业实践过程中给予了重要的竞争优势。
设计的自动化和软件的高质量
研究已经显示，在自动化系统过程中的程序设计方法学每能与计算机资源的迅速增加相配。例如，PLC的程序设计仍然是用梯形逻辑图解依赖一种常规程序风格。因此，延迟和资源是制造业发展的一块主要的绊路石。测试和除错超过为PLC程序设计被分派的50%的人力。标准[IEC60848，1999；IEC611313，1993；IEC61499，1998；ISO15745-1，1999]已经成为固定并且广泛使用的最新型的设计方法，但是他们通常不能参加发展有效率的程序和系统的设计知识。
系统的方法将通过使用现有的新软件增加设计自动化的水平，并且提供方法使大规模系统设计容易。而且，它将会改良软件质量和可靠度，特别是危险的环境，例如飞机场控制和铁路。 系统的复杂性
软件产业被认为是一个绩效析构函数的产生器。硬件价格的下降损坏了软件性能的需要和效率。结果是庞大的低效率软件代码在速度上超过了硬件的性能。第二，软件到了难以控制大小的复杂性；软件重新设计和维护在现代化的自动化系统中几乎变得不可能。特别地，PLC程序已经在25年以前从一个电耦程序编码行进展到有输入/输出点的一个相似的数目数以千计的编码行。例如在增加安全放火墙上，现代自动化系统的灵活性给复杂性计划设计过程。从而，软件的生命周期费用是永久增长总费用的小部分。这些费用的80%～90%作为软件的维护，调整，适应和扩大满足不断变化的需求。
设计理论发展
如今，大多数的设计研究的主要焦点以机械的或电气产品为基础。被计划的研究的副产品之一将提高我们的基本设计理论和方法学的理解，通过把它扩大到工程系统设计的领域。大规模和复杂系统的一个系统设计理论还每被完全发展。尤其，怎样简化以项错综复杂或者复杂的设计工作的问题没被以科学方式处理。而且，在设计理论和最新epistemological正式表现在计算机科学和运筹学的结果之间，例如模型化系统分离事件，将推动以后的工程设计。
在合乎逻辑的硬件设计过程中的应用
16
无锡科技职业学院毕业设计中英文翻译
从一个合乎逻辑的视角，PLC软件设计类似于集成电路的硬件设计。现代VLSI设计对数百万部分和3年发展一个产品时间感到极端的复杂。设计过程通常被分成一个组成部分设计阶段和一个系统设计阶段。在组成部分设计阶段，单个的功能被设计并且证实。在系统设计阶段，零部件和整个系统性能和功能被模拟测试。通常，一次完整的验证是不可能的。因此，一个有效的适合PLC设计的程序可能挤入合乎逻辑的硬件设计中。
17