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

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

Eu(Ⅲ)在天然植物纤维上的吸附行为

采用分光光度法和批处理法研究了Eu(Ⅲ)在天然竹纤维和木纤维上的吸附行为,考察了固体投加量、pH、离子强度、腐殖酸、接触时间、温度等因素对吸附的影响,讨论了Eu(Ⅲ)在竹纤维和木纤维上的吸附动力学和热力学。结果表明,pH对吸附的影响明显;背景离子会抑制Eu(Ⅲ)在竹纤维和木纤维上的吸附;在低pH值下,腐殖酸对吸附有强化作用,在高pH值下,腐殖酸对吸附有抑制作用。Eu(Ⅲ)在竹纤维和木纤维上的吸附符合准二级动力学模型和Langmuir吸附等温模型,最大吸附量分别为17.78和18.54 mg·g~(-1)。热力学函数计算结果表明,Eu(Ⅲ)在竹纤维和木纤维的吸附为自发且吸热的过程。     

具有hollingⅢ类功能反应的非自治捕食系统概周期解

讨论了一类具有hollingⅢ类功能反应的非自治捕食概周期系统，得到了该系统存在的唯一一致渐近稳定概周期解的充分条件。     

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

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

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

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

基于XML伪编译的信息隐藏算法

基于XML伪编译的信息隐藏算法，首先将XML文档中需要安全保护的数据以二进制的形式存放于内存，把这些二进制数据分别以每1位长度、2位长度和4位长度互不重叠的平均分为三个数组并保存，根据嵌入信息的长度来选择相应数组，当嵌入信息是“1”时对该数组中对应的单位长度数据进行取反运算，嵌入信息为“0”则不做处理，实验结果表明：该算法不改变XML逻辑结构、标识字体等其原始的规范性、标准性，隐藏容量比修改XML逻辑结构、标识字体等其它隐藏算法高，而且更具有安全性，采用伪编译的信息隐藏算法不改变XML文件内容的逻辑结构、标识字体，而是从XML数据的安全角度，通过利用对XML内部重要数据的伪编译来实现信息隐藏。     

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

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

编译原理课程实验的革新

编译原理是计算机专业的重要专业课之一,而实验又是学好编译原理课程的重要环节,设计一组与理论内容相适宜的课程实验是整体上提高编译原理课程教学质量的决定性因素。文章阐述了课程实验在编译原理教学中的重要性,以及如何设计一组适宜的实验内容,并对实验的设计和实施过程中要注意的问题进行了探讨。     

BEPCⅡ工程直线加速器正电子调束取得成功

北京正负电子对撞机重大改造工程(BEPCⅡ)继2004年11月19日将电子束调试到直线加速器的末端，保证储存环同步辐射专用运行，并提供BESⅢ探测器研制所需的试验束之后，于2005年3月19日成功将正电子束调到直线加速器出口，初步定标流强达45mA(改造前BEPC正电子流强为3-5mA)，正电子能量达1．3GeV，已能够为储存环提供正电子进行机器研究。这标志着BEPCⅡ直线加速器改造又向前迈出关键一步。     

论编译

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