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

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

建设性改革WTO的中国方案

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

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

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

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

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

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

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

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

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

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

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

LI-8100A型土壤碳通量仪的数据质量控制分析

基于LI-8100A型多通道土壤碳通量测量系统的长期观测资料进行数据质量控制分析,提出一种科学有效的自动化质量控制方法 .采用物理极值范围检验、 1.5倍标准差检验、数据稳定性判据检验和空间一致性检验等方法对多通道土壤CO₂通量数据进行质量控制,筛选、甄别出观测过程中不合理的异常数据点并剔除.利用该方法对兰州大学半干旱气候与环境观测站2020年7、 12月的土壤CO₂通量原始数据资料进行质量控制分析.结果表明,该方法具有良好的操作性与实用性,可实现计算机程序自动化处理,对异常野点数据的检测效率较高,能有效提高多通道土壤CO₂通量数据的准确性、一致性、处理时效和资料质量.     

血浆sST2联合NT-proBNP对急诊心衰患者生存状况的预测价值

目的探讨血浆sST2联合NT-proBNP对急诊心衰患者生存状况的预测价值.方法选择急诊心衰患者130例,分为心功能Ⅱ级组、心功能Ⅲ~Ⅳ级组,对照组选择健康的体检者60例.对3组NT-proBNP及血浆sST2水平进行观察对比,对心功能不同分级患者NT-proBNP及血浆sST2水平进行比较,比较NT-proBNP,sST2,NTproBNP联合血浆sST2对心衰患者死亡状况的预测价值.结果随心功能分级递增,NT-proBNP水平逐渐升高,sST2曲线下面积(0.776)及NT-proBNP对死亡判定的ROC曲线与NT-proBNP曲线下面积(0.775)相比较没有明显差异,但二者联合曲线下面积为0.813,与NT-proBNP及sST2曲线下面积相比较差异显著.sST2联合NTproBNP进行心衰患者死亡状况预测时的敏感度为99.0%,特异度为93.2%.结论作为急诊心衰患者诊断、预后和风险评估的主要标志物,sST2联合NT-proBNP对患者生存状况进行评估可以很好地预测患者的生存状况,提高准确度和敏感度,值得在临床上推广应用.     

地方院校计算机公共课教学探讨——以遵义师范学院为例

高校计算机公共课的教学目标是培养学生的计算机操作技能和应用能力,以及更深层次的信息意识。在教学过程中发现大部分学生对于基本的计算机基本知识应用还是比较生疏的,地方院校又具有自身独特的特点,怎样有效地提高地方院校计算机公共课教学质量是值得探讨的。该文从遵义师范学院出发,探讨地方院校计算机公共课教学中存在的问题,并且针对这些问题提出了相应的对策,从而使学生真正掌握计算机基本技能。