高压水射流装置的设计【水切割】（全套含CAD图纸）
收藏
资源目录
压缩包内文档预览：
编号：1216844
类型：共享资源
大小：1.56MB
格式：ZIP
上传时间：2017-05-19
上传人：机****料
认证信息
个人认证
高**（实名认证）
河南
IP属地：河南
45
积分
- 关 键 词：
-
高压
水射流
装置
设计
切割
全套
cad
图纸
- 资源描述：
-
- 内容简介：
-
附录：外文翻译 摘要机器语言编程实现 , 5 11 50, 66041 UK 0, , 4 999 摘要： 我们提出了广泛的注释书目，抽象机设计的每一个编程的主要范式（势在必行，面向对象，功能，逻辑和并行）。我们得出这样的结论：虽然大量高效摘要机器被设计 为特定语言的实现，相对较小的工作已经完成设计摘要机以系统的方式。 摘要机机因为他们每 麻省理工学院一步一步的程序的执行；他们 摘要因为他们忽略许多细节真实（硬件）机。 摘要机提供一个中间的局域网 计编译阶段。他们缩小差距之间的高级别的编程语言和低水平的一个真实的机器。指令一个抽象机是针对特别 拉尔操作要求执行操作的具体的源语言或一类来源语言。最常见的抽象机器程序商店和一个国家，通常包括一个堆栈和寄存器 流泪。该程序是一个指令序列，与特殊寄存器（程序计数器）指着下一个要执行的指令 。程序计数器先进的指令完成时。这一文学学士 碳化硅控制机制的一个抽象机也被称为其执行循环。 替代特征 上述特性适合许多抽象的名词 中国，但一些抽象机抽象比其他的。极端的光谱焦 特点如下： 抽象机是一个中间语言一个渐进的操作语义 107 。 抽象机设计一个真正的机器尚未建立。 相关术语 这个词有时也用于抽象机对于不同的概念和术语用于抽象的概念，例如有些作者使用术语仿真器或解释器和一些使用“虚拟机的实现 变频机，类似我们使用的程序为实现的一种算法。孙呼吁摘要机的虚拟机 86,91 。“虚拟机广泛用于 不同的操作系统抽象层 等 121 和中的虚拟操作系统虚拟机器执行环境运行几个版本的相同的操作系统上的同机。在理论计算机科学摘要机术语有时用来模型计算包括有限状态机，粉状机，下推自动机和图灵机 61 。 什么是抽象机用于？ 在上述表征抽象机利用他们作为中间语言 是一个基本特征。因此，实现 心理状态的一种编程语言是由 2 阶段。编译器的实现和实现的抽象机。这是一个典型的 1 分而治之的办法。从 加州来看，这简化了介绍和编程语言教学的原则实现方式。从软件工程的角度看，在引进的抽象层 折痕可维护性和可移植性，它允许为设计的合同。摘要机已成功的设计，实现局域网 表，不符合“冯诺依曼计算机”怎么样。作为一个后果最为抽象机外来的或新的语言。目前只有少数摘要机器语言或语言。最近 摘要机已用于移动代码异构网络，如互联网。 除了他们的实际优势摘要机器是理论上的吸引力，因为它们促进证明是正确的，代码成，程序分析和变换 20111 。 2。摘要机哪里来的？ 摘要目的通常是在一个特设的机器方式的基础上的经验与其他摘要马 中国或口译员或编译器的实现对于同一来源语言。但也有一些系统 实验方法进行了研究 。是一个魔杖最先处理的问题，所产生的抗体 变频机从语言的语义。在 1982，他提出了一种基于组合算子 130 。找到合适的合子不自动是一个艰巨的任务，这是简化了以后文 131 。凸轮（ 1985）是在一个类似的路 34 。另一种方法是根据部分评价 评估口译人员的实例程序折叠反复出现的模式在中间代码 44,80,98 。终于有办法通过分离 45,56,70,89116 。通过分离是一个转变，将口译网 打桩和执行部件，后者是摘要机。它还被用于在 2统（ 1996）自动生成抽象机从编程语言规范 43,46 。 3。摘要机编程语言 讨论在五十年代后期在美国和其他语言。各种 提出康威的机 33 ，例如一个寄存器机，双指令。钢机 119 有先进的寻址模式。原则一个面向是健全的，但他们没有多 使用的。我们认为，这主要是由于缺乏绩效所产生的代码。 议员和加纳帕蒂 30 给概述抽象机命令式编程语言被恶狗 租金在 80 年代中期。有些人认为，工业 虚拟机 86 20 世纪 90 年代后期可能最终发挥作用的一个面向，但我们认为，绩效将仍然是一个问题在许多领域的计算。 现在我们要看看 一些抽象的马 中国，其目的是为更温和目标： 标代码（ 1964） 109 是一个抽象 。它有一个堆栈，堆程序存储。其指令提供机甲 结构变量和程序的范围，配置内存，访问变量和数组，和传值调用名称的程序和要求。 1976）是一个抽象机执行的程序，由沃斯和同事 7 。编译程序语言小和抽象机代码记录在 102 。 4 机有固定长度指令 全文。它实现了块结构的堆栈交流 发唱片（帧），采用动态和静态链接实现递归和静态作用域，再 L。 折射 32 是一个抽象的马 中国执行的程序，用可变长度指令。紧凑的字节码该机具有特殊的指令调用帕斯卡尔的嵌套程序，称为正规专业 程序，用于记录和数组索引和索引检查，处理（语言），信号和等待信号灯，等 于流行的加州巴斯卡系统微型计算机（约 1977）。一个商业硬 软件实现的 （见11 节）。 （ 1970）可被视为一个直接执行 一个基于堆栈的抽象机器语言痊愈：只是名字子程序代码地址， 77,94 等。 4。面向对象的抽象机，编程语言 摘要机的面向对象的语言是通常基于堆栈的和 有特别指示访问域和对象的方法。记忆管理往往是隐含的（由一个垃圾关口 讲师）在这些机器。 80（ 1980）是一个动态类型基于类的面向对象语言，实施汇编成一个基于堆栈的虚拟机代码。字节码指令栈马 送消息的对象（对访问一个领域或调用方法），做为回报，为跳，等 51 （在第二版 52 省材料大部分的虚拟机器）。 自（ 1989）是一个动态类型的阶级面向对象语言。我有一个特别简单而优雅的基于堆栈的虚拟机代码：每一个指令有一个 3 位指令操作码和一个 5 位的指标，或 指令的参数 彪。八个指令：自己推，推文字，发送消息（调用方法或访问一场），发送，发送，代表（以平价 ），返回，和延伸指数。字节码动态翻译成机器代码 28 , 29 。 1994）是一种静态类型分类面向对象的语言，其官方中等 高级语言是静态类型的虚拟机（虚拟机）的字节码。虚拟机有特殊的支持动态连接，与时间验证（包括类型检查）的字节码。指令集支持对象创作，现场访问，虚方法调用，铸造一个对象的一个类，等 86 。实现硬件 拟机（见 11 节）。 5。摘要机字符串处理和语言文字 字符串处理语 言是一个网络编程 表，字符串处理而不是重点处理数字数据。字符串处理语言已存在几十年的形式，网站 和炮弹，编程工具，宏处理器，和脚本语言。这后一类是脚本语言来突出使用 绑定 组件 101 。组件通常是写在一个局域网（系统） 衡量，如 C，但他们可能是 分自己的。串处理语言被实施解释一个专有的表示源文本，或执行是基于一些低层次的抽象机。有 2 个原因使用适当的抽象机：改进执行速度和更好的可移植性。机器独立性有 问题近年来，因为一些不同的计算机架构已经下降显着随着时间的推移，和因为作为一个通用 的弗兰卡几乎每一个平台，目前使用的。 我们将讨论的突出例子早期串处理语言，在一个抽象的马 中国主要是用来实现机独立 证据。 54 是一个字符串处理语言一个强大的模式匹配装置。语言已被广泛用于生成编译器，符号代数软件包，等在摘要马 中国（南港）数据上操作的描述，这些 那是标量数据或资料，以及数据类型和一些控制信息。本数据表示可以把字符串作为变量，并提供数据调度经营，在许多相同的方式作为面向对象系统提供的今天。机器运转的一对堆，一堆垃圾收集（标记扫描）。本指令集的设计首先提供高效支持最常见的操作和秒 解任务，它移 53 。 23 是一个宏处理器。宏处理器是基于一个替代模式，而普通字符串处理字符串数据处理器的操作 灵活应用。宏处理器通常是更难比普通串亲 升 /我宏处理器实现通过低地抽象机。本机提供双栈，三个寄存器，非递归的子程序和一个小指令集。门 能力一直是主要的驱动程序的设计。 生了深远的影响，我们考虑到脚本语言今天。与系统来现在古典工具集，包括外壳体，使。据我们所知，所有这些都是简单的 执行使用内部表示贴近源文本。后代这些工具目前美联社 用抽象的机器，主要用于速度也是机独立： 1 构造解析树从源。本解释器，然后遍历解析树，解释 该节点。内部节点对应于一个运算 通过它完成或控制流的构建；叶通常数据指针。翻译函数返回细胞包含计算结果。控制流 欢休息，继续，和函数返回特殊处理的主要翻译。 49 是一个版本的制作工具操作系统，它提供了一个更灵活的方式的 悬垂断言能够港口这些新使文件的旧系统， n 可以翻译其输入到指令使摘要机（ 这些都是很容易转化为更常见的文件格式 78 。 100 是一个命令语言设计为容易扩展与具体应用，网站 堆命令。应用最广泛的认识 信息是知识库的建立用户界面。灵活性是实现主要由代表所有数据作为字符串通过使用一个简单的和统一的接口组件 要求。例如，而建造的语言是由一个程序，以2 个字符串作为参数。第一个字符串是有条件的表达，其次是要执行的语句。该程序调用命令解释器的递归评价有条件的声明（ 100 ， 321 页）。抽象机没有任何栈它自己，它依赖于实现。自 8 版本的使用一个字节码解释器 74 。 128 是一种脚本语言，与一个错误 谅解 备忘录模块集为各种各样的应用，如建筑脚本网页服务器。实现编译代码如下到中间，树结构表示，每个指令指向下。本摘要机有七个栈是前 纵的汇编指令。有六种不同的数据类型，以及超过 300指令。引用计数是用来执行存储管理 118 。 一种面向对象的脚本语言 87 。 使用基于堆栈的摘要机。指令而不是像方法来电，调度操作数的类型发现在堆栈。有超过 100 的指示，或 集团作为代码段，与跳跃改变控制流。 Py 用引用计数垃圾收集器。 63 创造了一个实现 目标的虚拟机相反的。 性能的脚本语言以上研究了一批作者。 74 比较 C 他们表现这取决于基准和平台，、有时比较 C 言， et 110 ， 用 一级缓存模拟器使用的聚合物 建筑。他们得出这样的结论：尽管 言表现较差，特殊的硬件支持是不必要 的。 6。摘要机功能的编程和语言文字 第一个抽象机功能的所有语言，如 81 和 26 ，严格评价，也被称为渴望或传值评价 评估，其中评估函数参数 在呼叫，并准确地。最近，最工作重点是懒惰（或 价 其中，在函数的参数进行评估如果需要，最多一次。一个原因是有效的 有效实施严格的评估是现在理解，因此，需要通过 这种机器在中国已经减少。 核心概念抽象机功能语言包括： 堆栈一般代表的一个嵌套计算。它将中间结果待计算，激活记录的活动函数调用，活跃异常处理程序，等 等。堆栈是有时也用于存储参数 要通过职能。 环境变量的地图程序和使用情况。 封闭环是用来表示一个函数作为一种价值。它通常包括一个代码的地址（的功能 教育机构）和环境（结合自由变量的函数体）。 堆存储数据的计算。摘要摘要从机器的细节内存管理，并因此包括指示用于分配数据结构堆中，而不是释放他们；堆栈被认为是无限的。 垃圾收集器支持的假象堆是无限的；它有时回收可达 能堆空间并使其可用于分配 对新的对象。 严格限定的语言功能 设计是由 成，被评价为 言 81 。该机得名于其组件的状态：评价一个栈，一环境，一个控制持有的指示执行，并转储和持有的延续。（即，一个描述下一步该做什么）。 s 1983）是一个扩展和优化播种机在第一次使用本机代码实现毫升 26 , 27 。 1985）是德 运用赞诺等人。 34 。其指令对应于构造一个直角闭范畴：身份，组成，抽象，应用，配对，和选择。这是基地为 L. 1990)（ 1990）由 82 允许更有效的执行。这是一个 优化， 严格版本的 见以下部分 本机为基础的字节码版本的s 35135 目的实现，并用在 L 117 。 惰的语言功能 在一个懒惰的语言，功能和构造函数的参数 试验的评价只有如果需要的话，然后在最 一次。虽然这可以实施的代表 有一种未鉴定的论点，“咚”，一个函数这将评估论证和取代自身结果，呼吁其他 率 由于沃兹沃思的重要思想是代表亲 克用图是重写的评价。本评价（重写）的一个共同的子图将汽车 巨大的利益都提到它。怎么用。曾经，多次搜索图的表达式重写是缓慢的。 早期实现的编译程序一固定组合子（兰布达条款全部关闭其抽象的头）；这些可能是视为图重写规则 123 。后来它证明是有益的，让程序施工 试指导选择合子（所谓的 62 。 在他的开 创性论文 123 ，戴维特纳描述该 持实施 译器是基于等效 吐温组合逻辑 113 和演算 40 。它生成的代码基本上是一二进制教学机。使机器更有效 投加，特纳的进一步指示，每一个功能，可证明是相当于一个数字 S 和 K 组合算子。 1984) 目的是）评价功能程序在 式 10,68104 。相反的解释 为重写规则，他们被编译成顺序代码特别指示图操纵。 以 L 11 13为基础的。 1985) 是一个简单的摘要机调用名称评价（即无共享参数评价）的纯 积分 39 。它只有三个指令，林 回应三构造的兰布达微积分：变量访问，抽象，和应用 阳离子。一个显著的特征是这个论点堆栈也返回堆栈（续）。 1986)是一个简单的抽象机评价超 合子，由费尔贝恩和瑞 48 。基本调用名称版本 的马 中国是相当类似的克里维纳机。一个懒（ 本需要额外的机械更新的共享函数参数；这是有点复杂的实现效率 8 。 惰就像是提姆 36,37115 。另外一个可能添加一个 清楚堆与一个单一的新的指令，使递归 116 。由此产生的机已在一些理论研究，例如 112 。 1989) 是德 运用佩顿琼斯作为一个精致的 105 。这是用在格拉斯哥的哈斯克尔编译器 103 。 有许多更抽象的机器功能 传统的语言比我们在这里可以提。典型的他们开发的理论究，或在工作上一些新的语言或执行技术。 这是最终的表现，决定是否一个抽象机已被精心设计的。一个网站 综合概述了在25 语言功能实现提供假台 标记 58 。 7。摘要机器的逻辑编程和语言文字 逻辑编程语言的基础上预测 美食微积分。该程序是作为一个有限集推理规则。执行一个逻辑程序每 形式逻辑的推论。语言是最有益 永逻辑编程语言。在序言本规则在一个标准的形式被称为普遍量化角条款 。一个目标表是用于启动计算，试图找到证据，这一目标。 大多数研究在编译的程序围绕的 983)这已成为事实上的标准 133 。它提供了特殊用途的指示，其中包括统一的各种类型的数据和指令控制流指令执行回溯。原来的报告沃伦 132 给出的赤裸的骨骼和有一些努力，目前本丸的教学方式 2,50138 。阿联酋的使用四个内存领域：堆，栈。 配结构和变量的堆。收集垃圾自动回收堆分配的空间结构和变量这是不再包含从程序。 堆栈包含点的选 择和环境。在选择点有条目的地址以往的选择点，下一个选择条款（连续指针）和一些存储寄存器的丸。环境建设 永久性的变量的一个条款。欺诈 栈可以分为 2 组，所谓的那 含环境和含选择点。 在这种方法下， 跟踪哪些绑定 还有要收回后失败和条款 前一个替代条款可以尝试，即在回溯法。 最后按下表， 含对节点，它必须被视为未来的大学 分类算法。统一的电流匹配目标与头一个条款和约束变量在这两个目标和头。 研究侧重于代优化 生产后的代码和结果扩展和国防部 提出。一些技术，进行了调查，索引条款，环境微调，登记等 位置 66,88 和 108 提出的目标。数据流分析，特别是抽象解释，和尾巴递归优化的基础已经被有效实现方法 125127 。 8。摘要机的混合编程和语言文字 编程语言的研究人员尝试结合最好的不同语言模式杂交亲 编程语言。函数式逻辑语言 摘要机器已经被设计为扩展抽象机的功能性语言 79,97 或扩展的 21,57 。 象机器约束逻辑编程语言 16,65 ，同时，约束逻辑编程语言 90 和同时，实时语言 9 。 9。摘要机的并行编程和语言文字 18 ，平行地分布模型 由于超收敛趋势高速网 作品，平台独立性和微内核操作系统。几个这样的模型进行了讨论在 73 ，最值得注意的是并行虚拟机系统（ 1990）这是一个抽象的临 克组异相电脑作为一个单一的组件 15120 。螺纹摘要机器担（ 1993） 38 和一个类似的，但更简单摘要机 3,47 已提出的创 标架构的多线程的高度并行机。并行和分布式体系结构提供网站 计算，编程语言的实现 机构对
- 温馨提示:
1: 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
2: 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
3.本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
人人文库网所有资源均是用户自行上传分享，仅供网友学习交流，未经上传用户书面授权，请勿作他用。
川公网安备: 51019002004831号