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

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

砂岩在西湖凹陷花港组交互式盖层中的作用初探

西湖凹陷花港组盖层具有砂泥岩交互式发育特征，而与泥岩伴生的砂岩类盖层的油气封闭作用研究较少。采用岩芯、镜下观察及压汞等分析方法，对砂泥岩交互式盖层中的砂岩特征进行了分析。结果表明，盖层中的砂岩可作为有效盖层，砂岩类盖层早期受沉积环境控制，含有较多的泥质而导致早期压实作用较强，加之晚期的黏土矿物转换及胶结物的发育，具备形成良好盖层的条件。在不同地区进行砂岩盖层有效性研究时应以沉积环境为基础，针对不同类型的砂岩进行成岩作用研究，并针对不同类型的砂岩样品进行实验分析以明确砂岩盖层的有效性。     

搪瓷用钢抗鳞爆性能研究进展

搪瓷制品鳞爆缺陷已经成为国内外研究重点。为提高搪瓷用钢的抗鳞爆性能,非常有必要了解搪瓷层的鳞爆机理。综述了国内外研究鳞爆机理以及氢扩散影响因素的现状。     

铸造工艺仿真设计前处理及过程处理应用技术

以应用ProCAST和MAGMAsoft 2款软件为例，针对铸造工艺仿真设计前处理和过程处理每个环节的主要内容与使用方法进行了较为详细地归纳、分析和总结。提出了处理过程的技术路线，并系统地介绍了每项应用内容的操作平台与使用步骤，从而为高效地应用铸造工艺仿真设计提供理论和技术支持。     

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

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

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

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

基于多变量希尔伯特频域模型的癫痫发作预测

癫痫发作具有突发性和反复性,对患者生命安全构成巨大威胁.为了对癫痫发作进行有效地预测,提出了多变量希尔伯特频域模型的癫痫发作预测方法.将希尔伯特边际谱、希尔伯特边际谱的变化方向和希尔伯特加权频率组成一个三维特征向量作为多变量希尔伯特频域模型,输入到支持相量机中,实现癫痫的发作预测,最后采用癫痫发作预测特征方法对预测结果进行评估.实验结果表明:采用多变量希尔伯特频域模型分析方法预测δ波和θ波的癫痫发作,癫痫预测范围在30~45 min,患者有足够的时间采取措施应对;癫痫发作周期在5~10 min,缩短患者等待时间,降低焦虑程度;与多种相关方法进行比较,该方法具有较低的错误预报率和较高的预测敏感度.     

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

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

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

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

网络环境下县（市）级公共图书馆的参考咨询服务

以常熟市图书馆为例，探讨了网络环境下县(市)级公共图书馆如何重新调整自身的服务策略、服务形式和服务手段，以及如何更好地开展参考咨询服务的问题。