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

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

Ni~(26+)离子态分辨光复合过程的R矩阵理论研究

利用基于相对论R矩阵理论的DARC程序系统计算了Ni 25+离子基态1s22s(2S1/2)和激发态1s22p(2P1/2,2P3/2)的光电离截面,并通过细致平衡原理获得了统一的光复合过程(即辐射复合和双电子复合)态分辨的截面,计算结果给出了辐射复合与双电子复合过程间的干涉效应.为了标识和分析KLL共振能区所有的共振峰,基于相对论组态相互作用理论(RCI)的FAC程序被用来计算共振峰的能量、强度及其相关的双激发态的辐射、俄歇跃迁几率以及共振宽度等.利用统一的光复合截面进一步得到了KLL双电子复合过程的伴线强度,并与孤立共振近似下FAC的计算结果以及以前的理论和实验结果进行了比较,对存在的一致性和偏差进行了分析和讨论.     

新趋势下促进河南产业融合发展的总体思路和对策建议

产业融合是在全球经济一体化、高新技术层出不穷迅猛发展的背景下,出现的一种新的发展模式和产业组织形式。推进河南产业融合发展,促进虚拟经济与实体经济深度融合,是培育河南经济新的增长点、提升河南产业竞争力的重大举措。本文给出了新趋势下促进河南产业融合发展的总体思路和对策建议。对丰富产业融合相关理论、为政府提供相应的决策建议有一定的意义。     

基于语料库的中国理工科大学生英语口语手势的使用研究

以中国理工科大学生为研究对象,运用语料库分析法和统计工具,对英语口语中使用手势的情况进行了研究,探讨在口语中手势的使用特点及形成原因。研究发现,英语水平越高的学生越多使用辅助言语表达的手势,水平较低的学生使用适配性手势时持续时间更长;不同性别学生的手势使用情况无显著差异。     

图像增强技术在古籍图书电子化中的应用

为提高古籍图书电子化的处理质量,文章以带插图的书页和具有背景干扰的书页为处理对象,使用二值化法、直方图均衡法和对比度拉伸法对书页进行图像增强处理,并使用Visual Studio 2010软件和Open CV进行实验.结果表明:带插图的古籍书页适合采用对比度拉伸法处理,带背景干扰的书页适合采用二值化法处理.     

对高职数控专业毕业综合实训的探讨

本文探讨了数控技术专业毕业综合实训的改革思路，提出按职业资格标准强化技能培训，使学生在毕业前获得数控机床操作职业资格证书，切实提高学生的职业素质与就业竞争能力。     

现代教学媒体及其应用的探讨

教学媒体是现代教育技术的重要组成部分，它是人类社会发展的成果之一，文章对各类现代教学媒体进行了探讨。     

产品竞争力的分析方法

为了提高产品的市场竞争力，必须采取一定的方法对产品进行竞争力分析。本文提出了一种实用的、基于客户价值的产品竞争力分析方法，该方法通过产品量化的客户感知价值和客户感知成本的组合比较，确定了产品的相对竞争力。     

电磁场中带电粒子束运动的力学模拟

研究以不同初速度进入互相垂直的匀强磁场和均强电场中的带电粒子束的运动情形，并同相似的力学运动相比拟，建立了直观的力学模型。     

超声波在还原染料染色中的应用研究

本文是继文献[1]、[2]之后,对超声波染色进行理论分析的实践证明之后,以还原染料上染纯棉织物的小试入手,讨论了超声波对还原染料染色的可能性。结果表明,采用超声波染色技术,不但可以提高染料的上染百分率,增加匀染、透染性,还可以实现织物的低温短时间染色,同时还可以采用较少的染料获得实验所要求的色泽深度。具有广阔的发展前景。