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

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

核电厂大修期间应急柴油机再鉴定及其优化

应急柴油机是核电厂的应急动力系统，事故情况下要求在10s内启动并达到额定电压和额定频率，保证电站安全停堆。核电机组大修期间，应急柴油机再鉴定是关键路径之一。该文以秦山第二核电厂3/4号机组为例，介绍核电厂大修期间应急柴油机的再鉴定过程以及风险点，并根据历次大修反馈，针对应急柴油机的再鉴定过程进行了合理的优化。     

基于扫描数据零件轮廓特征自动识别的方法

主要研究基于扫描数据自动识别零件轮廓特征的方法与技术．首先给出了零件轮廓特征自动识别的工作流程，然后提出了零件轮廓特征自动识别的原理与算法，最后通过具体实例验证了本方法的优点及可行性。     

语法术语再认知

关于语法术语在英语语言习得和英语教学中的作用认知，在过去的几十年里从未有过间断并倍受关注，通过分析学生接受、运用英语语法术语的状况，并结合我国的大学英语教学，指出正确认知语法术语对英语语言学习和语言教学的重要作用。     

计算-表征认知理论的认知语境分析

科学是一种认知现象，是在其认知语境中产生的。本文以认知科学的中心假说－－心智的计算－表征理解（CRUM）作为“文本”，对其进行语境分析，提出“认知语境”的概念，揭示了CRUM的认知语境结构及其工作机制，并对CRUM的认知语境作了进一步扩展与补充。     

在发展循环经济中做强做大企业--四川广旺集团公司构建循环经济产业链

近年来,作为四川省重要能源基地的四川广旺集团公司以"发展循环经济"为指导思想,实施"以煤为主"向"多业并举"的战略转移,按照"减量化、再利用、再循环"三大原则进行资源综合利用,培育形成相对闭合循环的产业经济链,实现了经济效益、生态效益和社会效益的有机结合和相互促进,形成煤业、电力、水泥、冶炼、旅游五大产业格局,由传统的单一资源型国有企业转变为多业并举、可持续发展的综合型企业、由全省扶贫解困企业转变为重点优势和骨干企业,进入了国家大型工业企业行列.     

东干语翻译再推敲

中亚东干人的语言“是百年前地道的陕甘方言”;有些语音及口音与今天陕西关中一带甚至宁夏回民的口音一模一样。在翻译东干语 (或研究东干文化 )时要注意遵循历史上约定俗成的、传承下来的思维规则 ;要把语音和语义结合起来。正确的翻译 (或研究 )对促进民族、地区间文化交流及扩大对外开放有重要意义     

对素质教育思想的再认识

传统教育的"应试"弊端影响着学生的全面发展,这就呼吁一种新的教育思想——素质教育思想的出现,素质教育思想要求全面提高学生的素质,也就是通常所说的对学生进行素质教育。而由于种种原因,人们过去对素质教育思想的认识存在着这样或那样的偏差。本文通过对素质教育的基本涵义、素质教育思想产生的时代背景、落实素质教育思想几个关键问题的分析,对素质教育思想重新认识。     

局部复发性直肠癌的再手术治疗

探讨局部复发性直肠癌(直肠癌根治术后)再次手术的价值、方法、回顾性分析再手术治疗的局部复发性直肠癌33例.结果:21例行根治术,12例行姑息性手术.根治术组和姑息性手术组中位生存期分别为35.2个月(8～82个月)、13个月(2～23个月),再手术5年生存率为34.8%.结论:对于局部复发性直肠癌仍应积极手术,有助于延长生存期,提高生存质量.     

隔山消对釉质龋再矿化的影响

目的:观察隔山消水提物处理牙釉质龋后的表面形态.方法:利用扫描电镜观察隔山消水提物、五倍子水提物、氟化钠、去离子水处理人工釉质龋后脱矿釉质表面沉积物的再矿化效果.结果:经隔山消组处理后的釉质块表面有紧密均匀的结晶区,五倍予处理后的釉质块有明显的结晶颗粒,氟化钠有紧密均匀的矿物沉淀,去离子水处理的釉质表面成疏松状结构.结论:隔山消水提物有再矿化作用,五倍子的再矿化作用强于隔山消.