机械专业论文摘要翻译

VisualizationofPLCProgramsusingXMLAbstractDuetothegrowingcomplexityofPLCprogramsthereisanincreasinginterestintheapplicationofformalmethodsinthisarea.Formalmethodsallowrigidprovingofsystempropertiesinverificationandvalidation.OnewaytoapplyformalmethodsistoutilizeaformaldesignapproachinPLCprogramming.However,forexistingsoftwarethathastobeoptimized,changed,orportedtonewsystems.ThereistheneedforanapproachthatcanstartfromagivenPLCprogram.Therefore,formalizationofPLCprogramsisatopicofcurrentresearch.Thepaperoutlinesare-engineeringapproachbasedontheformalizationofPLCprograms.ThetransformationintoavendorindependentformatandthevisualizationofthestructureofPLCprogramsisidentifiedasanimportantintermediatestepinthisprocess.ItisshownhowXMLandcorrespondingtechnologiescanbeusedfortheformalizationandvisualizationofanexistingPLCprogram.可视化的PLC程序使用XML摘要:由于PLC程序日益复杂,在PLC应用方面有越来越多的兴趣爱好者。形式化方法，让僵化的证明系统属性被核查和验证。一个传统思路的方法就是在PLC编程中设立一个正式的设计方法。不过，现有的软件已被优化，改变，或移植到新系统.有需要找到从某一PLC程序开始的方法。因此，规范PLC程序是一个现在研究的热点。该文章概述了基于形式化的PLC程序基础上从新启动的方法。转型成为一个独立的格式和可视化的结构，在这个过程中，PLC程序的确定是作为这项措施的重要中间步骤。这表明如何XML和相应的技术可用于形式化和可视化现有的PLC程序。CONCLUSIONSRe-engineeringofPLCprogramsneedsaformalapproachtobedeveloped.Inthispaperonewaytosolvethistaskisintroduced.BasedonagivenPLCprogramwritteninInstructionListastep-wisetransformationtoaformalrepresentationisproposed.Sincethisprocesswillnotbefullyautomatic,theneedforflexiblevisualizationofintermediatestepsisderived.XMLispresentedasaflexible,standardizedmeanstoserveasdataformatforthedescriptionofthePLCcode.ThecorrespondingtechnologyofXSLtransformationsandtheDocumentObjectModelarepresentedastoolsforthevarietyofcustomizedvisualizationtasksduringthere-engineeringprocess.BasedontheXMLdescriptionofPLCprogramsfurthertransformationswillbeappliedtofinallyderiveacompletelyformalizeddescriptionoftheoriginalPLCcode.Thiswillbeintheformofafiniteautomaton.DuringthisprocessitisplannedtoidentifycommonILstructuresandformalizethemviaalibrary.结论重新设计的PLC程序需要一个正式的办法加以发展。在本文章中，是来解决这个任务一个方法的介绍。在给出了书面指示PLC程序的基础上，在清单的通过一个明确步骤转型为被建议的正式代表。由于这个过程不会完全自动，有必要采取灵活的可视化中间步骤。XML是作为一种灵活的，标准化的手段来充当数据格式来描述的PLC代码。相应的XSL转换和文档对象模型的技术是作为工具，在重整过程为各种定制可视化任务。基于XML的描述PLC程序的进一步转变，将适用于最后得出一个完全形式化描述原PLC的代码。这将是在成立一个有限自动机。在这个计划过程中，他们通过一个知识库确定共同的介素的结构和正规化.