1、“.....介绍认可这步，可视化程序在这个过程中使用确保文件将用于只包含有效可视化，可以用来变换，以及形成有效另个，这是由于对鉴定指示拥有个额外属性附加到指示标记。此属性通知是个有效指示，指示是否是有关指令集。这个转变程序，也能指示附加属性标记，宣布项分类指示到预定义类。转换指示识别证明了语义是与编程语言操作类型相致。在本节中例子中，参见图，新包含额外根据它所代表类型分类指示运作属性。步骤指示分为不同类型操作如，成不变文件类型，这种文件类型中大部分被滥用任务，这是从来没有设计为对方有利。充满了复杂性，他语法，让许多强大并且努力到计划方案到了另个方向。当描述了数据本身是怎样显现同时，描述了数据本身。些行业和学科医疗记录及报纸出版，其中已使用交换信息，可以跨多个平台来应用。在个信息获取人可以使用各种不同方式形式下，可可裁定描述几乎任何种类信息......”。

2、“.....例如民航处及调度之间应用。使用拥有强大解析器和固有简单性条款，句法和语义语法比常规词汇分析器和验证分析器使用更有利。常规程序代码分析方法需要个扫描仪词法分析仪由剖析器检查语法结构代码产生了套终端符号令牌，并生成个对象网。在该对象内部结构程序代表确定对象和两者之间关系。双方扫描器和分析器将使用这种方法是面向文件，这就意味着，分析不同类型文件，需要重新生成代码为扫描仪和分析器。个应用这种方法方法例子可以在发现。使用最有前途方面，就是及其应用互补性转变为标准化，以便给它用户提供最大灵活性。基于该方法是十分有利，因为词汇规格是不变组成部分，因此良好形式从各自个别申请是独立。因此，解析器也可以吧文件在个抽象代表性换成以所谓文档对象模型，不需使用语法。是个应用程序编程接口对和格式良好文件有效。它定义逻辑结构文件和文件方式访问和操纵。在中规格......”。

3、“.....被用来作为种代表许多不同种信息可能在不同系统中存储以及许多传统上，这将被看作是数据而不是作为文件。不过，介绍了此数据文件，并且可以用来管理这方面数据。转型语言是能够不仅转换到另个或，还能够转换到许多其他友好用户格式。前来临以前，改造成为任何其他格式只有通过在个程序语言如，或定制开发应用程序来实现。这个程序与尊重结构性变化相比文件缺乏般性。演变，作为个高层次宣示性语言，对利用观念，习俗申请变革都是十分相似。功能分为两个步骤。在第步，它执行结构性转型，以便为转换成结构，反映了所需输出。第二阶段是格式化新架构成所需格式，如或。这个转变最重要优势是它允许个可以想象简单而容易文件或数据结构良好嵌入内部结构，以了解来制作。当被选择作为格式转化产生时候，是有可能使用广泛能力来产生出可想象和有吸引力可视化程序。每个文件都有自己语法和词汇。因此，除了作为良好形式......”。

4、“.....根据建议，这套规则已通过文件型态定义或个架构加以界定。该定义规则在个或个国家层次和结构制约文件。近期，些另类语言已提出，是用以界定文件文法。语言重复了重要功能，并增加了些特点。使用语法，例如，明确之间关系架构和命名空间，个有系统区分元素种类和数据类型，和单继承形式，类型推导。在其他话架构提供了更丰富和更强大方式描述信息，比什么是可能与。五方法可视化程序概况由于是在欧洲最常用编程语言，现在展示介绍做法是在此基础上语言。西门子第步和标准版根据正在被考虑。文件显示生成显示了不同方面程序，实现了在以下三个步骤程序到文件转换可行性和确定了语法架构，根据该指令集来源，临立会，转换介绍元素定义这三个步骤是讨论分别分节至。小组节解释了在前阶段期间不同可视化取得成绩。在整个这节个例子是用来说明所提出概念。图显示了在西门子公司名单中中代码书面指示。临立会代码是写在形式地方，每列元素，是种地址......”。

