外文翻译1
基于 PLC 的建模与检测的形式化方法研究
J. Software Engineering & Applications, 2010, 3, 1054-1059
1Tsinghua 国家实验室信息科学与技术，清华大学，北京，中国；2School 的软件，清华大学，北京，中国。
电子邮件: championkop@https://www.360docs.net/doc/5613028155.html,、gluo@https://www.360docs.net/doc/5613028155.html,
收到 2010 年 9 月 5 日；修订 2010 年 9 月 16 日；接受 2010 年 9 月 24 日。
摘要
高可靠性是电气控制设备性能的关键。PLC 结合计算机技术、自动控制技术和通信技术，成为广泛用于自动化工业。一些复杂的 PLC 系统的要求不能满足传统的验证方法。本文对此提出了 PLC 系统建模和验证一种有效方法。为了保证 PLC 高速产权，我们提出"时间间隔模式"和"通知等待"的技术。它可以减少状态空间，使它能够验证一些复杂的 PLC 系统。而且在此基础上，推导出从所建立的 PLC 模型到语言的转换，设计了建模与检测 PLC 系统的 PLC 检查器工具。使用 PLC 检查器来检查一个古典的 PLC 例子，发现了一个反例。尽管这个逻辑误差的概率发生很小，但它可能导致崩溃致命系统中。
关键词: 模型检查，PLC 建模、 PLC-检查器中，形式化方法
1.导言
PLC 是一种自动控制装置，可以在形成接收传感器，计算设备或其它 PLC 逻辑输入的信号，并输出逻辑信号分析处理。可以使用标准的规，如梯形图（LD）、结构化文本或指令列表编写的控制算法。
PLC 使用可编程语言来控制大规模集成电路技术已广泛应用于工业[2]。由于安全关键软件可能会导致严重的破坏，对生命或财产的安全关键软件已成为不可或缺的步骤，保证软件质量所需的核查。通过仿真和测试仍然停留 PLC 目前的验证方法。然而，他们不能涵盖所有可能的情况下，尤其社会是否 PLC 以满足需求的设计模型。因此，模型检测技术引入PLC 的领域。给 PLC 的理论分析设计，变得重要。
PLC 模型检查的第一步是深化 PLC 模块，如建立一个模型从功能表图[3]。PLC 模式的重点建立时间属性[4]。它可以模拟由定时自动机[5]的方法或时间周期的 mod 陵方法[6]。
因而将减少状态空间模型的时间自动机相比。无论哪种方式，一个最终选择一个抽象模型可以给出[7]。如何构建一个良好的 PLC 抽象模型是检查最重要问题。手动建模很容易引入了很多错误，所以建立一个集成的建模和测试工具是非常重要的以及这是本文关注的问题之一。
PLC 控制程序运行在实时操作系统（多任务或单任务）；本文主要基于多任务调度的 PLC 控制系统。这篇文章的第 2 节有 plc 控制系统的建模方法概论。节 3 给出了这种模式的改进与分析我们需要减少伪错误的概率。第四节设计模型检验工具 PLC 检查器检查建立的模型，包括介绍 PLC 程序转换成旋转的输入语言由于代码的方式。最后，应用经典的 PLC 实例，检查并由 PLC 检查发现了一个关键的例子。
2.PLC 建模
模型检查的三个步骤：建模、属性说明和验证。最重要的是如何建立的系统模型。在系统中，PLC 控制器不是孤立的却与它的工作环境、驱动程序和胡侠[8]的互动。因此，这些因素，也应该建立这种模型。环境、人力和 PLC 控制器是其内和并发彼此在逻辑中。
而且，模型检查自旋输入的语言由于侧重于描述并发，所以从这个思路出发，我们建成了几个并发进程，以适应从旋转检查这些因素，将同样准确地刻画系统。为了方便描述，他们将被称为并行实体。PLC 控制器交互与并发实体通过图像表中的符号。PLC 控制系统的符号包括 I （输入端口）、 Q （输出端口）和 M （中间继电器）。图 1 是 PLC 系统模型图。时间间隔建模策略：使用哪些特定位状态的并发的实体来表示状态，而不考虑系统中的并发实体时钟的标志。这可能忽视的国家，从而简化了 PLC 模型的时差。建模策略不会添加系统时钟属性，与原有的 PLC 模型不完全对应。这主要是由于系统时钟会变得太大，有的PLC 系统模型的联接不为模型检查工具来处理这种大型模型。建模这样状态的起始点是不考虑 PLC 数目扫描时迁移经历。无论多少扫描它体验了，他们都将包含在此模型中。换句话说，真实模型将建立的模型（时间间隔模型）的一个子集。
真正的 PLC 环境是复杂的并包括各种硬件和人的行为。下面我们就给不同类型的 PLC 环境分析并行实体
图1 PLC系统模型
PLC 控制系统的硬件实体是主要一些 PLC 控制的设备。这些装备五花八门的状态可以是 PLC 控制器的输入。因此，硬件实体具有约束力与它关联第一和 Q，而硬件具有其自己的工作流，该工作流是德决定由硬件要求。这个工作流程可以抽象成自动机。此机用来刻画硬件的工作状态。
定义 2.1。硬件实体是一个元组 Env = < Ienv，Qenv，A >，Ienv 在哪里我端口绑定与硬件实体，Qenv 是与实体 Q 端口绑定。一个是自动机描述实体的工作流程，A 是元组 A = < s0，S，T >，其中 s0 是 A 的初始状态，S 是的状态集，而 T 是转移集。
硬件实体的国家是一个子集的符号，和是标志每个国家都是我符号映射到 {真、假}，不出现在状态可以是无论是真的还是假（那就是：一意孤行)。转让的直接表达的 Q 符号子集的硬件实体表示中的子集的所有 Q 符号都是真正的在同一时间驾驶状态之间的迁移。硬件实体的状态转换图还需要指定一个初始状态，从这种状态开始的转换图。
硬件实体的状态转换图基于的符号，和时间属性不考虑到该司。硬件实体状态转换图是实际的硬件实体忽略时间，所需的抽象模拟参考硬件的抽象。
2）简单的输出
简单的输出实体唯一有约束力的 Q 端口而无需使用我端口，这意味着简单输出实体没有状态转换图。简单的输出实体是显示 PLC，像一个信号灯的工作状态的设备。简单的输出实体的用法是绑定在一起的 Q 端口这样 PLC 可以使其逻辑的设计。
3）操作界面
定义端口绑定与硬件实体，QENV 是 Q 端口绑定与 en 证书。一个是自动机描述实体的工作流程，A 是元组 A = < s0，S，T >，其中 s0 是 A 的初始状态，S 是的状态集，而 T 是转移集。
操作硬件实体；他们有相同的状态定义。很难对捷联惯组晚了人，尤其是对涉及的人员数目的 PLC 设计的行为。针对这些困难，人类行为建模应该采取一个迭代的过程：首先，建立了一个简单的行为模型使用的模型验证；然后，如果找不到一个反例，更复杂的模型建立，并验证，直到找到一个反例或硬要更为复杂；最后，如果以前没有找到一个有意义柜台前充足，然后生成一个完全随机的人乐科模型（那就是：人类的行为是所有传输的完全图是真的）核查。但是，com 完全随机的行为核查将导致状态空间增加戏剧性的是，如何选择适宜的人类行为模式，是建模难度。如果人的输入是相对简单的我们可以使用 com 完全随机的行为建模，否则，你需要认真考虑的人类行为的理性模型的建立。
我们建立模型对 PLC 环境和上述情况，人类的行为，然后我们将模型 PLC 控制器。当它开启时，PLC 控制器将在一个循环中。PLC 读取来自我的所有输入都端口。PLC 计算所有逻辑单位。PLC 端口设置所有的 q 值。
在基本单元上的 PLC 过程称为网络。所有的网络将操作按顺序数设置时设计。包括 PLC 控制器基本逻辑操作网络： S 触发器，R 触发器，SR 触发器、情商触发器，RS 触发器，POS 上升边缘检测器、 NEG 下降的边缘探测器等等。基本的逻辑操作网络建模，我们使用直接映射策略，即： PLC 控制器控制模型的网络行为和逻辑的是，对网络是完全等效的。那里 S 触发，R 触发器，SR 触发器，情商触发器 RS 触发器可以直接使用布尔表达式映射到它们的行为。
3.PLC 模型分析与改进
上一节描述 PLC 系统，的建模根据这一战略；我们可以抽象 PLC作为正式的模型，模型检测的系统。因此，这种模式会有公信力的模型检验结果直接决定。如果该模型并不完全包括原系统（我们称之为小于音律系统），可能会导致一些不检测到错误；如果实际的系统中，但不是包含原始系统并不存在的许多国家，可以完全覆盖模型（我们叫它比原来的系统），这可能会引入一些实际的系统中不存在的错误。在这里称之为伪错误。所以有两个要求的建模策略。
首先，为了在系统中找到的所有错误，我们应建立模型足够大，以涵盖所有国家原有的制度；第二，要求该模型是接近于真实的系统，尽可能多地。它不仅减少了状态空间，还能提高效率。基地的要求，我们会给有关的时间间隔模型分析。
也符合命题 1 如果时间间隔模型符合财产、真正的 PLC 系统模型。
命题 1 的正确性，可以得出这两个模型之间的关系。时间间隔模型实际模型的所有情况将会都发生的手段包括的时间间隔模型，远远大于真实模型。如果你找不到一个反例，采用时间间隔模型，你能证明是正确的真实的 PLC 模型；另一只手，如果我们找到一个相反的例
子，我们无法确定实际的 PLC 系统中是否有错误。这就是说 1 命题的逆命题是错误的。然后分析静力学反案件是否是伪错误，需手动干预。
时间间隔建模策略能得到 PLC 的抽象模型，基于 NUSMV的很多研究也使用类似的时间间隔模型到模型 PLC 系统的战略。然而，"时间间隔模式"有大的偏差，和实际对象模型，它需要加以改进。偏差："时间间隔模式"并不反映 PLC 的高速扫描特点和低速特性的并发的实体。也就是说，在环境中的所有更改都应由高速 PLC、都扫描但的时间间隔模型忽略了 PLC、外部环境变化使得高速特性可能不会进行都扫描。
为了解决上述问题，考虑到外部的高速扫描和低转速并发的物理特性，建模策略的时间间隔应通过添加一个通知等待机制加以改善。基于时间间隔模型，每个并发的国家实体必须阻止并等待后发生了转移。只有当 PLC 控制器完全扫描至少一次，等待通知机制将向其发送邮件
图2 PLC控制框图
要删除的块和下去工作的并发实体。然后转移完成。同意租金实体努力通过没有等待机制完成迁移过程如图 2 所示：
T0：转移开始，阻止并注意 PLC 控制。
T1-TM： PLC 完全扫描（m 是一个至少）的 m 次。
TM + 1：并发实体得到 PLC、转让完成的通知。
这种机制确保 con 当前实体的每个状态的改变可以通过 PLC 控制器至少一次扫描。命题 2 后的添加通知等待机制，该模型成为时间间隔模型的一个子集。同时，该模型还可以包括整个的现状，真正的模型中。即是说，如果一个模型，添加通知等待机制符合该属性，真正的 PLC 系统模型也符合。
这是类似证明与命题 1 2 命题。通过命题 2 我们可以看到后, 添加通知等待机制模型仍有一个善良的本性。震区当做提到，作为一种抽象的系统模型具有两个圆弧：第一，尽可能接近实际系统完全包含实际的系统中，紧缩的模型。第一个命题证明的时间间隔模型包括实际的系统中，只要使用模型检查工具来证明这个抽象的模型满足某一属性，那么该系统的真实性质也将满足这。但这种模型和真实模型是不完全平等，应该远远大于真实模型。比
较时间间隔模型，该模型进一步减少了实际的系统中，大大减轻之间的距离有机会那找出伪错误。
模型检测工具会给出一个反例侵犯财产的制度；它很容易手动确定实际系统中的反例
是真还是假。如果原系统中的错误确实存在，我们就找一个反例。否则，此错误是因为抽象模型大于实际的系统，它是一个伪的错误。因此，虽然这个时间间隔模型与原系统不是完全等价的但这种模型，我们可以判断系统满足某一属性，如果不是我们能找到一个具体的反例（仍然需要更多的检查以确定它是否是一个伪错误）。
模型不等同于原来的系统，主要是因为有许多因素很难建模在实际系统中，其中一些可能会引起错误。如果所有的因素都模仿，这将导致建立一个巨大的模型，不能进行检查，或者根本就不可能达到。时间间隔模型抽象的关键因素，从实际的系统和模型，大大减少了状态空间，降低了时间复杂度。同时，通过等待通知机制，变得更接近于实际系统中，不仅重新决斗的模型添加了时间复杂度，虽然它减少了前面提到的伪做错误。
4.PLC 模型检查
PLC 广泛应用于许多应用程序，并具有很多的设备；这是研究的一个大领域。任何 PLC 工作包括不同设备和人的环境中，因此 PLC 系统是并行的。同时，难以找到是否有一些错误，则主要是由于逻辑的设计中的错误，但不是计算错误的 PLC 控制系统。所以我们专注的 PLC 程序逻辑过程，检测和按位逻辑，可以完全描述这种逻辑。因此，为了简化 PLC 程序模型，侧重于模型检验，我们进行以下设置：
PLC 逻辑控制程序，所有控制 VA-信道仅有两个状态 0 和 1 ；PLC 程序在并发环境下运行。在这种情况下，PLC 编程是更有可能出现一些错误不容易找到的。
针对以上特点，我们使用模型检测工具 SPIN （我们也工具 PLC 检查检查。我们提出
了一系列的转换规则，构建成旋转的输入语言 Pro-MELO的系统属性，上面的模型还需要翻译成由于、自旋会把它们放在一起，然后执行检测。
1）的 PLC 控制器的代码
PLC 控制器是组成的多个网络。PLC 控制器的代码也会生成从网工作。当然，在那之前，你应该声明您需要的变量。每个网络都有其输入的端口和外放端口，每个端口可以指示由布尔的表达雍。我们将通过所有的输入端口的逻辑计算的输出端口值分配。这是 PLC 网络的翻译方法。属性是 PLC 系统必须遵守的规则。我们使用 LTL （线性时间逻辑）的公式作为输入的格式。我们应该写反属性，因为该机制的自旋。自旋会发现我们的财产发生什么事，那应该是一个反例的情况。
我们不能直接写 LTL 公式，但由宏首先我们应该定义所有命题在宏中 LTL （像 # 都定义 p i5 = =0），然后我们使用定义，形成 LTL 公式的命题。旋转中，能自动将 LTL 公式到 PRO MELA 代码的转换，通过使用"旋转—— f"指令（见更多的细节，在手册中的自旋）。4）通知等待机制
在建模的讨论中，我们建议添加没有等待机制。这种机制也需要迈向在代码中。具体的实施是签署一个位变量每个非 PLC 过程（除了 PLC 控制器的所有进程）作为一种信号。当自动机将转移到状态标签时，信号变量设置为 0，并且下一个任务需要在此变量为 1 到con-继续不停。由于语法特征的结果，作为这一进程将起挂。在 PLC 过程中没有这种限制，相反地，PLC 过程可以将这些变量设置为 1，从而确保每一步都必须通过完成至少一个 PLC 扫描。这是所谓的等待通知机制。
使用这种检测机制，我们开发了一个工具模型检测 PLC 检查。它有助于建立可视化模型和执行情况检查，并可以给一个简单的分析结果。当然，它找到对策 ter 示例应手动进行检查，以确保它是否是一个真正的反例。然而，跟踪文件的帮助下，这不是非常艰巨的任务。我们还成功地执行一些检查使用 PLC 检查（下一节中所示）。在一个经典的教科书例子，发现了一个反例。Al-虽然反例发生的概率是很低的但它确实发生，并且可以有严重 con 序列。此工具也是证明的正确性和有效性理论在这篇文章。
5.运行 PLC-检查
我们将通过检查两个门通道模型显示 PLC 检查的有效性。两门通道用于防止封闭的房间，从外面的世界接触。通过输入梯克和并发实体到工具中，还定义的属性，我们的检查显示结果。正如我们所看到的还有一个错误的结果。它被证明通过手动检查跟踪文件是一个真正的反例。这就是说我们的机制是有效的检查这样的 PLC 程序。
6.结论
我们学习理论的建模与检测对 PLC 系统的形式化方法在本文中。分析了 PLC 建模的要求，并通过时间间隔策略建立了同意租金实体模型。然后我们证明 PLC 系统，超级组的时间间隔模型，降低模型添加没有等待机制。它还确保可以利用 PLC 控制器扫描系统中的所有更改。我们发现通过签出系统的对策之三实例对系统的误差。最后，给出了使用自旋来检查模型的方法。此外介绍了相应的模型检验工具 PLC 检查。在这个阶段，该机制仍有许多不完善之处，如定时器的处理。但也有伟大的和唯一的优点，在解决问题的国家探索。我们仍在积极的探索，这类问题。
参考文献：
[1] 帕夫洛维奇，R.平儿和 M.Kollmann"自动化 PLC 程序中 IL，仲裁法》对核查"会议室上自动扣除（凯德）、不来梅，July2007，第 152-163。
[2] M.B.尤尼斯和 G.弗雷"现有的 PLC 程序的形式化：一项调查显示，"诉讼中国极限运动协会 2003 年，里尔，2003 年。
[3] N.鲍尔、美国 Engell、美国罗曼、 M.Remelhe O.斯特斯伯格，"作为序批式功能表图，给出 PLC 程序核查"讲座笔记在计算机科学中，卷 3147，2004 年，页 517 540。[4] S.R.辜、 P.H.晟和美国 D.恰，"软件设计规范与安全关键软件的分析技术基于可编程逻辑控制器，该控制器（PLC），在"第八届 IEEE 国际学术研讨会论文集高保证系统工程（基础 ' 04），佛罗里达州，2004 年 3 月，第 283-284 页。
[5] A.通过大量和实时系统于 1999 年，纽约，1999 年 6 月第十一届 Euromicro 会议纪要"定时自动机模型的简单可编程逻辑控制器，"H.Wupper pp.106-113。
[6] E.Brinksma1、 A.马德和 A.Fehnker"核查和 PLC Control 的优化计划，"国际杂志上的软件工具为技术转让（STTT），第 4 卷，第 1 号，2002 年 10 月，第 21-33页。[7] https://www.360docs.net/doc/5613028155.html,mp′eri'ere 和 J.J.勒萨热，"的序贯部分的 PLC 程序的形式化验证"
页 247-254根特，2000 年 8 月，离散事件系统 (WODES 2000 年)，第五届讲习班。[8] 美国 Kowalewski、美国 Engell、 J.Preu?ig O.斯特斯伯格，"核查连续植物使用的逻辑控制器定时条件/事件-系统模型"汽车 matica： 1999 年，页 505-518 特刊上混合动力系统，第 35 号 3 卷 3 月。
外文翻译
Load and Ultimate Moment of Prestressed Concrete Action Under Overload-Cracking Load It has been shown that a variation in the external load acting on a prestressed beam results in a change in the location of the pressure line for beams in the elastic range.This is a fundamental principle of prestressed construction.In a normal prestressed beam,this shift in the location of the pressure line continues at a relatively uniform rate,as the external load is increased,to the point where cracks develop in the tension fiber.After the cracking load has been exceeded,the rate of movement in the pressure line decreases as additional load is applied,and a significant increase in the stress in the prestressing tendon and the resultant concrete force begins to take place.This change in the action of the internal moment continues until all movement of the pressure line ceases.The moment caused by loads that are applied thereafter is offset entirely by a corresponding and proportional change in the internal forces,just as in reinforced-concrete construction.This fact,that the load in the elastic range and the plastic range is carried by actions that are fundamentally different,is very significant and renders strength computations essential for all designs in order to ensure that adequate safety factors exist.This is true even though the stresses in the elastic range may conform to a recognized elastic design criterion. It should be noted that the load deflection curve is close to a straight line up to the cracking load and that the curve becomes progressively more curved as the load is increased above the cracking load.The curvature of the load-deflection curve for loads over the cracking load is due to the change in the basic internal resisting moment action that counteracts the applied loads,as described above,as well as to plastic strains that begin to take place in the steel and the concrete when stressed to high levels. In some structures it may be essential that the flexural members remain crack free even under significant overloads.This may be due to the structures’being exposed to exceptionally corrosive atmospheres during their useful life.In designing prestressed members to be used in special structures of this type,it may be necessary to compute the load that causes cracking of the tensile flange,in order to ensure that adequate safety against cracking is provided by the design.The computation of the moment that will cause cracking is also necessary to ensure compliance with some design criteria. Many tests have demonstrated that the load-deflection curves of prestressed beams are approximately linear up to and slightly in excess of the load that causes the first cracks in the tensile flange.(The linearity is a function of the rate at which the load is applied.)For this reason,normal elastic-design relationships can be used in computing the cracking load by simply determining the load that results in a net tensile stress in the tensile flange(prestress minus the effects of the applied loads)that is equal to the tensile strength of the concrete.It is customary to assume that the flexural tensile strength of the concrete is equal to the modulus of rupture of the
毕设外文资料翻译.
理工学院 毕业设计外文资料翻译 专业：计算机科学与技术 姓名：马艳丽 学号： 12L0752218 外文出处：The Design and Implementation of 3D Electronic Map of Campus Based on WEBGIS 附件： 1.外文资料翻译译文；2.外文原文。
附件1：外文资料翻译译文 基于WebGIS的校园三维电子地图的设计与实现 一．导言 如今，数字化和信息化是当今时代的主题。随着信息革命和计算机科学的发展，计算机技术已经渗透到科学的各个领域，并引起了许多革命性的变化，在这些科目，古代制图学也不例外。随着技术和文化的不断进步，地图变化的形式和内容也随之更新。在计算机图形学中，地理信息系统（GIS）不断应用到Web，制作和演示的传统方式经历了巨大的变化，由于先进的信息技术的发展，地图的应用已经大大延长。在这些情况下，绘图将面临广阔的发展前景。电子地图是随之应运而生的产品之一。随着计算机技术，计算机图形学理论，遥感技术，航空摄影测量技术和其他相关技术的飞速发展。用户需要的三维可视化，动态的交互性和展示自己的各种地理相关的数据处理和分析，如此多的关注应支付的研究三维地图。东北石油大学及其周边地区的基础上本文设计并建立三维电子地图。 二．系统设计 基于WebGIS的校园三维电子地图系统的具有普通地图的一般特性。通过按键盘上的箭头键（上，下，左，右），可以使地图向相应的方向移动。通过拖动鼠标，可以查看感兴趣的任何一个地方。使用鼠标滚轮，可以控制地图的大小，根据用户的需求来查看不同缩放级别的地图。在地图的左下角会显示当前鼠标的坐标。在一个div层，我们描绘了一个新建筑物的热点，这层可以根据不同的地图图层的显示，它也可以自动调整。通过点击热点，它可以显示热点的具体信息。也可以输入到查询的信息，根据自己的需要，并得到一些相关的信息。此外，通过点击鼠标，人们可以选择检查的三维地图和卫星地图。 主要功能包括： ?用户信息管理：检查用户名和密码，根据权限设置级别的认证，允许不同权限的用户通过互联网登录系统。 ?位置信息查询：系统可以为用户提供模糊查询和快速定位。
网络营销外文翻译
E---MARKETING (From:E--Marketing by Judy Strauss,Adel El--Ansary,Raymond Frost---3rd ed.1999 by Pearson Education pp .G4-G25.) As the growth of https://www.360docs.net/doc/5613028155.html, shows, some marketing principles never change.Markets always welcome an innovative new product, even in a crowded field of competitors ,as long as it provides customer value.Also,Google`s success shows that customers trust good brands and that well-crafted marketing mix strategies can be effective in helping newcomers enter crowded markets. Nevertheless, organizations are scrambling to determine how they can use information technology profitably and to understand what technology means for their business strategies. Marketers want to know which of their time-ested concepts will be enhanced by the Internet, databases,wireless mobile devices, and other technologies. The rapid growth of the Internet and subsequent bursting of the dot-com bubble has marketers wondering,"What next?" This article attempts to answer these questions through careful and systematic examination of successful e-mar-keting strategies in light of proven traditional marketing practices. （Sales Promotion;E--Marketing；Internet；Strategic Planning ） 1.What is E--Marketing E--Marketing is the application of a broad range of information technologies for: Transforming marketing strategies to create more customer value through more effective segmentation ,and positioning strategies；More efficiently planning and executing the conception, distribution promotion,and pricing of goods,services,and ideas;andCreating exchanges that satisfy individual consumer and organizational customers` objectives. This definition sounds a lot like the definition of traditional marketing. Another way to view it is that e-marketing is the result of information technology applied to traditional marketing. E-marketing affects traditional marketing in two ways. First,it increases efficiency in traditional marketing strategies.The transformation results in new business models that add customer value and/or increase company profitability.
毕业设计外文翻译资料
外文出处： 《Exploiting Software How to Break Code》By Greg Hoglund, Gary McGraw Publisher : Addison Wesley Pub Date : February 17, 2004 ISBN : 0-201-78695-8 译文标题： JDBC接口技术 译文： JDBC是一种可用于执行SQL语句的JavaAPI（ApplicationProgrammingInterface应用程序设计接口）。它由一些Java语言编写的类和界面组成。JDBC为数据库应用开发人员、数据库前台工具开发人员提供了一种标准的应用程序设计接口，使开发人员可以用纯Java语言编写完整的数据库应用程序。 一、ODBC到JDBC的发展历程 说到JDBC，很容易让人联想到另一个十分熟悉的字眼“ODBC”。它们之间有没有联系呢？如果有，那么它们之间又是怎样的关系呢？ ODBC是OpenDatabaseConnectivity的英文简写。它是一种用来在相关或不相关的数据库管理系统（DBMS）中存取数据的，用C语言实现的，标准应用程序数据接口。通过ODBCAPI，应用程序可以存取保存在多种不同数据库管理系统（DBMS）中的数据，而不论每个DBMS使用了何种数据存储格式和编程接口。 1．ODBC的结构模型 ODBC的结构包括四个主要部分：应用程序接口、驱动器管理器、数据库驱动器和数据源。应用程序接口：屏蔽不同的ODBC数据库驱动器之间函数调用的差别，为用户提供统一的SQL编程接口。 驱动器管理器：为应用程序装载数据库驱动器。 数据库驱动器：实现ODBC的函数调用，提供对特定数据源的SQL请求。如果需要，数据库驱动器将修改应用程序的请求，使得请求符合相关的DBMS所支持的文法。 数据源：由用户想要存取的数据以及与它相关的操作系统、DBMS和用于访问DBMS的网络平台组成。 虽然ODBC驱动器管理器的主要目的是加载数据库驱动器，以便ODBC函数调用，但是数据库驱动器本身也执行ODBC函数调用，并与数据库相互配合。因此当应用系统发出调用与数据源进行连接时，数据库驱动器能管理通信协议。当建立起与数据源的连接时，数据库驱动器便能处理应用系统向DBMS发出的请求，对分析或发自数据源的设计进行必要的翻译，并将结果返回给应用系统。 2．JDBC的诞生 自从Java语言于1995年5月正式公布以来，Java风靡全球。出现大量的用java语言编写的程序，其中也包括数据库应用程序。由于没有一个Java语言的API，编程人员不得不在Java程序中加入C语言的ODBC函数调用。这就使很多Java的优秀特性无法充分发挥，比如平台无关性、面向对象特性等。随着越来越多的编程人员对Java语言的日益喜爱，越来越多的公司在Java程序开发上投入的精力日益增加，对java语言接口的访问数据库的API 的要求越来越强烈。也由于ODBC的有其不足之处，比如它并不容易使用，没有面向对象的特性等等，SUN公司决定开发一Java语言为接口的数据库应用程序开发接口。在JDK1．x 版本中，JDBC只是一个可选部件，到了JDK1．1公布时，SQL类包（也就是JDBCAPI）
1外文文献翻译原文及译文汇总
华北电力大学科技学院 毕业设计（论文）附件 外文文献翻译 学号：121912020115姓名：彭钰钊 所在系别：动力工程系专业班级：测控技术与仪器12K1指导教师：李冰 原文标题：Infrared Remote Control System Abstract 2016 年 4 月 19 日
红外遥控系统 摘要 红外数据通信技术是目前在世界范围内被广泛使用的一种无线连接技术，被众多的硬件和软件平台所支持。红外收发器产品具有成本低，小型化，传输速率快，点对点安全传输，不受电磁干扰等特点，可以实现信息在不同产品之间快速、方便、安全地交换与传送，在短距离无线传输方面拥有十分明显的优势。红外遥控收发系统的设计在具有很高的实用价值，目前红外收发器产品在可携式产品中的应用潜力很大。全世界约有1亿5千万台设备采用红外技术，在电子产品和工业设备、医疗设备等领域广泛使用。绝大多数笔记本电脑和手机都配置红外收发器接口。随着红外数据传输技术更加成熟、成本下降，红外收发器在短距离通讯领域必将得到更广泛的应用。 本系统的设计目的是用红外线作为传输媒质来传输用户的操作信息并由接收电路解调出原始信号，主要用到编码芯片和解码芯片对信号进行调制与解调，其中编码芯片用的是台湾生产的PT2262，解码芯片是PT2272。主要工作原理是：利用编码键盘可以为PT2262提供的输入信息，PT2262对输入的信息进行编码并加载到38KHZ的载波上并调制红外发射二极管并辐射到空间，然后再由接收系统接收到发射的信号并解调出原始信息，由PT2272对原信号进行解码以驱动相应的电路完成用户的操作要求。 关键字：红外线；编码；解码；LM386；红外收发器。 1 绪论
外文翻译
Journal of Industrial Textiles https://www.360docs.net/doc/5613028155.html,/ Optimization of Parameters for the Production of Needlepunched Nonwoven Geotextiles Amit Rawal, Subhash Anand and Tahir Shah 2008 37: 341Journal of Industrial Textiles DOI: 10.1177/1528083707081594 The online version of this article can be found at: https://www.360docs.net/doc/5613028155.html,/content/37/4/341 Published by: https://www.360docs.net/doc/5613028155.html, can be found at:Journal of Industrial TextilesAdditional services and information for https://www.360docs.net/doc/5613028155.html,/cgi/alertsEmail Alerts: https://www.360docs.net/doc/5613028155.html,/subscriptionsSubscriptions: https://www.360docs.net/doc/5613028155.html,/journalsReprints.navReprints: https://www.360docs.net/doc/5613028155.html,/journalsPermissions.navPermissions: https://www.360docs.net/doc/5613028155.html,/content/37/4/341.refs.htmlCitations: - Mar 28, 2008Version of Record >>
毕业设计外文翻译附原文
外文翻译 专业机械设计制造及其自动化学生姓名刘链柱 班级机制111 学号1110101102 指导教师葛友华
外文资料名称： Design and performance evaluation of vacuum cleaners using cyclone technology 外文资料出处：Korean J. Chem. Eng., 23(6), (用外文写) 925-930 (2006) 附件： 1.外文资料翻译译文 2.外文原文
应用旋风技术真空吸尘器的设计和性能介绍 吉尔泰金，洪城铱昌，宰瑾李， 刘链柱译 摘要：旋风型分离器技术用于真空吸尘器 - 轴向进流旋风和切向进气道流旋风有效地收集粉尘和降低压力降已被实验研究。优化设计等因素作为集尘效率，压降，并切成尺寸被粒度对应于分级收集的50％的效率进行了研究。颗粒切成大小降低入口面积，体直径，减小涡取景器直径的旋风。切向入口的双流量气旋具有良好的性能考虑的350毫米汞柱的低压降和为1.5μm的质量中位直径在1米3的流量的截止尺寸。一使用切向入口的双流量旋风吸尘器示出了势是一种有效的方法，用于收集在家庭中产生的粉尘。 摘要及关键词：吸尘器; 粉尘; 旋风分离器 引言 我们这个时代的很大一部分都花在了房子，工作场所，或其他建筑，因此，室内空间应该是既舒适情绪和卫生。但室内空气中含有超过室外空气因气密性的二次污染物，毒物，食品气味。这是通过使用产生在建筑中的新材料和设备。真空吸尘器为代表的家电去除有害物质从地板到地毯所用的商用真空吸尘器房子由纸过滤，预过滤器和排气过滤器通过洁净的空气排放到大气中。虽然真空吸尘器是方便在使用中，吸入压力下降说唱空转成比例地清洗的时间，以及纸过滤器也应定期更换，由于压力下降，气味和细菌通过纸过滤器内的残留粉尘。 图1示出了大气气溶胶的粒度分布通常是双峰形，在粗颗粒（>2.0微米）模式为主要的外部来源，如风吹尘，海盐喷雾，火山，从工厂直接排放和车辆废气排放，以及那些在细颗粒模式包括燃烧或光化学反应。表1显示模式，典型的大气航空的直径和质量浓度溶胶被许多研究者测量。精细模式在0.18?0.36 在5.7到25微米尺寸范围微米尺寸范围。质量浓度为2?205微克，可直接在大气气溶胶和 3.85至36.3μg/m3柴油气溶胶。
外文翻译中文版(完整版)
毕业论文外文文献翻译 毕业设计（论文）题目关于企业内部环境绩效审计的研究翻译题目最高审计机关的环境审计活动 学院会计学院 专业会计学 姓名张军芳 班级09020615 学号09027927 指导教师何瑞雄
最高审计机关的环境审计活动 1最高审计机关越来越多的活跃在环境审计领域。特别是1993-1996年期间，工作组已检测到环境审计活动坚定的数量增长。首先，越来越多的最高审计机关已经活跃在这个领域。其次是积极的最高审计机关，甚至变得更加活跃：他们分配较大部分的审计资源给这类工作，同时出版更多环保审计报告。表1显示了平均数字。然而，这里是机构间差异较大。例如，环境报告的数量变化，每个审计机关从1到36份报告不等。 1996-1999年期间，结果是不那么容易诠释。第一，活跃在环境审计领域的最高审计机关数量并没有太大变化。“活性基团”的组成没有保持相同的：一些最高审计机关进入，而其他最高审计机关离开了团队。环境审计花费的时间量略有增加。二，但是，审计报告数量略有下降，1996年和1999年之间。这些数字可能反映了从量到质的转变。这个信号解释了在过去三年从规律性审计到绩效审计的转变（1994-1996年，20％的规律性审计和44％绩效审计;1997-1999：16％规律性审计和绩效审计54％）。在一般情况下，绩效审计需要更多的资源。我们必须认识到审计的范围可能急剧变化。在将来，再将来开发一些其他方式去测算人们工作量而不是计算通过花费的时间和发表的报告会是很有趣的。 在2000年，有62个响应了最高审计机关并向工作组提供了更详细的关于他们自1997年以来公布的工作信息。在1997-1999年，这62个最高审计机关公布的560个环境审计报告。当然，这些报告反映了一个庞大的身躯，可用于其他机构的经验。环境审计报告的参考书目可在网站上的最高审计机关国际组织的工作组看到。这里这个信息是用来给最高审计机关的审计工作的内容更多一些洞察。 自1997年以来，少数环境审计是规律性审计（560篇报告中有87篇，占16％）。大多数审计绩效审计（560篇报告中有304篇，占54％），或组合的规律性和绩效审计（560篇报告中有169篇，占30％）。如前文所述，绩效审计是一个广泛的概念。在实践中，绩效审计往往集中于环保计划的实施（560篇报告中有264篇，占47％），符合国家环保法律，法规的，由政府部门，部委和/或其他机构的任务给访问（560篇报告中有212篇，占38％）。此外，审计经常被列入政府的环境管理系统（560篇报告中有156篇，占28％）。下面的元素得到了关注审计报告：影响或影响现有的国家环境计划非环保项目对环境的影响;环境政策;由政府遵守国际义务和承诺的10％至20％。许多绩效审计包括以上提到的要素之一。 1本文译自：S. Van Leeuwen.(2004).’’Developments in Environmental Auditing by Supreme Audit Institutions’’ Environmental Management Vol. 33, No. 2, pp. 163–1721
毕业设计外文翻译
毕业设计（论文） 外文翻译 题目西安市水源工程中的 水电站设计 专业水利水电工程 班级 学生 指导教师 2016年
研究钢弧形闸门的动态稳定性 牛志国 河海大学水利水电工程学院，中国南京，邮编210098 nzg_197901@https://www.360docs.net/doc/5613028155.html,，niuzhiguo@https://www.360docs.net/doc/5613028155.html, 李同春 河海大学水利水电工程学院，中国南京，邮编210098 ltchhu@https://www.360docs.net/doc/5613028155.html, 摘要 由于钢弧形闸门的结构特征和弹力，调查对参数共振的弧形闸门的臂一直是研究领域的热点话题弧形弧形闸门的动力稳定性。在这个论文中，简化空间框架作为分析模型，根据弹性体薄壁结构的扰动方程和梁单元模型和薄壁结构的梁单元模型，动态不稳定区域的弧形闸门可以通过有限元的方法，应用有限元的方法计算动态不稳定性的主要区域的弧形弧形闸门工作。此外，结合物理和数值模型，对识别新方法的参数共振钢弧形闸门提出了调查，本文不仅是重要的改进弧形闸门的参数振动的计算方法，但也为进一步研究弧形弧形闸门结构的动态稳定性打下了坚实的基础。 简介 低举升力，没有门槽，好流型，和操作方便等优点，使钢弧形闸门已经广泛应用于水工建筑物。弧形闸门的结构特点是液压完全作用于弧形闸门，通过门叶和主大梁，所以弧形闸门臂是主要的组件确保弧形闸门安全操作。如果周期性轴向载荷作用于手臂，手臂的不稳定是在一定条件下可能发生。调查指出:在弧形闸门的20次事故中，除了极特殊的破坏情况下，弧形闸门的破坏的原因是弧形闸门臂的不稳定;此外，明显的动态作用下发生破坏。例如:张山闸，位于中国的江苏省，包括36个弧形闸门。当一个弧形闸门打开放水时，门被破坏了，而其他弧形闸门则关闭，受到静态静水压力仍然是一样的，很明显，一个动态的加载是造成的弧形闸门破坏一个主要因素。因此弧形闸门臂的动态不稳定是造成弧形闸门(特别是低水头的弧形闸门)破坏的主要原是毫无疑问。
营销-外文翻译
外文翻译 原文 Marketing Material Source：Marketing Management Author：Philip Kotler Marketing Channels To reach a target market, the marketer uses three kinds of marketing channels. Communication channels deliver messages to and receive messages from target buyers. They include newspapers, magazines, radio, television, mail, telephone, billboards, posters, fliers, CDs, audiotapes, and the Internet. Beyond these, communications are conveyed by facial expressions and clothing, the look of retail stores, and many other media. Marketers are increasingly adding dialogue channels (e-mail and toll-free numbers) to counterbalance the more normal monologue channels (such as ads). The marketer uses distribution channels to display or deliver the physical product or service to the buyer or user. There are physical distribution channels and service distribution channels, which include warehouses, transportation vehicles, and various trade channels such as distributors, wholesalers, and retailers. The marketer also uses selling channels to effect transactions with potential buyers. Selling channels include not only the distributors and retailers but also the banks and insurance companies that facilitate transactions. Marketers clearly face a design problem in choosing the best mix of communication, distribution, and selling channels for their offerings. Supply Chain Whereas marketing channels connect the marketer to the target buyers, the supply chain describes a longer channel stretching from raw materials to components to final products that are carried to final buyers. For example, the supply chain for women’s purses starts with hides, tanning operations, cutting operations, manufacturing, and the marketing channels that bring products to customers. This supply chain represents a value delivery system. Each company captures only a certain percentage of the total value generated by the supply chain. When a company acquires competitors or moves upstream or downstream, its aim is
外文翻译
华南理工大学广州学院 本科毕业设计（论文）外文翻译 外文原文名Marketing Strategy Adjustment and Marketing Innovation in the Experience Economy Era 中文译名体验经济时代的营销战略调整与营销创新 学院管理学院 专业班级2013级工商管理1班 学生姓名潘嘉谊 学生学号201330090184 指导教师罗玲苑讲师李巍巍 填写日期2017年5月19日
外文原文版出处：.Marketing Strategy Adjustment and Marketing Innovation in the Experience Economy Era[J]. Contemporary Logistics,2012 (06) :230-267 译文成绩：指导教师（导师组长）签名： 译文： 体验经济时代的营销战略调整与营销创新 吴青学 摘要：从商品货物经济，到服务经济的的转移演化经历过程，经历了农业经济、工业经济，服务经济和体验经济。在服务经济时期，企业只是打包经验与传统的产品一起销售，而在促进经验经济的时期，企业要把最好产品为未来的潜在用户设计，让消费者心甘情愿支付购买产品。 关键词：体验经济；市场营销战略；营销创新 1 介绍 随着科学技术和信息行业的发展，人们的需要和欲望连同消费者支出模式开始发生转变，相应地对企业生产环境产生了一系列影响。经济社会发展由传统时期进入体验经济时期。从一个经济产品的转变，进而到经济体系经济模式的转变。由缓慢转变为激进经济模式。因此导致社会发展从一个经济时期到另一个经济时期，经济模式和经济体系的转变将不可避免地影响到交换关系的转化。这是关注体验的结果，是由人类社会的发展的规律所决定的生产水平的产物。一旦交流关系发生变化、营销模式必须做出相应的变化。 2 企业营销策略的选择方向 在体验经济时代，企业不仅要理性思考高瞻远瞩，从客户的角度实施营销活动，更要重视与沟通客户，发现在他们内心的期望。我们自己的产品和服务代表企业的形象，产品要指向指定的客户体验。在当今时代，体验营销已成为营销活动最强大的秘密武器因此，这是非常重要的。而传统的营销策略，包括调整经验营销都已经不适应当前发展需求，迟早要被时代所淘汰。 2.1 建立营销思想的观念要求提高客户体验 根据马斯洛需求层次理论，人的需要分为五个层次，分别是：生理的需要、安全的需要、归属于爱的需要、尊重的需要和自我实现的需要。随着经济的发展和消费者日益增强的购买能力变化，人们生理需求得到满足，个人需求将会上升心
毕设外文文献翻译
xxxxxxxxx 毕业设计（论文）外文文献翻译 （本科学生用） 题目：Poduct Line Engineering: The State of the Practice 生产线工程：实践的形态 学生姓名：学号： 学部（系）: 专业年级: 指导教师：职称或学位： 2011年3月10日
外文文献翻译（译成中文1000字左右）： 【主要阅读文献不少于5篇，译文后附注文献信息，包括：作者、书名（或论文题目）、出版社（或刊物名称）、出版时间（或刊号）、页码。提供所译外文资料附件（印刷类含封面、封底、目录、翻译部分的复印件等，网站类的请附网址及原文】 Requirements engineering practices A precise requirements engineering process— a main driver for successful software development —is even more important for product line engineering. Usually, the product line’s scope addresses various domains simultaneously. This makes requirements engineering more complex. Furthermore, SPL development involves more tasks than single-product development. Many product line requirements are complex, interlinked, and divided into common and product-specific requirements. So, several requirements engineering practices are important specifically in SPL development: ? Domain identification and modeling, as well as commonalities and variations across product instances Separate specification and verification for platform and product requirements ? Management of integrating future requirements into the platform and products ? Identification, modeling, and management of requirement dependencies The first two practices are specific to SPL engineering. The latter two are common to software development but have much higher importance for SPLs. Issues with performing these additional activities can severely affect the product line’s long-term success. During the investigation, we found that most organizations today apply organizational and procedural measures to master these challenges. The applicability of more formal requirements engineering techniques and tools appeared rather limited, partly because such techniques are not yet designed to cope with product line evelopment’s inherent complexities. The investigation determined that the following three SPL requirements engineering practices were most important to SPL success. Domain analysis and domain description. Before starting SPL development, organizations should perform a thorough domain analysis. A well-understood domain is a prerequisite for defining a suitable scope for the product line. It’s the foundation for efficiently identifying and distinguishing platform and product requirements. Among the five participants in our investigation, three explicitly modeled the product line requirements. The others used experienced architects and domain experts to develop the SPL core assets without extensive requirements elicitation. Two organizations from the first group established a continuous requirements management that maintained links between product line and product instance requirements. The three other organizations managed their core assets’ evolution using change management procedures and versioning concepts. Their business did not force them to maintain more detailed links between the requirements on core assets and product instances. The impact of architectural decisions on requirements negotiations. A stable but flexible architecture is important for SPL development. However, focusing SPL evolution too much on architectural issues will lead to shallow or even incorrect specifications. It can cause core assets to ignore important SPL requirements so that the core assets lose relevance for SPL development. Organizations can avoid this problem by establishing clear responsibilities for requirements management in addition to architectural roles. The work group participants reported that a suitable organizational tool for balancing requirements and architecture is roundtable meetings in which requirements engineers,