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

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

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

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

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

6、“.....本文主要就是对并联机器的动力学分析。运动合成是为了介绍种新方法，它能够完善钻孔操作和点到点定位的准确性。动态合成旨在减少因使用弹簧机械时的输入功率。关键词并联运动机床高速钻床动力学的合成介绍在最近的几年里，研究所和工业协会介绍了各式各样的。其中大部分但不是所有,以众所周知的斯图尔特月台为基础结构。这做法的好处是高公称的负载重量比，良好的位置精度和结构刚性。斯图尔特式的主要缺点是相对小的工作空间和相对慢的操作速度,。机床刀具的工作空间是指刀尖能够移动和切削材料所需要的容积。平面的斯图尔特月台的设计在中被提到，像是对无机器作翻新改进的方法需要塑料的铸模机制样。的设计允许可以调整几何学已经被规定了的最佳的再配置的任何路径。般的，改变根或较多连杆的长度是以受约束的顺序来做几何学的调整。在机床设计中，定长度连杆的应用比不定长度连杆的共同点要少的多。个优秀定长度连杆型的机器例子被显示在。已经建造叫做的机器。在此被描述成是个采用定长度连杆组成的并联机械装置。钻床操作在文学中被很好的介绍了。汽车工业中，项关于高速钻孔的操作的广泛的实验研究在中被报告......”。

7、“.....理想的钻床运动和制造高质量钻床的指导方针通过理论和实验的研究被呈现在中。在被建议的综合中，我们遵循中的结论。新推出的的详细机械结构在,被介绍，机器的大致结构显示在图中它有很大的工作空间，点到点的高速运动和非常高的钻速。并联的机械装置提供给了和轴的动作，轴动作是由工作台提供的。为了达成高速的运转，用了两个线性马达来驱驶机械装置和用个高速的主轴来钻孔。这篇文章的目的就是描述新的运动学的和动力学合成的方法的发展，为了改良机器的运转。通过输入运动，规划钻井和点对点定位，机器的误差将会被减少，而且完成孔的质量能被极大的提高。通过增加个弹簧机械要素到，输入动力就能被最小，以便机器的尺寸和能量损耗降低。数字模拟的正确查证和热交换率的方法呈现在这篇文章中。模型的运动学和动力学的运动方程式模型的概要线图在图中被显示。由于机床刀具库的致，轴是沿着工具运动的方向的。模型有部分和部分二个输入指示二个线性电机，和个刀具的输出动作。在模型应用中，定位和钻孔运动分别通过轴动作相对点到点的定位和轴动作相对钻孔表示。刚体和柔性体的模型运动方程式都被发展了......”。

8、“.....柔性体方程式被用来在刀具点到点定位之后的剩余振动控制。刚性连杆的模型的运动方程式机械装置的特点是使用了数字集成,刀具设备含工作台，主轴和刀具部份。它的运动学方程式的发展依下列各项。刀具的变位是且其中是点和点之间的距离,是连杆的长度连杆和的长度是相等的。刀具的速度是其中刀具的加速度是其中模型的动力学方程式的发展如方程所示，使用了拉格朗日的第二个类型的方程式。其中是系统的总动能和是总坐标值和速度值是总力对应到的的值。是坐标系中总的独立数目。在这里和，引出之后，公式可被表达最系统属性被核查和验证。个传统思路的方法就是在编程中设立个正式的设计方法。不过，现有的软件已被优化，改变，或移植到新系统有需要找到从程序开始的方法。因此，规范程序是个现在研究的热点。该文章概述了基于形式化的程序基础上从新启动的方法。转型成为个独立的格式和可视化的结构，在这个过程中，程序的确定是作为这项措施的重要中间步骤。这表明如何和相应的技术可用于形式化和可视化现有的程序。导言可编程逻辑控制器是种特殊类型的计算机，它应用于工业和安全的关键地方。应用的目的是控制特定的或可选择的过程......”。

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