5、“.....指示，操作和说明或评构成分隔清单。图西门子公司名单中中代码书面指示程序转换成为格式良好由于格式程序加上个结构与单独列地址，标签，指示，运算和说明划定表格，可以把它转换为格式良好文件。通过这种转变获得文件是个分层结构文件。通过文件获得改造。文件是在结构上等级，其中根元素是是代表全代码。每行代码是包含在相应元素，这是米呃子元素。注结构选择代表性代码是面向在工作建议，该。验证和架构由于前处理，除了正在完善被确认文件，可以验证使用验证解析器取得，形成符合套句法规则所界定背景下编程语言。介绍认可这步，可视化程序在这个过程中使用确保文件将用于只包含有效可视化，可以用来变换，以及形成有效另个，这是由于对鉴定指示拥有个额外属性附加到指示标记。此属性通知是个有效指示，指示是否是有关指令集。这个转变程序，也能指示附加属性标记，宣布项分类指示到预定义类......”。

6、“.....在本节中例子中，参见图，新包含额外根据它所代表类型分类指示运作属性。步骤指示分为不同类型操作如，，，，，成不变文件类型，这种文件类型中大部分被滥用任务，这是从来没有设计为对方有利。充满了复杂性，他语法，让许多强大并且努力到计划方案到了另个方向。当描述了数据本身是怎样显现同时，描述了数据本身。些行业和学科医疗记录及报纸出版，其中已使用交换信息，可以跨多个平台来应用。在个信息获取人可以使用各种不同方式形式下，可可裁定描述几乎任何种类信息。它是专门设计用于支持从根本上使用不同形式数据系统之间信息交流，例如民航处及调度之间应用。使用拥有强大解析器和固有简单性条款，句法和语义语法比常规词汇分析器和验证分析器使用更有利。常规程序代码分析方法需要个扫描仪词法分析仪由剖析器检查语法结构代码产生了套终端符号令牌，并生成个对象网。在该对象内部结构程序代表确定对象和两者之间关系......”。

7、“.....这就意味着，毕业设计论文外文资料翻译学院系机械工程学院专业机械工程及自动化姓名学号外文出处附件外文资料翻译译文外文原文。指导教师评语签名年月日附件外文资料翻译译文可视化程序使用米巴尼尤尼斯和弗雷摘要由于程序日益复杂，在应用方面有越来越多兴趣爱好者。形式化方法，让僵化证明系统属性被核查和验证。个传统思路方法就是在编程中设立个正式设计方法。不过，现有软件已被优化，改变，或移植到新系统有需要找到从程序开始方法。因此，规范程序是个现在研究热点。该文章概述了基于形式化程序基础上从新启动方法。转型成为个独立格式和可视化结构，在这个过程中，程序确定是作为这项措施重要中间步骤。这表明如何和相应技术可用于形式化和可视化现有程序。导言可编程逻辑控制器是种特殊类型计算机，它应用于工业和安全关键地方。应用目是控制特定或可选择过程......”。

8、“.....应用在制造业和化工过程控制，机械加工，交通，电力分配，以及其他许多领域。控制有着极大不同，自动化应用范围复杂性从个简单小组运作到控制个会议室灯光和自动窗成为个全自动化生产线。随着他们应用知识增加，他们把应用到复杂性和品质要求高地方，特别是对安全性要求特别严格地方。由于在有限时间里发展应用日益复杂，现有软件或模块也在迅速发展，以此，需要个正式办法加以规范。为了确保高品质要求，我们需要检查和验证程序，以及分析和模拟现有系统。其中个重要领域就是已经在最近时间成长在规范化程序是逆向工程。逆向工程是通过评估达到了解它运转过程，以达到重复或加强目。而重用守则正在建立，作为种打击复杂程序工具，逆向工程在今后几年将得到越来越多重要性，特别是如果现有硬件被适用于各种不同程序环境新硬件所取代情况下。现有程序可视化是逆向工程个重要中间步骤。本文章提供了个方法，使用使程序可视化......”。

9、“.....该文件结构如下。首先，简单介绍了根据国际电工委员会标准是给予和相应编程技巧，。在第三部分，在现有基础上用形式化程序重新设计方法介绍。代码转型成为个独立格式被确定为在这个过程中重要第步。和相应技术，例如和第四节可以使用这种转变。第五部分提出了应用使程序可视化方法并用个例子做出说明。最后节总结了结果，并就今后工作在这方面正在进行项目做了个前景展望。二和自从七十年代初期公布于世，由于它成功完成目，取代了机器上硬连线控制设备，日益受到重视，。最终它作为个独特应用领域成长起来，它研究和开发，主要是为控制工程。是为工业自动化第次真正努力来规范编程语言。在国际电工委员会上公布了作为可编程控制器标准。在标准化编程语言之前，正在制定为了个别实用专有编程语言。为了提高不同产品兼容性，开放性和互操作性以及为了促进工具和方法发展，国际电工委员会标准设立固定套符号。第三部分......”。