1、“.....个传统思路的方法就是在编程中设立个正式的设计方法。不过，现有的软件已被优化，改变，或移植到新系统有需要找到从程序开始的方法。因此，规范程序是个现在研究的热点。该文章概述了基于形式化的程序基础上从新启动的方法。转型成为个独立的格式和可视化的结构，在这个过程中，程序的确定是作为这项措施的重要中间步骤。这表明如何和相应的技术可用于形式化和可视化现有的程序。导言可编程逻辑控制器是种特殊类型的计算机，它应用于工业和安全的关键地方。应用的目的是控制特定的或可选择的过程，它是通过产生的电控制信号回应电器中相关的输出信号来实现的。应用在制造业和化工过程控制，机械加工，交通，电力分配，以及其他许多领域。控制有着极大的不同，自动化应用范围的复杂性从个简单的小组运作到控制个会议室的的灯光和自动窗成为个全自动化的生产线。随着他们应用知识的增加，他们把应用到复杂性和品质要求高的地方，特别是对安全性要求特别严格的地方。由于在有限的时间里的发展应用日益复杂，现有的软件或的模块也在迅速发展，以此，需要个正式的办法加以规范。为了确保高品质的要求，我们需要检查和验证程序，以及分析和模拟现有系统......”。

2、“.....逆向工程是通过评估达到了解它的运转过程，以达到重复或加强的目的。而重用的守则正在建立，作为种打击复杂程序的工具，逆向工程在今后几年将得到越来越多的重要性，特别是如果现有的硬件被适用于各种不同程序环境的新硬件所取代的情况下。现有的程序的可视化是逆向工程个重要的中间步骤。本文章提供了个方法，使用使程序可视化，让程序工程师更容易把握方向和更好地了解。该文件的结构如下。首先，简单的介绍了根据国际电工委员会的标准是给予和相应的编程技巧，。在第三部分，在现有基础上用形式化程序重新设计方法的介绍。代码转型成为个独立的格式被确定为在这个过程中重要的第步。和相应的技术，例如和第四节可以使用的这种转变。第五部分提出了应用的使程序可视化的方法并用个例子做出说明。最后节总结了结果，并就今后的工作在这方面正在进行的项目做了个前景的展望。二和自从七十年代初期公布于世，由于它的成功的完成目的，取代了机器上的硬连线控制设备，日益受到重视，。最终它作为个独特的应用领域成长起来，它的研究和开发，主要是为控制工程。是为工业自动化第次真正的努力来规范的编程语言......”。

3、“.....在标准化的编程语言之前，正在制定为了个别实用的专有编程语言。为了提高不同产品的兼容性，开放性和互操作性以及为了促进工具和方法的发展,国际电工委员会标准设立固定的套符号。第三部分，定义了个适合种编程语言标准语言是种低层次的文本语言,其结构类似于汇编语言。语言被视为的在所有其他语言都可以翻译语言。梯形图是种被认为起源于于美国的图形语言。符合从电子及电器电路实施控制逻辑的编程风格。结构化文本是个非常强大的高层次的语言。圣借从帕斯卡尔那里借用了它的语法，充实它的些特点。圣包含个现在编程语言多要求的所有要素。功能块图是种图形语言，在工业流程里是非常常见的。在这种语言中，控制器被认为是可在功能块之间流动的信号和数据。把换文本编程转变为功能块编程，因而提高了模块化和软件重用性。顺序功能图是个图形化的语言。要素的定义是为了构建可编程序控制器程序的组织。其中在中出现的个问题就是在的编程工具的工程信息中没有个标准化的格式。目前，每个厂商都在运用他们各自的具体的不同格式。这亦是其中个原因就是被限制了的形式化的做法，以单的程序或算法。不过......”。

4、“.....以确定个基于格式的的项目。这种新格式将缓解形式化的工具，使之成为项目的所有相关的信息。三重新设计的方法对于重新设计所提出的态度，参见图是基于认为可作为种中间媒体语言用来改造的代码。这种转变提供了取得独立规格代码优势，。即使成功地确定了种标准化的格式为所应用，仍将有很多现有的程序不符合这个标准。在此代码基础上的个明智步骤转型到个正式的模型自动机正在计划之中。这个模型可以用来进行分析，模拟仿真，正式的检查和验证，最终对同或其他产品重新执行该优化算法。个很大的可能就是这个完成编程的逆向启动只能是个半自动的过程，中间可视化的代码是可视化，可以用来变换，以及形成有效的另个，这是由于对鉴定指示拥有个额外的属性附加到指示标记。此属性通知是个有效的指示，指示是否是有关的指令集。这个转变的程序，也能指示附加属性的标记，宣布项分类的指示到预定义类。转换的的指示识别的证明了的语义是与的编程语言的操作类型相致的。在本节中的例子中，参见图，新的包含额外的根据它所代表的类型分类指示的运作属性。步骤指示分为不同类型的操作如合乎逻辑的，跳转，负载或转让的运作转让等等......”。

