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

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

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

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

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

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

论编译

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

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

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

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

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

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

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

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

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

求FOLLOW集方法探讨

语法分析是《编译原理》课程的一个重点，语法分析分为两大类自顶向下的分析法、自底向上分析法。自顶向下分析法中的涉及LL(1)方法的判断、SELECT集、构造分析表等，均需计算各非终结符的FIRST集和FOLLOW，而FILLOW集的信息较为复杂。计算FOLLOW集方法较多，文中的出改进规则，先#∈FOLLOW(s)，再对产生式：A→αBβ当β能或不能推出ε分别求解。