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

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

建设性改革WTO的中国方案

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

网络环境下的物理实验教学模式

目前网络环境下的物理实验教学新模式主要有物理实验专题网站、实验教学网络管理、实验类网络课程及远程控制物理实验.本文简要介绍了各个模式的特点及实施方法.     

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

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

末端羟基炔烃的合成 II. 4-烃基-3-丁炔-1-醇的合成

报道一种以四氢呋喃为起始原料, 合成4-烃基-3-丁炔-1-醇的新方法. 该法完全避免了传统乙炔路线所必须的低温、液氨等苛刻的条件. 鉴于这种炔烃可容易地经还原制得高纯度的指定构型的烯烃, 而许多天然产物如香料(叶醇)、昆虫信息素等都具有这一结构, 因此这一路线为合成这类化合物提供了一个简便、实用的方法.     

过硼酸钠对于有机物的氧化作用的研究——Ⅰ.过硼酸钠对于芳胺和芳硫醚的氧化作用

在有机合成中,过硼酸钠用作氧化剂的实例虽为数不多,但其优点已很明显,例如反应条件温和、选择性强、毒性低、价廉,且过硼酸钠还原后生成无毒的硼酸钠,易于处理或排放。因而过硼酸钠是一种很值得研究的新型氧化剂。水文报道了过硼酸钠对于芳胺(邻-和对-硝基苯胺)及含有吸电子基的芳硫醚的氧化作用:     

116例冠心病患者血清中铜铬锰钴镍钒含量的探讨

测定了１１６例冠心病患者血清中铜、铬、锰、钴、镍、钒的含量并与正常值比较，显示含量升高才是有铬和镍，降低者有钴和钒、无差异者有铜和锰。     

锌族和钛族卤化物振动光谱的理论计算

采用ab initio RHF,MP2和B3LYP方法以及LanL2DZ和SDD基组计算了四面体锌族卤素阴离子化合物(MX₄^2-,M=Zn(Ⅱ),Cd(Ⅱ),Hg(Ⅱ);X=F^-,Cl^-,Br^-,I^-)和钛族卤化物(MX₄,M=Ti(Ⅳ),Zr(Ⅳ),Hf(Ⅳ);X=F^-,Cl^-,Br^-,I^-)的几何构型和振动频率。计算结果表明,LanL2DZ基组是合适的基组,能得到合理的电荷分布,几何参数以及振动频率。在锌族卤化物的计算中发现,角弯曲振动频率与实测值相当一致,键伸缩振动频率略为偏低,这主要是由于计算的键长略为偏长所致。MP2方法计算的振动频率更接近于实测值。在钛族卤化物的计算中,三种计算方法都相当地再现了实测值,而以B3LYP方法更为满意。     

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

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

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

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