云计算视角下可验证计算的分析研究

云计算能否在未来的各个领域中被广泛运用,决定因素在于其可信度。可验证计算在检测云计算结果的可信度方面具有其独特优势。利用可验证计算协议可验证云服务器端所返回的数据是否正确,它成为实现云计算可信度的重要保障。文中在阐述可验证计算基本内容和相关设计原则的基础上,分析了可验证计算协议的一般流程、设计原则及计算模型,并结合基于交互系统的可验证计算协议分析,探讨在云计算视角下可验证计算的研究展望。     

目的论指导下的新闻英语编译

针对传统的翻译标准"忠实"、"等值"无法解释新闻翻译中必要的摘译、编译等现象,以德国功能学派翻译理论家H. J.弗米尔 (H. J. Vermeer) 提出的"目的论"为切入点,探讨了目的论在新闻翻译中的应用,目的论的提出拓宽了翻译理论研究的领域.     

合而不同——关于文化全球化悖论的断想

文化全球化初期存在着全球化与地域化,世界性与本土性的悖论。从悖论产生根本即资本主义化,悖论的实质——一般与个别的处理及悖论消解的现实条件——技术三个方面的分析,可以得出,合而不同,未来文化必然走向全球化的趋势。     

基于VHDL语言的循环码编译码系统的设计

介绍了循环码编译码系统的特点。以一个(15，6)循环码为例，使用硬件描述语言VHDL对该系统进行了设计，并使用FPGA对描述电路进行了综合，得到了该系统的顶层电路，最后下载到PLD芯片上。     

关于《编译原理》课程教学的思考

《编译原理》课程是计算机专业的一门重要专业课。针对《编译原理》课程教学过程存在的问题，思索问题，探讨课程教学改革，以使该课程的教学内容更好的适应专业素质教育和计算机科学的发展。     

论编译

作为翻译中一种独特的处理方式,编译可以用凝练的语言和比较小的篇幅介绍原作鸿篇巨著的中心内容,也可以在比较短的时间内完成译介大量材料的工作,速度快、效率高、实用性强。这些特性使得编译在翻译实践中得到了越来越广泛的应用。     

"编译原理"双语教学的实践与探索

双语教学正在高校计算机专业中积极开展,其中呈现出诸多问题值得探讨.本文结合我校"编译原理"课程双语教学的实践经验,从教材的选取、实验设计、授课方式等方面论述该课程双语教学的实施方法.     

基于Web体系结构中的组件设计

提高软件重用度和可维护性一直是软件开发者所遵循的目标，以往的组件技术由于受到编译环境的限制而不能跨平台使用。本文以仓储物流管理信息系统(LSMIS)为例，介绍应用JavaBeans组件技术实现基于Web体系结构中业务逻辑层的设计，它由一些封装的类组成，通过类间的调用实现系统的功能，体现了新一代组件的可移植、可重用，可被替换的特性。     

EPON上行方向物理编码子层的FPGA实现

目前EPON的物理层(其中包含物理编码子层)在上行方向尚无ASIC芯片可以直接使用，该文提出了EPON物理编码子层在上行方向的设计思想，并用FPGA实现，功能仿真的结果验证了该设计逻辑功能的正确性。     

基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 ,进一步实现了高质量编译器的快速开发