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

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

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

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

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

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

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

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

论编译

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

TURBO C对汇编语言程序的调用

从ＰＣ系列机的内部结构，剖析了ＴｕｒｂｏＣ调用汇编语言程序的原理。通过分析ＡＳＭ文件与汇编语言程序的格式，以及ＴｕｒｂｏＣ使用存贮器的特点，说明了采用相互兼容的方法，遵循相应的各项约定，就可将汇编语言程序当作Ｃ语言的一个过程来处理，实现ＴｕｒｂｏＣ对汇编语言程序的调用，从而得到相应的程序设计方法。     

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

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

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

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

用Delphi7实现PC机与嵌入式系统的串行通信

以PC机和单片机的串口通信为背景，介绍了Windows平台下基于Delphi7开发PC机与嵌入式系统串行通信程序的几个方案，并给出了具体的程序代码。     

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

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