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

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

建设性改革WTO的中国方案

正2018年11月23日,中国商务部副部长兼国际贸易谈判副代表王受文公开阐述了中国关于世贸组织(WTO)改革坚持的三个基本原则和五点主张。12月12日,中国、欧盟、加拿大等12个WTO成员将关于争端解决机制的联合提案提交至WTO总理事会,并在会议上发表联合声明,敦促尽快启动上诉机构成员遴选程序。早在2017年年底在阿根廷布宜诺斯艾利斯召开的第11届WTO部长级会议上,美国、欧盟、日本发表联合声明,正式启动WTO系统性改革的谈判。     

工业用PET及PA纤维模量-应变曲线的分析

通过拉伸试验数据得到应力—应变曲线和模量-应变曲线可以更全面地反映纤维的力学性能。PET及PA的模量—应变曲线都是明显的双峰曲线。结合拉伸过程中PET纤维内部结构的变化解释PET纤维的特征模量—应变曲线，并讨论如何提高持续使用应变范围的模量问题。PET模量—应变曲线上的第一个模量峰为初始模量，标志着无定形区缠结网的破坏；无定形区蜷曲大分子伸直时模量较低，导致出现模量低谷；由于伸直的缚结大分子模量较高，出现了第二个模量峰。     

浅谈对艺术教育的理解与认识

在了解艺术教育的现状及发展方向的基础上,分析研究多媒体技术在艺术教育中的表现及网络互动艺术多艺术教育的影响。     

管理信息系统中用户权限管理的实现方法

针对管理信息系统的应用模式,讨论了如何根据不同的应用模式选择信息系统的权限管理方法.并在已有权限管理方式的基础上提出根据应用程序中各个功能模块使用的数据库实体来定义具体用户的数据库访问权限,同时将应用系统的模块权限和数据库系统权限有机的结合起来,从而达到简便、准确、高可用的信息系统权限管理方案.     

"那"的指称和替代作用在情景中的形式化解释

针对情景对话内容中含有指示代词“那”的语句及与其直接相关的情景 ,首先分析“那”的语义及语用 ,给出逻辑形式 ,并运用情景理论 ,包括情景形成原则及相关公理和推论等 ,在其逻辑形式中加入上下文关系 ,然后根据焦点移动及情景锚定原则 ,分别对情景对话中的“那”的指称和替代作用进行了有效的解释     

污水处理塔加固环强度的有限元数值模拟

对加固环的受力分布情况进行了分析，用有限元法对其受力强度进行了数值计算。结果表明，加固环应该处于污水处理塔柱体与锥体的连接处，且加固环的横截面积A≥45cm^2时，即可保证污水处理塔工作的稳定性和安全性。     

南水北调中线工程向黄河相机补水政策的探讨

针对黄河流域水资源贫乏的现状,分析了南水北调中线工程向黄河相机补水的必要性和可行性,进而提出了相关的政策建议。     

枣庄市中青年知识分子人群体育锻炼的现状调查与分析

采用问卷调查、现场走访和文献资料等方法，对枣庄市部分中青年知识分子参加体育锻炼的情况进行调查．研究表明，枣庄市中青年知识分子参加体育锻炼的发展规模和水平不是很高。经常参加体育锻炼的人数仅占被调查人数的23．1％，体育锻炼尚未成为枣庄市中青年知识分子人群闲暇时间的重要组成部分．     

风、浪、流联合作用下系统系泊力的时域计算方法

为解决海洋工程中系泊系统在风、浪、流联合作用下系泊力的计算问题 ,在时域内建立了一种计算防风水鼓系泊系统系泊力的方法。在分析波浪荷载时 ,使用了设计波法和非线性 Stokes五阶波 ,并由经验公式求出了船舶的风、流作用力。由准静态方法计算了初始条件后 ,在忽略了锚链和水鼓动态效应对船舶运动的影响的条件下 ,求解了系泊力和船舶的运动时历。再由二维集中质量法建立了锚链和水鼓的数学模型 ,用 Houbolt方法求解了锚链和水鼓的运动方程 ,并对系泊力进行了修正。模拟计算结果与经验公式计算结果吻合较好 ,且模拟计算的时域特征表现突出 ,建立的时域计算方法可用于防风水鼓系泊系统的系泊力计算