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

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

疏松砂岩油藏大孔道定性识别新方法研究

疏松砂岩油藏在长期注水开发过程中,往往伴随着大孔道的出现,这严重影响了油藏水驱开发效果,制约了采出程度的进一步提高,因此,大孔道识别及有效封堵成为该类油藏急需解决的关键问题.通过研究分析,确定了影响大孔道从形成到发展的7种主要静态因素,以及标志大孔道形成的6种主要动态因素.将层次分析法及灰色关联法相结合,分别计算静态及动态因素的权重,建立了全新的大孔道定性识别模型.示踪剂监测结果验证了该方法的实用性和有效性.     

从作者性别批评视角看简·爱和吕蓓卡的人物形象差异

简·爱与《名利场》中的女主角吕蓓卡是英国维多利亚时期文学中两个具有同样独立反叛意识但被作者赋予不同命运结局的女人。从作者的性别视角去解读这两个传统女性形象的本质差异,能看出男女作者对女性反抗压迫行为的不同理解和价值判断,并能更好地发掘出被别的批评视角忽略或误读的文本内涵。     

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

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

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

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

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

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

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

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

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

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

国内外交通安全管理之比较

文章通过对欧美、日本等发达国家在道路交通安全宣传教育、事故紧急救援、管理人员严格公正执法、事故损害赔偿归责等方面和我国的交通安全管理情况进行比较分析,试提出我国目前在这些方面存在的问题以及应对措施。     

利用DA算法实现大规模FIR滤波器

分布式算法是一种广泛地应用在可编程逻辑序列（FPCA）和ASIC设计中计算乘积和的算法。DA算法的处理速度仅与输入的位宽有关，对于大规模乘积和的运算，其计算速度有着明显的优势。当输入位宽过大时，可以将DA算法改进成并串结构以获得更快的处理速度。该文对在FPCA中利用DA算法实现大规模FIR滤波器，提出了具体的实现方案。