5、“.....个巧妙的可以被设计用来产生个可以容易想象的转达程序的逻辑或者其他特征的文件。此外，的结构在嵌入在中参见图，也可让使用者用个简单的方法浏览程序。例如在中做的可视化程序。这可视化已经完成的转换，他作为个表中的子元素去验证的语法。指示鉴定后的被转化成使用转化，取得那里的指示和身份指示后，根据该行动的类型提取的在表载列了两栏指示，指令编号是在可视化的。结构的建议，这不是唯的可能性，其中的可以可视化，但他们提供个很容易的切实可行的方案，那就是为用户把握的代码。图显示了相同的的代码，在图他作为个文档转换文档，显示的图使用的。这可视化，更好地了解程序成为可能。图显示了在图中的教学入侵检测系统特殊的可视化。六结论和展望重新设计的程序需要个正式的办法加以发展。在本文章中，是来解决这个任务个方法的介绍。在给出了书面指示程序的基础上，在清单的通过个明确步骤转型为被建议的正式代表。由于这个过程不会完全自动，有必要采取灵活的可视化中间步骤。是作为种灵活的，标准化的手段来充当数据格式来描述的代码。相应的转换和文档对象模型的技术是作为工具，在重整过程为各种定制可视化任务......”。

6、“.....可以推导出了功率消耗多余的切换。在本文中，我们目前更先进的方法省电。案件图是，使扫描过程中产生的信号的线路运营。第个输入检测电路决定的第个信号，然后输入信号首先让行动积极。在稍后举行的输入信号是在等待电路。然后，第次作业完成后，信息的信号，完成的操作中会产生内存。信息信号让持有信号是积极的。的情况下运作是两种类型。该是，收件使信号首先投入。案件的是，扫描使信号首先投入。如果两个信号同时出现，写入信号首先启动。这种方法可以删除多余的操作，可发生在内存访问图扫描信号屏蔽方法图拟议框图实验装置图是个照片的彩色小的单芯片驱动器集成电路。该集成电路的组成与来源渠道的与部分的产出和薄膜晶体管栅极通道产出。该芯片大小为是捏造的金属微米工艺。中心部分是内存块和块左侧的内存块是嵌入式图形内存块。因为金属线从逻辑记忆很长，进入时机是非常重要的。提出的访问方法可以删除运行中的异常造成的长期金属拖延。图个芯片的驱动器的照片图该振荡电路位于内存块之间的栅极驱动器块。灰度块位于左侧部分的逻辑块。源驱动块位于上述每个内存宏块。四季度双方都包裹垫。嵌入式图形位内存块分为大区块......”。

7、“.....优化的高度和长度是个重要的因素在些净死。每个宏观内存块可以选择的选择信号时，读写信号提供。这种方法降低了内存访问能力。扫描操作系统可以同时执行。和每个存储区块有时间控制生成块。时间控制生成块重新生成写读扫描信号，写读扫描信号的逻辑。重新生成写读扫描信号可以减少电力消耗的内存中。测试完成了调标签手工测试板。耗电量是衡量五，表描述了消耗电流仅为逻辑部分的写作时间，显示有关。在过去的芯片，耗电量点毫安在。在提出的芯片，耗电量毫安。的能量消耗的上季度减少在提交芯片。写作和扫描测试是通过本手册局的接口。注销时间是在我们提供的，这是最低的时钟在。能够在次扫描时间，写作的最低总认输是，这是扫描的方法在以往模块测试环境。基本信号产生在和高速信号中会产生个板。图模块显示结论第种方法是再生时间的方法，可以接收信号的获取外部逻辑和再生的最佳时间。这种方法可以适用于嵌入式图形存储器。第二种方法消除了些多余的扫描信号。这种方法消除了些多余的通道，可用于在个逻辑块。其效率的方法是验证在这个进程。总能耗中的模块是根据兆瓦为电源。耗电量是衡量个正常显示。该模块是有效的手持设备。分。模拟部分组成的驱动器......”。

8、“.....分压器和振荡器。振荡电路产生的时钟显示。转换器电路的数码制作接收时钟产生和产生的最高最低电压水平。该分压器电路之间鸿沟的最高和最低水平。司机块供应各种电压小组。图是个框图实施万的单芯片集成电路。在万的单芯片集成电路组成的个逻辑，合并后的记忆体，振荡器，个数码制作转换块，源栅极驱动块和个共同的电压生成块。逻辑部分组成的个微控制器接口模块，内存处理块，和定时控制模块。该微控制器接口块之间的接口的驱动器和外部微控制器。内存处理块解码信号接收中的微控制器接口和生成的内存地址。该电阻阵列包含在灰阶序性被核查和验证。个传统思路的方法就是在编程中设立个正式的设计方法。不过，现有的软件已被优化，改变，或移植到新系统有需要找到从程序开始的方法。因此，规范程序是个现在研究的热点。该文章概述了基于形式化的程序基础上从新启动的方法。转型成为个独立的格式和可视化的结构，在这个过程中，程序的确定是作为这项措施的重要中间步骤。这表明如何和相应的技术可用于形式化和可视化现有的程序。导言可编程逻辑控制器是种特殊类型的计算机，它应用于工业和安全的关键地方。应用的目的是控制特定的或可选择的过程......”。

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